Adjoint Bloch--Kato Selmer groups of regular algebraic automorphic Galois representations

기술 요약: 정규 대수적 오토모픽 갈로아 표현의 수반 블로흐-카토 셀머 군

문제 정의
본 논문은 CM 수체 $F$ 위의 $\text{GL}_n$으로부터 유도된 갈로아 표현 $\rho$와 관련된 수반 블로흐-카토 셀머 군 $H^1_f(F, \text{ad } \rho)$의 소멸(vanishing) 문제를 다룬다. 이 군은 폰타인-마주르(Fontaine–Mazur), 벨린송(Beilinson), 그리고 블로흐-카토(Bloch–Kato) 추측에 의해 소멸할 것으로 추측된다. 특정 사례(특히 "결함 0(defect 0)" 또는 테일러-와일즈(Taylor–Wiles) 설정)에 대해서는 무조건적인 결과들이 존재하지만, 연관된 국소 대칭 공간의 코호몰로지에 비틀림(torsion)이 존재하고 단일 차수에 집중되지 않는 "양의 결함(positive defect)" 설정으로 결과를 확장하는 것은 중요한 과제로 남아 있었다.

양의 결함 설정에서의 주요 어려움은 단순한 모듈이 아니라 패칭(patching) 과정에서 복합체(complexes)를 다루어야 한다는 점이다. 이는 패칭된 복합체의 성질(예: 다이아몬드 연산자 링 위에 유한 생성되는지 여부)을 제어하는 것을 복잡하게 만드는데, 이때 테일러-와일즈 조건을 만족하는 잔여 표현(residual representation)이 제공하는 통상적인 제어를 사용할 수 없다. 또한, 기존의 접근 방식들은 $\rho|_{F(\zeta_p)}$에 대한 특정한 비가환성이나 비자명성 조건과 같이 잔여 표현 $\text{mod } p$에 대한 강력한 조건을 요구하는 경우가 많았다.

방법론
저자들은 유계가 아닌 랭크 코호몰로지를 가진 복합체를 다루기 위해 적응된, 울트라필터(ultrafilter)를 이용한 정교한 패칭 기법을 사용한다. 방법론은 다음과 같은 핵심적인 기술적 단계로 진행된다:

1. 복합체를 위한 울트라 패칭(Ultra-patching for Complexes): 저자들은 테일러-와일즈 레벨들의 비주기적 울트라필터를 사용하여 패칭된 복합체 $M_{\infty, \bullet}$를 구성한다. 이전 연구들이 모듈을 패칭했던 것과 달리, 이 구성은 격자 $V^\vee_\lambda$를 계수로 갖는 특이 사슬(singular chains)의 복합체를 패칭한다.
2. 멱영 커널(Nilpotent Kernels)의 제어: 패칭된 설정에서 발생하는 $R=T$ 유형의 동형 사상은 멱영 이데알(nilpotent ideal)에 대해서만 유효하다는 것이 핵심적인 기술적 난관이다. 이를 극복하기 위해 저자들은 [AC23]에서 도입된 기법을 활용하며, 이는 일반적인 점에서의 $\mathbb{Q}_p$-파이버(fibre)의 매끄러움(smoothness)을 이용한다. 이를 통해 전역적 동형 사상에 멱영 오차가 존재함에도 불구하고 자리스키 접공간(Zariski tangent space, 즉 셀머 군)의 성질을 도출할 수 있다.
3. 판별 연산자를 이용한 2단계 패칭: 저자들은 "판별(discriminant)" 헤케 연산자 $\delta$를 포함하는 새로운 2단계 패칭 과정을 도입한다.
   • 먼저, 모듈러 형식의 공간 $H_{Q_N}$($\mathbb{Z}_p[x]/(x^{p^r}-1)$와 같은 링 위에 자유로운 형태)를 패칭된 대상 $\tilde{H}^r$($\mathbb{Z}_p[x]/(x^{p^r})$ 위에 자유로운 형태)로 대체한다.
   • 이러한 확장은 국소화 $\delta \tilde{H}^r_q$가 $\mathbb{Q}_p[x]/(x^{p^r})$ 상에서 자유롭게 함으로써, 테일러-와일즈 지점에서의 구형(spherical) 레벨과 이와리아(Iwahori) 레벨 사이의 차이를 효과적으로 제거한다.
   • 이를 통해 익숙한 논증들을 적용할 수 있는 정규 국소 환(예: $\mathbb{Q}_p[[x]]$) 위에서의 표준적인 패칭 설정을 회복한다.
4. 국소-전역 호환성(Local-Global Compatibility): 증명은 $\ell \neq p$ 및 $\ell = p$에 대해 확립된 무조건적인 국소-전역 호환성 결과들(동료 논문 [Hev26] 및 [AHTW26])에 의존한다. 이 결과들은 호지-테이트 주기 사상(Hodge–Tate period map)에 따른 코호몰로지의 분해가 잘 작동하도록 보장하는 "분해된 일반적(decomposed generic)" 조건 하에서 적용된다.

주요 기여 및 결과
주요 결과는 잔여 표현 $\text{mod } p$가 아닌 $p$-적 갈로아 표현에 대해서만 부과된 조건 하에서 수반 블로흐-카토 셀머 군의 소멸을 확립한다.

• 주요 정리 (Theorem 5.1): $F$를 CM 체로, $\pi$를 $\text{GL}_n(\mathbb{A}_F)$의 큐스피달(cuspidal), 정규 대수적 오토모픽 표현이라 하자. $\rho = r_{\pi, \iota}$를 그와 연관된 갈로아 표현이라 할 때, 만약:

  1. 이미지 $\rho(G_F(\zeta_{p^\infty}))$가 ([NT23]의 의미에서) "거대(enormous)"하고,
  2. $\text{ad } \rho$에 의해 잘려진 확장 $L/F(\zeta_{p^\infty})$가 $H^1(L/F, \text{ad } \rho(1)) = 0$을 만족하며,
  3. 모든 $v|p$ 또는 $\pi_v$가 램(ramified)된 곳에서 $\rho|_{G_{F_v}}$가 일반적(generic)이라면,
     그렇다면 $H^1_f(F, \text{ad } \rho) = 0$이다.

• 따름정리:

  • 순수 표현 (Corollary 5.2): $\rho$가 순수(pure)하다면(많은 오토모픽 표현이 만족하는 조건), 소멸이 성립한다.
  • 극성 표현 (Corollary 5.3): 극성 표현(예: 켤레 자기 쌍대(conjugate self-dual) 오토모픽 형식과 연관된 표현)의 경우, 이미지가 거대하다는 조건 하에 소멸이 성립한다. 이 결과는 전체 수반 표현(adjoint representation)에 대해 다룬다는 점에서 [NT23]보다 엄격히 더 강력한 결과로 언급된다.
  • 타원 곡선의 대칭 거듭제곱 (Corollary 5.4): $\text{End}(E_F) = \mathbb{Z}$인 $F$ 위의 타원 곡선 $E$에 대하여, 모든 $n \ge 1$에 대해 $H^1_f(F, \text{ad } \text{Sym}^n V_p E) = 0$이다.

의의 및 주장
본 논문의 주요 독창성은 잔여 표현 $\text{mod } p$가 아닌 $p$-적 갈로아 표현에 대해서만 조건을 부과한다는 점에 있다고 주장한다. 이는 이전의 "결함 0" 결과들에 제약이 되었던 잔여 표현에 대한 "테일러-와일즈 조건"의 필요성을 제거한다.

저자들은 복합체를 패칭하고 그로부터 발생하는 멱영 커널을 제어하는 방법을 개발함으로써, 코호몰로지 그룹에 상당한 비틀림이 존재하는 "양의 결함" 설정으로 블로흐-카토 소멸 결과의 범위를 확장하여, 양의 결함 설정을 다룰 수 있게 되었다고 명시적으로 밝힌다. 본 연구는 "거대한 이미지" 조건과 일반성(genericity)에 의존하며, 이는 실제(예: 타원 곡선의 세르(Serre)의 열린 이미지 정리)로 검증 가능한 경우가 많은 만큼, 특정 클래스의 표현들에 대한 무조건적인 결과로 제시된다.

본 논문은 블로흐-카토 추측을 일반적인 상황에서 완전히 해결한다고 주장하는 것이 아니라, 셀머 군이 소멸하는 새로운 무조건적 사례들을 확립함으로써 추측의 사례들을 제시하고 갈로아 변형 이론 및 랑글랜즈 프로그램에 대한 추가적인 응용 도구를 제공한다.