[논문 리뷰] Algebraic Aspects in Tropical Mathematics

Tal Perri|arXiv (Cornell University)|2013. 05. 13.

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

한 줄 요약

이 논문은 이분형 반체 $\mathbb{H}$의 분수반체 $\mathbb{H}(x_1,\dots,x_n)$ 위에서 커널과 스케лет론을 도입하여 토폴로지 수학에서 기초적인 대수기하학적 대응을 수립한다. 다항식의 폴라르(근본적 이상의 일반화)와 스케лет론 사이에 토폴로지 노울즈텔렌사츠 유사 대응을 증명하고, 이를 코너-로커스(코너 루트로 정의된 토폴로지 다양체)와 연결하여, 대수적 및 기하적 쌍대성을 통해 $\mathbb{H}^n$의 동일한 기하적 집합을 정의하고자 한다.

ABSTRACT

Much like in the theory of algebraic geometry, we develop a correspondence between certain types of algebraic and geometric objects. The basic algebraic environment we work in is the a semifield of fractions H(x1,...,xn) of the polynomial semidomain H[x1,...,xn], where H is taken to be an idempotent semifield, while for the geometric environment we have the space H^n. We show that taking H to be idempotent makes both H(x1,...,xn) and Hn idempotent which turn out to satisfy many desired properties that we utilize for our construction. The fundamental algebraic and geometric objects having interrelations are called kernels, encapsulating congruences over semifields and skeletons which serve as the analog for zero-sets of algebraic geometry. As an analog for the celebrated Nullstellenzats theorem, we develop a correspondence between skeletons and a family of kernels called polars originally developed in the theory of lattice-ordered groups. For a special kind of skeletons, called principal skeletons, we have simplified the correspondence by restricting our algebraic environment to a certain kernel of H(x1,...,xn). After establishing the linkage between kernels and skeletons we proceed to construct a second linkage, this time between a family of skeletons and what we call "corner-loci". Essentially a corner locus is what is called a tropical variety in the theory of tropical geometry, which is a set of corner roots of some set of tropical polynomials. A skeleton and a corner-locus define the exact same subset of H^n in different ways: while a corner locus is defined by corner roots of tropical polynomials, the skeleton is defined by equating fractions from H(x1,...,xn) to 1. All the connections presented above form a path connecting a tropical variety to a certain kind of kernel.

연구 동기 및 목표

• 반체 위에서 대수기하학 이론을 개발하고, 특히 이분형 반체 $\mathbb{H}$의 분수반체 $\mathbb{H}(x_1,\dots,x_n)$를 기반으로 토폴로지 기하학의 기초를 마련한다.
• 이드포텐트 반체의 맥락에서 커널과 스케лет론을 사용하여 고전적 대수기하학 개념—이상, 영점집합, 노울즈텔렌사츠 정리—를 일반화한다.
• 대수적 대상(폴라르 및 커널)과 기하적 대상(스케лет론 및 코너-로커스) 사이의 정확한 대응을 수립하여, 이들이 $\mathbb{H}^n$의 동일한 부분집합을 정의하고 있음을 보여준다.
• 복잡도를 측정할 수 있는 새로운 불변량인 볼록도 수준과 초차원수를 도입하고, 이와 같은 대수적 구조와 기하학적 복잡도를 연결한다.
• 주핵심 커널과 주핵심 스케лет론 사이의 대응을 통해 슈퍼톨로지 기하학이 자연스럽게 토폴로지 기하학을 일반화함을 보여준다.

제안 방법

• 이분형 반체 $\mathbb{H}$의 분수반체 $\mathbb{H}(x_1,\dots,x_n)$를 사용하여 토폴로지 대수적 구조를 모델링한다. 이 반체는 이드포텐트이자 아르키메데스 성질을 가진다.
• 반체 준동형사상에서 1의 역상으로 커널을 정의하여 고전적 대수기하학에서 이상의 일반화를 이룬다.
• 스케лет론은 영점집합의 기하적 대응으로 정의되며, $\mathbb{H}^n$의 모든 원소가 커널에 속하는 점들의 집합으로 정의된다.
• 폴라르(격자순서군의 격자론적 구성)와 스케лет론 사이의 대응을 수립하여 고전적 노울즈텔렌사츠 정리를 반체 맥락으로 일반화한다.
• 스케лет론을 코너-로커스(토폴로지 다항식의 코너 루트로 정의된 토폴로지 다양체)와 연결하여, 서로 다른 대수적 및 기하적 표현 방식을 통해 $\mathbb{H}^n$의 동일한 부분집합을 정의하고 있음을 보여준다.
• 코너-정수성 개념을 도입하고 이를 통해 주핵심 커널을 HS-커널과 유계 커널의 곱으로 분해함으로써 초차원수와 볼록도 수준을 정의할 수 있도록 한다.

실험 결과

연구 질문

• RQ1 반체 위에서의 대수적 구조를 사용하여 토폴로지 기하학 및 슈퍼톨로지 기하학 맥락에서 고전적 노울즈텔렌사츠 정리를 어떻게 일반화할 수 있는가?
• RQ2 반체 맥락에서 커널(이상과 유사)과 스케лет론(영점집합과 유사) 사이의 정확한 대수기하학적 대응은 무엇인가?
• RQ3 토폴로지 다항식의 코너 루트로 정의된 코너-로커스와 반체의 분수반체에서 1과의 등식을 통해 정의된 스케лет론은 어떻게 관련이 있는가?
• RQ4 이 프레임워크에서 대수적 대상의 기하학적 복잡도를 측정할 수 있는 불변량인 볼록도 수준과 초차원수는 무엇인가?
• RQ5 커널-스케лет론 대응을 통해 슈퍼톨로지 기하학 이론이 자연스럽게 토폴로지 기하학을 일반화하는 방식은 어떠한가?

주요 결과

• 폴라르-스케лет론 대응은 폴라르(근본적 이상의 일반화)와 스케лет론 사이의 전단사적 연결을 수립하여, 고전적 노울즈텔렌사츠 정리를 반체 맥락으로 일반화한다.
• 주핵심 스케лет론의 경우, 특별한 반체에서의 제약 조건이 적용될 때, 이는 주핵심 커널과 주핵심 스케лет론 사이의 깔끔한 대수기하학적 이원성을 가능하게 하여 단순화된다.
• 코너-로커스와 스케лет론은 $\mathbb{H}^n$의 동일한 부분집합을 정의한다. 코너-로커스는 토폴로지 다항식의 코너 루트로 정의되고, 스케лет론은 분수반체에서의 1과의 등식으로 정의되며, 이는 토폴로지 다양체의 이중 특성화를 수립한다.
• 주핵심 커널 $\langle f\rangle$의 초차원수는 $Hdim(\mathscr{R}(x_1,\dots,x_n)/L_1),\dots,Hdim(\mathscr{R}(x_1,\dots,x_n)/L_s))$의 튜플로 정의되며, 여기서 $L_i$는 HS-커널이다. 이는 스케лет론 $Skel(f)$를 구성하는 애핀 부분공간의 대수적 기술을 제공한다.
• 커널 $L$의 볼록도 수준은 그 높이와 같으며, 즉 $condeg(L) = hgt(L)$이다. 또한 최대 사슬 내의 모든 요소는 자체적으로 HP-커널이다.
• 커널 $K$의 초공간영역(HO) 분해는 정규 코너-정수성 주핵심 커널들에 의해 생성되며, $K$의 초차원수는 몫 $\mathscr{R}(x_1,\dots,x_n)/L_i$의 차원들에 의해 결정된다. 이는 대수적 구조와 기하학적 분해를 연결한다.