[논문 리뷰] Tropicalizing Spherical Embeddings

Evan D. Nash|arXiv (Cornell University)|2016. 09. 23.

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

한 줄 요약

이 논문은 토로픽화 이론을 토릭 다양체에서 구형 임베딩으로 확장하기 위해 두 가지 동치 정의를 도입한다: 하나는 색이 칠해진 팬과 궤도 닫힘을 통한 것이고, 다른 하나는 구형 다양체 위에서의 그로브너 이론을 통한 것이다. 주요 기여는 이러한 두 가지 확장된 토로픽화의 정의가 일치함을 증명하는 것으로, 토로픽 기하학의 기본 정리를 구형 설정으로 일반화한다.

ABSTRACT

Recently, a theory for the tropicalization of a spherical homogeneous space $G/H$ was developed by Tassos Vogiannou. We extend his ideas to define the tropicalization of a spherical $G/H$-embedding. This generalizes the construction of tropicalization of toric varieties. We also extend an alternate definition of spherical tropicalization via Gröbner theory developed by Kiumars Kaveh and Christopher Manon and show that the two notions of extended tropicalization coincide.

연구 동기 및 목표

• 일반적인 구형 $G/H$-임베딩의 토로픽화를 정의하여 기존의 토릭 다양체에 대한 토로픽화 이론을 확장한다.
• 밀도가 높은 $G$-궤도를 확장하는 방식으로 구성된 토릭 토로픽화 구조를, 그들이 공유하는 다면체 팬 구조를 이용해 더 넓은 범주인 구형 임베딩으로 일반화한다.
• 카베흐와 마노의 방법으로 개발된 구형 토로픽화에 대한 그로브너 이론적 접근을, 구형 임베딩의 맥락으로 확장한다.
• 구형 임베딩에서 기하학적 토로픽화(궤도 닫힘과 팬을 통한 것)와 그로브너 이론적 토로픽화(초기 이상을 통한 것)의 두 정의가 일치함을 증명하여, 토로픽 기하학의 기본 정리에 대한 구형 해석을 확립한다.

제안 방법

• 기하학적 토로픽화는 $X$의 색이 칠해진 팬 구조를 사용하여 밀도가 높은 $G$-궤도 $G/H$ 의 토로픽화를 전체 구형 임베딩 $X$로 확장함으로써 정의되며, 각 $G$-궤도는 토로픽 공간에 다면체 부분집합을 기여한다.
• 각 보렐 부분군 $B$에 대해, $B$-불변 함수 중에서 $B$-안정인 초면에서의 비율이 음수가 아닌 함수들의 부분환으로서 국소 환 $k[X_B]$를 구성함으로써, $B$-안정 초면를 따라 비율을 사용한 국소 토로픽화가 가능해진다.
• 그로브너 토로픽화는 초기 이상을 통해 정의된다: 부분다양체 $Y \to G/H$ 의 폐포 $\overline{Y}$ 는 $k[X_B]$ 내에서 이상 $\overline{J}_B$ 를 유도하며, $\operatorname{trop}_G^{\operatorname{gr}}(\overline{Y})$ 는 $B$ 에 대해 $\mathcal{V}_B(\overline{J}_B)$ 의 값들의 합집합으로 정의된다.
• 이 구성은 단순한 $G/H$-임베딩 $X$ 와 관련된 색이 칠해진 콘 $(\sigma, \mathcal{F})$ 을 사용한다. 여기서 $\sigma$ 는 비율의 콘의 면이며 $\mathcal{F}$ 는 팔레트 $\mathcal{D}$ 의 부분집합이다. 이는 토로픽 공간 $\overline{\mathcal{N}}_{\mathcal{V}}(\sigma)$ 를 매개변수화한다.
• 비단순 임베딩의 경우, 공유하는 궤도를 따라 단순 성분들의 토로픽화를 붙임으로써 얻어지며, 팬 구조를 유지하면서 일致성을 보존한다.
• 동치성의 증명은 각 $G$-궤도 $\mathcal{O}$ 에 대해, $\overline{Y} \cap \mathcal{O}$ 의 토로픽화가 두 정의 모두에서 일치함을 보여, $k[X_B(\mathcal{O})]$ 가 $B$-안정 초면를 따라 비율이 음수가 아닌 함수들로 이루어져 있음을 활용한다.

실험 결과

연구 질문

• RQ1 구형 임베딩의 토로픽화는 어떻게 정의할 수 있으며, 이는 토릭 경우를 일반화할 수 있는가?
• RQ2 카베흐와 마노가 개발한 그로브너 이론적 토로픽화는 구형 동차 공간에서부터 구형 임베딩으로 확장될 수 있는가?
• RQ3 기하학적 토로픽화(궤도 닫힘과 팬을 통한 것)와 그로브너 이론적 토로픽화(초기 이상을 통한 것)는 구형 임베딩에서 동일한 결과를 도출하는가?
• RQ4 토로픽 기하학의 기본 정리에 해당하는 구형 해석이 존재하는가? 즉, 부분다양체의 토로픽화와 그 그로브너 이론적 토로픽화가 일치하는가?

주요 결과

• 논문은 구형 $G/H$-임베딩 $X$ 의 토로픽화를 그 $G$-궤도들의 토로픽화의 합집합으로 정의한다. 각 궤도는 궤도의 비율의 콘과 관련된 색이 칠해진 면에 의해 매개변수화된다.
• 부분다양체 $\overline{Y} \subseteq X$ 의 확장된 그로브너 토로픽화는 $\bigcup_B \mathcal{V}_B(\overline{J}_B)$ 로 정의되며, 여기서 $\overline{J}_B$ 는 국소 차트 $X_B$ 에서 $\overline{Y} \cap X_B$ 를 정의하는 이상이다. 이는 토릭 그로브너 접근법을 일반화한다.
• 단순한 $G/H$-임베딩 $X$ 에 대해, 기하학적 토로픽화 $\operatorname{trop}_G(X)$ 와 그로브너 토로픽화 $\operatorname{trop}_G^{\operatorname{gr}}(X)$ 는 $\overline{\mathcal{N}}_{\mathcal{V}}(\sigma)$ 의 부분집합으로서 서로 같다.
• 비단순 임베딩의 경우, 공유하는 궤도를 따라 단순 성분들의 토로픽화를 붙임으로써 동치성은 유지되며, 두 토로픽화 방법 간의 일致성이 보존된다.
• 주요 결과인 정리 7.3은 임의의 닫힌 부분다양체 $Y \subseteq G/H$ 와 그 $X$ 내 폐포 $\overline{Y}$ 에 대해 $\operatorname{trop}_G(\overline{Y}) = \operatorname{trop}_G^{\operatorname{gr}}(\overline{Y})$ 임을 증명하여, 구형 기본 정리를 확립한다.
• 증명은 각 $G$-궤도 $\mathcal{O}$ 에 대해, $\overline{Y} \cap \mathcal{O}$ 의 토로픽화가 두 정의 모두에서 일치함을 보여, $X_B(\mathcal{O})$ 의 정칙 함수들이 $B$-안정 초면를 따라 비율이 음수가 아닌 함수들로 구성되어 있음을 활용한다.