Hirzebruch-Zagier cycles in $p$-adic families and adjoint $L$-values

기술적 요약: p-진 가족 내의 히르체브루흐-자기어 순환과 수반 L-값

문제 제기
본 논문은 힐베르트 모듈러 다양체 위의 특수 순환에 대한 p-진 변이와 관련된 기존 문헌의 고전적 공백을 다룹니다. 헤그너 점과 같은 코호몰로지 클래스의 p-진 변이는 다양한 시마루라 다양체에 대해 광범위하게 연구되어 왔으나, 힐베르트 모듈러 다양체의 특정 사례는 기술적 장애물을 제시합니다. 구체적으로, 이러한 다양체들은 군의 중심이 이미 $\mathbb{Q}$-분해되지 않은 $R$-분해 토러스를 포함하지 않음을 보장하는 밀른의 공리 SV5 를 만족하지 않습니다. 이 장애물은 순환의 p-진 가족을 구성하는 데 사용된 기존 방법들 (예: [Loe21], [LRZ]) 의 직접적인 적용을 방해합니다.

저자들은 이차 확장 $E/F$ (완전 실수 수체) 에 연관된 힐베르트 모듈러 다양체에서 유래한 일반화된 히르체브루흐-자기어 순환의 p-진 가족을 구성하는 것을 목표로 합니다. 이 구성의 주요 응용은 $F$ 위의 히다 가족에 부착된, $E/F$ 의 헤케 캐릭터로 꼬인 다변수 p-진 수반 L-함수의 기하학적 정의입니다.

방법론
저자들은 이와와 이론, 자동형 표현에 대한 기저 변경 이론, 그리고 순환의 명시적 기하학적 구성을 결합하여 사용합니다.

1. SV5 장애물 극복: 저자들은 로플러 [Loe21] 와 로플러 - 로시 - 제르베스 [LRZ] 의 프레임워크를 적응시킵니다. 그들은 힐베르트 모듈러 다양체의 맥락에서 밀른의 공리 SV5 의 가정을 제거할 수 있음을 보여줍니다. 이는 군 $G = \text{Res}_{E/\mathbb{Q}}\text{GL}_2$의 중심과 p-진 타워 내의 레벨 부분군들의 교집합을 신중하게 분석함으로써 달성됩니다. 그들은 $r \in \mathbb{Z}_{\geq 0}^{|\Upsilon_{F,p}|}$로 인덱싱된 특정 레벨 부분군들의 타워 $(V_r)_r$을 구성하는데, 여기서 $\Upsilon_{F,p}$는 $p$ 위의 $F$의 소수들의 집합입니다.
2. 대순환의 구성: $u \in G(\mathbb{Z}_p)$인 원소와 대각선 매장 $\iota: H \hookrightarrow G$ (여기서 $H = \text{Res}_{F/\mathbb{Q}}\text{GL}_2$) 를 포함하는 구면 다양체 논증을 사용하여, 저자들은 유한 레벨에서 히르체브루흐-자기어 순환 $Z^k_r$을 정의합니다. 특정 헤케 연산자 $T_\eta$와 연관된 일반화자 $e^{n.ord}$를 활용함으로써, 그들은 중간 차수 일반화 이와와 코호몰로지 군 $H^{2d}_{\text{Iw}}(Y_G(V_\infty), \mathcal{O})$ 내의 "대 히르체브루흐 - 자기어 클래스" $Z_\infty$의 존재를 증명합니다.
3. 모멘트 사상과 특수화: 저자들은 보편 이와와 클래스 $Z_\infty$를 유한 레벨의 고전적 순환과 연결하는 모멘트 사상 $\text{mom}^k_r$을 정의합니다. 그들은 이와와 코호몰로지의 일반화 부분이 이와와 대수 $\Lambda_{G/H}$ 위의 유한 모듈임을 보여주는 통제 정리를 수립합니다.
4. 기저 변경과 L-함수: 기저 변경 이론 (겟츠 - 고레스키 [GG12]) 을 활용하여, 저자들은 히르체브루흐 - 자기어 순환과 미분형식의 쌍을 아사이 L-함수의 $s=1$에서의 유수와 연관시킵니다. 이 유수는 다시 $F$ 위의 힐베르트 모듈러 형 $f$의 수반 L-함수 $L(\text{Ad}(f) \otimes \eta_{E/F}, 1)$와 연결됩니다.
5. p-진 L-함수의 기하학적 구성: 히다 가족 $f$ (및 그 기저 변경 $f_E$) 와 연관된 특정 멱등원에 대항하여 대 히르체브루흐 - 자기어 클래스를 평가함으로써, 저자들은 p-진 L-함수 $L_p(\text{Ad}(f) \otimes \eta_{E/F})$를 가족의 계수체의 원소로 정의합니다.

주요 기여 및 결과

• 정리 1.1 (대 클래스의 존재): 저자들은 일반화 이와와 코호몰로지에 대 히르체브루흐 - 자기어 클래스 $Z_\infty$의 존재를 증명합니다. 그들은 이 클래스의 가중치 $k$에서의 특수화가 명시적인 오일러 인자까지 헤케 연산자로 꼬인 고전적 히르체브루흐 - 자기어 순환을 산출함을 보여줍니다. 이 결과는 특히 중심이 $\mathbb{Q}$-분해되지 않은 경우를 처리함으로써 힐베르트 모듈러 다양체에 대한 순환의 p-진 가족과 관련된 문헌의 공백을 메웁니다.
• 정리 1.2 (수반 p-진 L-함수의 구성): 본 논문은 $F$ 위의 힐베르트 모듈러 형에 대한 히다 가족 $f$에 대해 다변수 p-진 L-함수 $L_p(\text{Ad}(f) \otimes \eta_{E/F})$를 구성합니다. 이 함수는 $f$가 가족 내에서 변함에 따라 특수 값 $L(\text{Ad}(f) \otimes \eta_{E/F}, 1)$의 대수적 부분을 보간합니다.
• 명시적 보간 공식: 저자들은 고전적 가중치에서 p-진 L-함수에 대한 정확한 보간 공식 (정리 7.8) 을 제공합니다. 이러한 공식은 형태의 국소적 행동 (비분기, 스타인베르크, 또는 분기된 주 계열) 에 따라 $p$에서의 오일러 인자, 가우스 합, 그리고 부분 데데킨트 제타 함수의 유수를 포함합니다.
• 통제 정리: 본 논문은 힐베르트 모듈러 다양체의 이와와 코호몰로지에 대한 통제 정리 (정리 4.34) 를 수립하여, 특정 조건 (비틀림 자유성과 단일 차수로의 집중) 하에서 특수화 사상이 동형사상임을 보장합니다.

의의
본 논문은 두 가지 주요 영역에서 중요성을 주장합니다:

1. 기하학적 구성: 힐베르트 모듈러 형에 대한 수반 p-진 L-함수의 이전 구성들 (예: [Hid90], [Wu01], [Ros16]) 이 종종 L-값을 합동수로 해석하거나 기하학적 순환 가족 없이 해석적 공식을 사용하는 데 의존했던 것과 달리, 본 작업은 기하학적 구성을 제공합니다. 이는 p-진 L-함수를 특정 멱등원 하의 보편 코호몰로지 클래스 (대 히르체브루흐 - 자기어 순환) 의 이미지로 실현합니다. 이는 쿠들라 프로그램 프레임워크를 통해 L-값을 힐베르트 모듈러 다양체의 기하학과 직접 연결합니다.
2. 쿠들라 프로그램의 확장: 이 작업은 힐베르트 모듈러 다양체에 대한 p-진 가족의 설정으로 히르체브루흐 - 자기어 정리와 그로스 - 코흐넨 - 자기어 정리를 일반화합니다. 이는 SV5 공리의 부재에도 불구하고 p-진 변이의 맥락에서 특수 순환과 L-값을 연결하는 깊은 추측들이 성립함을 보여줍니다.

저자들은 그로스 - 코흐넨 - 자기어 정리의 p-진 변이가 대 헤그너 점을 통해 롱고와 니콜 [LN19, LN20] 에 의해 다루어졌지만, 본 논문은 자동형 표현에 대한 상대 이차 기저 변경을 중심 도구로 활용하여 이러한 기법을 힐베르트 모듈러 곡면 및 다양체의 고차원 설정으로 확장한다고 지적합니다. 이 구성은 일반화 경우로 제한되지만, 저자들은 [Roc22] 의 기법들이 향후 작업에서 이러한 결과를 비일반화 상황으로 확장할 수 있음을 시사합니다.