[논문 리뷰] Local Tropical Variety

Naoyuki Touda|ArXiv.org|2005. 11. 19.

Polynomial and algebraic computation참고 문헌 12인용 수 8

한 줄 요약

이 논문은 형식적 멱급수환 $\mathbb{C}[[x_1,\ldots,x_n]]$ 내의 아이디얼에 대한 국소 토폴로지 다양체를 도입하여, $\mathcal{U}_{\text{loc}}$에 속하는 가중치 벡터를 사용해 국소적 설정으로 토폴로지 기하학을 일반화한다. 국소 토폴로지 다양체가 생성자의 국소 토폴로지 초평면들의 교차, 초기 아이디얼에 단항식을 포함하지 않는 가중치의 집합, 그리고 초기 아이디얼에 단항식이 나타나지 않는 그뢰브너 원뿔의 닫힘과 일치함을 입증한다.

ABSTRACT

The tropical variety of an ideal was introduced by D.Speyer and B.Sturmfels. In this paper, we will give an analogous definition of local tropical varieties and prove analogous theorems in the formal power series ring. We will also discuss about relations between the local Groebner fan and local tropical variety.

연구 동기 및 목표

• 형식적 멱급수환 $\widehat{\mathcal{O}} = \mathbb{C}[[x_1,\ldots,x_n]]$에서 국소 토폴로지 다양체를 정의하여 토폴로지 기하학을 국소 설정으로 확장한다.
• 푸아수 급수를 사용한 고전적 토폴로지 다양체 구성 방식을 형식적 멱급수와 국소 가중치 벡터를 통해 국소 설정으로 일반화한다.
• 국소 토폴로지 다양체를 초기 아이디얼에 단항식이 포함되지 않는 국소 가중치의 집합으로 특성화한다.
• 국소 토폴로지 다양체와 초기 아이디얼에 단항식이 나타나지 않는 그뢰브너 원뿔의 닫힘 사이의 대응관계를 확립한다.
• 국소 토폴로지 다양체가 아이디얼 생성자들의 국소 토폴로지 초평면들의 교차와 일치함을 증명한다.

제안 방법

• 기원점 근처의 국소적 행동을 모델링하기 위해 비음수 성분을 가진 국소 가중치 벡터 $u \in \mathcal{U}_{\text{loc}} \subset \mathbb{R}^n$를 정의한다.
• 멱급수 $f$의 $u$-가중치를 $\text{Supp}(f)$에 속하는 $\alpha$에 대해 $u \cdot \alpha$의 최솟값으로 정의하여 필터링과 관련된 순서화된 링 $\text{Gr}^u(\widehat{\mathcal{O}})$를 유도한다.
• $f$의 초기 형식 $\text{in}_u(f)$를 그 $u$-가중치에서 해당 순서화된 링에서의 동치류로 정의한다.
• 멱급수 $f$의 국소 토폴로지화 $\text{trop}(f)$를 토폴로지 반군에서의 토폴로지 다항식으로 정의하며, 계수는 각 단항식의 $u$-가중치로 주어진다.
• 최소값이 적어도 두 번 이상 도달하는 국소 가중치의 집합으로서 국소 토폴로지 초평면 $\mathcal{T}^h_{\text{loc}}(\text{trop}(f))$를 구성한다.
• 국소 토폴로지 다양체 $\mathcal{T}_{\text{loc}}(I)$가 생성자들의 국소 토폴로지 초평면들의 교차, 초기 아이디얼에 단항식이 포함되지 않는 가중치의 집합, 그리고 초기 아이디얼에 단항식이 나타나지 않는 그뢰브너 원뿔의 닫힘과 일치함을 증명한다.

실험 결과

연구 질문

• RQ1 고전적 토폴로지 다양체 구성 방식을 푸아수 급수 대신 형식적 멱급수를 사용하여 국소 설정으로 어떻게 일반화할 수 있는가?
• RQ2 국소 설정에서 초기 아이디얼과 토폴로지화의 올바른 일반화 형태는 무엇인가?
• RQ3 국소 토폴로지 다양체는 형식적 멱급수환에서 그뢰브너 팬과 국소 그뢰브너 원뿔과 어떻게 관련이 있는가?
• RQ4 국소 토폴로지 다양체는 아이디얼 생성자들의 국소 토폴로지 초평면들의 교차로 특성화될 수 있는가?
• RQ5 국소 그뢰브너 원뿔의 닫힘으로서 국소 토폴로지 다양체의 조합론적 기술은 존재하는가?

주요 결과

• 국소 토폴로지 다양체 $\mathcal{T}_{\text{loc}}(I)$는 모든 생성자 $f \in I$에 대한 국소 토폴로지 초평면들의 교차와 일치한다. 즉, $\mathcal{T}_{\text{loc}}(I) = \bigcap_{f \in I} \mathcal{T}^h_{\text{loc}}(\text{trop}(f))$이다.
• 국소 토폴로지 다양체는 초기 아이디얼에 단항식이 포함되지 않는 국소 가중치 $w \in \mathcal{U}_{\text{loc}}$의 집합과 일치한다.
• 국소 토폴로지 다양체는 초기 아이디얼에 단항식이 포함되지 않는 국소 그뢰브너 원뿔 $\overline{\mathcal{C}_i[w_i]}$의 닫힘들의 합집합이다.
• 이데알 $I$에 대해, 국소 토폴로지 다양체는 유한 집합 $\mathcal{H} = \{f_j \mid l+1 \leq j \leq r\}$의 국소 토폴로지 초평면들의 교차와도 같다. 여기서 각 $f_j$는 해당 원뿔에서 단항식의 초기 형식을 가진다.
• 예시에서 $f = y(e^x - 1) - x^2$인 $\langle f \rangle$의 국소 토폴로지 다양체는 $xy - x^2$, $-x^2$, $xy$에 대응하는 원뿔의 닫힘들의 합집합으로 계산되며, 원점은 0으로 사상된다.
• 국소 토폴로지 다양체는 초기 아이디얼이 단항식을 피하는 국소 그뢰브너 원뿔에 대응하는 유한 개의 다각형 집합들의 합집합이다.