[논문 리뷰] Irrational Toric Varieties

Ata Firat Pi̇r|arXiv (Cornell University)|2018. 09. 13.

Algebraic Geometry and Number Theory참고 문헌 6인용 수 3

한 줄 요약

이 논문은 ℝⁿ 내의 임의의 팬에 대해 관련된 비유리 토릭 다양체 이론을 개발하며, 이를 팬의 이중인 (ℝ>⁰)ⁿ-등변 세포 복합체로 구성한다. 주요 기여는 팬이 다각형의 정규 팬일 경우 해당 다양체가 그가 정의하는 다각형과 위상동형임을 보이고, 비유리 토릭 다양체의 이동에 대한 하우스도르프 극한들의 공간이 그 지수 집합의 2차 다각형과 위상동형임을 증명하는 것이다.

ABSTRACT

Classical toric varieties are among the simplest objects in algebraic geometry. They arise in an elementary fashion as varieties parametrized by monomials whose exponents are a finite subset $\mathcal{A}$ of $\mathbb{Z}^n$. They may also be constructed from a rational fan $Σ$ in $\mathbb{R}^n$. The combinatorics of the set $\mathcal{A}$ or fan $Σ$ control the geometry of the associated toric variety. These toric varieties have an action of an algebraic torus with a dense orbit. Applications of algebraic geometry in geometric modeling and algebraic statistics have long studied the nonnegative real part of a toric variety as the main object, where the set $\mathcal{A}$ may be an arbitrary set in $\mathbb{R}^n$. These are called irrational affine toric varieties. This theory has been limited by the lack of a construction of an irrational toric variety from an arbitrary fan in $\mathbb{R}^n$. We construct a theory of irrational toric varieties associated to arbitrary fans. These are $(\mathbb{R}_>)^n$-equivariant cell complexes dual to the fan. Such an irrational toric variety is projective (may be embedded in a simplex) if and only if its fan is the normal fan of a polytope, and in that case, the toric variety is homeomorphic to that polytope. We use irrational toric varieties to show that the space of Hausdorff limits of translates an irrational toric variety associated to a finite subset $\mathcal{A}$ of $\mathbb{R}^n$ is homeomorphic to the secondary polytope of $\mathcal{A}$.

연구 동기 및 목표

• 지수 집합이 ℤⁿ이 아닌 ℝⁿ에 있을 때 고전적 토릭 기하학을 비유리 설정으로 확장하기 위해.
• 이전에 하우스도르프 극한의 연구를 방해했던 비유리 토릭 다양체에 대한 팬 기반 구성의 부재를 해결하기 위해.
• 비유리 토릭 다양체의 이동에 대한 하우스도르프 극한들의 공간과 그 지수 구성의 2차 다각형 사이의 위상동형을 확립하기 위해.
• 토르스 작용을 갖는 세포 복합체로서 비유리 토릭 다양체를 함자적이고 이중성 기반으로 구성하기 위해.
• 비유리 구성에 대한 위상적이고 조합론적 프레임워크를 제공함으로써 기하 모델링 및 대수적 통계 분야의 응용을 가능하게 하기 위해.

제안 방법

• ℝⁿ 내의 팬 Σ ⊂ ℝⁿ의 콘에 이중적인 세포를 갖는 (ℝ>⁰)ⁿ-등변 세포 복합체로서 비유리 토릭 다양체를 구성한다.
• 세포 닫힘의 순서 집합이 팬 Σ의 면 라틴스와 반-이so모르픽이 되도록 세포 구조를 정의한다.
• 팬 Σ를 사용하여 고전적 토릭 다양체를 일반화한 위상공간 XΣ를 정의하며, Σ가 유리가 아니어도 된다.
• XΣ가 컴팩트임과 동시에 Σ가 완전한 팬일 때만 성립함을 증명하여 고전 결과를 비유리 설정으로 확장한다.
• Σ가 다각형 P의 정규 팬일 경우 XΣ가 P와 위상동형임을 보이며, 프로젝티브 경우를 일반화한다.
• 지수 집합 A의 2차 팬 Σ(A)를 통해 XΣ의 이동에 대한 하우스도르프 극한들의 공간과 A의 2차 다각형 사이의 위상동형을 확립한다.

실험 결과

연구 질문

• RQ1 비유리가 아닐 수 있는 ℝⁿ 내의 임의의 팬으로부터 비유리 토릭 다양체 이론을 구성할 수 있는가?
• RQ2 비유리 토릭 다양체의 이동에 대한 하우스도르프 극한들의 공간과 그 지수 집합의 2차 다각형 사이에 위상동형이 존재하는가?
• RQ3 Σ가 유리일 경우 비유리 토릭 다양체 XΣ는 고전적 토릭 다양체 YΣ와 어떻게 관련이 있는가?
• RQ4 비유리 토릭 다양체 XΣ는 그 위상적이고 등변적 구조로부터 복원 가능하여, 구성이 함자적임을 보장할 수 있는가?
• RQ5 2차 팬은 비유리 토릭 다양체의 분열을 분류하는 데 어떤 역할을 하는가?

주요 결과

• ℝⁿ 내의 팬 Σ ⊂ ℝⁿ에 관련된 비유리 토릭 다양체 XΣ는 세포 복합체로서 (ℝ>⁰)ⁿ-등변이며, 그 세포 구조는 Σ의 면 라틴스와 이중적이다.
• Σ가 유리일 경우 XΣ는 고전적 토릭 다양체 YΣ의 비음수 실수 부분과 위상동형이다.
• XΣ가 컴팩트임과 동시에 Σ가 완전한 팬일 때만 성립하며, 이는 고전 결과를 비유리 설정으로 확장한 것이다.
• Σ가 다각형 P의 정규 팬일 경우 XΣ는 P와 위상동형이며, 다각형의 위상적 실현을 확립한다.
• XΣ의 이동에 대한 하우스도르프 극한들의 공간은 지수 집합 A의 2차 다각형과 위상동형이며, 이는 이전 연구의 격차를 해결한다.
• 구성은 함자적이다: 팬 간의 사상은 비유리 토릭 다양체 간의 등변 사상으로 이어지며, 팬은 다양체로부터 재구성 가능하다.