[논문 리뷰] ${\mathbb G}_a^M$ degeneration of flag varieties

Evgeny Feigin|arXiv (Cornell University)|2010. 07. 05.

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

한 줄 요약

이 논문은 기약 $G$-모듈러스 위에 정의된 PBW 필터레이션을 통해 일반화된 플래그 다양체 $\mathcal{F}_\lambda$ 의 평탄한 ${\mathbb{G}}_a^M$-퇴화를 제안한다. 퇴화된 좌표환은 이중 PBW-그레이딩된 모듈러스의 직합과 동형이며, 반순서적 PBW-테이블로로 구성된 기저는 다중동차 성분을 매개변수화하며, 타입 $A$ 에서 고전적 플러커 관계를 퇴화된 형태로 일반화한다. 이 퇴화는 평탄하고, $G^a = \mathbb{G}_a^M \rtimes B$ 의 군 작용을 통해 기하학적 구조를 유지한다. 주요 기여는 PBW 기저를 이용한 퇴화된 플래그 다양체에 대한 조합론적 및代수기하학적 프레임워크를 제공하는 것이다.

ABSTRACT

Let $\Fl_λ$ be a generalized flag variety of a simple Lie group $G$ embedded into the projectivization of an irreducible $G$-module $V_λ$. We define a flat degeneration $\Fl_λ^a$, which is a ${\mathbb G}^M_a$ variety. Moreover, there exists a larger group $G^a$ acting on $\Fl_λ^a$, which is a degeneration of the group $G$. The group $G^a$ contains ${\mathbb G}^M_a$ as a normal subgroup. If $G$ is of type $A$, then the degenerate flag varieties can be embedded into the product of Grassmanians and thus to the product of projective spaces. The defining ideal of $\Fl^a_λ$ is generated by the set of degenerate Pl\" ucker relations. We prove that the coordinate ring of $\Fl_λ^a$ is isomorphic to a direct sum of dual PBW-graded $\g$-modules. We also prove that there exist bases in multi-homogeneous components of the coordinate rings, parametrized by the semistandard PBW-tableux, which are analogues of semistandard tableux.

연구 동기 및 목표

• 기본 $G$-모듈러스 위의 PBW 필터레이션을 이용하여 일반화된 플래그 다양체 $\mathcal{F}_\lambda$ 의 평탄한 퇴화를 구성하는 것.
• 퇴화된 플래그 다양체 $\mathcal{F}_\lambda^a$ 에 작용하는 새로운 군 $G^a = \mathbb{G}_a^M \rtimes B$ 를 정의하여 $G$ 의 작용을 확장하는 것.
• 퇴화된 플래그 다양체 $\mathcal{F}_\lambda^a$ 의 좌표환은 이중 PBW-그레이딩된 $\mathfrak{g}$-모듈러스의 직합과 동형임을 보이는 것.
• 고전적 반순서적 테이블로를 일반화한 반순서적 PBW-테이블로를 이용하여 $\mathcal{F}_\lambda^a$ 의 좌표환의 기저를 확립하는 것.
• 퇴화 $\mathcal{F}_\lambda \to \mathcal{F}_\lambda^a$ 가 $t$-변형을 통한 정의 이상의 관계를 이용하여 평탄함을 증명하는 것.

제안 방법

• 기본 $G$-모듈러스 $V_\lambda$ 에 대한 PBW 필터레이션 $F_s$ 를 정의하여, 관련된 그레이딩된 공간 $V_\lambda^a = \bigoplus_{s \geq 0} F_{s+1}/F_s$ 를 유도하는 것.
• 퇴화된 리 대수 $\mathfrak{g}^a = \mathfrak{b} \oplus ({\mathfrak{n}}^-)^a$ 를 구성하며, 여기서 $({\mathfrak{n}}^-)^a$ 는 벡터 공간으로서 $\mathfrak{n}^-$ 와 동형인 아벨 아이디얼임.
• 최고 무게 벡터의 $\mathbb{G}_a^M$-오빗의 폐포로써 퇴화된 플래그 다양체 $\mathcal{F}_\lambda^a$ 를 $\mathbb{P}(V_\lambda^a)$ 에서 정의하는 것.
• 고전적 플러커 관계를 퇴화시켜 얻은 생성자들로 정의된 이상 $I^a$ 를 통해 퇴화된 플러커 관계를 도입하는 것.
• $t$-변형 $Q^t$ 를 정의하여, 고전적 관계와 퇴화된 관계 사이를 연결하는 관계 $R^{k;t}_{L,J}$ 를 사용하는 것.
• 좌표환의 $\mathbb{C}[t]$-기저로 반순서적 PBW-테이블로로 인덱싱된 단항식을 사용하여, $Q^t$ 가 $\mathbb{C}[t]$ 위에서 자유임을 보임으로써 평탄성을 증명하는 것.

실험 결과

연구 질문

• RQ1 고전적 플래그 다양체 $\mathcal{F}_\lambda$ 는 PBW 필터레이션을 통해 $\mathbb{G}_a^M$-다양체로 평탄하게 퇴화될 수 있는가?
• RQ2 퇴화된 플래그 다양체 $\mathcal{F}_\lambda^a$ 의 좌표환은 이중 PBW-그레이딩된 모듈러스의 직합과 동형인가?
• RQ3 반순서적 PBW-테이블로는 $\mathcal{F}_\lambda^a$ 의 좌표환의 다중동차 성분의 기저를 제공하는가?
• RQ4 퇴화된 플러커 관계는 플래그 다양체 $\mathcal{F}_\lambda^a$ 가 프로젝티브 공간들의 곱의 부분다양체로 정의되는 데 충분한가?
• RQ5 퇴화 $\mathcal{F}_\lambda \to \mathcal{F}_\lambda^a$ 는 평탄한가? 그리고 좌표환의 $t$-변형을 통해 이를 증명할 수 있는가?

주요 결과

• 퇴화된 플래그 다양체 $\mathcal{F}_\lambda^a$ 는 PBW 필터레이션에 의한 고전적 플래그 다양체 $\mathcal{F}_\lambda$ 의 평탄한 퇴화이다.
• 퇴화된 플래그 다양체 $\mathcal{F}_\lambda^a$ 의 좌표환은 이중 PBW-그레이딩된 $\mathfrak{g}$-모듈러스의 직합과 동형이며, 고전적 동형을 퇴화된 경우로 일반화한다.
• 좌표환의 다중동차 성분에 대한 기저는 반순서적 PBW-테이블로로 매개변수화되며, 이는 고전적 반순서적 테이블로를 일반화한다.
• 퇴화된 플래그 다양체 $\mathcal{F}_\lambda^a$ 의 정의 이상은 PBW 필터레이션을 통한 고전적 플러커 관계의 퇰그화로 얻어진 퇴화된 플러커 관계들로 생성된다.
• 퇴화는 평탄하며, 좌표환의 $t$-변형 $Q^t$ 를 구성함으로써 증명된다. 이는 $\mathbb{C}[t]$ 위에서 자유이며, $Q^t/(t) \simeq Q^a$ 와 $Q^t/(t-u) \simeq Q$ ($u \neq 0$) 인 피브어를 가지며, 반순서적 PBW-테이블로로 인덱싱된 단항식들로 구성된 $\mathbb{C}[t]$-기저를 갖는다.
• 타입 $A$ 에서, 퇴화된 플래그 다양체 $\mathcal{F}_\lambda^a$ 는 그라스만이안들의 곱에 임베딩되며, 따라서 프로젝티브 공간들의 곱에 임베딩된다. 이 경우의 방정식은 퇴화된 플러커 관계들로 주어진다.