[논문 리뷰] On Families of Pure Slope $L$-Functions

Elmar Große-Klönne|arXiv (Cornell University)|2014. 08. 14.

Algebraic Geometry and Number Theory참고 문헌 14인용 수 6

한 줄 요약

이 논문은 $p$-진 해석적 공간 위의 순 기울기 $\sigma$-모듈러와 관련된 $L$-함수의 유리형 연장성을 확립하며, Wan의 Dwork 추측의 증명을 일반화한다. $K$-리지드 해석적 무게 공간 $\mathcal{W}$를 구성하고 핵심 $\sigma$-모듈러의 그로텐디크 군에서의 기울기 분해를 증명함으로써, 저자들은 $L$-함수 $L(T,\kappa)$가 $\mathbb{A}^1_{\mathbb{C}_p} \times \mathcal{W}$ 위에서 유리형임을 보인다. 이는 이전의 단위 근 $L$-함수 결과를 확장한다.

ABSTRACT

Let $R$ be the ring of integers in a finite extension $K$ of $\mathbb{Q}_p$, let $k$ be its residue field and let $χ:π_1(X) o R^{ imes}=GL_{1}(R)$ be a "geometric" rank one representation of the arithmetic fundamental group of a smooth affine $k$-scheme $X$. We show that the locally $K$-analytic characters $κ:R^{ imes} o\mathbb{C}_p^{ imes}$ are the $\mathbb{C}_p$-valued points of a $K$-rigid space ${\cal W}$ and that $$L(κ\circχ,T)=\prod_{\overline{x}\in X}\frac{1}{1-(κ\circχ)(Frob_{\overline{x}})T^{°(\overline{x})}},$$viewed as a two variable function in $T$ and $κ$, is meromorphic on $\mathbb{A}_{\mathbb{C}_p}^1 imes{\cal W}$. On the way we prove, based on a construction of Wan, a slope decomposition for ordinary overconvergent (finite rank) $σ$-modules, in the Grothendieck group of nuclear $σ$-modules.

연구 동기 및 목표

• Wan의 $p$-진 유리형 연장에 대한 단위 근 $L$-함수에 대한 Dwork 추측의 증명을 고차원 및 순 기울기 $L$-함수로 일반화한다.
• 유한 확장 $K$의 $p$-진 체에서의 정수환 $R$에 대해, 국소적으로 $K$-해석적 특성 $\kappa: R^\times \to \mathbb{C}_p^\times$를 매개변수로 하는 $K$-리지드 해석적 공간 $\mathcal{W}$를 구성한다.
• 일반적인 초수렴성 $\sigma$-모듈러에 대해 핵심 $\sigma$-모듈러의 그로텐디크 군에서의 기울기 분해를 확립한다.
• $L$-함수 $L(T,\kappa) = \prod_{\overline{x} \in X} \frac{1}{1 - (\kappa \circ \chi)(\mathrm{Frob}_{\overline{x}}) T^{\deg(\overline{x})}}$가 $\mathbb{A}^1_{\mathbb{C}_p} \times \mathcal{W}$ 위에서 유리형임을 보인다.

제안 방법

• 유한 확장 $K$의 $p$-진 체에서의 정수환 $R$에 대해, 국소적으로 $K$-해석적 특성 $\kappa: R^\times \to \mathbb{C}_p^\times$를 매개변수로 하는 $K$-리지드 해석적 공간 $\mathcal{W}$를 구성한다. 여기서 $K$는 $\mathbb{Q}_p$의 유한 확장이다.
• 스무스 아핀 $k$-스킴 $X$를 올리는 약한 형식적 $R$-대수 $A$의 $p$-진 완비화 $\widehat{A}$ 위에서, 프로베니우스의 상승 $\sigma$를 갖는 $\sigma$-모듈러에 Wan의 극한 모듈러 구성법을 적용한다.
• 일반적인 초수렴성 $\sigma$-모듈러에 대해, 그 그로텐디크 군 $\Delta(\widehat{A})$에 속하는 그들의 동치류를 기울기에 따라 인덱싱된 핵심 초수렴성 행렬 $\mathcal{C}_r$의 수렴 급수로 표현함으로써, 허드지-뉴턴 기울기 분해를 증명한다.
• 트레이스 공식과 $\sigma$-모듈러의 대칭성을 이용하여, $L$-함수를 $\sigma$-모듈러의 섬세한 섹션에서 프로베니우스의 특성다항식과 연결한다. 공식은 $\underline{H}(T,\iota(y)) = L(\xi^t \mu^s \mu^y, T)$ 로 표현된다.
• 필터링 수준에 대한 귀납법을 활용하여 $\sigma$-모듈러의 등급 부분을 단위 근 및 고차 기울기 성분으로 분해하며, Wan과 Coleman의 $\sigma$-모듈러 이론 결과를 활용한다.
• Coleman의 함수적 성질 결과를 적용하여 극한 모듈러를 $\mathcal{W}$ 위에서 리지드 해석적으로 변형함으로써, $L$-함수의 균일한 유리형 행동을 보장한다.

실험 결과

연구 질문

• RQ1 순 기울기 $\sigma$-모듈러와 관련된 $L$-함수에 대해, 단위 근 $L$-함수의 $p$-진 유리형 연장이 고차원 및 순 기울기 $L$-함수로 확장될 수 있는가?
• RQ2 국소적으로 $K$-해석적 특성 $\kappa$를 매개변수로 하는 $K$-리지드 해석적 공간 $\mathcal{W}$가 존재하여, $L$-함수 $L(T,\kappa)$가 $\mathcal{W}$ 위에서 유리형으로 변할 수 있는가?
• RQ3 일반적인 초수렴성 $\sigma$-모듈러에 대해 핵심 $\sigma$-모듈러의 그로텐디크 군에서 기울기 분해가 존재하는가?
• RQ4 랭크 1 표현 $\chi: \pi_1(X) \to R^\times$와 관련된 $L$-함수가, $\kappa$가 $\mathcal{W}$를 따라 변할 때 $T$와 $\kappa$ 양쪽 모두에서 유리형임을 보일 수 있는가?

주요 결과

• $L$-함수 $L(T,\kappa) = \prod_{\overline{x} \in X} \frac{1}{1 - (\kappa \circ \chi)(\mathrm{Frob}_{\overline{x}}) T^{\deg(\overline{x})}}$ 는 $\mathbb{A}^1_{\mathbb{C}_p} \times \mathcal{W}$ 위에서 유리형이며, 여기서 $\mathcal{W}$는 국소적으로 $K$-해석적 특성 $\kappa: R^\times \to \mathbb{C}_p^\times$의 $K$-리지드 해석적 공간이다.
• $\mathcal{W}$는 $R^\times$ 위의 국소적으로 $K$-해석적 함수의 링의 리지드 해석적 스펙트럼으로 구성되며, $\kappa$에 대한 기하학적 매개변수 공간을 제공한다.
• 그로텐디크 군 $\Delta(\widehat{A})$에서 허드지-뉴턴 기울기 분해가 확립되었으며, 일반적인 초수렴성 $\sigma$-모듈러의 등급 부분의 동치류를 핵심 초수렴성 행렬 $\mathcal{C}_r$로 이루어진 수렴 급수 $[\mathcal{M}] = \sum_{r \geq 1} \pm [\mathcal{C}_r]$ 로 표현한다.
• $L(T,\kappa)$의 유리형 연장은 기울기 분해와 트레이스 공식에 의해 유도되며, 이는 $L$-함수를 $\sigma$-모듈러의 섬세한 섹션에서 프로베니우스의 특성다항식과 연결한다.
• $\kappa$를 특별화하여 $r \mapsto r^k$로 설정하면, 순 기울기 $p$-진 $L$-함수에 대한 Wan의 결과, 즉 $L$-함수의 유리형 연장 결과를 회복할 수 있다.
• 이 증명은 Coleman의 함수적 성질 결과에 의존하며, 이는 극한 모듈러를 $\mathcal{W}$ 위에서 리지드 해석적으로 변형할 수 있게 하여 $L$-함수의 균일한 유리형 행동을 보장한다.