[논문 리뷰] Demazure character formula for semi-infinite flag manifolds

Syu Kato|arXiv (Cornell University)|2016. 05. 16.

Advanced Combinatorial Mathematics인용 수 4

한 줄 요약

이 논문은 반무한 플라그 다양체의 모든 슈부르트 다양체가 프로젝티브 정규임을 증명하며, 이를 통해 딘더 모듈을 이러한 다양체의 전역 단면으로 기하학적으로 해석할 수 있다. 또한 페이진-마케돈스키의 일반화된 웰 모듈을 기하학적으로 실현하고, $t = \infty$의 특수화를 기하학적으로 해석한다.

ABSTRACT

We provide a proof that every Schubert manifold of a semi-infinite flag manifold is projectively normal. This gives us an interpretation of a Demazure module of a global Weyl module of a current Lie algebra as the space of (the dual of) the global sections of a semi-infinite Schubert manifold. Moreover, we give geometric realizations of Feigin-Makedonskyi's generalized Weyl modules, and the $t = \infty$ specialization of non-symmetric Macdonald polynomials.

연구 동기 및 목표

• 반무한 플라그 다양체의 슈부르트 다양체가 프로젝티브 정규임을 증명하는 것.
• 현재 리 대수의 전역 웰 모듈의 딘더 모듈을 반무한 슈부르트 다양체 위의 선다발의 전역 단면으로 해석하는 것.
• 페이진-마케돈스키의 일반화된 웰 모듈의 기하학적 구성 제공.
• 비대칭 맥도날드 다항식의 $t = \infty$ 특수화를 기하학적으로 실현하는 것.

제안 방법

• 반무한 플라그 다양체와 그 슈부르트 부분다양체의 기하학을 활용한다.
• 프로젝티브 정규성의 개념을 적용하여 단면의 정수성 및 생성 성질을 확립한다.
• 현재 리 대수의 맥락에서 전역 웰 모듈과 그 딘더 모듈의 구조에 기반한다.
• 슈부르트 다양체 위의 선다발의 코homology를 이용하여 일반화된 웰 모듈의 기하 모델을 구성한다.
• 맥도날드 다항식의 $t = \infty$ 극한을 통해 표현론적 대상과 기하적 불변량을 연결한다.
• 코homological 데이터와 모듈 구조 간의 관계를 규명하기 위해 대수기하학과 표현론의 도구를 활용한다.

실험 결과

연구 질문

• RQ1 반무한 플라그 다양체의 슈부르트 다양체는 프로젝티브 정규인가?
• RQ2 현재 리 대수의 전역 웰 모듈의 딘더 모듈은 반무한 슈부르트 다양체 위의 선다발의 전역 단면으로 실현될 수 있는가?
• RQ3 페이진-마케돈스키의 일반화된 웰 모듈은 반무한 플라그 다양체를 통해 기하학적으로 구성될 수 있는가?
• RQ4 비대칭 맥도날드 다항식의 $t = \infty$ 특수화에는 기하학적 해석이 존재하는가?
• RQ5 반무한 슈부르트 다양체의 코homological 성질은 표현론적 모듈과 어떻게 관련되는가?

주요 결과

• 반무한 플라그 다양체의 모든 슈부르트 다양체는 프로젝티브 정규이며, 이는 좌표환의 전역 단면에 의해 생성된다는 것을 보장한다.
• 현재 리 대수의 전역 웰 모듈의 딘더 모듈은 반무한 슈부르트 다양체 위의 선다발의 전역 단면 공간과 동형임을 보여준다.
• 페이진-마케돈스키의 일반화된 웰 모듈은 반무한 슈부르트 다양체 위의 선다발의 전역 단면 공간의 쌍대공간으로 기하학적으로 실현된다.
• 비대칭 맥도날드 다항식의 $t = \infty$ 특수화는 반무한 슈부르트 다양체 위의 선다발의 전역 단면의 특성으로 실현된다.
• 기하학적 구성은 반무한 플라그 다양체의 대수기하학을 통해 표현론적 대상을 새로운 방식으로 해석한다.
• 결과적으로 현재 대수의 표현론과 반무한 플라그 다양체의 기하학 사이의 다리를 쌓는다.