[논문 리뷰] Supertropical algebra

Zur Izhakian, Louis Rowen|ArXiv.org|2008. 06. 06.

Polynomial and algebraic computation참고 문헌 10인용 수 6

한 줄 요약

이 논문은 초초등 다항식과 그 근을 모델링하기 위해 유령 원소를 사용하는 구조적인 대수적 프레임워크인 초초등 대수학을 소개한다. 초초등 반체 위에서 자리를 잡는 아르티노 타입의 대수기하학을 수립하며, 초초등 노울슈타이네센츠 정리를 증명하고, 다항식의 인수분해가 일변수에서는 유일하지만 다변수에서는 기하학적 현상으로 인해 실패함을 보여준다.

ABSTRACT

We develop the algebraic polynomial theory for "supertropical algebra," as initiated earlier over the real numbers by the first author. The main innovation there was the introduction of "ghost elements," which also play the key role in our structure theory. Here, we work somewhat more generally over an ordered monoid, and develop a theory which contains the analogs of several basic theorems of classical commutative algebra. This structure enables one to develop a Zariski-type algebraic geometric approach to tropical geometry, viewing tropical varieties as sets of roots of (supertropical) polynomials, leading to an analog of the Hilbert Nullstellensatz. Particular attention is paid to factorization of polynomials. In one indeterminate, any polynomial can be factored into linear and quadratic factors, and unique factorization holds in a certain sense. On the other hand, the failure of unique factorization in several indeterminates is explained by geometric phenomena described in the paper.

연구 동기 및 목표

• 초초등 반체를 사용하여 초초등 기하학에 대한 엄밀한 대수적 기반을 구축하기.
• 최대-합 대수에서 초초등 다항식에 대한 순수한 대수적 프레임워크의 부족을 해결하기.
• 다항식의 근과 아이디얼에 대해 힐베르트 노울슈타이네센츠 정리의 초초등 해석을 수립하기.
• 특히 다변수에서의 유일 인수분해 실패 현상을 분석함으로써 초초등 다항식환의 인수분해 구조를 분석하기.
• 현상적 원소와 유령 원소를 사용하여 초초등 다항식환에서의 소이디얼과 유령-닫힘 이디얼의 구조를 특성화하기.

제안 방법

• 순서가 매겨진 모노이드 위의 초초등 반체를 도입하며, 초초등 산술을 모델링하기 위해 현상적 원소와 유령 원소를 사용한다.
• 유령-닫힘 이디얼과 근본 이디얼을 정의하여, 다항식의 영점 집합으로 초초등 기하 대상들을 포착한다.
• 초초등 노울슈타이네센츠 정리를 적용하여 이디얼과 그 근 집합 간의 관계를 규명하고, 고전적 대수기하학을 일반화한다.
• 초초등 반체 위에서 다항식을 일차 및 기약 이차 다항식의 곱으로 분해함으로써 인수분해를 분석한다.
• 현상적 부분에서의 근 집합(구간)에 대한 기하적 추론을 통해 이디얼 생성과 근본 구조를 결정한다.
• 특히 선형 및 이차 사례에서의 직접 계산과 유령 값 비교를 통해 이디얼 포함 및 생성을 분석한다.

실험 결과

연구 질문

• RQ1 초초등 대수기하학은 초초등 다양체에 대한 순수한 대수적 프레임워크를 제공할 수 있는가?
• RQ2 특히 다변수에서 초초등 다항식환의 유일 인수분해는 어떻게 행동하는가?
• RQ3 초초등 다항식환에서 소이디얼과 유령-닫힘 이디얼의 구조는 어떠한가?
• RQ4 유령 원소와 유령 값은 초초등 다항식의 근과 인수분해와 어떻게 관련되는가?
• RQ5 초초등 노울슈타이네센츠 정리는 초초등 설정에서 고전적 대수기하학을 어느 정도 복원하는가?

주요 결과

• 일변수에서는 모든 초초등 다항식이 일차 및 기약 이차 다항식의 곱으로 고유하게 인수분해되며, 잘 정의된 의미에서 유일 인수분해가 성립한다.
• 다변수에서는 기하학적 현상(예: 이차 인수의 근 집합이 겹치는 현상)으로 인해 유일 인수분해가 실패한다.
• 유령-닫힘 이디얼의 근본은 그 생성자의 현상적 근 집합의 교차로 결정되며, 특히 이차 다항식의 경우 그렇다.
• 일변수에서 유한 생성된 유령-닫힘 소이디얼은 최대 두 개의 일차 다항식, 구체적으로 $\lambda + \alpha$ 및 $\lambda + \beta$ 또는 $\lambda^\nu + \beta$ 형태로 생성되며, $\alpha^\nu < \beta^\nu$ 이다.
• 초초등 노울슈타이네센츠 정리가 성립한다: 이디얼의 근본은 정확히 그 이디얼의 공통 근 집합에서 0이 되는 다항식의 집합과 일치한다.
• 무한한 소이디얼 체인이 존재하므로, 초초등 다항식환의 크룰 차원은 한 변수일지라도 무한하다.