[논문 리뷰] Essential bases and toric degenerations arising from birational sequences

Xin Fang, Ghislain Fourier외 1명|arXiv (Cornell University)|2015. 10. 08.

Algebraic structures and combinatorial models참고 문헌 20인용 수 10

한 줄 요약

이 논문은 비유적 순서와 단항식 순서를 사용하여 플래그 다양체 및 구면 다양체의 T-등변 평탄한 토릭 분해를 통합적인 프레임워크로 제안한다. 비유적 순서 S와 단항식 순서 >에 대해 유한 생성되고 포화된 모노이드 Γ를 정의하고, 이에 따라 C[G//U]의 벡터 공간 기저 BΓ를 구성한다. 이 기저는 이차 기저와 유사한 곱셈 성질을 가지며, 순간 다면체의 교차를 통해 정규 토릭 다양체로의 분해를 가능하게 하여 이전의 PBW 필터링, 뉴턴-오쿠노프 체, 이차 기저 접근법을 일반화한다.

ABSTRACT

We present a new approach to construct $T$-equivariant flat toric degenerations of flag varieties and spherical varieties, combining ideas coming from the theory of Newton-Okounkov bodies with ideas originally stemming from PBW-filtrations. For each pair $(S,>)$ consisting of a birational sequence and a monomial order, we attach to the affine variety $G/\hskip -3.5pt/U$ a monoid $Γ=Γ(S,>)$. As a side effect we get a vector space basis $\mathbb B_Γ$ of $\mathbb C[G/\hskip -3.5pt/U]$, the elements being indexed by $Γ$. The basis $\mathbb B_Γ$ has multiplicative properties very similar to those of the dual canonical basis. This makes it possible to transfer the methods of Alexeev and Brion \cite{AB} to this more general setting, once one knows that the monoid $Γ$ is finitely generated and saturated.

연구 동기 및 목표

• PBW 필터링, 뉴턴-오쿠노프 체, 이차 기저에서 유래된 기존 방법들을 통합하여 플래그 다양체 및 구면 다양체의 T-등변 평탄한 토릭 분해를 통일하는 것.
• 비유적 순서와 단항식 순서를 사용하여 이러한 분해를 일반적으로 구성하는 방법을 수립하는 것.
• 모노이드 Γ에 의해 인덱싱되는 C[G//U]의 새로운 기저 BΓ를 정의하고, 이 기저가 이차 기저와 유사한 곱셈 성질을 갖는 것.
• Γ가 유한 생성되고 포화되어 있을 경우, 관련 다양체가 정규 토릭 다양체가 되며, 이에 따라 평탄한 분해가 가능하다는 것을 증명하는 것.

제안 방법

• 비유적 순서 S = (β₁,…,βN)를 통해 무일치 부분군 U⁻의 양의 루트를 정의하고, 곱 사상 π: U₋β₁ × ⋯ × U₋βN → U⁻가 비유적임을 보장한다.
• Ψ: ℕᴺ → ℕ인 가중치 함수를 정의하고, 유도된 부분순서 >Ψ를 ℕᴺ 위의 전체 단항식 순서 >로 개선한다.
• 비유적 사상 π와 단항식 순서 >에 의해 유도되는 차수 사상의 이미지로, Γ = Γ(S,>) ⊂ Λ × ℤᴺ인 모노이드를 구성한다.
• 편재 G-다양체 (Y,ℒ)의 섹션 다항식환 R(Y,ℒ)에 단항식 순서를 사용하여 필터링을 정의하고, 그로 인해 유도되는 군집 대수 gr R(Y,ℒ)를 구성한다.
• 군집 대수의 Proj, 즉 Y₀ = Proj(gr R(Y,ℒ))가 Y의 평탄하고 T-등변인 분해이며, 정규 토릭 다양체임을 보인다.
• Y₀의 순간 다면체가 유리 다면체 콘 ℂ ⊂ Λℝ × ℝᴺ과 Y의 가중치 콘의 교차임을 증명한다.

실험 결과

연구 질문

• RQ1 PBW 필터링, 뉴턴-오쿠노프 체, 이차 기저와 같은 다양한 방법을 통합할 수 있는 단일 프레임워크가 존재하는가?
• RQ2 비유적 순서 S와 단항식 순서 >에 어떤 조건이 성립하면 관련 모노이드 Γ가 유한 생성되고 포화되는가?
• RQ3 (S,>)에서 유도된 기저 BΓ가 이차 기저와 유사한 곱셈 성질을 갖는가?
• RQ4 원래 다양체 Y의 기하학적 성질과 분해 Y₀의 순간 다면체 사이의 관계는 어떠한가?
• RQ5 언제 분해 Y₀가 평탄하고 T-등변이며, 언제 정규 토릭 다양체가 되는가?

주요 결과

• 모노이드 Γ = Γ(S,>)가 유한 생성되고 포화되어 있을 경우, 이는 Λℝ × ℝᴺ 내의 유리 다면체 콘 ℂ의 정수 점들의 집합이다.
• Γ의 스펙트럼, Spec Γ는 토러스 T × (ℂ*)ᴺ에 대한 정규 토릭 다양체이다.
• 모든 아핀 구면 G-다양체 Y에 대해, T × (ℂ*)ᴺ-정규 토릭 다양체 Y₀로의 평탄하고 T-등변인 분해가 존재하며, 이에 대응하는 콘은 ℂ ∩ (𝒲 × ℝᴺ)이다. 여기서 𝒲는 Y의 가중치 콘이다.
• 분해는 평탄한 가속도 ψ: 𝒴 → 𝔸¹에 의해 유도되며, 일반 섹션은 Y와, 특수 섹션은 Y₀와 동형이며, 선다발의 구조를 유지한다.
• C[G//U]의 기저 BΓ는 Γ에 의해 인덱싱되며, 이차 기저와 유사한 곱셈 성질을 갖는다.
• 이 구성은 Caldero, Alexeev-Brion, Kirichenko, Feigin-Fourier-Littelmann의 이전 결과들을 비유적 순서와 단항식 순서를 기반으로 하는 단일 프레임워크에 통합하여 일반화한다.