Motivic Periods, Coleman Functions, and Diophantine Equations
|
|
- Julian Hill
- 5 years ago
- Views:
Transcription
1 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, / 15
2 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 a non-abelian version of Chabauty s method. Refined Problem (Chabauty-Kim Theory) Find p-adic analytic (Coleman) functions on X (Z p ) that vanish on X (Z). Motivic Periods, Coleman Functions, and Diophantine Equations April 10, / 15
3 The Chabauty-Kim Ideal The method produces a set I Z PL of Q p-valued functions on X (Z p ) that vanish on X (Z) (for any p Spec(Z)). This is an ideal in the ring of Coleman functions, a certain set of p-adic analytic functions on X (Z p ) with especially nice properties. In particular, any such function has finitely many zeroes (which proves finiteness of X (Z)). A conjecture of Kim and others states that the set of all common zeroes of elements of IPL Z is X (Z). Motivic Periods, Coleman Functions, and Diophantine Equations April 10, / 15
4 Recent Results 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) Dan-Cohen and Wewers furthermore verified cases Kim s conjecture using the above function and various p. 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. Motivic Periods, Coleman Functions, and Diophantine Equations April 10, / 15
5 Recent Results, cont. Theorem (C, Dan-Cohen, 2017) For Z = Z[1/3] and p 2, 3, the following Coleman function is in I Z PL : ( ζ p (3) log p (3)Li p 18 4 (z) 13 Lip 4 (3) 3 ( ζ p (3) log p (3) 4 (logp (z)) 3 Li p 1 (z) 24 ) 52 Lip 4 (9) log p (z)li p 3 (z) )), ( Lip 4 (3) 3 52 Lip 4 (9) Our current goal is to verify Kim s conjecture in this case. In other words, as X (Z[1/3]) =, we must show that this function has no zeroes, at least for various p. Motivic Periods, Coleman Functions, and Diophantine Equations April 10, / 15
6 Classical Chabauty s Method The classical Chabauty-Coleman method allows one to find p-adic analytic functions on a hyperbolic curve X that vanish on its Z p points. One embeds X into a semi-abelian variety J and considers the diagram: X (Z) X (Z p ) J(Z) J(Z p ) The method works when rank Z (J(Z)) < dim(j), in which case the bottom horizontal arrow has non-dense image. In particular, functions on J(Z p ) that vanish on J(Z) pullback to functions on X (Z p ) that vanish on X (Z). The theory of Coleman shows that such functions can be expressed explicitly in terms of p-adic integrals. Motivic Periods, Coleman Functions, and Diophantine Equations April 10, / 15
7 Towards non-abelian Chabauty The non-abelian version of Chabauty s method is designed to apply when rank Z (J(Z)) < dim(j) fails. One may in fact replace J(Z) by a corresponding Selmer group, which is a subset of H 1 (Gal(Q/Q), H 1 (J Q, Q p )). Noting that X and J have the same H 1, this can be written purely in terms of H 1 (X Q, Q p ) as an abstract Galois representation. The non-abelian version replaces H 1 (X Q, Q p ) by a quotient of π 1 (X Q, Q p ). In fact, we use a motivic version of the above, which simplifies the situation. Motivic Periods, Coleman Functions, and Diophantine Equations April 10, / 15
8 The Motivic Galois Group One works with two important motivic objects. The first is the motivic Galois group π1 un (Z), a pro-algebraic group over Q whose ring of functions A(Z) := O(π1 un (Z)) is known as the ring of mixed Tate motivic periods over Z. A(Z) is naturally a graded Hopf algebra, and deep theorems in arithmetic geometry give the abstract structure of A(Z). A typical element of A(Z) is given by a formal special value of a polylogarithm, i.e., an element of the form Li u k(z) for z X (Z) and k Z 1. There is a map per p : A(Z) Q p sending a formal special value to its corresponding p-adic value. Motivic Periods, Coleman Functions, and Diophantine Equations April 10, / 15
9 The Motivic Fundamental Group Fact The other object is the (polylogarithmic) motivic fundamental group π1 PL (X ). As a scheme, we have π1 PL(X ) := Spec(Q[logu, Li u 1, Li u 2, ]), but its coordinate ring also has the structure of a graded Hopf algebra. The coproduct is given by the formula k 1 Li u k = Li u k i (logu ) i. i! i=1 For each z X (Z), we have a ring homomorphism κ(z): O(π PL 1 (X )) A(Z) sending Liu k to Li u k(z). For z X (Z), the homomorphism κ(z) is a homomorphism of graded Hopf algebras. Motivic Periods, Coleman Functions, and Diophantine Equations April 10, / 15
10 Motivic Kim s Cutter For a prime p, this gives us a diagram, known as Kim s Cutter: 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). Motivic Periods, Coleman Functions, and Diophantine Equations April 10, / 15
11 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 Motivic Periods, Coleman Functions, and Diophantine Equations April 10, / 15
12 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). Motivic Periods, Coleman Functions, and Diophantine Equations April 10, / 15
13 Our Current Work One key step in computing functions in IPL Z is computing basis for A(Z) in low degrees in terms of explicit special values of polylogarithms. For example, our result with Dan-Cohen involved showing that a certain special element of A(Z[1/3]) could be expressed as Liu 3(3) 3 52 Liu 3(9) The above computation, combined with a better method for calculating Kim s cutter in terms of A(Z), is part of a forthcoming paper. In future work with Owen Patashnick and others, we hope to extend these methods to hyperbolic curves other than X = P 1 \ {0, 1, }, with the goal of finding an effective Mordell. The corresponding motivic theory is significantly more complicated and largely conjectural, yet probably computable. Motivic Periods, Coleman Functions, and Diophantine Equations April 10, / 15
14 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 Motivic Periods, Coleman Functions, and Diophantine Equations April 10, / 15
15 Thank You! Motivic Periods, Coleman Functions, and Diophantine Equations April 10, / 15
Motivic Periods, Coleman Functions, and the Unit Equation
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
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 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 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 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 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 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 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 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 informationAutomorphisms of varieties and critical density. Jason Bell (U. Michigan)
Automorphisms of varieties and critical density Jason Bell (U. Michigan) belljp@umich.edu 1 Let X be a topological space and let S be an infinite subset of X. We say that S is critically dense if every
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 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 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 informationProblems on Growth of Hecke fields
Problems on Growth of Hecke fields Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. A list of conjectures/problems related to my talk in Simons Conference in January 2014
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 informationNon CM p-adic analytic families of modular forms
Non CM p-adic analytic families of modular forms Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555, U.S.A. The author is partially supported by the NSF grant: DMS 1464106. Abstract:
More informationRational Points on Curves in Practice. Michael Stoll Universität Bayreuth Journées Algophantiennes Bordelaises Université de Bordeaux June 8, 2017
Rational Points on Curves in Practice Michael Stoll Universität Bayreuth Journées Algophantiennes Bordelaises Université de Bordeaux June 8, 2017 The Problem Let C be a smooth projective and geometrically
More informationDieudonné Modules and p-divisible Groups
Dieudonné Modules and p-divisible Groups Brian Lawrence September 26, 2014 The notion of l-adic Tate modules, for primes l away from the characteristic of the ground field, is incredibly useful. The analogous
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 THE KERNELS OF THE PRO-l OUTER GALOIS REPRESENTATIONS ASSOCIATED TO HYPERBOLIC CURVES OVER NUMBER FIELDS
Hoshi, Y. Osaka J. Math. 52 (205), 647 675 ON THE KERNELS OF THE PRO-l OUTER GALOIS REPRESENTATIONS ASSOCIATED TO HYPERBOLIC CURVES OVER NUMBER FIELDS YUICHIRO HOSHI (Received May 28, 203, revised March
More informationTHE TATE MODULE. Seminar: Elliptic curves and the Weil conjecture. Yassin Mousa. Z p
THE TATE MODULE Seminar: Elliptic curves and the Weil conjecture Yassin Mousa Abstract This paper refers to the 10th talk in the seminar Elliptic curves and the Weil conjecture supervised by Prof. Dr.
More informationp-adic L-functions for Galois deformation spaces and Iwasawa Main Conjecture Tadashi Ochiai (Osaka University)
p-adic L-functions for Galois deformation spaces and Iwasawa Main Conjecture Tadashi Ochiai (Osaka University) January 2006 Main Reference [1] A generalization of the Coleman map for Hida deformation,
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 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 informationClass groups and Galois representations
and Galois representations UC Berkeley ENS February 15, 2008 For the J. Herbrand centennaire, I will revisit a subject that I studied when I first came to Paris as a mathematician, in 1975 1976. At the
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 informationToric Varieties. Madeline Brandt. April 26, 2017
Toric Varieties Madeline Brandt April 26, 2017 Last week we saw that we can define normal toric varieties from the data of a fan in a lattice. Today I will review this idea, and also explain how they can
More informationWhat is the Langlands program all about?
What is the Langlands program all about? Laurent Lafforgue November 13, 2013 Hua Loo-Keng Distinguished Lecture Academy of Mathematics and Systems Science, Chinese Academy of Sciences This talk is mainly
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
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 informationLocal Generic Formal Fibers of Excellent Rings
Local Generic Formal Fibers of Excellent Rings Williams College SMALL REU 2013 Commutative Algebra Group Peihong Jiang, University of Rochester Anna Kirkpatrick, University of South Carolina Sander Mack-Crane,
More information1. Artin s original conjecture
A possible generalization of Artin s conjecture for primitive root 1. Artin s original conjecture Ching-Li Chai February 13, 2004 (1.1) Conjecture (Artin, 1927) Let a be an integer, a 0, ±1, and a is not
More informationOn the distribution of orbits in affine varieties
On the distribution of orbits in affine varieties Clayton Petsche Oregon State University Joint Mathematics Meetings Special Session on Arithmetic Dynamics January 6 2016 Seattle A motivating question
More informationModularity of Abelian Varieties
1 Modularity of Abelian Varieties This is page 1 Printer: Opaque this 1.1 Modularity Over Q Definition 1.1.1 (Modular Abelian Variety). Let A be an abelian variety over Q. Then A is modular if there exists
More informationA Number Theorist s Perspective on Dynamical Systems
A Number Theorist s Perspective on Dynamical Systems Joseph H. Silverman Brown University Frontier Lectures Texas A&M, Monday, April 4 7, 2005 Rational Functions and Dynamical Systems
More informationCover Page. The handle holds various files of this Leiden University dissertation.
Cover Page The handle http://hdl.handle.net/1887/20949 holds various files of this Leiden University dissertation. Author: Javan Peykar, Ariyan Title: Arakelov invariants of Belyi curves Issue Date: 2013-06-11
More informationRational Points on Curves
Rational Points on Curves 1 Q algebraic closure of Q. k a number field. Ambient variety: Elliptic curve E an elliptic curve defined over Q. E N = E E. In general A an abelian variety defined over Q. For
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 informationCOMPLEX MULTIPLICATION: LECTURE 15
COMPLEX MULTIPLICATION: LECTURE 15 Proposition 01 Let φ : E 1 E 2 be a non-constant isogeny, then #φ 1 (0) = deg s φ where deg s is the separable degree of φ Proof Silverman III 410 Exercise: i) Consider
More informationModuli Spaces for Dynamical Systems Joseph H. Silverman
Moduli Spaces for Dynamical Systems Joseph H. Silverman Brown University CNTA Calgary Tuesday, June 21, 2016 0 Notation: We fix The Space of Rational Self-Maps of P n 1 Rational Maps on Projective Space
More information58 CHAPTER 2. COMPUTATIONAL METHODS
58 CHAPTER 2. COMPUTATIONAL METHODS 23 Hom and Lim We will now develop more properties of the tensor product: its relationship to homomorphisms and to direct limits. The tensor product arose in our study
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 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 informationOdds and ends on equivariant cohomology and traces
Odds and ends on equivariant cohomology and traces Weizhe Zheng Columbia University International Congress of Chinese Mathematicians Tsinghua University, Beijing December 18, 2010 Joint work with Luc Illusie.
More informationGalois Groups and Fundamental Groups
Chapter 1 Galois Groups and Fundamental Groups 1.1 Galois Groups and Fundamental Groups This begins a series of lectures on topics surrounding Galois groups, fundamental groups, étale fundamental groups,
More informationNumber Theory/Representation Theory Notes Robbie Snellman ERD Spring 2011
Number Theory/Representation Theory Notes Robbie Snellman ERD Spring 2011 January 27 Speaker: Moshe Adrian Number Theorist Perspective: Number theorists are interested in studying Γ Q = Gal(Q/Q). One way
More informationCommutative nilpotent rings and Hopf Galois structures
Commutative nilpotent rings and Hopf Galois structures Lindsay Childs Exeter, June, 2015 Lindsay Childs Commutative nilpotent rings and Hopf Galois structures Exeter, June, 2015 1 / 1 Hopf Galois structures
More informationFinite group schemes
Finite group schemes Johan M. Commelin October 27, 2014 Contents 1 References 1 2 Examples 2 2.1 Examples we have seen before.................... 2 2.2 Constant group schemes....................... 3 2.3
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 informationMATH G9906 RESEARCH SEMINAR IN NUMBER THEORY (SPRING 2014) LECTURE 1 (FEBRUARY 7, 2014) ERIC URBAN
MATH G9906 RESEARCH SEMINAR IN NUMBER THEORY (SPRING 014) LECTURE 1 (FEBRUARY 7, 014) ERIC URBAN NOTES TAKEN BY PAK-HIN LEE 1. Introduction The goal of this research seminar is to learn the theory of p-adic
More informationProperties of Generating Sets of Finite Groups
Cornell SPUR 2018 1 Group Theory Properties of Generating Sets of Finite Groups by R. Keith Dennis We now provide a few more details about the prerequisites for the REU in group theory, where to find additional
More informationMaterial covered: Class numbers of quadratic fields, Valuations, Completions of fields.
ALGEBRAIC NUMBER THEORY LECTURE 6 NOTES Material covered: Class numbers of quadratic fields, Valuations, Completions of fields. 1. Ideal class groups of quadratic fields These are the ideal class groups
More informationGalois groups with restricted ramification
Galois groups with restricted ramification Romyar Sharifi Harvard University 1 Unique factorization: Let K be a number field, a finite extension of the rational numbers Q. The ring of integers O K of K
More informationSERRE S CONJECTURE AND BASE CHANGE FOR GL(2)
SERRE S CONJECTURE AND BASE CHANGE OR GL(2) HARUZO HIDA 1. Quaternion class sets A quaternion algebra B over a field is a simple algebra of dimension 4 central over a field. A prototypical example is the
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 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 informationCONGRUENT NUMBERS AND ELLIPTIC CURVES
CONGRUENT NUMBERS AND ELLIPTIC CURVES JIM BROWN Abstract. In this short paper we consider congruent numbers and how they give rise to elliptic curves. We will begin with very basic notions before moving
More informationEquations for Hilbert modular surfaces
Equations for Hilbert modular surfaces Abhinav Kumar MIT April 24, 2013 Introduction Outline of talk Elliptic curves, moduli spaces, abelian varieties 2/31 Introduction Outline of talk Elliptic curves,
More informationSUMS OF VALUES OF A RATIONAL FUNCTION. x k i
SUMS OF VALUES OF A RATIONAL FUNCTION BJORN POONEN Abstract. Let K be a number field, and let f K(x) be a nonconstant rational function. We study the sets { n } f(x i ) : x i K {poles of f} and { n f(x
More informationTheta divisors and the Frobenius morphism
Theta divisors and the Frobenius morphism David A. Madore Abstract We introduce theta divisors for vector bundles and relate them to the ordinariness of curves in characteristic p > 0. We prove, following
More informationRational points on curves and tropical geometry.
Rational points on curves and tropical geometry. David Zureick-Brown (Emory University) Eric Katz (Waterloo University) Slides available at http://www.mathcs.emory.edu/~dzb/slides/ Specialization of Linear
More informationTHE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION ADVANCED ALGEBRA II.
THE JOHNS HOPKINS UNIVERSITY Faculty of Arts and Sciences FINAL EXAM - SPRING SESSION 2006 110.402 - ADVANCED ALGEBRA II. Examiner: Professor C. Consani Duration: 3 HOURS (9am-12:00pm), May 15, 2006. No
More informationComputations with Coleman integrals
Computations with Coleman integrals Jennifer Balakrishnan Harvard University, Department of Mathematics AWM 40 Years and Counting (Number Theory Session) Saturday, September 17, 2011 Outline 1 Introduction
More informationHigher dimensional dynamical Mordell-Lang problems
Higher dimensional dynamical Mordell-Lang problems Thomas Scanlon 1 UC Berkeley 27 June 2013 1 Joint with Yu Yasufuku Thomas Scanlon (UC Berkeley) Higher rank DML 27 June 2013 1 / 22 Dynamical Mordell-Lang
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 pro-p Hom-form of the birational anabelian conjecture
The pro-p Hom-form of the birational anabelian conjecture Scott Corry at Appleton and Florian Pop at Philadelphia Abstract We prove a pro-p Hom-form of the birational anabelian conjecture for function
More informationSymbol Index Group GermAnal Ring AbMonoid
Symbol Index 409 Symbol Index Symbols of standard and uncontroversial usage are generally not included here. As in the word index, boldface page-numbers indicate pages where definitions are given. If a
More informationThese warmup exercises do not need to be written up or turned in.
18.785 Number Theory Fall 2017 Problem Set #3 Description These problems are related to the material in Lectures 5 7. Your solutions should be written up in latex and submitted as a pdf-file via e-mail
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 informationp-adic Integration on Curves of Bad Reduction
p-adic Integration on Curves of Bad Reduction Eric Katz (University of Waterloo) joint with David Zureick-Brown (Emory University) January 16, 2014 Eric Katz (Waterloo) p-adic Integration January 16, 2014
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 informationTriple product p-adic L-functions for balanced weights and arithmetic properties
Triple product p-adic L-functions for balanced weights and arithmetic properties Marco A. Seveso, joint with Massimo Bertolini, Matthew Greenberg and Rodolfo Venerucci 2013 Workshop on Iwasawa theory and
More informationLECTURE NOTES, WEEK 7 MATH 222A, ALGEBRAIC NUMBER THEORY
LECTURE NOTES, WEEK 7 MATH 222A, ALGEBRAIC NUMBER THEORY MARTIN H. WEISSMAN Abstract. We discuss the connection between quadratic reciprocity, the Hilbert symbol, and quadratic class field theory. We also
More informationChain Complexes and Herbrand Quotients
LECTURE 7 Chain Complexes and Herbrand Quotients Last time, we defined the Tate cohomology groups Ĥ0 (G, M) and Ĥ1 (G, M) for cyclic groups. Recall that if G = Z/nZ with generator σ, then a G-module is
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 informationElliptic Nets With Applications to Cryptography
Elliptic Nets With Applications to Cryptography Katherine Stange Brown University http://www.math.brown.edu/~stange/ Elliptic Divisibility Sequences: Seen In Their Natural Habitat Example Elliptic Divisibility
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 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 information数理解析研究所講究録別冊 = RIMS Kokyuroku Bessa (2011), B25:
Non-existence of certain Galois rep Titletame inertia weight : A resume (Alg Related Topics 2009) Author(s) OZEKI, Yoshiyasu Citation 数理解析研究所講究録別冊 = RIMS Kokyuroku Bessa (2011), B25: 89-92 Issue Date 2011-04
More informationAlgebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra
Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial
More informationThe Major Problems in Group Representation Theory
The Major Problems in Group Representation Theory David A. Craven 18th November 2009 In group representation theory, there are many unsolved conjectures, most of which try to understand the involved relationship
More informationA NOTE ON POTENTIAL DIAGONALIZABILITY OF CRYSTALLINE REPRESENTATIONS
A NOTE ON POTENTIAL DIAGONALIZABILITY OF CRYSTALLINE REPRESENTATIONS HUI GAO, TONG LIU 1 Abstract. Let K 0 /Q p be a finite unramified extension and G K0 denote the Galois group Gal(Q p /K 0 ). We show
More informationThe Segre Embedding. Daniel Murfet May 16, 2006
The Segre Embedding Daniel Murfet May 16, 2006 Throughout this note all rings are commutative, and A is a fixed ring. If S, T are graded A-algebras then the tensor product S A T becomes a graded A-algebra
More information1 Adeles over Q. 1.1 Absolute values
1 Adeles over Q 1.1 Absolute values Definition 1.1.1 (Absolute value) An absolute value on a field F is a nonnegative real valued function on F which satisfies the conditions: (i) x = 0 if and only if
More informationAdjoints, naturality, exactness, small Yoneda lemma. 1. Hom(X, ) is left exact
(April 8, 2010) Adjoints, naturality, exactness, small Yoneda lemma Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ The best way to understand or remember left-exactness or right-exactness
More informationINTRO TO TENSOR PRODUCTS MATH 250B
INTRO TO TENSOR PRODUCTS MATH 250B ADAM TOPAZ 1. Definition of the Tensor Product Throughout this note, A will denote a commutative ring. Let M, N be two A-modules. For a third A-module Z, consider the
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 informationALGEBRA QUALIFYING EXAM SPRING 2012
ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.
More informationGENERATORS OF FINITE FIELDS WITH POWERS OF TRACE ZERO AND CYCLOTOMIC FUNCTION FIELDS. 1. Introduction
GENERATORS OF FINITE FIELDS WITH POWERS OF TRACE ZERO AND CYCLOTOMIC FUNCTION FIELDS JOSÉ FELIPE VOLOCH Abstract. Using the relation between the problem of counting irreducible polynomials over finite
More informationNumber Theory Fall 2016 Problem Set #3
18.785 Number Theory Fall 2016 Problem Set #3 Description These problems are related to the material covered in Lectures 5-7. Your solutions are to be written up in latex and submitted as a pdf-file via
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 informationUp to twist, there are only finitely many potentially p-ordinary abelian varieties over. conductor
Up to twist, there are only finitely many potentially p-ordinary abelian varieties over Q of GL(2)-type with fixed prime-to-p conductor Haruzo Hida Department of Mathematics, UCLA, Los Angeles, CA 90095-1555,
More informationLesson 2 The Unit Circle: A Rich Example for Gaining Perspective
Lesson 2 The Unit Circle: A Rich Example for Gaining Perspective Recall the definition of an affine variety, presented last lesson: Definition Let be a field, and let,. Then the affine variety, denoted
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 informationLECTURES ON SYMPLECTIC REFLECTION ALGEBRAS
LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS IVAN LOSEV 16. Symplectic resolutions of µ 1 (0)//G and their deformations 16.1. GIT quotients. We will need to produce a resolution of singularities for C 2n
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 informationLECTURE 2 FRANZ LEMMERMEYER
LECTURE 2 FRANZ LEMMERMEYER Last time we have seen that the proof of Fermat s Last Theorem for the exponent 4 provides us with two elliptic curves (y 2 = x 3 + x and y 2 = x 3 4x) in the guise of the quartic
More informationMANIN-MUMFORD AND LATTÉS MAPS
MANIN-MUMFORD AND LATTÉS MAPS JORGE PINEIRO Abstract. The present paper is an introduction to the dynamical Manin-Mumford conjecture and an application of a theorem of Ghioca and Tucker to obtain counterexamples
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 information