[논문 리뷰] Metrizability of spaces of valuation domains associated to pseudo-convergent sequences

Giulio Peruginelli, Dario Spirito|arXiv (Cornell University)|2020. 11. 27.

Rings, Modules, and Algebras참고 문헌 16인용 수 1

한 줄 요약

이 논문은 유리 함수체 위의 평가 도메인 공간이 의사수렴 수열에 의해 유도되는 경우, 자리키 및 구조적 위상에 대한 메트라이잭션을 조사한다. 값 그룹이 가산일 때만 고정된 의사극한을 갖는 확장의 공간이 메트라이잭션임을 보이며, 잔여체가 비가산이거나 값 그룹이 비가산일 경우 전체 자리키 공간이 메트라이잭션되지 않음을 보여준다.

ABSTRACT

Let $V$ be a valuation domain of rank one with quotient field $K$. We study the set of extensions of $V$ to the field of rational functions $K(X)$ induced by pseudo-convergent sequences of $K$ from a topological point of view, endowing this set either with the Zariski or with the constructible topology. In particular, we consider the two subspaces induced by sequences with a prescribed breadth or with a prescribed pseudo-limit. We give some necessary conditions for the Zariski space to be metrizable (under the constructible topology) in terms of the value group and the residue field of $V$.

연구 동기 및 목표

• 유리 함수체 K(X)로의 랭크 1 평가 도메인 V의 확장 공간이 구조적 위상에서 언제 메트라이잭션인지 조건을 규명하는 것.
• 고정된 의사극한 또는 고정된 폭을 갖는 의사수렴 수열로 정의된 부분공간의 위상적 구조를 분석하는 것.
• 이러한 부분공간에서 자리키 위상과 구조적 위상 간의 관계를 명확히 하는 것.
• 의사수렴 수열의 맥락에서 평가 도메인 공간의 메트라이잭션 및 위상에 관한 기존 결과를 확장하는 것.
• 메트라이잭션과 분리 공리와 관련된 의사발산 및 의사정적 수열의 위상적 행동을 조사하는 것.

제안 방법

• 논문은 고정된 폭 δ를 갖는 의사수렴 수열에 의해 유도되는 부분공간 V(•, δ)를 연구하며, 자리키 및 구조적 위상을 유도하는 자연스러운 초등거리 함수를 사용한다.
• 고정된 의사극한 β를 갖는 부분공간 V(β, •)는 상한극한 위상의 변형을 사용하여 분석하고, 이는 (−∞, +∞]QΓv와 위상동형임을 보여준다.
• 의사발산 수열의 경우, Zar(k(t)|k)로의 몰입 사상(quotient map)을 사용하여 잔여체 k가 비가산일 경우 비메트라이잭션임을 보인다.
• δ가 값 그룹에 속하고 잔여체가 무한할 경우, Vdiv(•, δ)가 자리키 위상에서 T2공간(하우스도르프)이 아님을 증명한다.
• Vdiv(β, •)와 V(β, •) 사이의 위상동형을 증명하여 의사발산 케이스가 위상적으로 의사수렴 케이스와 유사하게 행동함을 보여준다.
• 의사정적 수열의 경우, Vstat(•, δ)와 Vstat(β, •)가 자리키 위상과 구조적 위상 모두에서 이산위상임을 보여준다.

실험 결과

연구 질문

• RQ1 의사수렴 수열에 의해 유도된 V에서 K(X)로의 평가 도메인 확장 공간이 구조적 위상에서 언제 메트라이잭션일까?
• RQ2 V(β, •)의 메트라이잭션은 V의 값 그룹의 기수에 따라 어떻게 달라지는가?
• RQ3 V의 잔여체가 비가산일 경우 전체 자리키 공간 Zar(K(X)|V)cons 는 메트라이잭션인가?
• RQ4 자리키 위상과 구조적 위상에서 Vdiv(•, δ)와 Vdiv(β, •)의 위상적 성질은 무엇인가?
• RQ5 의사정적 수열 확장의 공간은 자리키 위상과 구조적 위상 모두에서 이산위상인가?

주요 결과

• 고정된 폭 δ를 갖는 의사수렴 수열에 의해 유도되는 확장 공간 V(•, δ)는 자연스러운 거리 함수에 대해 완비 초등거리 공간이며, 여기서 자리키 위상과 구조적 위상은 일치한다.
• 고정된 의사극한 β를 갖는 확장 공간 V(β, •)는 V의 값 그룹이 가산일 때에만 메트라이잭션이다.
• 잔여체가 비가산일 경우 전체 자리키 공간 Zar(K(X)|V)cons 는 메트라이잭션되지 않는다.
• δ가 값 그룹에 속하고 잔여체가 무한할 경우, 자리키 위상에서 Vdiv(•, δ)는 하우스도르프 공간이 아니다.
• Vdiv(β, •)는 V(β, •)와 위상동형이며, 따라서 값 그룹이 가산일 때에만 메트라이잭션이다.
• 의사정적 수열 확장의 공간 Vstat(•, δ)와 Vstat(β, •)는 자리키 위상과 구조적 위상 모두에서 이산위상이다.