Adjoint $L$-functions, congruence ideals, and Selmer groups over $\mathrm{GL}_n$

기술 요약: $\text{GL}_n$ 상의 수반 $L$-함수, 합동 이데알, 그리고 셀머 군

문제 및 동기
본 논문은 임의의 수체 $F$ 위에서 코호몰로지적 입사 자동형 표현(cohomological cuspidal automorphic representations) $\pi$에 대하여, 수반 $L$-함수의 특수값 $L(1, \pi, \text{Ad}^\circ)$와 합동 이데알(congruence ideals) 사이의 관계를 조사한다. 현대 정수론의 중심 주제는 $L$-함수의 특수값이 깊은 산술적 정보를 인코딩하며, 이는 종종 자동형 형식들 사이의 합동(congruence)으로 나타난다는 것이다. 이러한 관계는 특정 체(예: Taylor, Wiles 등의 연구) 위의 $\text{GL}_2$에 대해서는 확립되었으나, 본 논문은 이러한 결과를 임의의 수체 위의 $\text{GL}_n$으로 일반화하는 것을 목표로 한다. 구체적으로, 저자는 자동형 표현의 합동 이데알을 그 수반 $L$-함수의 $s=1$에서의 값과 연관시키고자 하며, 이를 통해 합동적인 자동형 표현의 존재성과 셀머 군(Selmer groups)의 하한(lower bounds)에 대한 함의를 도출하고자 한다.

방법론
전략은 코호몰로지적 실현에서 추상적 대수적 성질로, 그리고 최종적으로 산술적 응용으로 나아가는 세 가지 주요 단계로 진행된다:

1. 코호몰로지적 실현 및 쌍대성(Pairings):
   본 논문은 정규 대수적 입사 자동형 표현을 $\text{GL}_n$과 관련된 국소 대칭 공간 $X_U$의 코호몰로지에 실현한다. Borel과 Franke의 결과에 따라, 저자는 이러한 표현들이 코호몰로지 군 $H^*(X_U, M_\mu)$에 기여함을 확립한다. 결정적인 단계는 $\mathbb{Z}_p$ 계수를 갖는 특이 코호몰로지(singular cohomology)와 컴팩트 지지 코호몰로지(compactly supported cohomology, 특히 내부 코호몰로지 $H^*_!$) 사이의 완벽한 쌍대성을 구축하기 위해 푸앵카레 쌍대성(Poincaré duality)을 활용하는 것이다. 헤케 대수(Hecke algebra)의 작용과 호환되는 이 쌍대성은 자동형 형식의 페테르손 내적(Petersson inner product)과 동일시된다.

2. 추상적 합동 이데알:
   저자는 합동 이데알을 위한 추상적인 대수적 프레임워크를 개발한다. 축약된 유한 평탄 국소 $\mathcal{O}$-대수 $T$와 준동형 사상 $\lambda: T \to \mathcal{O}$에 대하여, 합동 이데알 $\eta_\lambda$는 합동 모듈 $C^0_\lambda(M) = M^\lambda / M_\lambda$의 피팅 이데알(Fitting ideal)로 정의된다(여기서 $M$은 자유 $\mathcal{O}$-모듈이다). 핵심 보조정리(보조정리 3.5)는 만약 $\lambda$와 관련된 항등원(idempotents)과 호환되는 완벽한 쌍대성이 존재한다면, 두 모듈의 합동 이데알은 서로 같으며 생성원(generators)에 의한 쌍의 값에 의해 생성됨을 확립한다. 이 보조정리는 $\text{GL}_2$ 설정에서 사용되는 특정 아킨-레너(Atkin-Lehner) 인볼루션을 요구하지 않고도 필요한 조건을 충족하는 컵 곱(cup product) 쌍대성에 적응되었다.

3. 랭킨-셀베르그(Rankin-Selberg) 및 $L$-값:
   랭킨-셀베르그 방법을 적용함으로써, 페테르손 내적(및 따라서 코호몰로지의 쌍대성)을 수반 $L$-함수 $L(1, \pi, \text{Ad}^\circ)$로 표현할 수 있다. 이를 통해 저자는 합동 이데알의 생성원을 정규화된 대수적 값 $L_{\text{alg}}(1, \pi, \text{Ad}^\circ, \epsilon)$로 명시적으로 계산할 수 있다.

4. 갈루아 변형 이론(Galois Deformation Theory):
   $F$가 CM 체인 경우, 저자는 갈루아 표현에 대한 국소-전역 호환성 결과([ACC+23])와 갈루아 변형 이론의 표준 기법을 호출한다. 이는 헤케 대수의 합동 이데알을 잔여 갈루아 표현(residual Galois representation)의 수반 표현과 관련된 셀머 군의 구조와 연결한다.

주요 기여 및 결과

• 정리 4.14 (주 정리): 적절한 가정들(특정 극대 이데알에서의 경계 코호몰로지가 $p$-토션 프리라는 조건 포함) 하에서, 본 논문은 코호몰로지적 합동 이데알 $\eta_{\pi, b, \epsilon}$이 다음의 정규화된 수반 $L$-값에 의해 생성됨을 증명한다:
  $$\eta_{\pi, b, \epsilon} = (L_{\text{alg}}(1, \pi, \text{Ad}^\circ, \epsilon))$$
  이는 전형적인 실수 체 및 허수 이차 체 위의 $\text{GL}_2$에 대해 알려진 기존 결과들을 임의의 수체 위의 $\text{GL}_n$으로 일반화한 것이다.

• 합동 기준 (따름정리 4.17 및 4.20): 본 논문은 합동적인 자동형 표현의 존재성에 대한 기준을 도출한다. 만약 $L(1, \pi, \text{Ad}^\circ, \epsilon)$의 $p$-진 밸류에이션(valuation)이 양수라면(즉, $L$-값이 $p$-진 단위원이 아니라면), $\pi$와 헤케 아이겐시스템(Hecke eigensystem)이 합동인 $\pi' \not\cong \pi$인 이산 자동형 표현이 존재함을 보여준다. 관련 코호몰로지 모듈이 헤케 대수 상에서 자유(free)라면, 그 역도 성립한다.

• 셀머 군 하한 (정리 4.26): $F$가 CM 체이고 극대 이데알이 비-아이젠슈타인(non-Eisenstein)인 경우, 저자는 특정 셀머 군의 카디널리티에 대한 하한을 수반 $L$-값에 의해 설정한다:
  $$\#H^1_S(\text{Ad } \rho \otimes_\mathcal{O} E/\mathcal{O}) \geq \#(\mathcal{O} / L_{\text{alg}}(1, \pi, \text{Ad}^\circ))$$
  이 결과는 블로흐-카토(Bloch-Kato) 추측을 향한 부분적인 진전으로 제시된다.

의의 및 주장
저자는 이 연구가 $\text{GL}_2$에서 임의의 수체 위의 $\text{GL}_n$으로 수반 $L$-값과 합동 이데알 사이의 관계를 통합적으로 일반화하는 작업을 제공한다고 주장한다. 본 논문은 컵 곱 쌍대성을 직접 다룸으로써 아킨-레너와 같은 특정 인볼루션의 필요성을 피한다는 점을 강조한다.

그 의의는 이중적이다:

1. 이론적 통합: 이는 테일러-와일스(Taylor-Wiles) 철학, 즉 변형 환(deformation rings)을 합동 이데알을 통해 헤케 대수와 연결하는 방식을 고차원 군($\text{GL}_n$) 및 일반적인 수체로 확장하며, 국소 대칭 공간의 코호몰로지적 성질에 의존한다.
2. 산술적 응용: 이는 $L$-값을 통해 자동형 형식 사이의 합동을 탐지하는 구체적인 메커니즘을 제공하며, $L$-값(해석적 데이터)과 셀머 군(대수적 불변량)을 연결하여 블로흐-카토 추측의 맥락에서 셀머 군의 하한을 제공한다.

본 논문은 합동 기준의 역방향에 대해서는 신중한 태도를 유지하며, 코호몰로지 모듈의 자유성을 증명하는 데 현재 추가적인 가정과 갈루아 표현에 관한 추측(비-큐스피달 코호몰로지의 소멸 및 특정 성질을 가진 갈루아 표현의 존재 등)이 필요함을 언급한다. 마찬가지로, 셀러 군의 하한은 확립되었으나, 이 특정 셀머 군을 고전적인 블로흐-카토 셀머 군과 연결하기 위해서는 문헌에 기술된 바와 같이 국소 타마가와 수(local Tamagawa numbers)를 포함한 추가 단계가 필요함을 인정하고 있다.