Geometric motivic integration

Size: px
Start display at page:

Download "Geometric motivic integration"

Transcription

1 Université Lille 1 Modnet Workshop 2008

2 Introduction Motivation: p-adic integration Kontsevich invented motivic integration to strengthen the following result by Batyrev. Theorem (Batyrev) If two complex Calabi-Yau varieties are birationally equivalent, then they have the same Betti numbers. Batyrev proved this result using p-adic integration and the Weil Conjectures. Kontsevich observed that Batyrev s proof could be geometrized, avoiding the passage to finite fields and yielding a stronger result: equality of Hodge numbers. The key was to replace the p-adic integers by C[[t]], and p-adic integration by motivic integration.

3 Kontsevich presented these ideas at a famous Lecture at Orsay in 1995, but never published them. The theory was developed and generalized in the following directions: Denef and Loeser developed a theory of geometric motivic integration on arbitrary algebraic varieties over a field of characteristic zero. They also created a theory of arithmetic motivic integration, with good specialization properties to p-adic integrals in a general setting, using the model theory of pseudo-finite fields. The motivic integral appears here as a universal integral, specializing to the p-adic ones for almost all p.

4 Loeser and Sebag constructed a theory of motivic integration on formal schemes and rigid varieties, working over an arbitrary complete discretely valued field with perfect residue field. Cluckers and Loeser built a very general framework for motivic integration theories, based on model theory. We will only discuss the so-called naïve geometric motivic integration on smooth algebraic varieties.

5 Outline Motivation: p-adic integration 1 Motivation: p-adic integration 2

6 Basic references: J. Denef & F. Loeser, Geometry on arc spaces of algebraic varieties, European Congress of Mathematics, Vol. 1 (Barcelona, 2000), Progr. Math. 201, 2001 W. Veys,, motivic integration and stringy invariants, Advanced Studies in Pure Mathematics 43, Proc. of Singularity Theory and its applications, Sapporo, september 2003 (2006)

7 p-adic integration Motivation: p-adic integration We fix a prime number p. For any integer n 0, we consider the compact group Z n p = (Z p ) n with its unique Haar measure µ such that µ(z n p) = 1.

8 Definition We consider, for each m, n 0, the natural projection π m : Z n p (Z p /p m+1 ) n A cylinder C in Z n p is a subset of the form (π m ) 1 (C m ), for some m 0 and some subset C m of (Z p /p m+1 ) n.

9 Lemma For any cylinder C, the series (p n(m+1) π m (C) ) m 0 is constant for m 0, and its limit is equal to the Haar measure of C. More precisely, if we choose m 0 0 such that C = (π m0 ) 1 (π m0 (C)), then for m m 0 p n(m+1) π m (C) = p n(m 0+1) π m0 (C) = µ(c)

10 Proof. For m m 0, C can be written as a disjoint union C = (a + (p m+1 Z p ) n ) a π m(c) so by translation invariance of the Haar measure and the fact that (p m+1 Z p ) n has measure p (m+1)n, we see that the measure of C equals p (m+1)n π m (C)

11 Motivation: p-adic integration If we identify Z p with the ring of Witt vectors W (F p ), then the map π m simply corresponds to the truncation map W (F p ) W m+1 (F p ) : (a 0, a 1,...) (a 0, a 1,..., a m )

12 The idea behind the theory of motivic integration is to make a similar construction, replacing W (F p ) by the ring of formal power series k[[t]] over some field k, and the map π m by the truncation map k[[t]] k[t]/(t m+1 ) : m a i t i a i t i i 0 i=0 The problem is to give meaning to the expression π m (C) if C is a cylinder in k[[t]] n for infinite fields k, and to find a candidate to replace p in the formula µ(c) = p n(m+1) π m (C) )

13 But interpreting the coefficients of a power series as affine coordinates, the set (k[[t]]/(t m+1 )) n gets the structure of the set of k-points on an affine space A (m+1)n k, and if we restrict to cylinders C such that π m (C) is constructible in A (m+1)n k, we can use the Grothendieck ring of varieties as a universal way to count points on constructible subsets of an algebraic variety. The cardinality p of F p is replaced by the number of points on the affine line A 1 k ; this is the Lefschetz motive L.

14 The price to pay is that we leave classical integration theory since our value ring will be an abstract gadget (the Grothendieck ring of varieties) instead of R.

15 k any field; k-variety= separated reduced k-scheme of finite type. Definition (Grothendieck ring of k-varieties) K 0 (Var k ) abelian group generators: isomorphism classes [X ] of k-varieties X relations: [X ] = [X \ Y ] + [Y ] for Y closed in X ( scissor relations ) Ring multiplication: [X 1 ] [X 2 ] = [(X 1 k X 2 ) red ] L = [A 1 k ] M k = K 0 (Var k )[L 1 ] for X not reduced: [X ] := [X red ]

16 If X is a k-variety and C a constructible subset of X, then C can be written as a disjoint union of locally closed subsets (subvarieties) of X and this yields a well-defined class [C] in K 0 (Var k ). If a morphism of k-varieties Y X is a Zariski-locally trivial fibration with fiber F, then [Y ] = [X ] [F ] in K 0 (Var k ). Indeed, using the scissor relations and Noetherian induction we can reduce to the case where the fibration is trivial.

17 By its very definition, the Grothendieck ring is a universal additive and multiplicative invariant of k-varieties. specialization morphisms of rings χ top : K 0 (Var k ) Z (Euler characteristic) k = C : K 0 (Var k ) Z (number of rational points) k finite So in a certain sense, taking the class [X ] of a k-variety X is the most general way to count points on X.

18 Motivation: p-adic integration Let X be a variety over k. For each integer n 0, we consider the functor F n : (k alg) (Sets) : A X (A[t]/(t n+1 )) Proposition The functor F n is representable by a separated k-scheme of finite type L n (X ), called the n-th jet scheme of X. If X is affine, then so is L n (X ).

19 Note: Saying that L n (X ) represents the functor F n simply means the following: for any k-algebra A, there exists a bijection φ A n : L n (X )(A) F n (A) = X (A[t]/t n+1 ) such that for any morphism of k-algebras h : A B, the square L n (X )(A) φ A n X (A[t]/t n+1 ) L n (X )(B) φ B n X (B[t]/t n+1 ) commutes. This property uniquely determines the k-scheme L n (X ).

20 Idea of proof: We only consider the affine case X = Spec k[x 1,..., x r ]/(f 1,..., f l ) i.e. X is the closed subvariety of A r k defined by the equations f 1 =... = f l = 0. Consider a tuple of variables (a 1,0,..., a 1,n, a 2,0,..., a r,n ) and the system of congruences f j ( for j = 1,..., l. n a 1,i t i,..., i=0 n a r,i t i ) 0 mod t n+1 i=0

21 If we replace the variables a i,j by elements of a k-algebra A, these congruences express exactly that the tuple (a 1, a 1,n t n,..., a r, a r,n t n ) A r k (A[t]/tn+1 ) lies in X (A[t]/(t n+1 )).

22 Developing, for each j, f j ( n a 1,i t i,..., i=0 n a r,i t i ) into a polynomial in t and putting the coefficient of t i equal to 0 for i = 0,..., n yields a system of l(n + 1) polynomial equations over k in the variables a i,j, and these define the scheme L n (X ) as a closed subscheme of A r(n+1) k. i=0

23 Example: Let X be the closed subvariety of A 2 k = Spec k[x, y] defined by the equation x 2 y 3 = 0. Then a point of L 2 (X ) with coordinates in some k-algebra A is a couple with x 0,..., y 2 A such that (x 0 + x 1 t + x 2 t 2, y 0 + y 1 t + y 2 t 2 ) (x 0 + x 1 t + x 2 t 2 ) 2 (y 0 + y 1 t + y 2 t 2 ) 3 0 mod t 3

24 (x 0 + x 1 t + x 2 t 2 ) 2 (y 0 + y 1 t + y 2 t 2 ) 3 0 mod t 3 Working this out, we get the equations (x 0 ) 2 (y 0 ) 3 = 0 2x 0 x 1 3(y 0 ) 2 y 1 = 0 (x 1 ) 2 + 2x 0 x 2 3y 0 (y 1 ) 2 3(y 0 ) 2 y 2 = 0 and if we view x 0,..., y 2 as affine coordinates, these equations define L 2 (X ) as a closed subscheme of A 6 k.

25 For any m n and any k-algebra A, the truncation map A[t]/t m+1 A[t]/t n+1 defines a natural transformation of functors F m F n, so by Yoneda s Lemma we get a natural truncation morphism of k-schemes π m n : L m (X ) L n (X ) This is the unique morphism such that for any k-algebra A, the square X (A[t]/t m+1 ) X (A[t]/t n+1 ) φ A m φ A n commutes. L m (X )(A) π m n L n (X )(A)

26 Since the schemes L n (X ) are affine for affine X and L n (.) takes open covers to open covers, the morphisms πn m are affine for any k-variety X, and we can take the projective limit in the category of k-schemes. L(X ) = lim n L n (X )

27 The scheme L(X ) is called the arc scheme of X. It is not Noetherian, in general. It comes with natural projection morphisms π n : L(X ) L n (X ) For any field F over k, we have a natural bijection L(X )(F ) = X (F [[t]]) and the points of these sets are called F -valued arcs on X. The morphism π n maps an arc to its truncation modulo t n+1.

28 So by definition, a F -valued arc is a morphism ψ : Spec F [[t]] X i.e. a point of X with coordinates in F [[t]]. The image of the closed point of Spec F [[t]] is called the origin of the arc and denoted by ψ(0); it is obtained by putting t = 0. An arc should be seen as an infinitesimal disc on X with origin at ψ(0).

29 We have L 0 (X ) = X and L 1 (X ) is the tangent scheme of X. The truncation morphism π 0 : L(X ) X maps an arc ψ to its origin ψ(0). A morphism of k-varieties h : Y X induces morphisms L(h) : L(Y ) L(X ) L n (h) : L n (Y ) L n (X ) commuting with the truncation maps.

30 If X is smooth over k, of pure dimension d, then the morphisms πn m are Zariski-locally trivial fibrations with fiber A d(m n) k (use étale charts and the fact that A[t]/(t m+1 ) A[t]/(t n+1 ) is a nilpotent immersion for any k-algebra A). Intuitively, arcs are local objects on X and any smooth variety of pure dimension d looks locally like an open subvariety of A d k ; but an element of L n (A d k )(A) is simply a d-tuple of elements in A[t]/t n+1.

31 If X is singular, the spaces L n (X ) and L(X ) are still quite mysterious. They contain a lot of information on the singularities of X.

32 Example: Let us go back to our previous example, where X A 2 k was given by the equation x 2 y 3 = 0. For any k-algebra A, a point on L(X ) with coordinates in A is given by a couple (x(t) = x 0 + x 1 t + x 2 t , y(t) = y 0 + y 1 t + y 2 t ) with x i, y i A, such that x(t) 2 y(t) 3 = 0. Working this out yields an infinite number of polynomial equations in the variables x i, y i and these realize L(X ) as a closed subscheme of the infinite-dimensional affine space A k = Spec k[x 0, y 0, x 1, y 1,...].

33 The truncation map π n : L(X ) L n (X ) sends (x(t), y(t)) to (x x n t n, y y n t n ) and (if A is a field) the origin of (x(t), y(t)) is simply the point (x 0, y 0 ) on X.

34 Note: If k has characteristic zero, one can give an elegant construction of the schemes L n (X ) and L(X ) using differential algebra. Assume that X is affine, say given by polynomial equations f 1 (x 1,..., x r ) =... = f l (x 1,..., x r ) in affine r-space A r k = Spec k[x 1,..., x r ]. Consider the k-algebra B = k[y 1,0,..., y r,0, y 1,1,...] and the unique k-derivation δ : B B mapping y i,j to y i,j+1 for each i, j.

35 Then L(X ) is isomorphic to the closed subscheme of Spec B defined by the equations δ (i) (f q (y 1,0,..., y r,0 )) = 0 for q = 1,..., l and i N. The point with coordinates y i,j corresponds to the arc ( j 0 y 1,j j! tj,..., y r,j j! tj ) j 0

36 Copying the notion of cylinder and the description of its Haar measure, we can define a motivic measure on a class of subsets of the arc space L(X ). From now on, we assume that X is smooth over k, of pure dimension d.

37 Definition A cylinder in L(X ) is a subset C of the form (π m ) 1 (C m ), with m 0 and C m a constructible subset of L m (X ). Note that the set of cylinders in L(X ) is a Boolean algebra, i.e. it is closed under complements, finite unions and finite intersections.

38 Definition-Lemma Let C be a cylinder in L(X ), and choose m 0 such that C = (π m ) 1 (C m ) with C m constructible in L m (X ). The value µ(c) := [π m (C)]L d(m+1) M k does not depend on m, and is called the motivic measure µ(c) of C. This follows immediately from the fact that the truncation morphisms π n m are Zariski-locally trivial fibrations with fiber A d(n m) k.

39 Example If C = L(X ), then µ(c) = L d [X ]. The normalization factor L d is added in accordance with the p-adic case, where the ring of integers gets measure one (rather then the cardinality of the residue field). Note that the motivic measure µ is additive w.r.t. finite disjoint unions.

40 In the general theory of motivic integration, one constructs a much larger class of measurable sets and one defines the motivic measure via approximation by cylinders. This necessitates replacing M k by a certain dimensional completion. We will not consider this generalization here.

41 Definition We say that a function α : L(X ) N { } is integrable if its image is finite, and if α 1 (i) is a cylinder for each i N. We define the motivic integral of α by L α = µ(α 1 (i))l i M k L(X ) i N

42 The central and most powerful tool in the theory of motivic integration is the change of variables formula. For its precise statement, we need some auxiliary notation. For any k-variety Y, any ideal sheaf J on Y and any arc ψ : Spec F [[t]] Y on Y, we define the order of J at ψ by ord t J (ψ) = min{ord t ψ f f J ψ(0) } where ord t is the t-adic valuation. In this way, we obtain a function whose fibers over N are cylinders. ord t J : L(Y ) N { }

43 Theorem (Change of variables formula) Let h : Y X be a proper birational morphism, with Y smooth over k, and denote by Jac h the Jacobian ideal of h. Let α be an integrable function on L(X ), and assume that ord t Jac h takes only finitely many values on each fiber of α L(h) over N. Then L α = L ((α L(h))+ordtJac h) in M k. L(X ) L(Y )

44 The very basic idea behind the change of variables formula is the following: if we denote by V the closed subscheme of Y defined by the Jacobian ideal Jac h, and by U its image under h, then the morphism h : Y V X U is an isomorphism. Combined with the properness of h, this implies that L(h) : L(Y ) L(V ) L(X ) L(U) is a bijection; but L(V ) and L(Y ) have measure zero in L(Y ), resp. L(X ) (w.r.t. a certain more refined motivic measure) so it is reasonable to expect that there exists a change of variables formula.

45 The jet spaces L n (Y ), however, are contracted under the morphism L n (h) : L n (Y ) L n (X ) and this affects the motivic measure of cylinders. The contraction factor is measured by the Jacobian.

Motivic integration on Artin n-stacks

Motivic 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 information

1 Notations and Statement of the Main Results

1 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 information

A 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. 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 information

Geometry of arc spaces

Geometry of arc spaces Geometry of arc spaces Tommaso de Fernex University of Utah Differential, Algebraic and Topological Methods in Complex Algebraic Geometry Cetraro, September 2018 Tommaso de Fernex (University of Utah)

More information

THE 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. 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 information

SPACES OF ARCS IN BIRATIONAL GEOMETRY

SPACES OF ARCS IN BIRATIONAL GEOMETRY SPACES OF ARCS IN BIRATIONAL GEOMETRY MIRCEA MUSTAŢǍ These lecture notes have been prepared for the Summer school on Moduli spaces and arcs in algebraic geometry, Cologne, August 2007. The goal is to explain

More information

ABSTRACT NONSINGULAR CURVES

ABSTRACT NONSINGULAR CURVES ABSTRACT NONSINGULAR CURVES Affine Varieties Notation. Let k be a field, such as the rational numbers Q or the complex numbers C. We call affine n-space the collection A n k of points P = a 1, a,..., a

More information

A SHORT COURSE ON GEOMETRIC MOTIVIC INTEGRATION

A SHORT COURSE ON GEOMETRIC MOTIVIC INTEGRATION A SHORT COURSE ON GEOMETRIC MOTIVIC INTEGRATION MANUEL BLICKLE ABSTRACT. These notes grew out of the authors effort to understand the theory of motivic integration. They give a short but thorough introduction

More information

Course on Motivic Integration IV

Course 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 information

BEZOUT S THEOREM CHRISTIAN KLEVDAL

BEZOUT 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 information

LECTURES SERIES ON MOTIVIC INTEGRATION. APPLICATIONS TO JET SCHEMES OF THE NILPOTENT CONE OF A REDUCTIVE LIE ALGEBRA by Anne Moreau

LECTURES SERIES ON MOTIVIC INTEGRATION. APPLICATIONS TO JET SCHEMES OF THE NILPOTENT CONE OF A REDUCTIVE LIE ALGEBRA by Anne Moreau LECTURES SERIES ON MOTIVIC INTEGRATION APPLICATIONS TO JET SCHEMES OF THE NILPOTENT CONE OF A REDUCTIVE LIE ALGEBRA by Anne Moreau Abstract. This note corresponds to my lecture series at ETH Zürich on

More information

arxiv:math/ v1 [math.ag] 11 Mar 1998

arxiv:math/ v1 [math.ag] 11 Mar 1998 arxiv:math/9803039v1 [math.ag] 11 Mar 1998 1. Introduction Germs of arcs on singular algebraic varieties and motivic integration Jan Denef François Loeser Revised Nov. 1997, to appear in Invent. Math.

More information

6. Lecture cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not

6. Lecture cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not 6. Lecture 6 6.1. cdh and Nisnevich topologies. These are Grothendieck topologies which play an important role in Suslin-Voevodsky s approach to not only motivic cohomology, but also to Morel-Voevodsky

More information

Resolution of Singularities in Algebraic Varieties

Resolution of Singularities in Algebraic Varieties Resolution of Singularities in Algebraic Varieties Emma Whitten Summer 28 Introduction Recall that algebraic geometry is the study of objects which are or locally resemble solution sets of polynomial equations.

More information

RATIONALITY CRITERIA FOR MOTIVIC ZETA FUNCTIONS

RATIONALITY CRITERIA FOR MOTIVIC ZETA FUNCTIONS RATIONALITY CRITERIA FOR MOTIVIC ZETA FUNCTIONS YUZHOU GU 1. Introduction Work over C. Consider K 0 Var C, the Grothendieck ring of varieties. As an abelian group, K 0 Var C is generated by isomorphism

More information

CHAPTER 6. MOTIVIC INTEGRATION. Contents

CHAPTER 6. MOTIVIC INTEGRATION. Contents CHAPTER 6. MOTIVIC INTEGRATION Contents. Grothendieck ring and generalized Euler characteristics 2. Motivic measure and integrals on smooth varieties 6 3. Change of variables formula 4. Kontsevich s theorem

More information

The Grothendieck Ring of Varieties

The Grothendieck Ring of Varieties The Grothendieck Ring of Varieties Ziwen Zhu University of Utah October 25, 2016 These are supposed to be the notes for a talk of the student seminar in algebraic geometry. In the talk, We will first define

More information

Constructible isocrystals (London 2015)

Constructible 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 information

Systems of linear equations. We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K,

Systems of linear equations. We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K, Systems of linear equations We start with some linear algebra. Let K be a field. We consider a system of linear homogeneous equations over K, f 11 t 1 +... + f 1n t n = 0, f 21 t 1 +... + f 2n t n = 0,.

More information

Math 418 Algebraic Geometry Notes

Math 418 Algebraic Geometry Notes Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R

More information

Notes on p-divisible Groups

Notes 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 information

The theory of integration says that the natural map

The 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 information

Algebraic varieties and schemes over any scheme. Non singular varieties

Algebraic 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 information

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 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 information

Exercises 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 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 information

arxiv:math/ v1 [math.ag] 19 Jul 2002

arxiv:math/ v1 [math.ag] 19 Jul 2002 ICM 2002 Vol. III 1 3 arxiv:math/0207163v1 [math.ag] 19 Jul 2002 Motivic Integration and the Grothendieck Group of Pseudo-Finite Fields J. Denef and F. Loeser Abstract Motivic integration is a powerful

More information

1. Motivation: search for a p-adic cohomology theory

1. 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 information

CHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES

CHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES CHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES BRIAN OSSERMAN The purpose of this cheat sheet is to provide an easy reference for definitions of various properties of morphisms of schemes, and basic results

More information

Lecture 3: Flat Morphisms

Lecture 3: Flat Morphisms Lecture 3: Flat Morphisms September 29, 2014 1 A crash course on Properties of Schemes For more details on these properties, see [Hartshorne, II, 1-5]. 1.1 Open and Closed Subschemes If (X, O X ) is a

More information

PROBLEMS, MATH 214A. Affine and quasi-affine varieties

PROBLEMS, MATH 214A. Affine and quasi-affine varieties PROBLEMS, MATH 214A k is an algebraically closed field Basic notions Affine and quasi-affine varieties 1. Let X A 2 be defined by x 2 + y 2 = 1 and x = 1. Find the ideal I(X). 2. Prove that the subset

More information

The weight filtration for real algebraic varieties

The weight filtration for real algebraic varieties The weight filtration for real algebraic varieties joint work with Clint McCrory, University of Georgia Adam Parusiński Université de Nice Sophia Antipolis Bill Bruce 60 and Terry Wall 75 An international

More information

Igusa fibre integrals over local fields

Igusa fibre integrals over local fields March 25, 2017 1 2 Standard definitions The map ord S The map ac S 3 Toroidal constructible functions Main Theorem Some conjectures 4 Toroidalization Key Theorem Proof of Key Theorem Igusa fibre integrals

More information

Power structure over the Grothendieck ring of varieties and generating series of Hilbert schemes of points

Power structure over the Grothendieck ring of varieties and generating series of Hilbert schemes of points arxiv:math/0407204v1 [math.ag] 12 Jul 2004 Power structure over the Grothendieck ring of varieties and generating series of Hilbert schemes of points S.M. Gusein-Zade I. Luengo A. Melle Hernández Abstract

More information

Smooth morphisms. Peter Bruin 21 February 2007

Smooth 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 information

Formal power series rings, inverse limits, and I-adic completions of rings

Formal 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 information

12. Hilbert Polynomials and Bézout s Theorem

12. 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 information

Motivic Integration: An outsider s tutorial

Motivic 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 information

MA 206 notes: introduction to resolution of singularities

MA 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 information

Construction of M B, M Dol, M DR

Construction 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 information

arxiv:math/ v1 [math.ag] 24 Nov 1998

arxiv:math/ v1 [math.ag] 24 Nov 1998 Hilbert schemes of a surface and Euler characteristics arxiv:math/9811150v1 [math.ag] 24 Nov 1998 Mark Andrea A. de Cataldo September 22, 1998 Abstract We use basic algebraic topology and Ellingsrud-Stromme

More information

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.

ALGEBRAIC 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 information

1 Existence of the Néron model

1 Existence of the Néron model Néron models Setting: S a Dedekind domain, K its field of fractions, A/K an abelian variety. A model of A/S is a flat, separable S-scheme of finite type X with X K = A. The nicest possible model over S

More information

AX-KOCHEN-ERŠOV THEOREMS FOR P -ADIC INTEGRALS AND MOTIVIC INTEGRATION. Raf Cluckers & François Loeser

AX-KOCHEN-ERŠOV THEOREMS FOR P -ADIC INTEGRALS AND MOTIVIC INTEGRATION. Raf Cluckers & François Loeser AX-KOCHEN-ERŠOV THEOREMS FOR P -ADIC INTEGRALS AND MOTIVIC INTEGRATION by Raf Cluckers & François Loeser 1. Introduction This paper is concerned with extending classical results à la Ax-Kochen-Eršov to

More information

Arithmetic Mirror Symmetry

Arithmetic Mirror Symmetry Arithmetic Mirror Symmetry Daqing Wan April 15, 2005 Institute of Mathematics, Chinese Academy of Sciences, Beijing, P.R. China Department of Mathematics, University of California, Irvine, CA 92697-3875

More information

14 Lecture 14: Basic generallities on adic spaces

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 information

Lecture 7: Etale Fundamental Group - Examples

Lecture 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 information

1.6.1 What are Néron Models?

1.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 information

Some remarks on Frobenius and Lefschetz in étale cohomology

Some 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 information

Algebraic geometry over quaternions

Algebraic geometry over quaternions Algebraic geometry over quaternions Misha Verbitsky November 26, 2007 Durham University 1 History of algebraic geometry. 1. XIX centrury: Riemann, Klein, Poincaré. Study of elliptic integrals and elliptic

More information

Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013

Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 As usual, all the rings we consider are commutative rings with an identity element. 18.1 Regular local rings Consider a local

More information

LECTURE 1. ZETA FUNCTIONS: AN OVERVIEW

LECTURE 1. ZETA FUNCTIONS: AN OVERVIEW LECTURE 1. ZETA FUNCTIONS: AN OVERVIEW Zeta functions encode the counting of certain objects of geometric, algebraic, or arithmetic behavior. What distinguishes them from other generating series are special

More information

0.1 Spec of a monoid

0.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 information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24 RAVI VAKIL CONTENTS 1. Vector bundles and locally free sheaves 1 2. Toward quasicoherent sheaves: the distinguished affine base 5 Quasicoherent and coherent sheaves

More information

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

FILTERED 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 information

CHAPTER 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 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

Math 249B. Nilpotence of connected solvable groups

Math 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 information

14. Rational maps It is often the case that we are given a variety X and a morphism defined on an open subset U of X. As open sets in the Zariski

14. Rational maps It is often the case that we are given a variety X and a morphism defined on an open subset U of X. As open sets in the Zariski 14. Rational maps It is often the case that we are given a variety X and a morphism defined on an open subset U of X. As open sets in the Zariski topology are very large, it is natural to view this as

More information

CHEVALLEY S THEOREM AND COMPLETE VARIETIES

CHEVALLEY S THEOREM AND COMPLETE VARIETIES CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized

More information

Motivic integration, the nonarchimedean Milnor fiber, and a Thom-Sebastiani formlua. Yimu Yin

Motivic integration, the nonarchimedean Milnor fiber, and a Thom-Sebastiani formlua. Yimu Yin 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

More information

ALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3

ALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3 ALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3 IZZET COSKUN AND ERIC RIEDL Abstract. We prove that a curve of degree dk on a very general surface of degree d 5 in P 3 has geometric

More information

AN INTRODUCTION TO MODULI SPACES OF CURVES CONTENTS

AN 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 information

The Zariski Spectrum of a ring

The Zariski Spectrum of a ring Thierry Coquand September 2010 Use of prime ideals Let R be a ring. We say that a 0,..., a n is unimodular iff a 0,..., a n = 1 We say that Σa i X i is primitive iff a 0,..., a n is unimodular Theorem:

More information

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY

COMPLEX 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

MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1

MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1 MATH 8254 ALGEBRAIC GEOMETRY HOMEWORK 1 CİHAN BAHRAN I discussed several of the problems here with Cheuk Yu Mak and Chen Wan. 4.1.12. Let X be a normal and proper algebraic variety over a field k. Show

More information

Algebraic 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 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 information

Non characteristic finiteness theorems in crystalline cohomology

Non characteristic finiteness theorems in crystalline cohomology Non characteristic finiteness theorems in crystalline cohomology 1 Non characteristic finiteness theorems in crystalline cohomology Pierre Berthelot Université de Rennes 1 I.H.É.S., September 23, 2015

More information

Basic results on Grothendieck Duality

Basic results on Grothendieck Duality Basic results on Grothendieck Duality Joseph Lipman 1 Purdue University Department of Mathematics lipman@math.purdue.edu http://www.math.purdue.edu/ lipman November 2007 1 Supported in part by NSA Grant

More information

SCHEMES. David Harari. Tsinghua, February-March 2005

SCHEMES. David Harari. Tsinghua, February-March 2005 SCHEMES David Harari Tsinghua, February-March 2005 Contents 1. Basic notions on schemes 2 1.1. First definitions and examples.................. 2 1.2. Morphisms of schemes : first properties.............

More information

WHAT IS MOTIVIC MEASURE?

WHAT IS MOTIVIC MEASURE? WHAT IS MOTIVIC MEASURE? THOMAS C. HALES Abstract. This article gives an exposition of the theory of arithmetic motivic measure, as developed by J. Denef and F. Loeser. 1. Preliminary Concepts There is

More information

A MORE GENERAL ABC CONJECTURE. Paul Vojta. University of California, Berkeley. 2 December 1998

A MORE GENERAL ABC CONJECTURE. Paul Vojta. University of California, Berkeley. 2 December 1998 A MORE GENERAL ABC CONJECTURE Paul Vojta University of California, Berkeley 2 December 1998 In this note we formulate a conjecture generalizing both the abc conjecture of Masser-Oesterlé and the author

More information

RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI.

RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES RIMS A Note on an Anabelian Open Basis for a Smooth Variety. Yuichiro HOSHI. RIMS-1898 A Note on an Anabelian Open Basis for a Smooth Variety By Yuichiro HOSHI January 2019 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan A Note on an Anabelian Open Basis

More information

APPENDIX 3: AN OVERVIEW OF CHOW GROUPS

APPENDIX 3: AN OVERVIEW OF CHOW GROUPS APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss

More information

On local properties of non- Archimedean analytic spaces.

On 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 information

Chern classes à la Grothendieck

Chern classes à la Grothendieck Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces

More information

3. The Sheaf of Regular Functions

3. 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 information

AN INTRODUCTION TO AFFINE SCHEMES

AN 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 information

1.5.4 Every abelian variety is a quotient of a Jacobian

1.5.4 Every abelian variety is a quotient of a Jacobian 16 1. Abelian Varieties: 10/10/03 notes by W. Stein 1.5.4 Every abelian variety is a quotient of a Jacobian Over an infinite field, every abelin variety can be obtained as a quotient of a Jacobian variety.

More information

Inseparable local uniformization. Conference on valuation theory, El Escorial

Inseparable local uniformization. Conference on valuation theory, El Escorial Inseparable local uniformization M. Temkin July 27, 2011 Conference on valuation theory, El Escorial Outline 1 General paradigm of desingularization The state of the art Main result of the talk Generalizations

More information

Topology of Nonarchimedean Analytic Spaces

Topology 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 information

SPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS

SPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS SPACES OF RATIONAL CURVES ON COMPLETE INTERSECTIONS ROYA BEHESHTI AND N. MOHAN KUMAR Abstract. We prove that the space of smooth rational curves of degree e on a general complete intersection of multidegree

More information

1 Flat, Smooth, Unramified, and Étale Morphisms

1 Flat, Smooth, Unramified, and Étale Morphisms 1 Flat, Smooth, Unramified, and Étale Morphisms 1.1 Flat morphisms Definition 1.1. An A-module M is flat if the (right-exact) functor A M is exact. It is faithfully flat if a complex of A-modules P N Q

More information

OFER GABBER, QING LIU, AND DINO LORENZINI

OFER GABBER, QING LIU, AND DINO LORENZINI PERIOD, INDEX, AND AN INVARIANT OF GROTHENDIECK FOR RELATIVE CURVES OFER GABBER, QING LIU, AND DINO LORENZINI 1. An invariant of Grothendieck for relative curves Let S be a noetherian regular connected

More information

Relative Motives and the Theory of Pseudo-finite Fields

Relative Motives and the Theory of Pseudo-finite Fields Johannes, N. (2007) Relative Motives and the Theory of Pseudo-finite Fields, International Mathematics Research Papers, Vol. 2007, Article ID rpm001, 70 pages. doi:10.1093/imrp/rpm001 Relative Motives

More information

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4)

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and

More information

1. Algebraic vector bundles. Affine Varieties

1. 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 information

A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES

A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES A SHORT PROOF OF ROST NILPOTENCE VIA REFINED CORRESPONDENCES PATRICK BROSNAN Abstract. I generalize the standard notion of the composition g f of correspondences f : X Y and g : Y Z to the case that X

More information

Lectures on Galois Theory. Some steps of generalizations

Lectures 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 information

Odds and ends on equivariant cohomology and traces

Odds 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 information

Duality, Residues, Fundamental class

Duality, Residues, Fundamental class Duality, Residues, Fundamental class Joseph Lipman Purdue University Department of Mathematics lipman@math.purdue.edu May 22, 2011 Joseph Lipman (Purdue University) Duality, Residues, Fundamental class

More information

Bjorn Poonen. MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties. January 17, 2006

Bjorn Poonen. MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional Varieties. January 17, 2006 University of California at Berkeley MSRI Introductory Workshop on Rational and Integral Points on Higher-dimensional (organized by Jean-Louis Colliot-Thélène, Roger Heath-Brown, János Kollár,, Alice Silverberg,

More information

LEVINE S CHOW S MOVING LEMMA

LEVINE S CHOW S MOVING LEMMA LEVINE S CHOW S MOVING LEMMA DENIS NARDIN The main result of this note is proven in [4], using results from [2]. What is here is essentially a simplified version of the proof (at the expense of some generality).

More information

A Mini-Course on Formal and Rigid Geometry

A Mini-Course on Formal and Rigid Geometry A Mini-Course on Formal and Rigid Geometry Padova April/May 2010 Siegfried Bosch (Münster) http://wwwmath.uni-muenster.de/u/bosch/frg-padova.pdf 1 Outline 1 Introduction Naive approach to non-archimedean

More information

Topics in Algebraic Geometry

Topics in Algebraic Geometry Topics in Algebraic Geometry Nikitas Nikandros, 3928675, Utrecht University n.nikandros@students.uu.nl March 2, 2016 1 Introduction and motivation In this talk i will give an incomplete and at sometimes

More information

VERY ROUGH NOTES ON SPECTRAL DEFORMATION THEORY

VERY ROUGH NOTES ON SPECTRAL DEFORMATION THEORY VERY ROUGH NOTES ON SPECTRAL DEFORMATION THEORY 1. Classical Deformation Theory I want to begin with some classical deformation theory, before moving on to the spectral generalizations that constitute

More information

Density of rational points on Enriques surfaces

Density of rational points on Enriques surfaces Density of rational points on Enriques surfaces F. A. Bogomolov Courant Institute of Mathematical Sciences, N.Y.U. 251 Mercer str. New York, (NY) 10012, U.S.A. e-mail: bogomolo@cims.nyu.edu and Yu. Tschinkel

More information

Cohomological Formulation (Lecture 3)

Cohomological 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 information

On Mordell-Lang in Algebraic Groups of Unipotent Rank 1

On Mordell-Lang in Algebraic Groups of Unipotent Rank 1 On Mordell-Lang in Algebraic Groups of Unipotent Rank 1 Paul Vojta University of California, Berkeley and ICERM (work in progress) Abstract. In the previous ICERM workshop, Tom Scanlon raised the question

More information

Motivic Integration. Victoria Hoskins. 30 March Supervisor: Dr. Dmitriy Rumynin

Motivic Integration. Victoria Hoskins. 30 March Supervisor: Dr. Dmitriy Rumynin Motivic Integration Victoria Hoskins 30 March 2007 Supervisor: Dr. Dmitriy Rumynin Abstract Motivic integration was introduced by Kontsevich to prove a conjecture by Batyrev, which stated that crepant

More information

Article begins on next page

Article begins on next page The class of the affine line is a zero divisor in the Grothendieck ring Rutgers University has made this article freely available. Please share how this access benefits you. Your story matters. [https://rucore.libraries.rutgers.edu/rutgers-lib/52024/story/]

More information

Constructive algebra. Thierry Coquand. May 2018

Constructive algebra. Thierry Coquand. May 2018 Constructive algebra Thierry Coquand May 2018 Constructive algebra is algebra done in the context of intuitionistic logic 1 H. Lombardi, C. Quitté Commutative Algebra: Constructive Methods, 2016 I. Yengui

More information