[논문 리뷰] Some results from algebraic geometry over Henselian real valued fields

Krzysztof Jan Nowak|arXiv (Cornell University)|2013. 12. 10.

Advanced Topology and Set Theory참고 문헌 9인용 수 3

한 줄 요약

이 논문은 랭크 1인 헨젤리안 실수 체 위에서代數기하학을 확장하여, 정의 가능 닫힘, 블로우업에 대한 내림내림 성질, 연속적 유비쿼터리 유리 함수의 확장과 같은 기본 결과를 수립한다. 이는 파스의 기호 제거를 통해 p-진수 및 실수 기하학의 결과를 국소적으로 컴act하지 않은 헨젤리안 체로 일반화하는 데 기초한다.

ABSTRACT

This paper develops algebraic geometry over Henselian real valued (i.e. of rank 1) fields $K$, being a sequel to our paper about that over Henselian discretely valued fields. Several results are given including: a certain concept of fiber shrinking (a relaxed version of curve selection) for definable sets, the canonical projection $K^{n} imes K\mathbb{P}^{m} o K^{n}$ and blow-ups of the $K$-points of smooth $K$-varieties are definably closed maps, a descent property for blow-ups, a version of the Lojasiewicz inequality for continuous rational functions and the theorem on extending continuous hereditarily rational functions, established for the real and $p$-adic varieties in our joint paper with J. Kollar. The descent property enables application of desingularization and transformation to a normal crossing by blowing up in much the same way as over the locally compact ground field. Our approach applies quantifier elimination due to Pas.

연구 동기 및 목표

• 디스크리트로 값이 부여된 체 위에서의 이전 연구를 확장하여, 랭크 1인 헨젤리안 실수 체 위에서의 기하학적 기반 프레임워크를 개발하는 것.
• 부드러운 K-다양체의 K-점들에 대해 정의 가능 닫힘 성질을 갖는 사영과 블로우업과 같은 기본 기하 성질을 확립하는 것.
• 로자이에프스키 부등식과 연속적 헤리티어리 라이어 함수의 확장과 같은 실수 및 p-진 기하학의 핵심 결과를 국소적으로 컴팩트하지 않은 헨젤리안 환경으로 일반화하는 것.
• 지역적으로 컴팩트한 체와 유사한 방법으로, 블로우업에 대한 내림내림 성질을 통해 정규 교차 분할로의 정규화 및 특이점 제거를 가능하게 하는 것.
• 모델 이론적 설정에서 정의 가능성과 위상적 닫힘 성질을 입증하기 위해 파스의 기호 제거 기법을 적용하는 것.

제안 방법

• 헤놀리안 실수 체에 대해 맥킨트라와 파스의 언어에서의 기호 제거를 활용하여, 정의 가능한 집합과 함수를 분석한다.
• 정의 가능한 사상에서 섬유를 제어할 수 있도록 '섬유 수축'이라고 불리는 완화된 곡선 선택 원칙을 도입한다.
• 표준 사영 $ K^n \times K\bb{P}^m \to K^n $ 는 정의 가능 닫힘 사상임을 증명하여, 정의 가능한 가중치 가중치의 위상적 제어를 확장한다.
• 부드러운 K-다양체의 블로우업은 그 K-점들 위에서 정의 가능 닫힘 사상을 유도함으로써 기하학적 특이점 제거에 핵심적이다.
• 블로우업에 대한 내림내림 성질을 개발하여, 국소적 특이점 제거 기법을 통해 전반적인 정규 교차 분할로의 변환을 가능하게 한다.
• 모델 이론적 방법을 적용하여 연속적 헤리티어리 라이어 함수를 확장함으로써 실수 및 p-진 기하학의 결과를 일반화한다.

실험 결과

연구 질문

• RQ1 랭크 1인 헨젤리안 실수 체 위에서의 기하학에서 사영과 블로우업에 대해 정의 가능 닫힘을 확립할 수 있는가?
• RQ2 이 설정에서 블로우업을 통해 특이점 제거와 정규 교차 분할로의 변환을 어느 정도 달성할 수 있는가?
• RQ3 국소적으로 컴팩트하지 않은 헨젤리안 체에서 연속적 라이어 함수의 성질과 로자이에프스키 부등식은 어떻게 행동하는가?
• RQ4 블로우업에 대한 내림내림 성질을 이 맥락에서 정의하고 증명할 수 있는가, 이를 통해 전반적인 기하학적 변환을 가능하게 하는가?
• RQ5 파스의 기호 제거 기법이 실수 및 p-진 기하학의 결과를 헨젤리안 실수 체로 이행하는 데 어느 정도 기여하는가?

주요 결과

• 표준 사영 $ K^n \times K\bb{P}^m \to K^n $ 는 정의 가능 닫힘 사상이며, 정의 가능한 가중치 가중치의 위상적 제어를 보장한다.
• 부드러운 K-다양체의 블로우업은 그 K-점들 위에서 정의 가능 닫힘 사상을 유도함으로써, 정의 가능한 범주 내에서 기하학적 특이점 제거를 가능하게 한다.
• 블로우업에 대한 내림내림 성질이 확립되어, 국소적으로 컴팩트한 경우와 유사한 방식으로 정규 교차 분할로의 변환이 가능해진다.
• 연속적 라이어 함수에 대해 랭크 1인 헨젤리안 실수 체 위에서 로자이에프스키 부등식의 형태가 성립한다.
• 연속적 헤리티어리 라이어 함수는 헨젤리안 실수 체 위로 연속적으로 확장되며, 실수 및 p-진 기하학의 결과를 일반화한다.
• 이 프레임워크를 통해 정의 가능 닫힘과 내림내림 성질에 기반하여 블로우업을 통한 특이점 제거 및 정규 교차 분할 해소가 가능해진다.