For today, we assume our -dimensional variety has the property that its middle etale cohomology is 2-dimensional. It won’t hurt if you want to just think that is an elliptic curve. We will first define the L-series via the Galois representation that we constructed last time. Fix a prime not equal to and of good reduction for . Let . By definition the representation factors through . For a prime lying over the decomposition group surjects onto with kernel . One of the subtleties we’ll jump over to save time is that acts trivially on (it follows from the good reduction assumption), so we can lift the generator of to get a conjugacy class whose image under has well-defined trace and determinant.

We define

where is a product of terms at the bad primes. Note that since this is a two-dimensional representation basic linear algebra tells us that the product is over the simpler expression .

If you don’t like all this Galois representation stuff, we can describe this L-series without reference to the Galois representation at all. In order to ease notation we will denote the reduction of at a fixed good prime by and base changing to the algebraic closure . To simplify notation let .

We have several natural Frobenius actions on . The first we will call the absolute Frobenius which we will denote . This is the identity on the topological space and the -th power map on the structure sheaf. On affine patches the map is the one induced by on . We can check directly that the map on topological spaces is the identity. For any prime ideal the contraction by the property of being prime. This map translates in the language of schemes to where is raising sections of the sheaf to the -th power.

Note that the absolute Frobenius is not a map of over . The map is also not the pullback despite making the same commutative diagram.

Let the standard structure map be and define to be the pullback of Frobenius acting on the base field. Since we have a commutative diagram we get by the universal property of a pullback diagram some map called the relative Frobenius. We define the arithmetic Frobenius to be the projection on the first factor . A nice exercise to see if you understand these would be to write down a big commuting diagram that relates all these. Due to wordpress constraints, I won’t actually do this.

Instead, we’ll do an example. Let (recall that ). This means that . The descriptions in terms of the ring homomorphism that induces the map on the spectra are as follows. The absolute Frobenius is still just . The relative Frobenius is . Since the absolute raises elements of to the , everything in is fixed by this map, and on it is defined to be fixed. This means that the relative Frobenius only alters the by . This is sometimes referred to as “raising coordinates to the -th power”. The arithemtic Frobenius does nothing to the part, but raises the coefficients to the , so . Likewise, the geometric Frobenius takes the -th root of the coefficients.

Straightforward (but non-trivial) computations also give that the map that the absolute Frobenius induces on the \'{e}tale site is trivial. If we look at our diagram we see that . Since the induced map on cohomology is contravariant this gives . This means that on cohomology by definition of the geometric Frobenius.

Now the smooth, proper base change theorem for \'{e}tale cohomology tells us that which is two-dimensional. Since the action here is a linear operator on a vector space it makes sense to take the trace and determinant. We can define the L-series without use of the Galois representation as:

where again the is a product of terms involving primes of bad reduction. Since there are only finitely many this is irrelevant for the definition of modularity. Of course we could have defined this without all the different Frobenius actions (we only used the relative one), but now we can get to the punchline. These two L-series are actually the same.

We just sketched above that the action of and were the same on the \'{e}tale site. But where is the canonical generator of . We have a surjection and if we consider a lift of this element, then by the functoriality and equivariant isomorphisms above we get that . The determinant term turns out to always be since it can be checked to be the third power of the -adic cyclotomic character in both cases. Thus the two L-series are the same. This also tells us the representation is odd.

Note that they appear to be off by an inverse, but we actually took the contragredient representation of the one that acts on , so the inverse corrects for this and they are actually the same.

This got a little technical at parts, so the one thing to take away from this post is that to any with two-dimensional middle cohomology we can produce some function which is just defined in terms of the trace and determinant of certain operators on the cohomology. This is called the L-series and will be crucial in the definition of modularity.

Reblogged this on Guzman's Mathematics Weblog and commented:

Taniyama-Shimura 3: L-Series where it will be crucial in the definition of modularity.