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

강력한 범주 표현

기본 정보

논문 ID: 2510.07482
제목: Potent categorical representations
저자: David Ben-Zvi, David Nadler
분류: math.RT math-ph math.AG math.MP
발표 시간: 2025년 10월 (arXiv 사전인쇄본)
논문 링크: https://arxiv.org/abs/2510.07482

초록

본 논문은 Germán Stefanich와의 협력에 기반하여 복소 기약군 $G$ 의 강력한(potent) 범주 표현 개념을 도입하고, $G$ 및 그 Langlands 쌍대 $\check{G}$ 의 강력한 범주 표현을 식별하는 추측적 Langlands 대응을 제시한다. 저자들은 강력한 범주 표현의 심플렉틱 기하학적 성질을 강조하며, 이들이 $G$ 와 $\check{G}$ 의 극대 원환면의 매개변수에 동시에 의존함을 보인다. 또한 이들의 추측적 Langlands 대응이 2-범주 Fourier 변환에 어떻게 포함되는지 탐구한다. 주요 도구는 고차 층 이론 및 그 미국소화(microlocalization)이며, 특히 스택 위의 ind-상관 층 범주 이론이다. 이러한 구성은 3차원 거울 대칭과 S-쌍대성의 물리학적 영감, 그리고 이중 아핀 Hecke 대수 이론으로부터 영감을 받았다.

연구 배경 및 동기

문제 배경

전통적 범주 표현 이론의 한계: 기약군 $G$ 의 전통적 범주 표현 이론(예: D-모듈 이론)은 일방적 매개변수만 고려하며, 쌍대 매개변수를 결여하고 있어 이론의 완전성과 대칭성을 제한한다.
기하학적 Langlands 대응의 발전: 기존의 기하학적 Langlands 대응은 주로 일방적 매개변수 공간에 집중하며, 심플렉틱 기하학적 구조의 충분한 활용이 부족하다.
물리학적 영감: 3차원 거울 대칭과 4차원 N=4 Yang-Mills 이론의 S-쌍대성은 더욱 풍부한 쌍대 구조의 존재를 암시하는 새로운 관점을 제공한다.

연구 동기

대칭성의 추구: 군 $G$ 와 그 Langlands 쌍대 $\check{G}$ 의 매개변수를 동시에 포함하는 이론적 틀을 모색한다.
심플렉틱 기하학의 중요성: 매개변수 공간 $T \times \check{T}$ 의 심플렉틱 구조가 Langlands 대응에서 핵심적 역할을 한다는 인식.
고차 범주 이론의 응용: Stefanich가 개발한 고차 ind-상관 층 이론을 활용하여 더욱 정교한 범주 대상을 구성한다.

핵심 기여

강력한 범주 표현 개념 도입: 기약군 $G$ 의 강력한 범주 표현을 환 공간 $G/G = LBG$ 위의 순환 ind-상관 층 범주로 정의한다.
강력한 Langlands 대응 추측 제시: $G$ 와 $\check{G}$ 의 강력한 범주 표현 사이의 동치성이 존재함을 추측한다.
2-범주 Fourier 변환 이론 수립: 유한 차원 벡터 공간의 2-Fourier 변환을 증명하고 곱셈적 경우로 일반화한다.
강력한 Hecke 모나드 구성: 다양한 Hecke 범주를 통일하는 강력한 Hecke 모나드 $H_G$ 를 정의한다.
물리학과 수학의 연결: 3차원 TQFT와 강력한 범주 표현 사이의 연관성을 수립한다.

방법론 상세 설명

핵심 개념 정의

강력한 D-모듈: 스택 $X$ 에 대해, 강력한 D-모듈을 그 환 공간 위의 순환 층으로 정의한다: $D^{\text{pot}}(X) := \text{IndCoh}(LX)^{\text{Tate}}$

강력한 범주 표현: 기약군 $G$ 에 대해, 강력한 범주 $G$ -표현을 다음과 같이 정의한다: $G\text{-cat}^{\text{pot}} := 2\text{IndCoh}^{\diamond}(G/G)^{\text{Tate}}$

기술적 틀

1. 고차 ind-상관 층 이론

Stefanich가 개발한 $2\text{IndCoh}$ 이론 사용, 이는 $2\text{QCoh}$ 의 확장
대상은 $T^*[2]X$ 에서 특이 지지를 가짐
대각합 관계 만족: $\text{Tr}(2\text{IndCoh}(X)) \simeq \text{IndCoh}(LX)$

2. 주기화 및 등변 확장

주기화: 주기 기저 $A = 2\text{IndCoh}^{\diamond}(\text{pt}) := 2\text{IndCoh}(G_a)/2\text{QCoh}(G_a)$ 도입
등변 확장: 몫 스택 $X = Z/S^1$ 에 대해, 생성원을 $S^1$ -작용을 가진 개형에서 기약 아벨 gerbe를 포함하도록 확장

3. 2-Fourier 변환

정리: 유한 차원 벡터 공간 $V$ 및 그 쌍대 $V^*$ 에 대해, 2-Fourier 변환이 존재한다: $2\text{IndCoh}^{\pi}(V) \simeq 2\text{IndCoh}^{\pi}(V^*)$

강력한 Hecke 이론

강력한 Hecke 모나드는 다음과 같이 정의된다: $H_G \in 2\text{IndCoh}^{\diamond}(T/T \times T/T)^{\text{Tate}}$

회전 등변 군체 $L(B\backslash G/B) \to L(BT \times BT)$ 로 표현된다.

모나드성 정리: 강력한 범주 $G$ -표현은 강력한 범주 $T$ -표현 위에서 모나드적이며, 모나드는 강력한 Hecke 모나드 $H_G$ 이다.

주요 결과

곱셈적 2-Fourier 변환

정리: 원환면 $T$ 에 대해, 곱셈적 2-Fourier 변환이 존재한다: $T\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}}$

주요 추측: 강력한 Langlands 쌍대성

추측: 기약군 $G$ 에 대해, 곱셈적 2-Fourier 변환은 de Rham 강력한 Hecke 모나드 $H_G^{\text{dR}}$ 과 $H_{\check{G}}^{\text{dR}}$ 을 식별한다. 따라서 다음의 동치성이 존재한다: $G\text{-cat}^{\text{pot,dR}} \simeq \check{G}\text{-cat}^{\text{pot,dR}}$

물리학적 연결

3차원 TQFT 해석

Rozansky-Witten 이론: $2\text{IndCoh}^{\diamond}(L)$ 은 여접다발 $T^*L$ 의 RW 이론을 모델링한다.
3차원 규범 이론: 강력한 범주 표현은 3차원 N=8 Yang-Mills 이론의 경계 이론을 제공한다.
3차원 거울 대칭: 규범 이론과 RW 이론을 연결한다.

등변 콤팩트화

Kapustin-Witten의 4차원 이론에서 출발하여, $S^1$ -등변 콤팩트화와 $\Omega$ -배경을 통해 대칭적인 3차원 쌍대성을 얻으며, 이것이 바로 강력한 Langlands 쌍대성의 물리학적 기원이다.

응용 및 일반화

1. Hecke 대수와의 관계

3층 Hecke 구조의 대응을 수립한다:

유한 Hecke 대수 ↔ 아핀 Hecke 대수 ↔ 이중 아핀 Hecke 대수
단일 멱영 표현 ↔ de Rham 표현 ↔ 강력한 표현

2. 특성 층 이론

강력한 표현의 대각합이 Hilbert 개형 위의 층을 주기를 기대하며, Khovanov-Rozansky 연환 상동성과 y-ification 프로그램을 연결한다.

3. 상대 Langlands 쌍대성

추측: 쌍대 초구면 다양체 $G \curvearrowright X$ 와 $\check{G} \curvearrowright \check{X}$ 에 대해, 강력한 Langlands 쌍대성은 $D_G^{\text{pot}}(X)$ 와 $D_{\check{G}}^{\text{pot}}(\check{X})$ 를 대응시킨다.