# Martin's Blog

## The Chowla-Selberg formula

Posted by Martin Orr on Monday, 28 December 2015 at 20:00

The Chowla-Selberg formula is an equation which expresses the periods of CM elliptic curves in terms of values of the gamma function at rational arguments. Colmez conjectured a generalisation of the Chowla-Selberg formula to higher-dimensional CM abelian varieties, and an averaged version of Colmez's conjecture was recently proved by Andreatta, Goren, Howard and Madapusi Pera and independently by Yuan and Zhang. This has been much talked about in the world of abelian varieties, because Tsimerman used the averaged Colmez conjecture to complete the proof of the André-Oort conjecture for .

I thought that rather than looking directly at the Colmez conjecture, it would be good to start with the simpler Chowla-Selberg formula i.e. the elliptic curves case. In this post I will talk about a couple of ways of stating the formula, in terms of periods of CM elliptic curves or in terms of Faltings heights.

### Periods of CM elliptic curves

Recall that we defined the period lattice of an elliptic curve over to be the kernel of the exponential map . If we choose an element of the cotangent space , then the image under of the period lattice of is a lattice in , which we call the period lattice of and denote .

Suppose that is defined over . We can then insist that be in . Since is a one-dimensional -vector space, the period lattices associated with different choices of differ by scalar factors in . Hence the -vector space generated by is a -vector subspace of (of dimension at most 2) which is canonically associated with . We call the elements of periods of .

Suppose that has complex multiplication by an order in an imaginary quadratic field . The action of on induces an action on . This action agrees with the multiplication action induced by one of the two embeddings , and also stabilises . It follows that the period lattice of any is a rank-1 -submodule of . Since , the -vector space generated by has dimension 1.

The fact that has complex multiplication implies that it is defined over . As remarked above, is a -vector space which is independent of the choice of . We have just shown that this space has dimension 1. It therefore makes sense to talk about "the period of up to multiplication by ." (On the other hand, Schneider's theorem implies that if is a non-CM elliptic curve over , then its space of -periods has dimension 2.)

In Gross's version, the Chowla-Selberg formula tells us the value of the periods of the CM elliptic curve up to multiplication by an element of : On the right hand side of the formula, is the fundamental discriminant of , is the number of units in , is the class number of and is the Dirichlet character associated with the quadratic extension .

Note that according to this formula, the value of (up to multiplication by ) is the same for all elliptic curves with CM by the same field. This is expected, because all elliptic curves with CM by a given field are isogenous to each other.

### A versions with the Faltings height

The original Chowla-Selberg formula was an exact equation, not just an equation "up to multiplication by ." In the original formula, the ambiguity in the choice of period was removed by using the modular discriminant . Colmez later used the Faltings height instead.

However, rather than talking about the periods of a single CM elliptic curve, the exact Chowla-Selberg formula talks about the produc tof the periods of all elliptic curves in the set for some imaginary quadratic field . As we remarked above, the curves in are all isogenous to each other and so their periods are the same up to multiplication by . Furthermore, we know that the size of is equal to the class number of . Hence, up to , there is exactly the same information in a period of a single CM elliptic curve or in the product of the periods of all curves in .

If is defined over , then we can use a Néron model for to get a canonical choice of element (up to sign anyway). In this case there is a very simple definition of the Faltings height:

In the CM case, we can relate the Faltings height to the periods. Observe that is the area of a fundamental domain of the period lattice . If and form a basis for , then this area is given by Suppose that has complex multiplication by . Then for some , and so Since is an algebraic number, we conclude that

If is not defined over but over some number field , then there is no canonical choice of . The Faltings height is defined as a sum over all places of , in a way which removes the dependence on choice of . The terms for finite places are logarithms of algebraic numbers, while the terms for archimedean places look like

As in the case, in the case of a CM elliptic curve, up to an element of , this comes out as If , then the set of Galois conjugates of is exactly . We conclude that where is the class number of .

Hence the version of the Chowla-Selberg formula stated above is equivalent to It turns out that we can make this into the following exact equality: (I am not confident that I have got all the constants correct in the above equation.)

Colmez observed that we can rewrite the right hand side of the above in terms of logarithmic derivatives of L-functions:

### Proofs

Chowla and Selberg proved their formula analytically, using the Kronecker limit formula. It seems that they announced the formula in 1949 but did not publish their proof until 1967, after other people had already published a proof (which I think was also analytic).

Gross proved his weakened ("up to ") version in 1978 by looking at a family of abelian varieties (with base a unitary Shimura variety) in which there is a constant period. Gross's proof is similar to the proof of Deligne's theorem on absolute Hodge classes for Weil classes, and indeed inspired Deligne's proof. I might talk about this proof in my next post.

Colmez conjectured a generalisation of the formula to CM abelian varieties of higher dimensions. He extended Gross's method to prove the exact formula in the elliptic curve case.

1. Gross's proof of the Chowla-Selberg formula From Martin's Blog

Today I am going to write about Gross's proof of the Chowla-Selberg formula (up to algebraic numbers). As I discussed last time, the Chowla-Selberg formula is a formula for the periods of a CM elliptic curve E in terms of values of the gamma...