Igusa fibre integrals over local fields

Size: px
Start display at page:

Download "Igusa fibre integrals over local fields"

Transcription

1 March 25, 2017

2 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

3 Igusa fibre integrals Outline Let K be any n.a. local field and f : X = A n K Y = A1 K K-morphism. Consider the fibre integral I (y) = Φ(x) dx df, K x K n,f (x)=y a for any y K which is not a critical value of f, where Φ is a locally constant function on K n with compact support. Assume 0 is a critical value of f. Then on a small neighborhood of 0, I (y) is locally constant on the complement of {0}. Igusa s Theorem describes how I (y) behaves for y 0.

4 Notation for local fields Let K be any n.a. local field. We will use the following notation. O K is the valuation ring of K. ord K : K \ {0} Z the valuation of K. K the residue field of K. q := ( K) the cardinality of the residue field of K. y K := q ord K (y), for any y K. The Haar measure on K is normalized such that O K has measure 1. For any y O K, denote by ȳ the reduction modulo the maximal ideal. Let π be a fixed element of K with ord K (π) = 1. For any y K \ {0}, the angular component ac(y) := yπ ord K (y). And moreover ac(y) := ac(y).

5 Igusa s Theorem Outline Igusa s Theorem (1975) Assume char(k) = 0. For y 0 in a small enough neighborhood of 0, the fibre integral I (y) is a finite C-linear combination of functions of the form χ(ac(y)) C(ord K (y)) q E(ord K (y)) with χ a character (continuous and complex valued) of the group of units in O K, and C, E numeric quasi-polynomials on Z, deg(e) 1. A quasi-polynomial on Z (or more generally on a lattice) is a complex valued function that is given by a polynomial on each congruence class modulo a suitable modulus N 0. It is called numeric if it takes values in Z.

6 Igusa s question Outline Igusa s proof is based on embedded resolution of singularities. Can also be proved by cell decomposition (D. 1984) Igusa posed the question how this would generalize when the dimension of the target of f is > 1 (the multivariate case). First results for the multivariate case were obtained by Loeser (1988), Lichtin (1997), and D. (1998). This was for a fixed local field. The present talk is about an analog of Igusa s Theorem, yielding a description of the fibre integral in the multivariate case, which is uniform in all local fields of residue characteristic 0. Cluckers and Loeser (2005) proved, using cell decomposition, that these integrals are specializations of motivic constructible functions. In this talk I will use a different method (flat toroidalization of morphisms) to get a related result. Local toroidalization was already used by Lichtin (1997) to get bounds for some fibre integrals.

7 Strict toroidal embeddings Standard definitions The map ord S The map ac S Let R be a normal noetherian integral domain. A variety over R is a separated integral scheme of finite type over R. An inclusion U X of varieties over R is a strict toroidal embedding over R if U is smooth /R, U is dense open in X, and locally for the Zariski topology on X there is an étale morphism from X to a toric variety Spec (R[x e e ˇσ]), with U = inverse image of the big torus. D := X \ U is called the toroidal divisor. A strict toroidal embedding U X over R is called smooth if X is smooth over R. Equivalent with X smooth over R and X \ U strict normal crossings divisor on X over R. Denote the irreducible components of D by E i, i I. For J I let E J := j J E j \ i I \J E i. This is smooth over R. The irreducible components of the E J are called the strata of U X. For S a stratum, put Star(S) := {strata whose closure S}.

8 The natural map ord S Standard definitions The map ord S The map ac S Let S be stratum of the toroidal embedding U X over R, D := X \ U. Let M S = group of Cartier divisors on Star(S) with support D. Note that M S = Z codim S. If X smooth/r, then M S has standard basis {[E i ] E i S}. Let ˇσ S = cone in M S R generated by the effective Cartier divisors. Let N S = Hom(N S, Z) = Z codim S. Let σ S = dual of ˇσ S. Is a full dimensional polyhedral cone in N S R. If X smooth/r, then σ S = R codim S 0. Let R = O F, with F a number field. For any n.a. local field K F, we have a natural map: ord S : {a X (O K ) \ D(O K ) ā S} σ S N S a linear map : c ˇσ S M S ord K (x c (a)) > 0 with x c any element in O X,ā with div(x c ) = c locally at ā.

9 The natural map ac S Standard definitions The map ord S The map ac S Choose c 1,, c r ˇσ S which form a basis for the lattice M S. If X smooth/r, then choose the standard basis. The normal torus bundle N S X of S X is the restriction to S of i=1,...,r L (c i ) where L (c i ) is the line bundle of c i on X minus 0. If X smooth/r, then N S X is the normal bundle of S X minus the classes of tangent vectors to X that are tangent to some E i S. For any n.a. local field K F, we have a natural map: ac S : {a X (O K ) \ D(O K ) ā S} N S X (K) a ( ā, r i=1 ac(x i(a)) s i (ā) ) with locally at ā, div(x i ) = c i, and s i the local section 1/x i of L(c i ). If X smooth/r, then a ( ā, ( r i=1 ac(x i(a)) x i )ā ).

10 Toroidal constructible functions (1) Toroidal constructible functions Main Theorem Some conjectures Let A := Z[q, q 1, ( 1 1 q j ) j N0 ]. Let R = O F, with F a number field. Let U F X F a strict toroidal embedding over F. Let Φ be a family of functions Φ K : U F (K) C, where K runs over all n.a. local fields F, with char K 0. Definition Φ is toroidal constructible on U F w.r.t. U F X F, if for some (hence each) model U X over R of U F X F we have (uniformly for char( K) 0): 1 The support of Φ K is contained in {x X (O K ) \ D(O K )} U F (K). 2 For each stratum S of U X, the restriction of Φ K to {x X (O K ) \ D(O K ) x S} is a finite A-linear combination of functions of the form given in next slide.

11 Toroidal constructible functions (2) Toroidal constructible functions Main Theorem Some conjectures Functions of the form with (λ ac S (x) ( K)) C(ord S (x)) q E(ordS (x)) λ K 0 (Var N ) S X C a numerical quasi-polynomial on N S E a numerical quasi-polynomial on N S, with deg(e) 1

12 Toroidal constructible functions Main Theorem Some conjectures Schwartz-Bruhat constructible functions Let U F nonsing. variety over number field F. Let Φ be family of functions Φ K : U F (K) C, where K runs over all n.a. local fields F, char K 0. Definition Φ is Schwartz-Bruhat constructible on U F (S-B-constructible on U F ) if it is toroidal constructible w.r.t. the trivial toroidal embedding U F U F. Then Φ K has support U(O K ), with U a model over O F of U F. On U(O K ), Φ K is a finite A-linear combination of functions x (λ x ( K)), with λ K 0 (Var U ). Hence it is locally constant with compact support.

13 Main Theorem Outline Toroidal constructible functions Main Theorem Some conjectures Main Theorem Let f : X Y be a dominant morphism of nonsingular varieties over a number field F, and ω X, ω Y volume forms on X, Y. Let U Y Y be a dense open subset over which f is smooth. For K any n.a. local field F with char( K) 0, consider I K (y) = Φ K (x) ω X f (ω Y ), for y U Y (K), K x X (K), f (x)=y where the family (Φ K ) K is toroidal constructible on X w.r.t. some strict toroidal embedding of X. Then there exists a toroidal constructible function on some open dense subset Ǔ Y U Y, w.r.t. a smooth strict toroidal embedding of Ǔ Y, which equals I K (y) for any y Ǔ Y (K) with I K (y) absolutely convergent.

14 Conjectures Outline Toroidal constructible functions Main Theorem Some conjectures Note that the integral I K (y) always converges absolutely when Φ is S-B constructible on X. Conjecture 1. In the Main Theorem we can take Ǔ Y = U Y, if Φ is S-B constructible on X. Theorem 2. Conjecture 1 is true if the Strong Toroidalization Conjecture is true. Thus true when dim X 3 and F big enough, by Cutkosky (2007). Conjecture 2. (± Loeser s conjecture 1988) In the Main Theorem assume moreover that Φ is S-B constructible on X and that f is without blow-up. If Y \ U Y is a strict normal crossings divisor, then (I K ) K is toroidal constructible on U Y w.r.t. U Y Y.

15 Toroidalization of Morphisms, I Toroidalization Key Theorem Proof of Key Theorem Theorem: Flat Weak Toroidalization (Abramovich-Karu 2000, + ɛ) Let k be a field, char(k) = 0. Let f : X Y be a dominant morphism of k-varieties, and Z X X, Z Y Y closed subsets. Then there exist strict toroidal embeddings U X X, U Y Y, and a commutative diagram U X X m X f U Y Y m Y X f Y with m X, m Y modifications, Y nonsingular, and 1 f is flat and toroidal w.r.t. U X X, U Y Y, 2 m 1 X (Z X ) X \ U X, and m 1 Y (Z Y ) Y \ U Y, 3 the restrictions of m X, m Y to U X, U Y are open embeddings.

16 Toroidalization of Morphisms, II Toroidalization Key Theorem Proof of Key Theorem The source X of f might have singularities. Such a morphism f is called toroidal w.r.t. the given toroidal embeddings, if it is dominant, maps U X into U Y, and is locally for the étale topology (on source and target) isomorphic to a toric morphism (i.e. given by monomials) of toric k-varieties, respecting the toroidal divisors. Strong Toroidalization Conjecture (weakened) In the Weak Toroidalization Theorem assume moreover: X,Y are nonsingular, f is smooth over Y \ Z Y, and f 1 (Y \ Z Y ) = X \ Z X. Then we can choose f such that the open embeddings of U X, U Y induced by m X, m Y are surjections onto X \ Z X, Y \ Z Y.

17 Key Theorem Outline Toroidalization Key Theorem Proof of Key Theorem Key Theorem Let f : X Y be a flat toroidal morphism over a number field F, w.r.t. strict toroidal embeddings U X X, U Y Y, and ω X, ω Y volume forms on U X, U Y. Note that f UX is smooth over U Y. Assume Y is nonsingular. For K any n.a. local field F with char( K) 0, consider I K (y) = Φ K (x) ω X f (ω Y ), for y U Y (K), K x U X (K), f (x)=y where the family (Φ K ) K is toroidal constructible on U X w.r.t. U X X. Then there exists a toroidal constructible function on U Y, w.r.t. U Y Y, which equals I K (y) for any y U Y (K) with I K (y) absolutely convergent.

18 Consequences Outline Toroidalization Key Theorem Proof of Key Theorem The Main Theorem is an easy consequence of the Key Theorem, using Flat Weak Toroidalization. Alternatively it can be proved using the tame cell decomposition of Pas. In about the same way one obtains an alternative proof that the (uniform p-adic) constructible functions of Cluckers-Loeser are closed under integration, in the special case that there are no additive characters involved (by using toroidalization instead of cell decomposition). Corollary(of the Key Theorem). Loeser s Conjecture (Conjecture 2) is true if f : X Y is a toroidal morphism w.r.t. strict toroidal embeddings of an open in X and U Y Y. Indeed, a morphism without blow-up is flat.

19 The proof: preparations Toroidalization Key Theorem Proof of Key Theorem Set D X := X \ U X, D Y := Y \ U Y, the toroidal divisors. Denote by same letters models for X, Y, f,, over R = O F. Let µ tor X /Y be the measure on the fibers given locally by ωx tor K f (ωy tor) with ωx tor, ωtor Y local generators for Ωdim R X X (log D X ), Ω dim R Y Y (log D Y ). It suffices to prove the Key Theorem for the measure ω X f (ω Y ) K replaced by the toroidal measure µ tor X /Y. Let S be any stratum for U X X, and S a stratum for U Y Y with f (S) S. Consider the following commutative diagram.

20 The proof: the diagram Toroidalization Key Theorem Proof of Key Theorem {x X (O K ) \ D X (O K ) x S} f (ord S, ac S ) ( σ S N S ) N S X ( K) f {y Y (O K ) \ D Y (O K ) ȳ S } (ord S, ac S ) ( σ S N S ) N S Y ( K) f induced by morphism of lattices, and smooth morphism of torus bundles. The two vertical arrows are surjections. Toroidal Hensel s Lemma. Given y bottom-left, and α top-right, with y and α mapping to same element in bottom-right, then there exists an x top-left which maps to y and α. The µ tor X /Y -measure of the set of these x equals qdim Y dim X.

21 The proof: finishing Outline Toroidalization Key Theorem Proof of Key Theorem Summing over all strata S with f (S) S, and summing over all α, yields a very explicit formula for the fibre integral I K (y). This formula contains expressions of the form B(w) := C(v) q E(v) v σ S N S, f (v)=w for w σ S N S, where C(v), E(v) are numeric quasi-polynomials on the lattice N S, deg(e) 1. Because f is flat, a Lemma of Abramovich and Karu (2000) implies that f maps each one-dimensional face of the cone σ S into a one-dimensional face of σ S. This combinatorial fact implies that B(w) is an A-linear combination of functions of the form C (w) q E (w), with C, E numeric quasi-polynomials, deg(e ) 1 (whenever absolutely convergent).

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

where m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism

where m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism 8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the

More information

10. Smooth Varieties. 82 Andreas Gathmann

10. 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 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

Geometric motivic integration

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 information

Some questions on minimal log discrepancies

Some questions on minimal log discrepancies Some questions on minimal log discrepancies Mircea Mustaţă University of Michigan Aussois June 25, 2015 Mircea Mustaţă (University of Michigan) Some questions on minimal log discrepancies Aussois June

More information

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

Resolving singularities of varieties and families

Resolving singularities of varieties and families Resolving singularities of varieties and families Dan Abramovich Brown University Joint work with Michael Temkin and Jaros law W lodarczyk Rio de Janeiro August 7, 2018 Abramovich Resolving varieties and

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

ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES

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

Lecture 1. Toric Varieties: Basics

Lecture 1. Toric Varieties: Basics Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture

More information

HARTSHORNE EXERCISES

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

EXCLUDED HOMEOMORPHISM TYPES FOR DUAL COMPLEXES OF SURFACES

EXCLUDED HOMEOMORPHISM TYPES FOR DUAL COMPLEXES OF SURFACES EXCLUDED HOMEOMORPHISM TYPES FOR DUAL COMPLEXES OF SURFACES DUSTIN CARTWRIGHT Abstract. We study an obstruction to prescribing the dual complex of a strict semistable degeneration of an algebraic surface.

More information

Resolving singularities of varieties and families

Resolving singularities of varieties and families Resolving singularities of varieties and families Dan Abramovich Brown University Joint work with Michael Temkin and Jaros law W lodarczyk July 2018 Abramovich Resolving singularities of varieties and

More 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

Extended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module

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

Factorization of birational maps on steroids

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

9. Birational Maps and Blowing Up

9. Birational Maps and Blowing Up 72 Andreas Gathmann 9. Birational Maps and Blowing Up In the course of this class we have already seen many examples of varieties that are almost the same in the sense that they contain isomorphic dense

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

mult V f, where the sum ranges over prime divisor V X. We say that two divisors D 1 and D 2 are linearly equivalent, denoted by sending

mult V f, where the sum ranges over prime divisor V X. We say that two divisors D 1 and D 2 are linearly equivalent, denoted by sending 2. The canonical divisor In this section we will introduce one of the most important invariants in the birational classification of varieties. Definition 2.1. Let X be a normal quasi-projective variety

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

ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE

ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE DILETTA MARTINELLI, STEFAN SCHREIEDER, AND LUCA TASIN Abstract. We show that the number of marked minimal models of an n-dimensional

More information

ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE

ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE DILETTA MARTINELLI, STEFAN SCHREIEDER, AND LUCA TASIN Abstract. We show that the number of marked minimal models of an n-dimensional

More information

3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).

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

Néron Models of Elliptic Curves.

Néron Models of Elliptic Curves. Néron Models of Elliptic Curves. Marco Streng 5th April 2007 These notes are meant as an introduction and a collection of references to Néron models of elliptic curves. We use Liu [Liu02] and Silverman

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

MATH 233B, FLATNESS AND SMOOTHNESS.

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

Math 210B. Artin Rees and completions

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

4. Images of Varieties Given a morphism f : X Y of quasi-projective varieties, a basic question might be to ask what is the image of a closed subset

4. Images of Varieties Given a morphism f : X Y of quasi-projective varieties, a basic question might be to ask what is the image of a closed subset 4. Images of Varieties Given a morphism f : X Y of quasi-projective varieties, a basic question might be to ask what is the image of a closed subset Z X. Replacing X by Z we might as well assume that Z

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

(1) is an invertible sheaf on X, which is generated by the global sections

(1) is an invertible sheaf on X, which is generated by the global sections 7. Linear systems First a word about the base scheme. We would lie to wor in enough generality to cover the general case. On the other hand, it taes some wor to state properly the general results if one

More information

On the characteristic cycle of an étale sheaf

On the characteristic cycle of an étale sheaf On the characteristic cycle of an étale sheaf Takeshi Saito 25-26 septembre 2014, à l IHES Abstract For an étale sheaf on a smooth variety over a perfect field of positive characteristic, the characteristic

More information

Toroidal Embeddings and Desingularization

Toroidal Embeddings and Desingularization California State University, San Bernardino CSUSB ScholarWorks Electronic Theses, Projects, and Dissertations Office of Graduate Studies 6-2018 Toroidal Embeddings and Desingularization LEON NGUYEN 003663425@coyote.csusb.edu

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

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

Tunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society

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

Néron models of abelian varieties

Néron models of abelian varieties Néron models of abelian varieties Matthieu Romagny Summer School on SGA3, September 3, 2011 Abstract : We present a survey of the construction of Néron models of abelian varieties, as an application of

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

Homogeneous Coordinate Ring

Homogeneous Coordinate Ring Students: Kaiserslautern University Algebraic Group June 14, 2013 Outline Quotients in Algebraic Geometry 1 Quotients in Algebraic Geometry 2 3 4 Outline Quotients in Algebraic Geometry 1 Quotients in

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

(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

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

NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY

NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY RUNE HAUGSENG The aim of these notes is to define flat and faithfully flat morphisms and review some of their important properties, and to define the fpqc

More information

Introduction to toric geometry

Introduction to toric geometry Introduction to toric geometry Ugo Bruzzo Scuola Internazionale Superiore di Studi Avanzati and Istituto Nazionale di Fisica Nucleare Trieste ii Instructions for the reader These are work-in-progress notes

More information

Proof of the Shafarevich conjecture

Proof of the Shafarevich conjecture Proof of the Shafarevich conjecture Rebecca Bellovin We have an isogeny of degree l h φ : B 1 B 2 of abelian varieties over K isogenous to A. We wish to show that h(b 1 ) = h(b 2 ). By filtering the kernel

More 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

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

BOUNDEDNESS OF MODULI OF VARIETIES OF GENERAL TYPE

BOUNDEDNESS OF MODULI OF VARIETIES OF GENERAL TYPE BOUNDEDNESS OF MODULI OF VARIETIES OF GENERAL TYPE CHRISTOPHER D. HACON, JAMES M C KERNAN, AND CHENYANG XU Abstract. We show that the family of semi log canonical pairs with ample log canonical class and

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

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

Wild ramification and the characteristic cycle of an l-adic sheaf

Wild ramification and the characteristic cycle of an l-adic sheaf Wild ramification and the characteristic cycle of an l-adic sheaf Takeshi Saito March 14 (Chicago), 23 (Toronto), 2007 Abstract The graded quotients of the logarithmic higher ramification groups of a local

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

Artin Approximation and Proper Base Change

Artin Approximation and Proper Base Change Artin Approximation and Proper Base Change Akshay Venkatesh November 9, 2016 1 Proper base change theorem We re going to talk through the proof of the Proper Base Change Theorem: Theorem 1.1. Let f : X

More information

Elliptic curves, Néron models, and duality

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

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 26

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 26 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 26 RAVI VAKIL CONTENTS 1. Proper morphisms 1 Last day: separatedness, definition of variety. Today: proper morphisms. I said a little more about separatedness of

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 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL

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

Logarithmic geometry and moduli

Logarithmic geometry and moduli Logarithmic geometry and moduli Lectures at the Sophus Lie Center Dan Abramovich Brown University June 16-17, 2014 Abramovich (Brown) Logarithmic geometry and moduli June 16-17, 2014 1 / 1 Heros: Olsson

More information

arxiv: v2 [math.ag] 1 Jan 2011

arxiv: v2 [math.ag] 1 Jan 2011 Okounkov bodies on projectivizations of rank two toric vector bundles José Luis González 1 Department of Mathematics, University of Michigan, Ann Arbor, MI 48109, USA arxiv:0911.2287v2 [math.ag] 1 Jan

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

Boundary of Cohen-Macaulay cone and asymptotic behavior of system of ideals

Boundary of Cohen-Macaulay cone and asymptotic behavior of system of ideals Boundary of Cohen-Macaulay cone and asymptotic behavior of system of ideals Kazuhiko Kurano Meiji University 1 Introduction On a smooth projective variety, we can define the intersection number for a given

More information

Factorization of birational maps for qe schemes in characteristic 0

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

INTERSECTION THEORY CLASS 7

INTERSECTION THEORY CLASS 7 INTERSECTION THEORY CLASS 7 RAVI VAKIL CONTENTS 1. Intersecting with a pseudodivisor 1 2. The first Chern class of a line bundle 3 3. Gysin pullback 4 4. Towards the proof of the big theorem 4 4.1. Crash

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

Math 6140 Notes. Spring Codimension One Phenomena. Definition: Examples: Properties:

Math 6140 Notes. Spring Codimension One Phenomena. Definition: Examples: Properties: Math 6140 Notes. Spring 2003. 11. Codimension One Phenomena. A property of the points of a variety X holds in codimension one if the locus of points for which the property fails to hold is contained in

More information

where Σ 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

where Σ 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 information

Sections of tropicalization maps (joint work with Walter Gubler and Joe Rabinoff)

Sections of tropicalization maps (joint work with Walter Gubler and Joe Rabinoff) Sections of tropicalization maps (joint work with Walter Gubler and Joe Rabinoff) Annette Werner Goethe Universität Frankfurt am Main AMS Summer Institute in Algebraic Geometry 2015 1 / 32 Sections of

More information

Motivic zeta functions and infinite cyclic covers

Motivic zeta functions and infinite cyclic covers Motivic zeta functions and infinite cyclic covers Manuel González Villa, Anatoly Libgober, and Laurenţiu Maxim To Lawrence Ein on the occasion of his 60th birthday Abstract. We associate with an infinite

More information

On log flat descent. Luc Illusie, Chikara Nakayama, and Takeshi Tsuji

On log flat descent. Luc Illusie, Chikara Nakayama, and Takeshi Tsuji On log flat descent Luc Illusie, Chikara Nakayama, and Takeshi Tsuji Abstract We prove the log flat descent of log étaleness, log smoothness, and log flatness for log schemes. Contents 1. Review of log

More information

A Gauss-Bonnet theorem for constructible sheaves on reductive groups

A Gauss-Bonnet theorem for constructible sheaves on reductive groups A Gauss-Bonnet theorem for constructible sheaves on reductive groups V. Kiritchenko 1 Introduction In this paper, we prove an analog of the Gauss-Bonnet formula for constructible sheaves on reductive groups.

More information

SIMONS SYMPOSIUM 2015: OPEN PROBLEM SESSIONS

SIMONS SYMPOSIUM 2015: OPEN PROBLEM SESSIONS SIMONS SYMPOSIUM 2015: OPEN PROBLEM SESSIONS The 2015 Simons Symposium on Tropical and Nonarchimedean Geometry included two open problem sessions, in which leading experts shared questions and conjectures

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

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

Logarithmic geometry and rational curves

Logarithmic geometry and rational curves Logarithmic geometry and rational curves Summer School 2015 of the IRTG Moduli and Automorphic Forms Siena, Italy Dan Abramovich Brown University August 24-28, 2015 Abramovich (Brown) Logarithmic geometry

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

(*) I heartily thank C. Nakayama for a careful reading of a first draft and many helpful comments.

(*) I heartily thank C. Nakayama for a careful reading of a first draft and many helpful comments. On Gabber s refined uniformization [Ga1] Luc Illusie Talks at the University of Tokyo, Jan. 17, 22, 31, Feb. 7, 2008 Preliminary notes, March 1, 2009 (*) 1. Statement of refined uniformization and refined

More information

A Humble Example of Notions of Divisor

A Humble Example of Notions of Divisor A Humble Example of Notions of Divisor Gohan May 16, 2013 I must apologize for my morbid procrastination. Due to my incapability of understanding advanced mathematics, I was rather tortured by my previous

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

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

Intersecting valuation rings in the Zariski-Riemann space of a field

Intersecting valuation rings in the Zariski-Riemann space of a field Intersecting valuation rings in the Zariski-Riemann space of a field Bruce Olberding Department of Mathematical Sciences New Mexico State University November, 2015 Motivation from Birational Algebra Problem:

More information

Raynaud on F -vector schemes and prolongation

Raynaud on F -vector schemes and prolongation Raynaud on F -vector schemes and prolongation Melanie Matchett Wood November 7, 2010 1 Introduction and Motivation Given a finite, flat commutative group scheme G killed by p over R of mixed characteristic

More information

MOISHEZON SPACES IN RIGID GEOMETRY

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

HYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA

HYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA HYPERSURFACES IN PROJECTIVE SCHEMES AND A MOVING LEMMA OFER GABBER, QING LIU, AND DINO LORENZINI Abstract. Let X/S be a quasi-projective morphism over an affine base. We develop in this article a technique

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 27 RAVI VAKIL CONTENTS 1. Proper morphisms 1 2. Scheme-theoretic closure, and scheme-theoretic image 2 3. Rational maps 3 4. Examples of rational maps 5 Last day:

More information

Mirror symmetry. Mark Gross. July 24, University of Cambridge

Mirror symmetry. Mark Gross. July 24, University of Cambridge University of Cambridge July 24, 2015 : A very brief and biased history. A search for examples of compact Calabi-Yau three-folds by Candelas, Lynker and Schimmrigk (1990) as crepant resolutions of hypersurfaces

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

TROPICAL BRILL-NOETHER THEORY

TROPICAL BRILL-NOETHER THEORY TROPICAL BRILL-NOETHER THEORY 11. Berkovich Analytification and Skeletons of Curves We discuss the Berkovich analytification of an algebraic curve and its skeletons, which have the structure of metric

More information

div(f ) = D and deg(d) = deg(f ) = d i deg(f i ) (compare this with the definitions for smooth curves). Let:

div(f ) = D and deg(d) = deg(f ) = d i deg(f i ) (compare this with the definitions for smooth curves). Let: Algebraic Curves/Fall 015 Aaron Bertram 4. Projective Plane Curves are hypersurfaces in the plane CP. When nonsingular, they are Riemann surfaces, but we will also consider plane curves with singularities.

More information

arxiv: v2 [math.ag] 29 Aug 2009

arxiv: v2 [math.ag] 29 Aug 2009 LOGARITHMIC GEOMETRY, MINIMAL FREE RESOLUTIONS AND TORIC ALGEBRAIC STACKS arxiv:0707.2568v2 [math.ag] 29 Aug 2009 ISAMU IWANARI Abstract. In this paper we will introduce a certain type of morphisms of

More information

Spherical varieties and arc spaces

Spherical varieties and arc spaces Spherical varieties and arc spaces Victor Batyrev, ESI, Vienna 19, 20 January 2017 1 Lecture 1 This is a joint work with Anne Moreau. Let us begin with a few notations. We consider G a reductive connected

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

Rings With Topologies Induced by Spaces of Functions

Rings With Topologies Induced by Spaces of Functions Rings With Topologies Induced by Spaces of Functions Răzvan Gelca April 7, 2006 Abstract: By considering topologies on Noetherian rings that carry the properties of those induced by spaces of functions,

More information

Qualifying Exams I, 2014 Spring

Qualifying Exams I, 2014 Spring Qualifying Exams I, 2014 Spring 1. (Algebra) Let k = F q be a finite field with q elements. Count the number of monic irreducible polynomials of degree 12 over k. 2. (Algebraic Geometry) (a) Show that

More information

The Grothendieck-Katz Conjecture for certain locally symmetric varieties

The Grothendieck-Katz Conjecture for certain locally symmetric varieties The Grothendieck-Katz Conjecture for certain locally symmetric varieties Benson Farb and Mark Kisin August 20, 2008 Abstract Using Margulis results on lattices in semi-simple Lie groups, we prove the Grothendieck-

More information

Vojta s conjecture and level structures on abelian varieties

Vojta s conjecture and level structures on abelian varieties Vojta s conjecture and level structures on abelian varieties Dan Abramovich, Brown University Joint work with Anthony Várilly-Alvarado and Keerthi Padapusi Pera ICERM workshop on Birational Geometry and

More information

THE SHIMURA-TANIYAMA FORMULA AND p-divisible GROUPS

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

12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n

12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n 12. Linear systems Theorem 12.1. Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s

More information

STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY

STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY ALEXANDER MERKURJEV 1. Introduction Let p be a prime integer. For a pair of topological spaces A X we write H i (X, A; Z/pZ) for the i-th singular cohomology group

More information

DEFORMATIONS VIA DIMENSION THEORY

DEFORMATIONS VIA DIMENSION THEORY DEFORMATIONS VIA DIMENSION THEORY BRIAN OSSERMAN Abstract. We show that standard arguments for deformations based on dimension counts can also be applied over a (not necessarily Noetherian) valuation ring

More information