Metaplectic Kuznetsov Distributions

• Metaplectic Kuznetsov distributions are analytic objects that combine automorphic discrete-series matrix coefficients with Lagrangian kernel structures on metaplectic covers.
• They provide explicit test vectors via Poincaré series and employ beta-median criteria to establish vanishing and non-vanishing conditions.
• They link global microlocal techniques and metaplectic operator calculus, offering a rigorous framework for Kuznetsov-type analysis.

Searching arXiv for recent and foundational papers on metaplectic Kuznetsov/distributions. arXiv search: metaplectic Kuznetsov formula distributions. Metaplectic Kuznetsov distributions occupy the intersection of two analytic structures: automorphic distribution theory on the metaplectic cover of $\mathrm{SL}_2(\mathbb R)$ and the metaplectic–microlocal calculus of kernels and Lagrangian tempered distributions. In the available sources, the expression is not introduced as a formal term of art. Instead, one line of work provides explicit genuine discrete-series matrix coefficients, their Poincaré series, and vanishing or non-vanishing criteria on $\widetilde{\mathrm{SL}_2(\mathbb R)}$; another develops a global theory of Fourier integral kernels, metaplectic operators, and $T$-Lagrangian distributions in the Shubin setting. Taken together, these sources suggest that “metaplectic Kuznetsov distributions” should be understood as distributional or kernel-like objects adapted to Kuznetsov-type analysis on metaplectic covers, with metaplectic symmetry, explicit $K$-finite test vectors, and Lagrangian kernel structure at the center (Žunar, 2017, Cappiello et al., 2018).

1. Metaplectic representation-theoretic setting

The automorphic side is formulated on the metaplectic group

$\widetilde{\mathrm{SL}_2(\mathbb R)},$

described as the unique connected double cover of $\mathrm{SL}_2(\mathbb R)$. It is realized as pairs

$$\sigma=(g_\sigma,\eta_\sigma), \qquad g_\sigma=\begin{pmatrix}a&b\ c&d\end{pmatrix}\in \mathrm{SL}_2(\mathbb R),$$

where $\eta_\sigma$ is holomorphic on the upper half-plane $H$ and satisfies

$\eta_\sigma(z)^2=cz+d.$

The group law is

$\widetilde{\mathrm{SL}_2(\mathbb R)}$0

with the standard factor $\widetilde{\mathrm{SL}_2(\mathbb R)}$1 and the cocycle identity

$\widetilde{\mathrm{SL}_2(\mathbb R)}$2

An equivalent model via $\widetilde{\mathrm{SL}_2(\mathbb R)}$3, obtained by conjugation under the Cayley transform $\widetilde{\mathrm{SL}_2(\mathbb R)}$4, is used to simplify the discrete-series model on the unit disk (Žunar, 2017).

The maximal compact subgroup is

$\widetilde{\mathrm{SL}_2(\mathbb R)}$5

which is isomorphic to $\widetilde{\mathrm{SL}_2(\mathbb R)}$6. Its irreducible unitary characters are

$\widetilde{\mathrm{SL}_2(\mathbb R)}$7

Because the group is a double cover, the genuine discrete series representations have $\widetilde{\mathrm{SL}_2(\mathbb R)}$8-types indexed by integers of fixed parity; the holomorphic series considered here occur for

$\widetilde{\mathrm{SL}_2(\mathbb R)}$9

with $T$0-types $T$1 or $T$2.

The Lie algebra is identified with $T$3 and equipped with the standard basis $T$4 and Casimir

$T$5

Since the covering is local, the left-invariant differential operators have the same formulas as on $T$6 in Iwasawa coordinates, including

$T$7

and

$T$8

This framework supplies the representation-theoretic ambient space in which Kuznetsov-type test distributions on the metaplectic cover can be formulated.

2. Explicit test vectors and Poincaré series

For each

$T$9

the genuine holomorphic discrete series is realized on

$K$0

with inner product

$K$1

The representation is

$K$2

where

$K$3

A disk model $K$4 on $K$5 is also given, with

$K$6

There is also an anti-holomorphic version (Žunar, 2017).

The $K$7-finite vectors are explicit. In the disk model,

$K$8

Transported to $K$9, the corresponding vectors are

$\widetilde{\mathrm{SL}_2(\mathbb R)},$0

which span the $\widetilde{\mathrm{SL}_2(\mathbb R)},$1-type $\widetilde{\mathrm{SL}_2(\mathbb R)},$2. The associated $\widetilde{\mathrm{SL}_2(\mathbb R)},$3-finite matrix coefficient is

$\widetilde{\mathrm{SL}_2(\mathbb R)},$4

These coefficients admit a closed Cartan-coordinate formula: $\widetilde{\mathrm{SL}_2(\mathbb R)},$5 They are integrable: $\widetilde{\mathrm{SL}_2(\mathbb R)},$6 and the proof uses

$\widetilde{\mathrm{SL}_2(\mathbb R)},$7

For a discrete subgroup $\widetilde{\mathrm{SL}_2(\mathbb R)},$8, one forms the Poincaré series

$\widetilde{\mathrm{SL}_2(\mathbb R)},$9

Within a Kuznetsov-type perspective, these matrix coefficients function as explicit test vectors, while their Poincaré series function as automorphic sums from which spectral or distributional expansions can be built. The sources state that such Poincaré series of $\mathrm{SL}_2(\mathbb R)$0-finite matrix coefficients span the isotypic component of the representation in $\mathrm{SL}_2(\mathbb R)$1, citing Miličić (Žunar, 2017).

3. Vanishing and non-vanishing criteria

A central issue for any metaplectic Kuznetsov-style distributional theory is whether the Poincaré series built from the basic test vectors is nontrivial. The metaplectic analysis provides both vanishing and non-vanishing results.

The vanishing statement is: $\mathrm{SL}_2(\mathbb R)$2 for all $\mathrm{SL}_2(\mathbb R)$3, $\mathrm{SL}_2(\mathbb R)$4, under the subgroup setup of Lemma 6-4, namely when $\mathrm{SL}_2(\mathbb R)$5 and $\mathrm{SL}_2(\mathbb R)$6. The mechanism uses cancellation from compact-subgroup elements, expressed by

$\mathrm{SL}_2(\mathbb R)$7

in the corresponding setting (Žunar, 2017).

The main non-vanishing statement is more quantitative. For

$\mathrm{SL}_2(\mathbb R)$8

and for $\mathrm{SL}_2(\mathbb R)$9 a subgroup of $$\sigma=(g_\sigma,\eta_\sigma), \qquad g_\sigma=\begin{pmatrix}a&b\ c&d\end{pmatrix}\in \mathrm{SL}_2(\mathbb R),$$0 such that $$\sigma=(g_\sigma,\eta_\sigma), \qquad g_\sigma=\begin{pmatrix}a&b\ c&d\end{pmatrix}\in \mathrm{SL}_2(\mathbb R),$$1, if

$$\sigma=(g_\sigma,\eta_\sigma), \qquad g_\sigma=\begin{pmatrix}a&b\ c&d\end{pmatrix}\in \mathrm{SL}_2(\mathbb R),$$2

then

$$\sigma=(g_\sigma,\eta_\sigma), \qquad g_\sigma=\begin{pmatrix}a&b\ c&d\end{pmatrix}\in \mathrm{SL}_2(\mathbb R),$$3

is not identically zero. Here $$\sigma=(g_\sigma,\eta_\sigma), \qquad g_\sigma=\begin{pmatrix}a&b\ c&d\end{pmatrix}\in \mathrm{SL}_2(\mathbb R),$$4 is the median of the beta distribution $$\sigma=(g_\sigma,\eta_\sigma), \qquad g_\sigma=\begin{pmatrix}a&b\ c&d\end{pmatrix}\in \mathrm{SL}_2(\mathbb R),$$5, defined by

$$\sigma=(g_\sigma,\eta_\sigma), \qquad g_\sigma=\begin{pmatrix}a&b\ c&d\end{pmatrix}\in \mathrm{SL}_2(\mathbb R),$$6

An analogous result is also established for a second family of functions $$\sigma=(g_\sigma,\eta_\sigma), \qquad g_\sigma=\begin{pmatrix}a&b\ c&d\end{pmatrix}\in \mathrm{SL}_2(\mathbb R),$$7 on $$\sigma=(g_\sigma,\eta_\sigma), \qquad g_\sigma=\begin{pmatrix}a&b\ c&d\end{pmatrix}\in \mathrm{SL}_2(\mathbb R),$$8, under the additional condition

$$\sigma=(g_\sigma,\eta_\sigma), \qquad g_\sigma=\begin{pmatrix}a&b\ c&d\end{pmatrix}\in \mathrm{SL}_2(\mathbb R),$$9

with the same beta-median inequality (Žunar, 2017).

The underlying non-vanishing mechanism is a general criterion: if there exists a Borel set $\eta_\sigma$0 such that

$\eta_\sigma$1

then

$\eta_\sigma$2

Choosing

$\eta_\sigma$3

yields the conditions

$\eta_\sigma$4

and

$\eta_\sigma$5

whose combination produces the explicit threshold above. In a Kuznetsov context, this gives a concrete analytic criterion for selecting compact Cartan regions with the positivity properties needed for a nonzero automorphic contribution.

4. Metaplectic kernel calculus and Lagrangian tempered distributions

A different but complementary perspective comes from the global Shubin-calculus theory of Fourier integral operators with quadratic phase functions and Shubin amplitudes. The basic oscillatory kernel is

$\eta_\sigma$6

where the phase is a real-valued quadratic form

$\eta_\sigma$7

and the amplitude lies in the Shubin class $\eta_\sigma$8 with isotropic estimates

$\eta_\sigma$9

for $H$0 (Cappiello et al., 2018).

The associated geometry is expressed through twisted graph Lagrangians. For $H$1, the graph of $H$2 in

$H$3

is

$H$4

and after twisting the second cotangent variable by $H$5, this becomes

$H$6

These twisted graph Lagrangians are the canonical relations underlying the Fourier integral operators of the theory.

A central structural theorem states that every such Fourier integral operator factors as a Shubin Weyl operator composed with a metaplectic operator: $H$7 for some $H$8, and conversely

$H$9

The metaplectic covariance relation is

$\eta_\sigma(z)^2=cz+d.$0

This identifies the Shubin Fourier integral operators as a semidirect product of Shubin pseudodifferential operators with the metaplectic group (Cappiello et al., 2018).

For the present topic, the significance is not that a Kuznetsov formula is derived, but that a rigorous class of metaplectically covariant kernel distributions is available. This suggests a natural analytic language for distributional kernels that may arise on the geometric side of a metaplectic Kuznetsov theory.

5. Phase-space characterization and exact kernel geometry

The same kernel theory provides a phase-space characterization of the relevant distributions by means of FBI-transform estimates. For a kernel $\eta_\sigma(z)^2=cz+d.$1 and nonzero $\eta_\sigma(z)^2=cz+d.$2, Theorem 5.2 characterizes membership in $\eta_\sigma(z)^2=cz+d.$3 through estimates on

$\eta_\sigma(z)^2=cz+d.$4

Specifically,

$\eta_\sigma(z)^2=cz+d.$5

if and only if for all $\eta_\sigma(z)^2=cz+d.$6,

$\eta_\sigma(z)^2=cz+d.$7

where the $\eta_\sigma(z)^2=cz+d.$8 are first-order differential operators with directions in the symplectic subspace $\eta_\sigma(z)^2=cz+d.$9 determined by the twisted graph. An equivalent form uses distances to $\widetilde{\mathrm{SL}_2(\mathbb R)}$00 and $\widetilde{\mathrm{SL}_2(\mathbb R)}$01: $\widetilde{\mathrm{SL}_2(\mathbb R)}$02 As a consequence,

$\widetilde{\mathrm{SL}_2(\mathbb R)}$03

The distribution spaces are formulated as $\widetilde{\mathrm{SL}_2(\mathbb R)}$04-Lagrangian distributions. For a Lagrangian $\widetilde{\mathrm{SL}_2(\mathbb R)}$05 written in the form

$\widetilde{\mathrm{SL}_2(\mathbb R)}$06

a distribution $\widetilde{\mathrm{SL}_2(\mathbb R)}$07 is in

$\widetilde{\mathrm{SL}_2(\mathbb R)}$08

if

$\widetilde{\mathrm{SL}_2(\mathbb R)}$09

for some $\widetilde{\mathrm{SL}_2(\mathbb R)}$10 and

$\widetilde{\mathrm{SL}_2(\mathbb R)}$11

The metaplectic operator acts by multiplication with a quadratic phase,

$\widetilde{\mathrm{SL}_2(\mathbb R)}$12

These spaces extend the conormal distributions of the Shubin calculus, satisfy

$\widetilde{\mathrm{SL}_2(\mathbb R)}$13

are preserved by pseudodifferential operators, and obey the mapping law

$\widetilde{\mathrm{SL}_2(\mathbb R)}$14

Most importantly,

$\widetilde{\mathrm{SL}_2(\mathbb R)}$15

so the kernels of the Fourier integral operators are exactly the $\widetilde{\mathrm{SL}_2(\mathbb R)}$16-Lagrangian distributions associated with the twisted graph Lagrangian (Cappiello et al., 2018).

6. Relation to Kuznetsov theory and common misconceptions

The available sources impose a precise limitation on terminology. The representation-theoretic work on $\widetilde{\mathrm{SL}_2(\mathbb R)}$17 does not develop a Kuznetsov trace formula and does not explicitly define Kuznetsov distributions. What it does provide are explicit genuine discrete-series matrix coefficients, their integrability, their Poincaré series, and explicit vanishing or non-vanishing criteria. Those are identified in the source itself as “exactly the kinds of objects that appear as kernels or input distributions in a metaplectic Kuznetsov theory” (Žunar, 2017).

A second common misconception is to treat the global Shubin theory of metaplectic operators and Lagrangian tempered distributions as though it were already automorphic Kuznetsov theory. It is not. Its subject is a global microlocal calculus for Fourier integral operators with quadratic phase functions and Shubin amplitudes, together with an exact identification of their kernels as Lagrangian distributions on twisted graph Lagrangians. The connection to Kuznetsov analysis is therefore indirect but structurally significant: it supplies a metaplectically covariant framework for kernel distributions and precise phase-space control (Cappiello et al., 2018).

Accordingly, “metaplectic Kuznetsov distributions” is best understood as a research-level umbrella expression for distributional objects relevant to Kuznetsov-type analysis on metaplectic covers. On the automorphic side, these include Poincaré series built from explicit $\widetilde{\mathrm{SL}_2(\mathbb R)}$18-finite matrix coefficients, together with criteria ensuring that the resulting automorphic forms are nonzero. On the microlocal side, they include metaplectically transformed kernel distributions characterized by twisted graph Lagrangians, FBI-transform decay, and exact metaplectic–pseudodifferential factorization. A plausible implication is that a fully developed metaplectic Kuznetsov theory would require both components: concrete automorphic test vectors on $\widetilde{\mathrm{SL}_2(\mathbb R)}$19 and a robust distributional calculus for the associated kernels.