[논문 리뷰] Étale Homotopy Obstructions of Arithmetic Spheres

Edo Arad, Shachar Carmeli외 1명|arXiv (Cornell University)|2019. 02. 09.

Homotopy and Cohomology in Algebraic Topology인용 수 4

한 줄 요약

이 논문은 에테ール 호모토피 이론과 산술了几何학 사이의 정확한 연결 고리를 설정한다. 특성 2가 아닌 체 $K$ 위에서 아핀 쌍곡선 $X: \sum a_i x_i^2 = 1$ 에 대한 유리점이 존재하지 않는 최저 차수의 mod 2 에테ール 호모로지 장벽은 $H^*_{\text{ét}}(K, \mathbb{Z}/2)$ 내에서의 쿠퍼 곱 $[a_0] \cup \cdots \cup [a_n]$ 이며, 이는 최상위 하세-위트 불변량과 일치한다. 이 결과는 유닛 구면 다발의 위상수학적 장벽 이론에 대한 에테ール 호모토피 이론적 해석이다.

ABSTRACT

Let $K$ be a field of characteristic $ e 2$ and let $X$ be the affine variety over $K$ defined by the equation $$ X:\ a_0x_0^2 + \cdots + a_nx_n^2 = 1 $$ where $n\ge 0$ and $a_i\in K$. In this paper we compute the lowest mod 2 étale homological obstruction class to the existence of a $K$-rational point on $X$, and show that it is the cup product of the form $$ o_{n+1} = [a_0]\cup\cdots\cup[a_n]. $$ Our computation is an étale-homotopy analogue of the topological fact that Stiefel-Whitney classes are the homological obstructions to find a section to the unit sphere bundle of a real vector bundle.

연구 동기 및 목표

• 이차 형식의 전통적 산술 불변량—특히 하세-위트 클래스—을 현대의 에테ール 호모토피 장벽 이론과 연결하기 위해.
• 다항식 $\sum a_i x_i^2 = 1$ 으로 정의된 구면 위의 유리점이 존재하지 않는 최저 차수의 mod 2 에테ール 호모로지 장벽이 계수 $[a_i]$ 의 쿠퍼 곱임을 입증하기 위해.
• 고전적 힐베르트 기호와 하세-위트 불변량을 장벽 클래스로서의 에테ール 호모토피 이론적 해석을 제공하기 위해.
• 에테ール 호모토피 유형을 가진 분류 스킴 $BO_{n,K}$ 의 에테를링으로 하여, 위상수학적 장벽 이론(스티펠-우드워드 클래스)을 산술적 환경으로 일반화하기 위해.

제안 방법

• 상대 에테를링 호모토피 유형과 프로-에테를링 층 코homology 를 사용하여 $\operatorname{Pro} \mathrm{Shv}_\infty(\text{Spec } K, \mathbb{Z}/2)$ 내의 장벽 클래스를 정의한다.
• $\infty$-토이의 고차 장벽 이론을 적용하여 다발과 관련된 층의 전역 단면에 대한 장벽을 계산한다.
• 일반적인 구면 다발 $\widetilde{S}_{n+1} \to BO_{n+1,K}$ 를 구성하고, 그 에테를링 코homology 를 계산하여 $H^*_{\text{ét}}(BO_{n+1,K}, \mathbb{Z}/2)$ 가 하세-위트 불변량 $HW_1, \dots, HW_n$ 으로 생성된 다항식 대수임을 보인다.
• 베이크-체발리 조건과 고차 스킴에 대한 매끄러운 기저 전환을 사용하여 스킴의 사상에 따른 당김의 일致성을 확보한다.
• 하세-위트 불변량의 유크리드 곱 공식을 활용하여, 대각선형된 이차 형식의 장벽을 쿠퍼 곱으로 분해한다.
• 일반적인 경우를 $Q_1^{n+1} \to Q_{n+1}$ 를 통해 1차원 경우로 환원하여, 첫 번째 하세-위트 불변량이 $[a_i]$ 로 당겨진다는 것을 보인다.

실험 결과

연구 질문

• RQ1 아핀 쌍곡선 $X: \sum a_i x_i^2 = 1$ 에 대한 유리점이 존재하지 않는 에테를링 호모토피 이론적 장벽은 무엇인가?
• RQ2 mod 2 에테를링 호모로지 장벽이 이차 형식의 하세-위트 불변량과 어떻게 관련되어 있는가?
• RQ3 고전적 위상수학적 장벽(스티펠-우드워드 클래스)을 에테를링 호모토피 이론을 사용하여 산술적 환경으로 옮길 수 있는가?
• RQ4 쿠퍼 곱 $[a_0] \cup \cdots \cup [a_n]$ 이 $H^*_{\text{ét}}(K, \mathbb{Z}/2)$ 내에서 구면 위의 유리점에 대한 정확한 장벽 클래스인가?
• RQ5 에테를링 설정에서의 구면 다발에 대한 장벽 이론은 고전적 하세-위트 불변량 $HW_n(B)$ 를 복원하는가?

주요 결과

• 다항식 $X: \sum_{i=0}^n a_i x_i^2 = 1$ 으로 정의된 구면 위의 유리점이 존재하지 않는 최저 차수의 mod 2 에테를링 호모로지 장벽은 $H^*_{\text{ét}}(K, \mathbb{Z}/2)$ 내에서의 쿠퍼 곱 $[a_0] \cup \cdots \cup [a_n]$ 이다.
• 이 장벽 클래스는 이차 형식 $B = \sum a_i x_i^2$ 의 최상위 하세-위트 불변량 $HW_{n+1}(B)$ 와 정확히 일치한다.
• 이 장벽은 분류 스킴 $BO_{n+1,K}$ 에서의 $n$-번째 스티펠-우드워드 클래스 $HW_n$ 을 분류 사상 $f_B: \mathrm{Spec}\,K \to Q_{n+1}$ 을 통해 당겨온 것이다.
• 1차원 구면 $ax^2 = 1$ 에서의 장벽 $f^*HW_1$ 은 정확히 $[a] \in H^1_{\text{ét}}(K, \mathbb{Z}/2) \cong K^\times / (K^\times)^2$ 이다.
• 에테를링 설정에서의 구면 다발에 대한 장벽 이론은 당김과 일致하며 유크리드 곱 공식을 충족하여 고전적 위상수학적 해석과 일致함을 보장한다.
• 계산 결과는 에테를링 호모토피 장벽 이론이 고전적 산술 장벽—즉, 힐베르트 기호와 하세-위트 불변량에 의해 정의된 장벽—을 복원함을 확인한다.