Homogeneous p-adic vector bundles on abelian varieties that are analytic tori
|
|
- Dorothy Rogers
- 5 years ago
- Views:
Transcription
1 Homogeneous p-adic vector bundles on abelian varieties that are analytic tori Thomas Ludsteck June, 2008 Abstract We investigate homogeneous p-adic vector bundles on abelian varieties that are analytic tori. We show that for each homogeneous vector bundle on such a variety there exists an integer N > 0 such that the pullback of this vector bundle via the N-multiplication is attached to an integral representation of the topological fundamental group. 1 Introduction Denote by C p := Q p the completion of an algebraic closure of Q p, denote its ring of integers by o and let v be the p-adic valuation on C p normalized by v(p) = 1. Denote by the Berkovich analytification of an abelian variety that is defined over C p. Assume that is an analytic torus, i.e. is isomorphic to the quotient T/Λ of T := (G g m) an by a p-adic lattice Λ. On such a torus one can define an analogue of the classical Riemann-Hilbert correspondence (see e.g. Y. André [And03] III). In this correspondence a discrete representation ρ : π top 1 (, 1) GL r (C p ) gives rise to a vector bundle with connection M ρ on and vice versa. It was shown by G. Faltings [Fal83] and M. van der Put - M. Reversat [PuRe88], that there is an bijective correspondence between homogeneous vector bundles on and so-called Φ-bounded representation of π top 1 (, 1) if one omits connections. A vector bundle M on is said to be homogeneous or translation invariant if it satisfies t sm M for the translation by s map t s and all s. Besides this topological Riemann-Hilbert correspondence on analytic spaces, there is also a theory of étale parallel transport on algebraic curves and abelian varieties due to C. Deninger - A. Werner [DeWe05b], [DeWe05a] and the p-adic impson correspondence [Fal05] of G. Faltings. It was shown by G. Herz [Her07] and the author [Lud08] that the topological and the algebraic parallel transport are compatible. This comparison has been worked out only for algebraic curves, and we assume that the higher dimensional case (e.g. abelian varieties) should be analogous. But this is not the aim of our paper. An important characteristic of this comparison is that it works only for vector bundles M ρ that are attached to an integral representation, i.e. ρ maps into GL r (o). The aim of this paper is to show the following theorem: Theorem 1.1. Let M ρ be a homogeneous vector bundle on, attached to a representation ρ : π top 1 (, 1) GL r(c p ). Then there exists an integer N > 0 such that N M ρ, the pullback of M ρ via the N-multiplication on, is isomorphic to 1
2 a vector bundle attached to an integral representation ρ : π top 1 (, 1) GL r (o). The representation ρ can be computed explicitly from the representation ρ. As an application one could compare the topological and the algebraic parallel transport for the vector bundle N M ρ. It is known that there are many homogeneous vector bundles on that are not attached to integral representations ([Fal83],[PuRe88]). For the proof of Theorem 1.1 we will use the temperate fundamental group of. The topological fundamental group is not sufficient, because the N- multiplication on is not a topological cover of unless N = 1. We can restrict us to indecomposable representations, and those can be written as a tensor product of a one-dimensional representation and an unipotent representation. We will then show that the p n -th power of an unipotent matrix will have integer coefficients for n big enough, what takes care of the unipotent representations. Using an explicit criterion to decide if two vector bundles attached to two different representations are isomorphic solves the one-dimensional case. 2 Homogeneous p-adic vector bundles on abelian varieties 2.1 Fundamental groups of analytic tori An analytic torus (see e.g. [Ber90] ection 6.3 or [PuRe88]) is the quotient = T/Λ of the g-th power of the multiplicative group T := (G g m) an by a lattice Λ T (C p ) = (C p) g. A subgroup Λ T (C p ) is called a lattice if the map l : T (C p ) Q g ; (z 1,..., z g ) (v(z 1 ),..., v(z zg )) (1) sending coordinates to its p-adic valuations identifies Λ with a lattice in Q g. We will further assume that is the analytification of an abelian variety defined over C p. These tori are C p -manifolds in the sense of Y. André ([And03] III ection and Remark e)). For these C p -manifolds Y. André defined several fundamental groups. We recall briefly the definition of these groups, and refer to [And03] III ection 1,2 for details. For a torus denote by Cov et, Covtemp and Cov top the categories of étale, temperate and topological coverings ([And03] III Definition and Definition 2.1.1). Using Grothendieck s theory of the fundamental group one can define fundamental groups π 1(, 1) corresponding to the categories Cov, where = et, temp or top and 1 is the neutral element. There are canonical maps π et 1 (, 1) π temp 1 (, 1), π et 1 (, 1) π top 1 (, 1) and πtemp 1 (, 1) π top 1 (, 1) between these fundamental groups corresponding to the fully faithful embeddings Cov top Cov et, Cov temp Cov et and Cov top Cov temp. We will now discuss some properties of these fundamental groups for analytic tori. 2
3 Lemma 2.1. The canonical morphism is injective. π temp 1 (, 1) π alg 1 (, 1) Proof. This is known in the one-dimensional case ([And03] III Proposition 2.1.6). As in the proof of this proposition it suffices to show that the topological fundamental group of a finite étale Galois covering of is free and finitely generated. By Riemann s existence theorem [Lüt93] is also the analytification of an abelian variety. The topological fundamental group of is a free abelian group of finite rank [Ber90] Corollary Proposition 2.2. There exists a canonical exact sequence 1 π temp 1 (T, 1) π temp 1 (, 1) π top 1 (, 1) 1. There are non-canonical isomorphisms and π top 1 (, 1) Λ Z g, (2) π temp 1 (T, 1) π alg 1 (T, 1) Ẑg (3) π temp 1 (, 1) Ẑg Z g (4) Proof. In the case that dim = 1 this was shown in [And03] III ection 2.3. The sequence is exact because of [And03] III Corollary The isomorphism 2 follows from the definition of. If G g m denotes the algebraic torus of dimension g defined over C p, then there is an isomorphism π alg 1 (Gg m, 1) = π alg 1 (G m, 1)... π alg 1 (G m, 1) ([Gro67] X Corollaire 1.7). From this we can deduce that the finite étale covers of G g m are induced from endomorphisms (z 1,..., z g ) (z n1 1,..., zng g ). By Riemann s existence theorem [Lüt93] we know that finite étale covers of T = (G g m) an are induced from algebraic covers of (G g m), hence the underlying space of a finite étale cover of T is isomorphic to T. Because T has trivial topological fundamental group we conclude that all temperate coverings of T are algebraic. This implies the isomorphism 3. To show the isomorphism 4 it suffices to show that the exact sequence splits. By Lemma 2.1 the group π temp 1 (, 1) can be injected into the abelian group π alg 1 (, 1), so it is also abelian and a Z-module. The group π top 1 (, 1) is a free Z-module and so the sequence splits by the universal property of projective modules Lemma 2.3. Let N > 0 be an integer. The N-multiplication on induces an endomorphism N of π temp 1 (, 1) that is given by the N-multiplication on π temp 1 (, 1). Proof. This is known for the algebraic fundamental group π alg 1 (, 1) or for finite étale Galois-covers of. But finite temperate covers are finite étale. o for all subgroups H π temp 1 (, 1) of finite index the N multiplication on induces the N multiplication on the finite group π temp 1 (, 1)/H. The lemma follows now from the explicit description π temp 1 (, 1) Ẑg Z g of Proposition 2.2 3
4 2.2 A p-adic Riemann Hilbert correspondence on analytic tori In analogy to the complex Riemann-Hilbert correspondence Y. André defined in [And03] III ection 3.4 a p-adic Riemann-Hilbert correspondence. This correspondence is defined on C p -manifolds, but we will need it only for tori. For = et, temp or top let ρ : π 1(, 1) GL r (C p ) denote a representation that is continuous with respect to the discrete topology of GL r (C p ). The kernel H π 1(, 1) of the representation ρ corresponds to a -Galois covering u : with group G = π 1 (, 1)/H. The vector bundle attached to ρ is defined by (O Cp C r p) G, where ρ acts via the diagonal action. The vector bundle attached to ρ will be denoted by M ρ. We will need a criterion to decide if two vector bundles attached to two different representations are isomorphic: Lemma 2.4. Let / be an (Berkovich-) étale Galois covering with group G (e.g temperate or topological) and let ρ 1, ρ 2 : G GL r (C p ) be two continuous (discrete topology) representations. Then the following two conditions are equivalent: a) M ρ1 = Mρ2 ; b) There is an (Berkovich-) analytic function f : GL r (C p ) such that f(γz) = ρ 2 (γ)f(z)ρ 1 (γ) 1 γ G, z. Proof. We adapt a proof from the complex situation ([Flo01] Lemma 2) for our purposes: An isomorphism between M ρ1 and M ρ2 is an analytic global section of Mρ 1 M ρ2 = M t ρ 1 1 ρ2, consisting of invertible matrices. o it corresponds to an analytic f : GLn (C p ) such that f(γ z) = ( t ρ 1 1 ρ 2 )(γ)f(z) = ρ 2 (γ)f(z)ρ 1 (γ) 1 This lemma has the following application for line bundles. Proposition 2.5. Let ρ : Λ C p be an one-dimensional representation. Let M ρ be the line bundle on attached to ρ. Then there exists an integer N > 0, such that N M ρ is isomorphic to a line bundle attached to an integral representation ρ : Λ o. Proof. Choose some generators λ 1,..., λ g of Λ and denote their images (via the map l of 1) in Q g by λ 1,..., λ g. These elements generate a lattice in Q g, hence the linear system of equations 0. 0 = v(ρ(λ 1 )) λ 11 λ1g. +.. v(ρ(λ g )) λ g1 λgg r 1. r g (5) 4
5 has an unique solution (r 1,..., r g ) Q g. Choose an integer N > 0 such that the numbers n 1 := N r 1,..., n g := N r g are elements of Z. We want to make use of Lemma 2.4 so let us define an analytic function f : (C p) g C p by setting z = (z 1,..., z g ) z n z ng g. Define a representation ρ : Λ C p by the rule ρ (λ) := f(λz) f(z) ρn (λ). Because of this relation and Lemma 2.4 we see that the line bundle N M ρ is isomorphic to the line bundle attached to the representation ρ. To prove the proposition it suffices to show that the representation ρ is integral, i.e. v(ρ (λ)) = 0 for all λ Λ. It suffices to show this for the generators λ 1,..., λ g. We fix an i and calculate the valuation of ρ (λ i ) v(ρ (λ i )) = v( f(λ iz) f(z) ρ N (λ i )) = v( λn1 i1... λng ig f(z) f(z) = n 1 v(λ i1 ) n g v(λ ig ) + N v(ρ(λ i )) = n 1 λ i n g λ ig + N v(ρ(λ i )) = 0. ) + v(ρ N (λ i )) The last equation holds true because we have chosen the function f according to the solution vector (r 1,..., r g ) of equation ome representation theory We will show that indecomposable representations of the lattice Λ are the tensor product of a character and an unipotent representation. We will further show that unipotent representations of Λ will become integral after pullback by some integer N > 0. Lemma 2.6. Let ρ : Λ GL r (C p ) be an indecomposable representation, i.e. every direct decomposition of ρ is trivial. Then for every λ Λ the matrix ρ(λ) has exactly one eigenvalue. Proof. Fix a λ Λ. The matrix B := ρ(λ) defines an endomorphism of the representation ρ, i.e. B ρ(λ ) v = ρ(λ ) B v for all λ Λ and all v C r p. If B had two distinct eigenvalues µ τ, then the endomorphism B µe r End(ρ) would be neither an automorphism nor nilpotent. But this is not possible because ρ is indecomposable and this would contradict [Ati56] Lemma 6 Corollary 2.7. The representation ρ : Λ GL r (C p ) can be written as ρ = δ β for a one-dimensional representation δ and an unipotent representation β. Proof. Let λ 1,..., λ g be generators of Λ. For a fixed i the matrix ρ(λ i ) has Jordan normal form µ i U i for the unique eigenvalue µ i of ρ(λ i ) (Lemma 2.6) and an upper triangle matrix U i with ones on the diagonal. This matrix U i is then clearly unipotent. We can then define δ by setting δ(λ i ) := µ i and β by setting β(λ i ) := 1 µ i ρ(λ i ). The matrix 1 µ i ρ(λ i ) is conjugated to the matrix U i and so it is unipotent. This shows the lemma 5
6 Lemma 2.8. Let U GL r (C p ) be an unipotent matrix. Then there exists an integer K > 0 such that for all n K the p n -th power of U and its inverse have integer coefficients i.e. U pn, (U pn ) 1 GL r (o). Proof. Let H > 0 be an integer satisfying P H = 0 for the nilpotent matrix P = U E r. For some integer n 1 satisfying p n > H we can take the p n -th power of U and obtain H ( ) p n U pn = (P + E r ) pn = E r + P k. (6) k k=1 }{{} T U,n := If v denotes the standard p-adic valuation as in the introduction and if 1 k H < p n then we have the following estimate: ( p n v( )) = v( (pn 1)!p n k (p n k)!k! ) v(pn ) v(k!) n v(h!). As n becomes big the term T U,n from equation (6) becomes small in the p-adic norm. We can choose an integer K > 0 such that for all n K we can write T U,n = p ( 1 p T U,n) and the term 1 p T U,n has integer coefficients. This implies immediately that the matrix U pn has integer coefficients, i.e. U pn GL r (o). Its inverse (U pn ) 1 has also integer coefficients, because one can apply the geometric series that converges for arguments divisible by p Corollary 2.9. Let ρ : Λ GL r (C p ) be an unipotent representation. Then there exists an integer N > 0 such that the representation Λ N Λ ρ GL r (C p ) is integral, i.e. it maps into GL r (o). Proof. If Λ Z then we can choose an integer N = p n > 0 as in Lemma 2.8 for a generator of Λ and the corollary follows. In the general case we choose integers N 1,..., N g for generators of Λ. Then N := N 1... N g will do the job 3 Proof of the main theorem and final remarks We have now all ingredients to prove Theorem 1.1. Proof. We can restrict us to indecomposable vector bundles and representations. o we assume that M ρ and ρ are indecomposable. The representation ρ can be written as ρ = δ β for an one dimensional representation δ and an unipotent representation β (Corollary 2.7). The Riemann-Hilbert correspondence between representation and vector bundles is compatible with pullbacks and tensor products. The vector bundle M ρ can be thus written as M ρ M δ β M δ M β. If the assertion holds for the line bundle M δ with integer N δ and for M β with integer N β, then the assertion holds for M δ M β with integer N ρ := N δ N β, because pullbacks of integral representation remain integral. We can restrict us to the special representations δ and β. The one-dimensional case δ was treated in Proposition 2.5. The unipotent case β follows from Corollary 2.9. The representation ρ can be computed explicitly from ρ because all calculation involved were explicit. 6
7 Remark a) If dim = 1, then is a Tate curve, and we can apply the comparison theorem of G. Herz [Her07] and T. Ludsteck [Lud08]. If M ρ is a vector bundle attached to the representation ρ then the DeWe-representation attached to N M ρ is the pro-finite completion of the integral representation ρ. b) An interesting question one might ask is wether an analogue of Theorem 1.1 holds for Mumford curves. A Mumford curve X is a smooth projective algebraic curve, such that its analytification X an admits a p-adic uniformization (see e.g. [Ber90] Theorem 4.4.1). If M denotes a semistable algebraic vector bundle of degree 0 on X does there exist a finite étale covering π : Y an X an such that the pullback of its analytification π (M ) an is attached to an integral representation of the topological fundamental group of Y an? A positive answer would answer a question of G. Faltings [Fal05], C. Deninger and A. Werner [DeWe05b]. To be more precise, can the algebraic vector bundle M be trivialized modulo p after a finite étale cover of X? We refer the reader to the introduction of [DeWe05b] for a more detailed discussion of this question. Acknowledgement I would like to thank my supervisor Annette Werner for introducing me to this topic and her advice and encouragement. I want to thank G. Herz and C. Florentino for useful discussions on vector bundles. This paper is part of the authors Ph.D.-thesis, that was funded and supported by Universität tuttgart. Contact Thomas Ludsteck Universität tuttgart IAZ Pfaffenwaldring tuttgart Germany Firstname.Lastname@googl .com (replace by real name) References [And03] Y. André, Period mappings and differential equations. From C to C p, Tôhoku-Hokkaidô lectures in arithmetic Geometry (2003), 246 p. [Ati56] M. Atiyah, On the Krull-chmidt theorem with application to sheaves, Bulletin de la.m.f. 84 (1956), [Ber90] V. Berkovich, pectral theory and analytic geometry over non- Archimedean fields, Mathematical urveys and Monographs 33, A.M.., [DeWe05a] C. Deninger, A. Werner, Line bundles and p-adic characters, G. van der Geer, B. Moonen, R. choof (Eds.), Number Fields and Function Fields Two parallel Worlds, Birkhäuser, Basel (2005). [DeWe05b] C. Deninger, A. Werner, Vector bundles on p-adic curves and parallel transport, Ann. cient. Éc. Norm. up., 4e série, 38 (2005),
8 [Fal83] G. Faltings, emi-stable vector bundles on Mumford curves, Invent. math. 74 (1983), [Fal05] G. Faltings, A p-adic impson correspondence, Advances in Mathematics 198 (2005), [Flo01] C. Florentino, chottky uniformization and vector bundles over Riemann surfaces, Manuscripta Math. 105 no.1 (2001), [Gro67] A. Grothendieck, Revetements étales et groupe fondamental (GA 1). Lecture Notes in Math. 224, pringer [Her07] H. Herz, Representations and Vector Bundles on Mumford Curves, Abhandlungen Math. em. Universität Hamburg 77 (2007) [Lud08] T. Ludsteck, p-adic vector bundles on curves and abelian varieties and representations of the fundamental group, Dissertation Universität tuttgart, (2008). [Lüt93] W. Lütkebohmert, Riemann s existence problem for a p-adic field, Invent. Math. 111 (1993), [PuRe86] M. van der Put, M. Reversat, Fibres vectoriels semi-stables sur un courbe de Mumford, Math. Ann. 273 (1986) [PuRe88] M. van der Put, M. Reversat, Fibres vectoriels homogenes sur les varietes abeliennes qui sont des tores analytiques (rigides), Manuscripta Math. 60 (1988),
The 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 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 informationTheta divisors and the Frobenius morphism
Theta divisors and the Frobenius morphism David A. Madore Abstract We introduce theta divisors for vector bundles and relate them to the ordinariness of curves in characteristic p > 0. We prove, following
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 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 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 informationLifting Galois Representations, and a Conjecture of Fontaine and Mazur
Documenta Math. 419 Lifting Galois Representations, and a Conjecture of Fontaine and Mazur Rutger Noot 1 Received: May 11, 2001 Revised: November 16, 2001 Communicated by Don Blasius Abstract. Mumford
More informationSurjectivity in Honda-Tate
Surjectivity in Honda-Tate 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 informationFiniteness of the Moderate Rational Points of Once-punctured Elliptic Curves. Yuichiro Hoshi
Hokkaido Mathematical Journal ol. 45 (2016) p. 271 291 Finiteness of the Moderate Rational Points of Once-punctured Elliptic Curves uichiro Hoshi (Received February 28, 2014; Revised June 12, 2014) Abstract.
More informationDemushkin s Theorem in Codimension One
Universität Konstanz Demushkin s Theorem in Codimension One Florian Berchtold Jürgen Hausen Konstanzer Schriften in Mathematik und Informatik Nr. 176, Juni 22 ISSN 143 3558 c Fachbereich Mathematik und
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 informationh M (T ). The natural isomorphism η : M h M determines an element U = η 1
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 7 2.3. Fine moduli spaces. The ideal situation is when there is a scheme that represents our given moduli functor. Definition 2.15. Let M : Sch Set be a moduli
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 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 informationA Version of the Grothendieck Conjecture for p-adic Local Fields
A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture
More informationCharacteristic classes in the Chow ring
arxiv:alg-geom/9412008v1 10 Dec 1994 Characteristic classes in the Chow ring Dan Edidin and William Graham Department of Mathematics University of Chicago Chicago IL 60637 Let G be a reductive algebraic
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 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 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 informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationWe can choose generators of this k-algebra: 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 pre-specified embedding in a projective space. However, an ample line bundle
More information18.727, Topics in Algebraic Geometry (rigid analytic geometry) Kiran S. Kedlaya, fall 2004 Kiehl s finiteness theorems
18.727, Topics in Algebraic Geometry (rigid analytic geometry) Kiran S. Kedlaya, fall 2004 Kiehl s finiteness theorems References: [FvdP, Chapter 4]. Again, Kiehl s original papers (in German) are: Der
More informationA Criterion for Flatness of Sections of Adjoint Bundle of a Holomorphic Principal Bundle over a Riemann Surface
Documenta Math. 111 A Criterion for Flatness of Sections of Adjoint Bundle of a Holomorphic Principal Bundle over a Riemann Surface Indranil Biswas Received: August 8, 2013 Communicated by Edward Frenkel
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 quasi-projective varieties over a field k Affine Varieties 1.
More informationSmooth morphisms. Peter Bruin 21 February 2007
Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,
More informationChern numbers and Hilbert Modular Varieties
Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point
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 so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).
More informationOn the modular curve X 0 (23)
On the modular curve X 0 (23) René Schoof Abstract. The Jacobian J 0(23) of the modular curve X 0(23) is a semi-stable abelian variety over Q with good reduction outside 23. It is simple. We prove that
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 informationON THE MODIFIED MOD p LOCAL LANGLANDS CORRESPONDENCE FOR GL 2 (Q l )
ON THE MODIFIED MOD p LOCAL LANGLANDS CORRESPONDENCE FOR GL 2 (Q l ) DAVID HELM We give an explicit description of the modified mod p local Langlands correspondence for GL 2 (Q l ) of [EH], Theorem 5.1.5,
More informationWhat is the Langlands program all about?
What is the Langlands program all about? Laurent Lafforgue November 13, 2013 Hua Loo-Keng Distinguished Lecture Academy of Mathematics and Systems Science, Chinese Academy of Sciences This talk is mainly
More information12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold.
12. Projective modules The blanket assumptions about the base ring k, the k-algebra A, and A-modules enumerated at the start of 11 continue to hold. 12.1. Indecomposability of M and the localness of End
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 informationA short proof of Klyachko s theorem about rational algebraic tori
A short proof of Klyachko s theorem about rational algebraic tori Mathieu Florence Abstract In this paper, we give another proof of a theorem by Klyachko ([?]), which asserts that Zariski s conjecture
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 informationMathematical Research Letters 2, (1995) B-STRUCTURES ON G-BUNDLES AND LOCAL TRIVIALITY. V. G. Drinfeld and Carlos Simpson
Mathematical Research Letters 2, 823 829 (1995) B-STRUCTURES ON G-BUNDLES 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 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 informationINTEGRATION OF ONE-FORMS ON p-adic ANALYTIC SPACES
INTEGRATION OF ONE-FORMS ON p-adic ANALYTIC SPACES VLADIMIR G. BERKOVICH Recall that there is a unique way to define for every comple manifold, every closed analytic one-form ω, and every continuous path
More information1 Hermitian symmetric spaces: examples and basic properties
Contents 1 Hermitian symmetric spaces: examples and basic properties 1 1.1 Almost complex manifolds............................................ 1 1.2 Hermitian manifolds................................................
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 informationalgebraic groups. 1 See [1, 4.2] for the definition and properties of the invariant differential forms and the modulus character for
LECTURE 2: COMPACTNESS AND VOLUME FOR ADELIC COSET SPACES LECTURE BY BRIAN CONRAD STANFORD NUMBER THEORY LEARNING SEMINAR OCTOBER 11, 2017 NOTES BY DAN DORE Let k be a global field with adele ring A, G
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 informationLECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori
LECTURE 25-26: CARTAN S THEOREM OF MAXIMAL TORI 1. Maximal Tori By a torus we mean a compact connected abelian Lie group, so a torus is a Lie group that is isomorphic to T n = R n /Z n. Definition 1.1.
More informationON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS
ON THE CLASSIFICATION OF RANK 1 GROUPS OVER NON ARCHIMEDEAN LOCAL FIELDS LISA CARBONE Abstract. We outline the classification of K rank 1 groups over non archimedean local fields K up to strict isogeny,
More informationON ISOTROPY OF QUADRATIC PAIR
ON ISOTROPY OF QUADRATIC PAIR NIKITA A. KARPENKO Abstract. Let F be an arbitrary field (of arbitrary characteristic). Let A be a central simple F -algebra endowed with a quadratic pair σ (if char F 2 then
More informationCOURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA
COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties
More informationLECTURE 11: SOERGEL BIMODULES
LECTURE 11: SOERGEL BIMODULES IVAN LOSEV Introduction In this lecture we continue to study the category O 0 and explain some ideas towards the proof of the Kazhdan-Lusztig conjecture. We start by introducing
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 informationDiscrete Series Representations of Unipotent p-adic Groups
Journal of Lie Theory Volume 15 (2005) 261 267 c 2005 Heldermann Verlag Discrete Series Representations of Unipotent p-adic Groups Jeffrey D. Adler and Alan Roche Communicated by S. Gindikin Abstract.
More informationCohomological Formulation (Lecture 3)
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.
More informationFourier Mukai transforms II Orlov s criterion
Fourier Mukai transforms II Orlov s criterion Gregor Bruns 07.01.2015 1 Orlov s criterion In this note we re going to rely heavily on the projection formula, discussed earlier in Rostislav s talk) and
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 informationON SOME PARTITIONS OF A FLAG MANIFOLD. G. Lusztig
ON SOME PARTITIONS OF A FLAG MANIFOLD G. Lusztig Introduction Let G be a connected reductive group over an algebraically closed field k of characteristic p 0. Let W be the Weyl group of G. Let W be the
More informationRaising the Levels of Modular Representations Kenneth A. Ribet
1 Raising the Levels of Modular Representations Kenneth A. Ribet 1 Introduction Let l be a prime number, and let F be an algebraic closure of the prime field F l. Suppose that ρ : Gal(Q/Q) GL(2, F) is
More informationRaynaud on F -vector schemes and prolongation
Raynaud on F -vector schemes and prolongation Melanie Matchett Wood November 7, 2010 1 Introduction and Motivation Given a finite, flat commutative group scheme G killed by p over R of mixed characteristic
More informationNotes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers
Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop Eric Sommers 17 July 2009 2 Contents 1 Background 5 1.1 Linear algebra......................................... 5 1.1.1
More informationReal and p-adic Picard-Vessiot fields
Spring Central Sectional Meeting Texas Tech University, Lubbock, Texas Special Session on Differential Algebra and Galois Theory April 11th 2014 Real and p-adic Picard-Vessiot fields Teresa Crespo, Universitat
More information9 Artin representations
9 Artin representations Let K be a global field. We have enough for G ab K. Now we fix a separable closure Ksep and G K := Gal(K sep /K), which can have many nonabelian simple quotients. An Artin representation
More informationALGEBRA EXERCISES, PhD EXAMINATION LEVEL
ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)
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 informationTheta Characteristics Jim Stankewicz
Theta Characteristics Jim Stankewicz 1 Preliminaries Here X will denote a smooth curve of genus g (that is, isomorphic to its own Riemann Surface). Rather than constantly talking about linear equivalence
More informationON TAMELY RAMIFIED IWASAWA MODULES FOR THE CYCLOTOMIC p -EXTENSION OF ABELIAN FIELDS
Itoh, T. Osaka J. Math. 51 (2014), 513 536 ON TAMELY RAMIFIED IWASAWA MODULES FOR THE CYCLOTOMIC p -EXTENSION OF ABELIAN FIELDS TSUYOSHI ITOH (Received May 18, 2012, revised September 19, 2012) Abstract
More informationALGEBRAIC GROUPS J. WARNER
ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic
More informationl-adic ALGEBRAIC MONODROMY GROUPS, COCHARACTERS, AND THE MUMFORD-TATE CONJECTURE
l-adic ALGEBRAIC MONODROMY GROUPS, COCHARACTERS, AND THE MUMFORD-TATE CONJECTURE by Richard Pink Fakultät für Mathematik und Informatik Universität Mannheim D-68131 Mannheim, Germany e-mail: pink@math.uni-mannheim.de
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 informationINDRANIL BISWAS AND GEORG HEIN
GENERALIZATION OF A CRITERION FOR SEMISTABLE VECTOR BUNDLES INDRANIL BISWAS AND GEORG HEIN Abstract. It is known that a vector bundle E on a smooth projective curve Y defined over an algebraically closed
More informationMod p Galois representations of solvable image. Hyunsuk Moon and Yuichiro Taguchi
Mod p Galois representations of solvable image Hyunsuk Moon and Yuichiro Taguchi Abstract. It is proved that, for a number field K and a prime number p, there exist only finitely many isomorphism 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 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 informationMath 250: Higher Algebra Representations of finite groups
Math 250: Higher Algebra Representations of finite groups 1 Basic definitions Representations. A representation of a group G over a field k is a k-vector space V together with an action of G on V by linear
More informationTHE SHIMURA-TANIYAMA FORMULA AND p-divisible GROUPS
THE SHIMURA-TANIYAMA FORMULA AND p-divisible GROUPS DANIEL LITT Let us fix the following notation: 1. Notation and Introduction K is a number field; L is a CM field with totally real subfield L + ; (A,
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 informationThe Hilbert-Mumford Criterion
The Hilbert-Mumford Criterion Klaus Pommerening Johannes-Gutenberg-Universität Mainz, Germany January 1987 Last change: April 4, 2017 The notions of stability and related notions apply for actions of algebraic
More informationCATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)
CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.
More informationHodge Structures. October 8, A few examples of symmetric spaces
Hodge Structures October 8, 2013 1 A few examples of symmetric spaces The upper half-plane H is the quotient of SL 2 (R) by its maximal compact subgroup SO(2). More generally, Siegel upper-half space H
More informationARITHMETIC OF CURVES OVER TWO DIMENSIONAL LOCAL FIELD
1 ARITHMETIC OF CURVES OVER TWO DIMENSIONAL LOCAL FIELD BELGACEM DRAOUIL Abstract. We study the class field theory of curve defined over two dimensional local field. The approch used here is a combination
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 informationTopic Proposal Applying Representation Stability to Arithmetic Statistics
Topic Proposal Applying Representation Stability to Arithmetic Statistics Nir Gadish Discussed with Benson Farb 1 Introduction The classical Grothendieck-Lefschetz fixed point formula relates the number
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 informationThe Galois Representation Attached to a Hilbert Modular Form
The Galois Representation Attached to a Hilbert Modular Form Gabor Wiese Essen, 17 July 2008 Abstract This talk is the last one in the Essen seminar on quaternion algebras. It is based on the paper by
More informationTAG Lectures 9 and 10: p-divisible 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 informationLECTURES ON DEFORMATIONS OF GALOIS REPRESENTATIONS. Mark Kisin
LECTURES ON DEFORMATIONS OF GALOIS REPRESENTATIONS Mark Kisin Lecture 5: Flat deformations (5.1) Flat deformations: Let K/Q p be a finite extension with residue field k. Let W = W (k) and K 0 = FrW. We
More informationStability of the Tangent Bundle of the Wonderful Compactification of an Adjoint Group
Documenta Math. 1465 Stability of the Tangent Bundle of the Wonderful Compactification of an Adjoint Group Indranil Biswas and S. Senthamarai Kannan Received: April 3, 2013 Communicated by Thomas Peternell
More informationSELF-EQUIVALENCES OF THE DERIVED CATEGORY OF BRAUER TREE ALGEBRAS WITH EXCEPTIONAL VERTEX
An. Şt. Univ. Ovidius Constanţa Vol. 9(1), 2001, 139 148 SELF-EQUIVALENCES OF THE DERIVED CATEGORY OF BRAUER TREE ALGEBRAS WITH EXCEPTIONAL VERTEX Alexander Zimmermann Abstract Let k be a field and A be
More information数理解析研究所講究録別冊 = RIMS Kokyuroku Bessa (2011), B25:
Non-existence of certain Galois rep Titletame inertia weight : A resume (Alg Related Topics 2009) Author(s) OZEKI, Yoshiyasu Citation 数理解析研究所講究録別冊 = RIMS Kokyuroku Bessa (2011), B25: 89-92 Issue Date 2011-04
More informationSegre classes of tautological bundles on Hilbert schemes of surfaces
Segre classes of tautological bundles on Hilbert schemes of surfaces Claire Voisin Abstract We first give an alternative proof, based on a simple geometric argument, of a result of Marian, Oprea and Pandharipande
More informationL(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that
ALGEBRAIC GROUPS 61 5. Root systems and semisimple Lie algebras 5.1. Characteristic 0 theory. Assume in this subsection that chark = 0. Let me recall a couple of definitions made earlier: G is called reductive
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 informationANALYTIC RELATIONS ON A DYNAMICAL ORBIT
ANALYTIC RELATIONS ON A DYNAMICAL ORBIT THOMAS SCANLON Abstract. Let (K, ) be a complete discretely valued field and f : B 1 (K, 1) B(K, 1) a nonconstant analytic map from the unit back to itself. We assume
More informationTHE MONODROMY-WEIGHT CONJECTURE
THE MONODROMY-WEIGHT CONJECTURE DONU ARAPURA Deligne [D1] formulated his conjecture in 1970, simultaneously in the l-adic and Hodge theoretic settings. The Hodge theoretic statement, amounted to the existence
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 informationMath 676. A compactness theorem for the idele group. and by the product formula it lies in the kernel (A K )1 of the continuous idelic norm
Math 676. A compactness theorem for the idele group 1. Introduction Let K be a global field, so K is naturally a discrete subgroup of the idele group A K and by the product formula it lies in the kernel
More informationAn Introduction to Rigid Analytic Geometry
An Introduction to Rigid Analytic Geometry Hans Schoutens Ohio State University http://www.math.ohio-state.edu/~schoutens June 2002 Abstract These notes 1 are intended to be a short course in rigid analytic
More informationLECTURES ON SHIMURA CURVES: ARITHMETIC FUCHSIAN GROUPS
LECTURES ON SHIMURA CURVES: ARITHMETIC FUCHSIAN GROUPS PETE L. CLARK 1. What is an arithmetic Fuchsian group? The class of Fuchsian groups that we are (by far) most interested in are the arithmetic groups.
More informationMAKSYM FEDORCHUK. n ) = z1 d 1 zn d 1.
DIRECT SUM DECOMPOSABILITY OF SMOOTH POLYNOMIALS AND FACTORIZATION OF ASSOCIATED FORMS MAKSYM FEDORCHUK Abstract. We prove an if-and-only-if criterion for direct sum decomposability of a smooth homogeneous
More informationA remark on the arithmetic invariant theory of hyperelliptic curves
A remark on the arithmetic invariant theory of hyperelliptic curves Jack A. Thorne October 10, 2014 Abstract Let C be a hyperelliptic curve over a field k of characteristic 0, and let P C(k) be a marked
More informationDecay to zero of matrix coefficients at Adjoint infinity by Scot Adams
Decay to zero of matrix coefficients at Adjoint infinity by Scot Adams I. Introduction The main theorems below are Theorem 9 and Theorem 11. As far as I know, Theorem 9 represents a slight improvement
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 informationD-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 3. Modular arithmetic, quotients, product groups
D-MATH Algebra I HS 2013 Prof. Brent Doran Solution 3 Modular arithmetic, quotients, product groups 1. Show that the functions f = 1/x, g = (x 1)/x generate a group of functions, the law of composition
More informationCHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998
CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic
More information