[논문 리뷰] Degenerate flag varieties of type A: Frobenius splitting and BW theorem

Evgeny Feigin, Michael Finkelberg|arXiv (Cornell University)|2011. 03. 08.

Advanced Algebra and Geometry참고 문헌 9인용 수 13

한 줄 요약

이 논문은 ℙ¹-섬유화의 탑을 이용하여 A형의 열화된 플래그 다양체의 비특이화를 구축하며, 이들이 프로베니우스로 분할 가능하고 유리적 특이점을 가짐을 증명한다. PBW-중량을 가진 모듈에 대해 Borel-Weil 유사 정리를 수립하여, 해소공간 위에서 Atiyah-Bott-Lefschetz 공식을 통해 q-특성식을 도출한다.

ABSTRACT

Let $\Fl^a_\la$ be the PBW degeneration of the flag varieties of type $A_{n-1}$. These varieties are singular and are acted upon with the degenerate Lie group $SL_n^a$. We prove that $\Fl^a_\la$ have rational singularities, are normal and locally complete intersections, and construct a desingularization $R_\la$ of $\Fl^a_\la$. The varieties $R_\la$ can be viewed as towers of successive $\bP^1$-fibrations, thus providing an analogue of the classical Bott-Samelson-Demazure-Hansen desingularization. We prove that the varieties $R_\la$ are Frobenius split. This gives us Frobenius splitting for the degenerate flag varieties and allows to prove the Borel-Weyl type theorem for $\Fl^a_\la$. Using the Atiyah-Bott-Lefschetz formula for $R_\la$, we compute the $q$-characters of the highest weight $\msl_n$-modules.

연구 동기 및 목표

• A형에 대한 열화된 플래그 다양체 𝒜λa의 비특이화를 ℙ¹-섬유화의 탑을 이용하여 구축하기.
• 열화된 플래그 다양체가 정규적이고 국소적으로 완전교차이며, 유리적 특이점을 가짐을 증명하기.
• 유한체 위에서 열화된 플래그 다양체와 그 해소공간에 대한 프로베니우스 분할을 확립하기.
• 해소공간과 프로베니우스 분할을 이용하여 PBW-중량을 가진 모듈 Vλa에 대한 Borel-Weil 유사 정리를 증명하기.
• 해소공간 Rλ 위에서 Atiyah-Bott-Lefschetz 공식을 적용하여 Vλa의 q-특성식을 도출하기.

제안 방법

• 특정 인cidenc 및 사영 조건을 만족하는 서브스페이스 V_{i,j}의 집합으로서 Rλ를 해소공간으로 구성하기.
• 각 튜플 (V_{i,j})를 (V_{i,i})로 매핑하는 자연스러운 사영 πλ: Rλ → 𝒜λa를 정의하고, 이것이 비라시얼 사상임을 증명하기.
• Rλ가 매끄럽고 연속적인 ℙ¹-섬유화이므로, 𝔽̄p 위에서 프로베니우스로 분할 가능하다는 것을 증명하기.
• Mehta-Ramanathan 기준을 사용하여 Rλ와 𝒜λa가 모두 𝔽̄p 위에서 프로베니우스로 분할 가능하다는 것을 보이기.
• Atiyah-Bott-Lefschetz 공식을 적용하여 선다발 πλ*𝒪(1)의 오일러 지표를 계산하고, q-특성식을 도출하기.
• 섬유화의 구조와 탄성공간의 무게를 이용하여 Rλ의 각 토러스 고정점이 특성합에 기여하는 바를 계산하기.

실험 결과

연구 질문

• RQ1 A형 열화된 플래그 다양체는 ℙ¹-섬유화의 탑을 통해 비특이화될 수 있는가?
• RQ2 A형 열화된 플래그 다양체는 유리적 특이점을 가지며, 정규적이고 국소적으로 완전교차인가?
• RQ3 유한체 위에서 열화된 플래그 다양체와 그 해소공간에 대해 프로베니우스 분할이 존재하는가?
• RQ4 PBW-중량을 가진 모듈 Vλa에 대해 열화된 플래그 다양체 위에서 Borel-Weil 유사 정리가 성립하는가?
• RQ5 해소공간 Rλ 위에서 Atiyah-Bott-Lefschetz 공식을 통해 Vλa의 q-특성식을 계산할 수 있는가?

주요 결과

• 해소공간 Rλ는 매끄럽고 기약적인 다양체이며, 열화된 플래그 다양체 𝒜λa 위에 연속적인 ℙ¹-섬유화의 탑으로 구성된다.
• 열화된 플래그 다양체 𝒜λa는 정규적이고 국소적으로 완전교차이므로, 코hen-Macaulay이자 고렌스타인이다.
• Rλ와 𝒜λa는 모두 𝔽̄p 위에서 프로베니우스로 분할 가능하며, 이는 ℂ 위에서 𝒜λa가 유리적 특이점을 가짐을 의미한다.
• Borel-Weil 정리는 열화된 플래그 다양체에 대해 성립한다: H⁰(𝒜λa, 𝒪(1))는 PBW-중량 모듈 Vλa의 쌍대와 동형이며, 고차 코homology는 0이다.
• Vλa의 q-특성식은 Rλ 내 2^{dim 𝔫}개의 토러스 고정점에 대한 합으로 주어지며, 각 기여는 고정점에서의 탄성공간의 무게에 의해 결정된다.
• n=2일 때, 특성식 공식은 ch_q V_{mω} = z^m + qz^{m-2} + ⋯ + q^m z^{-m}를 도출하며, 기대되는 형태와 일치한다.