기술 요약: $GSp(4)$에 관한 블록-카토(Bloch–Kato) 추측에 대하여

1. 문제 제기 및 배경

본 논문은 종수(genus) 2인 시겔 모듈러 형식(Siegel modular form)의 스핀 모티브(spin motive)에 부착된 오일러 시스템(Euler system)에 관한 명시적 상호성 법칙(explicit reciprocity law)을 다룬다. 저자인 데이비드 레플러(David Loeffler)와 사라 리비아 제르베스(Sarah Livia Zerbes)는 $GSp_4/\mathbb{Q}$의 오토모픽 표현 $\Pi$로부터 발생하는 4차원 $p$-진 스핀 갈루아 표현($V_\Pi$)에 대해 오일러 시스템을 구축했던 자신들의 이전 연구 [LSZ22] 및 [LZ24]를 바탕으로 한다.

[LSZ22]에서 오일러 시스템의 구축은 해당 시스템이 $p$에서의 오일러 시스템 클래스의 국소화(localization)를 $L$-함수의 임계값(critical values)과 연관시키는 명시적 상호성 법칙을 만족한다는 가정하에 이루어졌다. 이러한 법칙이 없다면, 오일러 시스템 전체가 0일 가능성을 배제할 수 없으므로 산술적 응용에 한계가 있었다.

본 논문의 주된 목표는 이 누락된 명시적 상호성 법칙을 증명하는 것이다. 구체적으로, 저자들은 코호몰로지 클래스 $z[\Pi,q,r]_{can}(\chi)$의 블록-카토 로그 맵(Bloch–Kato logarithm map) 하에서의 이미지를 $p$-진 스핀 $L$-함수의 비임계값(non-critical value)으로 표현하는 것을 목표로 한다.

2. 방법론 및 전략

명시적 상호성 법칙(정리 A)의 증명은 에탈 코호몰로지(étale cohomology), 리지드 코호몰로지(rigid cohomology), 그리고 코히어런트 코호몰로지(coherent cohomology)를 연결하는 다단계 전략을 통해 달성된다. 이 전략은 다섯 가지 주요 단계로 구성된다.

1단계: 유한 다항식 코호몰로지에서의 쌍선형 결합으로의 환원

저자들은 먼저 블록-카토 로그를 네코바르-니지올(Nekovář–Niezioł) 유한 다항식(finite-polynomial, fp) 코호몰로지에서의 쌍선형 결합(pairing)으로 표현한다. 레마-플라흐(Lemma–Flach) 클래스의 공변성(equivariance) 성질을 사용하여, 문제를 특정 유형의 테스트 데이터("Klingen-type")로 환원한다. 상호성 법칙의 좌변은 신토믹(syntomic) $GL_2 \times GL_2$ 아이젠슈타인 클래스의 푸시포워드(pushforward)와 de Rham 코호몰로지 클래스 $\eta_{dR}$의 네코바르-니지올 fp-코호몰로지로의 리프팅 사이의 컵 곱(cup-product)으로 재정의된다.

2단계: 곱셈-보통(Multiplicative-Ordinary) 로커스로의 환원

계산을 명시적으로 만들기 위해, 저자들은 네코바르-니지올 코호몰로지를 베서(Besser)의 리지드 신토믹 코호몰로지로 대체한다. 핵심적인 기술적 혁신은 **부분 컴팩트 지지(partial compact support)**를 갖는 코호몰로지를 도입한 것이다. 이를 통해 저자들은 특수 파이버(special fiber)가 매끄러운(smooth) 심라 다양체의 "곱셈-보통" 로커스($Y^m_{G,Kl}$)로 계산을 제한할 수 있다. 이 단계는 전체 심라 다양체 상에서 전역적인 프로베니우스 리프팅(Frobenius lifting)이 존재하지 않는 문제를 해결하며, 적절한 지지 조건을 가진 보통 로커스의 코호몰로지 내에서 작업함으로써 이를 우회한다.

3단계: 코히어런트 코호몰로지로의 환원

리지드 신토믹 코호몰로지에서의 쌍선형 결합은 코히어런트 코호몰로지에서의 쌍선형 결합으로 더욱 축소된다. 이는 두 가지 새로운 요소에 의존한다:

1. 부분 컴팩트 지지 이론: 섹션 14에서 개발된 것으로, 일부 경계 스트라타(boundary strata)를 향해서는 컴팩트 지지를 갖지만 다른 쪽은 그렇지 않은 코호몰로지를 다루는 형식론이다.
2. 포즈난(Poznań) 스펙트럴 시퀀스: 신토믹(또는 유한 다항식) 코호몰로지를 코히어런트 코호몰로지 상의 프로베니우스 다항식의 매핑 파이버(mapping fiber)와 연결하는 새로운 스펙트럴 시퀀스(명제 18.4.3)이다. 이는 프롤리셰르(Frölicher) 스펙트럴 시퀀스의 신토믹 유사체 역할을 한다.

이 단계는 레귤레이터(regulator)를 필로니(Pilloni)의 고차 히다 이론(higher Hida theory)에서 연구된 코히어런트 코호몰로지 클래스들과 연결한다.

4단계: 레귤레이터 계산

저자들은 코히어런트 코호몰로지에서의 결과적인 쌍선형 결합을 계산한다. 이들은 $GSp_4$와 $GL_2 \times GL_1 GL_2$ 사이의 헤케 연산자(Hecke operators) 관계를 활용하여 식을 단순화한다. 계산 과정은 레귤레이터를 두 항 $L_1$과 $L_2$의 선형 결합으로 환원하며, 이들은 $p$-진 측도(measure)의 특수값들이다.

• 국소 제타 적분(local zeta-integral) 계산을 통해 $L_2$가 항등적으로 0임을 보인다.
• $L_1$이 [LP+21]에서 구축된 $p$-진 $L$-함수의 비임계값에 대응함을 입증한다.

5단계: 임계값으로의 변형 (정리 B)

더 강력한 정리 B(사이클로토믹 트위스트에 대한 오일러 시스템을 확립하는 것)를 도출하기 위해, 저자들은 $p$-진 패밀리(families)를 사용한다. 가중치(weights)가 변하는 "Siegel-type" 히다 패밀리를 고려한다.

• "모티브적(motivic)" $p$-진 $L$-함수(페린-리우 레귤레이터에 의해 오일러 시스템으로부터 유도됨)와 $GL_4$로의 함수적 전이(functorial transfer)를 통해 구축된 "해석적(analytic)" $p$-진 $L$-함수([BD+25]의 결과 사용)를 비교한다.
• 두 함수의 비율이 (마주르와 루빈의 오일러 시스템 및 "큰 이미지(big image)" 조건에 관한 결과들을 이용한 모순 증명을 통해) 0이 될 수 없는 스칼라임을 보임으로써, 오일러 시스템 클래스가 0이 아니며 그 레귤레이터가 정확히 $p$-진 $L$-함수임을 증명한다.

3. 주요 기여 및 기술적 혁신

• 명시적 상호성 법칙: 본 논문은 스핀 모티브의 오일러 시스템 클래스를 $p$-진 $L$-값에 연결하는 명시적 상호성 법칙에 대한 최초의 증명을 제공한다.
• 부분 컴팩트 지지: 리지드 및 코히어런트 코호뮬로지의 부분 컴팩트 지지 이론 개발(섹션 14)은 (보통 로커스와 같은) 매끄러운 열린 부분 다양체를 격리하면서 경계 거동을 제어함으로써, 비-콤팩트, 비-매끄러운 스킴 상에서의 계산을 가능하게 한다.
• 포즈난 스펙트럴 시퀀스: 신토믹 코호몰로지를 코히어런트 코호몰로지와 연결하는 스펙트럴 시퀀스(명제 18.4.3)를 도입하여, 차수가 0인 코히어런트 코호몰로리만으로는 불충분한 환경에서 레귤레이터를 계산하는 새로운 도구를 제공한다.
• $p$-진 $L$-함수의 비교: "코히어런트" $p$-진 $L$-함수(고차 히다 이론을 통해 구축됨)와 "베티(Betti)" $p$-진 $L$-함수($GL_4$로의 함수적 전이를 통해 구축됨) 사이의 가교를 구축하고, 이들이 서로 비례함을 증명한다.

4. 주요 결과

정리 A (명시적 상호성 법칙)

$p$에서 킬링-보통(Klingen-ordinary)이며 $r_1 - r_2 \ge 3$인 비-엔도스코픽(non-endoscopic), 비-CAP, 전역적 제네릭(globally generic) 오토모픽 표현 $\Pi$에 대하여, 블록-카토 로그 하에서의 코호몰로지 클래스 $z[\Pi,q,r]_{can}(\chi)$의 이미지는 다음과 같다:
$$\langle \nu_{dR}, \log_{BK} z[\Pi,q,r]_{can}(\chi) \rangle = (\star) \times L_{p,\nu}(\Pi, \chi; -1-r_2+q, r)$$
여기서 $(\star)$는 명시적인 0이 아닌 인자이며, $L_{p,\nu}$는 [LP+21]의 2변수 스핀 $p$-진 $L$-함수이다.

정리 B (오일러 시스템 및 페린-리우 레귤레이터)

더 강한 가설(Borel-ordinary, 레벨 1, $r_1 - r_2 \ge 6$, 그리고 "큰 이미지" 조건) 하에서, $V_\Pi^*(-1-r_2)$에 대한 오일러 시스템이 존재하며, 페린-리우 사이클로토믹 레귤레이터 맵 하에서의 이미지는 단일 변수 $p$-진 $L$-함수 $L_p(\Pi, j)$이다.

정리 C (이와사와 주 추측)

정리 B의 조건들을 가정할 때, 모듈 $\tilde{H}^2_{Iw}(\mathbb{Q}(\mu_{p^\infty}), V)$는 이와사와 대수 위에서 틔션(torsion)이며, 그 특성 아이디얼(characteristic ideal)은 $p$-진 $L$-함수 $L_p(\Pi, j)$를 나눈다. 이는 이 모티브들에 대한 이와사와 주 추측의 한 방향 포함 관계를 확립한다.

정리 D (블록-카토 추측)

정리 B의 조건들을 가정할 때, 만약 복소 $L$-값 $L(\Pi \otimes \rho, \frac{1-r_1+r_2}{2} + j) \neq 0$ (유한 차수 캐릭터 $\rho$에 대하여) 이면, 셀머 그룹 $H^1_f(\mathbb{Q}, V(-j-\rho))$는 0이다. 이는 해석적 랭크 0에서의 임계 트위스트들에 대해 블록-카토 추측을 증명한다.

5. 의의 및 범위

본 논문은 오일러 시스템 기계론을 활성화하는 데 필요한 명시적 상호성 법칙을 증명함으로써, 시겔 모듈러 형식의 산술에 있어 결정적인 간극을 해결했다고 주장한다. 본 연구의 결과는 다음과 같은 점에서 중요하다:

• 이와사와 이론: $GSp_4$의 스핀 모티브에 대한 이와사와 주 추측의 첫 번째 나눗셈(divisibility) 결과를 제공한다.
• 블록-카토 추측: 이 표현들의 해석적 랭크 0 트위스트들에 대해 블록-카토 추측을 증명한다.
• 방법론: 특히 부분 컴팩트 지지와 포즈난 스펙트럴 시퀀스의 사용과 같은 개발된 기술들은, 오일러 시스템은 존재하지만 $L$-값을 차수가 0인 코히어런트 코호몰로리만으로 표현할 수 없는 다른 경우들(예: 힐베르트 모듈러 형식의 Asai 표현)에도 적용 가능하도록 제시되었다.

저자들은 단순화된 가설(레벨 1, 높은 정규성)이 주로 논의를 간결하게 유지하기 위해 부과되었음을 언급한다. 핵심적인 레귤레이터 공식(정리 A)은 완만한 가중치 조건($r_1 - r_2 \ge 3$) 하에서 임의의 레벨에 대해 증명되었다. 이러한 조건을 완화하고 다른 군 및 모티브에 방법을 적용하는 후속 연구가 기대된다.