We introduce and motivate -- based on ongoing joint work with Germán Stefanich -- the notion of potent categorical representations of a complex reductive group $G$, specifically a conjectural Langlands correspondence identifying potent categorical representations of $G$ and its Langlands dual $\check G$. We emphasize the symplectic nature of potent categorical representations in their simultaneous dependence on parameters in maximal tori for $G$ and $\check G$, specifically how their conjectural Langlands correspondence fits within a 2-categorical Fourier transform. Our key tool to make various ideas precise is higher sheaf theory and its microlocalization, specifically a theory of ind-coherent sheaves of categories on stacks. The constructions are inspired by the physics of 3d mirror symmetry and S-duality on the one hand, and the theory of double affine Hecke algebras on the other. We also highlight further conjectures related to ongoing programs in and around geometric representation theory.
- Paper ID: 2510.07482
- Title: Potent Categorical Representations
- Authors: David Ben-Zvi, David Nadler
- Classification: math.RT math-ph math.AG math.MP
- Publication Date: October 2025 (arXiv preprint)
- Paper Link: https://arxiv.org/abs/2510.07482
Building on collaboration with Germán Stefanich, this paper introduces the concept of potent categorical representations of complex reductive groups G, and proposes a conjectural Langlands correspondence identifying potent categorical representations of G and its Langlands dual Gˇ. The authors emphasize the symplectic geometric nature of potent categorical representations, which depend simultaneously on parameters in the maximal tori of both G and Gˇ, and explore how their conjectural Langlands correspondence embeds into a 2-categorical Fourier transform. The primary tools are higher categorical sheaf theory and its microlocalization, particularly the theory of ind-coherent sheaves on stacks. These constructions are inspired by 3-dimensional mirror symmetry and S-duality from physics, as well as by the theory of double affine Hecke algebras.
- Limitations of Traditional Categorical Representation Theory: Traditional categorical representation theory of reductive groups G (such as D-module theory) considers only one-sided parameters, lacking consideration of dual parameters, which limits the completeness and symmetry of the theory.
- Development of Geometric Langlands Correspondence: Existing geometric Langlands correspondences focus primarily on one-sided parameter spaces and lack sufficient utilization of symplectic geometric structures.
- Physical Inspiration: 3-dimensional mirror symmetry and S-duality in 4-dimensional N=4 Yang-Mills theory provide new perspectives, suggesting the existence of richer duality structures.
- Pursuit of Symmetry: Seeking a theoretical framework that simultaneously incorporates parameters from both the group G and its Langlands dual Gˇ.
- Importance of Symplectic Geometry: Recognizing the central role of the symplectic structure on the parameter space T×Tˇ in the Langlands correspondence.
- Application of Higher Categorical Theory: Utilizing higher ind-coherent sheaf theory developed by Stefanich to construct more refined categorical objects.
- Introduction of Potent Categorical Representations: Defines potent categorical representations of reductive groups G as cyclic ind-coherent sheaves on the loop space G/G=LBG.
- Proposal of Potent Langlands Correspondence Conjecture: Conjectures the existence of an equivalence between potent categorical representations of G and Gˇ.
- Establishment of 2-Categorical Fourier Transform Theory: Proves the 2-Fourier transform for finite-dimensional vector spaces and generalizes to the multiplicative case.
- Construction of Potent Hecke Monad: Defines the potent Hecke monad HG, which unifies various Hecke categories.
- Connection Between Physics and Mathematics: Establishes links between 3-dimensional TQFT and potent categorical representations.
Potent D-modules: For a stack X, potent D-modules are defined as cyclic sheaves on its loop space:
Dpot(X):=IndCoh(LX)Tate
Potent Categorical Representations: For a reductive group G, potent categorical G-representations are defined as:
G-catpot:=2IndCoh⋄(G/G)Tate
- Employs Stefanich's developed 2IndCoh theory, an extension of 2QCoh
- Objects have singular support in T∗[2]X
- Satisfy the trace relation: Tr(2IndCoh(X))≃IndCoh(LX)
- Periodization: Introduces periodic basis A=2IndCoh⋄(pt):=2IndCoh(Ga)/2QCoh(Ga)
- Equivariant Extension: For quotient stacks X=Z/S1, extends generators from schemes with S1-action to include reduced abelian gerbes
Theorem: For a finite-dimensional vector space V and its dual V∗, there exists a 2-Fourier transform:
2IndCohπ(V)≃2IndCohπ(V∗)
Potent Hecke Monad is defined as:
HG∈2IndCoh⋄(T/T×T/T)Tate
Represented by the rotation-equivariant groupoid L(B\G/B)→L(BT×BT).
Monadicity Theorem: Potent categorical G-representations are monadic over potent categorical T-representations, with monad given by the potent Hecke monad HG.
Theorem: For a torus T, there exists a multiplicative 2-Fourier transform:
T-catpot,dR=2IndCoh⋄(t/Λ×BT)Tate≃2IndCoh⋄(tˇ/Λˇ×BTˇ)Tate=Tˇ-catpot,dR
Conjecture: For a reductive group G, the multiplicative 2-Fourier transform identifies the de Rham potent Hecke monads HGdR and HGˇdR. Therefore, there exists an equivalence:
G-catpot,dR≃Gˇ-catpot,dR
- Rozansky-Witten Theory: 2IndCoh⋄(L) models the RW theory of the cotangent bundle T∗L
- 3-Dimensional Gauge Theory: Potent categorical representations provide boundary theories for 3-dimensional N=8 Yang-Mills theory
- 3-Dimensional Mirror Symmetry: Connects gauge theory with RW theory
Starting from Kapustin-Witten's 4-dimensional theory, through S1-equivariant compactification and Ω-background, one obtains a symmetric 3-dimensional duality, which is precisely the physical origin of potent Langlands duality.
Establishes correspondence among three levels of Hecke structures:
- Finite Hecke algebra ↔ Affine Hecke algebra ↔ Double affine Hecke algebra
- Unipotent representations ↔ de Rham representations ↔ Potent representations
Expects that traces of potent representations yield sheaves on Hilbert schemes, connecting Khovanov-Rozansky link homology and the y-ification program.
Conjecture: For dual spherical varieties G↷X and Gˇ↷Xˇ, potent Langlands duality matches DGpot(X) with DGˇpot(Xˇ).
- Unified Framework: Provides a framework unifying various Hecke categories and representation theories
- Symplectic Geometric Perspective: Emphasizes the importance of symplectic geometry in the Langlands correspondence
- Higher Categorical Advancement: Advances the application of higher categorical theory in representation theory
- TQFT Realization: Provides rigorous mathematical models for 3-dimensional TQFT
- Understanding Duality: Deepens understanding of mirror symmetry and S-duality
- Dimensional Reduction: Clarifies the mechanism of dimensional reduction from 4-dimensional theory to 3-dimensional through equivariant compactification
- Analytical Foundations: Many constructions currently lack sufficient analytical foundations
- Computational Complexity: Computing potent categorical representations concretely remains difficult
- Verification Difficulty: Main results remain conjectural
- Concrete Implementation: Develop effective methods for computing potent categorical representations
- Generalization and Application: Extend to other types of groups and spaces
- Physical Verification: Verify mathematical conjectures through physical theories
- Conceptual Innovation: The concept of potent categorical representations is original and profound
- Theoretical Unification: Successfully connects multiple mathematical and physical domains
- Technical Depth: Employs cutting-edge higher categorical theory tools
- Physical Inspiration: Fully leverages deep insights from physics
- High Technical Threshold: Requires deep background in algebraic geometry and categorical theory
- Verification Difficulty: Main results lack concrete verification
- Computational Challenges: Practical computation remains extremely difficult
This paper represents significant progress in geometric representation theory and is likely to:
- Advance the development of the Langlands program
- Deepen cross-disciplinary research between mathematics and physics
- Inspire new computational and application methods
This work provides a new framework for understanding the symplectic geometric essence of the Langlands correspondence. Although many results remain conjectural, its theoretical depth and unifying nature make it an important contribution to the field.