Linearity in Arithmetic Differential Equations. Taylor Dupuy UCSD Number Theory Seminar
|
|
- Amy Ellis
- 5 years ago
- Views:
Transcription
1 Linearity in Arithmetic Differential Equations Taylor Dupuy UCSD Number Theory Seminar
2 Part 1: Origins/History Part 2: Arithmetic Differential Equations Part 3: Linear Diff l Eqns
3 PART 1 Origins of Arithmetic Differential Algebra
4 Diophantine Geometry A/K abelian variety configuration = finite union of translates of ab subvar = S n i=1 (A i + a i ) A i apple A a i 2 A i (K) A i = A i (K) configurations form a basis of closed sets for a topology on A(K) called the configuration topology
5 S A(K) Defn. S f.g. f.r. if contained in f.r. f.g. subgroup Mordell-Lang Problem f.r. r S f.g. =) S Conf = S Zar
6 Mordell-Lang Problem f.r. r S f.g. =) S Conf = S Zar Example: (Mordell Problem) C/Q g(c) 2 Jac(C) =A C,! Jac(C) C(Q) Conf = C(Q) Zar C(K) C(Q) Jac(C)(Q) #C(Q) < 1
7 example. (Manin-Mumford Problem) C/K K g(c) 2 S = C(K) \ A(K) tors A(K) tors S Zar C(K). A = Jac(C). Mordell-Lang Problem f.r. r S f.g. =) S Conf = S Zar
8 History of Mordell- Lang Problem Manin - Mordell and Manin-Mumford when K = function field. Raynaud - Manin-Mumford for number fields Faltings, Coleman, Parshin - Lang Conjecture in General Buium - Lang Conjecture over function fields (using differential algebra), char 0 Hrushovski - Relative Lang, char p
9 Weil Cohomology Theory H : { Smooth Varieties/ k }! { Graded K-algebras} H (X) = 2dim(X) M w=0 H w (X) Finiteness h i (X) < 1 Vanishing h i (X) = 0 for i>2n or i<0 Trace Map Tr : H 2n = K Poincare Duality H i = H 2n i via cup product Kunneth H (X Y )=H (X) H (Y ) Lefschetz Axioms Cycle Map Z i (X)! H 2i has some nice properties Weak Lefschetz Re: pullback of hyperplane sections Hard Lefschetz H i! H i+2, 7! ^! where! =[H], H a hyperplane section.
10 Setup for Desired Category F1 Z : Sch F1! Sch Z. Spec(Z) F1 in the category Sch F1 to get Spec(Z) F1 Deninger Cohomlogy Theory H D : Sch F1! Graded R-algebras
11 Deninger Cohomlogy Theory H D : Sch F1! Graded R-algebras Frechetness The spaces H w (X D,j C) Vanishing H w (X) = 0 for w>2n or w<0 Trace Map Tr : H 2n = K Poincare Duality H i = H 2n i via cup product Kunneth H (X Y )=H (X) H (Y ) Lefschetz Axioms???, I m not sure exactly how these should look but there should b Hodge : H w = H 2n w Real Action : R X D! X D, which should be thought of as a replacement of the F
12 t (induced action on cohomology) =lim t!0 t I t Deninger Says: thm b (s) = guess = Q` s b ( )=0 2 s s 1 acts as zero on H 0. det 1 ( s 2 H1 ) det 1 ( s 2 H0 )det 1 ( s 2 H2 ). acts as identity on H 2
13 Conditional Proof Pairing: hf,gi := Tr(f 1 ^ f 2 ) How derivatives act: (f ^ g) = (f) ^ g + f ^ (f). Get antisymmetry property: acts trivially on H 2. f 1,f 2 2 H 1 f 1 [ f 2 2 H 2 f 1 ^ f 2 = (f 1 ^ f 2 ) = (f 1 ) ^ f 2 + f 1 ^ ( f 2 ) = (f 1 ) ^ f 2 + f 1 ^ (f 2 )
14 bhf 1,f 2 i = h (f 1 ),f 2 i + hf 1, (f 2 )i =) 1/2 is antisymmetric on H 1 =) ( 1/2 H 1 ) ir =) ( H 1 ) 1/2+iR
15 Remarks Cyclic Cohomology (NCG) Topological Hochschild Cohomology De Rham Witt Consistent with random matrix theory statistics (H 1 (Spec(Z) ), ) Algebra with involution F1 Noncommutative Geometric Object? Prototype = BC system?
16 Borger-Buium Descent
17 X/K smooth projective K = K char(k) =0 : K! K CLASSICAL Theorem K = {r 2 K : (r) =0} T.F.A.E. 1. KS( )=0 2. J 1 (X) = TX as schemes over X 3. 9X 0 /K such that X 0 K K = X Descent to the constants
18 Arithmetic Descent R = W (F p ) X/R Theorem (D.) Canonically lifted Frobenius (*) =) Tangent Bundle (FT Xn ) n 0 J 1 (X) n torsor under FT Xn 1. DI n (X/R) =0 2. J 1 (X) n = FT Xn as torsors 3. X n /R n admits a lift of the Frobenius.
19 Sketch of F 1 Land (???) Monad Geometries Generalized Rings Durov subcat Toen-Vasquies Quillen Set Monoid Lambda Schemes Borger Buium Schemes Algebraic Geometries Connes-Consani Marcolli Soule Z F1 Berkovich Deitmar Z F1 Blueprints Lorsch.
20 PART 2 Wifferential Algebra
21 What is a p-derivation? Fermat s Little Theorem 8n 2 Z, 8p prime n n p mod p n n p = p CRAP CRAP = n np p This is a p-derivation p(n) = n np p
22 p(n) = n np p Zero mod p Zero mod p Product Rule p(ab) = p (a)b p + a p p(b)+p p (a) p (b) Sum Rule p(a + b) = p (a)+ p (b) p 1 X j=1 1 p p j a p j b j Kills Unit non-linear (1) = 0
23 derivations : A! A ring homomorphisms f : A! A["]/h" 2 i dual numbers infinitesimals p-derivations p : A! A ring homomorphisms f : A! W 1 (A) Witt vectors wittfinitesimals Wittferentiation
24 Witt Vectors. (x 0,x 1 )(y 0,y 1 )=(x 0 y 0,x 1 y p 0 + y 1x p 0 + px 1y 1 ) (x 0,x 1 )+(y 0,y 1 )=(x 0 + y 0,x 1 + y 1 + C p (x 0,y 0 )) C p (X, Y )= Xp +Y p (X+Y ) p p 2 Z[X, Y ]
25 : A! B (a) a p mod p p(a) := (a) ap p p-torsion free lifts of the Frobenius p-derivations p : A! B + rules (a) :=a p + p p (a)
26 Always an A-algebra Defn. (Buium, Joyal 90 s) A p-derivation is a map of sets such that p : A! B 8a, b 2 A p(ab) = p (a)b p + a p p(b)+p p (a) p (b) p 1 X 1 p p(a + b) = p (a)+ p (b) a p p j j=1 j b j
27 example. R = Z p p(x) = x xp p EXAMPLES example. R = Z p [ ] = root of unity coprime to p p(x) = (x) = = (x) xp p unique lift of the frobenius ( 7! p, identity, on roots of unity else example R = Z ur p = Z p [ : n =1,p- 1] p(x) = (x) xp p
28 Decreases valuation: p(p) = p p pp =1 p p 1 p(p m )=p m 1 (unitmodp) Decreases valuation: t = d dt t(t n )=n t n 1
29 Constants Constants of a derivation: (K, ) K = {c 2 K : (c) =0} (ring with der) (subring) Constants of a p-derivation: R = b Z ur p R = {r 2 R : p(r) =0 (ring with p-der) (submonoid)
30 PART 2 Linear Arithmetic Differential Equations
31 The poor man s model companion: R = b Z ur p R WILL ALWAYS MEAN THIS RING IN THIS TALK Properties: 1) unramified CDVR, residue field F p 2) bz ur p = Z p [ ; n =1,p- n] b 3) unique lift of the Frobenius: ( ) = p 9! : R! R
32 Simplest Possible Equation: x =(x ij ) 2 GL n (R) x = x (p) x (p) =(x p ij ) Remarks. x 7! (x)(x (p) ) 1 almost a cocycle
33 Theorem (existence and uniqueness), 2 gl n (R) u 0 2 GL n (R) ( u = u (p) u u 0 mod p has a unique solution proof. =1+p u = u (p) () Contraction mapping: matrix norms (u) = u (p) f :GL n (R)! GL n (R) f(x) = 1 ( x (p) ) x y p apple 1 =) f(x) f(y) p apple 1 p x y p u = lim n!1 f n (u 0 )
34 Theorem (coeffs in CDVR) ( u = u (p) u u 0 mod p O = Complete Discrete Valuation Subring u 0 2 GL n (O) and 2 gl n (O) =) u 2 GL n (O) Proof. O = R (characterization) =1+p (u 0 )=u 0, ( ) =, ( ) = (u) = u (p) +1 (u) = ( u (p) ) ( (u)) = ( (u)) (p)
35 ( Theorem (coeffs in valuation delta subring) u = u (p) u u 0 mod p O = valuation delta-subring u 0 2 GL n (O) and 2 gl n (O) =) u 2 GL n (O 0 ) O 0 /O finite extension of delta-subrings Strategy: reformulate as dynamics problem!! Proof. u 0,, =1+p 2 gl n ( b O) complete CDVR regularity Lemma =) 9 0, (u) =u
36 Theorem (coeffs in valuation delta subring) u 0 2 GL n (O) and 2 gl n (O) =) u 2 GL n (O 0 ) O 0 /O finite extension of delta-subrings Strategy: reformulate as dynamics problem!! u = = (u) 1 ( u (p) ) = = 1 ( )( 2 ( )( ( u (p) ) ) (p) ) (p) w 2 GL n (R) w (m) = pick out mth column properties 1) 2) (w (p) ) (m) =(w (m) ) (p) (vw) (m) =(vw (m) )
37 Theorem (coeffs in valuation delta subring) u 0 2 GL n (O) and 2 gl n (O) =) u 2 GL n (O 0 ) Strategy: reformulate as dynamics problem!! u = (u) = 1 ( u (p) ) = = 1 ( )( 2 ( )( ( u (p) ) ) (p) ) (p) properties (w (p) ) (m) =(w (m) ) (p) (vw) (m) =(vw (m) ) u (m) = 1 ( 2 ( ( u (p) (m) ) )(p) ) (p) ' : A n F! An F '( ) = 1 ( 2 ( ( (p) ) ) (p) ) (p) u (m) ' : A n (K a )! A n (K a ) fixed point of
38 Theorem (coeffs in valuation delta subring) u 0 2 GL n (O) and 2 gl n (O) =) u 2 GL n (O 0 ) u (m) = 1 ( 2 ( ( u (p) (m) ) )(p) ) (p) Dynamics! ' : A n F! An F F = Frac(O) '( ) = 1 ( 2 ( ( (p) ) ) (p) ) (p) Lemma. # fixed points of ' : A n (K a )! A n (K a ) < 1
39 Theorem (coeffs in valuation delta subring) u 0 2 GL n (O) and 2 gl n (O) =) u 2 GL n (O 0 ) Lemma. # fixed points of ' : A n (K a )! A n (K a ) < 1 general principle: '/F =) fixed points of ' : A n (K a )! A n (K a ) A n (F a ) =) columns are in finite algebraic extensions
40 Lemma. (Fornaes and Sibonay) # fixed points of ' : A n (K a )! A n (K a ) < 1 proof. '(x 1,...,x n )=(x 1,...,x n ) ' built from 7! homogenize j Y : ' j (x 1,...,x n ) x d 0 1 x j =0 7! (p) Claim Y \ {x 0 =0} = ; zero dimensional in =) Y P n fixed points of =) ' : A n (K a )! A n (K a ) ={ (1,u) }
41 Galois Theory O R, 2 gl n (O) u = u (p) O[u] =O[u ij ] = Picard-Vessiot ring = Ring obtained by adjoining entries of u Galois Group = {c 2 GL n (O) :9 2 Aut O (O[u]), =, (u) =uc} G u/o
42 Galois Group of = {c 2 GL n (O) :9 2 Aut O (O[u]), =, (u) =uc} G u/o u = u (p) Alternative Descriptions: 1) u/o = { 2 Aut O (O[u]); = 2 GL n (O)} u/o = G u/o 2) 0! I u/o! O[x, 1/ det(x)]! O[u]! 0 Stab GLn (R)(I u/o ) = G u/o
43 u = u (p) Question: For what c 2 GL n (R) (uc) = (uc) (p) do we get? (uc) =u (p) (c)+ (u)c (p) + p (u) (c)+{u, c} {u, c} = u(p) c (p) p (uc) (p)
44 (uc) =u (p) (c)+ (u)c (p) + p (u) (c)+{u, c} {u, c} = u(p) c (p) (uc) (p) Claim. p 1) 2) {u, c} =0 c =0 =) (uc) = (uc) (p) Main Example: subgroup of GL n (F a 1) T W N = WT = TW G = maximal torus of diagonals = permutation matrices = matrices with roots of unity entries N = T W = WT = permutation matrices with roots of unity entries
45 Theorem. O R delta subring O R u 2 O =) G u/o finite u/o = { 2 Aut O (O[u]); = 2 GL n (O)} = G u/o finite to begin with
46 Theorem A. 9 Q 2 thin set 8 2 Z 2 \, 9u 2 GL n (R) u = u(p) G u/o = finite group containing W Z n2
47 Theorem B. X = {u 2 GL n (R); u 1 mod p} = ball around identity 9 X of the second category 8u 2 X \, 8O R -closed subring 1) 2) (u)(u (p) ) 1 2 gl n (O) R O =) G u/o = N
48 Theorem C. 9 GL n (K a ) Zariski closed 8u 2 GL n (R) \ u 0 = u (p) O 3 -closed subring of R dim((z G u/o ) Zar ) apple n
49 PART 4 Remarks on Picard-Fuchs and Painleve 6 and the Frobenius
50 Manin Map: E/K K = elliptic curve function field : E(K)! G a (K) (diff alg map) ker( ) =E(K) tors
51 Setup: E : y 2 = x(x 1)(x t) E universal family A 1 E t (C) = p x(x 1)(x t)
52 H 1 (E t (C), Z) = Span{ 1, 2}! = dx/y R 1! = 1 R 2! = 2 1 (t), 2 (t) periods
53 Picard-Fuchs Equations: =4t(1 t) d2 dt 2 + 4(1 2t) d dt 1 kills periods Manin-Map: (X, Y )= R (X,Y ) dx/y
54 Buium s Picard-Fuchs = p 0 Buium s Manin Map (P )= 1 p r log! (P )
p-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 informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
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 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 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 informationNoncommutative motives and their applications
MSRI 2013 The classical theory of pure motives (Grothendieck) V k category of smooth projective varieties over a field k; morphisms of varieties (Pure) Motives over k: linearization and idempotent completion
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 informationLecture 2: Elliptic curves
Lecture 2: Elliptic curves This lecture covers the basics of elliptic curves. I begin with a brief review of algebraic curves. I then define elliptic curves, and talk about their group structure and defining
More informationOn Hrushovski s proof of the Manin-Mumford conjecture
On Hrushovski s proof of the Manin-Mumford conjecture Richard PINK and Damian ROESSLER May 16, 2006 Abstract The Manin-Mumford conjecture in characteristic zero was first proved by Raynaud. Later, Hrushovski
More information1 Notations and Statement of the Main Results
An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main
More informationRigidity, locally symmetric varieties and the Grothendieck-Katz Conjecture
Rigidity, locally symmetric varieties and the Grothendieck-Katz Conjecture Benson Farb and Mark Kisin May 8, 2009 Abstract Using Margulis s results on lattices in semisimple Lie groups, we prove the Grothendieck-
More informationFundamental groups, polylogarithms, and Diophantine
Fundamental groups, polylogarithms, and Diophantine geometry 1 X: smooth variety over Q. So X defined by equations with rational coefficients. Topology Arithmetic of X Geometry 3 Serious aspects of the
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 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 informationTopics in Number Theory: Elliptic Curves
Topics in Number Theory: Elliptic Curves Yujo Chen April 29, 2016 C O N T E N T S 0.1 Motivation 3 0.2 Summary and Purpose 3 1 algebraic varieties 5 1.1 Affine Varieties 5 1.2 Projective Varieties 7 1.3
More informationLecture 21: Crystalline cohomology and the de Rham-Witt complex
Lecture 21: Crystalline cohomology and the de Rham-Witt complex Paul VanKoughnett November 12, 2014 As we ve been saying, to understand K3 surfaces in characteristic p, and in particular to rediscover
More informationAppendix by Brian Conrad: The Shimura construction in weight 2
CHAPTER 5 Appendix by Brian Conrad: The Shimura construction in weight 2 The purpose of this appendix is to explain the ideas of Eichler-Shimura for constructing the two-dimensional -adic representations
More informationTHE TATE MODULE. Seminar: Elliptic curves and the Weil conjecture. Yassin Mousa. Z p
THE TATE MODULE Seminar: Elliptic curves and the Weil conjecture Yassin Mousa Abstract This paper refers to the 10th talk in the seminar Elliptic curves and the Weil conjecture supervised by Prof. Dr.
More informationLecture 4: Abelian varieties (algebraic theory)
Lecture 4: Abelian varieties (algebraic theory) This lecture covers the basic theory of abelian varieties over arbitrary fields. I begin with the basic results such as commutativity and the structure of
More informationDiophantine geometry and non-abelian duality
Diophantine geometry and non-abelian duality Minhyong Kim Leiden, May, 2011 Diophantine geometry and abelian duality E: elliptic curve over a number field F. Kummer theory: E(F) Z p H 1 f (G,T p(e)) conjectured
More informationMA 162B LECTURE NOTES: FRIDAY, JANUARY 30
MA 162B LECTURE NOTES: FRIDAY, JANUARY 30 1. Examples of Cohomology Groups (cont d) 1.1. H 2 and Projective Galois Representations. Say we have a projective Galois representation ρ : G P GL(V ) where either
More informationToric coordinates in relative p-adic Hodge theory
Toric coordinates in relative p-adic Hodge theory Kiran S. Kedlaya in joint work with Ruochuan Liu Department of Mathematics, Massachusetts Institute of Technology Department of Mathematics, University
More information1 Existence of the Néron model
Néron models Setting: S a Dedekind domain, K its field of fractions, A/K an abelian variety. A model of A/S is a flat, separable S-scheme of finite type X with X K = A. The nicest possible model over S
More informationProof of the Shafarevich conjecture
Proof of the Shafarevich conjecture Rebecca Bellovin We have an isogeny of degree l h φ : B 1 B 2 of abelian varieties over K isogenous to A. We wish to show that h(b 1 ) = h(b 2 ). By filtering the kernel
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 informationDEFINITION OF ABELIAN VARIETIES AND THE THEOREM OF THE CUBE
DEFINITION OF ABELIAN VARIETIES AND THE THEOREM OF THE CUBE ANGELA ORTEGA (NOTES BY B. BAKKER) Throughout k is a field (not necessarily closed), and all varieties are over k. For a variety X/k, by a basepoint
More informationON THE KERNELS OF THE PRO-l OUTER GALOIS REPRESENTATIONS ASSOCIATED TO HYPERBOLIC CURVES OVER NUMBER FIELDS
Hoshi, Y. Osaka J. Math. 52 (205), 647 675 ON THE KERNELS OF THE PRO-l OUTER GALOIS REPRESENTATIONS ASSOCIATED TO HYPERBOLIC CURVES OVER NUMBER FIELDS YUICHIRO HOSHI (Received May 28, 203, revised March
More informationGalois Theory and Diophantine geometry ±11
Galois Theory and Diophantine geometry ±11 Minhyong Kim Bordeaux, January, 2010 1 1. Some Examples 1.1 A Diophantine finiteness theorem: Let a, b, c, n Z and n 4. Then the equation ax n + by n = c has
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 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 informationl-adic Representations
l-adic Representations S. M.-C. 26 October 2016 Our goal today is to understand l-adic Galois representations a bit better, mostly by relating them to representations appearing in geometry. First we ll
More informationMorava K-theory of BG: the good, the bad and the MacKey
Morava K-theory of BG: the good, the bad and the MacKey Ruhr-Universität Bochum 15th May 2012 Recollections on Galois extensions of commutative rings Let R, S be commutative rings with a ring monomorphism
More informationp-divisible Groups and the Chromatic Filtration
p-divisible Groups and the Chromatic Filtration January 20, 2010 1 Chromatic Homotopy Theory Some problems in homotopy theory involve studying the interaction between generalized cohomology theories. This
More informationAn Introduction to Supersingular Elliptic Curves and Supersingular Primes
An Introduction to Supersingular Elliptic Curves and Supersingular Primes Anh Huynh Abstract In this article, we introduce supersingular elliptic curves over a finite field and relevant concepts, such
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 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 informationp-adic gauge theory in number theory K. Fujiwara Nagoya Tokyo, September 2007
p-adic gauge theory in number theory K. Fujiwara Nagoya Tokyo, September 2007 Dirichlet s theorem F : totally real field, O F : the integer ring, [F : Q] = d. p: a prime number. Dirichlet s unit theorem:
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
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 informationRational Points on Curves in Practice. Michael Stoll Universität Bayreuth Journées Algophantiennes Bordelaises Université de Bordeaux June 8, 2017
Rational Points on Curves in Practice Michael Stoll Universität Bayreuth Journées Algophantiennes Bordelaises Université de Bordeaux June 8, 2017 The Problem Let C be a smooth projective and geometrically
More informationAlgebraic structures I
MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one
More informationModern Number Theory: Rank of Elliptic Curves
Modern Number Theory: Rank of Elliptic Curves Department of Mathematics University of California, Irvine October 24, 2007 Rank of Outline 1 Introduction Basics Algebraic Structure 2 The Problem Relation
More informationAlgebraic Hecke Characters
Algebraic Hecke Characters Motivation This motivation was inspired by the excellent article [Serre-Tate, 7]. Our goal is to prove the main theorem of complex multiplication. The Galois theoretic formulation
More informationPICARD GROUPS OF MODULI PROBLEMS II
PICARD GROUPS OF MODULI PROBLEMS II DANIEL LI 1. Recap Let s briefly recall what we did last time. I discussed the stack BG m, as classifying line bundles by analyzing the sense in which line bundles may
More informationARITHMETIC DIFFERENTIAL GEOMETRY
ARITHMETIC DIFFERENTIAL GEOMETRY ALEXANDRU BUIUM 1. Introduction The aim of these notes is to explain past work and proposed research aimed at developing an arithmetic analogue of classical differential
More informationDi erential Algebraic Geometry, Part I
Di erential Algebraic Geometry, Part I Phyllis Joan Cassidy City College of CUNY Fall 2007 Phyllis Joan Cassidy (Institute) Di erential Algebraic Geometry, Part I Fall 2007 1 / 46 Abstract Di erential
More informationBLUEPRINTS - TOWARDS ABSOLUTE ARITHMETIC?
BLUEPRINTS - TOWARDS ABSOLUTE ARITHMETIC? OLIVER LORSCHEID ABSTRACT. One of the driving motivations to develop F 1 -geometry is the hope to translate Weil s proof of the Riemann hypothesis from positive
More informationRepresentations and Linear Actions
Representations and Linear Actions Definition 0.1. Let G be an S-group. A representation of G is a morphism of S-groups φ G GL(n, S) for some n. We say φ is faithful if it is a monomorphism (in the category
More informationRepresentations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III
Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013
18.78 Introduction to Arithmetic Geometry Fall 013 Lecture #4 1/03/013 4.1 Isogenies of elliptic curves Definition 4.1. Let E 1 /k and E /k be elliptic curves with distinguished rational points O 1 and
More informationthis to include the explicit maps, please do so!
Contents 1. Introduction 1 2. Warmup: descent on A 2 + B 3 = N 2 3. A 2 + B 3 = N: enriched descent 3 4. The Faltings height 5 5. Isogeny and heights 6 6. The core of the proof that the height doesn t
More informationGALOIS GROUPS ATTACHED TO POINTS OF FINITE ORDER ON ELLIPTIC CURVES OVER NUMBER FIELDS (D APRÈS SERRE)
GALOIS GROUPS ATTACHED TO POINTS OF FINITE ORDER ON ELLIPTIC CURVES OVER NUMBER FIELDS (D APRÈS SERRE) JACQUES VÉLU 1. Introduction Let E be an elliptic curve defined over a number field K and equipped
More informationA p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1
A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1 ALEXANDER G.M. PAULIN Abstract. The (de Rham) geometric Langlands correspondence for GL n asserts that to an irreducible rank n integrable connection
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 informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank
More informationPublic-key Cryptography: Theory and Practice
Public-key Cryptography Theory and Practice Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Chapter 2: Mathematical Concepts Divisibility Congruence Quadratic Residues
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 informationChain Complexes and Herbrand Quotients
LECTURE 7 Chain Complexes and Herbrand Quotients Last time, we defined the Tate cohomology groups Ĥ0 (G, M) and Ĥ1 (G, M) for cyclic groups. Recall that if G = Z/nZ with generator σ, then a G-module is
More informationGroup schemes over fields and Abelian varieties
Group schemes over fields and Abelian varieties Daniele Agostini May 5, 2015 We will work with schemes over a field k, of arbitrary characteristic and not necessarily algebraically closed. An algebraic
More informationPUBLICATIONS ALEXANDRU BUIUM
PUBLICATIONS ALEXANDRU BUIUM 1. Research Monographs [1] Differential Function Fields and Moduli of Algebraic Varieties, Lecture Notes in Math. 1226, Springer 1986. [2] Differential Algebraic Groups of
More informationIntroduction to Elliptic Curves
IAS/Park City Mathematics Series Volume XX, XXXX Introduction to Elliptic Curves Alice Silverberg Introduction Why study elliptic curves? Solving equations is a classical problem with a long history. Starting
More informationCounting points on curves: the general case
Counting points on curves: the general case Jan Tuitman, KU Leuven October 14, 2015 Jan Tuitman, KU Leuven Counting points on curves: the general case October 14, 2015 1 / 26 Introduction Algebraic curves
More informationFIELDS OF DEFINITION OF RATIONAL POINTS ON VARIETIES
FIELDS OF DEFINITION OF RATIONAL POINTS ON VARIETIES JORDAN RIZOV Abstract. Let X be a scheme over a field K and let M X be the intersection of all subfields L of K such that X has a L-valued point. In
More informationDieudonné Modules and p-divisible Groups
Dieudonné Modules and p-divisible Groups Brian Lawrence September 26, 2014 The notion of l-adic Tate modules, for primes l away from the characteristic of the ground field, is incredibly useful. The analogous
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationIwasawa algebras and duality
Iwasawa algebras and duality Romyar Sharifi University of Arizona March 6, 2013 Idea of the main result Goal of Talk (joint with Meng Fai Lim) Provide an analogue of Poitou-Tate duality which 1 takes place
More informationPeter Scholze Notes by Tony Feng. This is proved by real analysis, and the main step is to represent de Rham cohomology classes by harmonic forms.
p-adic Hodge Theory Peter Scholze Notes by Tony Feng 1 Classical Hodge Theory Let X be a compact complex manifold. We discuss three properties of classical Hodge theory. Hodge decomposition. Hodge s theorem
More informationGalois groups with restricted ramification
Galois groups with restricted ramification Romyar Sharifi Harvard University 1 Unique factorization: Let K be a number field, a finite extension of the rational numbers Q. The ring of integers O K of K
More informationNon characteristic finiteness theorems in crystalline cohomology
Non characteristic finiteness theorems in crystalline cohomology 1 Non characteristic finiteness theorems in crystalline cohomology Pierre Berthelot Université de Rennes 1 I.H.É.S., September 23, 2015
More informationAlgebraic Curves and Riemann Surfaces
Algebraic Curves and Riemann Surfaces Rick Miranda Graduate Studies in Mathematics Volume 5 If American Mathematical Society Contents Preface xix Chapter I. Riemann Surfaces: Basic Definitions 1 1. Complex
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 informationLECTURE 1: OVERVIEW. ; Q p ), where Y K
LECTURE 1: OVERVIEW 1. The Cohomology of Algebraic Varieties Let Y be a smooth proper variety defined over a field K of characteristic zero, and let K be an algebraic closure of K. Then one has two different
More informationHONDA-TATE THEOREM FOR ELLIPTIC CURVES
HONDA-TATE THEOREM FOR ELLIPTIC CURVES MIHRAN PAPIKIAN 1. Introduction These are the notes from a reading seminar for graduate students that I organised at Penn State during the 2011-12 academic year.
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More information10 l-adic representations
0 l-adic representations We fix a prime l. Artin representations are not enough; l-adic representations with infinite images naturally appear in geometry. Definition 0.. Let K be any field. An l-adic Galois
More informationAbsolute de Rham cohomology? A fantasy in the key of p
Absolute de Rham cohomology? A fantasy in the key of p Kiran S. Kedlaya Department of Mathematics, Massachusetts Institute of Technology; kedlaya@mit.edu Department of Mathematics, University of California,
More informationGalois Cohomology. John Tate
Galois Cohomology John Tate Contents Galois Cohomology 1 1. Group modules 1 2. Cohomology 2 2.1. Examples 3 2.2. Characterization of H r (G, ) 4 3. Kummer theory 4 4. Functor of pairs (G, A) 6 5. The
More information1.6.1 What are Néron Models?
18 1. Abelian Varieties: 10/20/03 notes by W. Stein 1.6.1 What are Néron Models? Suppose E is an elliptic curve over Q. If is the minimal discriminant of E, then E has good reduction at p for all p, in
More informationAG NOTES MARK BLUNK. 3. Varieties
AG NOTES MARK BLUNK Abstract. Some rough notes to get you all started. 1. Introduction Here is a list of the main topics that are discussed and used in my research talk. The information is rough and brief,
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 informationExercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti
Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY E-mail address: alex.massarenti@sissa.it These notes collect a series of
More informationElliptic curves over function fields 1
Elliptic curves over function fields 1 Douglas Ulmer and July 6, 2009 Goals for this lecture series: Explain old results of Tate and others on the BSD conjecture over function fields Show how certain classes
More informationHigher reciprocity laws and rational points
Higher reciprocity laws and rational points Jean-Louis Colliot-Thélène (CNRS et Université Paris-Sud) Joint work with R. Parimala et V. Suresh Conference on Algebraic Geometry Amsterdam, 8th-12th July,
More informationChow Groups. Murre. June 28, 2010
Chow Groups Murre June 28, 2010 1 Murre 1 - Chow Groups Conventions: k is an algebraically closed field, X, Y,... are varieties over k, which are projetive (at worst, quasi-projective), irreducible and
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 informationAutomorphisms of varieties and critical density. Jason Bell (U. Michigan)
Automorphisms of varieties and critical density Jason Bell (U. Michigan) belljp@umich.edu 1 Let X be a topological space and let S be an infinite subset of X. We say that S is critically dense if every
More informationArithmetic Mirror Symmetry
Arithmetic Mirror Symmetry Daqing Wan April 15, 2005 Institute of Mathematics, Chinese Academy of Sciences, Beijing, P.R. China Department of Mathematics, University of California, Irvine, CA 92697-3875
More informationPseudo-abelian varieties
Pseudo-abelian varieties Burt Totaro The theory of algebraic groups is divided into two parts with very different flavors: affine algebraic groups (which can be viewed as matrix groups) and abelian varieties.
More informationWeak Kolchin Irreducibility for Arithmetic Jet Spaces
Weak Kolchin Irreducibility for Arithmetic Jet Spaces Taylor Dupuy (with James Freitag and Lance E. Miller) Kolchin (1970s) X/C irreducible =) J 1 (X) irreducible (singular) Claim: X/W p,1 (F alg p ) bx
More informationThe Galois representation associated to modular forms pt. 2 Erik Visse
The Galois representation associated to modular forms pt. 2 Erik Visse May 26, 2015 These are the notes from the seminar on local Galois representations held in Leiden in the spring of 2015. The website
More informationMA 254 notes: Diophantine Geometry
MA 254 notes: Diophantine Geometry (Distilled from [Hindry-Silverman], [Manin], [Serre]) Dan Abramovich Brown University Janoary 27, 2016 Abramovich MA 254 notes: Diophantine Geometry 1 / 16 Mordell Weil
More informationProblems in Linear Algebra and Representation Theory
Problems in Linear Algebra and Representation Theory (Most of these were provided by Victor Ginzburg) The problems appearing below have varying level of difficulty. They are not listed in any specific
More informationNOTES ON ABELIAN VARIETIES
NOTES ON ABELIAN VARIETIES YICHAO TIAN AND WEIZHE ZHENG We fix a field k and an algebraic closure k of k. A variety over k is a geometrically integral and separated scheme of finite type over k. If X and
More informationMany of the groups with which we are familiar are arithmetical in nature, and they tend to share key structures that combine more than one operation.
12. Rings 1 Rings Many of the groups with which we are familiar are arithmetical in nature, and they tend to share key structures that combine more than one operation. Example: Z, Q, R, and C are an Abelian
More informationSome remarks on Frobenius and Lefschetz in étale cohomology
Some remarks on obenius and Lefschetz in étale cohomology Gabriel Chênevert January 5, 2004 In this lecture I will discuss some more or less related issues revolving around the main idea relating (étale)
More informationIsogeny invariance of the BSD formula
Isogeny invariance of the BSD formula Bryden Cais August 1, 24 1 Introduction In these notes we prove that if f : A B is an isogeny of abelian varieties whose degree is relatively prime to the characteristic
More informationFALTINGS SEMINAR TALK. (rf)(a) = rf(a) = f(ra)
FALTINGS SEMINAR TALK SIMON RUBINSTEIN-SALZEDO 1. Cartier duality Let R be a commutative ring, and let G = Spec A be a commutative group scheme, where A is a finite flat algebra over R. Let A = Hom R mod
More informationFundamental Groups in Characteristic p
Fundamental Groups in Characteristic p Pete L. Clark October 25, 2006 1 Introduction Fundamental groups and Galois groups: Let X/k be a smooth, complete connected curve over an algebraically closed field
More informationMILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES
MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES NILAY KUMAR In these lectures I want to introduce the Chern-Weil approach to characteristic classes on manifolds, and in particular, the Chern classes.
More informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More information