---
title: 'Special Cycles on Shtukas: Geometric Insights'
url: https://www.emergentmind.com/topics/special-cycles-on-shtukas
type: topic
---

# Special Cycles on Shtukas: Geometric Insights

Special cycles on Shtukas are algebraic cycles on moduli stacks of global or local shtukas obtained by imposing additional geometric structure on the underlying shtuka: a reduction of structure group, a compatible section, a fixed Hermitian datum, a period condition, or a prescribed Newton-type condition. In the global function-field setting, the basic structural statement is that if \(\mathcal H\hookrightarrow \mathcal G\) is a closed embedding of smooth affine group schemes over a curve with \(\mathcal H\) Bruhat–Tits, then the induced map \(\Theta^r:\mathrm{Sht}^r_{\mathcal H}\to \mathrm{Sht}^r_{\mathcal G}\) is schematic, finite, and unramified, so its image is a closed substack; this is the precise sense in which special cycles on shtukas are closed [2204.10980].

## 1. Moduli-theoretic setting

Fix a finite field \(k=\mathbb F_q\), a smooth, projective, geometrically connected curve \(X/k\), and its function field \(F=k(X)\). For a smooth affine group scheme \(\mathcal G\) over \(X\), the global Hecke stack \(\operatorname{Hk}^r_{\mathcal G}\) classifies chains of modifications of \(\mathcal G\)-torsors at \(r\) legs. The stack of \(\mathcal G\)-shtukas with \(r\) legs is defined by the Cartesian square
\[
\begin{tikzcd}
\mathrm{Sht}^r_{\mathcal G} \ar[r] \ar[d] &
\operatorname{Bun}_{\mathcal G} \ar[d,"(\mathrm{id},\mathrm{Fr})"]\\
\operatorname{Hk}^r_{\mathcal G} \ar[r,"(p_0,p_r)"] &
\operatorname{Bun}_{\mathcal G}\times \operatorname{Bun}_{\mathcal G}.
\end{tikzcd}
\]
An \(S\)-point is a tuple \((x_i,\mathcal E_i,f_i,\iota)_i\) consisting of legs \(x_i:S\to X\), a chain of \(\mathcal G\)-torsors \(\mathcal E_i\), modifications \(f_i\), and a Frobenius descent isomorphism \(\iota:\mathcal E_r\xrightarrow{\sim}{}^\tau\mathcal E_0\). After imposing bounds \(\underline\mu\) on relative positions, one obtains algebraic stacks \(\mathrm{Sht}^{r,\underline\mu}_{\mathcal G}\) locally of finite type, and
\[
\mathrm{Sht}^r_{\mathcal G}=\varinjlim_{\underline\mu}\mathrm{Sht}^{r,\underline\mu}_{\mathcal G}
\]
with transition maps given by closed embeddings [2204.10980].

This moduli-theoretic framework already contains the basic geometry of special cycles. A reduction of a \(\mathcal G\)-torsor to a subgroup \(\mathcal H\) is a section of the associated quotient \(\mathcal G/\mathcal H\), so a \(\mathcal H\)-shtuka is naturally a \(\mathcal G\)-shtuka equipped with additional structure. The same pattern recurs in later constructions: unitary cycles impose compatible maps \(E\to F_i\) on unitary shtukas, Rankin–Selberg cycles impose a diagonal embedding of shtuka stacks, and \(p\)-adic constructions impose Newton or local-model conditions on shtuka fibers. The subject therefore has a common moduli-theoretic core even though the concrete cycle classes vary across global, local, and \(p\)-adic settings.

## 2. Closed images from subgroup embeddings

Let \(\mathcal H\hookrightarrow \mathcal G\) be a closed embedding of smooth affine group schemes over \(X\), with \(\mathcal H\) Bruhat–Tits. Then the induced map
\[
\Theta^r:\mathrm{Sht}^r_{\mathcal H}\longrightarrow \mathrm{Sht}^r_{\mathcal G}
\]
is schematic, finite, and unramified for every \(r\ge 0\). On bounded pieces, for any bound \(\underline\nu\) on \(\mathcal G\)-modifications, the restriction
\[
\Theta^r:\Theta^{-1}\bigl(\mathrm{Sht}^{r,\underline\nu}_{\mathcal G}\bigr)\to \mathrm{Sht}^{r,\underline\nu}_{\mathcal G}
\]
has the same properties [2204.10980]. Because a finite representable morphism is proper and universally closed, the image
\[
Z^r_{\mathcal H\hookrightarrow\mathcal G}:=\operatorname{Im}(\Theta^r)\subset \mathrm{Sht}^r_{\mathcal G}
\]
is a closed substack. This is the foundational closedness statement for special cycles on shtukas.

The Chow-theoretic consequence is immediate. If \(\mathrm{Sht}^{r,\underline\mu}_{\mathcal H}\) has a fundamental cycle class, then the proper representable map
\[
\Theta^r:\mathrm{Sht}^{r,\underline\mu}_{\mathcal H}\to \mathrm{Sht}^{r,\underline\nu}_{\mathcal G}
\]
defines a pushforward
\[
(\Theta^r)_*\bigl[\mathrm{Sht}^{r,\underline\mu}_{\mathcal H}\bigr]\in
\mathrm{CH}_*\bigl(\mathrm{Sht}^{r,\underline\nu}_{\mathcal G}\bigr),
\]
which is, by definition, a special cycle.

The proof is organized through a representation-theoretic factorization. One chooses \(V\in\operatorname{Rep}(\mathcal G)\) and sets \(W:=V^{\mathcal H}\otimes V\). The quotient \(\mathcal G/\mathcal H\) is represented inside \(W\) by a closed embedding on a dense open set, and this yields a closed embedding
\[
\operatorname{Bun}_{\mathcal H}\hookrightarrow \operatorname{Bun}_{\mathcal G}(W)^\circ
\]
into the stack of \(\mathcal G\)-bundles equipped with a fiberwise nonzero section. Passing to Hecke stacks and then to shtukas gives a closed embedding
\[
b_{\mathrm{Sht}}:\mathrm{Sht}^r_{\mathcal H}\hookrightarrow \mathrm{Sht}^r_{\mathcal G}(W)^\circ.
\]
The original map factors as
\[
\mathrm{Sht}^r_{\mathcal H}\xrightarrow{\,b_{\mathrm{Sht}}\,}
\mathrm{Sht}^r_{\mathcal G}(W)^\circ
\xrightarrow{\,\mathrm{Forg}_W\,}
\mathrm{Sht}^r_{\mathcal G},
\]
where \(\mathrm{Forg}_W\) forgets the sections. The first arrow is a closed embedding, and the second is schematic, finite, and unramified [2204.10980].

The Bruhat–Tits hypothesis enters at the decisive extension step. The proof uses Anschütz’s result that \(\mathcal H\)-torsors on punctured formal disks are trivial, the ind-properness of affine flag varieties \(\mathrm{Fl}_{\mathcal H,x}\) due to Richarz, and Beauville–Laszlo gluing to control reductions across bad fibers [2204.10980]. The same theorem extends to pseudo-homomorphisms \(\mathcal E_0:\mathcal H\Rightarrow\mathcal G\), i.e. right \(\mathcal G\)-torsors on \(X\) with commuting left \(\mathcal H\)-action; if the induced map to the corresponding inner form is a closed embedding, then the induced shtuka map is again schematic, finite, and unramified [2204.10980].

## 3. Principal geometric families

The classical prototype is the Heegner–Drinfeld cycle. Let \(v:X'\to X\) be a finite étale degree-two cover, \(F'=k(X')\), and
\[
T=(\operatorname{Res}_{F'/F}\mathbb G_m)/\mathbb G_m\subset PGL_2.
\]
For an even integer \(r\) and a sign vector \(\underline\mu\) with \(\sum\mu_i=0\), the torus-shtuka stack \(\mathrm{Sht}_T\) is a smooth proper Deligne–Mumford stack of pure dimension \(r\), and the induced map
\[
\theta':\mathrm{Sht}_T\to \mathrm{Sht}'_G
\]
to the base change of the \(PGL_2\)-shtuka stack defines the Heegner–Drinfeld cycle
\[
\theta'_*\,[\mathrm{Sht}_T]\in \mathrm{Ch}^r_c(\mathrm{Sht}'_G)_\mathbb Q.
\]
Since \(\dim \mathrm{Sht}'_G=2r\), this is a middle-dimensional cycle [1512.02683]. The general closedness theorem places this example in a broader class that also includes Heegner–Drinfeld cycles for \(PGL_2\), diagonal cycles \(U_n\hookrightarrow U_n\times U_{n+1}\) of Gan–Gross–Prasad type, and Kudla–Rapoport-type cycles defined by imposing extra maps into associated bundles [2204.10980].

For unitary groups, let \(X'/X\) be a finite étale double cover and \(U(n)\) the associated unitary group. The stack \(\Sht_{U(n)}^r\to (X')^r\) of unitary shtukas with \(r\) legs is smooth, separated, and equidimensional of relative dimension \(r(n-1)\). Fix a rank \(m\) vector bundle \(E\) on \(X'\). The stack \(Z_E^r\) over \(\Sht_{U(n)}^r\) parametrizes unitary shtukas together with compatible maps
\[
t_i:E\boxtimes O_S\to F_i
\]
through the modification chain and Frobenius descent. The forgetful map \(Z_E^r\to \Sht_{U(n)}^r\) is finite. After fixing a Hermitian map \(a:E\to \sigma^*E^\vee\), one obtains fibers \(Z_E^r(a)\). When \(m=n\) and \(a\) is injective, these cycles have virtual dimension \(0\), and the authors construct a virtual fundamental \(0\)-cycle
\[
[Z_E^r(a)]\in \Ch_0(Z_E^r(a))_\mathbb Q
\]
with well-defined degree [2103.11514].

For \(G=\GL_n\times \GL_{n-1}\), special cycles of Rankin–Selberg type are produced by the diagonal map of shtukas
\[
\pi_{\Sht,I}:\Sht_{\GL_{n-1},\Std_{n-1}^{\underline\epsilon}}
\to
\Sht_{\GL_n\times\GL_{n-1},(\Std_n\boxtimes\Std_{n-1})^{\underline\epsilon}}
\]
defined by direct sum with the trivial line. This map is finite schematic, and its pushforward of the fundamental class defines a Borel–Moore special cycle [2509.05526]. A complementary linearized model is furnished by toy shtukas: in that setting, toy horospherical divisors are the loci of toy shtukas contained in a fixed hyperplane or containing a fixed line, and the pullback of such divisors to the moduli of Drinfeld shtukas is described by an averaging operator closely related to Fourier and Radon transforms [1802.04482].

## 4. Arithmetic identities and higher derivatives

The first large family of arithmetic formulas identifies self-intersections of Heegner–Drinfeld cycles with central derivatives of automorphic \(L\)-functions. For an everywhere unramified cuspidal automorphic representation \(\pi\) of \(PGL_2\) and even \(r\), the \(\pi\)-isotypic component \(Z_\pi\) of the Heegner–Drinfeld cycle satisfies
\[
\frac{2(\log q)^r}{|\omega_X|}\,\mathcal{L}^{(r)}(\pi_{F'},1/2)
=
(Z_\pi,Z_\pi)_\pi,
\]
where \(\mathcal L(\pi_{F'},s)\) is the normalized quadratic base-change \(L\)-function. The same identity has an \(\ell\)-adic cohomological form involving the cycle class of \(\mathrm{Sht}_T\) in middle cohomology [1512.02683]. This is a function-field analogue of Waldspurger and Gross–Zagier, but with the additional feature that the shtuka parameter \(r\) gives access to all even central derivatives.

For unitary groups, the higher Siegel–Weil formula expresses degrees of virtual zero-cycles on unitary shtuka stacks as derivatives of normalized nonsingular Fourier coefficients of a Siegel–Eisenstein series. If \(E\) has rank \(n\), \(a:E\hookrightarrow \sigma^*E^\vee\) is injective, and \(d=-\chi(X',E)\), then
\[
\frac{1}{(\log q)^r}\left(\frac{d}{ds}\right)^r\Big|_{s=0}
\Bigl(q^{ds}\cdot \text{normalized Fourier coefficient}\Bigr)
=
\deg[Z_E^r(a)].
\]
The cycles \(Z_E^r(a)\) are therefore the geometric side of a higher-derivative Siegel–Weil identity on unitary shtukas [2103.11514].

With Iwahori level structure, intersections of two Heegner–Drinfeld cycles attached to distinct nonsplit tori satisfy a Gross–Kohnen–Zagier type identity. For an automorphic representation \(\pi\) of \(PGL_2(\mathbb A)\) with Iwahori level at \(\Sigma\), the intersection pairing of the two \(\pi\)-isotypic cycle classes equals
\[
(\log q)^{-r}\left.\left(\frac{d}{ds}\right)^r\right|_{s=0}
\left(
q^{Ns}\frac{\mathscr P_0(\phi,s)\mathscr P_{3,\eta}(\overline{\phi_3})}
{\langle \phi,\phi\rangle}
\right),
\]
and the vanishing of this intersection is equivalent to the vanishing of
\[
\mathscr L^{(r)}(\pi,1/2)\cdot
L(\pi\otimes\chi_1,1/2)\cdot
L(\pi\otimes\chi_2,1/2)
\]
[1904.11479].

A different but related formalism appears in the arithmetic volume theory for split semisimple \(G\). There the “special cycle” is encoded by the Schubert locus \(\Hk^{\loc}_{G,\le\lambda}\) together with a power of the determinant line bundle \(\mathcal L_{\det}\). For local volume data \(v_{\lambda,\det}\), the arithmetic volume of the shtuka stack is
\[
\mathrm{vol}(\Sht_{G,\le\lambda_I},f_{\Sht,I}^*\mathcal L_{\det,I})
=
|\pi_1(G)|\,q^{\dim\Bun_G}\,
\Bigl(\prod_{i=1}^r D_{\lambda_i}\Bigr)
\mathscr L_{C,G}(s_1,\dots,s_n)\Big|_{s_1=\cdots=s_n=0},
\]
and in the equal-coweight case this becomes an \(r\)-th derivative of a single-variable product of zeta functions [2604.03763]. The eigenweights \(\epsilon_{\lambda,i}\) and the constants \(b_\lambda\) appearing in the differential operators \(D_\lambda\) are described uniformly by the Langlands dual group through the principal \(\mathfrak{sl}_2\), the Kostant slice, and the representation \(V_\lambda\) [2604.03763].

## 5. Categorical, nearby-cycle, and trace-theoretic formalisms

A categorical reformulation of special cycles on shtukas is developed through Hecke eigensheaves and categorical trace. For a Hecke eigensheaf \(\mathbb L_\sigma\in \Shv_{\Nilp}(\Bun_G)\), one considers the endofunctor \((\Frob\times\id)_!\circ T_{V^I}\) on \(\Shv_{\Nilp}(\Bun_G)\otimes \QLisse(C^I)\). The categorical trace theorem identifies
\[
\tr_{\QLisse(C^I)}\bigl((\Frob\times\id)_!\circ T_{V^I},
\Shv_{\Nilp}(\Bun_G)\otimes\QLisse(C^I)\bigr)
\cong
l_{I,!}\bigl(\IC_{V^I}|_{\Sht_{G,I}}\bigr),
\]
so shtuka cohomology itself becomes a categorical trace. In this framework, the fake special cycle classes \(z_{\mathbb L_\sigma,r}\) attached to period functors are shown to coincide with the \(\sigma\)-isotypic projections of genuine geometric special cycles; for Rankin–Selberg cycles, this comparison yields a higher-derivative formula for the self-intersection norm of the isotypic component [2509.05526].

Special cycles in families require control under degeneration. For a generically reductive group \(G\) over a smooth projective curve \(X\), nearby cycles commute with proper direct image along the leg map \(f_I:\operatorname{Sht}_{G,I}\to X^I\):
\[
R\Psi\circ R(f_I)_!\cong R(f_I)_!\circ R\Psi.
\]
This holds for arbitrary finite sets of legs \(I\) in the stack-theoretic setting [2409.16474]. The result does not itself define special cycles, but it provides the formal mechanism needed to compare cycle classes, intersection pairings, and cohomological correspondences between generic and special fibers.

At parahoric places, nearby cycles become a local geometric substitute for special cycles on the bad fiber. For parahoric shtukas, one computes traces of Frobenius composed with Hecke operators on the cohomology of nearby cycles and uses the resulting Langlands–Kottwitz formulas to prove the base change fundamental lemma for parahoric Hecke algebras for \(\GL_n\) over local function fields [1711.02243]. This shows that nearby-cycle complexes on special fibers are not only degeneration objects but also precise carriers of local test functions and orbital-integral identities.

## 6. Local, \(p\)-adic, and compactified geometries

The local theory of special cycles on shtukas is governed by Rapoport–Zink spaces for local \(P\)-shtukas. Given a local datum \((P,\mathcal Z,b)\), the bounded Rapoport–Zink space \(M(P,\mathcal Z,b)\) is a formal scheme locally formally of finite type and separated over the reflex ring, with reduced special fiber equal to the affine Deligne–Lusztig variety
\[
X_{\mathcal Z}(b)=\{g\in \mathrm{Fl}_P(K): g^{-1}b\,\sigma(g)\in Z(K)\}.
\]
There is a local-model roof
\[
M^\diamond \to M(P,\mathcal Z,b),\qquad M^\diamond \to Z,
\]
with \(M^\diamond\to M\) an \(L^+P\)-torsor and \(M^\diamond\to Z\) formally smooth. This transfers flatness and Serre conditions from \(Z\) to \(M\), and it compares formal nearby cycles on \(M\) with nearby cycles on the local model \(Z\) [2010.05361]. These properties are exactly the local geometric input needed for defining and analyzing intersection multiplicities of special cycles.

In the \(p\)-adic shtuka setting over the Fargues–Fontaine curve, the special Newton polygon map
\[
\sigma:\Sht_{\calG,\mu}\to \Bun_G
\]
is representable in locally spatial diamonds and fdcs, and for each \(b\in B(G)\) the fiber
\[
\Sht_{\calG,\mu}(b)=\Sht_{\calG,\mu}\times_{\Bun_G,\calE_b}\ast
\]
is a locally spatial kimberlite with reduced special fiber
\[
\Sht_{\calG,\mu}(b)^{\mathrm{red}}\cong X_{\calG,\mu}(b),
\]
the affine Deligne–Lusztig variety [2601.02741]. The henselianity theorem
\[
\pi_!j_*A\simeq 0,\qquad \pi_*j_!A\simeq 0
\]
for spatial kimberlites under properness and finite-transcendence hypotheses implies that the cohomology of the full fiber is controlled by the reduced ADLV locus [2601.02741]. The paper does not explicitly define special cycles on \(p\)-adic shtuka stacks, but it gives the geometric and cohomological infrastructure in which cycles supported on Newton strata and on ADLVs can be defined and compared.

A further extension appears on toroidal compactifications of abelian-type Shimura varieties. Log diamonds are introduced as \(v\)-sheaves attached to fs log schemes or log adic spaces over \(\mathbb Z_p\), and log \(\mathcal G\)-shtukas are defined as morphisms from these log diamonds to the shtuka stack. For quasi-parahoric level at \(p\), the canonical \(p\)-adic shtuka on the open Shimura variety extends uniquely as a log \(G^c\)-shtuka to the toroidal compactification, and restriction to the special fiber yields a Witt-vector shtuka [2605.30086]. In this framework Newton, central, KR, and EKOR strata, their connected components, and their closures are well-positioned on the special fiber, and the same is true for their partial toroidal and minimal compactifications [2605.30086]. This gives a boundary-compatible ambient geometry for special-cycle theories on compactified Shimura varieties.

Taken together, these developments show that special cycles on shtukas form a coherent geometric theme rather than a single construction. Closed images of subgroup shtuka stacks, Heegner–Drinfeld cycles, unitary and Rankin–Selberg cycles, determinant–Schubert cycles, Newton-stratum cycles, and boundary extensions on compactifications all fit into a common pattern: additional structure on a shtuka produces a cycle on a moduli stack, and the resulting cycle is controlled by finiteness, local-model, nearby-cycle, and categorical-trace formalisms that connect its geometry to automorphic periods, derivatives of \(L\)-functions, and dual-group representation theory.

Source: https://www.emergentmind.com/topics/special-cycles-on-shtukas