[논문 리뷰] Geometric local epsilon factors

Quentin Guignard|arXiv (Cornell University)|2019. 02. 18.

Algebraic Geometry and Number Theory참고 문헌 22인용 수 5

한 줄 요약

이 논문은 잔여체가 완전한 정수환의 양성 등차수 특성 $p \neq \ell$를 갖는 헨젤리안离散가환체 위에서 $Îffi$-adic Galois 표현에 대해 기하학적 국소 $\varepsilon$-인자에 대한 코homological 구성법을 제공한다. 특별히, 특성 $p$를 갖는 완전체 위의 곡선에서 $Îffi$-adic 층의 코homology의 행렬식에 대해 제품 공식을 증명하며, 이는 국소적 인자들이 유일하게 결정되는 축약 조건들(예: 유도 공식, 1차 기하학적 클래스체론과의 호환성)을 포함한다.

ABSTRACT

Inspired by the work of Laumon on $\varepsilon$-factors and by Deligne's $1974$ letter to Serre, we give an explicit cohomological definition of $\varepsilon$-factors for $\ell$-adic Galois representations over henselian discrete valuation fields of positive equicharacteristic $p eq \ell$, with (not necessarily finite) perfect residue fields. These geometric local $\varepsilon$-factors are completely characterized by an explicit list of purely local properties, such as an induction formula and the compatibility with geometric class field theory in rank $1$, and satisfy a product formula for $\ell$-adic sheaves on a curve over a perfect field of characteristic $p$.

연구 동기 및 목표

• 잔여체가 완전한 정수환의 양성 등차수 특성 $p \neq \ell$를 갖는 헨젤리안 이산가환체로 국소 $\varepsilon$-인자의 이론을 확장하여, 유한 잔여체에서의 고전 결과를 일반화한다.
• 편향된 $Îffi$-adic 층과 가브르-카츠 확장법을 이용한 코homological 정의를 통해 기하학적 국소 $\varepsilon$-인자를 명시적으로 구성한다.
• 특성 $p$를 갖는 완전체 위의 곡선에서 $Îffi$-adic 층의 코homology의 행렬식에 대한 제품 공식을 수립하며, 국소 $\varepsilon$-인자를 전반적인 산술 불변량과 연결한다.
• 국소적 조건들(유도 공식, 1차 클래스체론과의 호환성, 천장층에 대한 정규화)로 구성된 순수 국소적 공리 목록을 통해 기하학적 국소 $\varepsilon$-인자를 특성화한다.

제안 방법

• 완전한 잔여체를 갖는 헨젤리안 특성에서, 편향된 $Îffi$-adic 층과 추적 사상의 코homological 공식을 통해 기하학적 국소 $\varepsilon$-인자를 구성한다.
• 유한하게 에테일인 확장에 대해 국소 $\varepsilon$-인자를 층의 코homology의 행렬식과 연결하기 위해 가브르-카츠 확장을 활용한다. 특히, 한 점에서의 분기의 경우를 중심으로 다룬다.
• 유한하게 에테일인 확장에 대해 $Îffi$-adic 층의 유도 공식을 유도하기 위해, verlagerung 사상과 도전도 수식을 사용한다.
• 1차 기하학적 클래스체론을 적용하여, 1차 층의 경우에 $\varepsilon$-인자가 알려진 상호법칙과 호환됨을 검증한다.
• 기하학적 클래스체론의 1차 적용을 통해, 기하학적 국소 $\varepsilon$-인자가 알려진 상호법칙과 일치함을 보장한다.
• 기하학적 국소 $\varepsilon$-인자를 $\mathbb{P}^1$의 경우로 감소시키며, $0$과 $\infty$에서 분기가 집중된 경우를 다루고, 유한한 사상들을 통해 $\mathbb{A}^1 \setminus \{0\}$ 위의 국소계층으로 환원한다.
• 편향된 층 이론, 딱성 이론, 푸리에 변환 이론의 결과를 조합하여, 각 점에서의 $\varepsilon$-인자의 명시적 계산을 통해 전반적인 제품 공식을 증명한다.

실험 결과

연구 질문

• RQ1 잔여체가 완전한 등차수 특성 분야 위의 헨젤리안 이산가환체에서, 고전 이론을 유한 잔여체에서 일반화하여, $Îffi$-adic Galois 표현에 대해 국소 $\varepsilon$-인자를 명시적으로 정의할 수 있는가?
• RQ2 이 일반화된 설정에서 기하학적 국소 $\varepsilon$-인자를 유일하게 결정하는 순수 국소 공리 목록은 무엇이며, 특히 유도 공식과 클래스체론과의 호환성은 어떻게 작용하는가?
• RQ3 특성 $p$를 갖는 완전체 위의 곡선에서 $Îffi$-adic 층의 코homology의 행렬식에 대해 전반적인 제품 공식이 성립하는가? 이 경우 국소 $\varepsilon$-인자는 국소 기여로 작용하는가?
• RQ4 $\varepsilon$-인자를 코homological 불변량(예: 점에서의 층의 푸리에 변환의 행렬식)으로 명시적으로 계산할 수 있는가?
• RQ5 유한하게 에테일인 사상에 대해 $\varepsilon$-인자는 어떻게 행동하는가? 그리고 verlagerung 사상은 유도 공식에서 어떤 역할을 하는가?

주요 결과

• 기하학적 국소 $\varepsilon$-인자는 점에서의 층의 푸리에 변환의 행렬식을 포함하는 코homological 공식을 통해 명시적으로 구성되며, $\mathbb{Q}_\ell$의 유한 확대에 값이 있는 연속적인 갈로아 문자로 나타난다.
• 유한하게 에테일인 확장에 대해 $\varepsilon$-인자는 verlagerung 사상, 도전도, 그리고 확장의 서명을 포함하는 정확한 유도 공식을 만족한다.
• 1차 층의 경우, $\varepsilon$-인자는 기하학적 클래스체론에서 유래한 고전적 국소 $\varepsilon$-인자와 일치하며, 알려진 상호법칙과의 호환성을 보장한다.
• 곡선 위의 $Îffi$-adic 층에 대해 코homology의 행렬식에 대한 제품 공식은 $\varepsilon_{\overline{k}}(X,\mathcal{F}) = \chi_{\mathrm{cyc}}^{-\mathrm{rk}(\mathcal{F})} \varepsilon_{\overline{k}}(\mathbb{A}_{(0)},\mathcal{F},dt) \varepsilon_{\overline{k}}(\mathbb{P}_{(\infty)},\mathcal{F},dt)$ 로 기술되며, 이는 최대 한 점에서 분기가 있는 층에 대해 유효하다.
• $\infty$에서의 $\varepsilon$-인자는 공식 $\langle \chi_{\det(\mathrm{F}_{\psi}^{(\infty,0^\prime)}(\mathcal{F}_{|\mathbb{P}_{(\infty)}}))} \rangle(t')^{-1} = \chi_{\mathrm{cyc}}^{-\mathrm{rk}(\mathcal{F})} \varepsilon_{\overline{k}}(\mathbb{P}_{(\infty)},\mathcal{F},dt)$ 를 통해 무한대에서의 푸리에 변환의 행렬식의 역과 관련되어 있음을 보였다.
• 전반적인 제품 공식은 $\mathbb{P}^1$에서 $0$과 $\infty$에서 분기가 집중된 경우로 감소되며, 코homology 딱성 이론, 편향된 층 이론, 푸리에 변환의 성질을 조합하여 증명되었다.