INTEGRATION OF ONE-FORMS ON p-adic ANALYTIC SPACES
|
|
- Naomi Johns
- 5 years ago
- Views:
Transcription
1 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 : [0, 1], a number ω C, called the integral of ω along, such that the following is true: (a) if ω = df for an analytic function f on, then ω = f((1)) f((0)); (b) ω depends only on the homotopy class of ; (c) given a second path σ : [0, 1] with σ(0) = (1), one has σ ω = ω + σ ω. The definition is based on the facts that each point of has an open neighborhood isomorphic to an open polydisc and each closed form on the latter is eact (Poincaré lemma). Namely, if ([0, 1]) U 1... U n and t 1 = 0 < t 2 <... < t n+1 = 1 are such that each U i is isomorphic to an open polydisc and ([t i, t i+1 ]) U i for all 1 i n, then ω = n i=1 (f i((t i+1 )) f i ((t i ))), where f i is a primitive of ω at U i. (Of course, one checks that the integral depends only on the homotopy class of the path.) Can an integral of a closed one-form along a path be defined for separated smooth analytic spaces over a non-archimedean field k of characteristic zero? That such definition is possible was demonstrated by Robert Coleman for smooth k-analytic curves ([Col], CoSh]) with k a closed subfield of C p, the completion of an algebraic closure Q p of Q p. I am going to eplain the results from [Ber] which etend Coleman s work to smooth k-analytic spaces of arbitrary dimension. First of all, we recall that each point has an associated non-archimedean field H() so that the value f() of a function f analytic in an open neighborhood of lies in H(). The field H() is in general bigger than k, and so an integral along a path : [0, 1] can be defined at least under the assumption that the ends (0) and (1) of are k-rational points, i.e., H() = k. Such a point has a sufficiently small open neighborhood isomorphic to an open polydisc, and the classical Poincaré lemma implies that every closed one-form ω in an open neighborhood of the point has a primitive (in a smaller neighborhood). Moreover, the latter fact holds for a point if and only if has a fundamental system of étale neighbourhoods isomorphic to an open polydisc or, equivalently, the residue field H() is algebraic over k and the group H() / k is torsion. Let st denote the set of points with the above property. Although the set st is dense in, it is much smaller than so that the topology on st induced from that on is totally disconnected. This means that any path connecting two distinct k-rational points contains points at which closed analytic one-forms non necessarily have a primitive in the class of analytic functions. Thus, in order to define an integral of a closed one-form along a path, one should define a primitive of that form in an open neighborhood of each point of in a bigger class of functions. 1
2 2 VLADIMIR G. BERKOVICH Furthermore, if this is done, one may ask how to define a primitive of a closed oneform with coefficients in the module over the ring of analytic functions generated by the previous primitives, and so on. What is clear is that all primitive constructed in such a way should be analytic in an open neighsorhood of each point from st. To make things more precise, let us consider the simplest eample of a closed one-form that has no a primitive in the class of analytic functions. Let be the analytification G m = A 1 \{0} of the one dimensional split torus. Then the oneform dt T has no primitive at any open neighborhood of each point of the skeleton S(G m ), i.e., the maimal point of a closed disc with centre at zero. This oneform has an analytic primitive at the open disc with centre at any k-rational point a G m (k) = k of radius a. For eample, if a = 1, the power series of the usual logarithm (1 T ) i i=1 i is such a primitive. The natural requirement for a global primitive f that coincides with the latter at the open disc of radius one with centre at one is that it should behave functorially with respect to dt T. If m and p i, i = 1, 2, denote the multiplication and i-th projection G m G m G m, then m ( dt T ) = p 1( dt T ) = p 2( dt T ). Thus, the primitive f should satisfy the relation m (f) = p 1(f) + p 2(f) which in the usual form is written as f(ab) = f(a) + f(b). Such a primitive is determined by its value at p. Fiing this value λ, we get a primitive Log λ (T ) (called a branch of the logarithm) that satisfies the above relation and is analytic at the complement of the skeleton S(G m ). In [Ber], we consider a general situation that allows one to consider all possible branches of the logarithm. Namely, we fi a filtered k-algebra K, i.e., a commutative k-algebra provided with an ehausting filtration by k-vector subspaces K 0 K 1... with K i K j K i+j, and an element λ K 1 which is assigned to be the value of the logarithm at p. For eample, a branch of the logarithm considered in Coleman s work is obtained for K = k. If K is the ring of polynomials k[log(p)] in the variable log(p) with K i = k[log(p)] i, the subspace of polynomials of degree at most i, and λ = log(p), the corresponding primitive is denoted by Log(T ) and called the universal logarithm. We now introduce the maimal class of functions that contains all possible primitives. For i 0, we set O K,i = O k K i and denote by N K,i the étale sheaf on defined as follows: for an étale morphism Y, N K,i (Y ) = lim O K,i (V), where the inductive limit is taken over all open neighborhoods V of Y st in Y. The inductive limit N K = lim N K,i is a sheaf of filtered O -algebras, called the sheaf of naive analytic functions. The sheaves N K,i are functorial with respect to and, in particular, for a morphism ϕ : Y and a function f N K,i (), there is a well defined function ϕ (f) N K,i (Y ). Furthermore, for q 0, the sheaf of N K,i -differential q-forms Ω i is the N K,i, tensor product N K,i O Ω q. The differentials d : Ωq Ωq+1 induce differentials d : Ω q N K,i, Ωq+1 N. Notice that the kernel of the first differential K,i, d : N K,i Ω1 is much bigger than the sheaf N K,i CK,i, = c k K i, where d c = Ker(O Ω 1 ). (The latter is called the sheaf of constant analytic functions; if k is algebraically closed, it is the constant sheaf associated to k.) A D -module is an étale O -module F provided with an integrable connection : F Ω 1 F = F O Ω 1. A D -algebra is an étale commutative O -algebra
3 INTEGRATION OF ONE-FORMS ON p-adic ANALYTIC SPACES 3 A which is also a D -module whose connection satisfies the Leibniz rule (fg) = fdg + gdf. If in addition A is a filtered O -algebra such that all A i are D - submodules of A, then A is said to be a filtered D -algebra. For eample, N is a filtered D -algebra. Here is the main result of [Ber]. Theorem 1. Given a closed subfield k C p, a filtered k-algebra K and an element λ K 1, there is a unique way to provide every separated smooth k-analytic space with a filtered D -subalgebra S λ NK such that the following is true: (a) S λ,0 = O k K 0 ; (b) Ker(S λ,i d Ω 1 S λ,i, ) = CK,i ; (c) Ker(Ω 1 d S λ,i, Ω 2 S λ,i, ) dsλ,i+1 ; (d) S λ,i+1 is generated by local sections f such that df Ω 1 S λ,i, ; (e) Log λ (T ) S λ,1 (G m ); (f) for any morphism ϕ :, one has ϕ (S λ,i ) Sλ,i. The sheaves S λ possess many additional properties. We mention only that, if is connected, then for any nonempty open subset U the homomorphism S λ () S λ (U) is injective. The sheaves S λ are functorial with respect to k,, K and λ. For eample, given a homomorphism of filtered k-algebras K K : λ λ, one has S λ λ K K S. Furthermore, the sheaves Sλ are much bigger than the sheaf O k K. For eample, let s i denote the subsheaf of Slog(p),i (for the universal logarithm) consisting of the functions f that do not depend on log(p), i.e., the restriction of f to some open neighborhood U of each point st belongs to O(U). Then for every i 1, the quotient s i (P 1 )/s i 1 (P 1 ) is of infinite dimension over k. Theorem 1 is used to construct the required integrals of closed one-forms along a path. For a k-analytic space, we set = k C p, and denote by H 1 (, Q) and H 1 (, Q) the singular homology of and with rational coefficients. Theorem 2. Given (k, K, λ) as in Theorem 1, there is a unique way to construct, for every separated smooth k-analytic space with H 1 (, Q) H 1 (, Q), every closed one-form ω Ω 1 S () and every path : [0, 1] with ends in (k), an λ,i integral ω Ki+1 such that the following is true: (a) if ω = df for f S λ,i+1 (), then ω = f((1)) f((0)); (b) ω depends only on the homotopy class of ; (c) given a second path σ : [0, 1] with ends in (k) and σ(0) = (1), one has σ ω = ω + σ ω. One shows that the integral ω is linear on ω, functorial on, and depends nontrivially on the homotopy class of. Moreover, if ([0, 1]) Y, where Y is an analytic subdomain of with good reduction, then ω K0. The net natural question is as follows. What are the analytic differential equations which have a full set of solutions in the bigger class of functions S? Let F be an O -coherent D -module. (Recall that such F is always a locally free O -module.) F is said to be trivial, if it is isomorphic to a direct sum of copies of the D -module O. It is said to be unipotent if there is a sequence of D -submodules F 0 = 0 F 1... F n = F such that all quotients F i /F i 1 are trivial D -modules. The minimal n with this property is called the level of F.
4 4 VLADIMIR G. BERKOVICH Finally, F is said to be locally (resp. étale locally) unipotent, if every point has an open (resp. étale) neighborhood U such that F U is unipotent. Theorem 3. Given and n 1, the following are equivalent: (a) there is an étale neighborhood U of such that F U is unipotent of level at most n; (b) there is an étale neighborhood U of such that, for some m 1, there is an embedding of D U -modules F U (S λ,n 1 U ) m. Let F S λ be the D -module F O S λ. It is a D Sλ-module, i.e., a sheaf of D- modules over the D -algebra S λ. The sheaf of horizontal sections F S is an étale λ sheaf of C K-modules, where CK = c k K. Corollary 4. The following properties of F are equivalent: (a) F is étale locally unipotent; (b) the étale C K-module F S is locally free; λ (c) there is an isomorphism of D S λ-modules F S λ C K S F λ S λ. Notice that the stalk of FS at a point st coincides with F k K. This allows one to define a parallel transport T F : F k K Fy k K along a path : [0, 1] with ends in, y st (see [Ber, 9.4]). Let now be a smooth k-analytic curve of the form an \ n i=1 E i, where is a smooth projective curve over k with good reduction, and E i are affinoid subdomains isomorphic to a closed disc in A 1 with center at zero and lying in pairwise distinct residue classes of the reduction. (It is what Coleman calls a basic wide open curve.) Such is simply connected and H 1 (, c ) = 0. It follows that each one-form ω Ω 1 S () has a primitive in S λ,i+1 (). We set A λ,0 () = O() λ,i k K 0 and, for i 1, define A λ,i () as the O()-submodule of S λ,i () generated by primitives of one-forms from A λ,i 1 () O() Ω 1 (). The filtered O()-algebra of locally analytic functions constructed by Coleman is A λ () = i=0 Aλ,i () for K = k. Since is simply connected, the integral of a one-form with coefficients in A() along a path : [0, 1] with ends in (k) depends only on the ends, and it coincides with the integral constructed by Coleman. The proof of Theorem 1 follows ideas of Coleman s construction. The Frobenius endomorphism, which is used even in the formulation of his result, is sewn here in the proof. Among main ingredients are a local description of smooth k-analytic spaces, based on de Jong s alteration results, and the fact that each point of a smooth k-analytic space has a fundamental system of open neighborhoods U such that H 1 (U, c U ) = 0. Theorem 1 implies that the de Rham comple 0 C K Sλ Ω1 S λ,... is eact at Ω q for q = 0, 1, and we conjecture that it is eact for all q. S λ, One may ask if something like Theorems 1 and 2 holds for other non-archimedean fields of characteristic zero. Of course, for this one should impose additional properties on the integral. Here is a simple eample for the field of comple numbers C provided with the trivial valuation. Let be an irreducible separated smooth scheme of finite type over C. Then the (non-archimedean) analytification an of is a contractible topological space. This implies that a possible integral ω of a closed one-form ω Ω1 ( ) along a path : [0, 1] an with ends, y (C) should depend only on the ends, y, and so it can be denoted by y ω. Let us require that the map (C)
5 INTEGRATION OF ONE-FORMS ON p-adic ANALYTIC SPACES 5 C : y y ω is continuous in the comple topology of both spaces. This imposes continuity on the logarithm homomorphism C C. Any such homomorphism corresponds to a comple number λ C with λ = 1. Namely, if λ = re iϕ 0, the corresponding homomorphism log λ : C C takes z C to log r ( z )e iϕ, and if λ = 0, it takes every z to zero. An analog of Theorem 2 for algebraic one-forms states that, given λ C with λ = 1, there is a unique way to construct for every irreducible separated smooth scheme of finite type over C, any closed one-forms ω Ω 1 ( ) and any pair of points, y (C), an integral y ω C such that the following is true: (a) if ω = df for f O( ), then y ω = f(y) f(); (b) for a third point z (C), one has z ω = y ω + z y ω; (c) ω is linear on ω; (d) for any point z C, one has z dt 1 T = logλ (z); (e) the map (C) C : y y ω is continuous in the comple topology; (f) for any morphism ϕ : and any pair of points, y (C), one has y ϕ (ω) = ϕ(y ) ϕ( ) ω. If is proper, the integral y ω is always zero, which is not surprising since it depends on the ends of a path only. Furthermore, let be considered as a formal scheme. Its generic fiber η is a closed analytic domain in an (which coincides with an if is proper), and let π be the reduction map η s =. Since is smooth, the preimage π 1 () of each point (C) is isomorphic to the (non-archimedean) unit open polydisc with centre at zero with the only C-rational point. Each closed one-form ω Ω 1 ( ) has a primitive f at π 1 () defined up to a constant. If we fi a point 0 (C), the analytic function f on π 1 ( (C)), whose restriction to π 1 () is the local primitive f with f () = 0 ω, is a global primitive of ω which does not depend of 0 up to a constant. It would be interesting to know if it is possible to iterate this procedure, i.e., to construct a primitive of a closed one-form with coefficients in the O( )-module generated by the above primitives f s, and so on. References [Ber] Berkovich, V. G.: Integration of one-forms on p-adic analytic spaces, Annals of Mathematics Studies 162, Princeton University Press, Princeton and Oford, 2007, 156 pp. [Col] Coleman, R.: Dilogarithms, regulators, and p-adic L-functions, Invent. Math. 69 (1982), no. 2, [CoSh] Coleman, R.; de Shalit, E.: p-adic regulators on curves and special values of p-adic L- functions, Invent. Math. 93 (1988), no. 2, Department of Mathematics, The Weizmann Institute of Science, P.O.B. 26, Rehovot, ISRAEL address: vladimir.berkovich@weizmann.ac.il
14 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 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 informationNON-ARCHIMEDEAN ANALYTIC SPACES. Vladimir G. BERKOVICH. Department of Mathematics, The Weizmann Institute of Science P.O.B. 26, Rehovot, ISRAEL
NON-ARCHIMEDEAN ANALYTIC SPACES Vladimir G. BERKOVICH Department of Mathematics, The Weizmann Institute of Science P.O.B. 26, 76100 Rehovot, ISRAEL The following text is a short account of lectures at
More informationMOISHEZON SPACES IN RIGID GEOMETRY
MOISHEZON SPACES IN RIGID GEOMETRY BRIAN CONRAD Abstract. We prove that all proper rigid-analytic spaces with enough algebraically independent meromorphic functions are algebraic (in the sense of proper
More informationGeometry 2: Manifolds and sheaves
Rules:Exam problems would be similar to ones marked with! sign. It is recommended to solve all unmarked and!-problems or to find the solution online. It s better to do it in order starting from the beginning,
More informationLocally G-ringed spaces and rigid spaces
18.727, Topics in Algebraic Geometry (rigid analytic geometry) Kiran S. Kedlaya, fall 2004 Rigid analytic spaces (at last!) We are now ready to talk about rigid analytic spaces in earnest. I ll give the
More informationBEZOUT S THEOREM CHRISTIAN KLEVDAL
BEZOUT S THEOREM CHRISTIAN KLEVDAL A weaker version of Bézout s theorem states that if C, D are projective plane curves of degrees c and d that intersect transversally, then C D = cd. The goal of this
More informationTopology of Nonarchimedean Analytic Spaces
Topology of Nonarchimedean Analytic Spaces AMS Current Events Bulletin Sam Payne January 11, 2013 Complex algebraic geometry Let X C n be an algebraic set, the common solutions of a system of polynomial
More informationNOTES IN COMMUTATIVE ALGEBRA: PART 2
NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they
More informationConstructible isocrystals (London 2015)
Constructible isocrystals (London 2015) Bernard Le Stum Université de Rennes 1 March 30, 2015 Contents The geometry behind Overconvergent connections Construtibility A correspondance Valuations (additive
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 informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday 10 February 2004 (Day 1)
Tuesday 10 February 2004 (Day 1) 1a. Prove the following theorem of Banach and Saks: Theorem. Given in L 2 a sequence {f n } which weakly converges to 0, we can select a subsequence {f nk } such that the
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
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 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 information0.1 Spec of a monoid
These notes were prepared to accompany the first lecture in a seminar on logarithmic geometry. As we shall see in later lectures, logarithmic geometry offers a natural approach to study semistable schemes.
More information3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).
3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)
More informationOn local properties of non- Archimedean analytic spaces.
On local properties of non- Archimedean analytic spaces. Michael Temkin (talk at Muenster Workshop, April 4, 2000) Plan: 1. Introduction. 2. Category bir k. 3. The reduction functor. 4. Main result. 5.
More informationMA 206 notes: introduction to resolution of singularities
MA 206 notes: introduction to resolution of singularities Dan Abramovich Brown University March 4, 2018 Abramovich Introduction to resolution of singularities 1 / 31 Resolution of singularities Let k be
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 information1. Motivation: search for a p-adic cohomology theory
AN INTRODUCTION TO RIGID COHOMOLOGY CHRISTOPHER LAZDA 1. Motivation: search for a p-adic cohomology theory Let k be a perfect field of characteristic p > 0, W = W (k) the ring of Witt vectors of k, and
More information7 Lecture 7: Rational domains, Tate rings and analytic points
7 Lecture 7: Rational domains, Tate rings and analytic points 7.1 Introduction The aim of this lecture is to topologize localizations of Huber rings, and prove some of their properties. We will discuss
More information3. The Sheaf of Regular Functions
24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice
More informationUNIFORM STRUCTURES AND BERKOVICH SPACES
UNIFORM STRUCTURES AND BERKOVICH SPACES MATTHEW BAKER Abstract. A uniform space is a topological space together with some additional structure which allows one to make sense of uniform properties such
More informationSUMMER COURSE IN MOTIVIC HOMOTOPY THEORY
SUMMER COURSE IN MOTIVIC HOMOTOPY THEORY MARC LEVINE Contents 0. Introduction 1 1. The category of schemes 2 1.1. The spectrum of a commutative ring 2 1.2. Ringed spaces 5 1.3. Schemes 10 1.4. Schemes
More informationGeometry 9: Serre-Swan theorem
Geometry 9: Serre-Swan theorem Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have
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 informationAN INTRODUCTION TO AFFINE SCHEMES
AN INTRODUCTION TO AFFINE SCHEMES BROOKE ULLERY Abstract. This paper gives a basic introduction to modern algebraic geometry. The goal of this paper is to present the basic concepts of algebraic geometry,
More information15 Lecture 15: Points and lft maps
15 Lecture 15: Points and lft maps 15.1 A noetherian property Let A be an affinoid algebraic over a non-archimedean field k and X = Spa(A, A 0 ). For any x X, the stalk O X,x is the limit of the directed
More informationHodge Theory of Maps
Hodge Theory of Maps Migliorini and de Cataldo June 24, 2010 1 Migliorini 1 - Hodge Theory of Maps The existence of a Kähler form give strong topological constraints via Hodge theory. Can we get similar
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 quasi-finite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasi-finite étale separated schemes X over a henselian local ring
More informationALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!
ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.
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 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 non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion
More informationAlgebraic varieties and schemes over any scheme. Non singular varieties
Algebraic varieties and schemes over any scheme. Non singular varieties Trang June 16, 2010 1 Lecture 1 Let k be a field and k[x 1,..., x n ] the polynomial ring with coefficients in k. Then we have two
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 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 informationVanishing cycles for formal schemes. II
Submitted for publication in Inventiones Mathematicae Manuscript no. (will be inserted by hand later) Vanishing cycles for formal schemes. II Vladimir G. Berkovich Department of Theoretical Mathematics,
More informationALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.
ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset
More informationALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP. Contents 1. Introduction 1
ALGEBRAICALLY TRIVIAL, BUT TOPOLOGICALLY NON-TRIVIAL MAP HONG GYUN KIM Abstract. I studied the construction of an algebraically trivial, but topologically non-trivial map by Hopf map p : S 3 S 2 and a
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 informationAlgebraic varieties. Chapter A ne varieties
Chapter 4 Algebraic varieties 4.1 A ne varieties Let k be a field. A ne n-space A n = A n k = kn. It s coordinate ring is simply the ring R = k[x 1,...,x n ]. Any polynomial can be evaluated at a point
More informationTHE SMOOTH BASE CHANGE THEOREM
THE SMOOTH BASE CHANGE THEOREM AARON LANDESMAN CONTENTS 1. Introduction 2 1.1. Statement of the smooth base change theorem 2 1.2. Topological smooth base change 4 1.3. A useful case of smooth base change
More informationFactorization of birational maps on steroids
Factorization of birational maps on steroids IAS, April 14, 2015 Dan Abramovich Brown University April 14, 2015 This is work with Michael Temkin (Jerusalem) Abramovich (Brown) Factorization of birational
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 informationMath 797W Homework 4
Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition
More informationExploring the Exotic Setting for Algebraic Geometry
Exploring the Exotic Setting for Algebraic Geometry Victor I. Piercey University of Arizona Integration Workshop Project August 6-10, 2010 1 Introduction In this project, we will describe the basic topology
More informationp-adic Integration on Curves of Bad Reduction
p-adic Integration on Curves of Bad Reduction Eric Katz (University of Waterloo) joint with David Zureick-Brown (Emory University) January 16, 2014 Eric Katz (Waterloo) p-adic Integration January 16, 2014
More informationExtended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module
Extended Index cokernel 19f for Atiyah and MacDonald's Introduction to Commutative Algebra colon operator 8f Key: comaximal ideals 7f - listings ending in f give the page where the term is defined commutative
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 informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
More informationZariski s Main Theorem and some applications
Zariski s Main Theorem and some applications Akhil Mathew January 18, 2011 Abstract We give an exposition of the various forms of Zariski s Main Theorem, following EGA. Most of the basic machinery (e.g.
More informationProblems on adic spaces and perfectoid spaces
Problems on adic spaces and perfectoid spaces Yoichi Mieda 1 Topological rings and valuations Notation For a valuation v : A Γ {0} on a ring A, we write Γ v for the subgroup of Γ generated by {v(a) a A}
More informationTunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society
unisian Journal of Mathematics an international publication organized by the unisian Mathematical Society Ramification groups of coverings and valuations akeshi Saito 2019 vol. 1 no. 3 msp msp UNISIAN
More informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More informationSynopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].
Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationHomework 2 - Math 603 Fall 05 Solutions
Homework 2 - Math 603 Fall 05 Solutions 1. (a): In the notation of Atiyah-Macdonald, Prop. 5.17, we have B n j=1 Av j. Since A is Noetherian, this implies that B is f.g. as an A-module. (b): By Noether
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 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 k-subalgebras of M 3 (k) for any algebraically closed field
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 informationHomological mirror symmetry via families of Lagrangians
Homological mirror symmetry via families of Lagrangians String-Math 2018 Mohammed Abouzaid Columbia University June 17, 2018 Mirror symmetry Three facets of mirror symmetry: 1 Enumerative: GW invariants
More informationAdic Spaces. Torsten Wedhorn. June 19, 2012
Adic Spaces Torsten Wedhorn June 19, 2012 This script is highly preliminary and unfinished. It is online only to give the audience of our lecture easy access to it. Therefore usage is at your own risk.
More informationON A THEOREM OF CAMPANA AND PĂUN
ON A THEOREM OF CAMPANA AND PĂUN CHRISTIAN SCHNELL Abstract. Let X be a smooth projective variety over the complex numbers, and X a reduced divisor with normal crossings. We present a slightly simplified
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 informationGeometric motivic integration
Université Lille 1 Modnet Workshop 2008 Introduction Motivation: p-adic integration Kontsevich invented motivic integration to strengthen the following result by Batyrev. Theorem (Batyrev) If two complex
More informationHARTSHORNE EXERCISES
HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing
More informationMATH 221 NOTES BRENT HO. Date: January 3, 2009.
MATH 22 NOTES BRENT HO Date: January 3, 2009. 0 Table of Contents. Localizations......................................................................... 2 2. Zariski Topology......................................................................
More informationRings and groups. Ya. Sysak
Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...
More informationFORMAL GLUEING OF MODULE CATEGORIES
FORMAL GLUEING OF MODULE CATEGORIES BHARGAV BHATT Fix a noetherian scheme X, and a closed subscheme Z with complement U. Our goal is to explain a result of Artin that describes how coherent sheaves on
More informationPERIOD RINGS AND PERIOD SHEAVES (WITH HINTS)
PERIOD RINGS AND PERIOD SHEAVES (WITH HINTS) 1. Background Story The starting point of p-adic Hodge theory is the comparison conjectures (now theorems) between p-adic étale cohomology, de Rham cohomology,
More informationBoolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
More informationTHREE APPROACHES TO CHOW S THEOREM
THREE APPROACHES TO CHOW S THEOREM EVAN WARNER 1. Statement and overview The focus of this talk will be on Chow s theorem, a simple but very useful result linking complex analytic geometry to algebraic
More informationUniversité Paris Sud XI Orsay THE LOCAL FLATTENING THEOREM. Master 2 Memoire by Christopher M. Evans. Advisor: Prof. Joël Merker
Université Paris Sud XI Orsay THE LOCAL FLATTENING THEOREM Master 2 Memoire by Christopher M. Evans Advisor: Prof. Joël Merker August 2013 Table of Contents Introduction iii Chapter 1 Complex Spaces 1
More informationFactorization of birational maps for qe schemes in characteristic 0
Factorization of birational maps for qe schemes in characteristic 0 AMS special session on Algebraic Geometry joint work with M. Temkin (Hebrew University) Dan Abramovich Brown University October 24, 2014
More informationCHAPTER 1. AFFINE ALGEBRAIC VARIETIES
CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the
More informationALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES
ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasi-coherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open
More informationHandlebody Decomposition of a Manifold
Handlebody Decomposition of a Manifold Mahuya Datta Statistics and Mathematics Unit Indian Statistical Institute, Kolkata mahuya@isical.ac.in January 12, 2012 contents Introduction What is a handlebody
More informationAlgebraic v.s. Analytic Point of View
Algebraic v.s. Analytic Point of View Ziwen Zhu September 19, 2015 In this talk, we will compare 3 different yet similar objects of interest in algebraic and complex geometry, namely algebraic variety,
More informationMath 210C. A non-closed commutator subgroup
Math 210C. A non-closed commutator subgroup 1. Introduction In Exercise 3(i) of HW7 we saw that every element of SU(2) is a commutator (i.e., has the form xyx 1 y 1 for x, y SU(2)), so the same holds for
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More informationYuriy Drozd. Intriduction to Algebraic Geometry. Kaiserslautern 1998/99
Yuriy Drozd Intriduction to Algebraic Geometry Kaiserslautern 1998/99 CHAPTER 1 Affine Varieties 1.1. Ideals and varieties. Hilbert s Basis Theorem Let K be an algebraically closed field. We denote by
More informationL E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S
L A U R E N T I U M A X I M U N I V E R S I T Y O F W I S C O N S I N - M A D I S O N L E C T U R E N O T E S O N H O M O T O P Y T H E O R Y A N D A P P L I C AT I O N S i Contents 1 Basics of Homotopy
More informationCohomology and Base Change
Cohomology and Base Change Let A and B be abelian categories and T : A B and additive functor. We say T is half-exact if whenever 0 M M M 0 is an exact sequence of A-modules, the sequence T (M ) T (M)
More informationLECTURE 6: THE ARTIN-MUMFORD EXAMPLE
LECTURE 6: THE ARTIN-MUMFORD EXAMPLE In this chapter we discuss the example of Artin and Mumford [AM72] of a complex unirational 3-fold which is not rational in fact, it is not even stably rational). As
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 C-linear. 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 informationBRIAN OSSERMAN. , let t be a coordinate for the line, and take θ = d. A differential form ω may be written as g(t)dt,
CONNECTIONS, CURVATURE, AND p-curvature BRIAN OSSERMAN 1. Classical theory We begin by describing the classical point of view on connections, their curvature, and p-curvature, in terms of maps of sheaves
More informationThe absolute de Rham-Witt complex
The absolute de Rham-Witt complex Lars Hesselholt Introduction This note is a brief survey of the absolute de Rham-Witt complex. We explain the structure of this complex for a smooth scheme over a complete
More informationWild coverings of Berkovich curves. Conference in honor of Arthur Ogus
Wild coverings of Berkovich curves M. Temkin September 24, 2015 Conference in honor of Arthur Ogus M. Temkin (Hebrew University) Wild coverings of Berkovich curves 1 / 27 Introduction The goals Fix a complete
More informationJoseph Muscat Universal Algebras. 1 March 2013
Joseph Muscat 2015 1 Universal Algebras 1 Operations joseph.muscat@um.edu.mt 1 March 2013 A universal algebra is a set X with some operations : X n X and relations 1 X m. For example, there may be specific
More informationCHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS. Contents
CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS Contents 1. The Lefschetz hyperplane theorem 1 2. The Hodge decomposition 4 3. Hodge numbers in smooth families 6 4. Birationally
More informationSheaves of Lie Algebras of Vector Fields
Sheaves of Lie Algebras of Vector Fields Bas Janssens and Ori Yudilevich March 27, 2014 1 Cartan s first fundamental theorem. Second lecture on Singer and Sternberg s 1965 paper [3], by Bas Janssens. 1.1
More informationAn introduction to derived and triangulated categories. Jon Woolf
An introduction to derived and triangulated categories Jon Woolf PSSL, Glasgow, 6 7th May 2006 Abelian categories and complexes Derived categories and functors arise because 1. we want to work with complexes
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 informationMATRIX LIE GROUPS AND LIE GROUPS
MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either
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 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 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 information