Symplectic duality for the constant term of the geometric Eisenstein series

기술 요약: 기하적 아이젠슈타인 급수의 상수항에 대한 심플렉틱 쌍대성(Symplectic Duality)

문제 정의
본 논문은 매끄러운 사영 곡선 $C$의 함수체 $\mathbb{F}_q(C)$ 위에서 미라볼릭 파라볼릭 부분군(mirabolic parabolic subgroup)을 갖는 $GL_{n+1}$의 기하적 아이젠슈타인 급수의 상수항을 범주화하는, $QM_{\vec{N}}^{\vec{M}}$으로 표기되는 특정 콰지맵(quasimap) 모듈라이 스택의 코호몰로지를 조사한다. 중심 문제는 이 코호몰로지의 구조를 이해하고, 이것이 헤케 유형의 변형 대수(Hecke-type modification algebra)의 작용을 가진다는 점을 밝히며, 이를 더 다루기 쉬운 기하학적 대상과 식별하는 것이다. 구체적으로, 저자는 히그스 분지(Higgs branch) 기술(콰지맵 스택)과 쿨롱 분지(Coulomb branch) 기술(특이 곡면 및 그 해소) 사이의 "심플렉틱 쌍대성"(또는 3d-미러 대칭)을 확립하고자 한다.

방법론
저자는 기하적 표현론, 유도 대수 기하학(derived algebraic-geometry), 그리고 등변 코호몰로지(equivariant cohomology) 기법을 결합하여 사용한다. 방법론은 다음 단계로 진행된다:

1. 유도 스택 구성: 콰지맵 모듈라이 스택 $QM_{\vec{N}}^{\vec{M}}$은 유도 스택(derived stack)으로 정의된다. 이 스택의 탄젠트 복합체(tangent complex)를 명시적으로 계산하여, 스택이 준-매끄러운(quasi-smooth) 성질을 가짐을 입증한다. 이를 통해 가상 탄젠트 공간(virtual tangent space)과 가상 차원을 정의할 수 있다.
2. 대응 관계 대수: 선다발 $L$을 점 $x \in C$에서 $L(-x)$로 교체하는 변형 대응 관계(modification correspondence) $\iota$를 도입한다. 이 대응 관계를 따른 풀백(pullback) 및 푸시포워드(pushforward) 연산은 코호몰로지(로컬 시스템 $\chi$를 계수로 가짐)에 작용하는 연산자들의 대수 $A_\chi$를 생성한다. 이 대수의 관계식(교환자 및 카시미르 항등식)은 타우톨로지컬 체르 클래스(tautological Chern classes)를 사용하여 계산된다.
3. 심플렉틱 쌍대 다양체: 저자는 "쿨롱 분지" $X^\vee_0 = \text{Spec}(\mathbb{Q}_l[x, y, \eta]/(xy - \eta^{n+1}))$를 구성하며, 이는 $A_n$-곡면 특이점이다. 이 곡면은 히그스 분지 $X = T^*\mathbb{P}^n$의 심플렉틱 쌍대로 식별된다.
4. 해소 및 고정 로커스: 아핀 차트 $U_k \cong \mathbb{A}^2$를 붙임으로써 최소 해소(minimal resolution) $\rho: X^\vee \to X^\vee_0$를 구성한다. 저자는 토러스 작용에 의해 유도된 콰지맵 스택의 비알리니키-브릴리-빌라(Białynicki-Birula) 분해를 활용한다. 이 분해는 스택을 곡선의 대칭 곱(symmetric products)인 끌어당김 궤도(attracting orbits) $Attr(k)$들로 층화(stratify)한다.
5. 필터레이션을 통한 비교: 핵심 증명은 두 필터레이션을 비교하는 것이다:
   • 콰지맵 측면: 비알리니키-브릴리-빌라 분해에 의해 유도된 필터레이션.
   • 쌍대 측면: $X^\vee$ 상의 특정 벡터 번들의 국소 코호몰로지의 필터레이션(끌어당김 라그랑주 부분다양체 $L \subset X^\vee$에 지지됨).
     저자는 이 필터레이션들의 결합 연관 층(associated graded pieces)이 각각의 대수 상에서 동형임을 증명한다. 필터레이션이 분리(split)되는지 여부에 대한 확장 문제(extension problem)는 전체 동형 관계를 결정하기 위해 분석된다.

주요 기여 및 결과

• 대수의 식별: 2차 연산자들에 의해 생성되는 대응 관계 대수의 부분 대수는 $A_n$-곡면 특이점 상의 정규 함수 환(ring of regular functions)과 식별된다. 1차 연산자들은 이 곡면 위의 스핀 모듈(클리포드 대수)을 형성하며, 0차 연산자들은 1차 미분 연산자로 작하게 된다.
• 자명한 캐릭터(Character)의 경우 (정리 1): 자명한 로컬 시스템에 대하여, 저자는 콰지맵 스택의 시프트된 코호몰로지와 꼬인 층(twisted sheaf)의 국소 코호몰로지 사이의 토러스 등변 동형 관계를 확립한다:
  $$\hat{H}^*_c(QM_{\vec{N}}^{\vec{M}}) \cong H^*_L(X^\vee, \hat{\mathcal{O}}_{vir} \otimes \mathcal{O}(\vec{M}))$$
  여기서 $\hat{\mathcal{O}}_{vir}$는 "대칭화된 가상 구조 층"(정준 번들의 제곱근으로 꼬인 스핀 번들)이며, $\mathcal{O}(\vec{M})$은 입력 번들의 차수에 의해 결정되는 라인 번들이다.
• 비자명한 캐릭터의 경우 (정리 2): 비자명한 랭크-1 로컬 시스템 $\chi$에 대하여, 이 동형 관계는 특정 "장애"(obstruction) 조건이 충족되지 않을 때만 성립한다. 구체적으로, $\chi^{n+1}_0 \neq 1$인 경우, 인덱스 $k < s$에 대해 번들 $M_k$와 $M_s$가 동형이고, 정준 번들 $K_C$를 포함하는 특정 오일러 표수 조건이 만족될 때 동형 관계가 실패한다. 이러한 예외적인 경우, 필터레이션이 코호몰로지 상에서 분리되지 않는데, 이는 해소된 측의 축소된(reduced) 고정 로커스와 대비되는 특이한 측의 비축소된(non-reduced) 구조를 반영한다.
• 국소 코호몰로지의 명시적 계산: 저자는 $L$에 지지된 $X^\vee$의 국소 코호몰로지를 명시적으로 계산하여, 이것이 잘 정의된 프로베니우스(Frobenius) 및 토러스 가중치를 가진 특정 순환 벡터들에 의해 생성됨을 보여준다.

의의 및 주장
본 논문은 기하적 아이젠슈타인 급수의 상수항을 특이 곡면의 해소에 대한 국소 코호몰로스로서 기하적으로 구현함을 주장한다. 이 결과는 $GL_2$에 대한 기존 연구([KO23]의 분석)를 $GL_{n+1}$로 일반화한다.

그 의의는 다음과 같다:

1. 범주화: 아이젠슈타인 급수의 상수항을 프로베니우스의 트레이스로부터 완전한 코호몰로지 대상과 대수 작용으로 격상시켜 범주화한다.
2. 심플렉틱 쌍대성: 이 특정 기하적 아이젠슈타인 급수 설정에 대한 심플렉틱 쌍대(쿨롱 분지)를 명시적으로 구축하며, $A_n$-특이점이 히그스 분지 $T^*\mathbb{P}^n$의 쌍대임을 식별한다.
3. 장애 분석: 쌍대성이 동형이 되는 조건과, 곡선과 번들 간의 특정 기하학적 조건(종수 $g$ 및 번들의 차수와 관련된)에 의해 발생하는 실패(분리되지 않는 확장)를 통해 쌍대성이 실패하는 지점을 정확하게 규명한다.

저자는 증명이 끌어당김 궤도들의 매끄러움으로부터 따르는 순수성(purity)에 의존하며, 가중치와 구조를 일치시키기 위해 등변 국소화(equivariant localization) 기법을 활용한다고 언급한다. 이 연구는 기하적 방법을 통해 자동 형식(automorphic forms)의 구조와 기하적 랭런즈 프로그램(geometric Langlands program)을 이해하기 위한 단계로 제시된다.