[논문 리뷰] Favourable modules: Filtrations, polytopes, Newton-Okounkov bodies and flat degenerations

Evgeny Feigin, Ghislain Fourier외 1명|Kölner Universitäts PublikationsServer (Universität zu Köln)|2013. 06. 06.

Advanced Combinatorial Mathematics참고 문헌 25인용 수 10

한 줄 요약

이 논문은 단순군의 무자리 대수적 군에 대해 '유리한 모듈러스'를 도입하며, 이는 정규 라티스 다각형에 의해 모듈러스 구조가 결정된다. PBW 및 단항식 순서 필터링을 통한 평탄한 분리(degeneration)를 통해 플래그 다양체가 토릭 다양체와 아벨화된 다양체로 분리되며, 이는 프로젝티브 정규성과 산술 코hen-맥컬레이 성질을 유지한다. 다각형은 뉴턴-오쿠누크보 바디로 나타난다.

ABSTRACT

We introduce the notion of a favourable module for a complex unipotent algebraic group, whose properties are governed by the combinatorics of an associated polytope. We describe two filtrations of the module, one given by the total degree on the PBW basis of the corresponding Lie algebra, the other by fixing a homogeneous monomial order on the PBW basis. In the favourable case a basis of the module is parameterized by the lattice points of a normal polytope. The filtrations induce flat degenerations of the corresponding flag variety to its abelianized version and to a toric variety, the special fibres of the degenerations being projectively normal and arithmetically Cohen-Macaulay. The polytope itself can be recovered as a Newton-Okounkov body. We conclude the paper by giving classes of examples for favourable modules.

연구 동기 및 목표

• 무자리 대수적 군에 대해 다각형 조합론을 이용하여 유리한 모듈러스를 정의하고 특성화하기.
• 이러한 모듈러스에 대해 두 가지 필터링을 연구하기: 총 차수에 의한 필터링(PBW-필터링)과 동차 단항식 순서에 의한 필터링.
• 플래그 다양체가 토릭 다양체와 아벨화된 다양체로 평탄하게 분리되도록 보장하기.
• 관련 다각형이 플래그 다양체와 그 분리에서 뉴턴-오쿠누크보 바디로 나타나는 방식을 보여주기.
• 데무르제 모듈러스와 기본 무게를 가진 $SL_n$의 표현을 포함한 명시적 예시 클래스 제공하기.

제안 방법

• 유리한 모듈러스를 ${\rm U}({\frak N})$-모듈러스로 정의하며, 여기서 필수 다중지표의 집합이 정규 라티스 다각형 $P(M)$의 격자점으로 이루어져 있다.
• 두 가지 필터링을 구성하기: 총 차수에 의한 PBW-필터링과 단항식 순서 필터링이며, 둘 다 일차원 성분을 갖는 그레이드 모듈러스를 유도한다.
• $\mathrm{gr}^a M$ 및 $\mathrm{gr}^t M$과 같은 관련 그레이드 모듈러스를 사용하여, 아벨화된 무자리 군 $\mathbb{U}^a$의 작용을 통해 아벨화된 플래그 다양체와 토릭 다양체를 정의한다.
• 원래 플래그 다양체 $\mathcal{F}_{\mathbb{U}}(M)$에서 $\mathcal{F}_{\mathbb{U}^a}(\mathrm{gr}^a M)$로, 그리고 더 나아가 $\mathcal{F}_{\mathbb{U}^a}(\mathrm{gr}^t M)$로의 평탄한 분리를 증명한다.
• 그룹 작용에 대한 약간의 조건 하에서 다각형 $P(M)$이 세 다양체 모두에 대해 뉴턴-오쿠누크보 바디로 나타남을 확인한다.
• 특히 $SL_n$과 정규 균형 무게에 대해 토릭 다양체의 정규 피라미드, 반사선, 자동사상군을 명시적으로 계산한다.

실험 결과

연구 질문

• RQ1 무자리 대수적 군에 대한 순환 모듈러스가 단항식 순서 필터링을 통해 토릭 다양체로 평탄하게 분리되는 조건은 무엇인가?
• RQ2 PBW-필터링에 대한 관련 그레이드 모듈러스가 프로젝티브 정규성과 산술 코헨-맥컬레이 성질을 갖는 조건은 무엇인가?
• RQ3 모듈러스의 기저를 결정하는 다각형이 플래그 다양체의 뉴턴-오쿠누크보 바디로 어떻게 표현될 수 있는가?
• RQ4 $SL_n$의 어떤 표현이 주어진 양의 루트 순서 하에서 유리한 모듈러스를 제공하는가?
• RQ5 유리한 모듈러스에서 유도된 토릭 다양체의 자동사상군의 구조는 어떠한가?

주요 결과

• 유리한 모듈러스 $M$에 대해, $\{ \mathbf{f}^\mathbf{p} v_M^\otimes n \mid \mathbf{p} \in nS(M) \}$는 $M^{\odot n}$, $\mathrm{gr}^a M^{\odot n}$, 및 $\mathrm{gr}^t M^{\odot n}$의 기저를 이룬다. 여기서 $S(M)$는 $P(M)$ 내의 격자점의 집합이다.
• 플래그 다양체 $\mathcal{F}_{\mathbb{U}^a}(\mathrm{gr}^t M)$는 다각형 $P(M)$에 의해 정의되는 토릭 다양체이며, 토리스 작용은 단항식 순서에 의해 결정된다.
• 원래 플래그 다양체 $\mathcal{F}_{\mathbb{U}}(M)$에서 $\mathcal{F}_{\mathbb{U}^a}(\mathrm{gr}^a M)$로, 그리고 더 나아가 $\mathcal{F}_{\mathbb{U}^a}(\mathrm{gr}^t M)$로의 평탄한 분리가 존재하며, 이 세 다양체 모두 프로젝티브 정규성과 산술 코헨-맥컬레이 성질을 갖는다.
• 그룹 작용에 대한 약간의 조건 하에서 다각형 $P(M)$은 $\mathcal{F}_{\mathbb{U}}(M)$, $\mathcal{F}_{\mathbb{U}^a}(\mathrm{gr}^a M)$, 및 $\mathcal{F}_{\mathbb{U}^a}(\mathrm{gr}^t M)$의 뉴턴-오쿠누크보 바디이다.
• $G = SL_n$ 이고 기본 무게 $\omega$ 에 대해 $\langle \omega, \theta^\vee \rangle = 1$ 라면, 모든 $m \geq 1$ 에 대해 $V(m\omega)$ 가 유리한 모듈러스가 되는 루트의 순서와 단항식 순서가 존재한다.
• SL_n 과 정규 균형 무게에 대해 유도된 토릭 다양체의 자동사상군은 리ductive 군(이sovolumetric $SL_2$ 또는 $PSL_2$), $N$차원 토리스, 그리고 차원 $\frac{3}{2}n^2 - \frac{1}{2}n - 1$ 인 유니포텐트 라디칼의 반직접곱이다.