[논문 리뷰] Exodromy

Clark Barwick, Saul Glasman외 1명|arXiv (Cornell University)|2018. 07. 09.

Algebraic Geometry and Number Theory인용 수 6

한 줄 요약

이 논문은 기하적 점의 범주 Gal(𝑋)에 자연스러운 프로피니트 위상을 도입하고, 𝑋를 퀀티콤팩트, 퀀티오퍼세이티드 스킴이라면, Gal(𝑋)의 표현과 프로피니트 링 또는 𝐐̂ℓ의 대수적 확대를 계수로 갖는 구조적 층 사이의 동치를 증명함으로써, 에크소드로미 등가를 도입한다. 주요 기여는, 특성 0인 유한 생성 체 위의 정규 스킴들이 그 Gal(𝑋) 범주와 갈루아 작용에 의해 완전히 결정됨을 보여주는 재구성 정리이며, 고차 토포스 이론과 피크노틱/컨덴스드 체계를 통해 단순화된 모노드로미를 에탈 설정으로 일반화한다.

ABSTRACT

Let $X$ be a quasicompact quasiseparated scheme. Write $\operatorname{Gal}(X)$ for the category whose objects are geometric points of $X$ and whose morphisms are specializations in the étale topology. We define a natural profinite topology on the category $\operatorname{Gal}(X)$ that globalizes the topologies of the absolute Galois groups of the residue fields of the points of $X$. One of the main results of this book is that $\operatorname{Gal}(X)$ variant of MacPherson's exit-path category suitable for the étale topology: we construct an equivalence between representations of $\operatorname{Gal}(X)$ and constructible sheaves on $X$. We show that this 'exodromy equivalence' holds with nonabelian coefficients and with finite abelian coefficients. More generally, by using the pyknotic/condensed formalism, we extend this equivalence to coefficients in the category of modules over profinite rings and algebraic extensions of $\mathbf{Q}_{\ell}$. As an 'exit-path category', the topological category $\operatorname{Gal}(X)$ also gives rise to a new, concrete description of the étale homotopy type of $X$. We also prove a higher categorical form of Hochster Duality, which reconstructs the entire étale topos of a quasicompact and quasiseparated scheme from the topological category $\operatorname{Gal}(X)$. Appealing to Voevodsky's proof of a conjecture of Grothendieck, we prove the following reconstruction theorem for normal varieties over a finitely generated field $k$ of characteristic $0$: the functor $X\mapsto\operatorname{Gal}(X)$ from normal $ k $-varieties to topological categories with an action of $\operatorname{G}_{k}$ and equivariant functors that preserve minimal objects is fully faithful.

연구 동기 및 목표

• 에탈 위상을 사용하여 위상 공간에서의 모노드로미를 스킴로 일반화한다.
• 국소 갈루아 군 위상의 전역화를 가능하게 하는 Gal(𝑋)에 대한 자연스러운 프로피니트 위상을 정의한다.
• 비아벨 및 유한 아벨 계수를 갖는 Gal(𝑋)의 표현과 구조적 층 사이의 에크소드로미 등가를 설정한다.
• 피크노틱/컨덴스드 체계를 통해 이 등가를 프로피니트 링과 𝐐̂ℓ의 대수적 확대를 계수로 갖는 모듈러스에까지 확장한다.
• 𝑋의 에탈 호모토피 유형과 전체 에탈 토포스를 Gal(𝑋)로부터 재구성하고, 호흐스타르 이중성의 고차 범주론적 형태를 증명한다.

제안 방법

• 에탈 위상에서의 특수화에 의해 주어지는 사상들을 갖는 스킴 𝑋의 기하적 점의 범주로 Gal(𝑋)를 정의한다.
• 잔여체 갈루아 군의 프로피니트 구조를 정교화하는 자연스러운 프로피니트 위상을 Gal(𝑋)에 부여한다.
• 연속된 Gal(𝑋) 표현과 스킴 𝑋 위의 구조적 층 사이의 등가를 구축하며, 비아벨 및 유한 아벨 계수에 대해 유효하다.
• 피크노틱/컨덴스드 체계를 사용하여 에크소드로미 등가를 프로피니트 링과 𝐐̂ℓ의 대수적 확대를 계수로 갖는 경우로 확장한다.
• 𝑋의 에탈 호모토피 유형이 Gal(𝑋)의 형태로 실현되며, 전체 에탈 토포스가 호흐스타르 이중성을 통해 Gal(𝑋)로부터 재구성 가능하다는 것을 증명한다.
• 보예보프스키의 그로텐디크 추측 증명을 적용하여, 𝑋↦Gal(𝑋)가 특성 0인 유한 생성 체 위의 정규 𝑘-variety에 대해 범주론적으로 완전한 함자임을 보인다.

실험 결과

연구 질문

• RQ1 기하학적 점의 범주에 프로피니트 위상을 부여함으로써, 국소 계수의 기본군 표현과 로컬 시스템 사이의 고전적 모노드로미 등가를 에탈 설정으로 일반화할 수 있는가?
• RQ2 비아벨 및 프로피니트 계수 체계로까지 확장된 에크소드로미 등가는 어떻게 달성할 수 있는가?
• RQ3 범주 Gal(𝑋)는 어느 정도까지 스킴 𝑋의 에탈 호모토피 유형과 전체 에탈 토포스를 캡슐화하는가?
• RQ4 특성 0인 유한 생성 체 위의 정규 스킴의 에탈 토포스는 Gal(𝑋) 범주와 그 갈루아 작용으로부터 재구성 가능한가?
• RQ5 기하적 섬유 위의 갈루아 작용과 스킴의 스트라티피케이션 호모토피 유형 사이의 정확한 관계는 무엇인가?

주요 결과

• 비아贝尔 계수에 대해서도 에크소드로미 등가가 성립하며, Gal(𝑋)의 연속 표현과 스킴 𝑋 위의 구조적 층 사이의 자연스러운 등가를 확립한다.
• 피크노틱/컨덴스드 체계를 통해 등가는 프로피니트 링의 모듈러스와 𝐐̂ℓ의 대수적 확대를 계수로 갖는 경우로까지 확장된다.
• 𝑋의 에탈 호모토피 유형은 위상 범주 Gal(𝑋)의 형태로 실현되며, 새로운 구체적 기술을 제공한다.
• 고차 범주론적 형태의 호흐스타르 이중성을 통해, 퀀티콤팩트, 퀀티오퍼세이티드 스킴의 전체 에탈 토포스는 Gal(𝑋)로부터 재구성된다.
• 특성 0인 유한 생성 체 위의 정규 𝑘-variety에 대해, 함자 𝑋↦Gal(𝑋)는 연속된 𝐺𝑘-작용을 보존하는 최소 객체를 갖는 위상 범주 범주로의 완전한 함자이다.
• 체 𝑘 위의 종수 𝑔인 곡선 𝐶는 그 𝐺𝑘-작용을 갖는 프로피니트 스트라티피케이션 공간 ̂𝐶𝑔로부터 재구성되며, 𝐶의 𝑘′-점들은 Gal(𝑘′⊗𝑘𝑘)-점들에 자연스러운 전단사 대응을 갖는다.