[논문 리뷰] L'Algebre Tropicale Comme Algebre De la Caracteristique 1 : Polynomes Rationnels Et Fonctions Polynomiales

D. Castellà|ArXiv.org|2008. 09. 01.

Polynomial and algebraic computation참고 문헌 4인용 수 5

한 줄 요약

이 논문은 다항함수와 유리함수 사이의 대응관계를 최대-덧셈 실수와 같은 트로픽 반체 위에서 설정한다. 특히, 트로픽 초곡면 위의 다항함수 대수는 정의 다항식으로 생성된 아이디얼에 대한 다항식환의 몫환과 동형임을 보여준다. 만약 두 트로픽 다항식의 영점 집합이 같다면, 하나가 다른 하나의 거듭제곱을 나누게 되며, 이는 고전적 대수기하학의 이중성 원리를 트로픽 설정으로 확장한 것이다.

ABSTRACT

We continue, in this second article, the study of the the algebraic tools which play a role in tropical algebra. We especially examine here the polynomial algebras over idempotent semi-fields. this work is motivated by the development of tropical geometry which appears to be the algebraic geometry of tropical algebra. In fact, the most interesting object is the image of a polynomial algebra in its semi-field of fractions. We can thus obtain, over good semi-fields, the analog of classical correpondences between polynomials, and varieties of zeros... For example, we show that the algebras of polynomial functions over a tropical curves associated to a polynomial P, is, as in classical algebraic geometry, the quotient of the polynomial algebra by the ideal generated by P.

연구 동기 및 목표

• 아이디포텐트 반체 위에서 다항식 대수를 연구함으로써 트로픽 기하학을 위한 대수적 도구를 개발한다.
• 트로픽 대수에서 다항함수, 유리함수, 영점 집합 간의 관계를 명확히 한다.
• 고전적 대수기하학의 대응관계(예: 아이디얼-다양체 이중성)를 트로픽 설정으로 확장한다.
• 트로픽 초곡면 위의 다항함수 대수가 정의 다항식으로 생성된 아이디얼에 대한 다항식환의 몫환과 동형임을 보인다.
• 두 트로픽 다항식이 같은 영점 집합을 정의할 조건을 거듭제곱의 나누어떨어짐을 통해 특성화한다.

제안 방법

• 특히 아이디포텐트 반체인 최대-덧셈 실수를 포함한 특성 1의 준환 및 준체의 프레임워크를 사용한다.
• 반체의 분수체에서 동일한 이미지를 가지는 다항식의 동치류로서 유리함수를 정의한다.
• 교환법칙이 성립하는 모노이드에서의 준역수와 수직성 개념을 활용하여 대수적 구조를 구성한다.
• 다양한 영역에서 단항식을 비교하기 위해 뉴턴 다면체에 대한 그래프 이론적 접근을 사용한다.
• 밀도 추론을 통해 조밀한 부분집합에서의 점별 등식을 전역 등식으로 확장한다.
• 그래프에서 경로 길이에 대한 귀납적 추론을 사용하여 단항식 비율이 유리수 거듭제곱으로 유계임을 보이고, 공통 거듭제곱을 거치면 나누어떨어짐을 도출한다.

실험 결과

연구 질문

• RQ1 특성 1의 반체 위에서 트로픽 기하학으로의 고전적 아이디얼-다양체 대응은 어떻게 적응될 수 있는가?
• RQ2 다항식환의 소거 법칙이 성립하지 않기 때문에, 트로픽 대수에서 다항함수를 나타내는 적절한 대수적 대상은 무엇인가?
• RQ3 언제 두 트로픽 다항식이 같은 영점 집합을 정의하는가?
• RQ4 트로픽 다항식은 영점 집합으로부터 어떤 거듭제곱까지 재구성될 수 있으며, 만약 가능하면 어떻게 하는가?
• RQ5 유리함수는 트로픽 초곡면의 함수적 구조를 어떻게 반영하는가?

주요 결과

• 다항식 P로 정의된 트로픽 초곡면 위의 다항함수 대수는 P로 생성된 아이디얼에 대한 다항식환의 몫환과 동형이다.
• 두 트로픽 다항식 P와 Q가 같은 영점 집합을 가진다면, Q는 어떤 자연수 k에 대해 P의 거듭제곱을 나눈다. 즉, Q | P^k for some k ∈ ℕ.
• P(x) ≠ 0인 P의 영점 집합에 속하는 모든 x에 대해, 두 다항식 A와 B가 아이디얼 (P)에 대해 같은 함수를 나타내는 것은 A(x) = B(x)와 동치이다.
• 트로픽 다항식환에서 아이디얼 (P)의 근본적 아이디얼은 V(P)에 속하는 모든 점 x에서의 평가 핵의 교집합과 같다. 즉, rad(I) = ⋂_{x∈V(P)} Ker(ε_x).
• 공간의 각 영역 A_i에서 두 단항식의 비율은 유리수 거듭제곱으로 유계이며, 이는 Q를 스케일링한 후 P^k가 나누어지게 하는 통일된 지수 k를 유도한다.
• 이 구성은 같은 영점 집합을 가진 임의의 두 다항식에 대해 공통 거듭제곱이 존재하여 하나가 다른 하나를 나누게 되며, 이는 트로픽 대수에서의 닐젠슈타트 정리의 일반화이다.