Théorie d'Iwasawa des motifs d'Artin et des formes modulaires de poids 1

Alexandre Makoud의 "Artin 모티프의 이와사와 이론과 가중치 1 모듈러 형식"에 관한 기술적 요약

문제 제기
본 논문은 $\mathbb{Q}$ 위의 Artin 모티프에 대한 이와사와 이론, 특히 수체 $E$를 계수로 갖는 기약 Artin 표현 $\rho$에 부착된 Greenberg-Selmer 군의 구조에 초점을 맞춘다. 이 영역의 핵심 과제는 이러한 모티프에 대한 이와사와 이론의 주 추측(Main Conjecture)을 정식화하는 것이다. 총 실수체(totally real fields)의 표현에 부착된 모티프의 경우는 Wiles의 결과에 의해 잘 이해되어 있으나, 일반적인 경우에는 어려움이 존재한다: Artin 모티프는 반드시 임계값(critical values)을 갖는 것은 아니며, 클래식한 Deligne-Ribet의 $p$-아델릭 $L$-함수 구성법을 직접 적용할 수 없기 때문이다.

저자는 $p$-안정화된(p-stabilized) Artin 모티프에 결합된 순환적(cyclotomic) Greenberg-Selmer 군 $X_\infty(\rho, \rho^+)$의 구조를 조사한다. 주요 목표는 다음과 같다:

1. 이 Selmer 군이 이와사와 대수 $\Lambda = \mathcal{O}[[\Gamma]]$ 상의 torsion 모듈임을 확립하는 것인데, 이는 대수적 $p$-아델릭 $L$-함수를 정의하기 위한 전제 조건이다.
2. "자명한 영점(trivial zeros)" 현상을 분석하여, $T=0$에서의 대수적 $L$-함수의 소멸 차수와 국소 불변량의 차원을 연관 짓는 것이다.
3. 이러한 결과들을 가중치 1의 클래식 모듈러 형식으로부터 발생하는 Artin 모티프로 특수화하는 것인데, 이 경우 연관된 오토모픽 표현(automorphic representations)이 코호몰로지적(cohomological)이지 않아 분석적 $p$-아델릭 $L$-함수의 구성을 복잡하게 만든다.

방법론
본 논문은 갈루아 코호몰로지, 계수체론(class field theory), 그리고 Hida family 이론의 결합된 방법을 사용한다.

• 대수적 구조: 저자는 $X_\infty(\rho, \rho^+)$를 갈루아 코호몰로지의 전역-국소 제한 사상(global-to-local restriction map)의 커널에 대한 폰트랴긴 쌍대(Pontryagin dual)로 정의한다. Torsion 성질에 대한 증명은 유한 레벨에서의 Selmer 군 $X_n$의 유한성을 분석함으로써 이루어지며, 이는 인플레이션-레스트릭션 시퀀스(inflation-restriction sequence)를 통해 수행된다. 이는 $H$(여기서 $H$는 $\rho$에 의해 결정되는 체)의 외부에서 ramified되지 않은 최대 프로-$p$ 아벨 확장(maximal pro-$p$ abelian extension)의 갈루아 군을 연구하는 문제로 귀결된다.
• 레귤레이터와 초월성: Selmer 군의 유한성과 대수적 $L$-함수의 비소멸성은 $p$-아델릭 레귤레이터 $R_p(\rho, \rho^+)$의 비소멸성과 연결된다. 이 레귤레이터는 전역 단위(global units)의 $p$-아델릭 로그를 통해 정의된다. 저자는 $p$-아델릭 Schanuel 추측의 약한 형태(또는 ordinary subspace의 차원 $d^+=1$인 경우)를 호출하여, $p$-아델릭 로그들의 선형 독립성을 보장함으로써 레귤레이터가 0이 아님을 증명한다.
• 가중치 1 특수화: 가중치 1 모듈러 형식을 위해 저자는 Hida family를 활용한다. 가중치 1 형식에 대한 직접적인 분석적 $p$-아델릭 $L$-함수 구성은 표준적이지 않으므로(비코호몰로지적 성질 때문에), 저자는 가중치 1 형식 $f_\alpha$로 특수화되는 두 변수 $p$-아델릭 $L$-함수를 갖는 Hida family $f$로부터 분석적 $p$-아델릭 $L$-함수 $L_p^{an}(f_\alpha; T)$를 구성한다. 이는 가중치 1 지점에서의 eigencurve의 매끄러움(smoothness)에 의존한다(Bellaïche-Dimitrov).
• 극한을 통한 가분성(Divisibility): 대수적 $L$-함수와 분석적 $L$-함수를 연관시키기 위해 저자는 극한 논법을 사용한다. 그들은 Hida family 내에서 $f_\alpha$로 $p$-아델릭하게 수렴하는 클래식 가중치 $k \ge 2$ 형식들의 수열 $g_n$을 고려한다. 가중치 $k \ge 2$에 대한 Kato의 $L$-함수 가분성에 관한 정리를 사용하여, 저자는 극한에서의 가분성 관계를 확립함으로써 대수적 $L$-함수가 분석적 $L$-함수를 나눈다는 것을 증명한다.

주요 기여 및 결과

1. Selmer 군의 Torsion (정리 A):
   $d^+=1$이거나 약한 $p$-아델릭 Schanuel 추측이 성립한다는 가정하에, 저자는 $X_\infty(\rho, \rho^+)$가 torsion $\Lambda$-모듈임을 증명한다. 나아가, 체 $H$와 cyclotomic tower의 교집합이 자명하다면, 대수적 $L$-함수 $L_p^{alg}(\rho, \rho^+; T)$는 $\zeta \neq 1$인 루트 오브 유니티(roots of unity) $\zeta-1$에서 소멸하지 않는다.

2. 자명한 영점과 레귤레이터 (정리 B):
   본 논문은 "자명한 영점" 현상을 식별한다. $L_p^{alg}$의 $T=0$에서의 소멸 차수는 적어도 $e(\rho, \rho^+) = \dim_L H^0(\mathbb{Q}_p, V_p^-)$임이 밝혀졌다. 특정 가설(at $p$에서 ramified되지 않음, $p$가 이미지의 차수나 차원을 나누지 않음) 하에서, $e(\rho, \rho^+) = 0$일 때, 대수적 $L$-함수의 상수항은 다음과 같이 명시적으로 주어진다:
   $$L_p^{alg}(\rho, \rho^+; 0) \doteq R_p(\rho, \rho^+) \cdot \frac{p}{\#(Cl_p(H)^\rho)}$$
   여기서 $R_p$는 $p$-아델릭 레귤레이터이고, $Cl_p(H)^\rho$는 $p$-클래스 그룹의 $\rho$-isotypic component이다.

3. 가중치 1 형식에 대한 주 추측 (정리 C):
   가중치 1의 클래식 모듈러 형식 $f$에 대해, 저자는 대수적 $L$-함수 $L_p^{alg}(f_\alpha; T)$와 (Hida family를 통해 구성된) 분석적 $L_p^{an}(f_\alpha; T)$가 $\Lambda$ 내의 단원(unit)에 의해서만 차이가 난다는 주 추측을 정식화한다.

• 결과: 저자는 $L_p^{alg}(f_\alpha; T)$가 $\Lambda \otimes \mathbb{Q}_p$ 내에서 $L_p^{an}(f_\alpha; T)$를 나눈다는 가분성을 증명한다.
• 조건부 동등성: 만약 Hida family 내의 가중치 $k \ge 2$ 형식들에 대해 주 추측이 성립한다면, 가중치 1 특수화에 대해서도 성립함을 보여준다.

의의
본 논문은 임계값이 부재한 상황에서 일반적인 Artin 모티프의 이와사와 이론을 위한 엄밀한 대수적 프레임워크을 제공한다. 저자는 초월 이론의 표준적인 추측들에 의존하여 자명한 영점 이론과 레귤레이터 공식을 이 설정으로 성공적으로 확장하였다.

결정적으로, 이 연구는 가중치 1 모듈러 형식에 대한 대수적 이와사와 이론과 분석적 이와사와 이론 사이의 간극을 메운다. Hida family의 기하학과 가중치 1 지점에서의 eigencurve의 매끄러움을 활용함으로써, 저자는 잘 정의된 분석적 $L$-함수를 구축하고 주 추측이 예측하는 근본적인 가분성을 확립한다. 이 결과는 클래식한 코호몰로지적 구성의 범위를 벗어나는 가중치 1 형식을 순수하게 대수적 및 변형 이론적(deformation-theoretic) 방법론을 사용하여 다룬다는 점에서 중요하다. 본 논문은 주 추측을 무조건적으로 증명한다고 주장하는 것이 아니라, 필요한 구조적 성질과 핵심적인 가분성 방향을 확립함으로써 전체 추측을 알려진 고가중치 케이스로 환원시킨다.