2025-11-10T02:45:02.821660

Potent categorical representations

Ben-Zvi, Nadler
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.
academic

Potent Categorical Representations

Basic Information

  • 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

Abstract

Building on collaboration with Germán Stefanich, this paper introduces the concept of potent categorical representations of complex reductive groups GG, and proposes a conjectural Langlands correspondence identifying potent categorical representations of GG and its Langlands dual Gˇ\check{G}. The authors emphasize the symplectic geometric nature of potent categorical representations, which depend simultaneously on parameters in the maximal tori of both GG and Gˇ\check{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.

Research Background and Motivation

Problem Context

  1. Limitations of Traditional Categorical Representation Theory: Traditional categorical representation theory of reductive groups GG (such as D-module theory) considers only one-sided parameters, lacking consideration of dual parameters, which limits the completeness and symmetry of the theory.
  2. Development of Geometric Langlands Correspondence: Existing geometric Langlands correspondences focus primarily on one-sided parameter spaces and lack sufficient utilization of symplectic geometric structures.
  3. 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.

Research Motivation

  1. Pursuit of Symmetry: Seeking a theoretical framework that simultaneously incorporates parameters from both the group GG and its Langlands dual Gˇ\check{G}.
  2. Importance of Symplectic Geometry: Recognizing the central role of the symplectic structure on the parameter space T×TˇT \times \check{T} in the Langlands correspondence.
  3. Application of Higher Categorical Theory: Utilizing higher ind-coherent sheaf theory developed by Stefanich to construct more refined categorical objects.

Core Contributions

  1. Introduction of Potent Categorical Representations: Defines potent categorical representations of reductive groups GG as cyclic ind-coherent sheaves on the loop space G/G=LBGG/G = LBG.
  2. Proposal of Potent Langlands Correspondence Conjecture: Conjectures the existence of an equivalence between potent categorical representations of GG and Gˇ\check{G}.
  3. Establishment of 2-Categorical Fourier Transform Theory: Proves the 2-Fourier transform for finite-dimensional vector spaces and generalizes to the multiplicative case.
  4. Construction of Potent Hecke Monad: Defines the potent Hecke monad HGH_G, which unifies various Hecke categories.
  5. Connection Between Physics and Mathematics: Establishes links between 3-dimensional TQFT and potent categorical representations.

Detailed Methodology

Core Concept Definitions

Potent D-modules: For a stack XX, potent D-modules are defined as cyclic sheaves on its loop space: Dpot(X):=IndCoh(LX)TateD^{\text{pot}}(X) := \text{IndCoh}(LX)^{\text{Tate}}

Potent Categorical Representations: For a reductive group GG, potent categorical GG-representations are defined as: G-catpot:=2IndCoh(G/G)TateG\text{-cat}^{\text{pot}} := 2\text{IndCoh}^{\diamond}(G/G)^{\text{Tate}}

Technical Framework

1. Higher Ind-Coherent Sheaf Theory

  • Employs Stefanich's developed 2IndCoh2\text{IndCoh} theory, an extension of 2QCoh2\text{QCoh}
  • Objects have singular support in T[2]XT^*[2]X
  • Satisfy the trace relation: Tr(2IndCoh(X))IndCoh(LX)\text{Tr}(2\text{IndCoh}(X)) \simeq \text{IndCoh}(LX)

2. Periodization and Equivariant Extension

  • Periodization: Introduces periodic basis A=2IndCoh(pt):=2IndCoh(Ga)/2QCoh(Ga)A = 2\text{IndCoh}^{\diamond}(\text{pt}) := 2\text{IndCoh}(G_a)/2\text{QCoh}(G_a)
  • Equivariant Extension: For quotient stacks X=Z/S1X = Z/S^1, extends generators from schemes with S1S^1-action to include reduced abelian gerbes

3. 2-Fourier Transform

Theorem: For a finite-dimensional vector space VV and its dual VV^*, there exists a 2-Fourier transform: 2IndCohπ(V)2IndCohπ(V)2\text{IndCoh}^{\pi}(V) \simeq 2\text{IndCoh}^{\pi}(V^*)

Potent Hecke Theory

Potent Hecke Monad is defined as: HG2IndCoh(T/T×T/T)TateH_G \in 2\text{IndCoh}^{\diamond}(T/T \times T/T)^{\text{Tate}}

Represented by the rotation-equivariant groupoid L(B\G/B)L(BT×BT)L(B\backslash G/B) \to L(BT \times BT).

Monadicity Theorem: Potent categorical GG-representations are monadic over potent categorical TT-representations, with monad given by the potent Hecke monad HGH_G.

Main Results

Multiplicative 2-Fourier Transform

Theorem: For a torus TT, there exists a multiplicative 2-Fourier transform: T-catpot,dR=2IndCoh(t/Λ×BT)Tate2IndCoh(tˇ/Λˇ×BTˇ)Tate=Tˇ-catpot,dRT\text{-cat}^{\text{pot,dR}} = 2\text{IndCoh}^{\diamond}(t/\Lambda \times BT)^{\text{Tate}} \simeq 2\text{IndCoh}^{\diamond}(\check{t}/\check{\Lambda} \times B\check{T})^{\text{Tate}} = \check{T}\text{-cat}^{\text{pot,dR}}

Main Conjecture: Potent Langlands Duality

Conjecture: For a reductive group GG, the multiplicative 2-Fourier transform identifies the de Rham potent Hecke monads HGdRH_G^{\text{dR}} and HGˇdRH_{\check{G}}^{\text{dR}}. Therefore, there exists an equivalence: G-catpot,dRGˇ-catpot,dRG\text{-cat}^{\text{pot,dR}} \simeq \check{G}\text{-cat}^{\text{pot,dR}}

Physical Connections

3-Dimensional TQFT Interpretation

  1. Rozansky-Witten Theory: 2IndCoh(L)2\text{IndCoh}^{\diamond}(L) models the RW theory of the cotangent bundle TLT^*L
  2. 3-Dimensional Gauge Theory: Potent categorical representations provide boundary theories for 3-dimensional N=8 Yang-Mills theory
  3. 3-Dimensional Mirror Symmetry: Connects gauge theory with RW theory

Equivariant Compactification

Starting from Kapustin-Witten's 4-dimensional theory, through S1S^1-equivariant compactification and Ω\Omega-background, one obtains a symmetric 3-dimensional duality, which is precisely the physical origin of potent Langlands duality.

Applications and Generalizations

1. Relationship with Hecke Algebras

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

2. Character Sheaf Theory

Expects that traces of potent representations yield sheaves on Hilbert schemes, connecting Khovanov-Rozansky link homology and the y-ification program.

3. Relative Langlands Duality

Conjecture: For dual spherical varieties GXG \curvearrowright X and GˇXˇ\check{G} \curvearrowright \check{X}, potent Langlands duality matches DGpot(X)D_G^{\text{pot}}(X) with DGˇpot(Xˇ)D_{\check{G}}^{\text{pot}}(\check{X}).

Theoretical Significance and Impact

Mathematical Contributions

  1. Unified Framework: Provides a framework unifying various Hecke categories and representation theories
  2. Symplectic Geometric Perspective: Emphasizes the importance of symplectic geometry in the Langlands correspondence
  3. Higher Categorical Advancement: Advances the application of higher categorical theory in representation theory

Physical Insights

  1. TQFT Realization: Provides rigorous mathematical models for 3-dimensional TQFT
  2. Understanding Duality: Deepens understanding of mirror symmetry and S-duality
  3. Dimensional Reduction: Clarifies the mechanism of dimensional reduction from 4-dimensional theory to 3-dimensional through equivariant compactification

Technical Challenges and Limitations

Current Limitations

  1. Analytical Foundations: Many constructions currently lack sufficient analytical foundations
  2. Computational Complexity: Computing potent categorical representations concretely remains difficult
  3. Verification Difficulty: Main results remain conjectural

Future Directions

  1. Concrete Implementation: Develop effective methods for computing potent categorical representations
  2. Generalization and Application: Extend to other types of groups and spaces
  3. Physical Verification: Verify mathematical conjectures through physical theories

In-Depth Evaluation

Strengths

  1. Conceptual Innovation: The concept of potent categorical representations is original and profound
  2. Theoretical Unification: Successfully connects multiple mathematical and physical domains
  3. Technical Depth: Employs cutting-edge higher categorical theory tools
  4. Physical Inspiration: Fully leverages deep insights from physics

Weaknesses

  1. High Technical Threshold: Requires deep background in algebraic geometry and categorical theory
  2. Verification Difficulty: Main results lack concrete verification
  3. Computational Challenges: Practical computation remains extremely difficult

Impact Assessment

This paper represents significant progress in geometric representation theory and is likely to:

  1. Advance the development of the Langlands program
  2. Deepen cross-disciplinary research between mathematics and physics
  3. 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.