[논문 리뷰] A Field of Generalised Puiseux Series for Tropical Geometry

Thomas Markwig|ArXiv.org|2007. 09. 24.

Polynomial and algebraic computation참고 문헌 15인용 수 31

한 줄 요약

이 논문은 복소수 위의 고전적 Puiseux 급수의 필드를 확장한 새로운 일반화된 Puiseux 급수의 필드 𝕂를 도입한다. 이 필드는 대수적으로 닫혀 있고, 실수 값을 갖는 순서 수의 범위에서 유도된 노름에 관하여 완비이며, 토폴로지 기하학의 자연스러운 기초 필드가 된다. 주요 기여는 값 군이 ℝ인 필드를 구성하여, 토폴로지 닫힘을 요구하지 않고도 토폴로지화가 가능하게 하는 것이다.

ABSTRACT

In this paper we define a field K of characteristic zero with valuation whose value group is the real numbers, and we show that this field of generalised Puiseux series is algebraically closed and complete with respect to the norm induced by its valuation. We consider this field to be a good candidate for the base field for tropical geometry.

연구 동기 및 목표

• 값 군이 ℝ인 일반화된 Puiseux 급수의 필드를 구성하여, 순서 수의 범위에서 유도된 노름에 관하여 대수적으로 닫혀 있고 완비되도록 하는 것.
• 토폴로지 닫힘을 요구하지 않는 자연스러운 기초 필드를 제공하여 토폴로지 기하학에 응용하는 것.
• 고전적 Puiseux 급수 필드(값 군이 ℚ)와 임의의 잘 순서가 붙은 지지 집합을 가진 일반화된 로랑 급수의 더 큰 필드 사이의 간극을 메우는 것.
• 지지 집합이 유한하거나 무한히 증가하는 수열인 원소들로 구성된 필드를 정의하여, 관리 가능한 구조를 유지하면서도 전체 실수 값을 갖는 순서 수를 유지하는 것.

제안 방법

• 모든 엄격히 증가하는 유계가 아닌 실수 수열(sm iu b)과 ℝ의 모든 유한 부분집합의 합집합으로서 집합 𝕄를 정의한다.
• A ∈ 𝕄 이고 a_α ∈ ℂ* 인 형식적 합 ∑_{α∈A} a_α t^α 로 구성된 필드 𝕂를 정의하고, 표준 덧셈과 곱셈을 적용한다.
• val(f) = min{α | a_α ≠ 0} 를 통해 𝕂에 순서 수를 정의하고, 이를 통해 |f| = exp(−val(f)) 라는 노름을 유도한다.
• 계수들이 컴acts 구간에서 안정화됨을 이용하여, 𝕂 내의 모든 코시 수열이 노름에 관하여 수렴함을 보여 완비성을 증명한다.
• 뉴턴 다각형과 헨젤 유형의 근사법을 이용한 귀납적 올림 기법을 통해 대수적 닫힘을 확립하고, 모든 다항식이 𝕂 내에 근을 가짐을 보인다.
• R_val = {f ∈ 𝕂 | val(f) ≥ 0} 라는 순서 수 링이 일차원의 비노에터리안 국소 링이며, 최대 아이디얼이 ⟨t^α | α > 0⟩ 로 생성됨을 확인한다.

실험 결과

연구 질문

• RQ1 값 군이 ℝ이고 대수적으로 닫혀 있으며 완비인 일반화된 Puiseux 급수의 필드를 구성할 수 있는가?
• RQ2 이러한 필드를 통해 다양체의 토폴로지화가 위상적 닫힘 없이 순서 수 사상의 이미지로 표현될 수 있는가?
• RQ3 고전적 Puiseux 급수 필드와 임의의 잘 순서가 붙은 지지 집합을 가진 일반화된 로랑 급수의 전체 필드 사이에 자연스러운 중간 필드가 존재하는가?
• RQ4 이러한 필드의 순서 수 링은 어떤 구조적 성질을 갖는가?

주요 결과

• 뉴턴 다각형 분석과 헨젤 유형 근사법에 기반한 귀납적 올림 기법을 통해 𝕂가 대수적으로 닫혀 있음을 증명하였다.
• 계수들이 컴팩트 구간에서 안정화됨을 이용하여, 모든 코시 수열이 노름에 관하여 수렴함을 보여 𝕂가 |f| = exp(−val(f)) 에 관하여 완비임을 증명하였다.
• 𝕂의 값 군이 ℝ이므로, (𝕂*)^n 내의 다양체의 토폴로지화는 순서 수 사상의 정확한 이미지와 일치하며, 위상적 닫힘의 필요성을 제거한다.
• 𝕂의 순서 수 링 R_val은 최대 아이디얼이 {t^α | α > 0} 로 생성되는 비노에터리안 국소 링이며, 차원이 1이다.
• ℂ에 대한 𝕂의 초월 차수는 무한하다. 이는 ℚ에 대해 선형 독립인 ℝ의 α에 대해 t^α 가 ℂ 위에서 대수적으로 독립이기 때문이다.
• 이 구성은 특성 0인 임의의 기초 필드로 일반화 가능하며, 완비성과 대수적 닫힘에 관한 결과는 그대로 유지된다.