Arithmetic level raising on triple product of Shimura curves and Gross--Kudla--Schoen Diagonal cycles II: Bipartite Euler system

기술적 요약: 심마 곡선의 삼중 곱에 대한 산술적 레벨 상승과 그로스–쿠들라–쇼엔 대각 사이클 II: 이분형 오일러 계

문제 제기
본 논문은 심마 곡선의 삼중 곱 위에 있는 그로스–쿠들라–쇼엔 대각 사이클의 산술적 성질을 조사한다. 주요 목적은 모듈러 형식의 대칭 세제곱 모티브의 맥락에서 이러한 사이클에 대한 "이분형 오일러 계" 구조를 확립하는 것이다. 저자의 이전 연구 [Wang] 에서 첫 번째 상호성 법칙을 검증한 바에 기반하여, 본 논문은 두 번째 상호성 법칙을 증명하는 것을 목표로 한다. 궁극적인 목표는 이러한 상호성 법칙들을 활용하여 대칭 세제곱 모티브에 대한 블로흐–카토 추측의 랭크 1 경우를 위한 증거를 제공하는 것이다.

이 문제는 레벨 상승 합동식을 통해 아벨–자코비 사상 하의 대각 사이클의 이미지와 특정 주기 적분 (그로스–쿠들라 유형) 사이의 관계를 이해하는 것을 포함한다. 엄밀한 의미의 하워드 [How] 가 정의한 이분형 오일러 계를 형성하지는 않지만 (국소 코호몰로지 군의 랭크가 1 이 아닌 3 이기 때문), 전체 삼중 곱 위의 그로스–쿠들라–쇼엔 사이클은 대칭 세제곱 성분으로의 사영이 그러한 계를 형성하는 데 필요한 조건을 만족함을 논문은 보여준다.

방법론
방법론은 산술 기하학, 갈루아 코호몰로지, 그리고 심마 곡선 이론 간의 상호작용에 크게 의존한다.

1. 산술적 레벨 상승: 핵심 기술적 도구는 심마 곡선의 삼중 곱에 대한 비분기 산술적 레벨 상승 정리의 개발이다. 여기에는 $n$-허용 소수 $p$에서 심마 곡선 $X_d$와 그 레벨 상승 대응물 $X_d(p)$의 코호몰로지를 연구하는 것이 포함된다. 저자는 인접 사이클의 무게 스펙트럼 수열과 모노드로미 필터를 사용하여 특수 층의 코호몰로지를 분석한다.
2. 준안정 모델: 좋은 감축 소수에서의 레벨 상승을 처리하기 위해, 논문은 삼중 곱 $X_d(p)^3$에 대한 엄밀한 준안정 모델을 구성한다. 이는 그로스와 쇼엔 [GS] 및 류 [Liu2] 가 제시한 절차에 따라 특이점을 해결하기 위해 특정 스트라타를 따라 삼중 곱을 블로우업하는 것을 포함한다. 특수 층의 기하학은 스트라타의 입방체를 통해 기술되어 모노드로미 필터의 명시적 계산을 가능하게 한다.
3. 상호성 법칙: 논문은 두 가지 구별된 상호성 법칙을 확립한다.
   • 첫 번째 상호성 법칙: 분기 소수 $q$에서의 대각 사이클 클래스의 특이 잔류와 그로스–쿠들라 주기 적분 사이의 관계를 다룬다. 이는 [Wang] 에서 확립되었으며 여기에서 검토된다.
   • 두 번째 상호성 법칙: 비분기 소수 $p$ (특히 그 유한 부분) 에서의 대각 사이클 클래스의 국소화와 동일한 그로스–쿠들라 주기 적분 사이의 관계를 다룬다. 이것이 현재 논문의 주요 새로운 결과이다.
4. 이분형 오일러 계 구성: 두 상호성 법칙을 결합함으로써 저자는 허용 소수 쌍과 관련된 코호몰로지 클래스의 계 $(\Theta_n(f, d), \Theta^{[pq]}_n(f, d))$를 구성한다. 논문은 이러한 클래스가 국소 코호몰로지 군의 랭크에 관해 "약한 의미"로 하더라도, 이분형 오일러 계를 형성하기 위해 필요한 호환성 조건 (상호성 법칙) 을 만족함을 검증한다.
5. 대칭 세제곱 사영: 결과는 삼중 곱이 단일 모듈러 형식 $f$ (즉, $f = (f, f, f)$) 로 형성된 경우로 구체화된다. 저자는 대각 사이클 클래스를 삼중 텐서 곱 표현의 대칭 세제곱 성분인 $V^\diamond(f)(-1)$로 사영한다.

주요 기여 및 결과

• 정리 2 (비분기 레벨 상승): 레벨 $N$에서의 심마 곡선 삼중 곱의 코호몰로지와 ( $p$가 $n$-허용 소수일 때) 레벨 $Np$에서의 코호몰로지의 "새로운 부분" 사이의 동형을 확립한다. 이 동형은 코호몰로지를 심마 집합 위의 함수 공간들의 텐서 곱들의 직합과 관련시킨다.
• 정리 3 (두 번째 상호성 법칙): $n$-허용 소수 $p$에 대해, 대각 사이클 클래스 $\Theta_n(f, d)$의 $p$에서의 국소화가 그로스–쿠들라 주기들과 특정 쌍대 공식식을 만족함을 증명한다. 구체적으로, 국소화된 클래스의 $j$-번째 성분과 함수들의 텐서 곱 사이의 쌍대값은 대각 심마 집합 $\Delta_d(B)$ 위의 이러한 함수들의 곱의 합과 같다.
  $$(\text{loc}^{(j)}_p(\Theta_n(f, d)), \phi_1 \otimes \phi_2 \otimes \phi_3) = \sum_{z \in \Delta_d(B)} \phi_1(z) \otimes \phi_2(z) \otimes \phi_3(z)$$
• 정리 4 (블로흐–카토 추측에 대한 증거): 구성된 이분형 오일러 계를 대칭 세제곱 모티브에 적용한다. 논문은 사영된 대각 사이클 클래스 $\Theta^\diamond(f, d)$가 0 이 아니면, 블로흐–카토 셀머 군 $H^1_f(\mathbb{Q}, V^\diamond(f)(-1))$이 계수 체 위에서 차원 1 을 가진다는 것을 증명한다. 이는 대칭 세제곱 모티브에 대한 블로흐–카토 추측의 랭크 1 경우에 대한 조건부 증명을 제공한다.

의의 및 주장
본 논문은 그로스–쿠들라–쇼엔 대각 사이클을 이분형 오일러 계의 원천으로 하는 하워드의 추측 [How] 에 대한 검증을 완료했다고 주장한다. 전체 삼중 곱 모티브는 랭크 제약으로 인해 엄격한 이분형 오일러 계를 산출하지는 않지만, 대칭 세제곱 성분으로의 제한은 그러한 계를 성공적으로 산출한다.

이 연구의 의의는 다음과 같다:

1. 베르톨리니–다르몬 방법의 확장: 헤그너 점에 대해 원래 개발된 레벨 상승과 상호성 법칙을 통한 오일러 계 구성 방법을 심마 곡선 삼중 곱 위의 대각 사이클의 맥락에 적용한다.
2. 기하학과 $L$-함수의 연결: 상호성 법칙은 사이클의 아벨–자코비 이미지를 통해 $L$-함수의 첫 번째 도함수의 대수적 부분과 그로스–쿠들라 주기를 통해 중심 임계값의 대수적 부분을 연결한다. 이는 그로스–자지어 공식과 베르톨리니–다르몬의 작업을 반영한다.
3. 블로흐–카토에 대한 진전: 결과는 자동형 형식의 산술에서 중요한 미해결 문제인 대칭 세제곱 모티브에 대한 블로흐–카토 추측의 랭크 1 경우에 대한 구체적인 증거를 제공한다.

저자는 방법론이 더 일반적인 삼중 곱 모티브를 처리하고 이바사와 이론적 설정으로 확장하기에 충분히 견고하다고 언급하지만, 이러한 확장은 향후 연구에 남겨두었다. 논문 또한 자신의 결과를 다르몬, 로트거 등이 증명한 $p$-진 상호성 법칙 [DR1, DR2] 에 대한 "레벨 상승" 대응물로 위치시키며, 다른 모티브에 대한 류, 톈, 샤오, 장, 주 [LTX, LTXZZ] 의 병행 발전에 대해 인정한다.