Cohomological Formulation (Lecture 3)


 Horace Simmons
 2 years ago
 Views:
Transcription
1 Cohomological Formulation (Lecture 3) February 5, 204 Let F q be a finite field with q elements, let X be an algebraic curve over F q, and let be a smooth affine group scheme over X with connected fibers. Let d = dim(). For each closed point x X, let deg(x) denote the degree of x (that is, the dimension of the residue field κ(x) as a vector space over F q ) and let L denote the line bundle on X of leftinvariant top forms on. In the previous lecture, we formulated the function field analogue of Weil s conjecture: Conjecture (Weil). Suppose that the generic fiber of is semisimple and simply connected. Then P Aut(P) q d(g )+deg(l) = x X (κ(x)). Remark 2. Note that neither side of the equation of Conjecture is a priori well defined. The absolute convergence of the product on the right hand side is equivalent to the welldefinedness of Tamagawa measure. The left hand side is usually an infinite sum (unless the generic fiber of is anisotropic), but the conjecture asserts that this infinite sum converges to the right hand side. The assertion of Conjecture can be regarded as a function field analogue of the Siegel mass formula (in its original formulation). However, there are tools available for attacking Conjecture that have no analogue in the case of a number field. More specifically, we would like to take advantage of the fact that the collection of all bundles on X admits an algebrogeometric parametrization. Definition 3. If Y is a scheme equipped with a map Y X, we define a bundle on Y to be a principal homogeneous space for the group scheme Y = Y X over Y. The collection of bundles on Y forms a category (in which all morphisms are isomorphisms). For every F q algebra R, we let Bun (X) denote the category of bundles on the relative curve Spec R Spec Fq X. The construction R Bun (X)(R) is an example of an algebraic stack, which we will denote by Bun (X). We will refer to Bun (X) as the moduli stack of bundles on X. Remark 4. The algebraic stack Bun (X) is smooth over F q, and its dimension is given by d(g )+deg(l). By definition, the category Bun (X)(F q ) is the category of bundles on X. We will denote the sum P Aut(P) by : we can think of it as a (weighted) count of the objects of Bun (X)(F q ), which properly takes into account the fact that Bun (X)(F q ) is a category rather than a set. With this notation, we can rephrase Conjecture as an equality q dim(bun ) = x X (κ(x))
2 Variant 5. For each closed point x X, let Bun (x) denote the stack whose Rvalued points are principal bundles on the Xscheme Spec(R Fq κ(x)). Then Bun (x) is also a smooth algebraic stack (it is the classifying stack of the group scheme over F q obtained by Weil restriction of along the morphism Spec κ(x) Spec F q ) having dimension d deg(x). Since the fibers of are connected, every bundle on Spec κ(x) is trivial (by virtue of Lang s theorem), and the trivial bundle on Spec κ(x) has automorphism group (κ(x)). We may therefore write (κ(x)) = Bun (x)(f q ). q dim Bun (x) Conjecture can therefore be written in the more suggestive form q dim Bun (X) = x X Bun (x)(f q ). q dim Bun (x) Heuristically, this formula reflects the idea that Bun (X) can be obtained as a continuous product of the algebraic stacks {Bun (x)} x X. The problem of counting the number of points on algebraic varieties over F q is the subject of another very famous idea of Weil. Let Y be a quasiprojective variety over F q, so that there exists an embedding j : Y P n F q for some n 0. Set Y = Spec F q Spec Fq Y, so that j determines an embedding j : Y P n. F q There is a canonical map from P n to itself, given in homogeneous coordinates by F q [x 0 : : x n ] [x q 0 : xq n]. Since Y is characterized by the vanishing and nonvanishing of homogeneous polynomials with coefficients in F q, this construction determines a map ϕ : Y Y, which we will refer to as the geometric Frobenius map. Then the finite set Y (F q ) of F q points of Y can be identified with the fixed locus of the map ϕ : Y Y. Weil made a series of conjectures about the behavior of the integers Y (F q ), which are informed by the following heuristic: Idea 6 (Weil). There exists a good cohomology theory for algebraic varieties having the property that the fixed point set Y (F q ) = {y Y (F q ) : ϕ(y) = y} is given by the Lefschetz fixed point formula Y (F q ) = i 0( ) i Tr(ϕ H i c(y )). Weil s conjectures were eventually proven by rothendieck and Deligne by introducing the theory of ladic cohomology, which we will denote by Y H (Y ; Q l ) (there is also an analogue of ladic cohomology with compact supports which appears in the fixed point formula above, which we will denote by H c(y ; Q l )). Here l denotes some fixed prime number which does not divide q. For our purposes, it will be convenient to write the rothendiecklefschetz trace formula in a slightly different form. Suppose that Y is a smooth variety of dimension n over F q. Then, from the perspective of ladic cohomology, Y behaves as if it were a smooth manifold of dimension 2n. In particular, it satisfies Poincare duality: that is, there is a perfect pairing µ : H i c(y ; Q l ) Ql H 2n i (Y ; Q l ) Q l. This pairing is not quite ϕequivariant: instead, it fits into a commutative diagram H i c(y ; Q l ) Ql H 2n i (Y ; Q l ) µ Q l ϕ ϕ H i c(y ; Q l ) Ql H 2n i (Y ; Q l ) q n µ Q l. 2
3 It follows formally that q n Tr(ϕ H i c(y ; Q l )) Tr(ϕ H 2n i (Y ; Q l )). We may therefore rewrite the rothendiecklefschetz trace formula as an equality ( ) i Tr(ϕ H i (Y ; Q l )) = Y (F q) q. dim(y ) i 0 This suggests the possibility of breaking Conjecture into two parts. Notation 7. In what follows, we fix an embedding Q l C, so that we can regard the trace of any endomorphism of a Q l vector space as a complex number. Let Bun (X) denote the fiber product Spec F q Spec Fq Bun (X), so that Bun (X) is a smooth algebraic stack over F q equipped with a geometric Frobenius map ϕ : Bun (X) Bun (X). Conjecture 8. The algebraic stack Bun (X) satisfies the rothendiecklefschetz trace formula q dim(bun (X)) Conjecture 9. There is an equality = i 0( ) i Tr(ϕ H i (Bun (X); Q l )). i 0( ) i Tr(ϕ H i (Bun (X); Q l )) = x X (κ(x)). Warning 0. The ladic cohomology ring H (Bun (X); Q l ) is generally nonzero in infinitely many degrees, so that the sum ( ) i Tr(ϕ H i (Bun (X); Q l )) i 0 appearing in Conjectures 8 and 9 is generally infinite. Consequently, the convergence of this sum is not automatic, but part of the conjecture. Similarly, neither of the expressions is obviously convergent. Bun (F q ) q dim Bun (X) = P Aut(P) q dim Bun (X) x X (κ(x)) The proofs of Conjecture 8 and 9 require completely different techniques. The remainder of this course will be devoted to the proof of Conjecture 9. Roughly speaking, the idea is to use the heuristic that Bun (X) is a continuous product of the classifying stacks Bun (x) as x ranges over the points of X to formulate a localtoglobal principle which can be used to compute the cohomology H (Bun (X); Q l ) in terms of local data. This strategy is inspired by similar principles in a purely topological setting, which we will discuss in the next lecture. For the remainder of this lecture, we will briefly sketch the work that needs to be done to prove Conjecture 8, following the work of Kai Behrend. The first problem that we need to wrestle with is that Bun (X) is an algebraic stack over F q, rather than an algebraic variety over F q. This is because bundles over the curve X admit nontrivial automorphisms. However, we can rigidify the situation by considering bundles with level structure. Fix a closed point x X. Let O x be the completed local ring of x in X and let m x denote its maximal ideal. For each N 0, we let D N denote the affine scheme Spec O x /m N x, which we regard as a closed subscheme of X (the closed subscheme determined by the effective divisor N x). For every F q algebra R, let Bun (N) (X)(R) denote the category whose objects are bundles on the relative curve Spec R Spec Fq X equipped with a trivialization on the closed subscheme Spec R Spec Fq D N. 3
4 One can show that the construction R Bun (N) (X)(R) determines an algebraic stack Bun(N) (X), equipped with a map Bun (N) (X) Bun (X). Moreover, this map exhibits Bun (N) (X) Bun (X) as a principal Hbundle over Bun (X), where H denotes the Weil restriction of the group D N X along the map D N Spec F q (so that H is a smooth connected algebraic group of dimension dn deg(x) over F q ). Let P be a bundle on X. Then P might admit nontrivial automorphisms. However, any nontrivial automorphism α of P must act nontrivially on P DN provided that N is sufficiently large. Moreover, this result is true in families. More precisely, suppose that we are given a quasicompact F q scheme V equipped with a map V Bun (X), classifying a bundle P on V Spec Fq X. Then automorphisms of P are classified by an affine group scheme Aut(P) over V. Moreover, for N 0, the group scheme Aut(P) acts faithfully on the restriction of P to V Spec Fq D N. Suppose that we are given an open substack U Bun (X) which is quasicompact. It follows from the above reasoning that we can choose N 0 such that the fiber product U (N) = U Bun (X) Bun (N) (X) is a setvalued functor, rather than a categoryvalued functor. It is therefore representable by a smooth algebraic space over F q (which is quasicompact and quasiseparated). Since the map X is smooth with connected fibers, every torsor P on X is trivial when restricted to the divisor D N. Consequently, we can identify the set of isomorphism classes of objects of the category U(F q ) with the quotient of the set U (N) (F q ) by the action of the finite group H(F q ). Moreover, the automorphism group of an object P U(F q ) can be identified with the stabilizer in H(F q ) of an arbitrary lift of P to U (N) (F q ). We therefore have an equality U(F q ) = P U(F q) Aut(P) = U (N) (F q ). H(F q ) Here the numerator and denominator can be computed by means of the classical rothendiecklefschetz fixed point theorem: U (N) (F q ) = q dim(u (N) ) i 0( ) i Tr(ϕ H i (U (N) ; Q l )) H(F q ) = q dim(h) i 0( ) i Tr(ϕ H i (H; Q l )). The algebraic stack U can be described as the stacktheoretic quotient of U (N) by the action of H. Consequently, the ladic cohomology of U can be computed by a cobar spectral sequence with first page given by E,t = H (U (N) ; Q l ) Ql H red(h; Q l ) t. 4
5 Modulo issues of convergence, we may therefore compute ( ) i Tr(ϕ H i (U; Q l )) = ( ) s+t Tr(ϕ E s,t ) s,t i = s,t ( ) s+t Tr(ϕ E s,t ) = t = t ( ) t Tr(ϕ H (U (N) ; Q l ) Ql H red(h; Q l ) t ) ( ) t Tr(ϕ H (U (N) ; Q l )) Tr(ϕ H red(h; Q l )) t = t ( ) t U (N) (F q ) q ( H(F q) dim(u (N) )t ) qdim(h) = U (N) (F q ) q dim(u (N) ) q dim(h) H(F q ) U (N) (F q ) = q dim(u) H(F q ) = U(F q) q. dim(u) Using the connectedness of H, one can see that all of these sums are absolutely convergent; for more details, we refer the reader to [2]. Remark. The convergence above relies crucially on the fact that we are working with eigenvalues of the arithmetic Frobenius ϕ (which are small), rather than the eigenvalues of the geometric Frobenius ϕ (which are large). This is our reason for preferring the variant formulation of the rothendiecklefschetz fixed point theorem. If the algebraic stack Bun (X) were quasicompact, we could take U = Bun (X) in the preceding considerations, and thereby obtain a proof of Conjecture 8. Unfortunately, the algebraic stack Bun (X) is never quasicompact, except in the case where the group is trivial. Consequently, we need to work much harder. Suppose that we are given a stratification of Bun (X) where each stratum admits a finite radicial morphism from a smooth stack U α with a map U α Bun (X) of relative dimension d α. Applying the above argument to each U α individually, we obtain q dim(bun (X)) = α = α = α U α (F q ) q dim(uα)+dα q dα ( ) Tr(ϕ H i (U α ; Q l )) i ( ) Tr(ϕ H i (U α ; Q l ( d α )). i The cohomology groups H (Bun ; Q l ) and {H (U α ; Q l ( d α ))} are related by a spectral sequence. Modulo convergence issues, this yields a proof of Conjecture 8. However, to guarantee convergence, one needs to choose the U α carefully. In the case where the group scheme is split and reductive, one can employ the HarderNarasimhan stratification (see [] for details). To handle the general case, we need a generalization of the HarderNarasimhan stratification to the case where the group scheme is nonconstant, and may have bad reduction at finitely many points of X. We will discuss this generalization elsewhere. 5
6 Example 2. Let = SL 2, so that Bun (X) is the moduli stack of rank 2 vector bundles E over X equipped with a trivialization of the determinant bundle det(e). Recall that a bundle E is said to be semistable if there does not exist a line subbundle L E of positive degree. One can show that semistable bundles are classified by a quasicompact open substack Bun ss (X) Bun (X). If a bundle E is not semistable, then (by definition) there exists a line subbundle L E of positive degree. In this case, the line bundle L is uniquely determined. The collection of those bundles E for which deg(l) = d > 0 are classified by a locally closed substack Bun d (X) Bun (X). Note that if E is such a bundle, then the data of a trivialization of det(e) is equivalent to the data of an isomorphism E / L L, giving us an exact sequence 0 L E L 0. Consequently, Bun d (X) can be identified (at least at the level of fieldvalued points) with the moduli stack classifying pairs (L, α), where L is a line bundle of degree d and α is an extension of L by L. If X has an F q rational point, then each of these moduli stacks has the ladic cohomology of the moduli stack Bun 0 m (X) of degree 0 line bundles on X. However, the dimension dim(bun d (X)) = 2g 2 2d approaches as d. References [] Behrend, K. The Lefschetz Trace Formula for the Moduli Stack of Principal Bundles. PhD dissertation. [2] Behrend, K. Derived ladic categories for algebraic stacks. Memoirs of the American Mathematical Society Vol. 63,
Three 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 informationTamagawa Numbers in the Function Field Case (Lecture 2)
Tamagawa Numbers in the Function Field Case (Lecture 2) February 5, 204 In the previous lecture, we defined the Tamagawa measure associated to a connected semisimple algebraic group G over the field Q
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 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 informationIntroduction (Lecture 1)
Introduction (Lecture 1) February 2, 2011 In this course, we will be concerned with variations on the following: Question 1. Let X be a CW complex. When does there exist a homotopy equivalence X M, where
More informationHomology and Cohomology of Stacks (Lecture 7)
Homology and Cohomology of Stacks (Lecture 7) February 19, 2014 In this course, we will need to discuss the ladic homology and cohomology of algebrogeometric objects of a more general nature than algebraic
More informationArithmetic of certain integrable systems. University of Chicago & Vietnam Institute for Advanced Study in Mathematics
Arithmetic of certain integrable systems Ngô Bao Châu University of Chicago & Vietnam Institute for Advanced Study in Mathematics System of congruence equations Let us consider a system of congruence equations
More informationladic Representations
ladic Representations S. M.C. 26 October 2016 Our goal today is to understand ladic Galois representations a bit better, mostly by relating them to representations appearing in geometry. First we ll
More informationThe geometric Satake isomorphism for padic groups
The geometric Satake isomorphism for padic groups Xinwen Zhu Notes by Tony Feng 1 Geometric Satake Let me start by recalling a fundamental theorem in the Geometric Langlands Program, which is the Geometric
More informationThe moduli stack of vector bundles on a curve
The moduli stack of vector bundles on a curve Norbert Hoffmann norbert.hoffmann@fuberlin.de Abstract This expository text tries to explain briefly and not too technically the notions of stack and algebraic
More informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
More informationNotes on pdivisible Groups
Notes on pdivisible 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 informationFundamental Lemma and Hitchin Fibration
Fundamental Lemma and Hitchin Fibration Gérard Laumon CNRS and Université ParisSud May 13, 2009 Introduction In this talk I shall mainly report on Ngô Bao Châu s proof of the LanglandsShelstad Fundamental
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 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 information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasiprojective varieties over a field k Affine Varieties 1.
More informationAN INTRODUCTION TO MODULI SPACES OF CURVES CONTENTS
AN INTRODUCTION TO MODULI SPACES OF CURVES MAARTEN HOEVE ABSTRACT. Notes for a talk in the seminar on modular forms and moduli spaces in Leiden on October 24, 2007. CONTENTS 1. Introduction 1 1.1. References
More informationALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES
ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasicoherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open
More informationMath 248B. Applications of base change for coherent cohomology
Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the socalled cohomology and base change theorem: Theorem 1.1 (Grothendieck).
More informationThe Hitchin map, local to global
The Hitchin map, local to global Andrei Negut Let X be a smooth projective curve of genus g > 1, a semisimple group and Bun = Bun (X) the moduli stack of principal bundles on X. In this talk, we will present
More informationGEOMETRIC CLASS FIELD THEORY I
GEOMETRIC CLASS FIELD THEORY I TONY FENG 1. Classical class field theory 1.1. The Artin map. Let s start off by reviewing the classical origins of class field theory. The motivating problem is basically
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 informationTHE MODULI OF SUBALGEBRAS OF THE FULL MATRIX RING OF DEGREE 3
THE MODULI OF SUBALGEBRAS OF THE FULL MATRIX RING OF DEGREE 3 KAZUNORI NAKAMOTO AND TAKESHI TORII Abstract. There exist 26 equivalence classes of ksubalgebras of M 3 (k) for any algebraically closed field
More informationWeil s Conjecture for Function Fields I. Dennis Gaitsgory and Jacob Lurie
Weil s Conjecture for Function Fields I Dennis Gaitsgory and Jacob Lurie September 21, 2018 Contents 1 Introduction 7 1.1 The Mass Formula.............................. 8 1.1.1 Quadratic Forms...........................
More informationUnipotent groups and some
Unipotent groups and some A 1 contractible smooth schemes math.ag/0703137 Aravind Asok (joint w/ B.Doran) July 14, 2008 Outline 1. History/Historical Motivation 2. The A 1 homotopy black box 3. Main
More informationAn introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109
An introduction to arithmetic groups Lizhen Ji CMS, Zhejiang University Hangzhou 310027, China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 June 27, 2006 Plan. 1. Examples of arithmetic groups
More informationTamagawa numbers via nonabelian Poincaré duality
Tamagawa numbers via nonabelian Poincaré duality Jacob Lurie 204 Young Topologists Meeting (Copenhagen) Contents Quadratic forms and the Siegel mass formula. Quadratic forms, the counting problem, and
More informationWhat is a motive? Johan M. Commelin March 3, 2014
What is a motive? Johan M Commelin March 3, 2014 Abstract The question in the title does not yet have a definite answer One might even say that it is one of the most central, delicate, and difficult questions
More information1.5.4 Every abelian variety is a quotient of a Jacobian
16 1. Abelian Varieties: 10/10/03 notes by W. Stein 1.5.4 Every abelian variety is a quotient of a Jacobian Over an infinite field, every abelin variety can be obtained as a quotient of a Jacobian variety.
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 informationA padic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1
A padic 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 informationVERY ROUGH NOTES ON SPECTRAL DEFORMATION THEORY
VERY ROUGH NOTES ON SPECTRAL DEFORMATION THEORY 1. Classical Deformation Theory I want to begin with some classical deformation theory, before moving on to the spectral generalizations that constitute
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 informationHecke modifications. Aron Heleodoro. May 28, 2013
Hecke modifications Aron Heleodoro May 28, 2013 1 Introduction The interest on Hecke modifications in the geometrical Langlands program comes as a natural categorification of the product in the spherical
More informationIrrationality of 2 and Arakelov Geometry
Irrationality of 2 and Arakelov Geometry Jürg Kramer and AnnaMaria 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 informationSurjectivity in HondaTate
Surjectivity in HondaTate Brian Lawrence May 5, 2014 1 Introduction Let F q be a finite field with q = p a elements, p prime. Given any simple Abelian variety A over F q, we have seen that the characteristic
More informationMiniCourse on Moduli Spaces
MiniCourse on Moduli Spaces Emily Clader June 2011 1 What is a Moduli Space? 1.1 What should a moduli space do? Suppose that we want to classify some kind of object, for example: Curves of genus g, Onedimensional
More informationwhere Σ is a finite discrete Gal(K sep /K)set unramified along U and F s is a finite Gal(k(s) sep /k(s))subset
Classification of quasifinite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasifinite étale separated schemes X over a henselian local ring
More informationPROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013
PROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013 1. Problems on moduli spaces The main text for this material is Harris & Morrison Moduli of curves. (There are djvu files
More informationConstruction of M B, M Dol, M DR
Construction of M B, M Dol, M DR Hendrik Orem Talbot Workshop, Spring 2011 Contents 1 Some Moduli Space Theory 1 1.1 Moduli of Sheaves: Semistability and Boundedness.............. 1 1.2 Geometric Invariant
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 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.
padic 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 informationSEMINAR NOTES: QUANTIZATION OF HITCHIN S INTEGRABLE SYSTEM AND HECKE EIGENSHEAVES (SEPT. 8, 2009)
SEMINAR NOTES: QUANTIZATION OF HITCHIN S INTEGRABLE SYSTEM AND HECKE EIGENSHEAVES (SEPT. 8, 2009) DENNIS GAITSGORY 1. Hecke eigensheaves The general topic of this seminar can be broadly defined as Geometric
More informationRealizing Families of Landweber Exact Theories
Realizing Families of Landweber Exact Theories Paul Goerss Department of Mathematics Northwestern University Summary The purpose of this talk is to give a precise statement of 1 The HopkinsMiller Theorem
More informationAPPENDIX 3: AN OVERVIEW OF CHOW GROUPS
APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss
More informationResolving singularities of varieties and families
Resolving singularities of varieties and families Dan Abramovich Brown University Joint work with Michael Temkin and Jaros law W lodarczyk July 2018 Abramovich Resolving singularities of varieties and
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 informationWhat is the Langlands program all about?
What is the Langlands program all about? Laurent Lafforgue November 13, 2013 Hua LooKeng Distinguished Lecture Academy of Mathematics and Systems Science, Chinese Academy of Sciences This talk is mainly
More informationALGEBRAIC KTHEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0.
ALGEBRAIC KTHEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0. ANDREW SALCH During the last lecture, we found that it is natural (even just for doing undergraduatelevel complex analysis!)
More informationCHARACTER SHEAVES ON UNIPOTENT GROUPS IN CHARACTERISTIC p > 0. Mitya Boyarchenko Vladimir Drinfeld. University of Chicago
CHARACTER SHEAVES ON UNIPOTENT GROUPS IN CHARACTERISTIC p > 0 Mitya Boyarchenko Vladimir Drinfeld University of Chicago Some historical comments A geometric approach to representation theory for unipotent
More informationDieudonné Modules and pdivisible Groups
Dieudonné Modules and pdivisible Groups Brian Lawrence September 26, 2014 The notion of ladic Tate modules, for primes l away from the characteristic of the ground field, is incredibly useful. The analogous
More informationGeometric motivic integration
Université Lille 1 Modnet Workshop 2008 Introduction Motivation: padic integration Kontsevich invented motivic integration to strengthen the following result by Batyrev. Theorem (Batyrev) If two complex
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 informationCoherent sheaves on elliptic curves.
Coherent sheaves on elliptic curves. Aleksei Pakharev April 5, 2017 Abstract We describe the abelian category of coherent sheaves on an elliptic curve, and construct an action of a central extension of
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24 RAVI VAKIL CONTENTS 1. Vector bundles and locally free sheaves 1 2. Toward quasicoherent sheaves: the distinguished affine base 5 Quasicoherent and coherent sheaves
More informationSystems of linear equations. We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K,
Systems of linear equations We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K, f 11 t 1 +... + f 1n t n = 0, f 21 t 1 +... + f 2n t n = 0,.
More informationPARABOLIC SHEAVES ON LOGARITHMIC SCHEMES
PARABOLIC SHEAVES ON LOGARITHMIC SCHEMES Angelo Vistoli Scuola Normale Superiore Bordeaux, June 23, 2010 Joint work with Niels Borne Université de Lille 1 Let X be an algebraic variety over C, x 0 X. What
More informationThe Affine Grassmannian
1 The Affine Grassmannian Chris Elliott March 7, 2013 1 Introduction The affine Grassmannian is an important object that comes up when one studies moduli spaces of the form Bun G (X), where X is an algebraic
More information1 Moduli spaces of polarized Hodge structures.
1 Moduli spaces of polarized Hodge structures. First of all, we briefly summarize the classical theory of the moduli spaces of polarized Hodge structures. 1.1 The moduli space M h = Γ\D h. Let n be an
More informationMATH 233B, FLATNESS AND SMOOTHNESS.
MATH 233B, FLATNESS AND SMOOTHNESS. The discussion of smooth morphisms is one place were Hartshorne doesn t do a very good job. Here s a summary of this week s material. I ll also insert some (optional)
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43 RAVI VAKIL CONTENTS 1. Facts we ll soon know about curves 1 1. FACTS WE LL SOON KNOW ABOUT CURVES We almost know enough to say a lot of interesting things about
More informationLogarithmic geometry and moduli
Logarithmic geometry and moduli Lectures at the Sophus Lie Center Dan Abramovich Brown University June 1617, 2014 Abramovich (Brown) Logarithmic geometry and moduli June 1617, 2014 1 / 1 Heros: Olsson
More informationMathematical Research Letters 2, (1995) BSTRUCTURES ON GBUNDLES AND LOCAL TRIVIALITY. V. G. Drinfeld and Carlos Simpson
Mathematical Research Letters 2, 823 829 (1995) BSTRUCTURES ON GBUNDLES AND LOCAL TRIVIALITY V. G. Drinfeld and Carlos Simpson 1. Let G be a split reductive group scheme over Z (recall that for any algebraically
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 nontrivial integral solution to the Diophantine
More informationPoint counting and real multiplication on K3 surfaces
Point counting and real multiplication on K3 surfaces AndreasStephan Elsenhans Universität Paderborn September 2016 Joint work with J. Jahnel. A.S. Elsenhans (Universität Paderborn) K3 surfaces September
More informationLevel Structures of Drinfeld Modules Closing a Small Gap
Level Structures of Drinfeld Modules Closing a Small Gap Stefan Wiedmann Göttingen 2009 Contents 1 Drinfeld Modules 2 1.1 Basic Definitions............................ 2 1.2 Division Points and Level Structures................
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 informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #7 09/26/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #7 09/26/2013 In Lecture 6 we proved (most of) Ostrowski s theorem for number fields, and we saw the product formula for absolute values on
More informationThe tangent space to an enumerative problem
The tangent space to an enumerative problem Prakash Belkale Department of Mathematics University of North Carolina at Chapel Hill North Carolina, USA belkale@email.unc.edu ICM, Hyderabad 2010. Enumerative
More informationOn the Virtual Fundamental Class
On the Virtual Fundamental Class Kai Behrend The University of British Columbia Seoul, August 14, 2014 http://www.math.ubc.ca/~behrend/talks/seoul14.pdf Overview DonaldsonThomas theory: counting invariants
More informationKleine AG: Travaux de Shimura
Kleine AG: Travaux de Shimura Sommer 2018 Programmvorschlag: Felix Gora, Andreas Mihatsch Synopsis This Kleine AG grew from the wish to understand some aspects of Deligne s axiomatic definition of Shimura
More informationMath 711: Lecture of September 7, Symbolic powers
Math 711: Lecture of September 7, 2007 Symbolic powers We want to make a number of comments about the behavior of symbolic powers of prime ideals in Noetherian rings, and to give at least one example of
More informationTwo constructions of the moduli space of vector bundles on an algebraic curve
Two constructions of the moduli space of vector bundles on an algebraic curve Georg Hein November 17, 2003 Abstract We present two constructions to obtain the coarse moduli space of semistable vector bundles
More informationLecture 8: The Field B dr
Lecture 8: The Field B dr October 29, 2018 Throughout this lecture, we fix a perfectoid field C of characteristic p, with valuation ring O C. Fix an element π C with 0 < π C < 1, and let B denote the completion
More informationLECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL
LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for nonstablerationality based on the decomposition of the diagonal in the Chow group. This criterion
More informationCOMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY
COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski
More informationTAG Lectures 9 and 10: pdivisible groups and Lurie s realization result
TAG Lectures 9 and 10: and Lurie s realization result Paul Goerss 20 June 2008 Pick a prime p and work over Spf(Z p ); that is, p is implicitly nilpotent in all rings. This has the implication that we
More informationVARIETIES WITHOUT EXTRA AUTOMORPHISMS I: CURVES BJORN POONEN
VARIETIES WITHOUT EXTRA AUTOMORPHISMS I: CURVES BJORN POONEN Abstract. For any field k and integer g 3, we exhibit a curve X over k of genus g such that X has no nontrivial automorphisms over k. 1. Statement
More informationComplex Algebraic Geometry: Smooth Curves Aaron Bertram, First Steps Towards Classifying Curves. The RiemannRoch Theorem is a powerful tool
Complex Algebraic Geometry: Smooth Curves Aaron Bertram, 2010 12. First Steps Towards Classifying Curves. The RiemannRoch Theorem is a powerful tool for classifying smooth projective curves, i.e. giving
More information10 ladic representations
0 ladic representations We fix a prime l. Artin representations are not enough; ladic representations with infinite images naturally appear in geometry. Definition 0.. Let K be any field. An ladic Galois
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 ChernWeil approach to characteristic classes on manifolds, and in particular, the Chern classes.
More informationLemma 1.3. The element [X, X] is nonzero.
Math 210C. The remarkable SU(2) Let G be a noncommutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group
More informationMotivic integration on Artin nstacks
Motivic integration on Artin nstacks Chetan Balwe Nov 13,2009 1 / 48 Prestacks (This treatment of stacks is due to B. Toën and G. Vezzosi.) Let S be a fixed base scheme. Let (Aff /S) be the category of
More information6 Lecture 6: More constructions with Huber rings
6 Lecture 6: More constructions with Huber rings 6.1 Introduction Recall from Definition 5.2.4 that a Huber ring is a commutative topological ring A equipped with an open subring A 0, such that the subspace
More informationThe derived category of a GIT quotient
September 28, 2012 Table of contents 1 Geometric invariant theory 2 3 What is geometric invariant theory (GIT)? Let a reductive group G act on a smooth quasiprojective (preferably projectiveoveraffine)
More informationMath 248B. Isogenies and level structures In this handout, we discussion the notions of isogeny and level structure for elliptic curves over schemes.
Math 248B. Isogenies and level structures In this handout, we discussion the notions of isogeny and level structure for elliptic curves over schemes. 1. Isogenies In the analytic theory, we used the local
More information14 Lecture 14: Basic generallities on adic spaces
14 Lecture 14: Basic generallities on adic spaces 14.1 Introduction The aim of this lecture and the next two is to address general adic spaces and their connection to rigid geometry. 14.2 Two open questions
More informationLogarithmic geometry and rational curves
Logarithmic geometry and rational curves Summer School 2015 of the IRTG Moduli and Automorphic Forms Siena, Italy Dan Abramovich Brown University August 2428, 2015 Abramovich (Brown) Logarithmic geometry
More informationCHARACTER SHEAVES ON UNIPOTENT GROUPS IN CHARACTERISTIC p > 0. Mitya Boyarchenko Vladimir Drinfeld. University of Chicago
arxiv:1301.0025v1 [math.rt] 31 Dec 2012 CHARACTER SHEAVES ON UNIPOTENT GROUPS IN CHARACTERISTIC p > 0 Mitya Boyarchenko Vladimir Drinfeld University of Chicago Overview These are slides for a talk given
More informationDarboux theorems for shifted symplectic derived schemes and stacks
Darboux theorems for shifted symplectic derived schemes and stacks Lecture 1 of 3 Dominic Joyce, Oxford University January 2014 Based on: arxiv:1305.6302 and arxiv:1312.0090. Joint work with Oren BenBassat,
More informationTHE HITCHIN FIBRATION
THE HITCHIN FIBRATION Seminar talk based on part of Ngô Bao Châu s preprint: Le lemme fondamental pour les algèbres de Lie [2]. Here X is a smooth connected projective curve over a field k whose genus
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 informationAFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES
AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES YEHAO ZHOU Conventions In this lecture note, a variety means a separated algebraic variety over complex numbers, and sheaves are Clinear. 1.
More informationWeil Conjectures (Deligne s Purity Theorem)
Weil Conjectures (Deligne s Purity Theorem) David Sherman, Ka Yu Tam June 7, 2017 Let κ = F q be a finite field of characteristic p > 0, and k be a fixed algebraic closure of κ. We fix a prime l p, and
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 informationBjorn Poonen. MSRI Introductory Workshop on Rational and Integral Points on Higherdimensional Varieties. January 17, 2006
University of California at Berkeley MSRI Introductory Workshop on Rational and Integral Points on Higherdimensional (organized by JeanLouis ColliotThélène, Roger HeathBrown, János Kollár,, Alice Silverberg,
More informationWe can choose generators of this kalgebra: s i H 0 (X, L r i. H 0 (X, L mr )
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 43 5.3. Linearisations. An abstract projective scheme X does not come with a prespecified embedding in a projective space. However, an ample line bundle
More informationJournal of the American Mathematical Society, Vol. 2, No. 2. (Apr., 1989), pp
An Estimate for Character Sums Nicholas M. Katz Journal of the American Mathematical Society, Vol. 2, No. 2. (Apr., 1989), pp. 197200. Stable URL: http://links.jstor.org/sici?sici=08940347%28198904%292%3a2%3c197%3aaefcs%3e2.0.co%3b2l
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 informationThe Néron Ogg Shafarevich criterion Erik Visse
The Néron Ogg Shafarevich criterion Erik Visse February 17, 2017 These are notes from the seminar on abelian varieties and good reductions held in Amsterdam late 2016 and early 2017. The website for the
More information