[논문 리뷰] The étale-open topology and the stable fields conjecture

Will Johnson, Chieu-Minh Tran외 2명|arXiv (Cornell University)|2020. 09. 04.

Advanced Topology and Set Theory참고 문헌 15인용 수 7

한 줄 요약

이 논문은 체 $K$ 위의 다양체의 $K$-점에 대한 에탈-오픈 위상공간을 도입하며, 클래식한 위상공간인 자르스키, 유클리드, $p$-진 위상공간을 일반화한다. 에탈-오픈 위상공간이 비이산임과 동시에 $K$가 크다는 것 사이에 정확한 대응 관계가 있음을 증명하고, 이를 통해 크기 있는 안정적인 체는 반드시 분리적으로 닫혀져야 한다는 것을 보이며, 체의 모델이론에서 핵심적인 추측을 해결한다.

ABSTRACT

For an arbitrary field $K$ and $K$-variety $V$, we introduce the étale-open topology on the set $V(K)$ of $K$-points of $V$. This topology agrees with the Zariski topology, Euclidean topology, or valuation topology when $K$ is separably closed, real closed, or $p$-adically closed, respectively. Topological properties of the étale-open topology corresponds to algebraic properties of $K$. For example, the étale-open topology on $\mathbb{A}^1(K)$ is not discrete if and only if $K$ is large. As an application, we show that a large stable field is separably closed.

연구 동기 및 목표

• 다양체의 $K$-점에 대해 새로운 표준 위상공간인 에탈-오픈 위상공간을 정의하고 연구하며, 자르스키, 실수, $p$-진 위상공간과 같은 고전적 위상공간을 일반화한다.
• 에탈-오픈 위상공간의 위상적 성질과 기저 체 $K$의 대수적 성질, 특히 크기성 사이의 정확한 대응 관계를 확립한다.
• 크기 있는 체에 대해 안정적인 체의 추측을 해결하기 위해, 크기 있는 안정적인 체는 반드시 분리적으로 닫혀져야 한다는 것을 보인다.
• 크기성의 역할이 모델이론적 안정성, 특히 안정성과 정의 가능한 집합과의 관련성에서 어떻게 작용하는지 명확히 한다.

제안 방법

• 에탈-사상 $X \to V$의 이미지로 생성되는 위상공간으로서, $K$-다양체 $V$의 $K$-점에 대한 에탈-오픈 위상공간을 정의한다.
• 에탈-이미지의 집합이 위상공간의 기저를 이룸을 증명하고, 이러한 위상공간의 집합이 위상공간의 체계를 만족함을 보인다(연속성, 열린/닫힌 포함).
• 기저 체 $K$가 분리적으로 닫혀져 있을 경우 에탈-오픈 위상공간은 자르스키 위상공간과 일치하고, 실수적으로 닫혀져 있을 경우 순서 위상공간과 일치하며, $p$-진 또는 헨젤리안일 경우 값매김 위상공간과 일치함을 보인다.
• 에탈-오픈 위상공간이 체 위상공간에서 유래되는 조건을 특징짓기 위해 $t$-헨젤리안의 개념을 사용한다.
• 가짜유한 측도와 일반형 타입을 포함한 모델이론적 도구를 적용하여 유한 체의 초수적 극한에서 정의 가능한 집합을 분석한다.
• 안정적인 체에서는 에탈-오픈 위상공간이 하우스도르프이면서 애핀 변환에 대해 불변함을 이용하여, 위상공간이 이산일 경우 모순을 도출함으로써, 비이산성에 대해 크기성 조건이 필수적임을 증명한다.

실험 결과

연구 질문

• RQ1 에탈-오픈 위상공간 $V(K)$가 이산이 아닐 조건은 언제이며, 이는 체 $K$에 대해 어떤 의미를 갖는가?
• RQ2 에탈-오픈 위상공간은 자르스키, 순서, 또는 값매김 위상공간과 어떻게 관련되어 있는가?
• RQ3 에탈-오픈 위상공간을 사용하여 모델이론적으로 안정적인 체, 특히 안정적인 체를 특징지울 수 있는가?
• RQ4 크기성과 $\mathbb{A}^1(K)$에서의 에탈-오픈 위상공간의 비이산성 사이에 어떤 연결고리가 존재하는가?
• RQ5 안정적인 체에서 에탈-오픈 위상공간이 체를 분리적으로 닫혀져야 한다고 강제하는가? 크기성 조건을 가정할 경우.

주요 결과

• 에탈-오픈 위상공간 $\mathbb{A}^1(K)$는 $K$가 크기 있을 때에만 비이산이다.
• 기저 체 $K$가 분리적으로 닫혀져 있을 경우 에탈-오픈 위상공간은 자르스키 위상공간과 일치하고, 실수적으로 닫혀져 있을 경우 순서 위상공간과 일치하며, $p$-진 또는 헨젤리안일 경우 값매김 위상공간과 일치한다.
• 크기 있는 안정적인 체는 반드시 분리적으로 닫혀져야 하며, 이는 안정적인 체의 추측을 크기성 조건 하에서 해결한다.
• 안정적인 체 $K$에 대해 에탈-오픈 위상공간은 하우스도르프이면서 애핀 변환에 대해 불변하다.
• 안정적인 체에서 에탈-오픈 위상공간이 이산일 경우, 모든 싱글턴 집합이 열려 있으며, 이는 체가 크기가 될 수 없음을 의미한다.
• 유한 체의 초수적 극한에서, $\alpha - \beta \in P$ 를 만족하는 모든 $\beta \in U_1$ 에 대해 $\alpha$ 의 집합은 가짜유한 측도로 측도가 0임을 보이며, 이는 $U_0 \times U_1$ 가 $E$의 집합(서로 다른 제곱수 차이를 가진 쌍의 집합)에 포함되지 않음을 암시한다.