기술 요약: $\mu$-ordinary Igusa 다양체 상의 $p$-아딕 Maass–Shimura 연산자

1. 문제 제기

본 논문은 Hodge 타입 Shimura 다양체 상의 대수적 Maass–Shimura 미분 연산자를 $p$-아딕적으로 보간(interpolation)하는 문제를 다룬다. 고전적인 Maass–Shimura 연산자는 거의 홀로모픽(nearly holomorphic) 오토모픽 형식(automorphic forms)에 작용하며 $L$-함수의 특수값 연구에 매우 중요하지만, 이들의 $p$-아딕적 보간은 역사적으로 제한적이었다. 이전의 구성들(예: Eischen–Fintzen–Mantovan–Varma 및 Eischen–Mantovan)은 유니터리 Shimura 다양체와 같은 특정 사례에서 이러한 연산자들을 성공적으로 보간하였으나, 종종 명시적인 좌표 기술(Serre–Tate 좌표)에 의존하였고, 특정 미분 연산자 부분 대수나 특정 로커스(ordinary locus)로 국한되었다.

저자들은 이러한 구성을 일반적인 Hodge 타입 Shimura 다양체의 $\mu$-ordinary 로커스로 일반화하는 것을 목표로 한다. 구체적으로 다음을 추구한다:

1. $\mu$-ordinary Igusa 다양체 상의 이러한 연산자들을 위한 체계적이고 좌표 불변적인(coordinate-free) 프레임워크를 구축한다.
2. 계수 1인 미분 연산자의 작용을 명시적인 형식군(formal group)의 작용으로 통합한다.
3. $p$-아딕 푸리에 이론을 사용하여 이 작용을 듀얼 $p$-분할 군(dual $p$-divisible group)의 Tate module 상의 함수 대수로 확장함으로써, 완전한 $p$-아딕 보간을 달성한다.
4. 이러한 미분 연산자와 $p$-아딕 Hecke 연산자 사이의 관계를 명확히 한다.

2. 방법론

저자들은 Shimura 다양체의 정수 모델(integral models), 결정적 Dieudonné 이론(crystalline Dieudonné theory), 그리고 $p$-아딕 푸리에 이론의 합성을 활용한다.

2.1. 기하학적 설정 및 정규 토르서(Canonical Torsors)

• 정수 모델: 저자들은 반사체(reflex field)의 정수 환 위에서 Hodge 타입 $(G, X)$인 Shimura 다양체의 정규 정수 모델 $S_K$를 다룬다.
• 정규 토르서 ($P_{dR}$): 저자들은 $P_{\mu^{-1}}$가 Hodge 코캐릭터 $\mu$의 역에 대응하는 파라볼릭 부분군일 때, $S_K$ 위의 정규 $P_{\mu^{-1}}$-토르서 $P_{dR}$를 활용한다. 거의 홀로모픽 오토모픽 형식의 공간인 대수적 $p$-정수 형태는 전역 단면 $\mathcal{O}(P_{dR})$와 동일시된다.
• 평행화(Parallelization): 핵심적인 기술적 혁신은 Gauss–Manin 연결을 사용하여 접다발(tangent bundle) $T P_{dR}$를 정규로 평행화하는 것이다. 이는 동형 사상 $T P_{dR} \cong \mathfrak{g} \otimes \mathcal{O}_{P_{dR}}$을 제공하며, 여기서 $\mathfrak{g}$는 $G$의 Lie 대수이다. 이를 통해 Lie 대수 $\mathfrak{u}_\mu$(반대 파라볼릭의 유니포텐트 근식의 Lie 대수)가 대수적 Maass–Shimura 연산자로서 $\mathcal{O}(P_{dR})$ 상에 작용할 수 있게 한다.

2.2. Igusa 다양체 및 형식군

• $\mu$-Ordinary 로커스: 저자들은 뉴턴 다각형이 최소인 $\mu$-ordinary 로커스에 집중한다. 이들은 $M_\mu(\mathbb{Z}_p)$($\mu$의 중심화 그룹)에 대한 pro-étale 토르서인 Mantovan Igusa 다양체 $Ig_M$을 고려한다.
• $H$의 구성: $\mu$-ordinary $p$-분할 군의 정규 리프트(canonical lift)의 자기 동형 군을 분석함으로써, 저자들은 기저 위에 명시적인 $p$-분할 형식군 $H$를 구성한다. $H$의 Lie 대수는 유니포텐트 Lie 대수의 $N$-불변량인 $\mathfrak{u}_\mu^N$ ($\text{여기서 } N = M_\mu \cap U_\mu$)과 동일시된다.
• 통합: 저자들은 $\mathfrak{u}_\mu^N$의 Lie 대장이 $p$-아딕 오토모픽 형식의 공간 $\mathcal{O}(Ig_M)$ 상의 작용을 적분하여 형식군 $H$ 자체의 작용으로 이어진다는 것을 증명한다.

2.3. $p$-아딕 푸리에 이론

• 듀얼 작용: [27]에서 개발된 정수 $p$-아딕 푸리에 이론을 사용하여, 형식군 $H$의 작용은 Serre 듀얼의 Tate module 상의 함수 대수인 $\mathcal{O}(T_p H^\vee)$의 작용으로 듀얼화된다.
• 국소 해석적 함수: 제너릭 파이버(generic fiber)로 넘어가고 $p$를 역원으로 취함으로써, 이 작용을 국소 해석적 함수의 대수로 기술한다. 저자들은 $E'$-유리 대수 $\mathbb{Z}_p(1)$의 트라이비얼라이제이션(trivialization) 선택에 의존하는 주기 오토모피즘(period automorphism) $\Omega_\zeta$를 도입하여, 대수적 연산자를 이 해석적 함수들과 연결한다.

3. 주요 기여 및 결과

3.1. 주요 정리

• 정리 A (형식군 작용): $\mathfrak{u}_\mu^N$과 동형인 $M_\mu(\mathbb{Z}_p)$-공변 Lie 대수를 갖는 명시적인 $p$-분할 형식군 $H$가 존재한다. 이 군은 Mantovan Igusa 다양체 $Ig_M$ 상에 작용하며, 이 작용의 미분은 대수적 Maass–Shimura 연산자를 회복한다.
• 따름정리 1.2.7 (정수적 보간): 대칭 대수 $\text{Sym}(\mathfrak{u}_\mu^N)$의 작용은 $\mathcal{O}(Ig_M)$ 상의 연속적인 작용인 $\mathcal{O}(T_p H^\vee)$의 작용으로 확장된다. 이는 미분 연산자의 $p$-아딕적 보간을 제공한다.
• 따름정리 1.2.11 (국소 해석적 보간): $p$를 역원으로 취하면, 이 작용은 $\gamma$-국소 해석적 함수들의 대수인 $\mathcal{O}_{\gamma\text{-la}}(u_{\mu,0}^*, C)$로 확장된다. 이는 이전의 결과들을 $\mu$-ordinary 경우와 고차원 케이스로 일반화한다.
• 정리 B (근사 과잉 수렴성): Ordinary 케이스($E = \mathbb{Q}_p$)에서, 이 작용은 근사 과잉 수렴(nearly overconvergent) 오토모픽 형식의 공간으로 확장되며, 이는 Andreatta–Iovita–Stevens 등의 결과를 일반화한다.
• 정리 C (Hecke 연산자와의 관계): 본 논문은 미분 연산자 작용과 Hecke 작용 사이의 정밀한 호환성을 확립한다. 구체적으로, Tate module 상의 국소 상수 함수들의 부분 대수의 작용은 Hecke 대수 $C[U_{\mu,0}(\mathbb{Q}_p)/U_{\mu,0}(\mathbb{Z}_p)]$의 작용과 정확히 일치한다. 이는 미분 작용과 Hecke 작용을 단일한 대수적 프레임워크 내로 통합한다.

3.2. 기술적 혁신

• 좌표 불변적 구성: Serre–Tate 좌표에 의존했던 이전 연구들과 달리, 본 논문은 Gauss–Manin 연결을 통한 $P_{dR}$의 접다발 평행화를 사용한다. 이는 이론을 단순화하고 연산자의 합성을 투명하게 만든다.
• $\mu$-Ordinary로의 일반화: 이 구성은 $\mu$-ordinary 로커스에서 작동하며, 이는 비-PEL 또는 비-분할(non-split) 케이스에서 ordinary 로커스보다 엄격히 더 큰 영역이다. 또한 유니포텐트 근식이 비가환(non-abelian)인 경우도 처리한다.
• 주기 오토모피즘: 주기 오토모피즘 $\Omega_\zeta$의 도입은 $E'$-유리 Maass–Shimura 연산자와 $p$-아딕 보간 사이를 정밀하게 매칭시켜, Hodge 여과와 slope 여과 사이의 차이를 교정한다.

4. 의의 및 주장

저자들은 자신들의 결과가 다음과 같은 역할을 한다고 주장한다:

1. 일반적인 Hodge 타입 Shimura 다양체의 $\mu$-ordinary 설정을 향해 기존의 $p$-아딕 Maass–Shimura 연산자 구성을 최적으로 확장한다.
2. 미분 연산자와 Hecke 연산자 사이의 관계를 명확히 하여, 이들이 단일한 국소 해석적 함수 대수의 작용을 통해 서로 얽혀 있음을 보여준다.
3. 자신들의 일반적인 프레임워크의 특수 사례로서 알려진 결과들(ordinary 케이스 및 유니터리 Shimura 다양성에 관한 결과 등)을 회복한다.
4. $p$-아딕 $L$-함수 구축을 위한 기초를 제공한다. 미분 연산자를 보간함으로써, 저자들은 $\mu$-ordinary 로커스가 ordinary 로커스가 아닌 환경에서도 $p$-아딕 $L$-함수를 구축할 수 있는 경로를 제시하며, 이는 기존 구성에서의 test vector 선택 문제를 명확히 할 가능성을 열어준다.

본 논문은 모든 케이스에 대해 근사 과잉 수렴 결과(정리 B)의 $\mu$-ordinary 일반화를 증명하지는 않지만, 이에 대한 낙관적인 추측(Conjecture 6.4.2)을 공식화하고 있음을 명시한다. 이 연구는 즉각적인 계산 도구보다는 체계적인 이론적 발전으로서 제시되었으며, 오토모픽 형식, 미분 연산자, 그리고 $p$-아딕 해석학 사이의 구조적 통합을 강조한다.