On the exterior square $\varepsilon$-factors of $GL_n$

기술적 요약: $GL_n$의 외적 제곱 $\varepsilon$-인자(Exterior Square $\varepsilon$-Factors)에 관하여

문제 제기
본 논문은 $F$를 표수 0인 국소체(local field)라고 할 때, $GL_r(F)$의 일반적인 표현(generic representation) $\pi$에 대한 세 가지 서로 다른 외적 제곱 $L$-인자 및 $\varepsilon$-인자의 정의 간의 일관성을 다룬다. 이 정의들은 다음으로부터 기인한다:

1. 갈루아/산술적 인자 ($L_G, \varepsilon_G$): 국소 랭글랜즈 대응(LLC)을 통해 정의됨.
2. 랭글랜즈-샤히디 인자 ($L_{Sh}, \varepsilon_{Sh}$): 랭글랜즈-샤히디 방법을 통해 정의됨.
3. 자켓-샬리카 인자 ($L_{JS}, \varepsilon_{JS}$): 적분 표현(자켓-샬리카 적분) 및 국소 함수 방정식(local functional equation)을 통해 정의됨.

$L$-인자의 동일성($L_{JS} = L_{Sh} = L_{G}$)은 상당 부분 확립되었고, $\varepsilon$-인자의 경우 랭글랜즈-샤히디와 갈루아 정의 사이의 동일성은 알려져 있었으며 (최근 아르키메데스적 자켓-샬리카 적분의 경우도 포함), $\varepsilon_{JS}(s, \pi, \wedge^2, \psi) = \varepsilon_{Sh}(s, \pi, \wedge^2, \psi)$의 동일성을 입증하는 것은 $p$-진수(p-adic) 사례에서 미해결 문제로 남아 있었다. 저자는 외적 제곱 인자의 증명이 랭킨-셀베르그(Rankin-Selberg)나 아사이(Asai) 인자보다 더 까다로운데, 이는 자켓-샬리카 적분의 아르키메데스 이론의 복잡성과 $\varepsilon_{JS}$를 유도 데이터(inducing data)로 표현하는 선행 공식의 부재 때문이라고 언급한다.

방법론
본 논문은 국소적 동일성을 해결하기 위해 **전역적 방법(global methods)**을 채택하며, 이는 [BP21]에서 사용된 아사이 $L$-함수의 전략과 유사하다. 핵심적인 논리 흐 흐름은 다음과 같다:

1. 초특수 표현의 전역화(Globalisation of Supercuspidal Representations): 저자는 초특수 표현 $\pi$가 $GL_r(F)$의 표현일 때, 이를 다른 모든 유한 곳(finite places)에서는 비유리적(unramified)인 $GL_r(\mathbb{A}_k)$의 꼬리 없는 자가형 표현(cuspidal automorphic representation) $\Pi$의 국소 성분 $v_0$로 임베딩할 수 있게 하는 헤니아트(Henniart)의 정리(Theorem 6.1)를 활용한다.
2. 전역 함수 방정식의 비교: 자켓-샬리카 적분과 랭글랜즈-샤히디 방법의 전역 함수 방정식을 비교함으로써, 저자는 국소 $\varepsilon$-인자가 초특수 표현에 대해 반드시 일치해야 함을 도출한다(Proposition 6.2).
3. 밀도 및 연속성 논법: 초특수 표현에서 모든 일반적인 표현으로 결과를 확장하기 위해, 저자는 신(Shin)의 정리(Theorem 7.1)의 결과물을 사용하여, 템퍼드(tempered) 표현의 임의의 열린 근방이 특정 국소적 성질(초특수 또는 비유리적)을 가진 자가형 형태(cuspidal automorphic form)로 전역화될 수 있는 표현을 포함한다는 것을 보여준다.
4. 해석적 연속(Analytic Continuation): 본 증명은 자켓-샬리카 적분 및 $\varepsilon$-인자의 해석적 성질에 크게 의존한다. 구체적으로 다음을 활용한다:
   • 휘트커 함수(Whittaker functions)의 해석적 섹션(analytic sections)의 존재 (Proposition 2.1, [BP21]을 따름).
   • 수직 띠(vertical strips) 내에서의 적분 및 $\gamma$-인자의 홀로모피(holomorphy) 및 유한 차수(finite order).
   • 해석적 함수를 반평면의 곱에서 전체 복소 평면으로 확장할 수 있게 하는 기술적 보조정리 (Proposition 2.8.1 of [BP21]).

주요 기여 및 결과

• 주요 정리 (Theorem 1.1): $p$-진수 체 $F$와 임의의 일반적인 표현 $\pi \in \text{Irr}_{gen}(G_r)$에 대하여, 자켓-샬리카 $\varepsilon$-인자는 랭글랜즈-샤히디 $\varepsilon$-인자와 일치한다:
  $$\varepsilon_{JS}(s, \pi, \wedge^2, \psi) = \varepsilon_{Sh}(s, \pi, \wedge^2, \psi)$$
  기존 결과($\varepsilon_{Sh} = \varepsilon_G$)와 결합하여, 이는 세 가지 정의의 완전한 일치를 확립한다 (Theorem 1.2).

• 국소 함수 방정식의 새로운 증명: 본 논문은 $p$-진수 사례에서 자켓-샬리카 적분의 국소 함수 방정식에 대한 새로운 증명을 제공한다 (Theorem 4.7). 이산 시리즈(discrete series)나 전역화 가능한 표현에 의존했던 마트린지(Matringe) 및 코그델-마트린지(Cogdell-Matringe)의 이전 증명들과 달리, 이 증명은 전역화 및 연속성 논법을 사용하여 모든 일반적인 표현으로 함수 방정식을 확장한다.

• 해석적 성질: 저자는 정규화된 자켓-샬리카 적분($\Xi$)이 거의 템퍼드(nearly tempered) 표현에 대해 수직 띠 내에서 유한 차수를 갖는 전해 함수(entire functions)임을 입증한다 (Proposition 7.6). 이는 주 정리 증명에 사용된 해석적 연속 논증의 필수 단계이다.

의의
본 논문은 이러한 $\varepsilon$-인자의 동일성이 오토모픽 $L$-함수 이론의 발전에 내재되어 있으며, $GL_r$에 대한 국소 랭글랜즈 추측의 필수 구성 요소라고 주장한다. 저자는 외적 제곱 인자에 대한 증명이 랭킨-셀베르크나 아사이 인자보다 더 어렵다고 강조하는데, 이는 자켓-샬리카 적분의 아르키메데스 이론이 이전에 덜 발달되어 있었고, $\varepsilon_{JS}$를 유도 데이터로 표현하는 데 필요한 공식들을 사용할 수 없었기 때문이다. 이 동일성을 확립함으로써, 본 논문은 적분 표현을 통해 정의된 $\varepsilon$-인자가 모든 $p$-진수 일반적 표현에 대해 랭글랜즈-샤히디 방법 및 국소 랭글랜즈 대응과 일치함을 보장하여 이론적 공백을 메운다.