---
title: Dolbeault Geometric Langlands Equivalence
url: https://www.emergentmind.com/topics/dolbeault-geometric-langlands-equivalence
type: topic
---

# Dolbeault Geometric Langlands Equivalence

Dolbeault Geometric Langlands Equivalence is the Dolbeault, or classical-limit, form of geometric Langlands. In its basic form, it identifies the Higgs-bundle sides for a complex reductive group \(G\) and its Langlands dual \(\check G\) by an equivalence
\[
QC(T^*\operatorname{Bun}_G(X)) \simeq QC(T^*\operatorname{Bun}_{\check G}(X)),
\]
viewed as the associated graded of de Rham geometric Langlands under the Hodge degeneration from \(D\)-modules to symbols. In later work, this naive cotangent-stack formulation is refined by replacing the automorphic side with a limit category on the full Higgs stack and the spectral side with coherent or ind-coherent sheaves on semistable Higgs bundles, in order to treat singularities, non-compactness, and non-quasi-compactness beyond the elliptic locus [1606.08523] [2508.19624].

## 1. Classical-limit origin and nonabelian Hodge context

The standard background is Simpson’s triad of moduli problems for a smooth projective complex curve \(X\) and a complex reductive group \(\check G\):
\[
\operatorname{Conn}_{\check G}(X),\qquad \operatorname{Higgs}_{\check G}(X),\qquad \operatorname{Loc}_{\check G}(X).
\]
The Riemann–Hilbert correspondence analytically identifies de Rham and Betti moduli, the de Rham space carries a nonabelian Hodge filtration whose special fiber is the Dolbeault space, and the nonabelian Hodge theorem gives a diffeomorphism between Dolbeault and de Rham moduli spaces after passing to semistable moduli spaces. This comparison package is the basic mechanism by which the Dolbeault form is understood as the classical limit of the de Rham form [1606.08523].

On the automorphic side, \(D(\operatorname{Bun}_G(X))\) carries a Hodge filtration obtained by degenerating differential operators to symbols, with special fiber
\[
QC(T^*\operatorname{Bun}_G(X)).
\]
Accordingly, the Dolbeault conjecture is presented as the associated graded analogue of the refined de Rham conjecture
\[
D(\operatorname{Bun}_G(X)) \simeq QC^!_{\mathcal N}(\operatorname{Conn}_{\check G}(X)).
\]
Donagi–Pantev, following an idea of Donagi and in a program pursued with Simpson, are explicitly singled out as using nonabelian Hodge theory on \(\operatorname{Bun}_G(X)\) to relate Higgs sheaves and \(D\)-modules and thereby connect the de Rham and Dolbeault forms directly [1606.08523].

## 2. Higgs stacks, Hitchin fibrations, and spectral curves

The geometric setting is the Hitchin system. For a reductive group \(G\), the derived moduli stack of Higgs bundles is
\[
Higgs_G=\coprod_{\chi\in \pi_1(G)} Higgs_G(\chi),
\]
and it carries the Hitchin map
\[
h\colon Higgs_G\to B_G.
\]
In the \(\GL_r\) case, a Higgs bundle is a pair \((F,\theta)\) with \(\theta:F\to F\otimes \Omega_C\), and the Hitchin base is
\[
B_{\GL_r}=\bigoplus_{i=1}^r \Gamma(\Omega_C^i).
\]
For \(b=(b_i)\in B_{\GL_r}^{\mathrm{cl}}\), the classical spectral curve is
\[
C_b=\left\{\sum_{i=0}^r (-1)^i b_i\, y^{r-i}=0\right\}\subset S:=\Tot_C(\Omega_C),
\]
with arithmetic genus
\[
p_a=(g-1)r^2+1.
\]
By the Beauville–Narasimhan–Ramanan correspondence, the Hitchin fiber over \(b\) identifies with the moduli of torsion-free sheaves on \(C_b\) with fundamental cycle \([C_b]\) [2606.28878].

The Hitchin map also governs the automorphic nilpotent condition. In the formulation emphasized in the Betti–de Rham–Dolbeault comparison,
\[
A_G(X)=H^0(X,(\mathfrak g^*//G)\otimes \omega_X),\qquad
\operatorname{Hitch}:T^*\operatorname{Bun}_G(X)\to A_G(X),
\]
and the global nilpotent cone is
\[
\mathcal N_{X,G}=\operatorname{Hitch}^{-1}(0)\subset T^*\operatorname{Bun}_G(X).
\]
It parameterizes \(G\)-bundles with nilpotent Higgs fields and is a conic Lagrangian substack. This structure later becomes the natural support condition in refined de Rham, Betti, and Dolbeault formulations [1606.08523].

## 3. Fourier–Mukai, Hitchin fibers, and mirror-symmetry interpretation

The most concrete operational picture of Dolbeault geometric Langlands is fiberwise Fourier–Mukai duality along the Hitchin fibration. Donagi–Pantev are summarized as proving the Dolbeault conjecture over a dense open locus by reducing it to a Fourier–Mukai transform for abelian varieties applied to the fibers of Hitchin’s integrable system. On that locus, generic skyscrapers on
\[
QC(T^*\operatorname{Bun}_{\check G}(X))
\]
correspond to line bundles on smooth Hitchin fibers on the \(G\)-side [1606.08523].

Kapustin–Witten provide the physical formulation behind this geometry. In their picture, the automorphic category is the category of \(D\)-branes in the topological \(A\)-model with target the Hitchin moduli space \((\mathcal M_H(X),\omega_K)\). A smooth Hitchin fiber is a Lagrangian torus, any rank-one local system on such a fiber defines an \(A\)-brane, and T-duality along the Hitchin fibration sends it to a skyscraper \(B\)-brane on the moduli of \(\check G\)-local systems. These objects are Hecke or ’t Hooft eigenbranes. The same paper uses this Dolbeault picture to motivate the nilpotent singular-support condition: line bundles on Hitchin fibers have the global nilpotent cone as the support of their conical limit [1606.08523].

The abelian toy model is the elliptic \(GL_1\) case. For \(X=(E,0)\),
\[
T^*\operatorname{Jac}(E,0)\simeq E^\vee\times \mathbb C,
\]
the Hitchin system is projection to the second factor, and the self-duality of the Jacobian yields a fiberwise Fourier–Mukai auto-equivalence of \(QC(T^*\operatorname{Jac}(E,0))\) that exchanges a skyscraper on a fiber with a degree-zero line bundle on the same fiber. This model encapsulates the generic Hitchin-fiber mechanism in its simplest form [1606.08523].

## 4. Refined formulation via limit categories

The naive equivalence between ordinary coherent categories on full Higgs stacks breaks down beyond the quasi-compact regime. For \(G=\GL_r\), \(r\ge 2\), the full stacks
\[
QCoh(Higgs_G(\chi)),\qquad IndCoh(Higgs_G(\chi)),\qquad IndCoh_{\mathcal N}(Higgs_G(\chi))
\]
are not compactly generated. Pădurariu–Toda therefore introduce limit categories for cotangent stacks of smooth stacks as an effective version of classical limits of categories of \(D\)-modules [2508.19624].

For a quasi-smooth derived stack \(\mathfrak M\) with self-dual cotangent complex, the category \(L(\mathfrak M)_\delta\subset Coh(\mathfrak M)\) is defined by weight-window conditions along all maps \(\nu:B\mathbb G_m\to \mathfrak M\). For non-quasi-compact \(\mathfrak M\),
\[
IndL(\mathfrak M)_\delta := \lim_{\mathcal U\subset \mathfrak M} Ind(L(\mathcal U)_\delta),
\]
with compact objects
\[
L(\mathfrak M)_\delta=(IndL(\mathfrak M)_\delta)^{\mathrm{cp}}.
\]
Applied to Higgs stacks, this produces the automorphic category \(IndL(Higgs_G(\chi))_w\) and its nilpotent refinement \(IndL_{\mathcal N}(Higgs_G(\chi))_w\) [2508.19624].

The refined Dolbeault geometric Langlands conjecture is then
\[
IndCoh(Higgs_{^{L}G}(w)^{\mathrm{ss}})_{-\chi}\simeq IndL(Higgs_G(\chi))_w,
\]
with compact form
\[
Coh(Higgs_{^{L}G}(w)^{\mathrm{ss}})_{-\chi}\simeq L(Higgs_G(\chi))_w,
\]
and nilpotent refinement
\[
IndCoh_{\mathcal N}(Higgs_{^{L}G}(w)^{\mathrm{ss}})_{-\chi}\simeq IndL_{\mathcal N}(Higgs_G(\chi))_w.
\]
The asymmetry is deliberate: semistable Higgs bundles appear on the spectral side, while the automorphic side uses the full Higgs stack only through the limit category. Pădurariu–Toda also prove that the automorphic limit category admits a semiorthogonal decomposition into quasi-BPS categories and construct Hecke operators on limit categories, expected to match Wilson operators under the conjectural equivalence [2508.19624].

## 5. Proven cases and extensions beyond the elliptic locus

Before the recent limit-category developments, the best-understood region was the dense open locus of smooth or integral spectral curves, where fiberwise Fourier–Mukai methods on compactified Jacobians apply. The decisive shift occurs when reducible reduced curves are included, because the full Higgs stack then becomes genuinely non-quasi-compact [1606.08523].

For \(G=\GL_2\), Toda proves the Dolbeault geometric Langlands correspondence over the open locus \(B^{\mathrm{red}}\) of the Hitchin base where spectral curves are reduced:
\[
IndCoh_{\mathcal N}(H(w)^{\mathrm{ss}})_{-\chi} \simeq IndL_{\mathcal N}(H(\chi))_w.
\]
This is described as the first non-trivial case in which the relevant moduli stacks are not quasi-compact and the use of limit categories is essential. Reduced spectral curves may still be reducible and singular. The proof uses the Arinkin Cohen–Macaulay extension of the Poincaré sheaf, a Fourier–Mukai transform, Wilson/Hecke compatibility, the Hitchin section, and the Whittaker normalization
\[
\Phi(\mathcal O_{H(w)^{\mathrm{ss}}})\cong s_!\mathcal O_B
\]
[2602.09359].

Toda then extends the theory in type \(A\) beyond the elliptic locus. For
\[
G=\GL_r,\qquad G=\SL_r,\qquad G=\PGL_r,\qquad r\ge 2,
\]
the paper proves a Dolbeault geometric Langlands equivalence over an open locus strictly containing the elliptic locus, namely one containing the points where the spectral curve has at worst type \(A\) singularities and allowing arbitrary numbers of irreducible components. For \(\GL_r\), this includes generic reducible reduced curves such as unions of smooth components meeting transversely. In rank \(2\),
\[
B_{\GL_2}^A = B_{\GL_2}^{\mathrm{red}},
\]
so the result recovers the \(\GL_2\) theorem and yields the Dolbeault geometric Langlands conjecture for \(\SL_2/\PGL_2\) over the reduced spectral-curve locus. The technical heart is the proof of Whittaker normalization over the type \(A\)-locus, together with the limit-category formalism required to control infinitely many Harder–Narasimhan strata [2606.28878].

## 6. Variants, comparisons, and open directions

A relative version of Dolbeault geometric Langlands has also been formulated for spherical varieties \(X=G/H\) with abelian regular centralizers and no type \(N\) roots. In that setting, the ambient ordinary Dolbeault equivalence for Hitchin systems is used to conjecture a Fourier–Mukai identification between a Dolbeault period sheaf and an explicit dual object built from the dual spherical group \(G_X^\vee\) and a dual symplectic representation \(S_X\). In polarized cases the dual object is a Dirac–Higgs bundle; in general it is an \(L\)-sheaf defined from a cleaved cover determined by a symplectic Pfaffian divisor. This is not a new full categorical equivalence, but rather a precise Fourier–Mukai statement for distinguished objects, verified in cases such as the diagonal, Friedberg–Jacquet, Jacquet–Ichino, Rankin–Selberg, and Gross–Prasad examples [2409.15691].

The Dolbeault form also sits within a larger de Rham–Betti–Dolbeault triangle. The Betti program explicitly treats Dolbeault eigensheaves as line bundles on Hitchin fibers, views the Betti automorphic category as an algebraic model for the \(A\)-branes of Kapustin–Witten, and argues that cuspidal Hecke eigensheaves in the de Rham and Betti senses are expected to coincide. This suggests that Dolbeault geometry governs the semiclassical and mirror-symmetric regime, while de Rham and Betti versions package the same fundamental eigenobjects into different ambient categories [1606.08523].

Several limitations remain explicit in the current literature. The cotangent-stack formulation
\[
QC(T^*\operatorname{Bun}_G(X)) \simeq QC(T^*\operatorname{Bun}_{\check G}(X))
\]
still requires modification to account for singularities and non-compactness. The refined limit-category theory does not yet prove the conjecture on all of \(B_G\), nor for arbitrary reductive groups. The principal unresolved cases are non-reduced spectral curves, singularities beyond type \(A\), and settings where conductor subschemes are no longer curvilinear and the explicit resolution-and-weight-estimate mechanism for Arinkin-type kernels is unavailable. In this sense, the recent proofs establish that Dolbeault geometric Langlands extends beyond the elliptic locus, but only after replacing naive coherent categories by limit categories and proving Whittaker normalization in a form sensitive to non-quasi-compact Higgs geometry [2606.28878].

Source: https://www.emergentmind.com/topics/dolbeault-geometric-langlands-equivalence