Integrality of $\mathrm{GL}_2\times\mathrm{GL}_2$ Rankin-Selberg integrals for ramified representations

기술적 요약: 분기된 표현에 대한 GL2 × GL2 란킨-셀베르그 적분의 정수성

문제 제기
본 논문은 $F$가 $\mathbb{Q}_p$ ($p$는 홀수) 의 유한 확대일 때, $GL_2(F)$의 기약 가산 일반적 온전 표현 $\pi_1, \pi_2$의 쌍에 연관된 국소 란킨 - 셀베르그 제타 적분의 정수성 문제를 다룬다. 국소 란킨 - 셀베르그 적분 $Z(\phi, g_1 W^{\text{new}}_{\pi_1}, g_2 W^{\text{new}}_{\pi_2}; s)$는 $L(\pi_1 \times \pi_2, s) \cdot \Phi(\dots; q^s)$로 인수분해되는 것으로 알려져 있으며, 여기서 $\Phi$는 유리함수이다. 그러나 $\Phi$의 계수들의 산술적 성질은 미묘한 문제이다.

구체적으로, 저자는 "순수한 (naive)" 정수성 개념이 실패함을 지적한다. 입력 데이터 (슈바르츠 함수 $\phi$와 군 원소 $g_1, g_2$) 가 $\mathbb{Z}$ 위에서 정의되더라도, 결과적으로 얻어지는 다항식 $\Phi$의 계수가 반드시 수체의 정수환 (아마도 $p$에서 국소화된) 에 속하는 것은 아니다. 핵심적인 문제는 결과적인 제타 적분을 국소 $L$-인자로 나눴을 때, 특정 산술 환 $A$의 계수를 갖는 다항식을 산출하는 "정수 데이터"의 정제된 개념을 규명하는 것이다. 이는 새로운 형식 (newforms) 의 푸리에 계수와 호환되는 정수성 성질을 확립하고, 란킨 - 셀베르그 오일러 계 이론을 지원하기 위한 필요성에 기인한다.

방법론
접근 방식은 란킨 - 셀베르그 적분에 대한 기술적 재해석과 특정 윗터커 (Whittaker) 새로운 벡터 연구로의 환원에 의존한다.

1. 적분의 재해석: 저자는 표준 란킨 - 셀베르그 제타 적분 $Z_\Pi$를 콤팩트 유도 함수 공간에 작용하는 선형 사상 $\Lambda_\Pi$와 연관시키는 가환 다이어그램을 구성한다. 이는 다음을 포함한다:

   • 슈바르츠 함수와 특성 함수의 텐서곱을 $P(F) \backslash G(F) / K_\Pi$ 위의 함수 공간으로 변환하는 사상 $\Xi_c$를 정의한다.
   • 적분의 풀이 (unfolding) 를 이용하여 $Z_\Pi$를 "새로운" 윗터커 함수 $I^{\text{new}}_\Pi$를 포함하는 적분과 연관시킨다.
   • 원래 제타 적분의 정수성이 특정 잉여류 대표자 $\gamma$ 위에서 평가된 항 $I^{\text{new}}_\Pi(\gamma; s)$의 정수성으로 환원되며, 이는 안정자 부분군의 부피 역수로 스케일링됨을 확립한다.

2. 사례별 분석: 증명 과정의 핵심은 $GL_2(F)$의 모든 기약 가산 일반 표현 클래스에 대한 윗터커 새로운 벡터 $W^{\text{new}}_\pi$의 행동을 상세하고 포괄적으로 사례별로 분석하는 것이다. 저자는 Assing [Ass19b, Ass19a] 와 Saha [Sah16] 의 연구에서 발견된 이러한 벡터에 대한 명시적 공식을 활용한다. 다루어진 사례에는 다음이 포함된다:

   • 비분기 및 분기된 주급수 표현 (반분기, 완전분기).
   • 스타인베르크 표현 (비분기 및 분기된 꼬임).
   • 초보소 표현 (2 차 확대와 연관됨).
   • 이러한 유형들의 모든 가능한 텐서곱 $\pi_1 \times \pi_2$.

3. 가우스 합과 부피 인자: 각 사례에서 저자는 관련 적분을 평가하며, 이는 종종 부분 가우스 합 또는 일반화된 클로스테르만 합으로 환원된다. 중요한 기술적 단계는 잠재적인 분모 (특히 가우스 합에서 비롯된 $q-1$의 인자) 가 항상 안정자 부분군 $P(F) \cap \gamma K_\Pi \gamma^{-1}$의 부피 인자에 의해 상쇄됨을 증명하는 것이다.

주요 기여 및 결과

• 정수 데이터의 정의: 논문은 $(\pi_1 \times \pi_2)$-정수 데이터의 자연스러운 개념을 도입한다. 데이터 $(\phi, g_1, g_2)$는 슈바르츠 함수 $\phi$가 $\phi$의 안정자와 켤레된 지시자 부분군 $K_\Pi$의 교집합으로 결정된 특정 주 아이디얼의 값을 취할 때 정수 데이터로 정의된다.
• 정리 A (국소 정수성): 임의의 기약 가산 일반 온전 표현의 쌍과 임의의 $\Pi$-정수 데이터에 대해, 제타 적분의 인수분해에 나타나는 다항식 $\Phi$는 $A[X, X^{-1}]$에 속한다. 여기서 $A$는 구형 헤케 고유값과 표현에 의해 결정된 특정 비분기 유니터리 성격을 포함하는 $\mathbb{Z}[q^{-1}, \mu_{\nu}q^\tau]$-대수이다. 여기서 $\tau = \max(c(\pi_1), c(\pi_2))$이며, $\nu$는 표현이 비분기인지 여부에 의존한다.
  • 이 결과는 초보소 표현이 이분형 (dihedral) 일 것이라는 추가 가정 하에 $p=2$에 대해서도 성립한다.
• 정리 B (전역 적용): 국소 결과는 전역 자동형식에 적용된다. 짝수 무게를 갖는 정규화된 유계 새로운 고유 형식 $f_1, f_2$에 대해, 전역 란킨 - 셀베르그 적분 $I(\phi_A, g_1 \phi_{f_1}, g_2 \phi_{f_2}; s)$는 $L(\pi_{f_1} \times \pi_{f_2}, s)$에 특정 수체 $E_{f_1, f_2}$의 정수환 (유한 집합 $S$의 소수에서 국소화된) 의 계수를 갖는 다항식 $\Phi$를 곱한 것과 같음이 보인다.
• 삼선형 형식: 논문은 란킨 - 셀베르그 적분을 통해 실현된 $\text{Hom}_{GL_2(F)}(\pi_1 \otimes \pi_2 \otimes \pi_3, 1)$ 내의 유일한 (스칼라까지) 삼선형 형식에 대한 정수성 결과를 확립하며, 이는 정수 새로운 벡터 위에서 환 $A$의 값을 취함을 보인다.

의의 및 주장
저자는 이 작업이 란킨 - 셀베르그 적분의 최대공약수에 관한 야쿠에 - 랑글랜즈 결과의 "정수 정제"를 제공한다고 주장한다. 그 의의는 다음과 같이 두 가지 측면이 있다:

1. 표현론적: 순수한 정수성이 실패하는 분기된 표현에 대한 정수성 문제를 해결한다. 이 결과는 국소 표현론의 정수 구조라는 렌즈를 통해 본 독립적인 관심의 자연스러운 문제로 기술된다.
2. 산술 기하학: 여기서 도입된 정수 데이터의 개념은 전역 대수기하학적 해석을 갖는다. 논문은 국소적으로 정수인 데이터가 정확히 Loeffler-Skinner-Zerbes (LSZ) 사상 하에서 모듈러 곡선의 정수 에탈 코호몰로지의 상에 해당하는 클래스임을 지적한다. 따라서 정리 B 는 란킨 - 셀베르그 오일러 계 이론과 $p$-adic $L$-함수에 대한 표현론적 측면의 "유사한 정수성 결과"로 제시된다.

논지는 역명에 대해서는 겸손하게 서술한다: 정수 데이터 위의 제타 적분의 상이 $L$-인자에 의해 생성된 주 분수 아이디얼에 포함되기는 하지만, 이 상이 전체 아이디얼인지 아니면 주 아이디얼인지는 아직 알려지지 않았음을 인정한다. 이는 오일러 계 이론에서 국소 인자를 최적화하는 데 잠재적 함의를 갖는 미해결 문제로 식별된다.