Theta Lift Derivative & Automorphic Forms

• The derivative of a theta lift is an integral transform that measures the change in theta lifts, linking automorphic forms, harmonic weak Maass forms, and cycle cohomology.
• It employs regularization techniques and operator identities, such as the action of a lowering operator, to establish analytic continuation and adjointness properties.
• Arithmetic applications include explicit relations between period integrals and Hilbert–Eisenstein series, bridging automorphic representations with modular derivatives.

A theta lift is an integral transform (or correspondence) connecting automorphic forms and representations across dual reductive pairs, with both local and global variants. The study of its derivative captures deep aspects of cohomology, arithmetic, and representation theory. In particular, the derivative of a theta lift acts as a bridge between objects such as harmonic weak Maass forms, automorphic forms, and cycles on locally symmetric spaces. This article synthesizes the main constructions, regularization techniques, operator identities, and arithmetic applications of the derivative of a theta lift, organizing the discussion around both the real case (symmetric spaces for $\mathrm{SL}_N$) and the non-Archimedean theta correspondence.

1. Cohomological Theta Kernels and Classical Lifts

Let $V = \mathbb{Q}^N \oplus \mathbb{Q}^N$ with quadratic form $Q(v,w) = v \cdot w$ and $$X = \operatorname{GL}_N(\mathbb{R})^+ / \operatorname{SO}(N)$$, $$S = \operatorname{SL}_N(\mathbb{R})/\operatorname{SO}(N)$$. The Mathai–Quillen formalism produces Schwartz-valued differential forms:

• $$\varphi(z, v) \in \Omega^N(X) \otimes S(V_\mathbb{R})$$, closed and rapidly decaying,
• $$\alpha(z,v) \in \Omega^{N-1}(X) \otimes S(V_\mathbb{R})$$, its transgression.

These satisfy

$$g^*\varphi(z, v) = \varphi(z, \rho(g)^{-1}v), \quad d_X \alpha(z, \sqrt{y}v) = L_N\varphi(z, \sqrt{y}v),$$

where $L_N = -2i y^2 \partial \overline{\partial}_\tau$ is the lowering operator in the $\tau$-variable. A $V = \mathbb{Q}^N \oplus \mathbb{Q}^N$0-invariant finite adèle Schwartz function $V = \mathbb{Q}^N \oplus \mathbb{Q}^N$1 allows construction of theta series

$V = \mathbb{Q}^N \oplus \mathbb{Q}^N$2

of weight $V = \mathbb{Q}^N \oplus \mathbb{Q}^N$3. Pushing forward over $V = \mathbb{Q}^N \oplus \mathbb{Q}^N$4 yields

$V = \mathbb{Q}^N \oplus \mathbb{Q}^N$5

leading to the cohomological theta lift

$V = \mathbb{Q}^N \oplus \mathbb{Q}^N$6

for $V = \mathbb{Q}^N \oplus \mathbb{Q}^N$7-chains $V = \mathbb{Q}^N \oplus \mathbb{Q}^N$8, with holomorphic lift at $V = \mathbb{Q}^N \oplus \mathbb{Q}^N$9.

2. Regularization and Definition of the Regularized Theta Lift

For a harmonic weak Maass form $Q(v,w) = v \cdot w$0 (weight $Q(v,w) = v \cdot w$1, $Q(v,w) = v \cdot w$2), the unregularized theta lift

$Q(v,w) = v \cdot w$3

(diverges at the cusps). Regularization involves truncating to a Siegel set $Q(v,w) = v \cdot w$4. For $Q(v,w) = v \cdot w$5 (critical shift), define

$Q(v,w) = v \cdot w$6

where $Q(v,w) = v \cdot w$7 takes the constant term of the Laurent expansion at $Q(v,w) = v \cdot w$8. Equivalently, subtracting the divergent term:

$Q(v,w) = v \cdot w$9

with $$X = \operatorname{GL}_N(\mathbb{R})^+ / \operatorname{SO}(N)$$0 the cusp width, $$X = \operatorname{GL}_N(\mathbb{R})^+ / \operatorname{SO}(N)$$1 a translated Schwartz function at the cusp $$X = \operatorname{GL}_N(\mathbb{R})^+ / \operatorname{SO}(N)$$2, and $$X = \operatorname{GL}_N(\mathbb{R})^+ / \operatorname{SO}(N)$$3, $$X = \operatorname{GL}_N(\mathbb{R})^+ / \operatorname{SO}(N)$$4 Fourier coefficients as above. For fixed $$X = \operatorname{GL}_N(\mathbb{R})^+ / \operatorname{SO}(N)$$5, $$X = \operatorname{GL}_N(\mathbb{R})^+ / \operatorname{SO}(N)$$6 is smooth on $$X = \operatorname{GL}_N(\mathbb{R})^+ / \operatorname{SO}(N)$$7 away from finitely many special cycles $$X = \operatorname{GL}_N(\mathbb{R})^+ / \operatorname{SO}(N)$$8 (Branchereau, 28 Dec 2025).

3. Spectral Derivative and the Operator Identity

The lift $$X = \operatorname{GL}_N(\mathbb{R})^+ / \operatorname{SO}(N)$$9 depends holomorphically on $$S = \operatorname{SL}_N(\mathbb{R})/\operatorname{SO}(N)$$0, with a Taylor expansion

$$S = \operatorname{SL}_N(\mathbb{R})/\operatorname{SO}(N)$$1

A key identity relates the derivative in $$S = \operatorname{SL}_N(\mathbb{R})/\operatorname{SO}(N)$$2 to the action of the lowering operator $$S = \operatorname{SL}_N(\mathbb{R})/\operatorname{SO}(N)$$3 and differential $$S = \operatorname{SL}_N(\mathbb{R})/\operatorname{SO}(N)$$4. The transgression yields

$$S = \operatorname{SL}_N(\mathbb{R})/\operatorname{SO}(N)$$5

with $$S = \operatorname{SL}_N(\mathbb{R})/\operatorname{SO}(N)$$6 associated to the transgressed form $$S = \operatorname{SL}_N(\mathbb{R})/\operatorname{SO}(N)$$7. This underpins the analytic properties and adjointness for the regularized lift and its derivative (Branchereau, 28 Dec 2025).

4. Adjointness Theorem for the Regularized Theta Lift Derivative

Given $$S = \operatorname{SL}_N(\mathbb{R})/\operatorname{SO}(N)$$8 a compactly supported cycle and the Petersson pairing $$S = \operatorname{SL}_N(\mathbb{R})/\operatorname{SO}(N)$$9 for $$\varphi(z, v) \in \Omega^N(X) \otimes S(V_\mathbb{R})$$0, $$\varphi(z, v) \in \Omega^N(X) \otimes S(V_\mathbb{R})$$1, the main adjointness statement reads:

$$\varphi(z, v) \in \Omega^N(X) \otimes S(V_\mathbb{R})$$2

where the “error terms” $$\varphi(z, v) \in \Omega^N(X) \otimes S(V_\mathbb{R})$$3 depend only on principal parts of $$\varphi(z, v) \in \Omega^N(X) \otimes S(V_\mathbb{R})$$4 at the cusps. When $$\varphi(z, v) \in \Omega^N(X) \otimes S(V_\mathbb{R})$$5 has vanishing constant terms at all cusps, the boundary terms vanish, yielding the pure adjointness relation:

$$\varphi(z, v) \in \Omega^N(X) \otimes S(V_\mathbb{R})$$6

This identifies the derivative in $$\varphi(z, v) \in \Omega^N(X) \otimes S(V_\mathbb{R})$$7 of the cohomological theta lift with the adjoint of the regularized lift, highlighting a deep duality between automorphic objects and their associated cycles (see Proposition 4.14, Theorem 4.16 in (Branchereau, 28 Dec 2025)).

5. Arithmetic Applications: Periods and Hilbert–Eisenstein Series

For a totally real field $$\varphi(z, v) \in \Omega^N(X) \otimes S(V_\mathbb{R})$$8 of degree $$\varphi(z, v) \in \Omega^N(X) \otimes S(V_\mathbb{R})$$9, totally odd Hecke character $$\alpha(z,v) \in \Omega^{N-1}(X) \otimes S(V_\mathbb{R})$$0, and ideals $$\alpha(z,v) \in \Omega^{N-1}(X) \otimes S(V_\mathbb{R})$$1, the construction of Schwartz functions $$\alpha(z,v) \in \Omega^{N-1}(X) \otimes S(V_\mathbb{R})$$2 and positive-norm-one cycles $$\alpha(z,v) \in \Omega^{N-1}(X) \otimes S(V_\mathbb{R})$$3 yields striking arithmetic identities. The cohomological theta lift

$$\alpha(z,v) \in \Omega^{N-1}(X) \otimes S(V_\mathbb{R})$$4

recovers normalized Hilbert–Eisenstein series, whose $$\alpha(z,v) \in \Omega^{N-1}(X) \otimes S(V_\mathbb{R})$$5-derivative at $$\alpha(z,v) \in \Omega^{N-1}(X) \otimes S(V_\mathbb{R})$$6 gives a non-holomorphic modular form of weight $$\alpha(z,v) \in \Omega^{N-1}(X) \otimes S(V_\mathbb{R})$$7. The holomorphic projection has Fourier coefficients described by arithmetic divisor sums, and the constant term involves logarithms of algebraic numbers. The toric period of the regularized theta lift,

$$\alpha(z,v) \in \Omega^{N-1}(X) \otimes S(V_\mathbb{R})$$8

is explicitly related to both arithmetic data

$$\alpha(z,v) \in \Omega^{N-1}(X) \otimes S(V_\mathbb{R})$$9

and the Petersson pairing of the $$g^*\varphi(z, v) = \varphi(z, \rho(g)^{-1}v), \quad d_X \alpha(z, \sqrt{y}v) = L_N\varphi(z, \sqrt{y}v),$$0-derivative of Hilbert–Eisenstein series with the shadow modular form $$g^*\varphi(z, v) = \varphi(z, \rho(g)^{-1}v), \quad d_X \alpha(z, \sqrt{y}v) = L_N\varphi(z, \sqrt{y}v),$$1:

$$g^*\varphi(z, v) = \varphi(z, \rho(g)^{-1}v), \quad d_X \alpha(z, \sqrt{y}v) = L_N\varphi(z, \sqrt{y}v),$$2

where $$g^*\varphi(z, v) = \varphi(z, \rho(g)^{-1}v), \quad d_X \alpha(z, \sqrt{y}v) = L_N\varphi(z, \sqrt{y}v),$$3 is an explicit transcendental constant and $$g^*\varphi(z, v) = \varphi(z, \rho(g)^{-1}v), \quad d_X \alpha(z, \sqrt{y}v) = L_N\varphi(z, \sqrt{y}v),$$4 is algebraic (Branchereau, 28 Dec 2025).

6. Derivatives of Theta Lifts in Non-Archimedean Local Theta Correspondence

In the non-Archimedean setting, for a reductive dual pair $$g^*\varphi(z, v) = \varphi(z, \rho(g)^{-1}v), \quad d_X \alpha(z, \sqrt{y}v) = L_N\varphi(z, \sqrt{y}v),$$5 over a local field $$g^*\varphi(z, v) = \varphi(z, \rho(g)^{-1}v), \quad d_X \alpha(z, \sqrt{y}v) = L_N\varphi(z, \sqrt{y}v),$$6, the big theta lift $$g^*\varphi(z, v) = \varphi(z, \rho(g)^{-1}v), \quad d_X \alpha(z, \sqrt{y}v) = L_N\varphi(z, \sqrt{y}v),$$7 (for an irreducible smooth representation $$g^*\varphi(z, v) = \varphi(z, \rho(g)^{-1}v), \quad d_X \alpha(z, \sqrt{y}v) = L_N\varphi(z, \sqrt{y}v),$$8 of $$g^*\varphi(z, v) = \varphi(z, \rho(g)^{-1}v), \quad d_X \alpha(z, \sqrt{y}v) = L_N\varphi(z, \sqrt{y}v),$$9) and the Bernstein–Zelevinsky derivative functor $L_N = -2i y^2 \partial \overline{\partial}_\tau$0 interact in a precise, functorial manner. For representations without critical exponent factors (lying in a large subcategory $L_N = -2i y^2 \partial \overline{\partial}_\tau$1), the main theorem asserts exactness:

$L_N = -2i y^2 \partial \overline{\partial}_\tau$2

This compatibility is critical for understanding irreducibility properties of big theta lifts and for recursion on successive derivatives, tying representation-theoretic derivatives directly to the structure of the theta correspondence (Chen et al., 2023).

7. Summary Table: Core Constructions and Relations (Real Case)

Construction	Symbol / Equation	Context/Meaning
Cohomological theta kernel	$L_N = -2i y^2 \partial \overline{\partial}_\tau$3, $L_N = -2i y^2 \partial \overline{\partial}_\tau$4	Schwartz-valued forms on $L_N = -2i y^2 \partial \overline{\partial}_\tau$5
Theta series	$L_N = -2i y^2 \partial \overline{\partial}_\tau$6	Defines automorphic forms
Regularized theta lift	$L_N = -2i y^2 \partial \overline{\partial}_\tau$7	Regularized Maass–Maass lift
Spectral derivative	$L_N = -2i y^2 \partial \overline{\partial}_\tau$8	Appears in adjointness identities
Operator identity	$L_N = -2i y^2 \partial \overline{\partial}_\tau$9	Connects differential and lowering operator
Adjointness for periods	$\tau$0	Relates regularized lift to $\tau$1-derivative
Arithmetic toric periods	$\tau$2	Related to Hilbert–Eisenstein derivatives

This set of constructions and identities governs the theory of theta lift derivatives, linking analytic, geometric, and arithmetic aspects of automorphic forms, cohomology, and periods (Branchereau, 28 Dec 2025, Chen et al., 2023).