[논문 리뷰] Lagrangian Skeleta of Hypersurfaces in $(\mathbb{C}^*)^n$

Peng Zhou|arXiv (Cornell University)|2018. 03. 01.

Homotopy and Cohomology in Algebraic Topology참고 문헌 13인용 수 8

한 줄 요약

이 논문은 $(\mathbb{C}^*)^n$ 내의 매끄러운 야생곡면에 대해 라우렌트 다항식으로 정의된 정확한 심플렉틱 구조를 구축한다. 이 구조에서 RSTZ의 조합론적 스켈레톤—뉴턴 다면체의 스타 삼등분과 위상 할당으로 구성됨—은 리우빌 라그랑주 스켈레톤으로 나타나며, 주요 결과는 트로픽 기하학을 통한 적절한 완비성 플루리스하모닉 함수 선택에 의해 리우빌 흐름이 야생곡면을 RSTZ 스켈레톤으로 수축시키며, 이를 통해 심플렉틱 위상수학에서 진정한 라그랑주 스켈레톤으로 실현됨을 보여준다.

ABSTRACT

Let $W(z_1, \cdots, z_n): (\mathbb{C}^*)^n o \mathbb{C}$ be a Laurent polynomial in $n$ variables, and let $\mathcal{H}$ be a generic smooth fiber of $W$. In \cite{RSTZ} Ruddat-Sibilla-Treumann-Zaslow give a combinatorial recipe for a skeleton for $\mathcal{H}$. In this paper, we show that for a suitable exact symplectic structure on $\mathcal{H}$, the RSTZ-skeleton can be realized as the Liouville Lagrangian skeleton.

연구 동기 및 목표

• 매끄러운 야생곡면의 RSTZ 조합론적 스켈레톤이 어떤 정확한 심플렉틱 구조에 대해 리우빌 라그랑주 스켈레톤으로 실현될 수 있다는 추측을 해결하는 것.
• 트로픽 기하학에서 유도된 플루리스하모닉 함수를 사용하여 야생곡면 위에 명시적인 정확한 심플렉틱 구조를 구축하는 것.
• 이 구조의 리우빌 흐름이 야생곡면을 RSTZ 스켈레톤으로 수축시키며, 이로써 그 라그랑주 성질을 확인하는 것.
• 위상 데이터 $\Theta$를 포함한 RSTZ 스켈레톤 구축을 확장하고, 적절한 심플렉틱 구조 하에서 그 라그랑주 스켈레톤으로 실현됨을 증명하는 것.

제안 방법

• 점 $p_\epsilon = (\log \epsilon, \dots, \log \epsilon)$ 로부터의 로그 척도 상의 거리 제곱으로 정의된 플루리스하모닉 함수 $\varphi$ 를 $(\mathbb{C}^*)^n$ 상에서 정의하고, 심플렉틱 형식 $\omega = -dd^c \varphi$ 와 리우빌 1형식 $\lambda = -d^c \varphi$ 를 유도한다.
• 뉴턴 다면체 $Q$ 의 스타 삼등분 $\mathcal{T}$ 와 위상 할당 $\Theta$ 를 인덱스로 하는 $T^*M_T \cong M_T \times N_\mathbb{R}$ 내의 콘형 라그랑주 스켈레톤 $\Lambda_{\mathcal{T},\Theta}$ 를 구성한다.
• 트로픽 기하학을 사용하여 로그 척도 상의 국소화된 야생곡면 $\widetilde{\mathcal{H}}$ 를 정의하고, 위상과 진폭 제어 하에서 정의 방정정식의 행동에 따라 '좋은' 영역과 '나쁜' 영역을 분리한다.
• 다양체 $\widetilde{\mathcal{H}}$ 상에서 $\varphi|_{\widetilde{\mathcal{H}}}$ 의 임계점을 분석하기 위해 두 경우로 나누어 분석한다: 삼등분의 단체 $\tau$ 가 원점을 포함하지 않는 경우(비유한 셀)와 포함하는 경우(유한 또는 정점 기반)
• '좋은' 영역에서 $\varphi|_{\widetilde{\mathcal{H}}}$ 의 모든 임계점이 모든 계수가 실수이자 양수인 양의 영역 내에 존재함을 보이며, 기울기 흐름과 단항식들의 선형 독립성을 이용한다.
• '나쁜' 영역(즉, $0 < \chi_\alpha < 1$ 인 영역)을 수정된 야생곡면 $\widetilde{\mathcal{H}}_{10}$ 으로 근사하고, 이에 따라 이격 거리와 정규 벡터장의 거리가 $O(e^{-c\sqrt{\beta}})$ 로 감소함을 증명함으로써, 추가적인 임계점이 존재하지 않음을 보장한다.

실험 결과

연구 질문

• RQ1 매끄러운 야생곡면의 RSTZ 조합론적 스켈레톤이 야생곡면 위의 어떤 정확한 심플렉틱 구조에 대해 리우빌 라그랑주 스켈레톤으로 실현될 수 있는가?
• RQ2 트로픽 기하학과 로그 척도 구조는 어떤 식으로 플루리스하모닉 함수를 구성하는 데 기여하며, 그 리우빌 흐름이 야생곡면을 RSTZ 스켈레톤으로 수축시키는가?
• RQ3 위상 할당 $\Theta$ 와 삼등분 $\mathcal{T}$ 에 어떤 조건이 성립해야 리우빌 흐름이 RSTZ 스켈레톤 외부에서 임계점을 갖지 않는가?
• RQ4 '나쁜' 영역에서 절단 함수가 비자명한 경우, 야생곡면 상의 플루리스하모닉 함수의 임계점 집합을 제어할 수 있으며, 이는 여전히 양의 영역 내에 존재하는가?
• RQ5 원래 야생곡면 $\widetilde{\mathcal{H}}$ 와 수정된 야생곡면 $\widetilde{\mathcal{H}}_{10}$ 사이의 하우스도르프 거리가 $\beta$ 에 대해 지수적으로 작아지는가?

주요 결과

• 특정 정확한 심플렉틱 구조 $\varphi = |\operatorname{Log}(z) - p_\epsilon|^2$ 를 통해 야생곡면 $\mathcal{H}$ 의 RSTZ 스켈레톤 $\Lambda_{\mathcal{T},\Theta}$ 는 리우빌 라그랑주 스켈레톤으로 실현된다.
• '좋은' 영역 내에서 $\varphi|_{\widetilde{\mathcal{H}}}$ 의 모든 임계점은 정의 방정식의 계수가 모두 실수이자 양수인 양의 영역 내에 존재한다.
• $0 \notin \tau$ 인 경우, $\varphi$ 의 임계점은 면 $F_\tau = P \cap \tau^\vee$ 상에 있으며, 기울기 흐름을 통해 RSTZ 스켈레톤 외부에 임계점이 존재하지 않음을 보장한다.
• $0 \in \tau$ 인 경우, 조건 $d\varphi \in \mathbb{R}_{+}$-스팬 of $\alpha_1, \dots, \alpha_{k-1}$ 과 조건 $\sum f_{\alpha_i} = 1$ 이며 실수 $f_{\alpha_i}$ 를 만족시키면, 임계점에서 모든 $f_{\alpha_i} > 0$ 이 되며, 음수 또는 복소수 값은 배제된다.
• $\widetilde{\mathcal{H}}$ 와 $\widetilde{\mathcal{H}}_{10}$ 사이의 하우스도르프 거리는 $O(e^{-c\sqrt{\beta}})$ 이며, 이와 동일한 유계가 그들의 단위 정규 벡터장에 대해서도 성립한다.
• '나쁜' 영역에서 $\widetilde{\mathcal{H}}$ 의 임계점이 존재하지 않는 것은, $\widetilde{\mathcal{H}}_{10}$ 을 통한 근사에 의해 입증되며, 이 경우 양의 영역 외부에서는 임계점이 존재하지 않는다.