AN EXPLORATION OF THE PRIME NUMBERS

Size: px
Start display at page:

Download "AN EXPLORATION OF THE PRIME NUMBERS"

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

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 information

ON GENERAL ZETA FUNCTIONS

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

ON REIDEMEISTER TORSION OF FINITE FIELDS

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

Three Descriptions of the Cohomology of Bun G (X) (Lecture 4)

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

Notes on p-divisible Groups

Notes on p-divisible Groups Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete

More information

Algebraic Geometry Spring 2009

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

What is the Langlands program all about?

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

Algebraic Curves and Riemann Surfaces

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

Geometric motivic integration

Geometric motivic integration Université Lille 1 Modnet Workshop 2008 Introduction Motivation: p-adic integration Kontsevich invented motivic integration to strengthen the following result by Batyrev. Theorem (Batyrev) If two complex

More information

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

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES

MA257: 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 information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43

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

THETA FUNCTIONS AND KNOTS Răzvan Gelca

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

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

RESEARCH STATEMENT LUCIAN M. IONESCU

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

Differential Algebra and Related Topics

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

15 Elliptic curves and Fermat s last theorem

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

Kähler manifolds and variations of Hodge structures

Kä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 information

The Canonical Sheaf. Stefano Filipazzi. September 14, 2015

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

A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1

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

Some remarks on Frobenius and Lefschetz in étale cohomology

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

University of Rochester Topology Seminar. Doug Ravenel

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

On the Virtual Fundamental Class

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

Modules Over Principal Ideal Domains

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

Hecke modifications. Aron Heleodoro. May 28, 2013

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

Lecture 2: Elliptic curves

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

The Goodwillie-Weiss Tower and Knot Theory - Past and Present

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

DIVISORS ON NONSINGULAR CURVES

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

Math 248B. Applications of base change for coherent cohomology

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

AN EXPOSITION OF THE RIEMANN ROCH THEOREM FOR CURVES

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

RIEMANN SURFACES. max(0, deg x f)x.

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

AHAHA: Preliminary results on p-adic groups and their representations.

AHAHA: 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 information

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

p-divisible Groups and the Chromatic Filtration

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

Elliptic curves over function fields 1

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

Complex 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, 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 information

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998

CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998 CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic

More information

1 Fields and vector spaces

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

Public-key Cryptography: Theory and Practice

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

Cohomological Formulation (Lecture 3)

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

Corollary. Let X Y be a dominant map of varieties, with general fiber F. If Y and F are rationally connected, then X is.

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

Surjectivity in Honda-Tate

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

THE QUANTUM CONNECTION

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

Kleine AG: Travaux de Shimura

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

RIEMANN S INEQUALITY AND RIEMANN-ROCH

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

Mini-Course on Moduli Spaces

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

LECTURE 11: SOERGEL BIMODULES

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

Topics in Algebraic Geometry

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

Galois Theory of Several Variables

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

ABELIAN FUNCTIONS Abel's theorem and the allied theory of theta functions

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

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

3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X). 3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)

More information

Lectures on Quantum Groups

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

Title Project Summary

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

Do Super Cats Make Odd Knots?

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

L-Polynomials of Curves over Finite Fields

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

Outline of the Seminar Topics on elliptic curves Saarbrücken,

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

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

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

More information

Cover Page. The handle holds various files of this Leiden University dissertation.

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

Towers of algebras categorify the Heisenberg double

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

Smith theory. Andrew Putman. Abstract

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

Possible Group Structures of Elliptic Curves over Finite Fields

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

The Riemann-Roch Theorem

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

Lecture 6: Etale Fundamental Group

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

Irredundant Families of Subcubes

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

Classification of Dieudonné Modules up to Isogeny

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

Exercises on characteristic classes

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

Weil Conjectures (Deligne s Purity Theorem)

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

a = 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

a = 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 information

Part III. x 2 + y 2 n mod m

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

The tangent space to an enumerative problem

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

Math 797W Homework 4

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

Quantizations and classical non-commutative non-associative algebras

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

Stability and Wall-Crossing

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

The Riemann Hypothesis for Function Fields

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

Periods, Galois theory and particle physics

Periods, 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 information

FUNCTORS AND ADJUNCTIONS. 1. Functors

FUNCTORS 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

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

Raynaud on F -vector schemes and prolongation

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

More information

Galois Representations

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

H(G(Q p )//G(Z p )) = C c (SL n (Z p )\ SL n (Q p )/ SL n (Z p )).

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

DIVISOR THEORY ON TROPICAL AND LOG SMOOTH CURVES

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

The semantics of algebraic quantum mechanics and the role of model theory.

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

SERRE S CONJECTURE AND BASE CHANGE FOR GL(2)

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

The Major Problems in Group Representation Theory

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

Or, more succinctly, lim

Or, 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 information

BRIAN OSSERMAN. , let t be a coordinate for the line, and take θ = d. A differential form ω may be written as g(t)dt,

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

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 5

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

The Riemann-Roch Theorem

The 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

= 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 `-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 information

Transcendence theory in positive characteristic

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

Categorification of quantum groups and quantum knot invariants

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

Fundamental Lemma and Hitchin Fibration

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

Riemann surfaces with extra automorphisms and endomorphism rings of their Jacobians

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

LECTURE 1. ZETA FUNCTIONS: AN OVERVIEW

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

SUMS OF VALUES OF A RATIONAL FUNCTION. x k i

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

Riemann s Zeta Function and the Prime Number Theorem

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

l-adic Representations

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

Hochschild homology and Grothendieck Duality

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

Higher Categories, Homotopy Theory, and Applications

Higher 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