Geometric period

Geometric period
Name	Geometric period
Field	Number theory; Representation theory; Automorphic forms; Algebraic geometry
Introduced	Antiquity–modern synthesis
Related	Theta correspondence; Langlands program; Period integrals

Geometric period is a term in modern mathematics describing integrals, pairings, or invariants arising from geometry that connect automorphic representations, algebraic varieties, and arithmetic. It appears across the contexts of automorphic representation, representation theory, arithmetic geometry, and the Langlands program, linking objects such as modular form, theta function, Hodge structure, and motivic cohomology through explicit period integrals and comparison isomorphisms.

Definition and basic properties

A geometric period is typically defined as an integral of an algebraic differential form or an automorphic form over a cycle, a subgroup, or a locally symmetric space, producing complex numbers that encode geometric and arithmetic data; examples include integrals appearing in the theories of Deligne's conjectures, Beilinson conjectures, and the Gan–Gross–Prasad conjecture. Such periods satisfy functoriality constraints predicted by the Langlands functoriality conjecture and relate to local and global pairings in the classification of irreducible admissible representations for reductive groups like GL_n, SL_2, GSp_4, and SO_n. They enjoy symmetry and transformation properties under actions of groups such as Hecke operators, Atkin–Lehner operators, and correspondences from the Jacquet–Langlands correspondence or the theta correspondence.

Examples and classical cases

Classical instances include the Petersson inner product of two modular forms on the upper half-plane modulo SL_2(Z), the Rankin–Selberg integral for a pair of cusp forms linked to the Rankin–Selberg L-function, and the period integrals of holomorphic differentials on a compact Riemann surface such as those arising from Jacobians of curves like the Elliptic curve or higher-genus curves studied by Abel and Jacobi. Other celebrated examples occur in the study of Eisenstein series, the Godement–Jacquet zeta integral for GL_n, and the Flicker–Rallis periods for unitary groups; special value formulas relate these to regulators in Beilinson's conjecture and to the Gross–Zagier theorem pairing of Heegner points on Shimura curves. Periods also appear in the study of motivic periods such as multiple zeta values encountered in the context of mixed Tate motives and the work of Kontsevich and Zagier.

Relation to automorphic forms and representation theory

Geometric periods serve as linear functionals on spaces of automorphic forms and on matrix coefficient spaces of automorphic representations; they detect distinguished representations under subgroup restrictions like the period characterizations in the Gan–Gross–Prasad conjectures, the Ichino–Ikeda formula, and the Waldspurger formula for central L-values. In the local theory, models such as the Whittaker model, the Bessel model, and the Shalika model classify representations by nonvanishing of corresponding local periods linked to local Langlands correspondence and Tate's thesis techniques. Global period integrals factor into products of local functionals, reflecting the adèlic decomposition used in the work of Jacquet and Langlands, and underpin constructions in automorphic L-function theory including Rankin–Selberg convolutions and converse theorems of Cogdell–Piatetski-Shapiro.

Arithmetic and algebraic applications

In arithmetic, geometric periods connect special values of L-functions to arithmetic invariants: regulators, heights, and algebraic cycles appearing in Beilinson–Bloch conjectures and the Birch and Swinnerton-Dyer conjecture for abelian varietys and elliptic curves. They appear in the characterization of rationality and algebraicity properties of critical L-values as in Deligne's conjecture and in the explicit construction of rational points via the Gross–Zagier theorem and Kolyvagin's Euler systems. Periods encode comparison isomorphisms between Betti, de Rham, and étale realizations of motives, central to the study of the Hodge conjecture and to motivic Galois actions studied by Grothendieck and Deligne.

Computation and invariants

Computational approaches to periods use analytic continuation, Rankin–Selberg unfolding, the explicit evaluation of local zeta integrals, and cohomological methods via automorphic cohomology and Eichler–Shimura isomorphisms; prominent algorithmic implementations involve modular symbols for modular curves, overconvergent methods for p-adic L-functions, and numerical techniques for period matrices of Riemann surfaces as in work by Fay and Deconinck. Invariants extracted from periods include period polynomials, regulators, Hodge numbers, and transcendence measures studied in Baker's theory and transcendence results of Borel and Schneider–Lang type. The explicit local factors are closely tied to local gamma, epsilon, and L-factors from the local Langlands correspondence and to epsilon dichotomies in branching laws studied by Prasad.

Historical development and notable results

The study of periods traces back to classical analysis of elliptic integrals by Legendre and to Abelian integrals in the work of Abel and Jacobi. In the 20th century, the formulation of period integrals entwined with automorphic forms emerged in the work of Hecke, Langlands, and Tate, while landmark results include the Gross–Zagier formula, Waldspurger's theorem, Deligne's conjectures on special values, and the Ichino–Ikeda identity proving precise period–L-value relations. Recent advances connect periods to relative trace formulas developed by Jacquet and Rallis, to the Gan–Gross–Prasad program, and to progress on motivic periods via the theory of mixed motives pursued by Bloch, Beilinson, and Voevodsky.

Category:Automorphic forms Category:Periods in number theory