[논문 리뷰] Topological reconstruction theorems for varieties

Janós Kollár, Max Lieblich외 2명|arXiv (Cornell University)|2020. 03. 10.

Algebraic Geometry and Number Theory인용 수 1

한 줄 요약

이 논문은 임의의 수량기하적으로 닫힌 체의 특성 0에서 정의된 차원 2 이상의 적절한 정규 대상에 대해 위상적 Torelli 정리를 확립한다. 이는 아핀 구조가 Weil 위상수의 선형 동치 관계를 통해 위상수학적으로 결정됨을 보여주며, 사영 기하학의 기본 정리의 유리형 형태를 이용하여 저자들은 위상적 자료에서 스킴의 구조를 재건한다. 이는 구성 가능 에테ール 층에 대한 Gabriel의 정리의 위상적 동반자로 이어진다.

ABSTRACT

We study Torelli-type theorems in the Zariski topology for varieties of dimension at least 2, over arbitrary fields. In place of the Hodge structure, we use the linear equivalence relation on Weil divisors. Using this setup, we prove a universal Torelli theorem in the sense of Bogomolov and Tschinkel. The proofs rely heavily on new variants of the classical Fundamental Theorem of Projective Geometry of Veblen and Young. For proper normal varieties over uncountable algebraically closed fields of characteristic 0, we show that the Zariski topological space can be used to recover the linear equivalence relation on divisors. As a consequence, we show that the underlying scheme of any such variety is uniquely determined by its Zariski topological space. We use this to prove a topological version of Gabriel's theorem, stating that a proper normal variety over an uncountable algebraically closed field of characteristic 0 is determined by its category of constructible abelian \'etale sheaves. We also discuss a conjecture in arbitrary characteristic, relating the Zariski topological space to the perfection of a proper normal variety.

연구 동기 및 목표

• 적절한 정규 대상의 아르티노 위상 공간이 그 스킴의 구조를 유일하게 결정하는 조건을 규명하는 것.
• 헤지 이론을 넘어서 Weil 위상수의 선형 동치 관계를 기하적 불변량으로 사용하여 Torelli 유형 정리를 확장하는 것.
• 구성 가능 아벨 에테ール 층의 범주로부터 스킴을 복원하는 위상적 동반자인 Gabriel의 정리를 확립하는 것.
• 체의 특성과 완전성의 역할을 위상 재구성에서 조사하는 것, 특히 양의 특성에서의 경우를 중심으로 한다.

제안 방법

• 임의의 체 위에서 정의 가능한 사영 기하학의 기본 정리의 유리형 형태를 개발하여 일반 체 위에서의 사영 기하학적 구조를 다루는 것.
• 선형 계열과 붐의 인cidense 기하학을 이용하여 아르티노 위상 공간으로부터 선형 동치류를 복원하는 것.
• 모델 이론적 및 범주론적 기법을 적용하여 위상 공간과 위상수 클래스 사상으로부터 스킴을 재건하는 것.
• 구성 가능 에테ール 층의 구조를 활용하여 지지집과 기약성으로부터 아르티노 위상과 닫힌 부분집합을 복원하는 것.
• 구성 가능 층의 지지집과 기약 닫힌 부분집합이 층의 범주로부터 재건될 수 있음을 증명하는 것.
• 일반적인 설정으로의 확장을 위해 보편 Torelli 프레임워크를 이용하여 문제를 준사영 경우와 유한체로 축소한 후 일반화하는 것.

실험 결과

연구 질문

• RQ1 특성 0의 비가산 대수적으로 닫힌 체 위에서 차원 ≥2인 적절한 정규 대상의 스킴 구조는 아르티노 위상 공간만으로도 유일하게 복원 가능한가?
• RQ2 Weil 위상수의 선형 동치 관계가 아르티노 위상에서 얼마나 위상적 불변량이 되는가?
• RQ3 구성 가능 아벨 에테ール 층의 범주는 이러한 대상의 스킴 구조를 완전한 불변량으로 갖는가?
• RQ4 양의 특성에서는 어떤 일이 일어나는가? 스킴의 완전성은 그 위상 공간으로부터 복원 가능한가?
• RQ5 Balmer나 Fourier–Mukai의 고전적 재구성 정리들에 해당하는 위상적 동반자가 존재하는가?

주요 결과

• 비가산 대수적으로 닫힌 체의 특성 0에서 정의된 적절한 정규 대상에 대해, 아르티노 위상 공간만으로도 스킴 구조가 결정되며, 이는 Weil 위상수의 선형 동치 관계가 위상적으로 정의 가능하기 때문이다.
• 이 설정에서 Weil 위상수의 선형 동치 관계는 아르티노 위상 공간으로부터 고유하게 복원 가능하며, 이는 스킴 재구성의 조건을 충족한다.
• Gabriel의 정리의 위상적 판본이 증명되었다: 구성 가능 아벨 에테ール 층의 범주는 전역 절단이 비가산 대수적으로 닫힌 특성 0의 체를 이루는 경우 스킴을 결정한다.
• 양의 특성에서의 반례는 아르티노 위상 공간이 스킴 구조를 결정하지 못함을 보여주지만, 대상의 완전성은 복원 가능할 수 있다.
• 완전 스킴의 동형사상에서 위상 공간의 호메오멀피즘으로의 사상은 일반적으로 전단사가 아니며, 이는 완전성이 양의 특성에서 자연스러운 불변량임을 시사한다.
• 결과적으로, 수체 위의 P^n 안의 초곡면에 대해 아르티노 호메오멀피즘이 위상수의 차수를 유지하면 Q-스킴의 동형사상이 유도됨을 암시한다.