Grothendieck ring of varieties I.
|
|
- Alban Welch
- 5 years ago
- Views:
Transcription
1 Grothendieck ring of varieties I. Eckart Viehweg, informal notes for a seminar talk, Essen Based on [Nic] and on some of the references given there.. Basic definitions Definition.. Let S be a noetherian scheme. () The Grothendieck group K 0 (Var S ) is the abelian group generated by isomorphism classes [X/S] of separated S-schemes X of finite type, with the relation [X/S] = [(X \ Y )/S] + [Y/S] if Y X is a closed immersion. (2) A product is defined by the fibre product [X/S] [Y/S] = [X S Y/S], and the resulting ring is called the Grothendieck ring. (3) L S := [A S ]. Remarks.2. ) Here (X \ Y ) is the open subscheme with underlying space (X red \ Y red ) and with the scheme structure inherited by X. In particular, for Y = X red one gets [X/S] = [X red /S red ] = [X red /S]. 2) So for a field k and S = Spec(k) one can as well consider reduced, separated, not necessarily irreducible k-schemes (= k-varieties) and K 0 (Var S ) = K 0 (Var k ) = Z [ [X]; [X] an isomorphy class of k-varieties X ] where [ ] satisfies [X] = [U] + [Z] if Z X is closed and U = X \ Z. We write L k = L S or just L in this case. Example.3. Let C be a complex rational curve with a cusp, and let τ : P C be the normalization. Then [C] = [P ] = L + in K 0 (Var C ). Definition.4. Given a morphism π : T S of noetherian schemes, one has the base change map π : K 0 (Var S ) K 0 (Var T ). If π : T S is separated and of finite type one also has the forgetful map In particular this will allow to consider π : K 0 (Var T ) K 0 (Var S ). ι : K 0 (Var k ) K 0 (Var K ) with [X] [X k K] for field extensions k K (and ι : Spec(K) Spec(k)) for finite field extensions. ι : K 0 (Var K ) K 0 (Var k ) with [X/K] [X/k] Remarks.5. π is a ring homomorphism, whereas π is just a morphism of (additive) groups. General Principle. Several geometric data of k-varieties respect the relation. Needed:The data must be compatible with the relation. In particular this holds for cohomology theories if one takes the alternating sums over dimensions.
2 2 Examples.6. i. Euler Characteristic: k = C. Then χ top : K 0 (Var k ) Z with X i 0 ( ) i dim(h i c(x(c), Q)) is well defined. Moreover χ top (L) =. ii. Counting points: Let k be a finite field. Then # : K 0 (Var k ) Z with X #X(k) is well defined. iii. Hodge-Deligne: k = C. Then one defines the Hodge-Deligne polynomial HD(X; u, v) := k 0( ) k h p,q (H k c (X(C), C))u p v q, where h p,q (H k c (X(C), C)) denotes the dimension of the (p, q) part of Deligne s mixed Hodge structure. Then HD( ; u, v) defines a ring morphism Definition.7. HD : K 0 (Var C ) Z[u, v]. K (bl) 0 (Var k ) = Z [ [X] bl ; [X] bl an isomorphy class of smooth projectivek-varieties ], where [ ] bl satisfies the blow-up relations: [ ] bl = 0 If Y is a closed subvariety of X, smooth over k, if X X is the blow-up of X with center Y, and if E = X X Y is the exceptional divisor, then [X ] bl [E] bl = [X] bl [Y ] bl. Again the product is induced by fibre products over k (one has to check the compatibility with the blowup relation for [ ] bl ). Theorem.8 (Franziska Bittner/Heinloth). If char(k) = 0 the natural map K (bl) 0 (Var k ) K 0 (Var k ) with [X] bl [X] is an isomorphism. Idea of Proof. Obviously the map is well defined. Hironaka & Chow s Lemma & Stratification = surjective. For the injectivity, one uses two steps: First replace non-singular, projective by projective. Then one has to modify the equivalence relation to [X] [Y ] = [X ] [Y ] X \ Y = X \ Y. In particular the equivalence relation is generated by ones, induced by birational maps. Finally, if one adds non-singular, this makes only sense for Y non-singular. Here one has to use the: Theorem.9 (Weak Factorization (see [AKMW])). Let φ : X X 2 be a birational map between complete nonsingular algebraic varieties X and X 2 over an algebraically closed field k of characteristic zero, and let U X be an open set where φ is an isomorphism. Then φ can be factored into a sequence of blowing ups
3 and blowing downs with smooth irreducible centers disjoint from U, namely, there exists a sequence of birational maps between complete nonsingular algebraic varieties ϕ ϕ 2 X = V 0 V ϕ i V i ϕ i+ V i+ ϕ i+2 ϕl V l ϕ l V l = X 2 where () φ = ϕ l ϕ l ϕ 2 ϕ, (2) ϕ i are isomorphisms on U, and (3) either ϕ i : V i V i+ or ϕ i : V i+ V i is a morphism obtained by blowing up a smooth irreducible center disjoint from U. Furthermore, there is an index i 0 such that for all i i 0 the map V i X is a projective morphism, and for all i i 0 the map V i X 2 is a projective morphism. In particular, if X and X 2 are projective then all the V i are projective. Definition.0. () Two irreducible smooth projective k-varieties X and Y are stably birational, if X k P n k is birational to Y k P m k. (2) Let SB denote the set of equivalence classes for stably birational, and let Z[SB] be the free abelian group on SB. Consider the map from the free abelian group over all isomorphy classes of nonsingular projective varieties to Z[SB]. By the Theorem of Franziska it factors through K 0 (Var k ). Theorem. (Larsen-Lunts). If char(k) = 0 the map [X] bl stably birational equivalence class of X, defines an isomorphism Ψ SB : K 0 (Var k )/LK 0 (Var k ) Z[SB]. Idea of Proof. One has L = [P ], hence modulo L one finds in Theorem.8 that [E] = [Y ]. So dividing by L just leaves birational equivalence as relation. Let Z[AV k ] denote the free abelian group generated by the isomorphism classes of abelian varieties, equipped with the ring structure given by products. Corollary.2. If char(k) = 0 then the Albanese map induces Alb : K 0 (Var k ) Z[AV k ]. In particular, for abelian varieties A and B one has: [A] = [B] K 0 (Var k ) A = B. Proof. Alb is invariant under stably birational equivalence. 2. Zero-divisors in K 0 (Var k ) Theorem 2. (Poonen). If char(k) = 0, then K 0 (Var k ) has zero-divisors. To be more precise: Theorem 2.2 (Poonen). There exist abelian varieties A and B, defined over Q such that ([A] [B]) ([A] + [B]) = 0 but with ι [A] ι [B] for all field extensions Q k. Proof. One has to find A and B with A 2 = B 2 but with A k = Bk for A k = A Q k and B k = B Q k. In fact, by Corollary.2, the latter implies that ι [A] = [A k ] [B k ] = ι [B]. 3
4 4 To find such A and B Poonen starts with two isogenous but non-isomorphic abelian varieties A and B. In particular the kernel K of A B is part of the n-division points A(n), for some n but not the whole group. If A A has enough automorphisms, one can hope that there, say τ : A A A A such that the image of K K maps isomorphically to {e} A(n). Then B B would be isomorphic to A A. This is perhaps a bit naive, and Poonen uses newforms, Eichler-Shimura and computer algebra to find A and B as abelian varieties over Q. Example 2.3 (Kollár). Let k be a field, char(k) = 0. Assume that there is a nontrivial form of P, i.e. a non-singular projective curve C 0 of genus 0, which is not isomorphic to P k, but becomes isomorphic to P K over some field K, algebraic over k. As well known, a non-trivial form C 0 of P has no k-rational point (in particular k is not C ) and one can choose the extension K/k to be of degree 2. For example, over Q one can take the zero-set C 0 of X 2 + y 2 + z 2 in P 2 Q = P(Q[x, y, z]). In general, if S is a base scheme, and if C S is a form of P, e.g. a conic bundle, then C is S-isomorphic to P S if and only if C S has a section. Choosing the diagonal as a section one finds that C 0 k C 0 = P C0 = P k k C 0. So [C 0 ] ([C 0 ] [P k ]) = [C 0 k C 0 ] [C 0 k P k ] = 0. If [C 0] = [P k ], apply Theorem. (Here we need that char(k) = 0). So C 0 P n k has to be birational to Pn+ k. In particular C 0 P n k (k), which implies that C 0(k), contradicting the choice of C 0. Then [C 0 ] [P k ] and [C 0] is a zero-divisor in K 0 (Var k ). Theorem 2.4 (Nicaise, Rökaeus). If k is a non-separably closed field, then there are zero-divisors in K 0 (Var k ). Construction. Choose a non-trivial finite Galois extension K of k of degree d. Then Spec(K) k Spec(K) = d Spec(K) and hence [Spec(K)] (Spec(K) d) = 0. It remains to verify: Claim 2.5. [Spec(K)] 0 and [Spec(K)] d in K 0 (Var k ). The first inequality is obvious. For the second one, assume first that k is a finite field. Then the number of k-rational points of [Spec(K)] is zero, whereas #(d) = d. In general, one replaces k by a field, finitely generated over Q or F p, and then one specializes to a finite field. By using the Chebotarev density theorem, one can do so in such a way, that the corresponding field extension does not split completely. 3. Questions and comments Question 3.. Is L k a zero-divisor in K 0 (Var k )? Of course L k = [P ] [(0, )]. So the Question 3. is related to: Question 3.2. Let X be a projective smooth k-variety and let x X(k) be a rational point. Can [X \ x] be a zero-divisor in K 0 (Var k )?
5 One can ask the question, whether there are non-trivial forms of A n, i.e. varieties Y over k with A n K = Y k K over some finite separable extension K of k. For A k the answer is no, since G m Aut(A ) G a 0 is exact, and hence H ét (k, Aut(A )) = 0. T. Kambayashi has shown that there is no form of A 2. Nevertheless the cut and paste relation allows to construct forms of A 2 in K 0 (Var k ). Example 3.3. Let C k P 2 k be a non-trivial form of P k over some field k, and C K = P K. Then [P 2 k \ C k] = [P 2 k ] [C k] is a form of [A 2 k ]. In fact, [P 2 K \ C K ] = [P 2 K] [C K ] = [P 2 K] [P K] = [A 2 K]. A more complicated example, due to [Esnault, Viehweg], give singular forms of [A 2 k ]. They also show that [Lo, Lemma 5.] does not extend to the equivariant version of K 0 (Var k ). Example 3.4. For k = Q K = Q( ) there exists an element [Z] K 0 (Var k ) with [Z] 2 L k = [A 2 k ] but with ι [Z] = 2 L K = [A 2 K ] in K 0(Var k ). Moreover [Z] is a singular variety, and a quotient of [A 2 K ] by a group G, with 0 Z/2 G Z/2 = Gal(K/k) 0. References [AKMW] Abramovich, Dan; Karu, Kalle; Matsuki, Kenji; W lodarczyk, Jaros law: Torification and factorization of birational maps. J. Amer. Math. Soc. 5 (2002), [Lo] Looijenga, E.: Motivic measures, Séminaire Bourbaki 999/2000, exp volume 276 Astérisque, [Nic] Nicaise, Johannes : A trace formula for varieties over a discretely valued field. preprint 5
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 informationCHAPTER 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 informationMOTIVIC ANALYTIC NUMBER THEORY
MOTIVIC ANALYTIC NUMBER THEORY DANIEL LITT 1. Introduction [I d like to talk about some connections between topology, number theory, and algebraic geometry, arising from the study of configurations of
More informationRATIONALITY 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 informationIsogeny invariance of the BSD conjecture
Isogeny invariance of the BSD conjecture Akshay Venkatesh October 30, 2015 1 Examples The BSD conjecture predicts that for an elliptic curve E over Q with E(Q) of rank r 0, where L (r) (1, E) r! = ( p
More informationMath 248B. Applications of base change for coherent cohomology
Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).
More informationOn Rational Points of Varieties over Complete Local Fields with Algebraically Closed Residue Field
On Rational Points of Varieties over Complete Local Fields with Algebraically Closed Residue Field Dissertation zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften (Dr. rer. nat.)
More informationFactorization of birational maps on steroids
Factorization of birational maps on steroids IAS, April 14, 2015 Dan Abramovich Brown University April 14, 2015 This is work with Michael Temkin (Jerusalem) Abramovich (Brown) Factorization of birational
More informationGeometric Chevalley-Warning conjecture
Geometric Chevalley-Warning conjecture June Huh University of Michigan at Ann Arbor June 23, 2013 June Huh Geometric Chevalley-Warning conjecture 1 / 54 1. Chevalley-Warning type theorems June Huh Geometric
More informationLECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL
LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion
More informationNotes on p-divisible Groups
Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete
More informationFAKE PROJECTIVE SPACES AND FAKE TORI
FAKE PROJECTIVE SPACES AND FAKE TORI OLIVIER DEBARRE Abstract. Hirzebruch and Kodaira proved in 1957 that when n is odd, any compact Kähler manifold X which is homeomorphic to P n is isomorphic to P n.
More informationArticle 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 informationMA 206 notes: introduction to resolution of singularities
MA 206 notes: introduction to resolution of singularities Dan Abramovich Brown University March 4, 2018 Abramovich Introduction to resolution of singularities 1 / 31 Resolution of singularities Let k be
More informationChern 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 informationLECTURE 6: THE ARTIN-MUMFORD EXAMPLE
LECTURE 6: THE ARTIN-MUMFORD EXAMPLE In this chapter we discuss the example of Artin and Mumford [AM72] of a complex unirational 3-fold which is not rational in fact, it is not even stably rational). As
More informationFactorization of birational maps for qe schemes in characteristic 0
Factorization of birational maps for qe schemes in characteristic 0 AMS special session on Algebraic Geometry joint work with M. Temkin (Hebrew University) Dan Abramovich Brown University October 24, 2014
More informationFIELDS OF DEFINITION OF RATIONAL POINTS ON VARIETIES
FIELDS OF DEFINITION OF RATIONAL POINTS ON VARIETIES JORDAN RIZOV Abstract. Let X be a scheme over a field K and let M X be the intersection of all subfields L of K such that X has a L-valued point. In
More informationCANONICAL BUNDLE FORMULA AND VANISHING THEOREM
CANONICAL BUNDLE FORMULA AND VANISHING THEOREM OSAMU FUJINO Abstract. In this paper, we treat two different topics. We give sample computations of our canonical bundle formula. They help us understand
More informationA MOTIVIC FUBINI THEOREM FOR THE TROPICALIZATION MAP. Notation. Let k be an algebraically closed field of characteristic zero.
A MOTIVIC FUBINI THEOREM FOR THE TROPICALIZATION MAP JOHANNES NICAISE Abstract. This is a write-up of a lecture delivered at the 2017 Simons Symposium on non-archimedean and tropical geometry. The lecture
More information1 Notations and Statement of the Main Results
An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main
More informationA NOTE ON RETRACTS AND LATTICES (AFTER D. J. SALTMAN)
A NOTE ON RETRACTS AND LATTICES (AFTER D. J. SALTMAN) Z. REICHSTEIN Abstract. This is an expository note based on the work of D. J. Saltman. We discuss the notions of retract rationality and retract equivalence
More informationArakelov theory and height bounds
Abstract Arakelov theory and height bounds Peter Bruin Berlin, 7 November 2009 In the work of Edixhoven, Couveignes et al. (see [5] and [4]) on computing two-dimensional Galois representations associated
More informationCOMPLEX ALGEBRAIC SURFACES CLASS 9
COMPLEX ALGEBRAIC SURFACES CLASS 9 RAVI VAKIL CONTENTS 1. Construction of Castelnuovo s contraction map 1 2. Ruled surfaces 3 (At the end of last lecture I discussed the Weak Factorization Theorem, Resolution
More informationAN INTRODUCTION TO MODULI SPACES OF CURVES CONTENTS
AN INTRODUCTION TO MODULI SPACES OF CURVES MAARTEN HOEVE ABSTRACT. Notes for a talk in the seminar on modular forms and moduli spaces in Leiden on October 24, 2007. CONTENTS 1. Introduction 1 1.1. References
More informationLecture 7: Etale Fundamental Group - Examples
Lecture 7: Etale Fundamental Group - Examples October 15, 2014 In this lecture our only goal is to give lots of examples of etale fundamental groups so that the reader gets some feel for them. Some of
More informationEXAMPLES OF CALABI-YAU 3-MANIFOLDS WITH COMPLEX MULTIPLICATION
EXAMPLES OF CALABI-YAU 3-MANIFOLDS WITH COMPLEX MULTIPLICATION JAN CHRISTIAN ROHDE Introduction By string theoretical considerations one is interested in Calabi-Yau manifolds since Calabi-Yau 3-manifolds
More informationOn 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 informationLECTURES ON SINGULARITIES AND ADJOINT LINEAR SYSTEMS
LECTURES ON SINGULARITIES AND ADJOINT LINEAR SYSTEMS LAWRENCE EIN Abstract. 1. Singularities of Surfaces Let (X, o) be an isolated normal surfaces singularity. The basic philosophy is to replace the singularity
More informationIf F is a divisor class on the blowing up X of P 2 at n 8 general points p 1,..., p n P 2,
Proc. Amer. Math. Soc. 124, 727--733 (1996) Rational Surfaces with K 2 > 0 Brian Harbourne Department of Mathematics and Statistics University of Nebraska-Lincoln Lincoln, NE 68588-0323 email: bharbourne@unl.edu
More informationProjective Images of Kummer Surfaces
Appeared in: Math. Ann. 299, 155-170 (1994) Projective Images of Kummer Surfaces Th. Bauer April 29, 1993 0. Introduction The aim of this note is to study the linear systems defined by the even resp. odd
More informationINTERSECTION THEORY CLASS 12
INTERSECTION THEORY CLASS 12 RAVI VAKIL CONTENTS 1. Rational equivalence on bundles 1 1.1. Intersecting with the zero-section of a vector bundle 2 2. Cones and Segre classes of subvarieties 3 2.1. Introduction
More informationGood reduction of the Brauer Manin obstruction
Good reduction of the Brauer Manin obstruction A joint work in progress with J-L. Colliot-Thélène Imperial College London Schloss Thurnau, July 2010 Notation: k is a number field, k v is the completion
More information7. Classification of Surfaces The key to the classification of surfaces is the behaviour of the canonical
7. Classification of Surfaces The key to the classification of surfaces is the behaviour of the canonical divisor. Definition 7.1. We say that a smooth projective surface is minimal if K S is nef. Warning:
More informationUnramified CFT for proper smooth varieties
Unramified CFT for proper smooth varieties APRAMEYO PAL November 13, 2014 Abstract We will study unramified class field theory for higher dimensional proper smooth varieties. 0 Classical CFT Let X be a
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 41
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 41 RAVI VAKIL CONTENTS 1. Normalization 1 2. Extending maps to projective schemes over smooth codimension one points: the clear denominators theorem 5 Welcome back!
More informationHARTSHORNE EXERCISES
HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing
More informationON SUBADDITIVITY OF THE LOGARITHMIC KODAIRA DIMENSION
ON SUBADDITIVITY OF THE LOGARITHMIC KODAIRA DIMENSION OSAMU FUJINO Abstract. We reduce Iitaka s subadditivity conjecture for the logarithmic Kodaira dimension to a special case of the generalized abundance
More informationResolution 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 informationEndomorphism Rings of Abelian Varieties and their Representations
Endomorphism Rings of Abelian Varieties and their Representations Chloe Martindale 30 October 2013 These notes are based on the notes written by Peter Bruin for his talks in the Complex Multiplication
More informationREVISITED OSAMU FUJINO. Abstract. The main purpose of this paper is to make C n,n 1, which is the main theorem of [Ka1], more accessible.
C n,n 1 REVISITED OSAMU FUJINO Abstract. The main purpose of this paper is to make C n,n 1, which is the main theorem of [Ka1], more accessible. 1. Introduction In spite of its importance, the proof of
More informationResolving 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 informationAPPENDIX 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 informationMODULI SPACES OF CURVES
MODULI SPACES OF CURVES SCOTT NOLLET Abstract. My goal is to introduce vocabulary and present examples that will help graduate students to better follow lectures at TAGS 2018. Assuming some background
More informationA Version of the Grothendieck Conjecture for p-adic Local Fields
A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture
More informationALGORITHMS FOR ALGEBRAIC CURVES
ALGORITHMS FOR ALGEBRAIC CURVES SUMMARY OF LECTURE 7 I consider the problem of computing in Pic 0 (X) where X is a curve (absolutely integral, projective, smooth) over a field K. Typically K is a finite
More informationMini-Course on Moduli Spaces
Mini-Course on Moduli Spaces Emily Clader June 2011 1 What is a Moduli Space? 1.1 What should a moduli space do? Suppose that we want to classify some kind of object, for example: Curves of genus g, One-dimensional
More informationResolving 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 informationThe Grothendieck Conjecture for Hyperbolic Polycurves of Lower Dimension
J. Math. Sci. Univ. Tokyo 21 (2014), 153 219. The Grothendieck Conjecture for Hyperbolic Polycurves of Lower Dimension By Yuichiro Hoshi Abstract. In the present paper, we discuss Grothendieck s anabelian
More informationFiniteness of the Moderate Rational Points of Once-punctured Elliptic Curves. Yuichiro Hoshi
Hokkaido Mathematical Journal ol. 45 (2016) p. 271 291 Finiteness of the Moderate Rational Points of Once-punctured Elliptic Curves uichiro Hoshi (Received February 28, 2014; Revised June 12, 2014) Abstract.
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #24 12/03/2013
18.78 Introduction to Arithmetic Geometry Fall 013 Lecture #4 1/03/013 4.1 Isogenies of elliptic curves Definition 4.1. Let E 1 /k and E /k be elliptic curves with distinguished rational points O 1 and
More informationGeometric motivic integration
Université Lille 1 Modnet Workshop 2008 Introduction Motivation: p-adic integration Kontsevich invented motivic integration to strengthen the following result by Batyrev. Theorem (Batyrev) If two complex
More informationON SUBADDITIVITY OF THE LOGARITHMIC KODAIRA DIMENSION
ON SUBADDITIVITY OF THE LOGARITHMIC KODAIRA DIMENSION OSAMU FUJINO Abstract. We reduce Iitaka s subadditivity conjecture for the logarithmic Kodaira dimension to a special case of the generalized abundance
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More information15 Elliptic curves and Fermat s last theorem
15 Elliptic curves and Fermat s last theorem Let q > 3 be a prime (and later p will be a prime which has no relation which q). Suppose that there exists a non-trivial integral solution to the Diophantine
More informationMathematische Zeitschrift
Math. Z. (2010) 265:321 342 DOI 10.1007/s00209-009-0518-7 Mathematische Zeitschrift The Grothendieck ring of varieties and piecewise isomorphisms Qing Liu Julien Sebag Received: 15 February 2008 / Accepted:
More information1 Moduli spaces of polarized Hodge structures.
1 Moduli spaces of polarized Hodge structures. First of all, we briefly summarize the classical theory of the moduli spaces of polarized Hodge structures. 1.1 The moduli space M h = Γ\D h. Let n be an
More informationMath 249B. Nilpotence of connected solvable groups
Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C
More informationTAUTOLOGICAL EQUATION IN M 3,1 VIA INVARIANCE THEOREM
TAUTOLOGICAL EQUATION IN M 3, VIA INVARIANCE THEOREM D. ARCARA AND Y.-P. LEE This paper is dedicated to Matteo S. Arcara, who was born while the paper was at its last phase of preparation. Abstract. A
More informationA Primer on Homological Algebra
A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably
More informationOral exam practice problems: Algebraic Geometry
Oral exam practice problems: Algebraic Geometry Alberto García Raboso TP1. Let Q 1 and Q 2 be the quadric hypersurfaces in P n given by the equations f 1 x 2 0 + + x 2 n = 0 f 2 a 0 x 2 0 + + a n x 2 n
More informationRESEARCH 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 informationarxiv: v1 [math.ag] 13 Mar 2019
THE CONSTRUCTION PROBLEM FOR HODGE NUMBERS MODULO AN INTEGER MATTHIAS PAULSEN AND STEFAN SCHREIEDER arxiv:1903.05430v1 [math.ag] 13 Mar 2019 Abstract. For any integer m 2 and any dimension n 1, we show
More informationDISTINGUISHED MODELS OF INTERMEDIATE JACOBIANS
DISTINGUISHED MODELS OF INTERMEDIATE JACOBIANS JEFFREY D. ACHTER, SEBASTIAN CASALAINA-MARTIN, AND CHARLES VIAL Abstract. We show that the image of the Abel Jacobi map admits a model over the field of definition,
More informationNOTES ON ABELIAN VARIETIES
NOTES ON ABELIAN VARIETIES YICHAO TIAN AND WEIZHE ZHENG We fix a field k and an algebraic closure k of k. A variety over k is a geometrically integral and separated scheme of finite type over k. If X and
More informationFinite Fields. [Parts from Chapter 16. Also applications of FTGT]
Finite Fields [Parts from Chapter 16. Also applications of FTGT] Lemma [Ch 16, 4.6] Assume F is a finite field. Then the multiplicative group F := F \ {0} is cyclic. Proof Recall from basic group theory
More informationKuga Varieties Applications
McGill University April 2012 Two applications The goal of this talk is to describe two applications of Kuga varieties. These are: 1 Applications to the Hodge conjecture. (Abdulali - Abelian Varieties and
More informationAnother way to proceed is to prove that the function field is purely transcendental. Now the coordinate ring is
3. Rational Varieties Definition 3.1. A rational function is a rational map to A 1. The set of all rational functions, denoted K(X), is called the function field. Lemma 3.2. Let X be an irreducible variety.
More informationThe Rationality of Certain Moduli Spaces of Curves of Genus 3
The Rationality of Certain Moduli Spaces of Curves of Genus 3 Ingrid Bauer and Fabrizio Catanese Mathematisches Institut Universität Bayreuth, NW II D-95440 Bayreuth, Germany Ingrid.Bauer@uni-bayreuth.de,
More informationNOTES ON THE CONSTRUCTION OF THE MODULI SPACE OF CURVES
NOTES ON THE CONSTRUCTION OF THE MODULI SPACE OF CURVES DAN EDIDIN The purpose of these notes is to discuss the problem of moduli for curves of genus g 3 1 and outline the construction of the (coarse)
More informationMotivic integration on Artin n-stacks
Motivic integration on Artin n-stacks Chetan Balwe Nov 13,2009 1 / 48 Prestacks (This treatment of stacks is due to B. Toën and G. Vezzosi.) Let S be a fixed base scheme. Let (Aff /S) be the category of
More informationCHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998
CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic
More information6. 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 informationOn the distribution of rational points on certain Kummer surfaces
ACTA ARITHMETICA LXXXVI.1 (1998) On the distribution of rational points on certain Kummer surfaces by Atsushi Sato (Sendai) 1. Introduction. We study the distribution of rational points on certain K3 surfaces
More informationPeriods, Galois theory and particle physics
Periods, Galois theory and particle physics Francis Brown All Souls College, Oxford Gergen Lectures, 21st-24th March 2016 1 / 29 Reminders We are interested in periods I = γ ω where ω is a regular algebraic
More informationREVISITED OSAMU FUJINO. Abstract. The main purpose of this paper is to make C n,n 1, which is the main theorem of [Ka1], more accessible.
C n,n 1 REVISITED OSAMU FUJINO Abstract. The main purpose of this paper is to make C n,n 1, which is the main theorem of [Ka1], more accessible. 1. Introduction In spite of its importance, the proof of
More informationA short proof of Klyachko s theorem about rational algebraic tori
A short proof of Klyachko s theorem about rational algebraic tori Mathieu Florence Abstract In this paper, we give another proof of a theorem by Klyachko ([?]), which asserts that Zariski s conjecture
More informationPERVERSE SHEAVES. Contents
PERVERSE SHEAVES SIDDHARTH VENKATESH Abstract. These are notes for a talk given in the MIT Graduate Seminar on D-modules and Perverse Sheaves in Fall 2015. In this talk, I define perverse sheaves on a
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationMath 249B. Geometric Bruhat decomposition
Math 249B. Geometric Bruhat decomposition 1. Introduction Let (G, T ) be a split connected reductive group over a field k, and Φ = Φ(G, T ). Fix a positive system of roots Φ Φ, and let B be the unique
More informationarxiv: v1 [math.ag] 30 Apr 2018
QUASI-LOG CANONICAL PAIRS ARE DU BOIS OSAMU FUJINO AND HAIDONG LIU arxiv:1804.11138v1 [math.ag] 30 Apr 2018 Abstract. We prove that every quasi-log canonical pair has only Du Bois singularities. Note that
More informationZero cycles on twisted Cayley plane
Zero cycles on twisted Cayley plane V. Petrov, N. Semenov, K. Zainoulline August 8, 2005 Abstract In the present paper we compute the group of zero-cycles modulo rational equivalence of a twisted form
More information14. 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 informationRUSSELL S HYPERSURFACE FROM A GEOMETRIC POINT OF VIEW
Hedén, I. Osaka J. Math. 53 (2016), 637 644 RUSSELL S HYPERSURFACE FROM A GEOMETRIC POINT OF VIEW ISAC HEDÉN (Received November 4, 2014, revised May 11, 2015) Abstract The famous Russell hypersurface is
More informationOn conjugacy classes of the Klein simple group in Cremona group
Loughborough University Institutional Repository On conjugacy classes of the Klein simple group in Cremona group This item was submitted to Loughborough University's Institutional Repository by the/an
More informationPower 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 informationNé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 informationVARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES
VARIETIES WITHOUT EXTRA AUTOMORPHISMS II: HYPERELLIPTIC CURVES BJORN POONEN Abstract. For any field k and integer g 2, we construct a hyperelliptic curve X over k of genus g such that #(Aut X) = 2. We
More informationPorteous s Formula for Maps between Coherent Sheaves
Michigan Math. J. 52 (2004) Porteous s Formula for Maps between Coherent Sheaves Steven P. Diaz 1. Introduction Recall what the Thom Porteous formula for vector bundles tells us (see [2, Sec. 14.4] for
More informationSingularities of hypersurfaces and theta divisors
Singularities of hypersurfaces and theta divisors Gregor Bruns 09.06.2015 These notes are completely based on the book [Laz04] and the course notes [Laz09] and contain no original thought whatsoever by
More informationUnirational threefolds with no universal codimension 2 cycle
Unirational threefolds with no universal codimension 2 cycle Claire Voisin CNRS and École Polytechnique Abstract We prove that the general quartic double solid with k 7 nodes does not admit a Chow theoretic
More informationMath 121 Homework 4: Notes on Selected Problems
Math 121 Homework 4: Notes on Selected Problems 11.2.9. If W is a subspace of the vector space V stable under the linear transformation (i.e., (W ) W ), show that induces linear transformations W on W
More informationALGEBRAIC CYCLES ON THE FANO VARIETY OF LINES OF A CUBIC FOURFOLD arxiv: v2 [math.ag] 18 Apr INTRODUCTION
ALGEBRAIC CYCLES ON THE FANO VARIETY OF LINES OF A CUBIC FOURFOLD arxiv:1609.05627v2 [math.ag] 18 Apr 2018 KALYAN BANERJEE ABSTRACT. In this text we prove that if a smooth cubic in P 5 has its Fano variety
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationREPRESENTATION THEORY. WEEK 4
REPRESENTATION THEORY. WEEK 4 VERA SERANOVA 1. uced modules Let B A be rings and M be a B-module. Then one can construct induced module A B M = A B M as the quotient of a free abelian group with generators
More informationL-Polynomials of Curves over Finite Fields
School of Mathematical Sciences University College Dublin Ireland July 2015 12th Finite Fields and their Applications Conference Introduction This talk is about when the L-polynomial of one curve divides
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationTranscendence theory in positive characteristic
Prof. Dr. Gebhard Böckle, Dr. Patrik Hubschmid Working group seminar WS 2012/13 Transcendence theory in positive characteristic Wednesdays from 9:15 to 10:45, INF 368, room 248 In this seminar we will
More informationThe Néron Ogg Shafarevich criterion Erik Visse
The Néron Ogg Shafarevich criterion Erik Visse February 17, 2017 These are notes from the seminar on abelian varieties and good reductions held in Amsterdam late 2016 and early 2017. The website for the
More informationTHE SHIMURA-TANIYAMA FORMULA AND p-divisible GROUPS
THE SHIMURA-TANIYAMA FORMULA AND p-divisible GROUPS DANIEL LITT Let us fix the following notation: 1. Notation and Introduction K is a number field; L is a CM field with totally real subfield L + ; (A,
More information