The Arithmetic Hodge-Index Theorem and Rigidity of Algebraic Dynamical Systems Over Function fields
Total Page:16
File Type:pdf, Size:1020Kb
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. -
Nominations for President
ISSN 0002-9920 (print) ISSN 1088-9477 (online) of the American Mathematical Society September 2013 Volume 60, Number 8 The Calculus Concept Inventory— Measurement of the Effect of Teaching Methodology in Mathematics page 1018 DML-CZ: The Experience of a Medium- Sized Digital Mathematics Library page 1028 Fingerprint Databases for Theorems page 1034 A History of the Arf-Kervaire Invariant Problem page 1040 About the cover: 63 years since ENIAC broke the ice (see page 1113) Solve the differential equation. Solve the differential equation. t ln t dr + r = 7tet dt t ln t dr + r = 7tet dt 7et + C r = 7et + C ln t ✓r = ln t ✓ WHO HAS THE #1 HOMEWORK SYSTEM FOR CALCULUS? THE ANSWER IS IN THE QUESTIONS. When it comes to online calculus, you need a solution that can grade the toughest open-ended questions. And for that there is one answer: WebAssign. WebAssign’s patent pending grading engine can recognize multiple correct answers to the same complex question. Competitive systems, on the other hand, are forced to use multiple choice answers because, well they have no choice. And speaking of choice, only WebAssign supports every major textbook from every major publisher. With new interactive tutorials and videos offered to every student, it’s not hard to see why WebAssign is the perfect answer to your online homework needs. It’s all part of the WebAssign commitment to excellence in education. Learn all about it now at webassign.net/math. 800.955.8275 webassign.net/math WA Calculus Question ad Notices.indd 1 11/29/12 1:06 PM Notices 1051 of the American Mathematical Society September 2013 Communications 1048 WHAT IS…the p-adic Mandelbrot Set? Joseph H. -
ARTIN-MAZUR ZETA FUNCTIONS in ARITHMETIC DYNAMICS How Should We Define the Zeta Function of a Rational Map F : P 1(K) → P 1(K)
ARTIN-MAZUR ZETA FUNCTIONS IN ARITHMETIC DYNAMICS EVAN WARNER How should we define the zeta function of a rational map f : P1(k) ! P1(k), k a field? All we need is a sequence of numbers, and it makes sense to consider the sequence jPern(f)j, where 1 n Pern(f) = fx 2 P (k): f (x) = xg: Then we construct a zeta function in the usual way: 1 ! X tn ζ(f; t) = exp jPer (f)j : n n n=1 This is a special case of an Artin-Mazur zeta function, which is defined for certain dynamical systems (and in general counts the number of isolated fixed points). Note that we are, as usual, not counting fixed points with multiplicity, which in this case would be something like the Lefschetz index. In fact, if we did count with n multiplicity and deg f = d, then jPern(f)j = d + 1 for all n, and after summing the geometric series we would get 1 ζ(f; t) = : (1 − t)(1 − dt) n In general, we at least have jPern(f)j ≤ d + 1, so the zeta function is certainly defined as a formal power series and even converges on a positive radius around the origin if k is a normed field. The usual formal manipulations give rise to an Euler product over cycles, and in particular ζ(f; t) 2 Z[[t]]. Over C, these zeta functions aren't too hard to calculate: Theorem 1 (Hinkkanen). If f : P1(C) ! P1(C) has degree d ≥ 2, then ζ(f; t) is a rational function. -
Bertini's Theorem on Generic Smoothness
U.F.R. Mathematiques´ et Informatique Universite´ Bordeaux 1 351, Cours de la Liberation´ Master Thesis in Mathematics BERTINI1S THEOREM ON GENERIC SMOOTHNESS Academic year 2011/2012 Supervisor: Candidate: Prof.Qing Liu Andrea Ricolfi ii Introduction Bertini was an Italian mathematician, who lived and worked in the second half of the nineteenth century. The present disser- tation concerns his most celebrated theorem, which appeared for the first time in 1882 in the paper [5], and whose proof can also be found in Introduzione alla Geometria Proiettiva degli Iperspazi (E. Bertini, 1907, or 1923 for the latest edition). The present introduction aims to informally introduce Bertini’s Theorem on generic smoothness, with special attention to its re- cent improvements and its relationships with other kind of re- sults. Just to set the following discussion in an historical perspec- tive, recall that at Bertini’s time the situation was more or less the following: ¥ there were no schemes, ¥ almost all varieties were defined over the complex numbers, ¥ all varieties were embedded in some projective space, that is, they were not intrinsic. On the contrary, this dissertation will cope with Bertini’s the- orem by exploiting the powerful tools of modern algebraic ge- ometry, by working with schemes defined over any field (mostly, but not necessarily, algebraically closed). In addition, our vari- eties will be thought of as abstract varieties (at least when over a field of characteristic zero). This fact does not mean that we are neglecting Bertini’s original work, containing already all the rele- vant ideas: the proof we shall present in this exposition, over the complex numbers, is quite close to the one he gave. -
Number Theory, Analysis and Geometry
Number Theory, Analysis and Geometry Dorian Goldfeld • Jay Jorgenson • Peter Jones Dinakar Ramakrishnan • Kenneth A. Ribet John Tate Editors Number Theory, Analysis and Geometry In Memory of Serge Lang 123 Editors Dorian Goldfeld Jay Jorgenson Department of Mathematics Department of Mathematics Columbia University City University of New York New York, NY 10027 New York, NY 10031 USA USA [email protected] [email protected] Peter Jones Dinakar Ramakrishnan Department of Mathematics Department of Mathematics Yale University California Institute of Technology New Haven, CT 06520 Pasadena, CA 91125 USA USA [email protected] [email protected] Kenneth A. Ribet John Tate Department of Mathematics Department of Mathematics University of California at Berkeley Harvard University Berkeley, CA 94720 Cambridge, MA 02138 USA USA [email protected] [email protected] ISBN 978-1-4614-1259-5 e-ISBN 978-1-4614-1260-1 DOI 10.1007/978-1-4614-1260-1 Springer New York Dordrecht Heidelberg London Library of Congress Control Number: 2011941121 © Springer Science+Business Media, LLC 2012 All rights reserved. This work may not be translated or copied in whole or in part without the written permission of the publisher (Springer Science+Business Media, LLC, 233 Spring Street, New York, NY 10013, USA), except for brief excerpts in connection with reviews or scholarly analysis. Use in connection with any form of information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed is forbidden. The use in this publication of trade names, trademarks, service marks, and similar terms, even if they are not identified as such, is not to be taken as an expression of opinion as to whether or not they are subject to proprietary rights. -
FINITENESS of COMMUTABLE MAPS of BOUNDED DEGREE 1. Introduction a Dynamical System (V,F) Consists of a Set V and a Self Map
Bull. Korean Math. Soc. 52 (2015), No. 1, pp. 45–56 http://dx.doi.org/10.4134/BKMS.2015.52.1.045 FINITENESS OF COMMUTABLE MAPS OF BOUNDED DEGREE Chong Gyu Lee and Hexi Ye Abstract. In this paper, we study the relation between two dynamical systems (V,f) and (V,g) with f◦g = g◦f. As an application, we show that an endomorphism (respectively a polynomial map with Zariski dense, of bounded Preper(f)) has only finitely many endomorphisms (respectively polynomial maps) of bounded degree which are commutable with f. 1. Introduction A dynamical system (V,f) consists of a set V and a self map f : V → V . If V is a subset of a projective space Pn defined over a finitely generated field K over Q, then we have arithmetic height functions on V , which make a huge contribution to the study of (V,f). In this paper, we show the following results by studying arithmetic relations between two dynamical systems (V,f) and (V,g) with f ◦ g = g ◦ f. n n Main Theorem (Theorems 3.3 and 4.2). (1) Let φ : PC → PC be an en- n domorphism on PC, of degree at least 2. Then there are only finitely many endomorphisms of degree d which are commutable with φ: n Com(φ, d) := {ψ ∈ End(PC) | φ ◦ ψ = ψ ◦ φ, deg ψ = d} is a finite set. n n (2) Let f : AC → AC be a quasi-projective endomorphism (i.e., polyno- n mial maps) on AC. Suppose that Preper(f), the set of preperiodic points of f, is of bounded height and Zariski dense. -
The Topology of Smooth Divisors and the Arithmetic of Abelian Varieties
The topology of smooth divisors and the arithmetic of abelian varieties Burt Totaro We have three main results. First, we show that a smooth complex projec- tive variety which contains three disjoint codimension-one subvarieties in the same homology class must be the union of a whole one-parameter family of disjoint codimension-one subsets. More precisely, the variety maps onto a smooth curve with the three given divisors as fibers, possibly multiple fibers (Theorem 2.1). The beauty of this statement is that it fails completely if we have only two disjoint di- visors in a homology class, as we will explain. The result seems to be new already for curves on a surface. The key to the proof is the Albanese map. We need Theorem 2.1 for our investigation of a question proposed by Fulton, as part of the study of degeneracy loci. Suppose we have a line bundle on a smooth projective variety which has a holomorphic section whose divisor of zeros is smooth. Can we compute the Betti numbers of this divisor in terms of the given variety and the first Chern class of the line bundle? Equivalently, can we compute the Betti numbers of any smooth divisor in a smooth projective variety X in terms of its cohomology class in H2(X; Z)? The point is that the Betti numbers (and Hodge numbers) of a smooth divisor are determined by its cohomology class if the divisor is ample or if the first Betti number of X is zero (see section 4). We want to know if the Betti numbers of a smooth divisor are determined by its cohomology class without these restrictions. -
Current Trends and Open Problems in Arithmetic Dynamics
BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 56, Number 4, October 2019, Pages 611–685 https://doi.org/10.1090/bull/1665 Article electronically published on March 1, 2019 CURRENT TRENDS AND OPEN PROBLEMS IN ARITHMETIC DYNAMICS ROBERT BENEDETTO, PATRICK INGRAM, RAFE JONES, MICHELLE MANES, JOSEPH H. SILVERMAN, AND THOMAS J. TUCKER Abstract. Arithmetic dynamics is the study of number theoretic properties of dynamical systems. A relatively new field, it draws inspiration partly from dynamical analogues of theorems and conjectures in classical arithmetic geom- etry and partly from p-adic analogues of theorems and conjectures in classical complex dynamics. In this article we survey some of the motivating problems and some of the recent progress in the field of arithmetic dynamics. Contents 1. Introduction 612 2. Abstract dynamical systems 613 3. Background: Number theory and algebraic geometry 615 4. Uniform boundedness of (pre)periodic points 617 5. Arboreal representations 619 6. Dynatomic representations 622 7. Intersections of orbits and subvarieties 624 8. (Pre)periodic points on subvarieties 626 9. Dynamical (dynatomic) modular curves 627 10. Dynamical moduli spaces 630 11. Unlikely intersections in dynamics 634 12. Good reduction of maps and orbits 636 13. Dynamical degrees of rational maps 642 14. Arithmetic degrees of orbits 645 15. Canonical heights 649 16. Variation of the canonical height 653 17. p-adic and non-archimedean dynamics 656 18. Dynamics over finite fields 661 19. Irreducibilty and stability of iterates 665 20. Primes, prime divisors, and primitive divisors in orbits 668 21. Integral points in orbits 671 Received by the editors June 30, 2018. -
THE GEOMETRIC BOGOMOLOV CONJECTURE 1.1. the Geometric Bogomolov Conjecture. 1.1.1. Abelian Varieties and Heights. Let K Be an Al
THE GEOMETRIC BOGOMOLOV CONJECTURE SERGE CANTAT, ZIYANG GAO, PHILIPP HABEGGER, AND JUNYI XIE ABSTRACT. We prove the geometric Bogomolov conjecture over a function field of characteristic zero. 1. INTRODUCTION 1.1. The geometric Bogomolov conjecture. 1.1.1. Abelian varieties and heights. Let k be an algebraically closed field. Let B be an irreducible normal projective variety over k of dimension dB ≥ 1. Let K := k(B) be the function field of B. Let A be an abelian variety defined over K of dimension g. Fix an ample line bundle M on B, and a symmetric ample line bundle L on A. Denote by hˆ : A(K) ! [0;+¥) the canonical height on A with respect to L and M where K is an algebraic closure of K (see Section 3.1). For any irreducible subvariety X of AK and any e > 0, we set Xe := fx 2 X(K)j hˆ(x) < eg: (1.1) K=k Set AK = A ⊗K K, and denote by (A ;tr) the K=k-trace of AK: it is the final object of the category of pairs (C; f ), where C is an abelian variety over k and f is a morphism from C ⊗k K to AK (see [15, §7] or [4, §6]). If chark = 0, K=k tr is a closed immersion and A ⊗k K can be naturally viewed as an abelian subvariety of AK. By definition, a torsion coset of A is a translate a +C of an abelian subvariety C ⊂ A by a torsion point a. An irreducible subvariety X of AK is said to be special if X = tr(Y⊗kK) + T (1.2) K=k for some torsion coset T of AK and some subvariety Y of A . -
Arithmetic Dynamics, Arithmetic Geometry, and Number Theory Joseph H
Arithmetic Dynamics, Arithmetic Geometry, and Number Theory Joseph H. Silverman Brown University MAGNTS (Midwest Arithmetic Geometry and Number Theory Series) October 12{13, 2019 0 Arithmetic Dynamics and Arithmetic Geometry 1 What is Arithmetic Dynamics? Arithmetic Geometry: Study solutions to polyno- mial equations (points on algebraic varieties) over non- algebraically closed fields. (Discrete) Dynamical Systems: Study orbits of points under iteration of a function. Arithmetic Dynamics: Study number theoretic prop- erties of orbits of points on algebraic varieties. A lot of arithmetic dynamics comes by analogy from arithmetic geometry. Sometimes the analogy is quite di- rect, sometimes less so, and there are parts of arithmetic geometry that still lack dynamical analogues. Today's talk will be a survey of what arithmetic dynamics is all about, with details on its connections to the arithmetic geometry that we all know and love. Then in tomorrow's talk I'll delve more deeply into some specific topics. Arithmetic Dynamics and Arithmetic Geometry 2 In Arithmetic Geometry We Study . Elliptic curves / higher dim'l abelian varieties Torsion points Torsion points defined over a fixed K. Fields generated by torsion points. Image of Galois G(K=K¯ ) ! Aut(Ators). Torsion points on subvarieties (dim A ≥ 2). Mordell{Weil groups Rank of K-rational points . for fixed A and varying K; for fixed K and varying A. Intersection with subvarieties (dim A ≥ 2). Moduli spaces of elliptic curve and abelian varieties Geometry of moduli spaces, e.g., X0(N) and Ag. Distribution of \special" points (CM moduli). Modular forms, L-series, Hecke operators, . Arithmetic Dynamics and Arithmetic Geometry 3 In Discrete Dynamics We Study . -
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. -
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.