Motivic Periods, Coleman Functions, and the Unit Equation
|
|
- Alfred Palmer
- 6 years ago
- Views:
Transcription
1 Motivic Periods, Coleman Functions, and the Unit Equation An Ongoing Project D. Corwin 1 I. Dan-Cohen 2 1 MIT 2 Ben Gurion University of the Negev April 10, 2018 Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
2 Table of Contents 1 Motivation: The Unit Equation 2 Motivic Periods 3 Polylogarithmic Cocycles and Integral Points 4 Recent and Current Computations Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
3 Table of Contents 1 Motivation: The Unit Equation 2 Motivic Periods 3 Polylogarithmic Cocycles and Integral Points 4 Recent and Current Computations Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
4 Motivation: The Unit Equation Let Z be an integer ring with a finite set of primes inverted (= O k [1/S]) and X = P 1 \ {0, 1, }. Theorem There are finitely many x, y Z such that x + y = 1 Equivalently, X (Z) <. Originally proven by Siegel using Diophantine approximation around Problem Find X (Z) for various Z, or even find an algorithm. In 2004, Minhyong Kim gave a proof in the case k = Q using fundamental groups and p-adic analytic Coleman functions. Refined Problem (Chabauty-Kim Theory) Find p-adic analytic (Coleman) functions on X (Z p ) that vanish on X (Z). Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
5 Table of Contents 1 Motivation: The Unit Equation 2 Motivic Periods 3 Polylogarithmic Cocycles and Integral Points 4 Recent and Current Computations Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
6 Periods Let (Y, D, ω, γ) be a period datum, i.e., a smooth algebraic variety Y of dimension d over Q, a normal crossings divisor D in Y, an element ω Ω d (Y ), and an element γ H d (Y (C), D(C); Q). Definition A period is a complex number equal to an integral I (Y, D, ω, γ) := γ ω for some period datum (Y, D, ω, γ). Examples Algebraic numbers, 2πi, log(r), ζ(k), Li k (r), π, (for r Q >0 and k Z >0 ) Algebraic numbers: If α is a root of p(x) Q[x], let (Y, D, ω, γ) = (A 1, {p(z) = 0} {0}, dz, [0, α]). 2πi: (G m,, dz z, γ) with γ a counterclockwise loop around 0. log(r) for r Q >0 : (G m, {1, r}, dz z, [1, r]). Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
7 Polylogarithms as Periods As we will use them extensively, we now explicitly describe the period datum that gives rise to a polylogarithm. Let z P 1 \ {0, 1, }(Q) and γ : (0, 1] P 1 \ {0, 1, }(C) a path from 0 to z. For k 0, we set z i = γ(t i ) for i = 1,, k. One may write Li γ k (z) = dz 1 dz 2 dz k 1 z 1 z 2 z k 0 t 1 t 2 t k 1 One may obtain this integral from a period datum as follows: One first considers the variety Y = X k and the divisor D = {z 1 = 0} {z 1 = z 2 } {z 2 = z 3 } {z k 1 = z k } {z k = z}. To deal with the improperness of the integral, one must use a blowup procedure to resolve the singularity in the integrand. The latter follows from Deligne s theory of tangential basepoints. Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
8 Relations Between Periods One may deduce relations between periods using the following rules: Linearity: I (Y, D, ω, γ) is linear in ω and γ. Algebraic Change of Variables: If f : (Y 1, D 1 ) (Y 2, D 2 ) is a morphism of pairs over Q, f (ω 2 ) = ω 1, and f (γ 1 ) = γ 2, then I (Y 1, D 1, ω 1, γ 1 ) = I (Y 2, D 2, ω 2, γ 2 ). Stokes Theorem: Let (Y, D) be a pair as above, D the normalization of D, and D 1 the divisor with normal crossings in D coming from double points in D. If β Ω d 1 ( D) and γ H d (Y (C), D(C); Q), then I (Y, D, dβ, γ) = I ( D, D 1, β, δγ), where δ : H d (Y (C), D(C); Q) H d 1 ( D(C), D 1 (C); Q) is the boundary map. For example, one can deduce 6ζ(2) = π 2 in this way (see the Kontsevich-Zagier article mentioned in the last slide). Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
9 Motivic Periods Defintion The ring P m,+ of effective motivic periods is the formal Q-algebra generated by period data, modulo the relations in the previous slide. There is then a natural map I : P m,+ C given by integration. Conjecture (Kontsevich-Zagier) The map I : P m,+ C is injective. Examples We denote the corresponding motivic special values by (2πi) m, log m (r), ζ m (k), Li m k (r), However, we would like something more adapted to Coleman integration. Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
10 De Rham Periods Coleman integrals use de Rham cohomology (specifically, the Frobenius and Hodge filtration) but not Betti cohomology. We therefore need: Definition The ring P dr,+ of effective de Rham periods is a variant of P m,+ in which γ represents a (relative) de Rham homology class. Examples We similarly write log dr (r), ζ dr (k), Li dr k (r), where for γ we take the canonical de Rham path between any two points. Fact There is a subring P dr,+ MT (Z) Pdr,+ of effective mixed Tate de Rham periods over Z that contains all periods coming from unirational pairs (Y, D) with good reduction over Z. Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
11 Mixed Tate Periods From now on, we assume that Frac(Z) = Q. Furthermore, the Coleman version of ζ(2), written ζ p (2), is zero. Our Motivic Periods We will therefore work with O(π un 1 (Z)) := P dr,+ MT (Z)/ζdr (2) We let ζ u (r), log u (r), ζ u (k), Li u k(r), be the images in O(π1 un(z)) of the corresponding elements of P dr,+ MT (Z). Coleman integration gives a map per p : O(π1 un(z)) Q p for p Spec(Z). An inclusion Z Z induces an inclusion O(π1 un (Z)) O(πun 1 (Z )). In particular, O(π1 un (Q)) is the union of O(πun 1 ((Z[1/S])) over all S. Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
12 Why Motivic Periods The reason working with motivic periods rather than ordinary periods is useful is that they have a nice algebraic structure. Fact (Deligne, Goncharov, Voevodsky, Borel,...) O(π1 un (Z)) has the structure of a graded Hopf algebra, and as such is abstractly isomorphic to an explicit free shuffle algebra.assuming Frac(Z) = Q, it is the free shuffle algebra Q {{τ p } p S, {σ 2n+1 } n 1 }, where each τ p has degree 1, and σ 2n+1 has degree 2n + 1. As a graded vector space, it s the free non-commutative algebra in these generators. However, it s equipped with a commutative product denoted by X, which we describe more precisely in the next slide. Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
13 Free Shuffle Algebras Let I be an index set and d : I Z a function, and let Q {x i } i I be the graded vector space underlying the free non-commutative graded algebra over Q in the variables x i, where x i has degree d(i). We define a graded Hopf algebra structure on Q {x i } i I as follows: The group X(r, s) is the set of permutations σ of {1, 2,, r + s} such that σ(1) < σ(2) < < σ(r) and σ(r + 1) < σ(r + 2) < < σ(r + s). The product of two words w 1, w 2 in the x i s is given as follows: w 1 Xw 2 := σ X(l(w 1 ),l(w 2 )) σ(w 1 w 2 ), where l denotes length, and w 1 w 2 denotes concatenation. The coproduct is given by w := w 1 w 2 w 1 w 2 =w Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
14 Table of Contents 1 Motivation: The Unit Equation 2 Motivic Periods 3 Polylogarithmic Cocycles and Integral Points 4 Recent and Current Computations Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
15 Polylogarithms and Integral Points Definition Let π PL 1 (X ) := Spec(Q[logu, Li u 1, Li u 2, ]). Fact As before, let X = P 1 \ {0, 1, }. Let z X (Q). For each integer k, using the representation of the kth polylogarithm as an iterated integral, one can define a motivic period Li u k(z) O(π1 un(q)). It follows that each z X (Q) defines a homomorphism κ(z): O(π1 PL (X )) O(πun 1 (Q)) sending Liu k to Li u k(z). z X (Z) iff Image(κ(z)) O(π un 1 (Z)) Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
16 Hopf Algebra Structure There is furthermore a graded Hopf algebra structure on O(π1 PL (X )), in which Li u k has degree k, log u has degree 1, and the reduced coproduct is given by: k 1 Li u k = Li u k i (logu ) i. i! Fact i=1 For z X (Q), the homomorphism κ(z) is a homomorphism of graded Hopf algebras. In particular, k 1 Li u k(z) = Li u k i(z) (logu (z)) i. i! i=1 Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
17 Motivic Kim s Cutter For a prime p, this gives us a diagram: X (Z) X (Z p ) κ Hom GrHopf (O(π1 PL (X )), O(πun 1 (Z))) per p Hom Alg (O(π1 PL(X )), Q p) We recall the integration map per p : O(π un 1 (Z)) Q p for p Spec(Z). This induces Hom GrHopf (O(π1 PL (X )), O(πun 1 (Z))) per p Hom Alg (O(π1 PL(X )), Q p). In addition, an arbitrary z X (Z p ) induces a homomorphism O(π1 PL(X )) Q p sending Li u k to Li p k (z). Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
18 Motivic Kim s Cutter, cont. X (Z) X (Z p ) κ Hom GrHopf (O(π1 PL (X )), O(πun 1 (Z))) per p Hom Alg (O(π1 PL(X )), Q p) The above diagram is known as Kim s Cutter. We may upgrade the bottom horizontal morphism to a map of schemes, as follows: We define a scheme Z 1,Gm PL over Q by Z 1,Gm PL (R) = Hom GrHopf (O(π1 PL (X )), O(πun 1 (Z))) R) for a Q-algebra R. The bottom arrow may then be viewed as a map of Q p -schemes Z 1,Gm PL Q p π PL 1 (X ) Q p Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
19 Motivic Kim s Cutter, cont. X (Z) X (Z p ) κ Z 1,Gm per p PL Q p π1 PL(X ) Q p Dimension counts show that the bottom horizontal arrow is non-dominant, which is what proves Siegel s theorem. Therefore, there is a nonzero ideal I Z PL O(πPL 1 (X )) Q p vanishing on the image of the bottom arrow, known as the (polylogarithmic) Chabauty-Kim ideal. The right-hand vertical map is Coleman analytic, so elements of I Z PL pull back to Coleman functions on X (Z p ) that vanish on X (Z). Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
20 Table of Contents 1 Motivation: The Unit Equation 2 Motivic Periods 3 Polylogarithmic Cocycles and Integral Points 4 Recent and Current Computations Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
21 The Chabauty-Kim Ideal General goal: Compute elements of IPL Z and verify cases of Kim s conjecture, i.e., that they suffice to precisely determine the integral points. Theorem (Dan-Cohen, Wewers, 2013) For Z = Z[1/2] and p 2, the following Coleman function is in I Z PL : 24 log p (2)ζ p (3)Li p 4 (z) + 8 ) (log p (2) Li p4 7 (12 ) log p (z)li p 3 (z) ( logp (2) ) 7 Lip 4 (1 2 ) + logp (2)ζ p (3) log p (z) 3 log p (1 z) In 2015, Dan-Cohen posted a preprint showing that this could be made into an algorithm, whose halting is conditional on certain well-known conjectures. Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
22 Our Current Work Our current work revolves around improving the algorithm, extending to multiple polylogarithms, and verifying cases of Kim s conjecture. We need to use an explicit description of Z 1,Gm PL, which is known as the space of cocycles. We can compute the former in terms of any good abstract basis of (Z)), i.e., that expresses it as a free shuffle algebra. O(π un 1 We then need to apply per p, for which we must compute a good basis of O(π1 un (Z)) (up to a certain degree) as linear combinations of explicit polylogarithms of the form Li u k(z) for z X (Q) and k 0. More specifically, we are working on Z = Z[1/3] and Z = Z[1/6]. Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
23 Understanding Z 1,G m PL Fix an arbitrary cocycle c Z 1,Gm PL. For each nonnegative integer k and each word w in Σ := {{τ p } p S, {σ 2n+1 } n 1 } of length k (or 1 if k = 0), let φ w k (c) Q denote the associated matrix entry of c, so that in the notation above, we have c(li u k) = φ w k (c)w. w Then for 0 r k, τ 1,..., τ r Σ of degree 1, and σ Σ of degree k r, we have φ στ 1 τ r k (c) = φ τ 1 0 (c) φτr 0 (c)φσ k r (c), and all other coefficients vanish. Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
24 Computing the Image of the Bottom Arrow in Kim s Cutter We write π1 un (Z) := Spec(O(πun 1 (Z))). We note that a cocycle is just a homomorphism of group schemes π1 un (Z) πpl 1 (X ). It is conjectured that per p is injective.this means we can focus instead on computing the image of Z 1,Gm PL π un 1 (Z) π PL 1 (X ) π un 1 (Z), where the map is cocycle evaluation times the identity. For any n, one may replace π1 PL (X ) by its finite-dimensional graded quotient π1 PL(X ) n := Spec(Q[log u, Li u 1,, Li u n]). We may similarly write Z 1,Gm PL,n (R) = Hom GrHopf(O(π1 PL(X ) n), O(π1 un (Z))) R). We are then reduced to computing the image of a map between finite-dimensional varieties over the function field of π1 un (Z), meaning we can algorithmically compute its image. Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
25 Basis Computations for A(Z[1/6]) To simplify notation, we let A = A(Z[1/6]) denote O(π un 1 (Z[1/6])). We let A n denote the nth graded piece. The abstract description as a free shuffle algebra shows that dim(a 0 ) = 1, dim(a 1 ) = 2, dim(a 2 ) = 4, dim(a 3 ) = 9, and dim(a 4 ) = 20. In fact, A is a free polynomial algebra on infinitely many generators, so we only need to find such generators. There are two in degree 1, one in degree 2, three in degree 3, and five in degree 4. Basic tool: use the reduced coproduct. It s injective in degrees 2 and 4 and has a kernel of dimension one in degree 3, generated by ζ u (3). Procedure: Inductively on n, write down motivic periods of the form Li u n(z) for z X (Z), apply, check dependence in lower degree. The non-injectivity of for n = 3 requires use of p-adic approximation to determine rational multiples of ζ u (3). Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
26 Basis Computations for A(Z[1/3]) As X (Z[1/3]) =, we cannot use periods of the form Li u k(z) for z X (Z[1/3]). Instead, we must find elements of A(Z[1/3]) as special elements of A(Z[1/6]). Using the abstract description of A(Z[1/6]) as Q {{τ p } p 6, {σ 2n+1 } n 1 }, the subring A(Z[1/3]) corresponds to the vector space generated by those words without any τ 2 s. More specifically, we have found that: σ 3 τ 3 = Liu 3(3) 3 52 Liu 3(9) This has allowed us to find a new element of IPL Z for Z = Z[1/3]. We have used it to verify Kim s conjecture in this case for p = 5, 7. Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
27 Useful References The following are on arxiv: Mixed Tate Motives and the Unit Equation, Ishai Dan-Cohen and Stefan Wewers Mixed Tate Motives and the Unit Equation II, Ishai Dan-Cohen Single-Valued Motivic Periods, Francis Brown Motivic Periods and P 1 \ {0, 1, }, Francis Brown Notes on Motivic Periods, Francis Brown Integral Points on Curves and Motivic Periods, Francis Brown Our definition of motivic periods comes from Periods, Kontsevich and Zagier ( Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
28 Thank You! Corwin, Dan-Cohen Motivic Periods, Coleman Functions, and the Unit Equation April 10, / 28
Motivic Periods, Coleman Functions, and Diophantine Equations
Motivic Periods, Coleman Functions, and Diophantine Equations An Ongoing Project D. 1 1 MIT April 10, 2018 Motivic Periods, Coleman Functions, and Diophantine Equations April 10, 2018 1 / 15 Motivation:
More informationTHE POLYLOG QUOTIENT AND THE GONCHAROV QUOTIENT IN COMPUTATIONAL CHABAUTY-KIM THEORY I
THE POLYLOG QUOTIENT AND THE GONCHAROV QUOTIENT IN COMPUTATIONAL CHABAUTY-KIM THEORY I DAVID CORWIN, ISHAI DAN-COHEN Abstract Polylogarithms are those multiple polylogarithms which factor through a certain
More informationp-adic structure of integral points Oberseminar Bielefeld Hannover Paderborn
p-adic structure of integral points Oberseminar Bielefeld Hannover Paderborn Summer 2011 Introduction Over the course of the last decade or so, Minhyong Kim has developed a new approach to proving Diophantine
More informationAN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE
AN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE FRANCIS BROWN Don Zagier asked me whether the Broadhurst-Kreimer conjecture could be reformulated as a short exact sequence of spaces of polynomials
More informationIntroduction to Mixed Modular Motives
Duke University March 24, 2017 Acknowledgments Antecedents and Inspiration Beilinson and Levin: elliptic polylogarithms Yuri Manin: iterated integrals of modular forms; Francis Brown: multiple modular
More informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More informationOn a question of Pink and Roessler
On a question of Pink and Roessler Hélène Esnault and Arthur Ogus August 12, 2006 1 Questions Let k be a noetherian ring and let X/k be a smooth projective k-scheme. Let L be an invertible sheaf on X For
More informationAn overview of D-modules: holonomic D-modules, b-functions, and V -filtrations
An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations Mircea Mustaţă University of Michigan Mainz July 9, 2018 Mircea Mustaţă () An overview of D-modules Mainz July 9, 2018 1 The
More informationDiophantine Geometry and Non-Abelian Reciprocity Laws
Diophantine Geometry and Non-Abelian Reciprocity Laws Minhyong Kim Oxford, July, 2014 Diophantine Geometry: Abelian Case The Hasse-Minkowski theorem says that ax 2 + by 2 = c has a solution in a number
More informationDiophantine geometry and non-abelian duality
Diophantine geometry and non-abelian duality Minhyong Kim Leiden, May, 2011 Diophantine geometry and abelian duality E: elliptic curve over a number field F. Kummer theory: E(F) Z p H 1 f (G,T p(e)) conjectured
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 informationGalois Theory and Diophantine geometry ±11
Galois Theory and Diophantine geometry ±11 Minhyong Kim Bordeaux, January, 2010 1 1. Some Examples 1.1 A Diophantine finiteness theorem: Let a, b, c, n Z and n 4. Then the equation ax n + by n = c has
More informationIdentification of the graded pieces Kęstutis Česnavičius
Identification of the graded pieces Kęstutis Česnavičius 1. TP for quasiregular semiperfect algebras We fix a prime number p, recall that an F p -algebra R is perfect if its absolute Frobenius endomorphism
More informationMixed Motives Associated to Classical Modular Forms
Mixed Motives Associated to Classical Modular Forms Duke University July 27, 2015 Overview This talk concerns mixed motives associated to classical modular forms. Overview This talk concerns mixed motives
More informationLecture III. Five Lie Algebras
Lecture III Five Lie Algebras 35 Introduction The aim of this talk is to connect five different Lie algebras which arise naturally in different theories. Various conjectures, put together, state that they
More informationThe Ordinary RO(C 2 )-graded Cohomology of a Point
The Ordinary RO(C 2 )-graded Cohomology of a Point Tiago uerreiro May 27, 2015 Abstract This paper consists of an extended abstract of the Master Thesis of the author. Here, we outline the most important
More informationA non-abelian conjecture of Birch and Swinnerton-Dyer type
A non-abelian conjecture of Birch and Swinnerton-Dyer type Minhyong Kim Bordeaux, July, 2012 Dedicated to Martin Taylor on the occasion of his 60th birthday. Diophantine geometry: general remarks Diophantine
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationFROM CHABAUTY S METHOD TO KIM S NON-ABELIAN CHABAUTY S METHOD
FROM CHABAUTY S METHOD TO KIM S NON-ABELIAN CHABAUTY S METHOD DAVID CORWIN Contents Notation 2 1. Classical Chabauty-Coleman-Skolem 2 1.1. Chabauty s Method 2 1.2. Non-Proper Curves and Siegel s Theorem
More informationTCC Homological Algebra: Assignment #3 (Solutions)
TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate
More informationTHE STEENROD ALGEBRA. The goal of these notes is to show how to use the Steenrod algebra and the Serre spectral sequence to calculate things.
THE STEENROD ALGEBRA CARY MALKIEWICH The goal of these notes is to show how to use the Steenrod algebra and the Serre spectral sequence to calculate things. 1. Brown Representability (as motivation) Let
More informationMath 120 HW 9 Solutions
Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z
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 informationBeilinson s conjectures I
Beilinson s conjectures I Akshay Venkatesh February 17, 2016 1 Deligne s conjecture As we saw, Deligne made a conjecture for varieties (actually at the level of motives) for the special values of L-function.
More informationVoevodsky s Construction Important Concepts (Mazza, Voevodsky, Weibel)
Motivic Cohomology 1. Triangulated Category of Motives (Voevodsky) 2. Motivic Cohomology (Suslin-Voevodsky) 3. Higher Chow complexes a. Arithmetic (Conjectures of Soulé and Fontaine, Perrin-Riou) b. Mixed
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 8: The Field B dr
Lecture 8: The Field B dr October 29, 2018 Throughout this lecture, we fix a perfectoid field C of characteristic p, with valuation ring O C. Fix an element π C with 0 < π C < 1, and let B denote the completion
More informationHomotopy types of the complements of hyperplane arrangements, local system homology and iterated integrals
Homotopy types of the complements of hyperplane arrangements, local system homology and iterated integrals Toshitake Kohno The University of Tokyo August 2009 Plan Part 1 : Homotopy types of the complements
More informationProfinite Groups. Hendrik Lenstra. 1. Introduction
Profinite Groups Hendrik Lenstra 1. Introduction We begin informally with a motivation, relating profinite groups to the p-adic numbers. Let p be a prime number, and let Z p denote the ring of p-adic integers,
More informationCellular Multizeta Values. Sarah Carr
Cellular Multizeta Values Sarah Carr August, 2007 Goals The following is joint work with Francis Brown and Leila Schneps based on a combinatorial theory of pairs of polygons. 1. Objects: Periods on M 0,n
More informationFormality of Kähler manifolds
Formality of Kähler manifolds Aron Heleodoro February 24, 2015 In this talk of the seminar we like to understand the proof of Deligne, Griffiths, Morgan and Sullivan [DGMS75] of the formality of Kähler
More informationp-divisible Groups and the Chromatic Filtration
p-divisible Groups and the Chromatic Filtration January 20, 2010 1 Chromatic Homotopy Theory Some problems in homotopy theory involve studying the interaction between generalized cohomology theories. This
More informationNOTES ON FINITE FIELDS
NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining
More informationSTEENROD 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 informationTATE CONJECTURES FOR HILBERT MODULAR SURFACES. V. Kumar Murty University of Toronto
TATE CONJECTURES FOR HILBERT MODULAR SURFACES V. Kumar Murty University of Toronto Toronto-Montreal Number Theory Seminar April 9-10, 2011 1 Let k be a field that is finitely generated over its prime field
More informationFundamental groups, polylogarithms, and Diophantine
Fundamental groups, polylogarithms, and Diophantine geometry 1 X: smooth variety over Q. So X defined by equations with rational coefficients. Topology Arithmetic of X Geometry 3 Serious aspects of the
More informationLECTURES ON THE HODGE-DE RHAM THEORY OF THE FUNDAMENTAL GROUP OF P 1 {0, 1, }
LECTURES ON THE HODGE-DE RHAM THEORY OF THE FUNDAMENTAL GROUP OF P 1 {0, 1, } RICHARD HAIN Contents 1. Iterated Integrals and Chen s π 1 de Rham Theorem 2 2. Iterated Integrals and Multiple Zeta Numbers
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 informationAlgebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism
Algebraic Cobordism Lecture 1: Complex cobordism and algebraic cobordism UWO January 25, 2005 Marc Levine Prelude: From homotopy theory to A 1 -homotopy theory A basic object in homotopy theory is a generalized
More informationLecture 7.3: Ring homomorphisms
Lecture 7.3: Ring homomorphisms Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Modern Algebra M. Macauley (Clemson) Lecture 7.3:
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 informationTunisian 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 Grothendieck Messing deformation theory for varieties of K3 type Andreas Langer and Thomas Zink
More informationCohomological 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 informationHungry, Hungry Homology
September 27, 2017 Motiving Problem: Algebra Problem (Preliminary Version) Given two groups A, C, does there exist a group E so that A E and E /A = C? If such an group exists, we call E an extension of
More informationKOSZUL DUALITY COMPLEXES FOR THE COHOMOLOGY OF ITERATED LOOP SPACES OF SPHERES. Benoit Fresse
KOSZUL DUALITY COMPLEXES FOR THE COHOMOLOGY OF ITERATED LOOP SPACES OF SPHERES by Benoit Fresse Abstract. The goal of this article is to make explicit a structured complex computing the cohomology of a
More informationBRIAN OSSERMAN. , let t be a coordinate for the line, and take θ = d. A differential form ω may be written as g(t)dt,
CONNECTIONS, CURVATURE, AND p-curvature BRIAN OSSERMAN 1. Classical theory We begin by describing the classical point of view on connections, their curvature, and p-curvature, in terms of maps of sheaves
More informationE ring spectra and Hopf invariant one elements
University of Aberdeen Seminar 23rd February 2015 last updated 22/02/2015 Hopf invariant one elements Conventions: Everything will be 2-local. Homology and cohomology will usually be taken with F 2 coefficients,
More informationSECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS
SECTION 5: EILENBERG ZILBER EQUIVALENCES AND THE KÜNNETH THEOREMS In this section we will prove the Künneth theorem which in principle allows us to calculate the (co)homology of product spaces as soon
More informationnx ~p Us x Uns2"'-1,» i
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 96, Number 4, April 1986 LOOP SPACES OF FINITE COMPLEXES AT LARGE PRIMES C. A. MCGIBBON AND C. W. WILKERSON1 ABSTRACT. Let X be a finite, simply
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 informationMath 711: Lecture of September 7, Symbolic powers
Math 711: Lecture of September 7, 2007 Symbolic powers We want to make a number of comments about the behavior of symbolic powers of prime ideals in Noetherian rings, and to give at least one example of
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 informationINTEGRATION OF ONE-FORMS ON p-adic ANALYTIC SPACES
INTEGRATION OF ONE-FORMS ON p-adic ANALYTIC SPACES VLADIMIR G. BERKOVICH Recall that there is a unique way to define for every comple manifold, every closed analytic one-form ω, and every continuous path
More informationSkew Polynomial Rings
Skew Polynomial Rings NIU November 14, 2018 Bibliography Beachy, Introductory Lectures on Rings and Modules, Cambridge Univ. Press, 1999 Goodearl and Warfield, An Introduction to Noncommutative Noetherian
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
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 informationRINGS: SUMMARY OF MATERIAL
RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered
More informationLevel raising. Kevin Buzzard April 26, v1 written 29/3/04; minor tinkering and clarifications written
Level raising Kevin Buzzard April 26, 2012 [History: 3/6/08] v1 written 29/3/04; minor tinkering and clarifications written 1 Introduction What s at the heart of level raising, when working with 1-dimensional
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 informationGalois Theory of Several Variables
On National Taiwan University August 24, 2009, Nankai Institute Algebraic relations We are interested in understanding transcendental invariants which arise naturally in mathematics. Satisfactory understanding
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 informationMath 797W Homework 4
Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition
More informationComputing coefficients of modular forms
Computing coefficients of modular forms (Work in progress; extension of results of Couveignes, Edixhoven et al.) Peter Bruin Mathematisch Instituut, Universiteit Leiden Théorie des nombres et applications
More informationAppendix by Brian Conrad: The Shimura construction in weight 2
CHAPTER 5 Appendix by Brian Conrad: The Shimura construction in weight 2 The purpose of this appendix is to explain the ideas of Eichler-Shimura for constructing the two-dimensional -adic representations
More informationNoncommutative motives and their applications
MSRI 2013 The classical theory of pure motives (Grothendieck) V k category of smooth projective varieties over a field k; morphisms of varieties (Pure) Motives over k: linearization and idempotent completion
More informationEILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY
EILENBERG-ZILBER VIA ACYCLIC MODELS, AND PRODUCTS IN HOMOLOGY AND COHOMOLOGY CHRIS KOTTKE 1. The Eilenberg-Zilber Theorem 1.1. Tensor products of chain complexes. Let C and D be chain complexes. We define
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 informationZETA ELEMENTS IN DEPTH 3 AND THE FUNDAMENTAL LIE ALGEBRA OF A PUNCTURED ELLIPTIC CURVE
ZETA ELEMENTS IN DEPTH 3 AND THE FUNDAMENTAL LIE ALGEBRA OF A PUNCTURED ELLIPTIC CURVE FRANCIS BROWN Abstract. This paper draws connections between the double shuffle equations and structure of associators;
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationTHE MAIN CONSTRUCTION I
THE MAIN CONSTRUCTION I Contents 1. Introduction/ Notation 1 2. Motivation: the Cartier isomorphism 2 3. Definition of the map 3 4. Small algebras and almost purity 3 5. Cohomology of Z d p 5 6. Décalage
More informationRIEMANN SURFACES. max(0, deg x f)x.
RIEMANN SURFACES 10. Weeks 11 12: Riemann-Roch theorem and applications 10.1. Divisors. The notion of a divisor looks very simple. Let X be a compact Riemann surface. A divisor is an expression a x x x
More informationDeligne s Mixed Hodge Structure for Projective Varieties with only Normal Crossing Singularities
Deligne s Mixed Hodge Structure for Projective Varieties with only Normal Crossing Singularities B.F Jones April 13, 2005 Abstract Following the survey article by Griffiths and Schmid, I ll talk about
More information3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection
3. Categories and Functors We recall the definition of a category: Definition 3.1. A category C is the data of two collections. The first collection is called the objects of C and is denoted Obj(C). Given
More informationLogarithmic 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 informationRational Homotopy Theory Seminar Week 11: Obstruction theory for rational homotopy equivalences J.D. Quigley
Rational Homotopy Theory Seminar Week 11: Obstruction theory for rational homotopy equivalences J.D. Quigley Reference. Halperin-Stasheff Obstructions to homotopy equivalences Question. When can a given
More informationMA 254 notes: Diophantine Geometry
MA 254 notes: Diophantine Geometry (Distilled from [Hindry-Silverman], [Manin], [Serre]) Dan Abramovich Brown University Janoary 27, 2016 Abramovich MA 254 notes: Diophantine Geometry 1 / 16 Mordell Weil
More informationLecture 21: Crystalline cohomology and the de Rham-Witt complex
Lecture 21: Crystalline cohomology and the de Rham-Witt complex Paul VanKoughnett November 12, 2014 As we ve been saying, to understand K3 surfaces in characteristic p, and in particular to rediscover
More information2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31
Contents 1 Lecture 1: Introduction 2 2 Lecture 2: Logical statements and proof by contradiction 7 3 Lecture 3: Induction and Well-Ordering Principle 11 4 Lecture 4: Definition of a Group and examples 15
More informationDuality, 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 informationChromatic homotopy theory at height 1 and the image of J
Chromatic homotopy theory at height 1 and the image of J Vitaly Lorman Johns Hopkins University April 23, 2013 Key players at height 1 Formal group law: Let F m (x, y) be the p-typification of the multiplicative
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 informationSynopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].
Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.
More informationThe algebra of cell-zeta values
The algebra of cell-zeta values Sarah Carr May 0, 200 A multizeta value or MZV is a real number, ζ(k i,..., k d ) = X n > >n d >0 Abstract n k nk d d, k i Z, k 2. () We are interested in studying the Q
More informationCATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS. Contents. 1. The ring K(R) and the group Pic(R)
CATEGORICAL GROTHENDIECK RINGS AND PICARD GROUPS J. P. MAY Contents 1. The ring K(R) and the group Pic(R) 1 2. Symmetric monoidal categories, K(C), and Pic(C) 2 3. The unit endomorphism ring R(C ) 5 4.
More informationPeriods (and why the fundamental theorem of calculus conjecturely is a fundamental theorem)
Periods (and why the fundamental theorem of calculus conjecturely is a fundamental theorem) by J.M. Commelin Saturday, the 28 th of November, 2015 0.1 abstract. In 2001 M. Kontsevich and D. Zagier posed
More informationLECTURE 1: OVERVIEW. ; Q p ), where Y K
LECTURE 1: OVERVIEW 1. The Cohomology of Algebraic Varieties Let Y be a smooth proper variety defined over a field K of characteristic zero, and let K be an algebraic closure of K. Then one has two different
More informationAlgebraic Number Theory Notes: Local Fields
Algebraic Number Theory Notes: Local Fields Sam Mundy These notes are meant to serve as quick introduction to local fields, in a way which does not pass through general global fields. Here all topological
More informationDerivations and differentials
Derivations and differentials Johan Commelin April 24, 2012 In the following text all rings are commutative with 1, unless otherwise specified. 1 Modules of derivations Let A be a ring, α : A B an A algebra,
More informationSegre classes of tautological bundles on Hilbert schemes of surfaces
Segre classes of tautological bundles on Hilbert schemes of surfaces Claire Voisin Abstract We first give an alternative proof, based on a simple geometric argument, of a result of Marian, Oprea and Pandharipande
More informationMultiple divisor functions, their algebraic structure and the relation to multiple zeta values
Multiple divisor functions, their algebraic structure and the relation to multiple zeta values Kyushu University - 13th November 2013 joint work: H.B., Ulf Kühn, arxiv:1309.3920 [math.nt] Multiple
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More informationALGEBRA PH.D. QUALIFYING EXAM September 27, 2008
ALGEBRA PH.D. QUALIFYING EXAM September 27, 2008 A passing paper consists of four problems solved completely plus significant progress on two other problems; moreover, the set of problems solved completely
More informationMatrix factorizations over projective schemes
Jesse Burke (joint with Mark E. Walker) Department of Mathematics University of California, Los Angeles January 11, 2013 Matrix factorizations Let Q be a commutative ring and f an element of Q. Matrix
More information3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).
3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)
More informationLINEAR FORMS IN LOGARITHMS
LINEAR FORMS IN LOGARITHMS JAN-HENDRIK EVERTSE April 2011 Literature: T.N. Shorey, R. Tijdeman, Exponential Diophantine equations, Cambridge University Press, 1986; reprinted 2008. 1. Linear forms in logarithms
More informationPeriods and the conjectures of Grothendieck and Kontsevich Zagier
Periods and the conjectures of Grothendieck and Kontsevich Zagier Joseph Ayoub (Universität Zürich, Switzerland) This paper concerns a class of complex numbers, called periods, that appear naturally when
More informationFormal power series rings, inverse limits, and I-adic completions of rings
Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationApplications of the Serre Spectral Sequence
Applications of the Serre Spectral Seuence Floris van Doorn November, 25 Serre Spectral Seuence Definition A Spectral Seuence is a seuence (E r p,, d r ) consisting of An R-module E r p, for p, and r Differentials
More information