O-minimality and Diophantine Geometry
|
|
- Byron Davidson
- 5 years ago
- Views:
Transcription
1 O-minimality and Diophantine Geometry Jonathan Pila University of Oxford ICM 2014, Seoul
2 Themes Rational points on definable sets in o-minimal structures and applications to some Diophantine problems comprehended within the Zilber-Pink conjecture. Model theory of (complex and real) exponentiation. Schanuel s conjecture in transcendental number theory.
3 Plan Diophantine geometry: Mordell conjecture to Zilber-Pink Transcendental number theory: Schanuel and Ax-Schanuel Model theory of exponentiation, o-minimal structures Counting rational points Diophantine applications: ingredients and problems
4 Diophantine geometry: Mordell s conjecture Diophantine problems: solving systems of algebraic equations F i (x 1,..., x n ) = 0, i = 1,..., m, F i Z[x 1,..., x n ] for x i in integers, rational numbers,... When does a system have only finitely many solutions? Conjecture (Mordell,1922; proved by Faltings, 1983) A plane algebraic curve F (x, y) = 0 of genus 2 defined over Q has only finitely many rational points. E.g. any (projectively) non-singular curve of degree 4 or greater. Likewise over a number field K, [K, Q] <.
5 L.J. Mordell, Proc. Cam. Phil. Soc. 21 (1922), ; S. Lang, Ann. Mat. Pura. Appl. (4) 70 (1965),
6 Step 1: From Mordell to Mordell-Lang Curve C (C ) 2 defined by F (x, y) = 0, F C[X, Y ]. Theorem (Ihara-Serre-Tate; Lang 1965) If infinitely many (ξ, η) C with ξ, η roots of unity then F is of form x n y m = ζ, with n, m Z, not both zero, ζ a root of unity....so C is a coset of a subgroup by a torsion point: torsion coset. Consider V (C ) n. If dim V 2 it may contain positive dimensional torsion-cosets: Theorem ( Multiplicative Manin-Mumford ; Mann/Laurent) V contains only finitely many maximal torsion cosets.
7 Manin-Mumford and Mordell-Lang If (C ) n is replaced by an Abelian variety X = Λ\C n : Conjecture (Manin-Mumford, 1960 s; proved by Raynaud, 1983) A subvariety V of an abelian variety X contains only finitely many maximal torsion cosets. Now we replace torsion points by the division group Γ of a finitely generated group, torsion cosets by Γ-cosets of abelian subvarieties. Theorem (Mordell-Lang conjecture; Faltings, Vojta, McQuillan et al ) A subvariety V of an abelian variety X contains only finitely many maximal Γ-torsion cosets. Implies Mordell s conjecture, as a curve embeds in its Jacobian and group of rational points is finitely generated (Mordell, 1922-Weil).
8 Step 2:...to André-Oort... We consider V X where X is a Shimura variety... certain arithmetic quotients, e.g. moduli spaces; example below Such X has a collection {T } of special subvarieties, including special points. Conjecture (André-Oort) Let X be a Shimura variety and V X a subvariety. Then V contains only finitely many maximal special subvarieties. André (1998): X = C 2, unconditional Edixhoven, Klingler, Ullmo, Yafaev ( ): on GRH O-minimality and point-counting (2011 ): unconditional cases
9 C as a Shimura variety Background: elliptic curves and their moduli: Lattice Λ = Z + Zτ, τ H = {τ C : Imτ > 0} Elliptic curve: E τ = Λ\C, has structure of an algebraic curve. j(e) determines E up to isomorphism over C. Key for us is the modular function a.k.a. j-invariant, j-function: j : H C, j(τ) = j(e τ ). Basic arithmetic properties: SL 2 (Z) invariance: ( ) ( ) a b a b j(gτ) = j(τ), g = SL c d 2 (Z), τ = aτ + b c d cτ + d. For g GL + 2 (Q), Φ N(j(τ), j(gτ)) = 0, modular polynomial Φ N. Special points: j(τ) where [Q(τ) : Q] = 2, CM points
10 Fundamental domains for the modular function
11 X = C 2 as a Shimura variety Special subvarieties of X = C 2 : Dimension 2: X. Dimension 1: {(x, y) : x = j 0 } and {(x, y) : y = j 0 } where j 0 is special, and modular curves Φ N (x, y) = 0. Dimension 0: special points (j 0, j 1 ) with j 0, j 1 special. Theorem (André, 1998) A curve C C 2 containing infinitely many special points is special. Edixhoven 1998: proof on GRH. Kühne, Bilu-Masser-Zannier, 2012/13: effective.
12 Some further examples X = C n Special subvarieties: irreducible components of algebraic sets defined by some equations Φ N (x k, x l ) = 0 with various N and x h = σ with various special σ. Special points: n-tuples of special points in C. Weakly special subvarieties: allow x h = c, any c C. X = A g Moduli space of pp abelian varieties of dimension g.
13 Step 3:...to Zilber-Pink Let X be a mixed Shimura variety, V X a subvariety Definition A subvariety A V is atypical if there is a special subvariety T X such that A V T and dim A > dim V + dim T dim X. Conjecture (Zilber-Pink) V X contains only finitely many maximal atypical subvarieties. Sources: Zilber, Bombieri-Masser-Zannier, Pink. Open even for X = (C ) n. Implies MM, ML, AO, and much more: A Mordell conjecture for the 21st century.
14 ZP for curves An atypical component of a curve C (C ) n is either: A point P C satisfying two (or more) independent multiplicative conditions or The curve C itself if it satisfies a nontrivial multiplicative condition x k x n kn = 1. Theorem (Maurin, BMZ, 2009) If C (C ) n, defined over C, is not atypical then there are only finitely many atypical P C. Theorem (Habegger-P, 201?) Let C A be a curve in an abelian variety, both over Q. If C is not atypical then there are only finitely many atypical P C. Habegger-P, 2012: a partial result for modular setting C C n.
15 Implies: Baker s theorem Four exponentials conjecture Algebraic independence of logarithms of multiplicatively independent algebraic numbers And much more, but open for n 2 Transcendence theory: Schanuel s conjecture Theorem (Lindemann (-Weierstrass) Theorem, 1873/5) If z i Q are l.i. over Q then e z 1,..., e zn are algebraically independent over Q. Conjecture (Schanuel, circa 1966) If z 1,..., z n C are l.i. over Q then tr.deg. Q Q(z 1,..., z n, e z 1,..., e zn ) n.
16 Schanuel s Conjecture in Lang, Intro. Trans. Nbrs. (1966); J. Ax, Annals of Mathematics 93 (1971),
17 Ax-Schanuel K a field of locally meromorphic functions with derivations D i, C = ker D i, containing functions x 1,..., x n and e x 1,..., e xn. Definition The x 1,..., x n are called linearly independent over Q mod C if there are no non-trivial equations q i x i = c, q i Q, c C. Theorem ( Ax-Schanuel, Ax, 1971) If x 1,..., x n are linearly independent over Q mod C, then tr.deg. C C(x 1,..., x n, e x 1,..., e xn ) n + rank K (D k x l ).
18 Ax-Lindemann Consider algebraic W C n with z 1,..., z n, e z 1,..., e zn K the field of functions meromorphic on U W. Then z 1,..., z n fail to be linearly independent over Q mod C iff W is contained in a proper weakly special subvariety. Theorem ( Ax-Lindemann ) If W is not contained in a proper weakly special subvariety then exp(w ) is Zariski-dense in (C ) n. Else exp(w ) V for some proper V (C ) n. Another form: Theorem ( Ax-Lindemann ) For algebraic V (C ) n, a maximal algebraic W exp 1 (V ) is weakly special.
19 Model theory: complex exponentiation First-order theory of C is very well behaved: complete, decidable,... Th(C exp ) is complicated, as Z is definable: Z = {z C : w ( exp(w) = 1 exp(zw) = 1 ) }. Zilber showed: an infinitary formulation of the theory C with an exponential satisfying SC and exponential algebraic closedness is well-behaved. See work of: D Aquino, Macintyre, Terzo, Shkop, Kirby, Onshuus,.. Zilber formulated CIT = ZP for (C ) n (and semiabelian vars).
20 CIT and the Uniform Schanuel Conjecture Conjecture (Uniform Schanuel Conjecture, Zilber 2002) Let V C 2n be an algebraic set defined over Q with dim V < n. There exists a finite set µ(v ) of proper Q-linear subspaces of C n such that if (z 1,..., z n, e z 1,..., e zn ) V then there is M µ(v ) and k = (k 1,..., k n ) Z n such that z + 2πik M. Moreover if M has codimension one then k = 0. Theorem (Zilber, 2002) SC plus CIT implies USC. Also USC implies CIT (and SC).
21 Model theory: real exponentiation Question (Tarski) Is Th(R exp ) decidable? Led to development of o-minimality by van den Dries and Pillay-Steinhorn. Theorem (Wilkie, 1993) Th(R exp ) is (model-complete and) o-minimal. Theorem (Macintyre-Wilkie, 1996) Assume SC. Then Th(R exp ) is decidable.
22 O-minimality R with some relations and functions e.g. <,, +, f 1,..., R j,..., and consider definable sets in this language, i.e. sets Z R n, n = 1, 2,... with a definition Z = {z R n : φ(z) holds } with φ(z) a formula built using <, +,, f i, R j, constants,, and quantifiers, ranging over R. E.g. Z = {(x, y, z) R 3 : u v ( u = exp v) (xu 2 + yu + z = v) ) }. Definition Such a structure (R, <,, +, f i, R j,...) is o-minimal if every definable subset of R is a finite union of points and intervals. E.g. fails with sin x. Key points: This condition is very strong; such a structure is tame. Examples: R exp, R an exp are o-minimal.
23 Counting rational points on algebraic varieties Example: Expect there are no non-trivial integer solutions to x 5 + y 5 = w 5 + z 5. Trivial solutions: {x, y} = {w, z}. Known that trivial solutions out-number non-trivial ones: height = max( w, x, y, z ). Hooley (1964) proved #{nontrivial solutions up to height T } ɛ T 5/3+ɛ, while #{trivial solutions up to height T } 2T 2. Conjectures of Bombieri, Lang and the philosophy of Geometry governs arithmetic.
24 Counting rational points in definable sets Bombieri-P, 1989 : results for integer points on plane curves Heath-Brown 2002: p-adic method for rational points on vars What about higher-dimensional real analytic sets Z R n? Definition Let Z R n. The algebraic part Z alg of Z is the union of connected positive dimensional semi-algebraic sets contained in Z. The transcendental part of Z is Z trans = Z Z alg Semi-algebraic = finite boolean combinations of sets defined by algebraic equations and inequations. Height: H(a/b) = max( a, b ) for a, b Z, b 0, gcd(a, b) = 1. For q Q n, H(q) = max(h(q 1 ),..., H(q n )). Counting: For Z R n set Z(Q, T ) = {z Z Q n : H(z) T }.
25 The Counting Theorem Theorem (P-Wilkie, 2006) If Z R n is definable in some o-minimal structure and ɛ > 0 then there exists c(z, ɛ) such that #Z trans (Q, T ) c(z, ɛ)t ɛ. Method: elementary analysis; o-minimal Yomdin-Gromov paramaterizations of definable sets. Algebraic points of bounded degree: Z(k, T ) = {z Z : [Q(z i ) : Q] k, H(z i ) T, i = 1,..., n}. Under same conditions: #Z trans (k, H) c(z, k, ɛ)h ɛ.
26 Special point problems Setting: π : U X, V X, say V defined over Q. Examples: e : C n (C ) n, e(z) = (e 2πiz 1,..., e 2πizn ) Invariance: Z n translations; Fundamental domain: F = F n e, F e = {z : 0 Re(z) 1}. Ingredient 1: π F is definable in R an exp Pre-image of torsion points are rational points in C n Count rational points in Z = π 1 (V ) F, definable j : H n C n, j(z) = (j(z 1 ),..., j(z n )) Invariance: SL 2 (Z) n action; Fundamental domain: F = F n j, F j = {z : Re(z) 1/2, z 1} Ingredient 1: π F is definable in R an exp Pre-image of special points: quadratic points in H n Count quadratic points in Z = π 1 (V ) F, definable
27 e : C n (C ) n, ctd Ingredient 1: π F is definable Count rational points in definable Z = π 1 (V ) F Ingredients 2 and 3: Lower (Galois) and upper (height) bounds [Q(exp(2πi/N)) : Q] = φ(n) N If ζ V has order N get N preimages in Z(Q, N) Ingredient 4: Ax-Lindemann: maximal algebraic subvarieties of π 1 (V ) are weakly special: A special case of Ax-Schanuel Theorem Final inductive argument completes proof of: V (C ) n contains only finitely many maximal torsion cosets.
28 L.Kronecker, Zur theorie der elliptischen functionen, 1883-; C.-L. Siegel, Acta Arithmetica 1 (1935), 83 86
29 j : H n C n, ctd Ingredient 1: π F is definable Count quadratic points in definable Z = π 1 (V ) F Ingredients 2 and 3: Quadratic point τ H has discriminant (τ) = b 2 4ac where ax 2 + bx + c is the minimal polynomial for τ over Z. Classical CM theory: [Q(j(τ) : Q] = h(o ), class number of the corresponding quadratic order, is large (Landau-Siegel): h(o ) (τ) 1/2. Preimage in F has height (τ). So a special point of large discriminant in V gives many quadratic points in Z, most must lie in Z alg.
30 j : H n C n, ctd Last: characterise maximal (complex) algebraic subsets of j 1 (V ). Ingredient 4: Modular Ax-Lindemann Theorem (P, 2011) A maximal algebraic W j 1 (V ) is weakly special. Method: If W j 1 (V ) then so are many of its SL 2 (Z) n -translates. Apply the Counting Theorem to certain definable subsets of SL 2 (R) n with many points from SL 2 (Z) n. Inductive argument concludes (using more o-minimality): Theorem (P, 2011) AO for C n.
31 Further applications to AO Setting: π : U X, V X. Always have: U C N : hermitian symmetric domain π is invariant under Γ Pre-images of special pts are algebraic pts of bounded degree. Ingredients to prove AO: Ing. 1. Definability: Peterzil-Starchenko for A g (and X g ), Klingler-Ullmo-Yafaev and Gao in general (mixed Shimuras) Ing. 2. Galois lower bound: Tsimerman for A g, g 6 Ing. 3. Height upper bound: P-Tsimerman for A g, all g Ing. 4. Ax-Lindemann: Ullmo-Yafaev for compact cases, P-Tsimerman for A g and Klingler-U-Y and Gao in general, all using o-minimality and point-counting. AO known: for all A n g, g 6 (and corresponding mixed cases).
32 O-minimality and atypical intersections Turning to broader ZP problems (AO is very special): O-minimality and point-counting are applicable to other cases: Relative MM problems of Masser-Zannier± Bertrand-Pillay Results by (combinations of) Bays, Habegger, Orr, P Special subvarieties correspond to rational points on certain Grassmanian-type varieties (e.g. parameterising subavarieties of H n defined by real Mobius transformations). Given V X = C n, say, the set of subvarieties defined by Mobius transformations which intersect the definable set Z in a set of some given (atypical) dimension is definable, and we can apply the counting theorem.
33 Conditional Modular ZP LGO: Large Galois Orbit conjecture for suitable atypical intersection points WCA: Weak Complex Ax conjecture for the j-function Theorem (Habegger-P, 201?) Assume LGO and WCA. Then ZP holds for C n, WCA follows from a Modular Ax-Schanuel conjecture. Result announced by P-Tsimerman 2014.
The Schanuel paradigm
The Schanuel paradigm Jonathan Pila University of Oxford 2014 Clay Research Conference, Oxford Themes Schanuel s conjecture, analogues, in particular Functional analogues and their connections with certain
More informationThe hyperbolic Ax-Lindemann-Weierstraß conjecture
The hyperbolic Ax-Lindemann-Weierstraß conjecture B. Klingler (joint work with E.Ullmo and A.Yafaev) Université Paris 7 ICM Satellite Conference, Daejeon Plan of the talk: (1) Motivation: Hodge locus and
More informationA NON-ARCHIMEDEAN AX-LINDEMANN THEOREM
A NON-ARCHIMEDEAN AX-LINDEMANN THEOREM François Loeser Sorbonne University, formerly Pierre and Marie Curie University, Paris Model Theory of Valued fields Institut Henri Poincaré, March 8, 2018. P. 1
More informationABOUT THE MIXED ANDRÉ-OORT CONJECTURE: REDUCTION TO A LOWER BOUND FOR THE PURE CASE
ABOUT THE MIXED ANDRÉ-OORT CONJECTURE: REDUCTION TO A LOWER BOUND FOR THE PURE CASE ZIYANG GAO Abstract We prove that the mixed André-Oort conjecture holds for any mixed Shimura variety if a lower bound
More informationIntersecting varieties with tori
Intersecting varieties with tori Boris Zilber zilber@maths.ox.ac.uk 20 December 2001 This paper discusses a conjecture of diophantine type that I came to in connection with an attempt to understand the
More informationModel Theory and Differential Algebraic Geometry
Model Theory and Differential Algebraic Geometry David Marker Mathematics, Statistics, and Computer Science University of Illinois at Chicago January 6, 2012 Dave Marker (UIC) Model Theory and Diff Alg
More informationExponential and Weierstrass equations
Exponential and Weierstrass equations Jonathan Kirby 8th April 2005 1 Complex functions Exponentiation is a group homomorphism C exp C. For each elliptic curve E there is a -function which gives a group
More informationRational points in periodic analytic sets and the Manin-Mumford conjecture
Rational points in periodic analytic sets and the Manin-Mumford conjecture Jonathan Pila & Umberto Zannier Abstract. We present a new proof of the Manin-Mumford conjecture about torsion points on algebraic
More informationTHE ABSOLUTE MORDELL-LANG CONJECTURE IN POSITIVE CHARACTERISTIC. 1. Introduction
THE ABSOLUTE MORDELL-LANG CONJECTURE IN POSITIVE CHARACTERISTIC THOMAS SCANLON Abstract. We describe intersections of finitely generated subgroups of semi-abelian varieties with subvarieties in characteristic
More informationRational Points on Curves
Rational Points on Curves 1 Q algebraic closure of Q. k a number field. Ambient variety: Elliptic curve E an elliptic curve defined over Q. E N = E E. In general A an abelian variety defined over Q. For
More informationIN POSITIVE CHARACTERISTICS: 3. Modular varieties with Hecke symmetries. 7. Foliation and a conjecture of Oort
FINE STRUCTURES OF MODULI SPACES IN POSITIVE CHARACTERISTICS: HECKE SYMMETRIES AND OORT FOLIATION 1. Elliptic curves and their moduli 2. Moduli of abelian varieties 3. Modular varieties with Hecke symmetries
More informationBI-ALGEBRAIC GEOMETRY AND THE ANDRÉ-OORT CONJECTURE
BI-ALGEBRAIC GEOMETRY AND THE ANDRÉ-OORT CONJECTURE B. KLINGLER, E.ULLMO, A.YAFAEV Contents 1. Introduction 2 2. The André-Oort conjecture 4 2.1. The Hodge theoretic motivation 4 2.2. The André-Oort conjecture
More informationSome. Manin-Mumford. Problems
Some Manin-Mumford Problems S. S. Grant 1 Key to Stark s proof of his conjectures over imaginary quadratic fields was the construction of elliptic units. A basic approach to elliptic units is as follows.
More informationOn Mordell-Lang in Algebraic Groups of Unipotent Rank 1
On Mordell-Lang in Algebraic Groups of Unipotent Rank 1 Paul Vojta University of California, Berkeley and ICERM (work in progress) Abstract. In the previous ICERM workshop, Tom Scanlon raised the question
More informationp-jets and Uniform Unramified Manin-Mumford
p-jets and Uniform Unramified Manin-Mumford Thomas Scanlon UC Berkeley scanlon@math.berkeley.edu 19 July 2001 SMF-AMS joint meeting, Lyons 1 The Uniform Unramified Manin-Mumford Theorem Theorem 1 Let R
More informationHigher dimensional dynamical Mordell-Lang problems
Higher dimensional dynamical Mordell-Lang problems Thomas Scanlon 1 UC Berkeley 27 June 2013 1 Joint with Yu Yasufuku Thomas Scanlon (UC Berkeley) Higher rank DML 27 June 2013 1 / 22 Dynamical Mordell-Lang
More informationTHE ANDRÉ-OORT CONJECTURE FOR THE MODULI SPACE OF ABELIAN SURFACES
THE ANDRÉ-OORT CONJECTURE FOR THE MODULI SPACE OF ABELIAN SURFACES JONATHAN PILA AND JACOB TSIMERMAN Abstract. We provide an unconditional proof of the André-Oort conjecture for the coarse moduli space
More informationPOSITIVE CHARACTERISTIC MANIN-MUMFORD THEOREM
POSITIVE CHARACTERISTIC MANIN-MUMFORD THEOREM THOMAS SCANLON Abstract. We present the details of a model theoretic proof of an analogue of the Manin-Mumford conjecture for semiabelian varieties in positive
More informationFINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016
FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016 PREPARED BY SHABNAM AKHTARI Introduction and Notations The problems in Part I are related to Andrew Sutherland
More informationGeometry of points over Q of small height Part II
Geometry of points over Q of small height Part II Georgia Institute of Technology MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties January 21, 2006 Lehmer s problem
More informationDynamics and Canonical Heights on K3 Surfaces with Noncommuting Involutions Joseph H. Silverman
Dynamics and Canonical Heights on K3 Surfaces with Noncommuting Involutions Joseph H. Silverman Brown University Conference on the Arithmetic of K3 Surfaces Banff International Research Station Wednesday,
More informationTORSION POINTS ON CURVES. Andrew Granville Université de Montréal Zeev Rudnick Tel-Aviv University. 1. Introduction
TORSION POINTS ON CURVES Andrew Granville Université de Montréal Zeev Rudnick Tel-Aviv University. Introduction One of the themes of the summer school is the distribution of special points on varieties.
More informationLECTURE 2 FRANZ LEMMERMEYER
LECTURE 2 FRANZ LEMMERMEYER Last time we have seen that the proof of Fermat s Last Theorem for the exponent 4 provides us with two elliptic curves (y 2 = x 3 + x and y 2 = x 3 4x) in the guise of the quartic
More informationArithmetic dynamics. Dragos Ghioca and Thomas Tucker
Arithmetic dynamics Dragos Ghioca and Thomas Tucker A simple question Let A be an invertible matrix in GL r (C), acting in the usual way on C r. Let V be a subspace of C r. Let z be a point in C r. Question
More informationProjects on elliptic curves and modular forms
Projects on elliptic curves and modular forms Math 480, Spring 2010 In the following are 11 projects for this course. Some of the projects are rather ambitious and may very well be the topic of a master
More informationEquations for Hilbert modular surfaces
Equations for Hilbert modular surfaces Abhinav Kumar MIT April 24, 2013 Introduction Outline of talk Elliptic curves, moduli spaces, abelian varieties 2/31 Introduction Outline of talk Elliptic curves,
More informationMORDELL EXCEPTIONAL LOCUS FOR SUBVARIETIES OF THE ADDITIVE GROUP
MORDELL EXCEPTIONAL LOCUS FOR SUBVARIETIES OF THE ADDITIVE GROUP DRAGOS GHIOCA Abstract. We define the Mordell exceptional locus Z(V ) for affine varieties V G g a with respect to the action of a product
More informationDependence of logarithms on commutative algebraic groups
INTERNATIONAL CONFERENCE on ALGEBRA and NUMBER THEORY Hyderabad, December 11 16, 2003 Dependence of logarithms on commutative algebraic groups Michel Waldschmidt miw@math.jussieu.fr http://www.math.jussieu.fr/
More informationTRANSCENDENCE OF SPECIAL VALUES OF MODULAR AND HYPERGEOMETRIC FUNCTIONS
TRANSCENDENCE OF SPECIAL VALUES OF MODULAR AND HYPERGEOMETRIC FUNCTIONS PAULA TRETKOFF 1. Lecture I: Modular Functions Part 1: Most known transcendence results about functions of one and several complex
More informationBjorn Poonen. MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties. January 17, 2006
University of California at Berkeley MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional (organized by Jean-Louis Colliot-Thélène, Roger Heath-Brown, János Kollár,, Alice Silverberg,
More informationFamilies of abelian varieties with many isogenous fibres
J. reine angew. Math. 705 (2015), 211 231 Journal für die reine und angewandte Mathematik DOI 10.1515/crelle-2013-0058 De Gruyter 2015 Families of abelian varieties with many isogenous fibres By Martin
More informationOn values of Modular Forms at Algebraic Points
On values of Modular Forms at Algebraic Points Jing Yu National Taiwan University, Taipei, Taiwan August 14, 2010, 18th ICFIDCAA, Macau Hermite-Lindemann-Weierstrass In value distribution theory the exponential
More informationDiophantine equations and beyond
Diophantine equations and beyond lecture King Faisal prize 2014 Gerd Faltings Max Planck Institute for Mathematics 31.3.2014 G. Faltings (MPIM) Diophantine equations and beyond 31.3.2014 1 / 23 Introduction
More informationFifty Years in the Model Theory of Differential Fields. ASL Winter Meeting 2019 JMM Baltimore
Fifty Years in the Model Theory of Differential Fields ASL Winter Meeting 2019 JMM Baltimore David Marker Mathematics, Statistics, and Computer Science University of Illinois at Chicago January 20, 2019
More informationThe j-function, the golden ratio, and rigid meromorphic cocycles
The j-function, the golden ratio, and rigid meromorphic cocycles Henri Darmon, McGill University CNTA XV, July 2018 Reminiscences of CNTA 0 The 1987 CNTA in Quebec City was an exciting one for me personally,
More information15 Elliptic curves and Fermat s last theorem
15 Elliptic curves and Fermat s last theorem Let q > 3 be a prime (and later p will be a prime which has no relation which q). Suppose that there exists a non-trivial integral solution to the Diophantine
More informationTORSION POINTS ON CURVES
TORSION POINTS ON CURVES ANDREW GRANVILLE AND ZEEV RUDNICK 1. Introduction One of the themes of the summer school is the distribution of special points on varieties. In Heath Brown s lectures we study
More informationTranscendence in Positive Characteristic
Transcendence in Positive Characteristic Introduction to Function Field Transcendence W. Dale Brownawell Matthew Papanikolas Penn State University Texas A&M University Arizona Winter School 2008 March
More informationDIOPHANTINE EQUATIONS AND DIOPHANTINE APPROXIMATION
DIOPHANTINE EQUATIONS AND DIOPHANTINE APPROXIMATION JAN-HENDRIK EVERTSE 1. Introduction Originally, Diophantine approximation is the branch of number theory dealing with problems such as whether a given
More informationLINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD. To Professor Wolfgang Schmidt on his 75th birthday
LINEAR EQUATIONS WITH UNKNOWNS FROM A MULTIPLICATIVE GROUP IN A FUNCTION FIELD JAN-HENDRIK EVERTSE AND UMBERTO ZANNIER To Professor Wolfgang Schmidt on his 75th birthday 1. Introduction Let K be a field
More informationOn Siegel s lemma outside of a union of varieties. Lenny Fukshansky Claremont McKenna College & IHES
On Siegel s lemma outside of a union of varieties Lenny Fukshansky Claremont McKenna College & IHES Universität Magdeburg November 9, 2010 1 Thue and Siegel Let Ax = 0 (1) be an M N linear system of rank
More informationModel theory, algebraic dynamics and local fields
Model theory, algebraic dynamics and local fields Thomas Scanlon University of California, Berkeley 8 June 2010 Thomas Scanlon (University of California, Berkeley) Model theory, algebraic dynamics and
More informationALGEBRAIC FLOWS ON ABELIAN VARIETIES.
ALGEBRAIC FLOWS ON ABELIAN VARIETIES. E. ULLMO, A. YAFAEV Table of contents. 1. Introduction. 1 Acknowledgements. 4 2. Mumford-Tate and Asymptotic Mumford-Tate Tori. 4 2.1. Mumford-Tate Tori. 4 2.2. Asymptotic
More informationMANIN-MUMFORD AND LATTÉS MAPS
MANIN-MUMFORD AND LATTÉS MAPS JORGE PINEIRO Abstract. The present paper is an introduction to the dynamical Manin-Mumford conjecture and an application of a theorem of Ghioca and Tucker to obtain counterexamples
More informationTHE DISTRIBUTION OF ROOTS OF A POLYNOMIAL. Andrew Granville Université de Montréal. 1. Introduction
THE DISTRIBUTION OF ROOTS OF A POLYNOMIAL Andrew Granville Université de Montréal 1. Introduction How are the roots of a polynomial distributed (in C)? The question is too vague for if one chooses one
More informationVOJTA S CONJECTURE IMPLIES THE BATYREV-MANIN CONJECTURE FOR K3 SURFACES
VOJTA S CONJECTURE IMPLIES THE BATYREV-MANIN CONJECTURE FOR K3 SURFACES DAVID MCKINNON Abstract. Vojta s Conjectures are well known to imply a wide range of results, known and unknown, in arithmetic geometry.
More informationarxiv: v6 [math.ag] 19 Mar 2015
arxiv:1310.1302v6 [math.ag] 19 Mar 2015 TOWARDS THE ANDRE-OORT CONJECTURE FOR MIXED SHIMURA VARIETIES: THE AX-LINDEMANN THEOREM AND LOWER BOUNDS FOR GALOIS ORBITS OF SPECIAL POINTS ZIYANG GAO Abstract.
More informationModel theory of special subvarieties and Schanuel-type conjectures
Model theory of special subvarieties and Schanuel-type conjectures November 15, 2013 Abstract 1 Introduction 1.1 The first part of the paper (section 2) is essentially a survey of developments around the
More informationCurves with many points Noam D. Elkies
Curves with many points Noam D. Elkies Introduction. Let C be a (smooth, projective, absolutely irreducible) curve of genus g 2 over a number field K. Faltings [Fa1, Fa2] proved that the set C(K) of K-rational
More informationRamanujan s first letter to Hardy: 5 + = 1 + e 2π 1 + e 4π 1 +
Ramanujan s first letter to Hardy: e 2π/ + + 1 = 1 + e 2π 2 2 1 + e 4π 1 + e π/ 1 e π = 2 2 1 + 1 + e 2π 1 + Hardy: [These formulas ] defeated me completely. I had never seen anything in the least like
More informationArithmetic elliptic curves in general position. CMI Workshop in Oxford, December 2015 Ulf Kühn, Universität Hamburg
Talk on Mochizuki s paper Arithmetic elliptic curves in general position CMI Workshop in Oxford, December 2015 Ulf Kühn, Universität Hamburg 1/30 Overview abc-conjecture. Let >0, then there exists a apple
More informationGalois Theory of Several Variables
On National Taiwan University August 24, 2009, Nankai Institute Algebraic relations We are interested in understanding transcendental invariants which arise naturally in mathematics. Satisfactory understanding
More informationThe Arithmetic of Elliptic Curves
The Arithmetic of Elliptic Curves Sungkon Chang The Anne and Sigmund Hudson Mathematics and Computing Luncheon Colloquium Series OUTLINE Elliptic Curves as Diophantine Equations Group Laws and Mordell-Weil
More informationReachability Problems for Continuous Linear Dynamical Systems
Reachability Problems for Continuous Linear Dynamical Systems James Worrell Department of Computer Science, Oxford University (Joint work with Ventsislav Chonev and Joël Ouaknine) FICS 2015 September 12th,
More informationOutline of the Seminar Topics on elliptic curves Saarbrücken,
Outline of the Seminar Topics on elliptic curves Saarbrücken, 11.09.2017 Contents A Number theory and algebraic geometry 2 B Elliptic curves 2 1 Rational points on elliptic curves (Mordell s Theorem) 5
More informationVojta s conjecture and level structures on abelian varieties
Vojta s conjecture and level structures on abelian varieties Dan Abramovich, Brown University Joint work with Anthony Várilly-Alvarado and Keerthi Padapusi Pera ICERM workshop on Birational Geometry and
More informationVojta s Conjecture and Dynamics
RIMS Kôkyûroku Bessatsu B25 (2011), 75 86 Vojta s Conjecture and Dynamics By Yu Yasufuku Abstract Vojta s conjecture is a deep conjecture in Diophantine geometry, giving a quantitative description of how
More informationHEIGHTS IN FAMILIES OF ABELIAN VARIETIES AND THE GEOMETRIC BOGOMOLOV CONJECTURE
HEIGHTS IN FAMILIES OF ABELIAN VARIETIES AND THE GEOMETRIC BOGOMOLOV CONJECTURE ZIYANG GAO AND PHILIPP HABEGGER Abstract. On an abelian scheme over a smooth curve over Q a symmetric relatively ample line
More informationIrrationality of 2 and Arakelov Geometry
Irrationality of 2 and Arakelov Geometry Jürg Kramer and Anna-Maria von Pippich Summary of a talk given by the first named author at the occasion of a visit to the Indian Institute of Technology at Madras
More informationReachability Problems for Continuous Linear Dynamical Systems
Reachability Problems for Continuous Linear Dynamical Systems James Worrell Department of Computer Science, Oxford University (Joint work with Ventsislav Chonev and Joël Ouaknine) CONCUR September 2nd
More informationThe Sato-Tate conjecture for abelian varieties
The Sato-Tate conjecture for abelian varieties Andrew V. Sutherland Massachusetts Institute of Technology March 5, 2014 Mikio Sato John Tate Joint work with F. Fité, K.S. Kedlaya, and V. Rotger, and also
More informationAbstracts. Bounded Height Problems and Irrationality Francesco Amoroso (joint work with P. Corvaja and U. Zannier)
Abstracts Bounded Height Problems and Irrationality Francesco Amoroso (joint work with P. Corvaja and U. Zannier) In this talk we describe a quite unexpected connection between bounded height problems
More informationElliptic Curves and Mordell s Theorem
Elliptic Curves and Mordell s Theorem Aurash Vatan, Andrew Yao MIT PRIMES December 16, 2017 Diophantine Equations Definition (Diophantine Equations) Diophantine Equations are polynomials of two or more
More informationA Common Generalization of the Conjectures of André-Oort, Manin-Mumford, and Mordell-Lang
A Common Generalization of the Conjectures of André-Oort, Manin-Mumford, and Mordell-Lang Richard PINK April 17, 2005 1 Introduction Let S be a mixed Shimura variety over the field of complex numbers C.
More information20 The modular equation
18.783 Elliptic Curves Spring 2015 Lecture #20 04/23/2015 20 The modular equation In the previous lecture we defined modular curves as quotients of the extended upper half plane under the action of a congruence
More informationLecture 8, 9: Tarski problems and limit groups
Lecture 8, 9: Tarski problems and limit groups Olga Kharlampovich October 21, 28 1 / 51 Fully residually free groups A group G is residually free if for any non-trivial g G there exists φ Hom(G, F ), where
More informationA reduction of the Batyrev-Manin Conjecture for Kummer Surfaces
1 1 A reduction of the Batyrev-Manin Conjecture for Kummer Surfaces David McKinnon Department of Pure Mathematics, University of Waterloo Waterloo, ON, N2T 2M2 CANADA December 12, 2002 Abstract Let V be
More informationIntroduction to Arithmetic Geometry
Introduction to Arithmetic Geometry 18.782 Andrew V. Sutherland September 5, 2013 What is arithmetic geometry? Arithmetic geometry applies the techniques of algebraic geometry to problems in number theory
More informationModular forms and the Hilbert class field
Modular forms and the Hilbert class field Vladislav Vladilenov Petkov VIGRE 2009, Department of Mathematics University of Chicago Abstract The current article studies the relation between the j invariant
More informationModel Theory of Differential Fields
Model Theory, Algebra, and Geometry MSRI Publications Volume 39, 2000 Model Theory of Differential Fields DAVID MARKER Abstract. This article surveys the model theory of differentially closed fields, an
More informationCongruence Subgroups
Congruence Subgroups Undergraduate Mathematics Society, Columbia University S. M.-C. 24 June 2015 Contents 1 First Properties 1 2 The Modular Group and Elliptic Curves 3 3 Modular Forms for Congruence
More informationJosé Felipe Voloch. Abstract: We discuss the problem of constructing elements of multiplicative high
On the order of points on curves over finite fields José Felipe Voloch Abstract: We discuss the problem of constructing elements of multiplicative high order in finite fields of large degree over their
More informationHorocycle Flow at Prime Times
Horocycle Flow at Prime Times Peter Sarnak Mahler Lectures 2011 Rotation of the Circle A very simple (but by no means trivial) dynamical system is the rotation (or more generally translation in a compact
More informationA MORE GENERAL ABC CONJECTURE. Paul Vojta. University of California, Berkeley. 2 December 1998
A MORE GENERAL ABC CONJECTURE Paul Vojta University of California, Berkeley 2 December 1998 In this note we formulate a conjecture generalizing both the abc conjecture of Masser-Oesterlé and the author
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationCOMPLEX MULTIPLICATION: LECTURE 15
COMPLEX MULTIPLICATION: LECTURE 15 Proposition 01 Let φ : E 1 E 2 be a non-constant isogeny, then #φ 1 (0) = deg s φ where deg s is the separable degree of φ Proof Silverman III 410 Exercise: i) Consider
More informationOn Spectrum and Arithmetic
On Spectrum and Arithmetic C. S. Rajan School of Mathematics, Tata Institute of Fundamental Research, Mumbai rajan@math.tifr.res.in 11 August 2010 C. S. Rajan (TIFR) On Spectrum and Arithmetic 11 August
More informationAbstracts of papers. Amod Agashe
Abstracts of papers Amod Agashe In this document, I have assembled the abstracts of my work so far. All of the papers mentioned below are available at http://www.math.fsu.edu/~agashe/math.html 1) On invisible
More informationMORDELL-LANG CONJECTURE
MORDELL-LANG CONJECTURE C. Berthet, C. Milliet Abstract : These are notes of a series of talks by Rahim Moosa given in Berlin, September 2007, during a MODNET training workshop on the Model Theory of Fields.
More informationThe Grothendieck-Katz Conjecture for certain locally symmetric varieties
The Grothendieck-Katz Conjecture for certain locally symmetric varieties Benson Farb and Mark Kisin August 20, 2008 Abstract Using Margulis results on lattices in semi-simple Lie groups, we prove the Grothendieck-
More informationWhen 2 and 3 are invertible in A, L A is the scheme
8 RICHARD HAIN AND MAKOTO MATSUMOTO 4. Moduli Spaces of Elliptic Curves Suppose that r and n are non-negative integers satisfying r + n > 0. Denote the moduli stack over Spec Z of smooth elliptic curves
More informationTorsion points on modular curves and Galois Theory
Torsion points on modular curves and Galois Theory Kenneth A. Ribet and Minhyong Kim January 5, 2001 In elementary terms, the arithmetic theory of a curve X is concerned with solutions to a geometrically
More informationarxiv: v2 [math.nt] 23 Sep 2011
ELLIPTIC DIVISIBILITY SEQUENCES, SQUARES AND CUBES arxiv:1101.3839v2 [math.nt] 23 Sep 2011 Abstract. Elliptic divisibility sequences (EDSs) are generalizations of a class of integer divisibility sequences
More informationMaximal Class Numbers of CM Number Fields
Maximal Class Numbers of CM Number Fields R. C. Daileda R. Krishnamoorthy A. Malyshev Abstract Fix a totally real number field F of degree at least 2. Under the assumptions of the generalized Riemann hypothesis
More informationTranscendental Number Theory: Recent Results and Conjectures
Days of Mathematics Oulu, January 9, 2004 Transcendental Number Theory: Recent Results and Conjectures Michel Waldschmidt http://www.math.jussieu.fr/ miw/ http://math.oulu.fi/matematiikanpaivat/matematiikanpaivat.html
More informationElliptic Curves. Akhil Mathew (Department of Mathematics Drew UniversityElliptic MathCurves 155, Professor Alan Candiotti) 10 Dec.
Elliptic Curves Akhil Mathew Department of Mathematics Drew University Math 155, Professor Alan Candiotti 10 Dec. 2008 Akhil Mathew (Department of Mathematics Drew UniversityElliptic MathCurves 155, Professor
More informationarxiv: v3 [math.ag] 24 May 2017
GEOMETRY AND ARITHMETIC OF PRIMARY BURNIAT SURFACES arxiv:1502.07329v3 [math.ag] 24 May 2017 INGRID BAUER AND MICHAEL STOLL Abstract. We study the geometry and arithmetic of so-called primary Burniat surfaces,
More informationALGEBRAIC RELATIONS AMONGST PERIODIC POINTS OF A LIFTING OF FROBENIUS
ALGEBRAIC RELATIONS AMONGST PERIODIC POINTS OF A LIFTING OF FROBENIUS THOMAS SCANLON Abstract. Let p be a prime number and f Z p[x] a polynomial over the p-adic integers lifting the Frobenius in the sense
More informationTorsion subgroups of rational elliptic curves over the compositum of all cubic fields
Torsion subgroups of rational elliptic curves over the compositum of all cubic fields Andrew V. Sutherland Massachusetts Institute of Technology April 7, 2016 joint work with Harris B. Daniels, Álvaro
More informationDi erentially Closed Fields
Di erentially Closed Fields Phyllis Cassidy City College of CUNY Kolchin Seminar in Di erential Algebra Graduate Center of CUNY November 16, 2007 Some Preliminary Language = fδ 1,..., δ m g, commuting
More informationAX-SCHANUEL FOR SHIMURA VARIETIES
AX-SCHANUEL FOR SHIMURA VARIETIES NGAIMING MOK, JONATHAN PILA, AND JACOB TSIMERMAN Abstract. We prove the Ax-Schanuel theorem for a general (pure) Shimura variety. A basic version of the theorem concerns
More informationarxiv: v1 [math.nt] 26 Nov 2010
VOJTA S CONJECTURE IMPLIES THE BATYREV-MANIN CONJECTURE FOR K3 SURFACES arxiv:1011.5825v1 [math.nt] 26 Nov 2010 DAVID MCKINNON Abstract. Vojta s Conjectures are well known to imply a wide range of results,
More informationLECTURE 1. ZETA FUNCTIONS: AN OVERVIEW
LECTURE 1. ZETA FUNCTIONS: AN OVERVIEW Zeta functions encode the counting of certain objects of geometric, algebraic, or arithmetic behavior. What distinguishes them from other generating series are special
More informationIsogeny invariance of the BSD conjecture
Isogeny invariance of the BSD conjecture Akshay Venkatesh October 30, 2015 1 Examples The BSD conjecture predicts that for an elliptic curve E over Q with E(Q) of rank r 0, where L (r) (1, E) r! = ( p
More information1. Artin s original conjecture
A possible generalization of Artin s conjecture for primitive root 1. Artin s original conjecture Ching-Li Chai February 13, 2004 (1.1) Conjecture (Artin, 1927) Let a be an integer, a 0, ±1, and a is not
More information20 The modular equation
18.783 Elliptic Curves Lecture #20 Spring 2017 04/26/2017 20 The modular equation In the previous lecture we defined modular curves as quotients of the extended upper half plane under the action of a congruence
More informationPart II. Riemann Surfaces. Year
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 96 Paper 2, Section II 23F State the uniformisation theorem. List without proof the Riemann surfaces which are uniformised
More informationWhat is a motive? David P. Roberts University of Minnesota, Morris. September 10, 2015
What is a motive? David P. Roberts University of Minnesota, Morris September 10, 2015 1 Preliminary general remarks 2 Cohomology and cycles 3 Motives and motivic Galois groups 4 Role in the Langlands program
More informationA Note on the Transcendence of Zeros of a Certain Family of Weakly Holomorphic Forms
A Note on the Transcendence of Zeros of a Certain Family of Weakly Holomorphic Forms Jennings-Shaffer C. & Swisher H. (014). A Note on the Transcendence of Zeros of a Certain Family of Weakly Holomorphic
More information