Abstract:In this paper we give a proof of Deligne's conjecture on the critical values of $L$-functions for arbitrary algebraic Hecke characters. This extends a result of Blasius, which only works in the case of CM fields. The key new insight is that the Eisenstein-Kronecker classes of Kings-Sprang, which allow for a cohomological interpretation of the value $L(\chi,0)$ for Hecke characters $\chi$ of arbitrary totally imaginary fields, can be regarded as de Rham classes of Blasius' reflex motive.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove Deligne's conjecture regarding the critical values of the L - function of an arbitrary algebraic Hecke character. Specifically, the author aims to prove that for any critical algebraic Hecke character \(\chi\), the value \(L(\chi, 0)\) of its L - function at \(s = 0\) can be expressed in terms of a certain period \(c^+(\chi)\), and the two differ only by a factor in the defining number field \(T\).
### Background of the paper and problem description
In his 1979 paper, Deligne proposed a far - reaching conjecture, which states that the critical values of the motivic L - function can be expressed in terms of a certain period. Specifically, for an algebraic Hecke character \(\chi\) over a number field \(L\) and the number field \(T\) generated by the values of \(\chi\), one can associate a unique motive \(M(\chi)\) with coefficients in \(T\) in the Tannakian subcategory of absolute Hodge periods. For \(s\) in the complex plane with a sufficiently large real part, the L - function of the motive \(M(\chi)\) is given by the absolutely convergent Hecke L - series \(L(\chi, s)=\sum_{a}\frac{\chi(a)}{N(a)^s}\), where \(a\) runs over all integral ideals coprime to the conductor of \(\chi\).
By the classical Hecke results, \(L(\chi, s)\) has a meromorphic continuation across the entire complex plane and satisfies a functional equation. If \(\chi\) is critical (i.e., the \(\Gamma\)-factors on both sides of the functional equation have no poles at \(s = 0\)), then \(L(\chi, 0)\) can be expressed in terms of a certain period. In particular, when \(L\) is a totally imaginary field or contains a CM - field, one can define a \(T\otimes\mathbb{C}\) - linear isomorphism \(I_+\) and define the period \(c^+(\chi)\) through it.
### Main contributions
The main contribution of this paper is to prove that Deligne's conjecture holds for any critical algebraic Hecke character. Specifically, the author has proved that:
\[L(\chi, 0)\text{ and }c^+(\chi)\text{ differ only by a factor in }T\]
This result extends Blasius' work on CM - fields and makes use of the new insights of the Eisenstein - Kronecker classes introduced by Kings - Sprang. These classes allow a cohomological interpretation of Hecke characters over any totally imaginary field, thus providing a new tool for the proof.
### Method overview
The author achieved this proof through the following steps:
1. **Constructing the reflex motive**: Construct the reflex motive \(M(\Xi)\) from the motive \(M(\chi)\) and relate it to an abelian variety with complex multiplication structure.
2. **Using Eisenstein - Kronecker classes**: By constructing a linear combination of these classes, find an element related to \(L(\chi, 0)\).
3. **Verifying special basis elements**: Discuss in detail the special basis elements \(a_\eta\) in the Betti realization and verify their role in the reflex motive.
4. **Applying Blasius' period relations**: Combine Blasius' results and finally obtain the relationship between \(L(\chi, 0)\) and \(c^+(\chi)\).
Through these steps, the author successfully proved Deligne's conjecture, providing a new perspective for understanding the critical values of Hecke characters.