# Martin Orr's Blog

## Gross's proof of the Chowla-Selberg formula

Posted by Martin Orr on Friday, 04 March 2016 at 11:40

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 in terms of values of the gamma function. The idea of Gross's proof is to construct a family of abelian varieties equipped with a section of the de Rham cohomology which has constant periods, such that there is one abelian variety in the family where the period is easy to calculate, and another abelian variety in the family is a power of and so knowing a period of this variety allows us to calculate the periods of .

## Deligne's theorem on absolute Hodge classes

Posted by Martin Orr on Wednesday, 17 December 2014 at 19:00

Today I will outline the proof of Deligne's theorem that Hodge classes on an abelian variety are absolute Hodge. The proof goes through three steps of reducing to increasingly special types of abelian varieties, until finally one reaches a case where it is easy to finish off. This post has ended up longer than usual, but I don't think it is worth splitting into two.

A key ingredient is Deligne's Principle B, which is used for two of the three reduction steps. Principle B says that if we have a family of varieties and a flat section of the relative de Rham cohomology bundle , such that the section specialises to an absolute Hodge class at one point of , then in fact it is absolute Hodge everywhere. This means that, if we have a method for constructing suitable families of abelian varieties and sections of their relative de Rham cohomology, then we only have to prove that Hodge classes are absolute Hodge at one point of each relevant family. We use Shimura varieties to construct these families of abelian varieties on which to apply Principle B.

The outline of the proof looks like this:

1. Reduce to Hodge classes on abelian varieties of CM type (using Principle B)
2. Reduce to a special type of Hodge classes, called Weil classes, on a special type of abelian variety, called abelian varieties of split Weil type (using linear algebra)
3. Reduce to Hodge classes on abelian varieties which are isogenous to a power of an elliptic curve (using Principle B)
4. Observe that it is easy to prove Deligne's theorem (and indeed the Hodge conjecture) for abelian varieties which are isogenous to a power of an elliptic curve