DOCSLIB.ORG

P-ADIC HEIGHTS of HEEGNER POINTS on SHIMURA CURVES by Daniel Disegni

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
P-ADIC HEIGHTS of HEEGNER POINTS on SHIMURA CURVES by Daniel Disegni p-ADIC HEIGHTS OF HEEGNER POINTS ON SHIMURA CURVES by Daniel Disegni Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Graduate School of Arts and Sciences COLUMBIA UNIVERSITY 2013 c 2013 Daniel Disegni All rights reserved ABSTRACT p-adic Heights of Heegner points on Shimura curves Daniel Disegni Let f be a primitive Hilbert modular form of weight 2 and level N for the totally real field F , and let p - N be an odd rational prime such that f is ordinary at all primes } p. When E is a CM extension of F of relative j discriminant ∆ prime to N p, we give an explicit construction of the p- adic Rankin–Selberg L-function Lp (fE , ) and prove that when the sign of · its functional equation is 1, its central derivative is given by the p-adic − height of a Heegner point on the abelian variety A associated to f . This p-adic Gross–Zagier formula generalises the result obtained by Perrin-Riou when F = Q and N satisfies the so-called Heegner condition. We deduce applications to both the p-adic and the classical Birch and Swinnerton-Dyer conjectures for A. Table of Contents Introduction ............................................ 1 The p-adic Rankin–Selberg L-function .............. 1 Heegner points on Shimura curves and the main theorem ................................................ 4 Applications to the conjecture of Birch and Swinnerton- Dyer .......................................... 6 Plan of the proof .................................. 12 Notation .......................................... 13 Part I. p-adic L-function and measures . 16 1. p-adic modular forms ................................ 16 1.1. Hilbert modular forms ........................ 16 1.2. Fourier expansion .............................. 18 1.3. Operators acting on modular forms ............ 21 1.4. Fourier coefficients of old forms ................ 26 1.5. The functional L .............................. 28 f0 2. Theta measure ........................................ 29 2.1. Weil representation ............................ 30 2.2. Theta series .................................... 31 2.3. Theta measure ................................ 34 2.4. Fourier expansion of the theta measure / I . 36 2.5. Fourier expansion of the theta measure / II . 38 3. Eisenstein measure .................................... 39 3.1. Eisenstein series ................................ 39 3.2. Fourier expansion of the Eisenstein measure . 41 4. The p-adic L-function ................................ 47 4.1. Rankin–Selberg convolution .................... 47 4.2. Convoluted measure and the p-adic L-function . 48 4.3. Toolbox ...................................... 49 4.4. Interpolation property ........................ 51 4.5. Fourier expansion of the measure .............. 53 Part II. Heights ........................................ 57 5. Generalities on p-adic heights and Arakelov theory . 57 5.1. The p-adic height pairing ...................... 57 5.2. p-adic Arakelov theory – local aspects .......... 61 5.3. p-adic Arakelov theory – global aspects . 64 i 6. Heegner points on Shimura curves .................... 67 6.1. Shimura curves ................................ 67 6.2. Heegner points ................................ 69 6.3. Hecke action on Heegner points ................ 72 7. Heights of Heegner points ............................ 75 7.1. Local heights at places not dividing p . 76 7.2. Local heights at p .............................. 79 Part III. Main theorem and consequences . 84 8. Proof of the main theorem ............................ 84 8.1. Basic case ...................................... 84 8.2. Reduction to the basic case .................... 86 9. Periods and the Birch and Swinnerton-Dyer conjecture ................................................ 88 9.1. Real periods .................................. 88 9.2. Quadratic periods .............................. 91 References .............................................. 92 Afterword (for the layman) ............................ 96 ii Acknowledgments I am grateful to my advisor Professor Shou-Wu Zhang for suggesting this area of research and for his support and encouragement; and to Amnon Besser, Luis Garcia Martinez, Yifeng Liu, Jeanine Van Order, Hui Xue and Shou-Wu Zhang for useful conversations or correspondence related to this work. During these years I have learned a lot especially from Professors Do- rian Goldfeld, Aise Johan de Jong, Eric Urban, Shou-Wu Zhang and Wei Zhang, as well as from many discussions with other faculty members and fellow Ph.D. students; while the staff at the Columbia Department of Math- ematics has greatly contributed to the smooth and pleasant running of my doctorate. It is a pleasure to thank them all here. This thesis is the natural offspring, or, to use a more mathematical meta- phor, the fibre product, of the works of Perrin-Riou [30] and Zhang [45–47] – the ‘base’ being, of course, the pioneering work of Gross–Zagier [13]. My debt to their ideas cannot be underestimated and will be obvious to the reader. Last but not least, I would like to warmly thank all my family and friends, near and far, for all their friendship and support. This work is dedicated to them. iii p-ADIC HEIGHTS OF HEEGNER POINTS ON SHIMURA CURVES 1 Introduction In this work we generalise Perrin-Riou’s p-adic analogue of the Gross– Zagier formula [30] to totally real fields, in a generality similar to the work of Zhang [45–47]. We describe here the main result and its applications. The p-adic Rankin–Selberg L-function. — Let f be a primitive Hilbert modular form of parallel weight 2, level N and trivial character for the to- tally real field F of degree g and discriminant DF . Let p be a rational prime coprime to 2N. Fix embeddings ι and ιp of the algebraic closure Q of F 1 into C and Qp respectively. We assume that f is ordinary at p, that is, that th for each prime } of F dividing p, the coefficient a(f ,}) of the } Hecke O polynomial of f 2 P ,f (X ) = X a(f ,})X + N} } − is a p-adic unit for the chosen embedding; we let α} = α}(f ) be the unit root of P},f . Let E Q be a CM (that is, quadratic and purely imaginary) extension of ⊂ F of relative discriminant ∆ coprime to N p, let " = "E F : F ×=F × 1 = A ! f± g be the associated Hecke character and N = NE=F be the relative norm. If : E ×=E × Q× W A ! p-ADIC HEIGHTS OF HEEGNER POINTS ON SHIMURA CURVES 2 is a finite order Hecke character(1) of conductor f, the Rankin–Selberg L- function L(fE , , s) is the entire function defined for (s) > 3=2 by W < a f , m r m N∆( ) X ( ) ( ) L fE , , s L W " F ,2s 1 W , ( ) = ( A× ) s W W j − m Nm where N f , r m P a (the sum running over all ∆( ) = ∆ ( ) ( ) = N(a)=m ( ) W W W nonzero ideals of E ) and O N∆( ) X s L W " , s " m m Nm− . ( F ) = ( ) ( ) O W j (m,N∆( ))=1 W W This L-function admits a p-adic analogue (§4). Let E 0 be the maximal 1 abelian extension of E unramified outside p, and E the maximal Zp -extension 1 of E. Then = Gal(E =E) is a direct factor of finite, prime to p index in G 1 0 = Gal(E 0 =E). (It has rank 1 + δ + g over Zp , where δ is the Leopoldt G 1 defect of F .) Theorem A.— There exists a bounded Iwasawa function Lp (fE ) Qp 0 2 JG K satisfying the interpolation property 1=2 τ( )N(∆( )) Vp (f , ) (D) Lp (fE )( ) = W W W W L(fE , ,1), W αN(f)Ωf W for all finite order characters of 0 which are ramified exactly at the places W G (2) 1 w p. Here both sides are algebraic numbers , = − and j W W 2 g Ωf = (8π ) f , f N h i (1)We will throughout use the same notation for a Hecke character, the associated ideal character, and the associated Galois character. (2) 1 1 By a well-known theorem of Shimura [35]. They are compared via ι−p and ι− . 1 p-ADIC HEIGHTS OF HEEGNER POINTS ON SHIMURA CURVES 3 with , N the Petersson inner product (1.1.2); τ( ) is a Gauß sum, Vp (f , ) 〈· ·〉 v WN f W is a product of Euler factors and Q }( ( )). αN(f) = } p α} j g The restriction of Lp (fE ) to satisfies a functional equation with sign ( 1) "(N) G − c relating its values at to its values at − , where c is the nontrivial automor- W W c phism of E=F and (σ) = (cσc). W W This is essentially a special case of results of Panchishkin [28] and Hida [15]; we reprove it entirely here (see §4) because the precise construction of Lp (fE ) will be crucial for us. It is achieved, using a technique of Hida and Perrin-Riou, via the construction of a convolution Φ of Eisenstein and theta measures on 0 valued in p-adic modular forms, giving an analogue of the G kernel of the classical Rankin–Selberg convolution method. The approach we follow is adelic; one novelty introduced here is that the theta measure is constructed via the Weil representation, which seems very natural and would generalise well to higher rank cases. On the other hand, Manin [25] and Dabrowski [11] have constructed a p-adic L-function Lp (f , ) as an analogue of the standard L-function L(f , s). · It is a locally analytic function on the p-adic Lie group of continuous char- acters χ : 0 Cp , where 0 is the Galois group of the maximal abelian GF ! GF extension of F unramified outside p; it satisfies the interpolation property !2 τ(χ ) Y 1 L(f ,χ ,1) L f ,χ 1 p ( ) = + αP } p − α} Ωf j }-P for all finite order characters χ of conductor P which are trivial at infinity. (Here + is a suitable period, cf. §9.1.) Ωf p-ADIC HEIGHTS OF HEEGNER POINTS ON SHIMURA CURVES 4 The corresponding formula for complex L-functions implies a factorisa- tion Ω+Ω+ f f" Lp (fE ,χ N) = Lp (f ,χ )Lp (f ,χ ), ◦ 1=2 " DE− Ωf where f" is the form with coefficients a(f", m) = "(m)a(f , m) and DE = N(∆).
Load more

Recommended publications
  • Lecture Notes in Mathematics
    Lecture Notes in Mathematics Edited by A. Dold and B. Eckmann Subseries: Mathematisches Institut der Universit~it und Max-Planck-lnstitut for Mathematik, Bonn - voL 5 Adviser: E Hirzebruch 1111 Arbeitstagung Bonn 1984 Proceedings of the meeting held by the Max-Planck-lnstitut fur Mathematik, Bonn June 15-22, 1984 Edited by E Hirzebruch, J. Schwermer and S. Suter I IIII Springer-Verlag Berlin Heidelberg New York Tokyo Herausgeber Friedrich Hirzebruch Joachim Schwermer Silke Suter Max-Planck-lnstitut fLir Mathematik Gottfried-Claren-Str. 26 5300 Bonn 3, Federal Republic of Germany AMS-Subject Classification (1980): 10D15, 10D21, 10F99, 12D30, 14H10, 14H40, 14K22, 17B65, 20G35, 22E47, 22E65, 32G15, 53C20, 57 N13, 58F19 ISBN 3-54045195-8 Springer-Verlag Berlin Heidelberg New York Tokyo ISBN 0-387-15195-8 Springer-Verlag New York Heidelberg Berlin Tokyo CIP-Kurztitelaufnahme der Deutschen Bibliothek. Mathematische Arbeitstagung <25. 1984. Bonn>: Arbeitstagung Bonn: 1984; proceedings of the meeting, held in Bonn, June 15-22, 1984 / [25. Math. Arbeitstagung]. Ed. by E Hirzebruch ... - Berlin; Heidelberg; NewYork; Tokyo: Springer, 1985. (Lecture notes in mathematics; Vol. 1t11: Subseries: Mathematisches I nstitut der U niversit~it und Max-Planck-lnstitut for Mathematik Bonn; VoL 5) ISBN 3-540-t5195-8 (Berlin...) ISBN 0-387q5195-8 (NewYork ...) NE: Hirzebruch, Friedrich [Hrsg.]; Lecture notes in mathematics / Subseries: Mathematischee Institut der UniversitAt und Max-Planck-lnstitut fur Mathematik Bonn; HST This work ts subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically those of translation, reprinting, re~use of illustrations, broadcasting, reproduction by photocopying machine or similar means, and storage in data banks.
    [Show full text]
  • Annales Scientifiques De L'é.Ns
    ANNALES SCIENTIFIQUES DE L’É.N.S. J.-B. BOST Potential theory and Lefschetz theorems for arithmetic surfaces Annales scientifiques de l’É.N.S. 4e série, tome 32, no 2 (1999), p. 241-312 <http://www.numdam.org/item?id=ASENS_1999_4_32_2_241_0> © Gauthier-Villars (Éditions scientifiques et médicales Elsevier), 1999, tous droits réservés. L’accès aux archives de la revue « Annales scientifiques de l’É.N.S. » (http://www. elsevier.com/locate/ansens) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systé- matique est constitutive d’une infraction pénale. Toute copie ou impression de ce fi- chier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Ann. sclent. EC. Norm. Sup., 4° serie, t. 32, 1999, p. 241 a 312. POTENTIAL THEORY AND LEFSCHETZ THEOREMS FOR ARITHMETIC SURFACES BY J.-B. BOST ABSTRACT. - We prove an arithmetic analogue of the so-called Lefschetz theorem which asserts that, if D is an effective divisor in a projective normal surface X which is nef and big, then the inclusion map from the support 1-D) of -D in X induces a surjection from the (algebraic) fondamental group of \D\ onto the one of X. In the arithmetic setting, X is a normal arithmetic surface, quasi-projective over Spec Z, D is an effective divisor in X, proper over Spec Z, and furthermore one is given an open neighbourhood ^ of |-D|(C) on the Riemann surface X(C) such that the inclusion map |D|(C) ^ f^ is a homotopy equivalence.
    [Show full text]
  • Correspondences in Arakelov Geometry and Applications to the Case of Hecke Operators on Modular Curves
    CORRESPONDENCES IN ARAKELOV GEOMETRY AND APPLICATIONS TO THE CASE OF HECKE OPERATORS ON MODULAR CURVES RICARDO MENARES Abstract. In the context of arithmetic surfaces, Bost defined a generalized Arithmetic 2 Chow Group (ACG) using the Sobolev space L1. We study the behavior of these groups under pull-back and push-forward and we prove a projection formula. We use these results to define an action of the Hecke operators on the ACG of modular curves and to show that they are self-adjoint with respect to the arithmetic intersection product. The decomposition of the ACG in eigencomponents which follows allows us to define new numerical invariants, which are refined versions of the self-intersection of the dualizing sheaf. Using the Gross-Zagier formula and a calculation due independently to Bost and K¨uhnwe compute these invariants in terms of special values of L series. On the other hand, we obtain a proof of the fact that Hecke correspondences acting on the Jacobian of the modular curves are self-adjoint with respect to the N´eron-Tate height pairing. Contents 1. Introduction1 2 2. Functoriality in L1 5 2 2.1. The space L1 and related spaces5 2 2.2. Pull-back and push-forward in the space L1 6 2 2.3. Pull-back and push-forward of L1-Green functions 12 3. Pull-back and push-forward in Arakelov theory 16 2 3.1. The L1-arithmetic Chow group, the admissible arithmetic Chow group and intersection theory 16 3.2. Functoriality with respect to pull-back and push-forward 18 4.
    [Show full text]
  • Volume Function Over a Trivially Valued Field
    Volume function over a trivially valued field Tomoya Ohnishi∗ May 15, 2019 Abstract We introduce an adelic Cartier divisor over a trivially valued field and discuss the bigness of it. For bigness, we give the integral representation of the arithmetic volume and prove the existence of limit of it. Moreover, we show that the arithmetic volume is continuous and log concave. Contents 1 Introduction 1 2 Preliminary 3 2.1 Q- and R-divisors . .3 2.2 Big divisors . .5 2.3 Normed vector space . .6 2.4 Berkovich space . .8 3 Adelic R-Cartier divisors over a trivially valued field 9 3.1 Green functions . 10 3.2 Continuous metrics on an invertible OX -module . 11 3.3 Adelic R-Cartier divisors . 12 3.4 Associated R-Weil divisors . 13 3.5 Canonical Green function . 14 3.6 Height function . 15 3.7 Scaling action for Green functions . 16 4 Arithmetic volume 16 4.1 Big adelic R-Cartier divisors . 16 4.2 Existence of limit of the arithmetic volume . 17 4.3 Continuity of F(D;g)(t)........................................ 20 arXiv:1905.05447v1 [math.AG] 14 May 2019 4.4 Continuity of the arithmetic volume . 21 4.5 Log concavity of the arithmetic volume . 23 1 Introduction Arakelov geometry is a kind of arithmetic geometry. Beyond scheme theory, it has been developed to treat a system of equations with integer coefficients such by adding infinite points. In some sense, it is an extension of Diophantine geometry. It is started by Arakelov [1], who tried to define the intersection theory on an arithmetic surface.
    [Show full text]
  • Arakelov Theory on Arithmetic Surfaces Over a Trivially Valued Field Huayi Chen, Atsushi Moriwaki
    Arakelov theory on arithmetic surfaces over a trivially valued field Huayi Chen, Atsushi Moriwaki To cite this version: Huayi Chen, Atsushi Moriwaki. Arakelov theory on arithmetic surfaces over a trivially valued field. 2020. hal-02471675 HAL Id: hal-02471675 https://hal.archives-ouvertes.fr/hal-02471675 Preprint submitted on 9 Feb 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. ARAKELOV THEORY ON ARITHMETIC SURFACES OVER A TRIVIALLY VALUED FIELD Huayi Chen & Atsushi Moriwaki Abstract.— In this article, we consider an analogue of Arakelov theory of arithmetic surfaces over a trivially valued field. In particular, we establish an arithmetic Hilbert-Samuel theorem and studies the effectivity up to R-linear equivalence of pseudoeffective metrised R-divisors. Contents 1. Introduction. 1 2. Asymptotically linear functions. 5 3. Green functions on a tree of length 1...................... 10 4. Graded linear series. 14 5. Arithmetic surface over a trivially valued field. 19 6. Positivity. 33 7. Hilbert-Samuel formula on curves. 46 References. 54 1. Introduction In Arakelov geometry, one considers an algebraic variety over the spectrum of a number field and studies various constructions and invariants on the va- riety such as metrised line bundles, intersection product, height functions etc.
    [Show full text]
  • The Arithmetic and Geometry of Genus Four Curves
    The arithmetic and geometry of genus four curves Hang Xue Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in the Graduate School of Arts and Sciences COLUMBIA UNIVERSITY 2014 c 2014 Hang Xue All rights reserved Abstract The arithmetic and geometry of genus four curves Hang Xue We construct a point in the Jacobian of a non-hyperelliptic genus four curve which is defined over a quadratic extension of the base field. We attempt to answer two questions: 1. Is this point torsion? 2. If not, does it generate the Mordell{Weil group of the Jacobian? We show that this point generates the Mordell{Weil group of the Jacobian of the universal genus four curve. We construct some families of genus four curves over the function field of P1 over a finite field and prove that half of the Jacobians in this family are generated by this point via the other half are not. We then turn to the case where the base field is a number field or a function field. We compute the Neron{Tate height of this point in terms of the self-intersection of the relative dualizing sheaf of (the stable model of) the curve and some local invariants depending on the completion of the curve at the places where this curve has bad or smooth hyperelliptic reduction. In the case where the reduction satisfies some certain conditions, we compute these local invariants explicitly. Contents Acknowledgments iii 1 Introduction 1 1.1 Introduction..........................................1 1.2 Statement of the main results................................2 1.3 Consequences of Theorem 1.2.5...............................5 1.4 Organization of this thesis..................................6 1.5 Notation and conventions..................................7 2 The generic case 9 2.1 Moduli space of genus four curves..............................9 2.2 Curves on quadric surface.................................
    [Show full text]
  • Distributions in Algebraic Dynamics
    Distributions in Algebraic Dynamics Shou-Wu Zhang June 10, 2006 Contents 0 Introduction 2 1 K¨ahler and algebraic dynamics 4 1.1 Endomorphisms with polarizations ............... 5 1.2 Preperiodic subvarieties ..................... 11 1.3 Examples ............................. 15 2 Classifications 18 2.1 Positivity of the first Chern class ................ 18 2.2 Uniruledness ............................ 20 2.3 Dynamic surfaces ......................... 24 3 Canonical metrics and measures 30 3.1 Canonical forms and currents .................. 30 3.2 Equidistribution of backward orbits ............... 39 3.3 Hyperbolicity and holomorphic curves .............. 41 4 Arithmetic dynamics 46 4.1 Preperiodic points and small points ............... 46 4.2 Metrized line bundles and heights of subvarieties ........ 53 4.3 A generic equidistribution theorem ............... 58 1 0 Introduction Complex dynamic system is a subject to study iterations on P1 or PN with respect to complex topology. It originated from the study of Newton method and the three body problem in the end of 19th century and is highly developed in 20th century. It is a unique visualized subject in pure math because of the beautiful and intricate pictures of the Julia sets generated by computer. The subject of this paper, algebraic dynamics, is a subject to study iterations under Zariski topology and is still in its infancy. If the iteration is defined over a number field, then we are in the situation of arithmeticaldynamics where the Galois group and heights will be involved. Here we know very little besides very symmetric objects like abelian varieties and multiplicative groups. The development of arithmetical dynamics was initiated by Northcott in his study of heights on projective space [47], 1950.
    [Show full text]
  • Bibliography for Arithmetic Dynamical Systems
    Bibliography for Arithmetic Dynamics Joseph H. Silverman May 5, 2020 This document lists a wide variety of articles and books in the area of arithmetic dynamics. It also includes some additional material that was referenced in The Arith- metic of Dynamical Systems (Springer-Verlag GTM 241) and some miscellaneous ar- ticles and books that I’ve referenced in my own work. Note that the numbering in this document does not match the numbering of references in GTM 241. Further note that I do not automatically update ArXiv preprints when they appear. Most recent pub- lished articles in arithmetic dynamics can be found by searching the 37P category on MathSciNet. References [1] N. Abarenkova, J.-C. Angles` d’Auriac, S. Boukraa, S. Hassani, and J.-M. Maillard. Topological entropy and Arnold complexity for two-dimensional mappings. Phys. Lett. A, 262(1):44–49, 1999. [2] W. Abram and J. C. Lagarias. Intersections of multiplicative translates of 3-adic cantor sets, 2013. arXiv:1308.3133. [3] R. L. Adler, A. G. Konheim, and M. H. McAndrew. Topological entropy. Trans. Amer. Math. Soc., 114:309–319, 1965. [4] L. V. Ahlfors. Complex Analysis. McGraw-Hill Book Co., New York, 1978. [5] F. Ahmad, R. L. Benedetto, J. Cain, G. Carroll, and L. Fang. The arithmetic basilica: a quadratic PCF arboreal Galois group, 2019. arXiv:1909.00039. [6] O. Ahmadi. A note on stable quadratic polynomials over fields of characteristic two, 2009. arXiv:0910.4556. [7] O. Ahmadi, F. Luca, A. Ostafe, and I. E. Shparlinski. On stable quadratic polynomials. Glasg. Math. J., 54(2):359–369, 2012.
    [Show full text]
  • On the Neron Model of Y 2
    On the Neron model of y2 = π(x3 + π3) Shreya Khemani Master thesis in Mathematics, year 2009-2010 Universit´ede Paris-Sud XI Under the direction of Matthieu Romagny Institut de Math´ematiques Equipe´ de Th´eorie des Nombres Universit´eParis 6 ’O my body, make of me always a man who questions’ –Frantz Fanon 1 Acknowledgements I would like to thank Matthieu Romagny for his invaluable patience, advice and guidance. Needless to say, it wouldn’t have been possible for me to write this m´emoire without his tireless support and help. I met Prof. Romagny at a time when I was confronted with an accute sense of my own academic inadequacy and the burden of my privilege at having access to such good higher education. Apart from encouraging me to take pleasure in my work, he reminded me why it is that I chose to do mathematics. I will always be grateful for this. I would also like to thank David Harari for an inspiring course in Algebraic Ge- ometry; Elisabeth Bouscaren for her support; and the ALGANT Master program for allowing me to live and study in two beautiful cities, at two great universities. I have been fortunate to have been surrounded by an academic peer group that re- jected the constraints of competitiveness characteristic to several scientific communities, and has instead provided for a caring, supportive and stimulating environment. I would like to thank in particular Lorenzo Fantini, Valentina Sala, John Welliaweetil and Gio- vanni Rosso. I must also thank the lovely people I live with-Magali Garin, Ivan Garin and Juan Manuel Ayyala-for putting up with the lights on at odd hours and making it a pleasure to live and work at home.
    [Show full text]
  • A Discriminant and an Upper Bound for W2 for Hyperelliptic Arithmetic Surfaces
    Compositio Mathematica 115: 37–69, 1999. 37 c 1999 Kluwer Academic Publishers. Printed in the Netherlands. 2 A discriminant and an upper bound for ! for hyperelliptic arithmetic surfaces IVAN KAUSZ ? Mathematisches Institut der Universitat¨ zu Koln,¨ Weyertal 86-90, 50931 Cologne, Germany e-mail: [email protected] Received 13 November 1996; accepted in final form 1 September 1997 g K Abstract. We define a natural discriminant for a hyperelliptic curve X of genus over a field as a g + canonical element of the 8 4 th tensor power of the maximal exterior product of the vectorspace v K X of global differential forms on X .If is a discrete valuation on and has semistable reduction v at v , we compute the order of vanishing of the discriminant at in terms of the geometry of the v reduction of X over . As an application, we find an upper bound for the Arakelov self-intersection of the relative dualizing sheaf on a semistable hyperelliptic arithmetic surface. Mathematics Subject Classifications (1991): 11G30, 14G40, 14H10. Key words: hyperelliptic curves, arithmetic surfaces, Arakelov theory. 0. Introduction In the present paper we introduce a natural discriminant for hyperelliptic curves of > g + genus g 2. It will be defined as a canonical element of the 8 4 th tensor power of the maximal exterior product of the vectorspace of global differential forms on the curve. To fix ideas, let us first consider the analogous case of an elliptic curve K E over a field , given, say, by the Weierstraß equation 2 3 2 + a xy + a y = x + a x + a x + a : y 1 3 2 4 6 2 K It is well known that while its discriminant depends on the special equation, 12 0 1 12 = x= y + a x + a 2 H E; the element E=K d 2 1 3 is a E=K E v K O K genuine invariant of .
    [Show full text]
  • Representations of Higher Adelic Groups and Arithmetic
    Proceedings of the International Congress of Mathematicians Hyderabad, India, 2010 Representations of Higher Adelic Groups and Arithmetic A. N. Parshin¤ Abstract. We discuss the following topics: n-dimensional local ¯elds and adelic groups; harmonic analysis on local ¯elds and adelic groups for two-dimensional schemes (func- tion spaces, Fourier transform, Poisson formula); representations of discrete Heisenberg groups; adelic Heisenberg groups and their representations arising from two-dimensional schemes. Mathematics Subject Classi¯cation (2000). Primary 11G; 11S; 14G; 14K; 46F; Sec- ondary 43A40. Keywords. n-dimensional local ¯eld, adelic group, harmonic analysis, discrete Heisenberg group, induced representation, character, theta-function What do we mean by local ? To get an answer to this question let us start from the following two problems. First problem is from number theory. When does the diophantine equation f(x; y; z) = x2 ¡ ay2 ¡ bz2 = 0; a; b; 2 Q¤ have a non-trivial solution in rational numbers ? In order to solve the problem, let us consider the quadratic norm residue symbol (¡; ¡)p where p runs through all ¤ ¤ primes p and also 1. This symbol is a bi-multiplicative map (¡; ¡)p : Q £ Q ! f§1g and it is easily computed in terms of the Legendre symbol. Then, a non- trivial solution exists if and only if, for any p,(a; b)p = 1. However, these conditions are not independent: Y (a; b)p = 1: (1) p This is essentially the Gauss reciprocity law in the Hilbert form. The \points" p correspond to all possible completions of the ¯eld Q of rational numbers, namely to the p-adic ¯elds Qp and the ¯eld R of real numbers.
    [Show full text]
  • Arithmetic Intersection Theory
    PUBLICATIONS MATHÉMATIQUES DE L’I.H.É.S. HENRI GILLET CHRISTOPHE SOULÉ Arithmetic intersection theory Publications mathématiques de l’I.H.É.S., tome 72 (1990), p. 93-174 <http://www.numdam.org/item?id=PMIHES_1990__72__93_0> © Publications mathématiques de l’I.H.É.S., 1990, tous droits réservés. L’accès aux archives de la revue « Publications mathématiques de l’I.H.É.S. » (http:// www.ihes.fr/IHES/Publications/Publications.html) implique l’accord avec les conditions géné- rales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou im- pression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ ARITHMETIC INTERSECTION THEORY by HENRI GILLET* and GHRISTOPHE SOULfi CONTENTS Introduction ................................................................. 04 1. Green currents ............................................................... 97 1.1. Currents on complex manifolds ....................................................... 97 1.2. Green currents....................................................................... IQO 1.3. Green forms of logarithmic type ...................................................... 103 1.4. Examples............................................................................ 109 2. Green currents and intersecting cycles.................................................. 109 2.1.
    [Show full text]