[논문 리뷰] Schemes as functors on topological rings

Oliver Lorscheid, Cecília Salgado|arXiv (Cornell University)|2014. 10. 08.

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

한 줄 요약

이 논문은 임의의 위상환 $ R $ 상에서 정의된 스킴 $ X $의 $ R $-유리점 집합 $ X(R) $ 에 대해 일반적이고 함자적인 위상구조를 도입한다. 이는 유한성 또는 분리 가능 조건 없이 고전적인 강한 위상과 아델 위상의 일반화이다. 주요 기여는 $ R $ 의 위상적 성질(예: 하우스도르프, 국소, 단위군이 열린 등)을 $ X(R) $ 에 유도된 위상의 함자적 성질을 통해 특성화하는 것으로, 아델환 $ \mathbf{A} $ 에서의 미세 위상이 고전적인 아델 위상과 일치함을 증명한다.

ABSTRACT

Let $X$ be a scheme. In this text, we extend the known definitions of a topology on the set $X(R)$ of $R$-rational points from topological fields, local rings and adèle rings to any ring $R$ with a topology. This definition is functorial in both $X$ and $R$, and it does not rely on any restriction on $X$ like separability or finiteness conditions. We characterize properties of $R$, such as being a topological Hausdorff ring, a local ring or having $R^ imes$ as an open subset for which inversion is continuous, in terms of functorial properties of the topology of $X(R)$. Particular instances of this general approach yield a new characterization of adelic topologies, and a definition of topologies for higher local fields.

연구 동기 및 목표

• 스킴 $ X $ 의 $ R $-유리점 집합 $ X(R) $ 에 대한 위상의 정의를 국지체와 아델 환의 고전적 사례를 넘어서 일반화하기.
• 스킴 $ X $ 에 대한 유한형, 분리 가능성, 또는 유한성 조건과 같은 제약 조건을 제거하기.
• 하우스도르프, 국소, 또는 단위군이 열린 등 $ R $ 의 위상적 성질을 $ X(R) $ 에 유도된 위상의 함자적 성질을 통해 특성화하기.
• 기존 위상(예: 국지체 $ k $ 에서의 $ X(k) $ 의 강한 위상, 전역체에서의 $ X(\mathbf{A}) $ 의 아델 위상)를 모두 복원하는 통합 프레임워크 제공하기.
• 전역체의 아델 환 $ \mathbf{A} $ 에서의 $ X(\mathbf{A}) $ 에 대한 미세 위상이 고전적인 아델 위상과 일치함을 증명하기.

제안 방법

• 모든 스킴 $ X $ 와 위상환 $ R $ 에 대해, $ X $ 와 $ R $ 에 대해 모두 함자적인 성질을 보장하는 유일성 조건을 사용하여 $ X(R) $ 에 위상을 정의한다.
• 모든 아핀 열린 부분스킴에서의 사상들이 $ X(R) $ 로 들어가는 연속 함수가 되게 하는 가장 끈적한 위상으로 위상을 구성함으로써, 강한 위상의 일반화를 수행한다.
• 모든 아핀 $ k $-스킴에서 $ X $ 로의 사상들이 $ X(R) $ 에서 연속 함수를 유도하는 가장 끈적한 위상으로 '미세 위상'을 정의한다.
• 아델 환 $ \mathbf{A} $ 에서, $ X(\mathbf{A}) $ 에서의 미세 위상이 고전적인 아델 위상과 일치함을 증명하기 위해 $ S $-아델 위상과 콜리미트 구조를 통해 등가성을 보인다.
• $ R $ 의 성질(예: 하우스도르프, 단위군이 열림)을 $ X(R) $ 에 유도된 위상의 행동을 통해 특성화한다. 특히 $ \mathbb{G}_m(R) \to \mathbb{A}^1(R) $ 와 같은 사상의 연속성과 열린 성질을 중심으로 한다.
• 유한한 곳의 집합 $ S $ 에 대한 함자성과 콜리미트 구조를 활용하여 $ X(\mathbf{A}) $ 와 $ X_S(\mathbf{A}_S) $ 를 연결하고, 기저 변경과 사상에 대해 아델 열린 성질이 유지됨을 증명한다.

실험 결과

연구 질문

• RQ1 국지체 $ k $ 에서의 $ X(k) $ 의 강한 위상은 $ R $ 이 국소이거나 하우스도르프일 필요 없이 임의의 위상환 $ R $ 으로 일반화될 수 있는가?
• RQ2 전역체의 아델 환 $ \mathbf{A} $ 에서의 $ X(\mathbf{A}) $ 의 아델 위상은 모형 스킴이나 유한형 조건에 의존하지 않는 함자적 방식으로 특성화될 수 있는가?
• RQ3 스킴 $ X(R) $ 에 유도된 위상의 어떤 함자적 성질이 $ R $ 의 성질(예: 국소환, 단위군이 열림)을 특성화하는가?
• RQ4 모든 스킴 $ X $ 와 위상환 $ R $ 에 대해, 기존 위상(예: 강한 위상, 아델 위상)을 특수한 경우로 복원하는 통합적이고 내재적인 $ X(R) $ 위상 정의가 존재하는가?
• RQ5 전역체의 아델 환 $ \mathbf{A} $ 에서의 $ X(\mathbf{A}) $ 에 대한 미세 위상은 고전적인 아델 위상과 일치하는가?

주요 결과

• 전역체의 아델 환 $ \mathbf{A} $ 에서의 $ X(\mathbf{A}) $ 에 대한 미세 위상은 고전적인 아델 위상과 일치한다. 이는 정리 7.3에서 보였다.
• 위상의 구성은 $ X $ 와 $ R $ 에 대해 모두 함자적이며, $ X $ 가 유한형이거나 $ R $ 이 국소 또는 하우스도르프일 필요가 없다.
• $ X(R) $ 의 위상은 다음 성질로 특성화된다: 부분집합 $ W \subset X(R) $ 가 열린다. $\Leftrightarrow$ 모든 아핀 $ k $-스킴 $ U $ 에서의 사상 $ \alpha: U \to X $ 에 대해, $ U(R) $ 에서의 $ \alpha^{-1}(W) $ 가 열린다.
• 위상환 $ R $ 이 하우스도르프일 필요 충분조건은 모든 스킴 $ X $ 에 대해 대각사상 $ X(R) \to X(R) \times X(R) $ 가 닫혀 있는 것이다. 이는 하우스도르프 성질의 함자적 특성화이다.
• 위상환 $ R $ 이 단위군을 열린 집합으로 가질 필요 충분조건은 열린 포함사상 $ \mathbb{G}_m \to \mathbb{A}^1 $ 이 유도하는 사상 $ R^\times \to R $ 가 열린다. 이는 단위군이 열린 성질의 함자적 특성화이다.
• 모든 유한형 $ k $-스킴 $ X $ 에 대해, 국소 콪크한 하우스도르프 환 $ R $ 가 미세 위상 공리(F6)를 만족하면 $ X(R) $ 는 국소 콪크하다. 이는 레마 8.1에서 보였다.