[Note: the content of this post is standard number theoretic material that can be found in many textbooks (I am relying principally here on Iwaniec and Kowalski); I am not claiming any new progress on any version of the Riemann hypothesis here, but am simply arranging existing facts together.]

The Riemann hypothesis is arguably the most important and famous unsolved problem in number theory. It is usually phrased in terms of the Riemann zeta function , defined by

for and extended meromorphically to other values of , and asserts that the only zeroes of in the critical strip lie on the critical line .

One of the main reasons that the Riemann hypothesis is so important to number theory is that the zeroes of the zeta function in the critical strip control the distribution of the primes. To see the connection, let us perform the following formal manipulations (ignoring for now the important analytic issues of convergence of series, interchanging sums, branches of the logarithm, etc., in order to focus on the intuition). The starting point is the fundamental theorem of arithmetic, which asserts that every natural number has a unique factorisation into primes. Taking logarithms, we obtain the identity

for any natural number , where is the von Mangoldt function, thus when is a power of a prime and zero otherwise. If we then perform a “Dirichlet-Fourier transform” by viewing both sides of (1) as coefficients of a Dirichlet series, we conclude that

formally at least. Writing , the right-hand side factors as

whereas the left-hand side is (formally, at least) equal to . We conclude the identity

(formally, at least). If we integrate this, we are formally led to the identity

or equivalently to the exponential identity

which allows one to reconstruct the Riemann zeta function from the von Mangoldt function. (It is instructive exercise in enumerative combinatorics to try to prove this identity directly, at the level of formal Dirichlet series, using the fundamental theorem of arithmetic of course.) Now, as has a simple pole at and zeroes at various places on the critical strip, we expect a Weierstrass factorisation which formally (ignoring normalisation issues) takes the form

(where we will be intentionally vague about what is hiding in the terms) and so we expect an expansion of the form

and hence on integrating in we formally have

and thus we have the heuristic approximation

Comparing this with (3), we are led to a heuristic form of the *explicit formula*

When trying to make this heuristic rigorous, it turns out (due to the rough nature of both sides of (4)) that one has to interpret the explicit formula in some suitably weak sense, for instance by testing (4) against the indicator function to obtain the formula

which can in fact be made into a rigorous statement after some truncation (the von Mangoldt explicit formula). From this formula we now see how helpful the Riemann hypothesis will be to control the distribution of the primes; indeed, if the Riemann hypothesis holds, so that for all zeroes , it is not difficult to use (a suitably rigorous version of) the explicit formula to conclude that

as , giving a near-optimal “square root cancellation” for the sum . Conversely, if one can somehow establish a bound of the form

for any fixed , then the explicit formula can be used to then deduce that all zeroes of have real part at most , which leads to the following remarkable amplification phenomenon (analogous, as we will see later, to the tensor power trick): any bound of the form

can be automatically amplified to the stronger bound

with both bounds being equivalent to the Riemann hypothesis. Of course, the Riemann hypothesis for the Riemann zeta function remains open; but partial progress on this hypothesis (in the form of zero-free regions for the zeta function) leads to partial versions of the asymptotic (6). For instance, it is known that there are no zeroes of the zeta function on the line , and this can be shown by some analysis (either complex analysis or Fourier analysis) to be equivalent to the prime number theorem

see e.g. this previous blog post for more discussion.

The main engine powering the above observations was the fundamental theorem of arithmetic, and so one can expect to establish similar assertions in other contexts where some version of the fundamental theorem of arithmetic is available. One of the simplest such variants is to continue working on the natural numbers, but “twist” them by a Dirichlet character . The analogue of the Riemann zeta function is then the (1), which encoded the fundamental theorem of arithmetic, can be twisted by to obtain

and essentially the same manipulations as before eventually lead to the exponential identity

which is a twisted version of (2), as well as twisted explicit formula, which heuristically takes the form

for non-principal , where now ranges over the zeroes of in the critical strip, rather than the zeroes of ; a more accurate formulation, following (5), would be

(See e.g. Davenport’s book for a more rigorous discussion which emphasises the analogy between the Riemann zeta function and the Dirichlet -function.) If we assume the generalised Riemann hypothesis, which asserts that all zeroes of in the critical strip also lie on the critical line, then we obtain the bound

for any non-principal Dirichlet character , again demonstrating a near-optimal square root cancellation for this sum. Again, we have the amplification property that the above bound is implied by the apparently weaker bound

(where denotes a quantity that goes to zero as for any fixed ). Next, one can consider other number systems than the natural numbers and integers . For instance, one can replace the integers with rings of integers in other number fields (i.e. finite extensions of ), such as the quadratic extensions of the rationals for various square-free integers , in which case the ring of integers would be the ring of quadratic integers for a suitable generator (it turns out that one can take if , and if ). Here, it is not immediately obvious what the analogue of the natural numbers is in this setting, since rings such as do not come with a natural ordering. However, we can adopt an algebraic viewpoint to see the correct generalisation, observing that every natural number generates a principal ideal in the integers, and conversely every non-trivial ideal in the integers is associated to precisely one natural number in this fashion, namely the norm of that ideal. So one can identify the natural numbers with the ideals of . Furthermore, with this identification, the prime numbers correspond to the prime ideals, since if is prime, and are integers, then if and only if one of or is true. Finally, even in number systems (such as ) in which the classical version of the fundamental theorem of arithmetic fail (e.g. ), we have *the fundamental theorem of arithmetic for ideals*: every ideal in a Dedekind domain (which includes the ring of integers in a number field as a key example) is uniquely representable (up to permutation) as the product of a finite number of prime ideals (although these ideals might not necessarily be principal). For instance, in , the principal ideal factors as the product of four prime (but non-principal) ideals , , , . (Note that the first two ideals are actually equal to each other.) Because we still have the fundamental theorem of arithmetic, we can develop analogues of the previous observations relating the Riemann hypothesis to the distribution of primes. The analogue of the Riemann hypothesis is now the Dedekind zeta function

where the summation is over all non-trivial ideals in . One can also define a von Mangoldt function , defined as when is a power of a prime ideal , and zero otherwise; then the fundamental theorem of arithmetic for ideals can be encoded in an analogue of (1) (or (7)),

which leads as before to an exponential identity

and an explicit formula of the heuristic form

in analogy with (5) or (10). Again, a suitable Riemann hypothesis for the Dedekind zeta function leads to good asymptotics for the distribution of prime ideals, giving a bound of the form

where is the conductor of (which, in the case of number fields, is the absolute value of the discriminant of ) and is the degree of the extension of over . As before, we have the amplification phenomenon that the above near-optimal square root cancellation bound is implied by the weaker bound

where denotes a quantity that goes to zero as (holding fixed). See e.g. Chapter 5 of Iwaniec-Kowalski for details.

As was the case with the Dirichlet -functions, one can twist the Dedekind zeta function example by characters, in this case the Hecke characters; we will not do this here, but see e.g. Section 3 of Iwaniec-Kowalski for details.

Very analogous considerations hold if we move from number fields to function fields. The simplest case is the function field associated to the affine line and a finite field of some order . The polynomial functions on the affine line are just the usual polynomial ring , which then play the role of the integers (or ) in previous examples. This ring happens to be a unique factorisation domain, so the situation is closely analogous to the classical setting of the Riemann zeta function. The analogue of the natural numbers are the monic polynomials (since every non-trivial principal ideal is generated by precisely one monic polynomial), and the analogue of the prime numbers are the irreducible monic polynomials. The norm of a polynomial is the order of , which can be computed explicitly as

Because of this, we will normalise things slightly differently here and use in place of in what follows. The (local) zeta function is then defined as

where ranges over monic polynomials, and the von Mangoldt function is defined to equal when is a power of a monic irreducible polynomial , and zero otherwise. Note that because is always a power of , the zeta function here is in fact periodic with period . Because of this, it is customary to make a change of variables , so that

and is the renormalised zeta function

We have the analogue of (1) (or (7) or (11)):

which leads as before to an exponential identity

analogous to (2), (8), or (12). It also leads to the explicit formula

where are the zeroes of the original zeta function (counting each residue class of the period just once), or equivalently

where are the reciprocals of the roots of the normalised zeta function (or to put it another way, are the factors of this zeta function). Again, to make proper sense of this heuristic we need to sum, obtaining

As it turns out, in the function field setting, the zeta functions are always rational (this is part of the Weil conjectures), and the above heuristic formula is basically exact up to a constant factor, thus

for an explicit integer (independent of ) arising from any potential pole of at . In the case of the affine line , the situation is particularly simple, because the zeta function is easy to compute. Indeed, since there are exactly monic polynomials of a given degree , we see from (14) that

so in fact there are no zeroes whatsoever, and no pole at either, so we have an exact prime number theorem for this function field:

Among other things, this tells us that the number of irreducible monic polynomials of degree is .

We can transition from an algebraic perspective to a geometric one, by viewing a given monic polynomial through its roots, which are a finite set of points in the algebraic closure of the finite field (or more suggestively, as points on the affine line ). The number of such points (counting multiplicity) is the degree of , and from the factor theorem, the set of points determines the monic polynomial (or, if one removes the monic hypothesis, it determines the polynomial projectively). These points have an action of the Galois group . It is a classical fact that this Galois group is in fact a cyclic group generated by a single element, the (geometric) Frobenius map , which fixes the elements of the original finite field but permutes the other elements of . Thus the roots of a given polynomial split into orbits of the Frobenius map. One can check that the roots consist of a single such orbit (counting multiplicity) if and only if is irreducible; thus the fundamental theorem of arithmetic can be viewed geometrically as as the orbit decomposition of any Frobenius-invariant finite set of points in the affine line.

Now consider the degree finite field extension of (it is a classical fact that there is exactly one such extension up to isomorphism for each ); this is a subfield of of order . (Here we are performing a standard abuse of notation by overloading the subscripts in the notation; thus denotes the field of order , while denotes the extension of of order , so that we in fact have if we use one subscript convention on the left-hand side and the other subscript convention on the right-hand side. We hope this overloading will not cause confusion.) Each point in this extension (or, more suggestively, the affine line over this extension) has a minimal polynomial – an irreducible monic polynomial whose roots consist the Frobenius orbit of . Since the Frobenius action is periodic of period on , the degree of this minimal polynomial must divide . Conversely, every monic irreducible polynomial of degree dividing produces distinct zeroes that lie in (here we use the classical fact that finite fields are perfect) and hence in . We have thus partitioned into Frobenius orbits (also known as *closed points*), with each monic irreducible polynomial of degree dividing contributing an orbit of size . From this we conclude a geometric interpretation of the left-hand side of (18):

The identity (18) thus is equivalent to the thoroughly boring fact that the number of -points on the affine line is equal to . However, things become much more interesting if one then replaces the affine line by a more general (geometrically) irreducible curve defined over ; for instance one could take to be an ellpitic curve

for some suitable , although the discussion here applies to more general curves as well (though to avoid some minor technicalities, we will assume that the curve is projective with a finite number of -rational points removed). The analogue of is then the coordinate ring of (for instance, in the case of the elliptic curve (20) it would be ), with polynomials in this ring producing a set of roots in the curve that is again invariant with respect to the Frobenius action (acting on the and coordinates separately). In general, we do not expect unique factorisation in this coordinate ring (this is basically because Bezout’s theorem suggests that the zero set of a polynomial on will almost never consist of a single (closed) point). Of course, we can use the algebraic formalism of ideals to get around this, setting up a zeta function

and a von Mangoldt function as before, where would now run over the non-trivial ideals of the coordinate ring. However, it is more instructive to use the geometric viewpoint, using the ideal-variety dictionary from algebraic geometry to convert algebraic objects involving ideals into geometric objects involving varieties. In this dictionary, a non-trivial ideal would correspond to a proper subvariety (or more precisely, a subscheme, but let us ignore the distinction between varieties and schemes here) of the curve ; as the curve is irreducible and one-dimensional, this subvariety must be zero-dimensional and is thus a (multi-)set of points in , or equivalently an effective divisor of ; this generalises the concept of the set of roots of a polynomial (which corresponds to the case of a principal ideal). Furthermore, this divisor has to be *rational* in the sense that it is Frobenius-invariant. The prime ideals correspond to those divisors (or sets of points) which are irreducible, that is to say the individual Frobenius orbits, also known as closed points of . With this dictionary, the zeta function becomes

where the sum is over effective rational divisors of (with being the degree of an effective divisor ), or equivalently

The analogue of (19), which gives a geometric interpretation to sums of the von Mangoldt function, becomes

thus this sum is simply counting the number of -points of . The analogue of the exponential identity (16) (or (2), (8), or (12)) is then

and the analogue of the explicit formula (17) (or (5), (10) or (13)) is

where runs over the (reciprocal) zeroes of (counting multiplicity), and is an integer independent of . (As it turns out, equals when is a projective curve, and more generally equals when is a projective curve with rational points deleted.)

To evaluate , one needs to count the number of effective divisors of a given degree on the curve . Fortunately, there is a tool that is particularly well-designed for this task, namely the Riemann-Roch theorem. By using this theorem, one can show (when is projective) that is in fact a rational function, with a finite number of zeroes, and a simple pole at both and , with similar results when one deletes some rational points from ; see e.g. Chapter 11 of Iwaniec-Kowalski for details. Thus the sum in (22) is finite. For instance, for the affine elliptic curve (20) (which is a projective curve with one point removed), it turns out that we have

for two complex numbers depending on and .

The Riemann hypothesis for (untwisted) curves – which is the deepest and most difficult aspect of the Weil conjectures for these curves – asserts that the zeroes of lie on the critical line, or equivalently that all the roots in (22) have modulus , so that (22) then gives the asymptotic

where the implied constant depends only on the genus of (and on the number of points removed from ). For instance, for elliptic curves we have the *Hasse bound*

As before, we have an important amplification phenomenon: if we can establish a weaker estimate, e.g.

then we can automatically deduce the stronger bound (23). This amplification is not a mere curiosity; most of the *proofs* of the Riemann hypothesis for curves proceed via this fact. For instance, by using the elementary method of Stepanov to bound points in curves (discussed for instance in this previous post), one can establish the preliminary bound (24) for large , which then amplifies to the optimal bound (23) for all (and in particular for ). Again, see Chapter 11 of Iwaniec-Kowalski for details. The ability to convert a bound with -dependent losses over the optimal bound (such as (24)) into an essentially optimal bound with no -dependent losses (such as (23)) is important in analytic number theory, since in many applications (e.g. in those arising from sieve theory) one wishes to sum over large ranges of .

Much as the Riemann zeta function can be twisted by a Dirichlet character to form a Dirichlet -function, one can twist the zeta function on curves by various additive and multiplicative characters. For instance, suppose one has an affine plane curve and an additive character , thus for all . Given a rational effective divisor , the sum is Frobenius-invariant and thus lies in . By abuse of notation, we may thus define on such divisors by

and observe that is multiplicative in the sense that for rational effective divisors . One can then define for any non-trivial ideal by replacing that ideal with the associated rational effective divisor; for instance, if is a polynomial in the coefficient ring of , with zeroes at , then is . Again, we have the multiplicativity property . If we then form the twisted normalised zeta function

then by twisting the previous analysis, we eventually arrive at the exponential identity

in analogy with (21) (or (2), (8), (12), or (16)), where the *companion sums* are defined by

where the trace of an element in the plane is defined by the formula

In particular, is the exponential sum

which is an important type of sum in analytic number theory, containing for instance the Kloosterman sum

as a special case, where . (NOTE: the sign conventions for the companion sum are not consistent across the literature, sometimes it is which is referred to as the companion sum.)

If is non-principal (and is non-linear), one can show (by a suitably twisted version of the Riemann-Roch theorem) that is a rational function of , with no pole at , and one then gets an explicit formula of the form

for the companion sums, where are the reciprocals of the zeroes of , in analogy to (22) (or (5), (10), (13), or (17)). For instance, in the case of Kloosterman sums, there is an identity of the form

for all and some complex numbers depending on , where we have abbreviated as . As before, the Riemann hypothesis for then gives a square root cancellation bound of the form

for the companion sums (and in particular gives the very explicit Weil bound for the Kloosterman sum), but again there is the amplification phenomenon that this sort of bound can be deduced from the apparently weaker bound

As before, most of the known proofs of the Riemann hypothesis for these twisted zeta functions proceed by first establishing this weaker bound (e.g. one could again use Stepanov’s method here for this goal) and then amplifying to the full bound (28); see Chapter 11 of Iwaniec-Kowalski for further details.

One can also twist the zeta function on a curve by a multiplicative character by similar arguments, except that instead of forming the sum of all the components of an effective divisor , one takes the product instead, and similarly one replaces the trace

by the norm

Again, see Chapter 11 of Iwaniec-Kowalski for details.

Deligne famously extended the above theory to higher-dimensional varieties than curves, and also to the closely related context of *-adic sheaves* on curves, giving rise to two separate proofs of the Weil conjectures in full generality. (Very roughly speaking, the former context can be obtained from the latter context by a sort of Fubini theorem type argument that expresses sums on higher-dimensional varieties as iterated sums on curves of various expressions related to -adic sheaves.) In this higher-dimensional setting, the zeta function formalism is still present, but is much more difficult to use, in large part due to the much less tractable nature of divisors in higher dimensions (they are now combinations of codimension one subvarieties or subschemes, rather than combinations of points). To get around this difficulty, one has to change perspective yet again, from an algebraic or geometric perspective to an -adic cohomological perspective. (I could imagine that once one is sufficiently expert in the subject, all these perspectives merge back together into a unified viewpoint, but I am certainly not yet at that stage of understanding.) In particular, the zeta function, while still present, plays a significantly less prominent role in the analysis (at least if one is willing to take Deligne’s theorems as a black box); the explicit formula is now obtained via a different route, namely the Grothendieck-Lefschetz fixed point formula. I have written some notes on this material below the fold (based in part on some lectures of Philippe Michel, as well as the text of Iwaniec-Kowalski and also this book of Katz), but I should caution that my understanding here is still rather sketchy and possibly inaccurate in places.

** — 1. l-adic sheaves and the etale fundamental group — **

From the point of view of applications to analytic number theory, one can view Deligne’s theorems as providing bounds of square root cancellation type for various sums of the form

where is some (quasi-projective) curve (or possibly a higher dimensional variety), and is a certain type of “structured” function on the set of -rational points on , such that is not entirely degenerate (e.g. constant). In particular, Deligne’s results allow one to obtain square root cancellation bounds of the form

for certain non-degenerate structured functions defined on except at a few points where is “singular”, and the restricted sum denotes a sum over the non-singular points of .

The class of functions that can be treated by Deligne’s machinery is very general. The Weil conjectures for curves (and twisted curves) already allows one to obtain bounds of the shape (29) for several useful classes of functions , such as phases

of rational functions, multiplicative characters , or products of the two. Deligne’s results enlarge this class of functions to include Fourier transforms of existing structured functions, such as

in fact the class of structured functions is closed under a large number of operations, such as addition, multiplication, convolution or pullback, making it an excellent class to use in analytic number theory applications. The situation here is not dissimilar to that of characters of finite-dimensional representations of some group , in that the class of characters is also closed under basic operations such as addition and multiplication (which correspond to tensor sum and tensor product of representations). Indeed, the formal definition of a structured function will involve such a finite-dimensional representation, but with two technical details: the vector space is not exactly defined over the complex numbers, but instead defined over the -adic numbers for some prime coprime to , and also the group is going to be the étale fundamental group of .

We first describe (in somewhat vague terms) what the étale fundamental group of a connected variety (or more generally, a connected Noetherian scheme) defined over a field . Crucially, we do not require the underlying field to be algebraically closed, and in our applications will in fact be the finite field . The étale fundamental group is the common generalisation of the (profinite completion of the) topological fundamental group (applied to, say, a smooth complex variety), and of the absolute Galois group of a field . (This point of view is nicely presented in this recent book of Szamuely.) To explain this, we first consider the *topological* fundamental group of a smooth connected manifold at some base point (the choice of which is not too important if one is willing to view the fundamental group up to conjugacy). This group is conventionally defined in terms of loops in based at , but the notion of a loop does not make much sense in either Galois theory or algebraic geometry. Fortunately, as observed by Grothendieck, there is an alternate way to interpret this fundamental group as follows. Let be any covering space of , with covering map ; then above the base point there is a discrete fibre , and given any point in this fibre, every loop based at lifts by monodromy to a path starting at and ending at another point in the fibre . The endpoint is not affected by homotopy of the path, so this leads to an action of the fundamental group (or more precisely, of the opposite group to this fundamental group, but never mind this annoying technicality) on the fibre above of any covering space. For instance, if we take the -fold cover of the unit circle by itself formed by multplying by a natural number , then the fibre may be identified with , and the fundamental group acts on this fibre by translation.

The actions of the fundamental group are natural in the following sense: given a morphism between two covering spaces , of (so that ), then the action of the fundamental group is intertwined by , thus for any and . Conversely, every collection of actions on fibres that is natural in the above sense arises from a unique element of the fundamental group ; this can be easily seen by working with the universal cover of , of which all other (connected) covers are quotients, and on whose fibre the fundamental group acts freely and transitively. Thus, one could *define* the fundamental group as the group of all possible collections of isomorphisms on the fibres above which are natural in the above sense. (In category-theoretic terms, is the group of natural isomorphisms of the fibre functor that maps covers to fibres .)

There is an analogous way to view the absolute Galois group of a field . For simplicity we shall only discuss the case of perfect fields (such as finite fields) here, in which case there is no distinction between the separable closure and the algebraic closure , although the discussion below can be extended to the general case (and from a scheme-theoretic viewpoint it is in fact natural to not restrict oneself to the perfect case). The analogue of the covering spaces of the manifold are the finite extensions of . Here, one encounters a “contravariance” problem in pursuing this analogy: for covering spaces, we have a map from the covering space to the base space ; but for field extensions, one instead has an inclusion from the base field to the extension field. To make the analogy more accurate, one has to dualise, with the role of the covering space being played not by the extension , but rather by the set of all field embeddings of into the algebraic closure (cf. the Yoneda lemma). (There is nothing too special about the algebraic closure here; any field which is in some sense “large enough” to support lots of embeddings of would suffice.) This set projects down to , which has a canonical point , namely the standard embedding of in ; the fibre of at is then the set of field embeddings of to that fix . It is a basic fact of Galois theory that if is an extension of of degree , then this fibre is a finite set of cardinality (for perfect fields, this can be easily deduced from the primitive element theorem). The Galois group then acts on these fibres by left-composition, and one can verify that the action of a given Galois group element is natural in the same category-theoretic sense as considered previously. Conversely, because the algebraic closure of can be viewed as the direct limit of finite extensions of , one can show that every natural isomorphism of these fibres (or more precisely, the fibre functor from (or ) to ) comes from exactly one element of the Galois group .

Now we can define the étale fundamental group of a general (connected, Noetherian) scheme with a specified base point . (Actually, one minor advantages of schemes is that they come with a canonical point to pick here, namely the generic point, although the dependence on the base point is not a major issue here in any event.) The analogue of covering spaces or finite extensions are now the finite étale covers of : morphisms from another scheme to that are étale (which, roughly, is like saying is a local diffeomorphism) and finite (roughly, this means that locally looks like the product of with a finite set). Unlike the previous two contexts, in which a universal covering object was available, the category of finite étale covers of a given scheme usually does not have a universal object. (One can already see this in the category of algebraic Riemann surfaces: the universal cover of the punctured plane ought to be the complex plane with covering map given by the exponential map ; this is what happens in the topological setting, but it is not allowed in the algebraic geometry setting because the exponential map is not algebraic.) Nevertheless, one can still define the étale fundamental group without recourse to a universal object, again by using actions on fibres . Namely, the étale fundamental group consists of all objects which act by permutation on the fibres above of every finite cover of , in such a way that this action is natural in the category-theoretic sense. (To actually construct the étale fundamental group as a well-defined set requires a small amount of set-theoretic care, because strictly speaking the class of finite étale covers of is only a class and not a set; but one can start with one representative from each equivalence class of finite étale covers first, with some designated morphisms between them with which to enforce the naturality conditions, and build the fundamental group from there by an inverse limit construction; see e.g. Szamuely’s book for details.) As the étale fundamental group is defined through its actions on finite sets rather than arbitrary discrete sets, it will automatically be a profinite group, and so differs slightly from the topological fundamental group in that regard. For instance, the punctured complex plane has a topological fundamental group of , but has an étale fundamental group of – the profinite integers, rather than the rational integers. More generally, for complex varieties, the étale fundamental group is always the profinite completion of the topological fundamental group (this comes from a deep connection between complex geometry and algebraic geometry known as the Riemann existence theorem), but the situation can be more complicated in finite characteristic or in non-algebraically closed fields, due to the existence of étale finite covers that do not arise from classical topological covers. For instance, the étale fundamental group of a perfect field (which one can view geometrically as a point over ) turns out to be the absolute Galois group of .

The étale fundamental group is functorial: every morphism of schemes gives rise to a homomorphism of fundamental groups. Among other things, this gives rise to a short exact sequence

whenever is a variety defined over a perfect field (and hence also defined over its algebraic closure , via base change) which is geometrically connected (i.e. that is connected). (Again, it is more natural from a scheme-theoretic perspective to not restrict to the perfect case here, but we will do so here for sake of concreteness.) The groups and are known as the *arithmetic fundamental group* and *geometric fundamental group* of respectively. The latter should be viewed as a profinite analogue of the topological fundamental group of (a complex model of) ; this intuition is quite accurate in characteristic zero (due to the Riemann existence theorem mentioned earlier), but only partially accurate in positive characteristic (basically, one has to work with the prime-to- components of these groups in order to see the correspondence). (See for instance these notes of Milne for further discussion.)

The étale fundamental group can also be described “explicitly” in terms of Galois groups as follows. [Caution: I am not 100% confident in the accuracy of the assertions in this paragraph.] Let be the function field on , and let be its separable closure, so that one can form the Galois group . For any closed point of (basically, an orbit of ), we can form a local version of (the Henselization of the discrete valuation ring associated to , which roughly speaking captures the formal power series around ), and a local version of the Galois group, known as the *decomposition group* at . As embeds into , embeds into . Inside is the inertia group , defined (I think) as the elements of which stabilise the residue field of . Informally, this group measures the amount of ramification present at . One can then identify the arithmetic fundamental group with the quotient of by the normal subgroup generated (as a normal subgroup) by all the inertia groups of closed points; informally, the étale fundamental group describes the unramified Galois representations of . The geometric fundamental group has a similar description, but with replaced by the smaller group .

(Note: as pointed out to me by Brian Conrad, one can also identify with where is the maximal Galois extension of which is unramified at the discrete valuations corresponding to all the closed points of . A similar description can be given for higher-dimensional schemes , if one replaces closed points with codimension-1 points, thanks to Abhyankar’s lemma.)

We have seen that fundamental groups (or absolute Galois groups) act on discrete sets, and specifically on the fibres of covering spaces (or field extensions, or étale finite covers). However, fundamental groups also naturally act on other spaces, and in particular on vector spaces over various fields. For instance, suppose one starts with a connected complex manifold and considers the holomorphic functions on this manifold. Typically, there are very few *globally* holomorphic functions on (e.g. if is compact, then Liouville’s theorem will force a globally holomorphic function to be constant), so one usually works instead with *locally* holomorphic functions, defined on some open subset of . These local holomorphic functions then form a sheaf over , with a vector space of holomorphic functions on being attached to each open set , as well as restriction maps from to for every open subset of which obey a small number of axioms which I will not reproduce here (see e.g. the Wikipedia page on sheaves for the list of sheaf axioms).

Now let be a base point in . We can then associate a natural complex vector space to , namely the space of holomorphic germs at (the direct limit of for neighbourhoods of ). Any loop based at then induces a map from to itself, formed by starting with a germ at and performing analytic continuation until one returns to . As analytic continuation is a linear operation, this map from to itself is linear; it is also invertible by reversing the loop, so it lies in the general linear group . From the locally unique nature of analytic continuation, this map is not affected by homotopy of the loop, and this therefore gives a linear representation of the fundamental group. (Actually, to be pedantic, it gives a representation of the opposite group , due to the usual annoyance that composition of functions works in the reverse order from concatenation of paths, but let us ignore this minor technicality.)

Of course, one can perform the same sort of construction for other sheaves over of holomorphic sections of various vector bundles (using the stalk of the sheaf at for the space of germs), giving rise to other complex linear representations of the fundamental group. In analogy with this, we will *define* the notion of a certain type of sheaf over a variety defined over a finite field in terms of such representations. Due to the profinite nature of the étale fundamental group, we do not work with complex representations, but rather with -adic representations, for some prime that is invertible in . However, as the -adics have characteristic zero, we can always choose an embedding into the complex numbers, although it is not unique (and.

We can now give (a special case of) the definition of an -adic sheaf:

Definition 1 (Lisse sheaf)Let be a non-empty affine curve defined over a finite field , and let be a prime not equal to to the characteristic of (i.e. is invertible in ). An-adic lisse sheafover (also known as an-adic local system) is a continuous linear representation of the arithmetic fundamental group of , where is a finite-dimensional vector space over the –adics . (Here, the continuity is with respect to the profinite topology on and the -adic topology on .) We refer to as thefibreof the sheaf. The dimension of is called therankof the sheaf.

One can define more general -adic sheaves (not necessarily lisse) over more general schemes, but the definitions are more complicated, and the lisse case already suffices for many analytic number theory applications. (However, even if one’s applications only involve lisse sheaves, it is natural to generalise to arbitrary sheaves when proving the key theorems about these sheaves, in particular Deligne’s theorems.)

As we see from the above definition, lisse sheaves are essentially just a linear representation of the arithmetic fundamental group (and hence also of the geometric fundamental group). As such, one can directly import many representation-theoretic concepts into the language of -adic lisse sheaves. For instance, one can form the direct sum and direct product of lisse sheaves by using the representation-theoretic direct sum and direct product, and one can take the contragradient sheaf of a sheaf by replacing the representation with its inverse transpose. Morphisms of the underlying curve give rise to a pullback operation from sheaves over to sheaves of . (There is also an important pushforward operation, but it is much more difficult to define and study.) We also have the notion of a trivial sheaf (in which is the identity), an irreducible sheaf (which cannot be decomposed as an extension of a lower rank sheaf), a semisimple sheaf (a sheaf which factors as the direct sum of irreducibles), or an isotypic sheaf (the direct sum of isomorphic sheaves). By replacing the arithmetic fundamental group with its geometric counterpart, one also has geometric versions of many of the above concepts, thus for instance one can talk about geometrically irreducible sheaves, geometrically semisimple sheaves, etc.

Now let be a closed point in of degree , with its associated decomposition group and inertia group . The quotient can be viewed as the arithmetic fundamental group of , or equivalently the absolute Galois group of the residue field at , and this quotient embeds into the arithmetic fundamental group of since embeds into . On the other hand, as has degree , the residue field is isomorphic to the degree extension of , so is isomorphic to the absolute Galois group of . This latter group is generated (topologically) by the arithmetic Frobenius map , and also by its inverse, known as the geometric Frobenius map. So the geometric Frobenius map is well defined (up to conjugacy) as an element of and hence . By abuse of notation, we will refer to elements of this conjugacy class in as , bearing in mind that this object is only defined up to conjugacy. If we have a lisse -adic sheaf , then is defined up to conjugation, which implies that the trace on is well-defined as an element of . (Actually, a technical point: one should restrict the trace from to the subspace fixed by the inertia group of , but as long as there is no ramification at , this is all of ; we will ignore this technicality, as in practice we will delete the points of in which ramification occurs.) Fixing some embedding , we can then form the trace function

which is a function from to , and in particular a function from to . (A certain subclass of) these trace functions will serve as the “structured” functions mentioned at the start of this section.

Now an important definition. For each unramified closed point , is an invertible linear transformation on the vector space , which has dimension equal to the rank of . In particular, this transformation has eigenvalues (depending on , of course) in , and hence in after selecting an embedding . We say that the sheaf is *pure of weight * for some real number if all of these eigenvalues (and their Galois conjugates) have magnitude exactly , where is the residue field at . There is also the weaker concept of being *mixed of weight *, in which the magnitude of the eigenvalues and their conjugates is merely assumed to be bounded above by . (A technical remark: this upper bound are initially only assumed for unramified closed points, but a result of Deligne allows one to extend this upper bound to ramified points also.) If the sheaf is pure or mixed of weight , then one clearly has the pointwise bound

in particular, for sheaves of weight zero and bounded rank, the trace function is .

The trace functions resemble characters of representations. For instance, taking the direct sum or product of two sheaves results in taking the sum or product of the two trace functions. If two sheaves have weight , then their direct sum has weight as well, while if two sheaves have weights , then their direct product has weight . Taking the contragradient of a sheaf of weight results in a sheaf of weight ; in the weight zero case, the trace function simply gets conjugated. Pulling back a sheaf by some morphism of curves preserves the weight of that sheaf, and pulls back the trace functions accordingly.

It is a convenient fact that pure sheaves automatically have a “geometric semisimplification” which is a pure sheaf of the same weight, and whose trace function is identical to that of the original sheaf. Furthermore, the geometrically irreducible components of the geometrically semisimple sheaf have the same weight as the original sheaf. Because of this, one can often reduce to the study of geometrically irreducible pure sheaves.

In practice, one can normalise the weight of a pure or mixed sheaf to zero by the following simple construction. Given any algebraic integer over the -adics, we can define the *Tate sheaf* associated to to be the unique rank one continuous representation that acts trivially on the geometric fundamental group, and maps the Frobenius map of to . If we set , then this is a pure sheaf of weight , and the associated trace function is equal to ; it is geometrically trivial but arithmetically non-trivial (if ), and conversely all geometrically trivial and geometrically semisimple sheaves come from direct sums of Tate sheaves. Given any other pure or mixed sheaf of some weight , one can then tensor with the Tate sheaf of weight to create a pure or mixed sheaf of weight , which at the level of trace functions amounts to multiplying the trace function by . In particular, setting one can perform a “Tate twist” to normalise these sheaves to be of weight zero.

There is also the notion of the “complexity” of an -adic sheaf, measured by a quantity known as the *conductor* of the sheaf. This quantity is a bit complicated to define here, but basically it incorporates the genus of the underlying curve , the rank of the sheaf, the number of singularities of the sheaf, and something called the Swan conductor at each singularity of that sheaf; bounding the conductor then leads to a bound on all of these quantities. The conductor behaves well with respect to various sheaf-theoretic operations; for instance the direct sum or product of sheaves of bounded conductor will also be a sheaf of bounded conductor. I’ll use “bounded complexity” in place of “bounded conductor” in the text that follows.

The “structured functions” mentioned at the start of this section on a curve are then precisely the trace functions associated to sheaves on open dense subsets of this curve formed by deleting a bounded number of points at most from , which are pure of weight zero and of bounded complexity. As discussed above, this class of functions is closed under pointwise sum, pointwise product, complex conjugation, and pullback, and are also pointwise bounded. It is also a deep fact (essentially due to Deligne, Laumon, and Katz) that this class is closed under other important analytic operations, such as Fourier transform and convolution.

Now we give some basic examples of structured functions, which can be combined with each other using the various closure properties of such functions discussed above. First we show how any additive character can be interpreted as an structured function on the affine line . The affine line is covered by itself via the finite étale covering map defined by . The fibre of this map at is just the field , and so the arithmetic fundamental group acts on . One can show that this action is a translation action (because of the translation symmetry of this covering space), and so we have a map from to , which on composition with (and pulling back to ) gives a rank one sheaf, called the *Artin-Schrier sheaf* associated to . The trace function here is just , and this is clearly a pure sheaf of weight ; it also has bounded complexity (indeed, the genus is zero and the only singularity is at , and the Swan conductor there can be computed to be ).

In a similar vein, any multiplicative character can be viewed as an structured function on the multiplciative group by a similar construction, using instead of (which is still an étale covering map, thanks to a baby case of Hilbert’s Theorem 90), giving rise to a rank one, bounded complexity pure sheaf of weight on known as the *Kummer sheaf*, whose trace function is just .

These two examples, combined with the closure operations defined previously, already give a large number of useful structured functions, such as the function on the affine line with boundedly many points removed, where are on that affine line. But there is a deep and powerful additional closure property due to Deligne, Laumon, and Katz: if is a pure sheaf of weight zero on the affine line (with boundedly many points removed) of bounded complexity that does not contain any Artin-Schrier components, and is a non-trivial additive character, then there is a “Fourier transform” of , which is another pure sheaf of weight zero and bounded complexity with no Artin-Schrier components, with the property that the trace function of is the Fourier transform of the trace function of with respect to on :

See Theorem 8.2.3 of this book of Katz for details. (The construction here is analogous to that used in the Fourier-Mukai transform, although I do not know how tight this analogy is.) This closure under Fourier transforms also implies a closure property with respect to convolutions, by the usual intertwining relationship between convolution and multiplication provided by the Fourier transform. Using these additional closure properties, one can now add many new and interesting examples of structured functions, such as the normalised Kloosterman sums

or more generally the hyper-Kloosterman sums

for some non-principal additive character . These can then be combined with the previous examples of structured functions as before, for instance Kloosterman correlations would now also be examples of structured functions.

We have now demonstrated that the class of structured functions contains many examples of interest to analytic number theory, but we have not yet done anything with this class, in particular we have not obtained any control on “exponential sums” such as

beyond the trivial bound of that comes from the pointwise bound on (and the elementary “Schwarz-Zippel” fact that a bounded complexity curve has at most points over ). However, such control can be obtained through the important Grothendieck-Lefschetz fixed point formula

for any , where are the -adic cohomology groups with compact support in and coefficients in . These groups are defined through the general homological algebra machinery of derived categories (but can also be interpreted using either Galois cohomology or sheaf cohomology), and I do not yet have a sufficiently good understanding of these topics to say much more about these groups, other than that they turn out to be finite-dimensional vector spaces over , and carry an action of the (geometric) Frobenius map of . (In fact they have a richer structure than this, being sheaves over ; this is useful when trying to iterate Deligne’s theorem to control higher-dimensional exponential sums, but we won’t directly use this structure here.) This formula is analogous to the explicit formulae (5), (10), (13), (17), (22), (26), (27) from the introduction, and in fact easily implies the latter four explicit formulae. Specialising to the case , we see that the sum (30) takes the form

To proceed further, we need to understand the eigenvalues of the Frobenius map on these cohomology groups (and we also need some control on the dimensions of these groups, i.e. on Betti numbers). This can be done by the following deep result of Deligne, essentially the main result in his second proof of the Weil conjectures:

Theorem 2 (Deligne’s Weil II)If is a lisse -adic sheaf, pure of weight , and , then any eigenvalue of Frobenius on has magnitude at most , as does any of its Galois conjugates.

If we form the zeta function

in analogy with (2), (8), (12), (16), (21), or (25), Deligne’s theorem is equivalent to the Riemann hypothesis for , or at least to the “important” half of that hypothesis, namely that the zeroes have magnitude at most . In many cases, one can use Poincaré duality to derive a functional equation for which shows that the zeroes in fact have magnitude exactly , but for the purposes of upper bounds on exponential sums, it is only the upper bound on the zeroes which is relevant. Interestingly, once one has Deligne’s theorem, the zeta function plays very little role in applications; however, the zeta function is used to some extent in the *proof* of Deligne’s theorem. (In particular, my understanding is that Deligne establishes a preliminary zero-free region for this zeta function analogous to the classical zero-free region for the Riemann zeta function, which he then amplifies using a device similar to the amplification tricks mentioned previously.)

From Deligne’s theorem we conclude an important upper bound for (30) for structured functions:

To use this bound, we need bounds on the dimensions of the the cohomology groups, and we need the cohomology group to be trivial in order to get a non-trivial bound on the exponential sum .

As is usual in cohomology, the extreme cohomology groups are relatively easy to compute; for instance, if is affine can be shown to vanish, and can be shown to vanish when is geometrically irreducible and non-trivial. In any case, when has bounded complexity, both of these groups have bounded dimension. This leads to the bound

when is geometrically irreducible and non-trivial with bounded complexity. Finally, to control the dimension of , one uses a variant of the Grothendieck-Lefschetz formula, namely the *Euler-Poincaré formula*

where is the rank of , is the geometric Euler characteristic of (i.e. , where is the number of points omits from its projective closure ), and are the Swan conductors. (A side note: this identity formally suggests that there is some extension of the Grothendieck-Lefschetz formula to the case, with the right-hand side of (32) being interpretable as some sort of sum over the “field with one element“, whatever that means. I wonder if such an interpretation has been fleshed out further?) All the quantities on the right-hand side of (32) are bounded if has bounded complexity (basically by the definition of complexity), so we conclude that has bounded dimension if has bounded complexity. (Here we are relying on the fact that is one-dimensional, so that there is only one “difficult” Betti number to understand, which can then be recovered through the Euler characteristic; the situation is more complicated, though still reasonably well under control, in higher dimensions.) So we finally recover the square root cancellation bound

whenever is geometrically irreducible and geometrically non-trivial. We thus obtain the more general bound

for any geometrically semisimple lisse sheaf of bounded complexity and pure of weight , where is an algebraic integer reflecting the Tate twists present in the geometrically trivial component of (in particular, if there is no such component). Thus we have a strong “structure vs randomness” dichotomy for this class of functions: either has a geometrically trivial component, or else exhibits square root cancellation. Informally, we are guaranteed square root cancellation for structured functions unless there is a clear geometric reason why such cancellation is not available.

From Schur’s lemma, we then conclude the almost orthogonality relation

for two geometrically irreducible sheaves of bounded complexity and weight , where is when are geometrically isomorphic, and otherwise, and is an algebraic integer measuring the Tate twists in the geometric isomorphism between and (in particular when ). This gives a useful dichotomy: two irreducible structured functions on a curve with boundedly many points removed are either multiples of each other by a root of unity (after restricting to their common domain of definition), or else have an inner product of . (Among other things, this provides polynomial bounds on the number of distinct structured functions of bounded complexity, by using the Kabatjanskii-Levenstein bound mentioned in the previous post.)

A typical application of this dichotomy is to correlations of the form of some structured function (where the asterisk denotes a restriction to those that avoid the singularities of ); if is prime, one can show that this correlation is for all non-zero , unless correlates with a linear phase (i.e. it has an Artin-Schrier component). In a similar fashion, can be shown to be for all non-zero and any , unless correlates with a quadratic phase. These facts are reminiscent of the inverse theorems in the theory of the Gowers uniformity norms, but in the case of structured functions one gets extremely good bounds (either perfect correlation, or square root cancellation). A bit more generally, one can study correlations of the form , where is a fractional linear transformation, leading to an analysis of the automorphy group of with respect to the action; see this note of Fouvry, Kowalski and Michel for details.

## 72 comments

Comments feed for this article

19 July, 2013 at 7:44 pm

castoverReblogged this on riemannian hunger and commented:

So Terence Tao has posted a blog regarding the Riemann Hypothesis. He notes that his blog is one that makes “no new progress” on the hypothesis, but later refers to the entry as one in which he is “simply arranging existing facts together”.

And THAT, ladies and gentlemen, would be the perfect way for someone as amazing as Tao to provide a subtle, suave introduction to a long series of posts, the culmination of which could be an actual proof to Riemann’s actual hypothesis.

Has the already-brilliant Terry Tao solved the Riemann Hypothesis? Stay tuned to his quadrant of internet space to find out….

29 July, 2013 at 7:56 pm

Anonymousdear castover,all people in the world are stupid,why we agree 17 .other turn down 45, i know the reason , for hate him, envy him.why, he is very young,also number one in the world.even perelman not compare him.i tell all the world that TERENCE TAO

solved 4/6 millenium problems.why i know, i am him, he is my self. i live outside the earth.why he not announce the result of 4/6 millenium ones.maths is like market,also competion, also for fame,also money.terence tao is humble, modest, yield.he not

compete.he is waiting every one announces milleniun maths.but nobody cannot do.he is the only one in the world.someday,you will find my conclusion correct. i am also a prophet

13 August, 2013 at 9:30 pm

Zeeshan MahmudFunny thing is should a question on RH were posted on SE or Mathoverflow, it would be shut down faster than an eyelid. Also, mathematics – paragon of logic and reason- seems to favor reputation by published authors to assess if any further paper is worth reading. I do not agree with your snide comment, but mathematics is becoming an elitist field, instead of being open to commoners. Look at the spite downvotings of the naif who asked what is a zero. Yes, we don’t help, but we downvote to assert our own dominance over others.

11 May, 2015 at 3:14 pm

AnonymousI suspect you’re wrong!

Prof. P. Fernandez

MSc. at the X Paris, Gottingen University, Germany, DSc., Continuum Mechanics.

19 July, 2013 at 8:22 pm

mathtuition88Reblogged this on Singapore Maths Tuition.

19 July, 2013 at 8:26 pm

Tao hablando de la hipótesis de Riemann | Adsu's Blog[…] máxima al abrir hoy el Reader de wordpress: Tao hablando de la hipótesis de Riemann en su blog!. Deja claro al principio del post que simplemente va a colocar junto todo lo que se conoce al […]

20 July, 2013 at 4:36 am

ValentinSorry for such basic a question, but what is a zero of zeta function? This is a complex number, isn’t it? So should only the real part, or only imaginary part, or both equal zero?

20 July, 2013 at 6:35 am

Gergely HarcosA zero means a complex number where the function becomes zero (they are also called roots sometimes). For example, the zeros of the complex function are .

20 July, 2013 at 8:55 am

ValentinBut what is the ‘zero’ of a complex number? Function ‘outputs’ complex numbers, doesn’t it? So to qualify as a zero the ‘output’ must be ?

20 July, 2013 at 12:31 pm

Gergely HarcosYes, the output must be , i.e. the complex number . BTW there is no such thing as the zero of a complex number. This post is about the zeros of certain complex functions (functions whose input and output are complex numbers).

20 July, 2013 at 5:18 pm

ValentinThanks, got it.

20 July, 2013 at 12:33 pm

Anonymousboth equal zero

20 July, 2013 at 4:50 am

amarashikiMy contribution, from a purely physical viewpoint, here: http://thespectrumofriemannium.wordpress.com/2012/11/07/log050-why-riemannium/ and http://thespectrumofriemannium.wordpress.com/2012/11/07/log051-zeta-zoology/

20 July, 2013 at 8:21 am

Edgar's CreativeReblogged this on Edgar's Creative and commented:

Terence Tao on The Riemann Hypothesis

20 July, 2013 at 6:24 pm

Will SawinA few minor comments:

1. (the short exact sequence of arithmetic and geometric fundamental groups) If is a variety over , does not necessarily embed into . The generic point construction gives an embedding of , which is a much bigger field. For some and , we can verify that no splitting in the exact sequence exists, via cases of Grothendieck’s section conjecture.

2. The reason one must use -adic coefficients instead of complex coefficients for lisse sheaves is merely that is a profinite group and is a Lie group. Continuous maps from a profinite group to a Lie group factor through finite groups, so there are just not enough of them to represent all the structured functions we might want to use. , on the other hand, has a large profinite subgroup – – and so there are many more continuous maps.

3. An irreducible lisse sheaf is one which cannot be decomposed as an extension of lisse sheaves, not one which cannot be decomposed as a direct sum of lisse sheaves.

4. A geometrically trivial sheaf is only a direct sum of Tate sheaves if it is semisimple.

[Corrected, thanks -T.]20 July, 2013 at 7:57 pm

News From All Over | Not Even Wrong[…] for those with mathematical interests who have waded through the above, Terry Tao has a remarkable long expository piece about the Riemann hypothesis, ranging from analytic number theory aspects through the function field case and l-adic […]

21 July, 2013 at 6:04 pm

AnonymousI have seen a generalization of the zeta function defined for a group by the formula .

22 July, 2013 at 6:00 am

RonThere should be a space after Eq (8) “this is a twisted version”

[Corrected, thanks – T.]22 July, 2013 at 1:10 pm

Thomas NilsonTry to factor x. x/y gives some number with decimals for some integer y. x/(y-1) and x/(y+1) should be correlated to the decimals from x/y in some way depending on how close you are to a factor to x. Since the zeta function runs through all numbers to the infinity and there is division in zeta function maybe the zeta function connects the above type of decimals with the distribution of primes.

1 August, 2013 at 5:06 am

thomasnilsonAfter thinking about it I found that “in some way depending on how close you are to a factor to x” is not true. The decimals tell that you haven’t found an integer factor.

Call the number of prime factors to an integer x the numbers dimensionality. x denotes area for 2 factors and volume for 3 factors. More factors to numbers comparable in size should mean more regularity to the number with more factors since you can view it’s regularity in space as area, volume etc. The numbers should be the most regular. I suggest that you can estimate a numbers randomness by calculating . Where log is from the prime number theorem and the distribution of primes. For the randomness is .

22 July, 2013 at 6:24 pm

KarlProfessor Tao,

Another very important conjecture is the ABC conjecture. There is a claim that it has been proved recently by a Japanese mathematician. Have you read his work? Would you have any comment on it?

22 July, 2013 at 7:38 pm

John Mangual* I am having a lot of trouble thinking of specific elements of these fundamental groups since the geometry is over (or possible ). These must be cousins of the Frobenius maps .

For any curve, your trace is the trace of the action of the “etale” fundamental group on the vector-bundle-like object . Over , these traces would never depend on the best point, but they do over ?

* Your definition of Lisse sheaf looks like what I would call “vector bundle over a curve with flat connection”. Branched covers and vector bundles are both representations of the fundamental group. These crude and pedestrian mnemonics help me follow difficult material until I figure out something better.

* There was a really nice book called Galois’ Dream which explained a “Galois Theory” of differential equations and related it to the fundamental group of surfaces. It has to do with monodromy solutions to differential equations as you move around a singularity.

22 July, 2013 at 10:30 pm

Terence TaoAs I understand it, the etale fundamental group (of a variety over a field) is sort of a combination of the geometric fundamental group and the absolute Galois group of the field (with the latter being nontrivial when working over a non-algebraically-closed field); Frobenius type elements give rise to the second factor of the group (at least when working over finite fields), but the former factor looks more like what one would expect from a topological group.

One simple example that I find instructive is that of the etale fundamental group of a punctured line of an algebraically closed field ; here there is no Galois component and the situation is very close to that of the topological fundamental group of the punctured complex line . In the latter case, we have a universal cover of by using the exponential map , which shows that the topological fundamental group of is isomorphic to the integers, which each integer representing a way to wind around the origin. In the etale setting, the exponential map is not available (this is not an algebraic map, and in any event is not defined for most fields); instead, we have a bunch of finite etale covers coming from the power maps (let’s say that has characteristic zero for simplicity, so we don’t have to worry about Artin-Schreier covers). (These covers were also present in the complex setting, but were factors of the exponential cover and so did not need to be considered separately.) As it turns out these are basically the only (connected) covers of , and so an element of the etale fundamental group is completely determined by what it does to these covers. Indeed, the etale fundamental group of (at, say, the point ) is the profinite integers , and an element of the profinite integers corresponds to the operation on each finite etale cover that rotates the fibre at (i.e. the roots of unity) by . This is pretty close to the topological situation except that we can’t necessarily glue together all these finite rotations into an integer rotation on the universal cover, because there is no longer any universal cover.

The situation when is not algebraically closed is more complicated, being a combination of some sort of profinite version of the topological group and a Galois group, and I don’t understand this much at all. Milne calls the etale fundamental group of the twice-punctured plane over the rationals “the most interesting object in mathematics” (see page 30 of the linked notes). This is perhaps an exaggeration, but it certainly is a complicated object.

Varying the base point corresponds to conjugating the etale fundamental group, much as is the case with the topological fundamental group. (I think the category theorists would say that one should really not be fussing over base points at all and work with fundamental groupoids instead of fundamental groups, but I’m not really familiar with this perspective.) The reason why the trace functions are not simply constant in is that the action of Frobenius at is different at different values of . For instance, in the Artin-Schreier sheaf , the action of the (geometric) Frobenius map on the fibre of a point is that of translation by .

Yes, the lisse sheaves considered here can be thought of as having a “flat connection”, although for some reason the term “locally constant sheaf” is used in the literature instead. (Maybe because “flat” has another, unrelated meaning in algebra?)

24 July, 2013 at 10:22 am

JSEIt can be useful to think of a variety over a non-algebraically closed field k as a

familyof manifolds , in fact a fibration, where the fibers all look like and the base has fundamental group . In this situation, you get an action (or at least an outer action, since like Terry I’m going to ignore base point issues) of on , which is a good way to think about the action of on the (etale) fundamental group of . What’s more, any section from back to induces a section of the natural map ; in just the same way, when is a variety over , points (which are just sections of the map ) give you sections of the natural map , and Grothendieck’s section conjecture is that for certain classes of “anabelian” varieties (including smooth proper curves) every such section actually arises from a point of .23 July, 2013 at 1:52 pm

Will SawinDepending on your familiarity with the theory of orbifolds, thinking of algebraic curves over as orbifolds might be a good idea. Each point behaves like a cone point, and the Frobenius element at that point is a small loop around that point. You are computing the trace of this element of the fundamental group, which clearly does depend on the point.

Finite etale covers and lisse sheaves behave almost exactly like branched covers and vector bundles with flat connection, so these mnemonics are not so crude and pedestrian – I believe they were used quite a bit by the brilliant mathematicians creating the theory! While one needs very different steps to define these things, they are very analogous.

The connections between the monodromy of differential equations over and lisse sheaves over finite fields is very deep, and there are even direct analogies between specific equations and sheaves. For instance, the Kloosterman sums are strongly related to hypergeometric differential equations.

23 July, 2013 at 4:47 pm

John Mangual(I am replaying to “myself” for neatness in this thread.)

@TerryTao I had heard the “most interesting mathematical object” was $SL(2,\mathbb{Z})$. Personally, I would call the “twice-punctured plane” a 3-punctured sphere, $\mathbb{P}^1 \backslash {0, 1, \infty}$. In fact, the mapping class group of the pair of pants is just $SL(2,\mathbb{Z})$. (Did I say that right?)

The study of the Absolute Galois Group $Gal(\overline{\mathbb{Q}}/\mathbb{Q})$ can be encoded with Dessins d’Enfants – of which I’ve only heard interesting things. These are two of the 3 objects in the exact sequence on page thirty.

$$ 1 \to \pi_1(X_{\mathbb{Q}^{al}, \overline{x}) \to \pi_1(X,x) \to Gal(\overline{\mathbb{Q}}/\mathbb{Q}) \to 1$$

Quite awesomely, Deligne’s discussion of $\pi_1(pants)$ is online. http://quomodocumque.wordpress.com/2009/07/24/le-groupe-fondamental-de-la-droite-projective-moins-trois-points-is-now-online/

I have always found the analytic # theory estimates difficult to follow. At least, Deligne’s discussion offers a logic to these zeta functions from geometry.

And I will think about the orbifold intuition mentioned in this thread.

23 July, 2013 at 6:51 pm

ZackI saw some where that the roots have the form i(PI)/lnp and p is a prime !

24 July, 2013 at 5:46 am

John MangualFirst of all, thank you for sharing this exposition!

One last question about “almost orthogonal” irreducible sheaves.

Can you surmise what the normalization should be on the left hand side? I would wish to divide both sides by and say these characters are becoming more orthogonal as . Or maybe your picture of spreading points along a high-dimensional unit sphere, maximizing the angle between them, is more appropriate.

Could a sum over sheaves in any sense ?

Speculatively, this looks like the orthogonality of characters formula from Conformal Field Theory, where they study characters of the Virasoro algebra. I can say little more than that the two equations physically resemble each other, involve representations and use the letter ”q”. I will not qualify this further.

24 July, 2013 at 9:56 am

Terence TaoThe number of points in is equal to , so one can need normalise and view the correlation estimate as an assertion of almost orthogonality of (almost) unit vectors in with the normalised uniform measure.

As for orthogonality in the sheaf direction, at one level this is trivial because of the ability to twist sheaves by tensoring with Artin-Schrier sheaves, which in effect multiplies the trace function with an additive character without increasing the complexity of the sheaf, and so one can get orthogonality purely from the orthogonality of the additive characters. But note that unlike the situation with the Fourier basis, there are many more sheaves and trace functions than there are points. A simple model case is when restricting to quadratic phase functions on the affine line with coefficients ; these come from particularly simple sheaves (pullbacks of Artin-Schreier sheaves with respect to quadratic polynomials) and the orthogonality properties can be verified directly from elementary Gauss sum estimates rather than from any fancy l-adic cohomology. Note that in this case there are almost orthogonal functions (or unit vectors, if you will) in a -dimensional space. One certainly has ; indeed one only needs to average in the variable alone to get this sort of orthogonality.

27 July, 2013 at 6:55 pm

An improved Type I estimate | What's new[…] -adic sheaf on that is pure of weight and geometrically irreducible with conductor at most (see this previous post for definitions of these terms), then this is a class of structured functions (the almost […]

27 July, 2013 at 9:24 pm

Kamran Alam KhanReblogged this on Observer.

17 August, 2013 at 12:26 pm

Marcelo de AlmeidaReblogged this on Being simple.

4 September, 2013 at 11:06 am

ALI would be very interested in feedback on the paper in arXiv number theory

http://arxiv.org/abs/1307.8395 An equation is derived that is satisfied by the n-th zero that only depends on n, and I think it goes a long way towards proving RH, since it is derived on the critical line and agrees with counting formulas on the entire critical strip. I understand everyone is busy, but being mere physicists, we are eager to get feedback from some pure mathematicians. Thanks.

18 October, 2013 at 11:21 am

daniel jamesin practice, i think (non mathematical term) that every decimal ends in zero, whereas in theory it does not. in this case the final zero is a function of it’s field. it is subject to; not governing. one disproves the other.

20 September, 2013 at 9:51 am

Polymath 8 – a Success! | Combinatorics and more[…] this is something I would be happy to know a little more about. There is a nice recent post on the Riemann hypothesis in various settings on “What’s […]

16 October, 2013 at 8:32 pm

daniel jamessimilar but simpler hypothesis-

can any one help me to prove or disprove?

hypothesis;

the series’- (1+1=2, 2+1=3, 3+2=5, 5+3=8….)

(1+1=2, 2+2=4, 4+4=8, 8+8=16…)

(2051, 2051+2051=4102, 4102+2051=6153…)

…when written concurrently are a tangent to an asymptote.

i.e. there are no factors common to all three series’.

i am working on the principle that according to certain fields, there is no such thing as a straight line.

for increment (field), treat 2051, (7, 293, factors) 1, 2, 8,(300, sum of factors) as false zeros, working both in the + and the -. [a-(-b)=c].

i have derived the number 2051 from bible study.

the paradox of eternity.

as far as i can tell it is correct to 12 digits. then i ran out of fingers!

25 November, 2013 at 5:31 pm

Anonymoussorry i meant to say integers.. no common integers. 2051 is not prime.

18 October, 2013 at 11:11 am

daniel jamesas above-

trajectory of partially common factors= ratio of predictable variance from non predictable field.

23 November, 2013 at 3:09 pm

The Riemann hypothesis in various settings | Edgar's Creative[…] The Riemann hypothesis in various settings. […]

13 January, 2014 at 5:27 pm

Ocean YuThanks for Terry’s blog on RH! If allowed, I would like add comment here although which looks simple and naive.

If looking back to Riemman’s original paper “On the Number of Primes Less Than a Given Magnitude”, we can see one prime formula,

(1)

is counting primes and prime power , prime power is counting as .

Nowadays, above function is replaced by von Mangoldt function just for sake of convenience of research, which can be found at beginning of this blog.

For ( # of primes less than x), it is well know that the RH equivalent form is,

It should not be difficult to get RH equivalent form for above Riemann’s prime formula , which however, can not been found in official book. Is it something like,

(2)

I leave it here as I believe someone can figure it out easily, I can’t BTW.

The reason why I comment here, is that seems that Riemann prime formula was almost swiped out of RH’s researching, as replaced by von Mangoldt function. However, we can see has direct relationship with zeta function’s non-trivial zeros, as showed in (1).

Let’s take the easiest L-functions,

means that no common prime factor between and .

Accordingly, defines following prime formula,

which counts primes and prime power, counts prime power as ,

We may get following facts,

(a) and has identical non-trivial zeros in area of

(b) is expecting to contain , which is similar as,

(3)

is the function relating with x,q only.

(c) If q=2*3*5*7*11*… goes large enough, and is sufficient large, we should get following boundary, by connecting with (3),

(4)

It is interesting here that seems we dig a hole to enable us to see the secret of non-trivial zeros with function only.

So if one figures out (2) and details of , couldn't we answer Hilbert's question after his 100 years' sleeping? On the other word, can we get close to proving RH?

Thanks!

14 January, 2014 at 6:49 pm

Ocean YuAgain, thanks for Terry’s correction on typo!

I’ll bet that no one will comment on my very junior comments. Either RH should not be so simple to get closer, or idea in my comments had been already covered in discussion on L-function. I am still expect one tiny comment no matter positive(couldn’t be) or negative.

Seems to me (a) is obvious, (2) is easy, (3) is not like what I am assuming, whereas, in (4), is a wild horse which is too hard to be trained.

It is not a math researcher’s comment but a math fan. I will shut up and learn in door if it is annoying.

27 January, 2014 at 8:28 am

Mats Granvik7 February, 2014 at 9:09 am

“New equidistribution estimates of Zhang type, and bounded gaps between primes” – and a retrospective | What's new[…] To go beyond this, we had to unpack Zhang’s proof of (a weakened version of) the Elliott-Halberstam type bound (3). His approach follows a well known sequence of papers by Bombieri, Friedlander, and Iwaniec on various restricted breakthroughs beyond the Bombieri-Vinogradov barrier, although with the key difference that Zhang did not use automorphic form techniques, which (at our current level of understanding) are almost entirely restricted to the regime where the residue class is fixed in (as opposed to varying amongst the roots of a polynomial modulo , which is what is needed for the current application). However, the remaining steps are familiar: first one uses the Heath-Brown identity to decompose (a variant of) the expression in (3) into some simpler bilinear and trilinear sums, which Zhang called “Type I”, “Type II”, and “Type III” (though one should caution that these are slightly different from the “Type I” and “Type II” sums arising from Vaughan-type identities). The Type I and Type II sums turn out to be treatable using a careful combination of the Cauchy-Schwarz inequality (as embodied in tools such as the dispersion method of Linnik), the Polya-Vinogradov completion of sums method, and estimates on one-dimensional exponential sums (which are variants of Kloosterman sums) which can ultimately be handled by the Riemann hypothesis for curves over finite fields, first established by Weil (and which can in this particular context also be proven by the elementary method of Stepanov). The Type III sums can be treated by a variant of these methods, except that one-dimensional exponential sum estimates are insufficient; Zhang instead needed to turn to the three-dimensional exponential sum estimates of Birch and Bombieri to get an adequate amount of cancellation, and these estimates ultimately arose from the deep work of Deligne on the Riemann hypothesis for higher dimensional varieties (see this previous blog post for a discussion of these hypotheses). […]

28 February, 2014 at 10:47 am

Anonymoushttps://www.researchgate.net/publication/259646051_Riemann_Hypothesis_Proof

11 March, 2014 at 2:31 pm

Andrew001Well, I saw a book review ( book concerning the Riemann’s hypothesis) at:

https://www.kirkusreviews.com/book-reviews/jan-feliksiak/the-symphony-of-primes-distribution-of-primes-and-/

Quite impressive. Andrew001

27 April, 2014 at 7:14 am

tcneProof of Riemann Hypothesis:

http://www.cqr.info:2013/MolyGrails/riemann-proof

Note: The orange upper arrow/triangle at the bottom of the screen will take the reader to the menu, where informal notes on the proof are available.

It is mentioned (in the informal note) about ‘principal value’ and inner

product, but I would like to re-emphasize:

If Zeta is re-interpreted to be represented only in vector form, with only

Hadamard product, then the notion of ‘principal value’ will not be needed.

As a result, g and g’ can be eliminated, observing that if the representing

vectors of the roots equal, the summations of the terms of the vectors or their

inner products with the identity vector equal as well.

9 October, 2014 at 3:41 pm

boothevenThis would be miraculous if the link worked.

2 May, 2014 at 6:33 am

tcneSummary of the Proof.

RH: all nontrivial roots are on real critical line x = 1/2.

Since we know all nontrivial roots are symmetric about the real line x = 1/2, the nontrivial roots are of the form . Therefore, RH is nothing but , which is equivalent to the statement: .

RH, in this interpretation, is to prove . It is no more fancier than that.

We know that both and are roots of , so .

If we can show implies , we will have RH settled.

To show the above, we only need to demonstrate that the equality in the range of is preserved to its domain which is nothing but (C, +), the group of complex addition.

We observe that equality preservation happens in group isomorphism. Therefore, our proof boils down to showing the isomorphism.

The follow-up post is the full proof.

2 May, 2014 at 6:35 am

tcneA Group Theoretic Approach to the Riemann Hypothesis

1. Introduction

In his 1859 paper Uber die Anzahl der Primzahlen unter einer gegebenen Grosse, Bernhard Riemann put forth a conjecture concerning defined on the set of complex numbers, speculating that all nontrivial roots of fall on the (real) critical line of .

It is known that those roots are of the form for some real number , but a proof for has been elusive.

2. Proof

We observe (), () and () are (commutative) groups, where + is the normal complex number addition, and and are respectively the term-wise (Hadamard) product and the inner product of infinite dimension vectors of the form where for complex variable .

Let be defined as , then is homomorphism (where is normal complex number multiplication):

Similarly, let be defined as , then is homomorphism (just a mention and homomorphic property of is not used in the proof):

and note:

We observe that , for integer set , is kernel for , therefore is isomorphism. Furthermore, since is on principal value, if we define , then .

Suppose and are two roots of , then:

(Q.E.D.)

2 May, 2014 at 7:25 am

Terence Tao1. is not a group operation (in fact, it does not even map to , instead mapping to the complex numbers ). In particular, it does not obey a cancellation law.

2. is not periodic with period . Each individual term is periodic with period , but there is no common period (the zeta function is not a periodic function).

2 May, 2014 at 2:19 pm

tcneTerry,

Thanks for the enlightenment.

My take is this. The world missed it by well over a century is not without a reason.

First, I think the mapping you mentioned (by ‘does not even map’) is the isomorphism of g’. That is exactly the issue, the reason why it appears so evasive.

I anticipated the ‘prejudice’ and explicitly advised to take the ‘vector’ view and NOT the ‘scalar’ view.

In essence, we do not (have to) rely on the isomorphism of g’, but on the isomorphism of f’ (that way we think in vectors not scalars).

You can go to the proof given here concerning RH again and see.

Let me elaborate.

1. The ‘group’ view, in light of your comment, may need just a little twist.

The group informally is: the complex numbers formed by the inner product of vectors (of the form specified for V) with the identity vector V(0). View it as a tuple: (V, s), i.e. the vector and its inner product with V(0). The ‘scalar’ value in the tuple is ‘side show’, since the vector always determines its value. Therefore in the tuple form, in Zeta operation, any two such tuples will form a new one by taking the Hadamard product of the vectors for the first entry (V), then the inner product of this new vector with V(0) as the ‘scalar’ complex value for the second entry (s).

Taking the tuple form, it is a group (closed, associative, inversible, and with identity (V(0) = (1, 1, 1, …), -1/2).

Furthermore, the tuple form is isomorphic to the vector form, since the ‘scalar’ entry in the tuple form is totally determined by the vector entry.

Therefore, if we forget about the ‘scalar’ part, we lose nothing.

2. If we are obsessed with g’ being isomorphic or not, it can be a ‘BIG’ thing! But we do not need it. (We can not even get RH settled, it is better that we introduce no more complications :))

In the proof, the version posted here earlier, we only used the group property of the range of g’, not the isomorphism property of it (the isomorphism of f’ IS however needed).

Let me further elaborate.

First, we use ‘it’ for the imaginary part. it is the same ‘it’ for two roots. Actually, it is obvious that only delta is the somehow ‘possible’ different quantity in the pair of ‘complementary’ roots. We are NOT doing anything with it[1] for one root and it[2] for another (with it[1] != it[2]).

Consequently, the range of g’ being a group, the cancellation property does apply. (By the way if we used it[1] and it[2], we would not be able to cancel! Even if the ‘scalar’ part equal)

Note, we did not open the mapping function, i.e. going from f'(d) = f'(-d) to d = -d till this stage, when d is a real not a complex number.

g'(d) = g'(-d) goes to V(d) = V(-d) is by definition.

Again, V(d) = V(-d) to f'(d) = f'(-d) is also by definition.

When we open up (i.e. going from f'(d) = f'(-d) to d = -d) is due to f’ being isomorphic. Note here, we did not (have to) say that g’ is isomorphism. We do NOT depend on that!

By the way, to be clear (I do not think it can be an issue with you), {0} is whatever multiplicative zero element is (but NOT the complex number zero). Since we do not touch this zero element in the proof, there is no need to elaborate or even be concerned.

Finally, I have been pretty sure of the validity of the proof (but could still be wrong in the end). Just that I was not sure what the reason for this over a century ‘openness’ is. It may be what I suspected all along.

If you have questions or anything I did not make clear, please feel free to let me know. (If you would like me to do LaTeX for this post, let me know. It is a bit of pain as I am not sure what your blog accepts, otherwise it is possible that I post things so garbled that nobody can read.)

Regards,

TCNE

4 May, 2014 at 12:47 pm

Sylvain JULIENI would like to know whether the ideas considered in http://polymathprojects.org/2014/01/20/two-polymath-of-a-sort-proposed-projects/#comments are worth developping or not. My guess is that universality for Zeta and maybe elements of the Selberg class if established (is it?) could be used to prove that the considered field automorphisms of C are continuous, but I’d like to get your opinion before getting into further painstaking investigations. Thank you in advance.

13 May, 2014 at 9:36 pm

Dwork’s proof of rationality of the zeta function over finite fields | What's new[…] Riemann hypothesis, all the zeroes and poles of the -form lie on the critical lines for . (See this previous blog post for further comparison of various instantiations of the Riemann hypothesis.) Whereas Dwork uses […]

31 May, 2014 at 3:01 am

ZZZZDo you think it possible to add such conditions to such

To obtain the following expression for example

for the function d(n) or equivalent with which we have a good estimate.

31 May, 2014 at 8:52 am

Terence TaoThe classical approach to expressing partial sums of multiplicative functions in terms of the associated Dirichlet series is Perron’s formula: http://en.wikipedia.org/wiki/Perron's_formula . Personally I prefer the Fourier-analytic approach (e.g. replacing the partial sum by a smoother cutoff and then expressing that cutoff as a Fourier integral) over the complex-analytic approach, but this is largely a matter of personal taste, as the two approaches are broadly equivalent.

31 May, 2014 at 11:01 am

ZZZZThank you. In essence, whether the above Dirichlet series transformed into \displaystyle -\frac{\zeta'(s)}{\zeta(s)} maybe you have already tried then could not describe what difficulties you encounter

1 June, 2014 at 1:02 am

ZZZZThanks for everything. It seems we’ve got.I combine and found the following equation \displaystyle \frac{\zeta(s)}{\zeta'(s)} = \sum_{n=1}^\infty \frac{2*d(n)}{n^s}

2 June, 2014 at 11:24 am

ZZZZCould you help me?. I found a way to solve the Riemann Hypothesis

19 June, 2014 at 1:11 am

lesh a _ ttDo you think if it’s true rationale for this expression?

If we take an infinite sequence like this:

And the difference between the functions of a special type of indicator is constant.Let this difference will increase, then we will see that for some finite sequence, and in this sense to reduce the difference. But then you face some problems, it follows that there can be an increase or decrease of the difference to some constant.

8 July, 2014 at 9:46 am

0_Lesh_aTake the form below and find its

If

But counting for n = 2,3,4,5 … gives a refutation

8 July, 2014 at 9:02 pm

0_Lesh_aProf. Terence Tao

What do you yhink?

9 July, 2014 at 12:12 am

0_Lesh_aActing as page 50-54 The book H.M.Edwards “Riemann’s Zeta function” 1974.

latex x>0,c>0$

Choose , and for the circle centre 0, radius R.

Write . Then

This function of s is holomorphic inside the contour , expect for a double pole at s=0, of residue . As , and x>1, on we have , so

By Cauchy’s Residue Theorem,

as . This is the statement for

And in this book on page 91-95 given the value of

9 July, 2014 at 2:02 am

0_Lesh_aSorry that so many messages.

After the numerical experiment, the question remains, can be so large for some zeros x to infinity will be equal to 1/2. That is, whether there is an infinite sequence of zeros other. Irrationality of pi says that there is an infinite number of other zeros. Pity about that Euler constant gamma nothing

9 July, 2014 at 2:24 am

0_Lesh_aSorry I’m wrong to be proof.The irrationality of pi does not play here as it seems to me, but however there is no evidence

9 July, 2014 at 10:17 am

AnonymousClaim that there are no zeros of the zeta function in a straight lina. Serious mistake because there are series for it.

Example:

1/2 = 1/3 + 1/9 + 1/24 + 1/81 + 1/648

1/2 = 1/3 + 1/9 + 1/24 + 1/81 + ……. + ……

see in: Universal Journal of Applied Mathematics Vol 1 (2): 2013

Title: convergents series for Riemann Hypothesis.

9 July, 2014 at 9:14 pm

0_Lesh_aIn this book on page 94 there is a wonderful definition of the Euler constant. I hope with the help of this expression, we can prove the infinity of other roots.

Where Chebyshev function

10 July, 2014 at 1:59 am

0_Lesh_aProfessor Terence Tao. Could you comment?

18 August, 2014 at 8:00 am

The Riemann hypothesis for graphs | in theory[…] refer the interested reader to this awesome post by Terry Tao, which gives a whirlwind tour of zeta functions and Riemann hypotheses all over mathematics, and we […]

22 September, 2014 at 8:00 am

Riemann zeta functions and linear operators | in theory[…] the time they spent answering questions. Part of this post will follow, almost word for word, this post of Terry Tao. All the errors and misconceptions below, however, are my own original […]

21 October, 2014 at 7:27 pm

Ocean YuIs it interesting that we reform RH like this way?

suppose $1/2+Ki$ is any one of non-trivial zero of $\zeta$, RH is,

all K is transcendental number

25 January, 2015 at 12:14 pm

hikliceplehfor

for

You can get a good estimate for the .

– How to evaluate this expression? Will give us a permanent inequality of the real part of non-trivial zeros?

27 March, 2015 at 12:12 am

gninrepoli