AN EXPLORATION OF THE PRIME NUMBERS
|
|
- Anna Lewis
- 5 years ago
- Views:
Transcription
1 AN EXPLORATION OF THE PRIME NUMBERS LUCIAN M. IONESCU Abstract. A natural lattice structure on the set of prime numbers is derived from the internal symmetries of the corresponding primary finite fields. It leads to a correspondence with the Hopf algebra of rooted trees, and as an application, to an alternative approach to the Prime Number Theorem. Additional tools are introduced, exploring the quantum groups approach to multiplicative number theory, from a categorical perspective. Contents 1. Introduction 1 2. A Partial Order on The Set of Prime Numbers The Lie-Klein picture of a finite fields The complexity of primes Gradings on P 3 3. Prime Numbers and Rooted Trees 4 4. The rational numbers as a formal group An external composition on prime numbers The rationals as a formal group Further avenues of exploration 6 5. The Prime Number Theorem An analog of Riemann-Roch Theorem for Q Breaking Down The PNT A probabilistic framework On Chebyshev s estimates Conclusions 10 References Introduction There is a need for a new insight into the ring of integers [2], p.1, [3], [4], p.143, etc. As usual, physics comes to the rescue 1 : in a quantum digital universe, the primary modes of vibration (periodic structures) should be modeled by primary fields F p, reflecting the value of the fine structure constant via a modern, quantum computing, model of the hydrogen atom [1]. Date: September 1, E.g. invariants of knots, 4-manifolds etc. 1
2 2 LUCIAN M. IONESCU Moreover, there is a wide belief that Number Theory is the ultimate physics theory [5]; [6]: It is remarkable that the deepest ideas in number theory reveal a far-reaching resemblance to the ideas of modern theoretical physics. One way or another, categorification is the correct approach: instead of investigating sizes of objects, study the objects themselves, not their shadows : Categories : Finite Sets S Simple objects Spec S Grothendieck Tangent mapping (generators) Number Systems : Integers Z Prime Numbers Spec(Z)). Without loss of generality for modeling reality, one can restrict to the study of the category of finite sets S. Once a coordinate system is chosen, reducing their symmetry groups, the category of finite abelian groups is obtained A. The main object of study, then, is their symmetries, the internal functor Aut A. In this article we will introduce a lattice structure on the set of primes, derived from Aut A, leading to a mapping into the Hopf algebra of rooted trees. It is natural to investigate what are the functions analog to those involved in the proof of the Prime Number Theorem, and whether on can obtain a better understanding of the latter lifting it through the canonical POSet morphism from the lattice of primes, to natural numbers. In conclusion, the connection between these two primeval structures, primes and trees, suggests deep results in the light of Selberg s trace formula interpretation of the Riemann-Mangoldt/Weil exact formula. Additional explanations regarding the author s approach justifying some of the above claims will be given in a follow up article. 2. A Partial Order on The Set of Prime Numbers 2.1. The Lie-Klein picture of a finite fields. The automorphisms of (F p, +) as an abelian group (Z-module) form a group isomorphic to the corresponding multiplicative group via the regular representation. Its summands are elementary factors of the form Z q k, corresponding to the factorization of Euler s totient function value: L : (F p, ) Aut(F p, +) = p PZp k(p), φ(p) = p 1 = p k(p). Here a positive integer is view as a function on the set of primes P. 2 For example, Aut(F 19 ) = Z 2 Z 3 2, since 19 1 = The partial factorization of φ(p) = p 1 = 2 k q will be called the Proth factorization The complexity of primes. In this way the smaller primes q dividing p 1 represents the Lie generators of the space (F p, +), allowing for the definition of a natural partial order. Definition 2.1. A prime q is called a generator of the prime p, denoted q << p iff q divids p 1. p P 2... towards a function field interpretation of the rationals, and application of duality of algebraic quantum groups.
3 AN EXPLORATION OF THE PRIME NUMBERS 3 For example 2 and 3 are generators of p = 19. Fermat primes p = 2 n + 1 have only one generator, q = 2, if disregarding its multiplicity n. Proposition 2.1. The set of prime numbers (P, <<) is a connected partial ordered set (POSet) with minimal element 2. The identity function: I : (P, <<) (N, <), I(p) = p is a morphism of POSets, representing a refinement of the total ordering of primes by size. Remark 2.1. This POSet is probably not a lattice. The Euclid s trick invites for defining p p, but there seems to be no reason for the uniqueness of p p, their common symmetries Gradings on P. There are a few natural functions defined on P, including a grading by the number of their symmetries. Definition 2.2. The function w : P N, w(p) = dim(aut(f p, +)) is called the grading of primes by complexity. The term support is used since the author interprets the multiplicative rationals (positive), as functions on P: r = m/n : P Z, corresponding to their unique factorization. For example w(19) = 2, since the symmetries of F 19 has two generators (the rank, or local dimension, of the Z-module is two). Alternatively, p 1 = 19 1 = 18 is a function supported on two points: 2 and 3. The reader interested in the long-term research program of the author is invited to consider the following justification. Remark 2.2. Classical algebraic geometry evolved with Grothendieck in the abstract, categorical theory of schemes. Modern mathematics, especially the russion school, supported by meaningful applications to physics, developed rather in the direction of deformation theory, as a natural continuation of the ideologies of Felix Klein and Sophus Lie [13]. Also, analysis, as a contructive approach to mathematics, faded away in favor of the algebraic, top-down approach in designing mathematical theories. Therefore, the author inclines towards a quantum groups approach to p-adic numbers, which will be shown to be just a graded approach to (discrete) mathematics, rather then mathematics in characteristic p [8]. Another reason for branching in a new direction, is that the duality suited for explaining the Riemann Hypothesis is that in the context of algebraic quantum groups (e.g. van Daele), as it can be seen in the articles interpreting the Riemann- Mangoldt-Weil exact formula, using (multiplicative) multipliers as the essentioal ingredient for defining distributions (reminiscence of the approach via analysis). In conclusion, instead of a sheaf approach, viweing rationals as functions on the spectrum of the integers (algebraic geometry approach), or taking the set of inequivalent valuations as a starting point (analysis approach), the author prefers the interpretation of the rationals as a function field, with the categorical origin in mind, rather then that of a number field and then geometrizing and categorifying the framework (geometric points and sheaves). The role of a unit, of the odd even prime p = 2 will be explained elsewhere, and in this article it will be treated on equal footing with the other primes,
4 4 LUCIAN M. IONESCU even though the 2 k symmetry/factor of p 1 is clearly a reflection, linked to the orientation of the corresponding cycles in Aut(F p, +). Definition 2.3. The total weight of a prime is W(p) = p p 1 ν p (p 1)). Here ν p (n) = k iff k is the exponent of the prime p in the factorization of n: p k n (ν p is the p-adic valuation). For example W(19) = = 3, since 19 1 = These two functions will have natural interpretations when associating rooted trees to primes, reflecting the complexity of the structure of the corresponding primary fields. As a question to the reader, it would be interesting to investigate the implications of Proth Theorem on the structure of this POSet. The homology of the POSet of primes seems to be related to the structure of the rooted trees. 3. Prime Numbers and Rooted Trees To each prime p we associate a rooted tree t(p) representing the hierarchy of generators of the F p, when applying the internal functor Aut Ab repeatedly. Since the elementary divisors Z p k arise in this way, we have to extend the framework, and extend the mapping between natural numbers, freely generated by primes, and the Hopf algebra of rooted trees, where the elements are linear combinations of forests (families of rooted trees), and concatenation of forests is extended as a bilinear mapping. We define t : N H rt as the multiplicative mapping (m, n) = 1, t(mn) = t(m)t(n), intertwining the Euler phi function and the pruning operator B : t(φ(n)) = B (t(n)). Recall that φ(n) = U(Z n ) is a multiplicative function with values the number of elements of the multiplicative group of Z n, which corresponds to its automorphism group as a Z-module ( discrete space of vectors ). Also B is the adjoint of B + which adjoins a common root to the rooted trees of a forest of H rt. At categorical level, t(p) reflects the primary decomposition of Aut Ab (F p, +), and t is the Grothendieck shadow of the automorphism torsor Aut Ab : Ab Ab Aut iso N φ t H rt iso N t H rt. Natural numbers are viewed here as functions with finite support N = Hom c (P, N), rather then divisors (elements of g P ), consistent with the interpretation of rational numbers as a formal group/ function field Q + = Hom(P,Z), explained below. Explicitly: t(2) =, t(p k ) = B + (t(p k 1, t(φ(p))), and t( l 1 p ki i ) = l 1 B t(p ki i.
5 AN EXPLORATION OF THE PRIME NUMBERS 5 For example, for p = : together with the substitution t(p) = B + (t(φ(p)) = B + (t(2), t(3 2 ), t(5)), t(3 2 ) = B + (t(φ(3) 3)) = B + (t(2), t(3)) = B + (, B + ( )). Note that prime numbers are mapped to rooted trees, which form the algebraic bases of forests of H rt. Once the mapping t from natural numbers to forests is defined, it is natural to study the properties of primes and their distribution within the better understood Hopf algebra of rooted trees. 4. The rational numbers as a formal group The rational numbers, when completed using a p-adic norm, lead to fields of elements which behave like power series (Hensel s analogy). We claim that the field of rational numbers can be interpreted as a formal group. Pursuing this idea and interpret in this way number fields as deformations of function fields, will be investigated elsewhere An external composition on prime numbers. The Euclid s trick (take products of primes, including 2, and add one), almost allows to define a composition of primes. It corresponds to the root joining operator B + on rooted trees (and forests). If p and q are primes, (p 1)(q 1), which corresponds to joining their symmetries at categorical level, might not be the symmetries of a finite field, since p q = (p 1)(q 1) + 1 is not necessarily a prime number. Transport this definition on g P, as a fusion rule 3 : X p X q = r P k(r)x r, (p 1)(q 1) + 1 = p P r kp. and extend it linearly, still denoted. Lemma 4.1. an associative binary operation on g P with identity X 2. Remark 4.1. This leads to a framework reminiscent of star products and deformation quantization: g P plays the role of a Lie (bi)algebra, Q is the associated group, and p-adic numbers Q p = F p ((h)) are a deformation of the laurent series in the formal parameter h. This idea will be explored elsewhere The rationals as a formal group. To make the multiplicative group of rational numbers a formal group, change coordinates, defining the (multiplicative) position vector of x Q by r x = x 1 (difference between x and the neutral element). Then define x y = F(r x, r y ) = r x + r y + r x r y. 3 HomAb is an internal functor.
6 6 LUCIAN M. IONESCU Proposition 4.1. There is a natural isomorphism of formal groups: Exp : g P (Q +, ), Exp(X p) = p 1, where (g P, +) is the additive formal group with addition [14]: F(X p, X q ) = X p + X q, and the multiplicative formal groups (Q +, ). The inverse is called the formal logarithm. Remark 4.2. The exponential implements a tangent map point of view, conform Lie Theory, to reflect the action of the automorphism functor Aut Ab, and the fact that the basic finite fields F p are tangent spaces of the p-adic k-th order truncations of the p-adic quantum (abelian) groups. Proceeding with the investigation in this direction is supported by the presence of theta functions and modular groups in the framework of Riemann Hypothesis, which have deep links with geometric/deformation quantization, and invariants of knots [10] (see also Khovanov s categorification of the invariants of knots [11]) Further avenues of exploration. The presence of this two fundamental God made structure, prime numbers and rooted trees, and the link between them is highly intriguing: why two? Taking as a working hypothesis that they are asymptotically the same, maybe the prime cycles the cohomology of rooted trees: see the universal cohomological problem [12], p.599, we argue that rooted trees as a basis in the Hopf algebra of trees, could be a more fundamental probabilistic space for primes as a random variable : C : (H rt Q, X : (PRT, ρ ) (N, card). where PRT is the subspace in g P generated by prime rooted trees, the image of t : P RT, so that the image of the random variable X is the set of primes P N. The linear mapping C defined on the basis of rooted trees by extending the random variable X from PRT to RT should be a section of t. The problem is to construct it using somehow the contraction where τ : g P g P, τ(x p ) = Div(Exp(X p )), Div(n) = k(p)x p, n = p P p k(p), is the principal divisor of the rational function k : P Z associated to the natural number n (more generally, to any non-zero rational number). Remark 4.3. The author s program is to establish that number fields are function fields, at least for finite extensions of Q, via p-adic numbers, using technique of quantum groups, and exploit this in the direction of better understanding the Riemann Hypothesis (already proved fro function fields by Weil). 5. The Prime Number Theorem The general idea is to reduce the PNT, via linearization, to a simple, Riemann- Roch-like statement, easely prooved at the level of Hopf algebras of rooted trees, its basis.
7 AN EXPLORATION OF THE PRIME NUMBERS 7 The prime Number Theory says that the probability density function of prime numbers is assymptotically 1/ ln n: P(1 < X < n) = π(n)/n 1/ ln(n), n N. Now ln(n) naturally lives in g P, the linearization of Q. Remark 5.1. ln(n) = k(p)ln(p) is a divisor limiting the number of basic elements X p in g p, in a way similar to Riemann-Roch Theorem. This cannot be a simple coincidence. The weight ln(p) present in the various formulas used in the proof of PNT via the Riemann zeta function is in fact a measure. It appears under the disguise of the Mangold function Recall: Λ(p k ) = ln(p), (orλ(n) = 0 otherwise). Ψ(x) = n<xλ(n), The natural measure on g P close to the measure ln(p)dp is the size of the corresponding rooted tree t p, i.e. its degree: Conjecture 5.1. An experimental check is in progress. deg(t p ) = number of nodes. ln(p) deg(t p ) An analog of Riemann-Roch Theorem for Q. In view of the functional interpretation of the rational numbers, the PNT has two parts. PNT refers to the number of delta functions δ p : P N (primes) with respect to the total number of functions k : (P, ln(p)dp) (N, card = dn) with bound exp(k) <= n, where exp is the completely multiplicative function: Note that the composition exp(k) = p P p k (p), {k exp(k) <= n} = n. ln exp : Q + N, k k(p)ln(p) is the integral integral associated to the Mangold measure ln(p) on the measure space (P, ln(p)dp): P k(p)ln(p)dp = p P PNT is equivalent to the asymptotic relation: π(n) Li(n) = k(p) ln(p) = ln(exp(k)). n 2 1/ln(t)dt. Remark 5.2. Abel s summation formula allows to transfer this to (N, dn), while the change of variable, with a slight modification of the formula (replace ln(t) by ln(t) 1), yields an integral of the (e u u)/u function.
8 8 LUCIAN M. IONESCU Recall that the Riemann s inequality part of the Riemann-Roch Theorem [?], says that for a divisor D = p P k px p (matching the above notation when possible), the dimension l(d) of the vector space of meromorphic functions with principal divisor (f) + D >= 0, satisfies: l(d) >= deg(d) g + 1, with equality for large degree divisors (deg(d) = k(p)). Thinking classically P = SpecZ, that primes are points on the discrete line Z (abelain groups are discrete vector spaces ; e.g. DFT etc. [?]), and interpreting k M as a divisor (a homological chain, rather then a finitely supported function): deg(k) = k(p). But we need the ln(p) weight which suggests that there is an underlying fractal manifold structure 4 corresponding to the above POSet structure of P. Then each point p has to be blown-up due to its internal structure (Aut Ab (F p, +)), obtaining the correct degree, accounting not only for multiplicaity, but also for hierarchic structure 5 : deg(k) = k(p)ln(p) = k(p)dm. p P P Then the counting of primes and their density resembles a Riemann-Roch cut-off condition (dimensions of vector spaces equal number of basic elements), where the condition p l < x operates as a ultra-violet cut-off limiting the multiplicity of primes and the primes themselves. What is the analog of the genus g in the RR-formula l(d) >= deg(d) g + 1?. Note also that the second (integer) Chebyshev function is an area determined by the cutt-off k n (p) = [lnn/ ln(p): ψ(n) = ln(p) = n(p)dm, p l P <n while the first Chebyshev function is the corresponding volume of primes θ(n) = ln(p) = dm. p<n supp k n Remark 5.3. One starts to wonder (continues!) whether Minkovski s Lattice Theorem is at work in the lattice exp : g P Q + R, since not only the direction of the inequality in RR-Theorem has to be reversed, but also we are not counting rational numbers ( meromorphic functions with poles at primes), but rather only irreducible polynomials δ p within the polynomial functions k(p) satisfying an integration bound k <= n k(p)dm <= ln(n). 4 Introducing fractal manifolds by gluing p-adic fields viewed as pointed formal manifolds a la Kontsevich, will be attempted elsewhere. 5 Haar analyis point of view.
9 AN EXPLORATION OF THE PRIME NUMBERS Breaking Down The PNT. A general setup for the PNT (distribution of primes) has two levels: at categorical level we have a semi-simple monoidal category (C,, {S p } p P ) with simple objects S p, e.g. finite sets S fin, which induces a partial order on the Grothendieck rig, e.g. the (N, <) (total order here). At the level of iso classes, we have the functions on the simple objects M = (F(P; N), w(p)) corresponding to the objects of the category, together with a weight function w(p) defining the measure space (M, dm), with measure dm = w(p)dp A probabilistic framework. Then the following diagram relates to the divisor interpretation sketched above: χ (M, dm) (N iso,, dn) R ln(n) (R, +, dx) with the exponential isomorphism of groups (not the formal groups): χ( k(p)x p ) = p k(p), k(p)dm = k(p)w(p). P p P For our prototypical example of finite sets C = S fin, the weight function is w(p) = ln(p), dm is the Mangoldt measure 6, and the Mangoldt integral is the formal (e)valuation: k(p)x p k(p) ln(p) = ln(n). p P p P Then we have: n = card{k N k <= n} = card{k M k(p)dm <= lnn, π(n) = card{p p <= n} = card{δ p δ p dm <= lnn, P with d p the unit delta function supported at p (basis dual to the basis {X p } p P of g P ). This allows to translate the equivalent (first Chebyshev) form of the PNT: θ(x) x, θ(x) = ln(p) = dm, p<=x P B(ln x) in terms of functions and measure theory / probability spaces Here B(r) = {k k 1 <= r is the ball of radius r relative to the L 1 -norm (see Remark 5.3). The main point is that a weight function w(p) is expected and that it is essentially the inverse of the (formal) exponential isomorphism χ. We expect to be able to push this approach further and clarify the underlying reason for the so called surprising Prime Number Theorem, if not providing a shorter, algebraic proof. 6 Related to the Mangoldt function Λ(n).
10 10 LUCIAN M. IONESCU 5.4. On Chebyshev s estimates. Another possible application of the POSet of primes and of the functional model of rationals is to the direct count of the primes. This allows to pinch the number of primes, as in Cebyshev s estimates: A 1 x/ lnx π(x) A 2 x/ ln(x). The proof from [9], p.140, aims for determining a lower bound function based on the inequality ( ) 2n < (2n) π(2n), n and an upper bound function derived from a finite difference growth upper bound ( ) 2n n π(2n) π(n) <, n based on a comparison with the same combinatorial coefficient which allows to link the additive world of natural numbers with the multiplicative world of primes. The idea is to interpret the above difference inequality as a finite partial difference π(exp(k(x p ))/ X 2 = π(2 n) π(n) in the direction of the generator p = 2 of the formal group of rationals, and study its growth in analogy to the theory of analytic Lie groups. 6. Conclusions In this article a few ideas are presented, as an alternative approach to the usual directions of study of prime numbers. The approach shifts the emphasis from complex analysis (analytic number theory) to deformation theory as an algebraic modern version of the theories of Lie and Klein [15]. The partial order on the set of primes, derived from the structure of symmetries of basic finite fields, represents a refinement of the total order of primes by size, inherited from the total order on the natural numbers. Second, viewing the multiplicative group of rational numbers as a measure space seems the right setup for a direct, yet conceptual proof of the Prime Number Theorem. Alternatively, a formal group interpretation of the rational numbers, with its Lie graded module of primes as generators, invites to an application of finite PDEs techniques to estimate the growth of the number of primes function π(x). We hope that the reader will be able to see further into these preliminary trials, and possibly find further applications, either to new results, or allowing to simplify some of the old, and usually intricate proofs regarding the distribution of prime numbers. References [1] L. M. Ionescu, Remarks on physics as number theory, gsjournal.net/science- Journals/Essays/View/3617 [2] Yuri Manin, Lectures on zeta functions and motives, MPI / [3] M. J. Shai Haran, The mysteries of the real prime, Oxford University Press, [4] Paula Tretkoff, Noncommutative geometry and number theory, Clay Mathematics Proceedings, Vol.6, [5] I. V. Volovich, Number theory as the ultimate physical theory, [6] Yu. I. Manin, Mathematics and Physics, Birkhauser, Boston, [7] L.M. Ionescu, p-adic numbers and algebraic quantum groups, work in progress.
11 AN EXPLORATION OF THE PRIME NUMBERS 11 [8] L.M. Ionescu, Real numbers and p-adic numbers: a Haar analysis point of view, work in progress. [9] B. Fine and G. Rosenberger, Number Theory: an introduction via the distribution of prime numbers, Birkhauser, [10] Razvan Gelca, Alastair Hamilton, Classical theta functions from a quantum group perspective, [11] M. Khovanov, A categorification of the Jones polynomial, [12] Joseph C. Varilly, Hector Figueroa, Jose M. Gracia-Bondia, Elements of Noncommutative Geometry, Birkhuser Advanced Texts, [13] L.M. Ionescu, from Lie theory to deformation theory and quantization, arxiv.org/abs/ , [14] Formal groups, en.wikipedia.org/wiki/formal group. [15] L. M. Ionescu, From Lie Theory to Deformation Theory and Quantization, arxiv: Department of Mathematics, Illinois State University, IL address: lmiones@ilstu.edu
A natural partial order on the prime numbers
Notes on Number Theory and Discrete Mathematics ISSN 1310 5132 Vol. 21, 2015, No. 1, 1 9 A natural partial order on the prime numbers Lucian M. Ionescu Department of Mathematics, Illinois State University
More informationON GENERAL ZETA FUNCTIONS
ON GENERAL ZETA FUNCTIONS P. DING, L. M. IONESCU, G. SEELINGER Abstract. An abstract interface to zeta functions is defined, following the Lefschetz-Hasse-Weil zeta function as a model. It is implemented
More informationON REIDEMEISTER TORSION OF FINITE FIELDS
ON REIDEMEISTER TORSION OF FINITE FIELDS LUCIAN M. IONESCU Abstract. Reidemeister torsion for groups [] is used to study the structure of basic finite fields, in relation with the POSet of prime numbers
More informationThree Descriptions of the Cohomology of Bun G (X) (Lecture 4)
Three Descriptions of the Cohomology of Bun G (X) (Lecture 4) February 5, 2014 Let k be an algebraically closed field, let X be a algebraic curve over k (always assumed to be smooth and complete), and
More 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 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 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 informationAlgebraic Curves and Riemann Surfaces
Algebraic Curves and Riemann Surfaces Rick Miranda Graduate Studies in Mathematics Volume 5 If American Mathematical Society Contents Preface xix Chapter I. Riemann Surfaces: Basic Definitions 1 1. Complex
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 informationFROM THE FORMALITY THEOREM OF KONTSEVICH AND CONNES-KREIMER ALGEBRAIC RENORMALIZATION TO A THEORY OF PATH INTEGRALS
FROM THE FORMALITY THEOREM OF KONTSEVICH AND CONNES-KREIMER ALGEBRAIC RENORMALIZATION TO A THEORY OF PATH INTEGRALS Abstract. Quantum physics models evolved from gauge theory on manifolds to quasi-discrete
More informationMA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES
MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018 57 5. p-adic Numbers 5.1. Motivating examples. We all know that 2 is irrational, so that 2 is not a square in the rational field Q, but that we can
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43 RAVI VAKIL CONTENTS 1. Facts we ll soon know about curves 1 1. FACTS WE LL SOON KNOW ABOUT CURVES We almost know enough to say a lot of interesting things about
More informationTHETA FUNCTIONS AND KNOTS Răzvan Gelca
THETA FUNCTIONS AND KNOTS Răzvan Gelca THETA FUNCTIONS AND KNOTS Răzvan Gelca based on joint work with Alejandro Uribe and Alastair Hamilton B. Riemann: Theorie der Abel schen Funktionen Riemann s work
More informationSERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN
SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X -bimodule of rank
More informationRESEARCH STATEMENT LUCIAN M. IONESCU
Ionescu, Lucian M/Research Statement/2014-11-28/www.mathjobs.org RESEARCH STATEMENT LUCIAN M. IONESCU Abstract. My current research is related to the Riemann Hypothesis, because of its importance to physics:
More informationDifferential Algebra and Related Topics
Differential Algebra and Related Topics Workshop Abstracts November 2 3, 2000, Rutgers University at Newark Differential Algebra and Symbolic Integration Manuel Bronstein Abstract: An elementary function
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 informationKähler manifolds and variations of Hodge structures
Kähler manifolds and variations of Hodge structures October 21, 2013 1 Some amazing facts about Kähler manifolds The best source for this is Claire Voisin s wonderful book Hodge Theory and Complex Algebraic
More informationThe Canonical Sheaf. Stefano Filipazzi. September 14, 2015
The Canonical Sheaf Stefano Filipazzi September 14, 015 These notes are supposed to be a handout for the student seminar in algebraic geometry at the University of Utah. In this seminar, we will go over
More informationA p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1
A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1 ALEXANDER G.M. PAULIN Abstract. The (de Rham) geometric Langlands correspondence for GL n asserts that to an irreducible rank n integrable connection
More informationSome remarks on Frobenius and Lefschetz in étale cohomology
Some remarks on obenius and Lefschetz in étale cohomology Gabriel Chênevert January 5, 2004 In this lecture I will discuss some more or less related issues revolving around the main idea relating (étale)
More informationUniversity of Rochester Topology Seminar. Doug Ravenel
Beyond elliptic cohomology and TMF: where number theory and stable homotopy theory meet in mortal combat. University of Rochester Topology Seminar Doug Ravenel March 10, 2006 1 2 1. Introduction This talk
More informationOn the Virtual Fundamental Class
On the Virtual Fundamental Class Kai Behrend The University of British Columbia Seoul, August 14, 2014 http://www.math.ubc.ca/~behrend/talks/seoul14.pdf Overview Donaldson-Thomas theory: counting invariants
More informationModules Over Principal Ideal Domains
Modules Over Principal Ideal Domains Brian Whetter April 24, 2014 This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License. To view a copy of this
More informationHecke modifications. Aron Heleodoro. May 28, 2013
Hecke modifications Aron Heleodoro May 28, 2013 1 Introduction The interest on Hecke modifications in the geometrical Langlands program comes as a natural categorification of the product in the spherical
More informationLecture 2: Elliptic curves
Lecture 2: Elliptic curves This lecture covers the basics of elliptic curves. I begin with a brief review of algebraic curves. I then define elliptic curves, and talk about their group structure and defining
More informationThe Goodwillie-Weiss Tower and Knot Theory - Past and Present
The Goodwillie-Weiss Tower and Knot Theory - Past and Present Dev P. Sinha University of Oregon June 24, 2014 Goodwillie Conference, Dubrovnik, Croatia New work joint with Budney, Conant and Koytcheff
More informationDIVISORS ON NONSINGULAR CURVES
DIVISORS ON NONSINGULAR CURVES BRIAN OSSERMAN We now begin a closer study of the behavior of projective nonsingular curves, and morphisms between them, as well as to projective space. To this end, we introduce
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 informationAN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES
AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES DOMINIC L. WYNTER Abstract. We introduce the concepts of divisors on nonsingular irreducible projective algebraic curves, the genus of such a curve,
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 informationAHAHA: Preliminary results on p-adic groups and their representations.
AHAHA: Preliminary results on p-adic groups and their representations. Nate Harman September 16, 2014 1 Introduction and motivation Let k be a locally compact non-discrete field with non-archimedean valuation
More informationPROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013
PROBLEMS FOR VIASM MINICOURSE: GEOMETRY OF MODULI SPACES LAST UPDATED: DEC 25, 2013 1. Problems on moduli spaces The main text for this material is Harris & Morrison Moduli of curves. (There are djvu files
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 informationElliptic curves over function fields 1
Elliptic curves over function fields 1 Douglas Ulmer and July 6, 2009 Goals for this lecture series: Explain old results of Tate and others on the BSD conjecture over function fields Show how certain classes
More informationComplex Algebraic Geometry: Smooth Curves Aaron Bertram, First Steps Towards Classifying Curves. The Riemann-Roch Theorem is a powerful tool
Complex Algebraic Geometry: Smooth Curves Aaron Bertram, 2010 12. First Steps Towards Classifying Curves. The Riemann-Roch Theorem is a powerful tool for classifying smooth projective curves, i.e. giving
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 information1 Fields and vector spaces
1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary
More informationPublic-key Cryptography: Theory and Practice
Public-key Cryptography Theory and Practice Department of Computer Science and Engineering Indian Institute of Technology Kharagpur Chapter 2: Mathematical Concepts Divisibility Congruence Quadratic Residues
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 informationCorollary. Let X Y be a dominant map of varieties, with general fiber F. If Y and F are rationally connected, then X is.
1 Theorem. Let π : X B be a proper morphism of varieties, with B a smooth curve. If the general fiber F of f is rationally connected, then f has a section. Corollary. Let X Y be a dominant map of varieties,
More informationSurjectivity in Honda-Tate
Surjectivity in Honda-Tate Brian Lawrence May 5, 2014 1 Introduction Let F q be a finite field with q = p a elements, p prime. Given any simple Abelian variety A over F q, we have seen that the characteristic
More informationTHE QUANTUM CONNECTION
THE QUANTUM CONNECTION MICHAEL VISCARDI Review of quantum cohomology Genus 0 Gromov-Witten invariants Let X be a smooth projective variety over C, and H 2 (X, Z) an effective curve class Let M 0,n (X,
More informationKleine AG: Travaux de Shimura
Kleine AG: Travaux de Shimura Sommer 2018 Programmvorschlag: Felix Gora, Andreas Mihatsch Synopsis This Kleine AG grew from the wish to understand some aspects of Deligne s axiomatic definition of Shimura
More informationRIEMANN S INEQUALITY AND RIEMANN-ROCH
RIEMANN S INEQUALITY AND RIEMANN-ROCH DONU ARAPURA Fix a compact connected Riemann surface X of genus g. Riemann s inequality gives a sufficient condition to construct meromorphic functions with prescribed
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 informationLECTURE 11: SOERGEL BIMODULES
LECTURE 11: SOERGEL BIMODULES IVAN LOSEV Introduction In this lecture we continue to study the category O 0 and explain some ideas towards the proof of the Kazhdan-Lusztig conjecture. We start by introducing
More informationTopics in Algebraic Geometry
Topics in Algebraic Geometry Nikitas Nikandros, 3928675, Utrecht University n.nikandros@students.uu.nl March 2, 2016 1 Introduction and motivation In this talk i will give an incomplete and at sometimes
More 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 informationABELIAN FUNCTIONS Abel's theorem and the allied theory of theta functions
ABELIAN FUNCTIONS Abel's theorem and the allied theory of theta functions H. F Baker St John's College, Cambridge CAMBRIDGE UNIVERSITY PRESS CHAPTER I. THE SUBJECT OF INVESTIGATION. I Fundamental algebraic
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 informationLectures on Quantum Groups
Lectures in Mathematical Physics Lectures on Quantum Groups Pavel Etingof and Olivier Schiffinann Second Edition International Press * s. c *''.. \ir.ik,!.'..... Contents Introduction ix 1 Poisson algebras
More informationTitle Project Summary
Title Project Summary The aim of the project is an estimation theory of those special functions of analysis called zeta functions after the zeta function of Euler (1730). The desired estimates generalize
More informationDo Super Cats Make Odd Knots?
Do Super Cats Make Odd Knots? Sean Clark MPIM Oberseminar November 5, 2015 Sean Clark Do Super Cats Make Odd Knots? November 5, 2015 1 / 10 ODD KNOT INVARIANTS Knots WHAT IS A KNOT? (The unknot) (The Trefoil
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 informationOutline of the Seminar Topics on elliptic curves Saarbrücken,
Outline of the Seminar Topics on elliptic curves Saarbrücken, 11.09.2017 Contents A Number theory and algebraic geometry 2 B Elliptic curves 2 1 Rational points on elliptic curves (Mordell s Theorem) 5
More informationmult V f, where the sum ranges over prime divisor V X. We say that two divisors D 1 and D 2 are linearly equivalent, denoted by sending
2. The canonical divisor In this section we will introduce one of the most important invariants in the birational classification of varieties. Definition 2.1. Let X be a normal quasi-projective variety
More 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 informationTowers of algebras categorify the Heisenberg double
Towers of algebras categorify the Heisenberg double Joint with: Oded Yacobi (Sydney) Alistair Savage University of Ottawa Slides available online: AlistairSavage.ca Preprint: arxiv:1309.2513 Alistair Savage
More informationSmith theory. Andrew Putman. Abstract
Smith theory Andrew Putman Abstract We discuss theorems of P. Smith and Floyd connecting the cohomology of a simplicial complex equipped with an action of a finite p-group to the cohomology of its fixed
More informationPossible Group Structures of Elliptic Curves over Finite Fields
Possible Group Structures of Elliptic Curves over Finite Fields Igor Shparlinski (Sydney) Joint work with: Bill Banks (Columbia-Missouri) Francesco Pappalardi (Roma) Reza Rezaeian Farashahi (Sydney) 1
More informationThe Riemann-Roch Theorem
The Riemann-Roch Theorem Paul Baum Penn State Texas A&M University College Station, Texas, USA April 4, 2014 Minicourse of five lectures: 1. Dirac operator 2. Atiyah-Singer revisited 3. What is K-homology?
More informationLecture 6: Etale Fundamental Group
Lecture 6: Etale Fundamental Group October 5, 2014 1 Review of the topological fundamental group and covering spaces 1.1 Topological fundamental group Suppose X is a path-connected topological space, and
More informationIrredundant Families of Subcubes
Irredundant Families of Subcubes David Ellis January 2010 Abstract We consider the problem of finding the maximum possible size of a family of -dimensional subcubes of the n-cube {0, 1} n, none of which
More informationClassification of Dieudonné Modules up to Isogeny
McGill University April 2013 The Motivation Why up to Isogeny? Easier problem might shed light on the harder problem. The theory might actually be nicer. Fits in well with a different perspective on Shimura
More informationExercises on characteristic classes
Exercises on characteristic classes April 24, 2016 1. a) Compute the Stiefel-Whitney classes of the tangent bundle of RP n. (Use the method from class for the tangent Chern classes of complex projectives
More informationWeil Conjectures (Deligne s Purity Theorem)
Weil Conjectures (Deligne s Purity Theorem) David Sherman, Ka Yu Tam June 7, 2017 Let κ = F q be a finite field of characteristic p > 0, and k be a fixed algebraic closure of κ. We fix a prime l p, and
More informationa = a i 2 i a = All such series are automatically convergent with respect to the standard norm, but note that this representation is not unique: i<0
p-adic Numbers K. Sutner v0.4 1 Modular Arithmetic rings integral domains integers gcd, extended Euclidean algorithm factorization modular numbers add Lemma 1.1 (Chinese Remainder Theorem) Let a b. Then
More informationPart III. x 2 + y 2 n mod m
Part III Part III In this, the final part of the course, we will introduce the notions of local and global viewpoints of number theory, which began with the notion of p-adic numbers. (p as usual denote
More informationThe tangent space to an enumerative problem
The tangent space to an enumerative problem Prakash Belkale Department of Mathematics University of North Carolina at Chapel Hill North Carolina, USA belkale@email.unc.edu ICM, Hyderabad 2010. Enumerative
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 informationQuantizations and classical non-commutative non-associative algebras
Journal of Generalized Lie Theory and Applications Vol. (008), No., 35 44 Quantizations and classical non-commutative non-associative algebras Hilja Lisa HURU and Valentin LYCHAGIN Department of Mathematics,
More informationStability and Wall-Crossing
Stability and Wall-Crossing Tom Bridgeland Notes by Tony Feng 1 Hearts and tilting 1.1 Torsion pair Let A be an abelian category. A torsion pair axiomatizes the idea of torsion and torsion-free objects.
More informationThe Riemann Hypothesis for Function Fields
The Riemann Hypothesis for Function Fields Trevor Vilardi MthSc 952 1 Function Fields Let F = F q be the finite field with q elements (q is a prime power). Definiton 1. Let K/F (x) be an extension of F.
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 informationFUNCTORS AND ADJUNCTIONS. 1. Functors
FUNCTORS AND ADJUNCTIONS Abstract. Graphs, quivers, natural transformations, adjunctions, Galois connections, Galois theory. 1.1. Graph maps. 1. Functors 1.1.1. Quivers. Quivers generalize directed graphs,
More information(www.math.uni-bonn.de/people/harder/manuscripts/buch/), files chap2 to chap
The basic objects in the cohomology theory of arithmetic groups Günter Harder This is an exposition of the basic notions and concepts which are needed to build up the cohomology theory of arithmetic groups
More informationRaynaud on F -vector schemes and prolongation
Raynaud on F -vector schemes and prolongation Melanie Matchett Wood November 7, 2010 1 Introduction and Motivation Given a finite, flat commutative group scheme G killed by p over R of mixed characteristic
More informationGalois Representations
9 Galois Representations This book has explained the idea that all elliptic curves over Q arise from modular forms. Chapters 1 and introduced elliptic curves and modular curves as Riemann surfaces, and
More informationH(G(Q p )//G(Z p )) = C c (SL n (Z p )\ SL n (Q p )/ SL n (Z p )).
92 19. Perverse sheaves on the affine Grassmannian 19.1. Spherical Hecke algebra. The Hecke algebra H(G(Q p )//G(Z p )) resp. H(G(F q ((T ))//G(F q [[T ]])) etc. of locally constant compactly supported
More informationDIVISOR THEORY ON TROPICAL AND LOG SMOOTH CURVES
DIVISOR THEORY ON TROPICAL AND LOG SMOOTH CURVES MATTIA TALPO Abstract. Tropical geometry is a relatively new branch of algebraic geometry, that aims to prove facts about algebraic varieties by studying
More informationThe semantics of algebraic quantum mechanics and the role of model theory.
The semantics of algebraic quantum mechanics and the role of model theory. B. Zilber University of Oxford August 6, 2016 B.Zilber, The semantics of the canonical commutation relations arxiv.org/abs/1604.07745
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 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 informationOr, more succinctly, lim
Lecture 7. Functions and Stuff PCMI Summer 2015 Undergraduate Lectures on Flag Varieties Lecture 7. Functions and differentiable and analytic manifolds. The implicit function theorem, cotangent spaces
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 informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 5
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 5 RAVI VAKIL CONTENTS 1. The inverse image sheaf 1 2. Recovering sheaves from a sheaf on a base 3 3. Toward schemes 5 4. The underlying set of affine schemes 6 Last
More informationThe Riemann-Roch Theorem
The Riemann-Roch Theorem Paul Baum Penn State TIFR Mumbai, India 20 February, 2013 THE RIEMANN-ROCH THEOREM Topics in this talk : 1. Classical Riemann-Roch 2. Hirzebruch-Riemann-Roch (HRR) 3. Grothendieck-Riemann-Roch
More information= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2
8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose
More information`-modular Representations of Finite Reductive Groups
`-modular Representations of Finite Reductive Groups Bhama Srinivasan University of Illinois at Chicago AIM, June 2007 Bhama Srinivasan (University of Illinois at Chicago) Modular Representations AIM,
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 informationCategorification of quantum groups and quantum knot invariants
Categorification of quantum groups and quantum knot invariants Ben Webster MIT/Oregon March 17, 2010 Ben Webster (MIT/Oregon) Categorification of quantum knot invariants March 17, 2010 1 / 29 The big picture
More informationFundamental Lemma and Hitchin Fibration
Fundamental Lemma and Hitchin Fibration Gérard Laumon CNRS and Université Paris-Sud May 13, 2009 Introduction In this talk I shall mainly report on Ngô Bao Châu s proof of the Langlands-Shelstad Fundamental
More informationRiemann surfaces with extra automorphisms and endomorphism rings of their Jacobians
Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians T. Shaska Oakland University Rochester, MI, 48309 April 14, 2018 Problem Let X be an algebraic curve defined over a field
More informationLECTURE 1. ZETA FUNCTIONS: AN OVERVIEW
LECTURE 1. ZETA FUNCTIONS: AN OVERVIEW Zeta functions encode the counting of certain objects of geometric, algebraic, or arithmetic behavior. What distinguishes them from other generating series are special
More 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 informationRiemann s Zeta Function and the Prime Number Theorem
Riemann s Zeta Function and the Prime Number Theorem Dan Nichols nichols@math.umass.edu University of Massachusetts Dec. 7, 2016 Let s begin with the Basel problem, first posed in 1644 by Mengoli. Find
More informationl-adic Representations
l-adic Representations S. M.-C. 26 October 2016 Our goal today is to understand l-adic Galois representations a bit better, mostly by relating them to representations appearing in geometry. First we ll
More informationHochschild homology and Grothendieck Duality
Hochschild homology and Grothendieck Duality Leovigildo Alonso Tarrío Universidade de Santiago de Compostela Purdue University July, 1, 2009 Leo Alonso (USC.es) Hochschild theory and Grothendieck Duality
More informationHigher Categories, Homotopy Theory, and Applications
Higher Categories, Homotopy Theory, and Applications Thomas M. Fiore http://www.math.uchicago.edu/~fiore/ Why Homotopy Theory and Higher Categories? Homotopy Theory solves topological and geometric problems
More information