Siegel–Weil formula

Siegel–Weil formula
Name	Siegel–Weil formula
Type	Identity in automorphic forms
Field	Number theory, Automorphic forms
Conjectured by	Carl Ludwig Siegel
Proved by	André Weil
Statement	Relates an Eisenstein series to a weighted sum of theta series associated to a quadratic form.

Siegel–Weil formula. In number theory and the theory of automorphic forms, the Siegel–Weil formula is a profound identity that connects two fundamental types of functions: Eisenstein series and weighted averages of theta series. First envisioned by Carl Ludwig Siegel and later proven in greater generality by André Weil, the formula provides a deep link between the arithmetic of quadratic forms and the analytic theory of modular forms. It has become a cornerstone in the modern study of theta correspondence and has significant applications to problems concerning the representation of numbers by quadratic forms and the arithmetic of Shimura varieties.

Statement of the formula

The classical Siegel–Weil formula establishes an equality between a specific Eisenstein series and a weighted sum, or average, of theta series attached to a genus of quadratic forms. Precisely, for a positive-definite quadratic form \(Q\) over the rational numbers, one considers the associated theta series \(\theta_Q(z)\), a modular form for some congruence subgroup of \(SL_2(\mathbb{Z})\). The formula states that a certain Eisenstein series \(E(z, s)\) at a special value of its parameter \(s\) is equal to a sum over all equivalence classes in the genus of \(Q\), each weighted by the inverse of the order of the corresponding orthogonal group. This identity shows that the Eisenstein series, constructed through analytic continuation, captures global arithmetic data encoded in the theta series of an entire genus. The result can be formulated within the adelic framework, where the sum is taken over classes in the genus with respect to the adelic orthogonal group.

Historical context and motivation

The origins of the formula lie in the work of Carl Ludwig Siegel on the analytic theory of quadratic forms in the 1930s and 1940s. Siegel developed a celebrated formula for the average number of representations of an integer by a genus of quadratic forms, a result deeply connected to the Minkowski–Siegel mass formula. Motivated by these arithmetic averages, Siegel was led to conjecture a more intrinsic identity relating Eisenstein series to sums of theta series. The task of proving this in full generality fell to André Weil in the 1960s, who utilized the then-newly developed machinery of automorphic representations and the adelic method. Weil's proof, leveraging the Stone–von Neumann theorem and the Weil representation, embedded the formula within the broader framework of the theta correspondence between the metaplectic group and orthogonal groups. This work connected Siegel's classical arithmetic to the modern theory of automorphic forms as developed by Robert Langlands.

Theta series and Eisenstein series

The two sides of the identity are constructed from distinct classes of automorphic forms. A theta series \(\theta_Q\) is constructed by summing an exponential function over the lattice points of a quadratic form \(Q\); it transforms like a modular form under the action of \(SL_2(\mathbb{Z})\) or its covers like the metaplectic group. On the other side, an Eisenstein series \(E(g, s)\) is defined by summing over a coset of a parabolic subgroup of a reductive group, such as \(SL_2\) or an orthogonal group; it is initially defined for complex \(s\) with large real part and then meromorphically continued. The specific Eisenstein series in the formula often arises from a degenerate principal series representation induced from a parabolic subgroup of a symplectic group or an orthogonal group. The equality holds at a special point, often \(s = 0\) or another value related to the dimension of the quadratic form, where the Eisenstein series may have a pole or become a square-integrable form.

The Siegel–Weil identity

The core identity can be expressed as \(E(\cdot, s_0) = c \cdot \sum_{[Q]} \frac{1}{|\text{O}(Q)|} \theta_{Q}\), where the sum runs over classes in the genus of a reference quadratic form, \(|\text{O}(Q)|\) is the order of the finite orthogonal group of \(Q\), and \(c\) is an explicit constant involving volumes of adelic groups. The proof, as completed by André Weil, involves a double application of the Poisson summation formula within the Weil representation associated to the symplectic group. This process shows that the theta integral of a Schwartz function on the adelic space of the quadratic form produces precisely the Eisenstein series. The identity reveals that the Eisenstein series is a "lifting" or "theta lift" of the trivial automorphic representation of the orthogonal group via the theta correspondence. This perspective was later formalized in the work of Stephen Rallis and others on the Rallis inner product formula.

Generalizations and related results

The original formula has been vastly extended. A major generalization, the "regularized Siegel–Weil formula," developed by Michael Harris and Stephen Kudla, handles cases where the Eisenstein series is not convergent at the critical point, requiring regularization techniques. The framework of the theta correspondence between dual reductive pairs in the sense of Roger Howe provides a vast arena for generalizations, relating automorphic forms on symplectic groups to those on orthogonal groups or unitary groups. The Kudla program, initiated by Stephen Kudla, seeks to interpret the Fourier coefficients of such Eisenstein series as intersection numbers on Shimura varieties, such as those associated to orthogonal groups or unitary groups. Related deep results include the Rallis inner product formula, which computes the Petersson inner product of two theta lifts, and the work of Wei Zhang on the Gan–Gross–Prasad conjecture which has connections to these theta liftings.

Applications in number theory

The Siegel–Weil formula has powerful arithmetic applications. It provides a central tool for proving results about the average number of representations of an integer by a genus of quadratic forms, refining the classical theorems of Carl Ludwig Siegel. It is instrumental in studying the arithmetic of Shimura varieties, particularly in calculating heights of special cycles and in approaches to the Gross–Zagier formula and its generalizations. The formula and its generalizations play a key role in the Kudla program, linking Fourier coefficients of Eisenstein series to arithmetic intersection theory on orthogonal Shimura varieties. Furthermore, it furnishes explicit examples of the Langlands functoriality principle via the theta correspondence, showing how automorphic forms on one group (like an orthogonal group) can be transferred to another (like a symplectic group). These applications continue to influence contemporary research in automorphic forms and arithmetic geometry.

Category:Number theory Category:Automorphic forms Category:Mathematical identities Category:Theorems in number theory