Motivic integration, the nonarchimedean Milnor fiber, and a Thom-Sebastiani formlua. Yimu Yin
|
|
- Miles Watkins
- 5 years ago
- Views:
Transcription
1 Motivic integration, the nonarchimedean Milnor fiber, and a Thom-Sebastiani formlua Yimu Yin A conference in honour of Thomas C. Hales on the occasion of his 60th birthday University of Pittsburgh, June 18-22,
2 What is motivic integration? Starting with the question: what is counting? This (only) makes sense for (discrete) sets, so it is cardinality, following Cantor. But Euler s idea on how to count extended bodies is much more important. What is the length lh(l) of a line segment L in the Euclidean straight line? There is this issue with the endpoints that is often ignored. lh(l) = lh(l ) if and only if L, L match (via shifting ). So an open interval and a closed interval should not have the same length. If L is the (disjoint) union of L 1 and L 2 then lh(l) = lh(l 1 ) + lh(l 2 ). So the length of a closed interval cannot be the sum of the lengths of two closed intervals. This suggests: The length of a half-closed line segment is a real number, but the length of a closed line segment is a real number plus a point.
3 If we allow stretching in matching line segments, then the lengths of half-closed, closed, open line segments are forced to be 0, 1, 1, respectively. This is of course the Euler characteristic. Making a leap towards abstraction: An integral is an invariant (numerical or not) up to certain likeness. What is the area of a polygon in the Euclidean plane? The stuff: planar polygons, written as [P ], identified up to congruence and rotation. The operation cut (ignoring boundary). We think of [P 1 ] + [P 2 ] as the polygonal complex that is the disjoint union of [P 1 ], [P 2 ]. So our stuff gives rise to a free semigroup (no subtraction, yet), denoted by G poly. If [P ] can be cut into polygons [P 1 ], [P 2 ] then we write [P ] = [P 1 ] + [P 2 ]. This gives an equivalence relation, actually a semigroup congruence relation, on G poly, called the scissor relation. The scissor semigroup S poly is the semigroup G poly modulo the scissor relation.
4 The Wallace-Bolyai-Gerwien theorem: S poly is isomorphic to R + 0, and the isomorphism is constructed by assigning, to each [P ], its area. Hilbert s third problem: Does this still hold in three-dimension (polyhedra)? Conjectured No and proved by Dehn via Dehn invariant. In a sense, we want to put a positive spin on Hilbert s problem by way of vast generalizations of the Wallace-Bolyai-Gerwien theorem. In its crudest form, we propose the following definition of motivic integration (or rather additive invariant ). The stuff we are interested in is collected in a category C. We only care about the isomorphisms in C, so may take C to be a groupoid. For an object A of C, denote its isomorphism class by [A]. Denote by GC the free abelian group generated by the set {[A] : A C}. Usually there are two operations in C: product A B (example: cartesian product) and cut A B (example: set subtraction), and the product makes GC a commutative ring: [A] [B] := [A B].
5 An integral is a ring homomorphism E : GC R, for some ring R, that is compatible with the scissor relation, i.e., where B is a subobject of A. E([A]) = E([B]) + E([A B]), In particular, we can take R to be the quotient K C of GC by the ideal generated by the scissor relation, called the Grothendieck ring of C. Let (G, ) be a locally compact Hausdorff group, such as R, C, Q p, F p (t ), and the Lie groups over them. Let B(G) be the collection of the Borel subsets of G. Then, up to scalar, there is a unique translation-invariant measure µ : B(G) R (countably additive, finite on compact sets, etc.). For R, C this is the Lebesgue measure, for Q p, F p (t ) this is the Haar measure. If (G, ) is not locally compact then such a measure is impossible. In geometry, groups (or rather fields) such as C (t ) (field of Puiseux series over C) do occur naturally.
6 For n N, the field C (t 1/n ) consists of power series of the form i=k c it i/n, where c i C and k is an integer. C (t ) = n C (t1/n ). It is the algebraic closure of C (t ) (known to Newton, essentially). We will describe motivic integrals on categories of definable sets in C (t ).
7 Milnor fiber Motivation: In geometry, much can be said when the object in question is smooth. To study singular objects, one may consider two general strategies: make the singularities go away or investigate what happens nearby. Milnor fiber is a line of inquiry following the latter strategy. It draws on nearby smooth replicas of the singular locus in order to understand the singular locus itself. There is a dual procedure of passing from smooth to singular which is perhaps more intuitive to grasp (equidistant deformation). The statement: Given the following data: X C n a smooth complex algebraic variety of dimension d, f : X C a nonconstant polynomial map,
8 x X a singular point of f 1 (0), i.e. df(x) = 0, w.l.o.g. x = 0, closed ball B(0, ɛ) C n and closed disc D(0, η) C, if 0 < η ɛ 1, there are the Milnor fibration B(0, ɛ) f 1 (D η 0) D η 0 and the Milnor fiber F f = B(0, ɛ) f 1 (η). F f is a smooth manifold with boundary and has a diffeomorphism type that does not depend on η and ɛ, and is endowed with an automorphism (monodromy). There are many questions concerning the topology and geometry of F f, its boundary (the link), the monodromy, etc.
9 Motivic zeta function and motivic Milnor fiber Recall the field C((t)) of complex Laurent series and the subring C [ t ]. ] The space of C [ t ]-points ] in X is referred to as (formal) arcs on X. Let ˆµ be the profinite group of roots of unity. The category of complex varieties with ˆµ-actions is denoted by Var C. Its Grothendieck ring is denoted by Kˆµ Var C. Let L(X) be the space of arcs γ(t) with γ(0) = 0. Let L m (X) = L(X)/t m+1 and X m = {γ(t) L m (X) : f(γ(t)) = t m mod t m+1 }. Denef and Loeser define the motivic zeta function of f as the following power series in T : Z f (T ) = n 1[X n ][A] nd T n, where the coefficients are in Kˆµ Var C [[A] 1 ]. By Denef and Loeser, the power series Z f (T ) is indeed rational and lim T Z f (T ) exists (evaluated via a formal process). Set S f = lim T Z f(t ).
10 This is an element in Kˆµ Var C [[A] 1 ] and is called the motivic Milnor fiber. There is a priori no connection between the construction of the topological Milnor fiber F f and that of the motivic Milnor fiber S f. Nevertheless, by Denef and Loeser, the Euler characteristic of F f coincides with the Euler characteristic of S f (the latter is defined via a natural specialization map Kˆµ Var C [[A] 1 ] Z), justifying the terminology. The proofs make heavy use of resolution of singularities.
11 Resolution-free: the Hrushovski-Loeser method Using Hrushovski-Kazhdan style motivic integration, Hrushovski and Loeser give a resolutionfree construction of the motivic Milnor fiber S f as follows. The motivic zeta function is now expressed as Z f (T ) = n 1 H n (X )T n, where H n (X ) is a gadget from the Hrushovski-Kazhdan integration theory that takes values in Kˆµ Var C [[A] 1 ] and X is the nonarchimedean Milnor fiber of f (to be defined below). Rationality of Z f (T ) now follows from the equality lim T Z f(t ) = (Θ E )([X ]) and certain computation rules for (convergent) geometric series, where K VF K RV[ ]/([1] [RV + ]) E!K RES Θ Kˆµ Var C
12 is a sequence of canonical homomorphisms constructed in the Hrushovski-Kazhdan integration theory (more details below). Hrushovski and Loeser also give a resolution-free proof that the Euler characteristics of F f and S f. The key is to prove an A Campo-Denef-Loeser formula that expresses χ(x m ) as the trace of the corresponding monodomy action. In doing so, they are very careful in choosing tools from algebraic geometry that do not involve resolution of singularities. This can also be done using a variant of the Hrushovski-Kazhdan integral over o-minimal fields, free of sophisticated algebro-geometric machineries. One lesson learned: the nonarchimedean Milnor fiber is a richer object to study.
13 Hrushovski-Kazhdan style integration We work in C := C (t ), the field of complex Puiseux series, considered as a model of the first-order theory ACVF of algebraically closed valued fields. ACVF may be expressed in the traditional language with three sorts VF = C, Γ = Q, k = C, and valuation map val : VF Γ and residue map res : O k. But the language L RV we use is more subtle. It has two sorts (VF, RV), where RV = VF /(1 + M) and rv : VF RV is the quotient map. We have a short exact sequence 1 k RV vrv Γ 0. RV may be thought of as the set of leading terms of the power series in C and rv the leading term map. In fact, RV = C Q in C, since there is a natural cross-section Q C. Let γ = (γ 1,..., γ n ) Γ n. Then a definable subset of vrv 1 (γ) RV n is a twisted copy of a constructible set in k n = C n, called a generalized constructible set over k n = C n.
14 The categories VF[n]. Objects: definable subsets of n-dimensional varieties over C (t ). Morphisms: definable bijections. RES[n]. Objects: finite unions of generalized constructible sets over k n = C n. Morphism: definable bijections. Γ[n]. Objects: finite disjoint unions of definable sub-polytopes of Γ n = Q n. Morphism: piecewise GL n (Z)-transformations. Here definable is equivalent to the condition that the equalities and inequalities defining the polytope are over Z. Set VF = n VF[n], RES[ ] = n RES[n], Γ[ ] = n Γ[n].
15 The main construction of the HK theory There is a surjective lifting map L : RES[ ] Γ[ ] VF. L induces a surjective homomorphism of rings, also denoted by L K RES[ ] K Γ[ ] K VF. The kernel P of L is principal, being generated by the element [Q + ] [1] 1. Inverting, we obtain an isomorphism : K VF K RES[ ] K Γ[ ]/P.
16 Constructing the motivic Milnor fiber Forgetting the gradation of RES[ ], we obtain a category RES. Formally identifying all twisted n-dimensional affine spaces with A n, we obtain a quotient of K RES, denoted by!k RES. Applying the bounded Euler characteristic map on polytopes, we construct a canonical homomorphism E : K RES[ ] K Γ[ ]/P!K RES. Choosing a (reduced) cross-section csn : Γ RV and untwist, we construct a canonical isomorphism Θ :!K RES Kˆµ Var C. Note that the choice of csn is not natural, but different choices will yield the same Θ, and the ˆµ-actions come from these difference choices, which correspond to the Galois group ˆµ = Gal( C/C (t )). Recall X and f. A key object in VF to consider: X = {y X(M) : f(y) = t}.
17 This is closely related to the analytic Milnor fiber defined by Nicaise and Sebag. The nonarchimedean Milnor fiber is even more important: X = {y X(M) : rv(f(y)) = rv(t)}. We have X = X (1 + M). The Hrushovski-Loeser method shows that the motivic Milnor fiber S f of f equals (Θ E )(X ).
18 Thom-Sebastiani formalism It is a common idea in mathematics to construct complicated objects from simpler ones. In singularity theory, this is embodied by the Thom-Sebastiani formalism: Suppose that f : C n+1 C and g : C m+1 C are germs of holomorphic functions with vanishing isolated singularities at the origin. Let f + g be the germ of the function on C n+m+2 given by (f + g)(x, y) = f(x) + g(y). Then F f+g is homotopy equivalent to F f F g (compatible with the monodromies). Here F f F g is the topological join of F f and F g. The original result of Sebastiani and Thom is about cohomological groups, which can be recovered from the statement above. Denef-Loeser and Looijenga also obtained a Thom-Sebastiani formula for motivic Milnor fibers: S f+g = S f + S g S f S g. where S f S g is a convolution product on Kˆµ Var C [[A] 1 ].
19 Later, Guibert, Loeser, and Merle generalized this to pairs of functions on the same variety: Let f, g : X C be nonconstant polynomial maps on a smooth complex algebraic variety X. Then, for sufficiently large N N, Here S g N +f = S f + S g N([Z f ]) Ψ Σ (S g N(S f )). Z f = f 1 (0) and S g N([f 1 (0)]) is the restriction of S g N to the class [f 1 (0)], S g N(S f ) is an iterated motivic Milnor fiber, Ψ Σ is a certain convolution operator. Again, heavy dosage of resolution of singularities is used in the proof.
20 In recent joint work with Fichou, we generalized the Guibert-Loeser-Merle formula, using the Hrushovski-Loeser method. Let f, g, X be as above. Let h(x, y) be a polynomial of the form y N + x m ı, m 2 N m 3... m l. For each 2 ı l, let 2 ı l f (ı) = 2 i ı f m i and f (ı) = 2 i ı f m i ; Then S g N +f (l) = S g N([Z f(l) ]) + S f m 2 + S f mı([z g N +f (ı 1) ]) Ψ ı (S g N f (ı) ), 2<ı l 2 ı l where again, for each ı, Ψ ı is a certain convolution operator.
21 For each 2 ı l, let α ı = 1/m ı and β ı = m 2 /Nm ı. Let L ı (Q + ) 2 be the open line segment between the two points (α ı, β ı ) and (α ı+1, β ı+1 ). The four types of terms on the right-hand side may be read off from the following illustration: y H 2 1 N H 1 H 3 (α l, β l ) (α 4, β 4 ) (0, 0) 1 x (0, 0)... (α m 2 ( 1 m 2, 1 3, β 3 ) N ) L l L l 1... L 4 L 3 L 2 Figure 1. The tropical curve H of h(x, y) and the vertical rectangular pane P of height 1 on the line segment H 3. the terms S g N([Z f(l) ]) and S f m 2 correspond to the rays H 1 and H 2, respectively,
22 The restricted motivic Milnor fibers S f mı([z g N +f (ı 1) ]) correspond to the points (α ı, β ı ), The points above (α ı, β ı ) that lie on the sloped line segments contribute another term, so does the corresponding open line segment L ı, and the two of them are jointly referred to as a term of convolution product.
23 Some remarks: In the condition m 2 N m 3... m l, means sufficiently large relative to the data, not necessarily in terms of magnitude. For instance, h(x, y) = y 2 x 3 + x works for certain choice of f, g. The Guibert-Loeser-Merle formula is a special case, but their method offers a geometric interpretation of sufficiently large N in terms of log-resolutions. Our interpretation depends on compactness and is not as informative. Thus, for sufficiently large N, we have Ψ 2 (S g N f) = Ψ Σ (S g N(S f )). The left-hand side of this equality is commutative: S g N f = S f g N, and perhaps this can be translated into an expression on the right-hand side?
Geometric 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 informationA MOTIVIC FUBINI THEOREM FOR THE TROPICALIZATION MAP. Notation. Let k be an algebraically closed field of characteristic zero.
A MOTIVIC FUBINI THEOREM FOR THE TROPICALIZATION MAP JOHANNES NICAISE Abstract. This is a write-up of a lecture delivered at the 2017 Simons Symposium on non-archimedean and tropical geometry. The lecture
More informationTHE GEOMETRY BEHIND NON-ARCHIMEDEAN INTEGRALS. François Loeser. 5th European Congress of Mathematics Amsterdam, July 15, 2008
THE GEOMETRY BEHIND NON-ARCHIMEDEAN INTEGRALS François Loeser École normale supérieure, Paris 5th European Congress of Mathematics Amsterdam, July 15, 2008. P. 1 COUNTING SUBGROUPS OF FINITE INDEX Let
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 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 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 informationMotivic integration on Artin n-stacks
Motivic integration on Artin n-stacks 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 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 informationLecture 6: Etale Fundamental Group
Lecture 6: Etale Fundamental Group October 5, 2014 1 Review of the topological fundamental group and covering spaces 1.1 Topological fundamental group Suppose X is a path-connected topological space, and
More informationA Crash Course in Topological Groups
A Crash Course in Topological Groups Iian B. Smythe Department of Mathematics Cornell University Olivetti Club November 8, 2011 Iian B. Smythe (Cornell) Topological Groups Nov. 8, 2011 1 / 28 Outline 1
More informationSCIENnIFIQUES L ÉCOLE. SUPÉRIEUkE. Monodromy and the Lefschetz fixed point formula. Ehud HRUSHOVSKI & François LOESER SOCIÉTÉ MATHÉMATIQUE DE FRANCE
ISSN 0012-9593 ASENAH quatrième série - tome 48 fascicule 2 mars-avril 2015 annales SCIENnIFIQUES de L ÉCOLE hormale SUPÉRIEUkE Ehud HRUSHOVSKI & François LOESER Monodromy and the Lefschetz fixed point
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 5
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 5 RAVI VAKIL CONTENTS 1. The inverse image sheaf 1 2. Recovering sheaves from a sheaf on a base 3 3. Toward schemes 5 4. The underlying set of affine schemes 6 Last
More informationOdds and ends on equivariant cohomology and traces
Odds and ends on equivariant cohomology and traces Weizhe Zheng Columbia University International Congress of Chinese Mathematicians Tsinghua University, Beijing December 18, 2010 Joint work with Luc Illusie.
More informationCategory Theory. Categories. Definition.
Category Theory Category theory is a general mathematical theory of structures, systems of structures and relationships between systems of structures. It provides a unifying and economic mathematical modeling
More informationThe theory of integration says that the natural map
In this course we will discuss applications of the Model theory to Algebraic geometry and Analysis. There is long list of examples and I mention only some of applications: 1) Tarski proved the elimination
More information8 Complete fields and valuation rings
18.785 Number theory I Fall 2017 Lecture #8 10/02/2017 8 Complete fields and valuation rings In order to make further progress in our investigation of finite extensions L/K of the fraction field K of a
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 Donaldson-Thomas theory: counting invariants
More informationMotivic Integration: An outsider s tutorial
New Directions in the Model Theory of Fields Durham, England 21 & 22 July 2009 What is motivic integration? (An etymological answer) The theory of motives was introduced by Grothendieck as a way to explain
More informationAlgebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra
Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial
More informationMath 6510 Homework 11
2.2 Problems 40 Problem. From the long exact sequence of homology groups associted to the short exact sequence of chain complexes n 0 C i (X) C i (X) C i (X; Z n ) 0, deduce immediately that there are
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 informationThe Canonical Sheaf. Stefano Filipazzi. September 14, 2015
The Canonical Sheaf Stefano Filipazzi September 14, 015 These notes are supposed to be a handout for the student seminar in algebraic geometry at the University of Utah. In this seminar, we will go over
More informationMcGill University Department of Mathematics and Statistics. Ph.D. preliminary examination, PART A. PURE AND APPLIED MATHEMATICS Paper BETA
McGill University Department of Mathematics and Statistics Ph.D. preliminary examination, PART A PURE AND APPLIED MATHEMATICS Paper BETA 17 August, 2018 1:00 p.m. - 5:00 p.m. INSTRUCTIONS: (i) This paper
More informationJune 2014 Written Certification Exam. Algebra
June 2014 Written Certification Exam Algebra 1. Let R be a commutative ring. An R-module P is projective if for all R-module homomorphisms v : M N and f : P N with v surjective, there exists an R-module
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 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 informationLECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE
LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds
More informationEach is equal to CP 1 minus one point, which is the origin of the other: (C =) U 1 = CP 1 the line λ (1, 0) U 0
Algebraic Curves/Fall 2015 Aaron Bertram 1. Introduction. What is a complex curve? (Geometry) It s a Riemann surface, that is, a compact oriented twodimensional real manifold Σ with a complex structure.
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 information1 Differentiable manifolds and smooth maps
1 Differentiable manifolds and smooth maps Last updated: April 14, 2011. 1.1 Examples and definitions Roughly, manifolds are sets where one can introduce coordinates. An n-dimensional manifold is a set
More informationReal Analysis Prelim Questions Day 1 August 27, 2013
Real Analysis Prelim Questions Day 1 August 27, 2013 are 5 questions. TIME LIMIT: 3 hours Instructions: Measure and measurable refer to Lebesgue measure µ n on R n, and M(R n ) is the collection of measurable
More informationCW-complexes. Stephen A. Mitchell. November 1997
CW-complexes Stephen A. Mitchell November 1997 A CW-complex is first of all a Hausdorff space X equipped with a collection of characteristic maps φ n α : D n X. Here n ranges over the nonnegative integers,
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationProfinite Groups. Hendrik Lenstra. 1. Introduction
Profinite Groups Hendrik Lenstra 1. Introduction We begin informally with a motivation, relating profinite groups to the p-adic numbers. Let p be a prime number, and let Z p denote the ring of p-adic integers,
More informationDefinition We say that a topological manifold X is C p if there is an atlas such that the transition functions are C p.
13. Riemann surfaces Definition 13.1. Let X be a topological space. We say that X is a topological manifold, if (1) X is Hausdorff, (2) X is 2nd countable (that is, there is a base for the topology which
More informationMath 210B. Profinite group cohomology
Math 210B. Profinite group cohomology 1. Motivation Let {Γ i } be an inverse system of finite groups with surjective transition maps, and define Γ = Γ i equipped with its inverse it topology (i.e., the
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 informationDefinably amenable groups in NIP
Definably amenable groups in NIP Artem Chernikov (Paris 7) Lyon, 21 Nov 2013 Joint work with Pierre Simon. Setting T is a complete first-order theory in a language L, countable for simplicity. M = T a
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 informationPart II. Riemann Surfaces. Year
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 96 Paper 2, Section II 23F State the uniformisation theorem. List without proof the Riemann surfaces which are uniformised
More 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 informationAlgebraic Number Theory Notes: Local Fields
Algebraic Number Theory Notes: Local Fields Sam Mundy These notes are meant to serve as quick introduction to local fields, in a way which does not pass through general global fields. Here all topological
More informationElliptic curves, Néron models, and duality
Elliptic curves, Néron models, and duality Jean Gillibert Durham, Pure Maths Colloquium 26th February 2007 1 Elliptic curves and Weierstrass equations Let K be a field Definition: An elliptic curve over
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 l-adic homology and cohomology of algebro-geometric objects of a more general nature than algebraic
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 informationCourse on Motivic Integration IV
A École normale supérieure, Paris KULeuven, Belgium MODNET Training Workshop Model theory and Applications La Roche, Belgium 20-25 April 2008 1/16 Talk 4 1 b-minimality and cell decomposition 2 3 2/16
More informationQuadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation
(September 17, 010) Quadratic reciprocity (after Weil) Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ I show that over global fields (characteristic not ) the quadratic norm residue
More informationarxiv: v3 [math.ag] 18 Feb 2018
A TROPICAL MOTIVIC FUBINI THEOREM WITH APPLICATIONS TO DONALDSON-THOMAS THEORY arxiv:1703.10228v3 [math.ag] 18 Feb 2018 JOHANNES NICAISE AND SAM PAYNE Abstract. We present a new tool for the calculation
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 informationQuadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation
(December 19, 010 Quadratic reciprocity (after Weil Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ I show that over global fields k (characteristic not the quadratic norm residue symbol
More informationUniform estimates for orbital integrals and their Fourier transforms
Uniform estimates for and their Fourier transforms Raf Cluckers, Julia Gordon and Immanuel Halupczok University of Lille, UBC, and University of Düsseldorf, respectively. April 2016, Simons Symposium,
More informationNoncommutative geometry and quantum field theory
Noncommutative geometry and quantum field theory Graeme Segal The beginning of noncommutative geometry is the observation that there is a rough equivalence contravariant between the category of topological
More informationMTH 428/528. Introduction to Topology II. Elements of Algebraic Topology. Bernard Badzioch
MTH 428/528 Introduction to Topology II Elements of Algebraic Topology Bernard Badzioch 2016.12.12 Contents 1. Some Motivation.......................................................... 3 2. Categories
More informationIntegration over Local Fields via Hrushovski-Kazhdan Motivic Integration
Integration over Local Fields via Hrushovski-Kazhdan Motivic Integration Reid Dale reiddale@math.berkeley.edu May 20, 2015 0 Introduction The goal of this document is to give a reasonably self-contained
More informationTHE ÉTALE FUNDAMENTAL GROUP OF AN ELLIPTIC CURVE
THE ÉTALE FUNDAMENTAL GROUP OF AN ELLIPTIC CURVE ARNAB KUNDU Abstract. We first look at the fundamental group, and try to find a suitable definition that can be simulated for algebraic varieties. In the
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 informationDeformation groupoids and index theory
Deformation groupoids and index theory Karsten Bohlen Leibniz Universität Hannover GRK Klausurtagung, Goslar September 24, 2014 Contents 1 Groupoids 2 The tangent groupoid 3 The analytic and topological
More informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday January 20, 2015 (Day 1)
Tuesday January 20, 2015 (Day 1) 1. (AG) Let C P 2 be a smooth plane curve of degree d. (a) Let K C be the canonical bundle of C. For what integer n is it the case that K C = OC (n)? (b) Prove that if
More informationInverse Galois Problem for C(t)
Inverse Galois Problem for C(t) Padmavathi Srinivasan PuMaGraSS March 2, 2012 Outline 1 The problem 2 Compact Riemann Surfaces 3 Covering Spaces 4 Connection to field theory 5 Proof of the Main theorem
More informationAlgebraic Geometry. Andreas Gathmann. Class Notes TU Kaiserslautern 2014
Algebraic Geometry Andreas Gathmann Class Notes TU Kaiserslautern 2014 Contents 0. Introduction......................... 3 1. Affine Varieties........................ 9 2. The Zariski Topology......................
More information(03) So when the order of { divides no N j at all then Z { (s) is holomorphic on C Now the N j are not intrinsically associated to f 1 f0g; but the or
HOLOMORPHY OF LOCAL ZETA FUNCTIONS FOR CURVES Willem Veys Introduction (01) Let K be a nite extension of the eld Q p of p{adic numbers, R the valuation ring of K, P the maximal ideal of R, and K = R=P
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 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 informationFoliations, Fractals and Cohomology
Foliations, Fractals and Cohomology Steven Hurder University of Illinois at Chicago www.math.uic.edu/ hurder Colloquium, University of Leicester, 19 February 2009 Steven Hurder (UIC) Foliations, fractals,
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 informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationAlgebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism
Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism UWO January 25, 2005 Marc Levine Prelude: From homotopy theory to A 1 -homotopy theory A basic object in homotopy theory is a generalized
More informationNONSINGULAR CURVES BRIAN OSSERMAN
NONSINGULAR CURVES BRIAN OSSERMAN The primary goal of this note is to prove that every abstract nonsingular curve can be realized as an open subset of a (unique) nonsingular projective curve. Note that
More informationLecture 7: Etale Fundamental Group - Examples
Lecture 7: Etale Fundamental Group - Examples October 15, 2014 In this lecture our only goal is to give lots of examples of etale fundamental groups so that the reader gets some feel for them. Some of
More informationFebruary 1, 2005 INTRODUCTION TO p-adic NUMBERS. 1. p-adic Expansions
February 1, 2005 INTRODUCTION TO p-adic NUMBERS JASON PRESZLER 1. p-adic Expansions The study of p-adic numbers originated in the work of Kummer, but Hensel was the first to truly begin developing the
More informationMATH 101: ALGEBRA I WORKSHEET, DAY #1. We review the prerequisites for the course in set theory and beginning a first pass on group. 1.
MATH 101: ALGEBRA I WORKSHEET, DAY #1 We review the prerequisites for the course in set theory and beginning a first pass on group theory. Fill in the blanks as we go along. 1. Sets A set is a collection
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 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 informationTame definable topological dynamics
Tame definable topological dynamics Artem Chernikov (Paris 7) Géométrie et Théorie des Modèles, 4 Oct 2013, ENS, Paris Joint work with Pierre Simon, continues previous work with Anand Pillay and Pierre
More informationMath 637 Topology Paulo Lima-Filho. Problem List I. b. Show that a contractible space is path connected.
Problem List I Problem 1. A space X is said to be contractible if the identiy map i X : X X is nullhomotopic. a. Show that any convex subset of R n is contractible. b. Show that a contractible space is
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 informationTHE JORDAN-BROUWER SEPARATION THEOREM
THE JORDAN-BROUWER SEPARATION THEOREM WOLFGANG SCHMALTZ Abstract. The Classical Jordan Curve Theorem says that every simple closed curve in R 2 divides the plane into two pieces, an inside and an outside
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 information1. Classifying Spaces. Classifying Spaces
Classifying Spaces 1. Classifying Spaces. To make our lives much easier, all topological spaces from now on will be homeomorphic to CW complexes. Fact: All smooth manifolds are homeomorphic to CW complexes.
More informationGrothendieck ring of varieties I.
Grothendieck ring of varieties I. Eckart Viehweg, informal notes for a seminar talk, Essen 6.0.08 Based on [Nic] and on some of the references given there.. Basic definitions Definition.. Let S be a noetherian
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 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 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 informationReminder on basic differential geometry
Reminder on basic differential geometry for the mastermath course of 2013 Charts Manifolds will be denoted by M, N etc. One should think of a manifold as made out of points (while the elements of a vector
More informationLectures on Galois Theory. Some steps of generalizations
= Introduction Lectures on Galois Theory. Some steps of generalizations Journée Galois UNICAMP 2011bis, ter Ubatuba?=== Content: Introduction I want to present you Galois theory in the more general frame
More informationSummer Algebraic Geometry Seminar
Summer Algebraic Geometry Seminar Lectures by Bart Snapp About This Document These lectures are based on Chapters 1 and 2 of An Invitation to Algebraic Geometry by Karen Smith et al. 1 Affine Varieties
More informationPart II. Algebraic Topology. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section II 18I The n-torus is the product of n circles: 5 T n = } S 1. {{.. S } 1. n times For all n 1 and 0
More informationDIVISOR THEORY ON TROPICAL AND LOG SMOOTH CURVES
DIVISOR THEORY ON TROPICAL AND LOG SMOOTH CURVES MATTIA TALPO Abstract. Tropical geometry is a relatively new branch of algebraic geometry, that aims to prove facts about algebraic varieties by studying
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 informationNonabelian Poincare Duality (Lecture 8)
Nonabelian Poincare Duality (Lecture 8) February 19, 2014 Let M be a compact oriented manifold of dimension n. Then Poincare duality asserts the existence of an isomorphism H (M; A) H n (M; A) for any
More informationScissors Congruence in Mixed Dimensions
Scissors Congruence in Mixed Dimensions Tom Goodwillie Brown University Manifolds, K-Theory, and Related Topics Dubrovnik June, 2014 Plan of the talk I have been exploring the consequences of a definition.
More informationComplex Cobordism and Formal Group Laws
Complex Cobordism and Formal Group Laws Yonatan Harpaz November 7, 2012 Contents 1 Cobordism Homology Theories 1 2 Stable Structures and Complex Cobordism 5 3 Formal Group Laws 9 3.1 The Universal Formal
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 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 informationCLASS FIELD THEORY WEEK Motivation
CLASS FIELD THEORY WEEK 1 JAVIER FRESÁN 1. Motivation In a 1640 letter to Mersenne, Fermat proved the following: Theorem 1.1 (Fermat). A prime number p distinct from 2 is a sum of two squares if and only
More information1.3.1 Definition and Basic Properties of Convolution
1.3 Convolution 15 1.3 Convolution Since L 1 (R) is a Banach space, we know that it has many useful properties. In particular the operations of addition and scalar multiplication are continuous. However,
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 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 informationOn the geometric Langlands duality
On the geometric Langlands duality Peter Fiebig Emmy Noether Zentrum Universität Erlangen Nürnberg Schwerpunkttagung Bad Honnef April 2010 Outline This lecture will give an overview on the following topics:
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 information