$L^2$-property for algebraic stacks over local non-archimedean fields

기술적 요약: 국소 비아르키메데스 체 위 대수적 스택에 대한 L2-성질

문제 정의
본 논문은 국소 비아르키메데스 체($K$) 위에서 정의된 대수적 스택의 반-밀도(half-densities)에 대한 슈바르츠 공간(Schwartz spaces)의 해석적 성질을 다룬다. 구체적으로, 본 연구는 L2-성질(L2-property), 즉 슈바르츠 반-밀도 공간 $S(X(K), |\omega|^{1/2})$의 모든 원소에 대해 자연스러운 $L^2$-노름이 유한한지 여부를 조사한다. 이 질문은 **해석적 랭글랜즈 대응(analytic Langlands correspondence)**의 맥락에서 제기되었는데, 이 맥context에서는 헤케 연산자(Hecke operators)가 $L^2$-공간을 포함하는 슈바르츠 공간 위에서 컴팩트 연산자로 작용한다는 것이 추측되어 있다. 이러한 컴팩트 확장의 존재성은 선행 연구[7](예: $N \ge 3$개의 파라볼릭 구조를 가진 $\mathbb{P}^1$ 위의 $PGL_2$-번들)에서 특정 사례들에 대해 구축되었으나, 슈바르츠 공간 자체가 이 $L^2$-공간으로 임베딩되는지에 대한 근본적인 질문은 미해결 상태로 남아 있었다. 저자들은 $N \ge 3$인 경우, 슈바르츠 공간의 모든 원소가 매우 안정적인 로커스(very stable locus) 위에서 $L^2$-함수를 정의함을 증명하고자 한다.

방법론
저자들은 다양체에서 스택으로 개념을 확장하여, 대수적 스택 상의 $L^2$-노름을 정의하고 분석하기 위한 엄밀한 프레임워크를 개발한다.

1. L2-스택의 정의:

   • 저자들은 매끄러운 다양체 $X$ 위의 매끄러운 사상 $\pi: \mathcal{X} \to X$에 대하여, 파이버 곱(fiber product) $\mathcal{X} \times_X \mathcal{X}$를 활용한 $L^2$-페어링 $\langle \cdot, \cdot \rangle_s$를 정의한다.
   • 대수적 스택 $\mathcal{X}$는 임의의 허용 가능한 매끄러운 커버링 $\pi: \mathcal{X} \to X$에 대하여, 슈바르츠 공간 $S(\mathcal{X}(K), |\omega|^{1/2})$의 모든 원소가 이 커버링에 상대적으로 유한한 $L^2$-노름을 가질 때 $L^2$-스택이라 불린다.
   • 이 정의는 허용 가능한 커버링의 선택에 무관함이 입증된다(Proposition 2.7).

2. 국소 및 전역 분석:

   • 국소 기준: 본 논문은 $L^2$-성질이 국소적으로 검사될 수 있으며(Lemma 2.11), 매끄러운 표현 가능 사상(smooth representable morphisms) 하에서 보존됨을(Proposition 2.13) 확립한다.
   • 몫 스택(Quotient Stacks): $[V/G]$ 형태의 스택(여기서 $V$는 환원 가능 군 $G$의 표현)에 대하여, 저자들은 $V$의 가중치 분해(weight decomposition)와 $G$의 모듈러 캐릭터(modular character)에 기반한 수렴 기준을 도출한다(Proposition 2.17). 이는 $L^2$-성질을 특정 표현의 캐릭터를 포함하는 급수의 수렴 문제로 환원시킨다.
   • 거브(Gerbes): 허용 가능한 거브(특히 $\mu_2$-거브) 하에서의 $L^2$-성질의 거동을 분석하며, $L^2$-성질이 이러한 사상 하에서 보존됨을 보인다(Lemma 2.16).

3. 헤케 연산자와의 연결:

   • 저자들은 [7]에서 구축된 매우 안정적인 로커스의 $L^2$-공간 상의 유계 헤케 연산자(bounded Hecke operators)를 도구로 활용한다.
   • 슈바르츠 공간이 푸시포워드(push-forward)를 통해 매우 안정적인 로커스 상의 매끄러운 밀도(smooth densities) 공간으로 사상됨을 증명한다(Theorem 3.1, [4]의 파라볼릭 아날로그 결과).
   • 결정적으로, 헤케 연산자의 작용이 매우 안정적인 로커스로의 푸시포워드와 교환(commute)됨을 보인다(Proposition 3.4).

주요 기여 및 결과

1. 주요 정리 (Theorem A):
   표수가 2가 아닌 국소 비아르키메데스 체 $K$에 대하여, $N \ge 3$일 때, $N$개의 파라볼릭 점을 가진 $\mathbb{P}^1$ 위의 $PGL_2$-번들 스택 $\text{Bun}_{PGL_2}(\mathbb{P}^1, p_1, \dots, p_N)$은 $L^2$-스크택이다.

   • 함의: 슈바르츠 공간 $\phi \in S(\text{Bun}_{PGL_2}(\dots)(K), |\omega|^{1/2})$에 대하여, 유도된 매우 안정적인 로커스 상의 매끄러운 뒤틀린 밀도는 $L^2$ 클래스에 속한다.

2. 구성 스택(Configuration Stacks)의 검증:
   저자들은 구성 스택 $[(\mathbb{P}^1)^r / SL_2]$와 $[(\mathbb{P}^1)^r / PGL_2]$가 임의의 $r \ge 3$에 대해 $L^2$-스택임을 증명한다(Proposition 2.21 및 Corollary 2.22). 이는 가중치 수렴 기준(Proposition 2.17)을 통해 확립된다.

3. "Very Good" 성질과의 관계:
   본 논문은 $L^2$-성질과 베일린슨-드린펠트(Beilinson and Drinfeld)가 도입한 "very good" 성질 사이의 관계를 조사한다. "very good" 성것은 차원이 $n$인 점들의 로커스의 코차원이 $n$보다 커야 함을 요구한다.

   • 저자들은 $SL_2$-표현에 대하여, 스택 $[V/SL_2]$는 $L^2$인 것과 "very good"인 것이 동치임을 보인다(Proposition 2.23).
   • 그러나 $L^2$-스택이 반드시 "very good"이어야 하는 것은 아님을 보여주는 반례를 제시한다(예: $[(\mathbb{P}^1)^3/SL_2]$는 $L^2$이지만 "very good"은 아니다).
   • 저자들은 "very good" 성질이 일반적으로 $L^2$-성질을 함의할 것이라고 추측한다(Conjecture B).

4. 고차 곡선으로의 확장:
   저자들은 종수 $g \ge 2$인 곡량에 대하여, $\text{Bun}_G(C)$ 내의 자명한 번들의 근방이 몫 스택 $[\mathfrak{g}^{\oplus r}/G]$로 모델링됨을 언급한다. 그들은 $[\mathfrak{g}^{\oplus r}/G]$가 $r \ge 2$에 대해 $L^2$-스택임을 증명하며(Proposition 2.19), 이는 고차 곡선에 대한 $L^2$-성질이 헤케 연산자의 유계성 문제로 환원될 수 있음을 시사한다.

의의 및 주장
본 논문은 $PGL_2$-번들(파라볼릭 점 $N \ge 3$을 가진 $\mathbb{P}^1$ 위)의 슈바르츠 반-밀도가 해석적 랭글랜즈 대응에 필요한 $L^2$-공간으로 임베딩되는지에 대한 구체적인 질문을 해결한다고 주장한다. 이러한 스택들에 대해 $L^2$-성질을 증명함으로써, 저자들은 헤케 연산자( [7]에서 컴팩트 연산자로 구축된)가 작용하는 도메인을 검증한다.

저자들은 자신들의 결과가 아르키메데스 경우에도 적용될 것으로 기대하며, 복소수 케이스에서의 변수 분리(separation of variables)에 관한 선행 연구[1, 12]를 참조한다. 저자들은 전체 해석적 랭글랜즈 대응(즉, 헤케 대수의 스펙트럼 분해)을 증명하려는 것이 아니라, 비아르키메데스 환경에서 슈바르츠 공간에 대한 필수적인 함수 해석적 기초(즉, $L^2$-노름의 유한성)를 확립하는 데 목적이 있음을 명시한다. 또한, 이 연구는 다양한 몫 스택에 대해 $L^2$-성질을 확인하기 위한 일반적인 도구 세트를 제공하며, 표현론적 데이터(표현의 가중치)와 그와 관련된 스택의 해석적 성질을 연결한다.