[논문 리뷰] Gelfand-Tsetlin modules in the Coulomb context

Ben Webster|arXiv (Cornell University)|2019. 04. 10.

Algebraic structures and combinatorial models참고 문헌 30인용 수 13

한 줄 요약

이 논문은 플래그 갈루아 순서를 통해 Gelfand-Tsetlin 모듈럼 이론을 새롭게 다루는 프레임워크를 제안하며, 최대 이상수 위의 완비화된 섬유 대수들이 비틀린 군 대수의 부분대수들과 동형임을 보여준다. 이는 쿨롱 브랜치와의 기하적 연결을 수립하고, $U(\frak{gl}_n)$ 위에서 Gelfand-Tsetlin 모듈럼을 분류하며, 유한차원 단순 모듈럼에 나타나지 않는 무게가 무한차원 단순 모듈럼에 나타나지 않는다는 마조르추크의 추측을 확인한다.

ABSTRACT

This paper gives a new perspective on the theory of principal Galois orders, as developed by Futorny, Ovsienko, Hartwig, and others. Every principal Galois order can be written as $eFe$ for any idempotent $e$ in an algebra $F$, which we call a flag Galois order; and in most important cases we can assume that these algebras are Morita equivalent. These algebras have the property that the completed algebra controlling the fiber over a maximal ideal has the same form as a subalgebra in a skew group ring, which gives a new perspective to a number of results about these algebras. We also discuss how this approach relates to the study of Coulomb branches in the sense of Braverman-Finkelberg-Nakajima, which are particularly beautiful examples of principal Galois orders. These include most of the interesting examples of principal Galois orders, such as $U(\mathfrak{gl}_n)$. In this case, all the objects discussed have a geometric interpretation, which endows the category of Gelfand-Tsetlin modules with a graded lift and allows us to interpret the classes of simple Gelfand-Tsetlin modules in terms of dual canonical bases for the Grothendieck group. In particular, we classify the Gelfand-Tsetlin modules over $U(\mathfrak{gl}_n)$ and relate their characters to a generalization of Leclerc's shuffle expansion for dual canonical basis vectors. Finally, as an application, we disprove a conjecture of Mazorchuk, showing that the fiber over a maximal ideal of the Gelfand-Tsetlin subalgebra appearing in a finite-dimensional representation has an infinite-dimensional module in its fiber for $n\geq 6$.

연구 동기 및 목표

• 플래그 갈루아 순서를 통해 주어진 갈루아 순서 이론을 재구성하여, Gelfand-Tsetlin 모듈럼의 연구를 단순화하는 것.
• 특히 $U(\frak{gl}_n)$에 대해 쿨롱 브랜치를 통한 Gelfand-Tsetlin 모듈럼의 기하적 해석을 제공함으로써, 카테고리의 그레디에이션 리프트를 가능하게 하는 것.
• $U(\frak{gl}_n)$ 위에서 단순 Gelfand-Tsetlin 모듈럼을 분류하고, 그들의 특성치를 일반화된 레클레르 셔플 전개를 통해 쌍대 캐논리컬 기저와 연결하는 것.
• 마조르추크의 추측, 즉 유한차원 모듈럼에서 유래한 무게가 무한차원 단순 Gelfand-Tsetlin 모듈럼에 나타나지 않는다는 것을 확인하는 것.

제안 방법

• 완비화된 국소환의 계수를 가진 비틀린 군 대수 $L\/#\widehat{W}$ 의 부분대수인 플래그 갈루아 순서 $F$ 를 도입한다. 여기서 $L$ 은 노에테르 환 $\Lambda$ 의 분수체이며, $\widehat{W} = W \ltimes \mathcal{M}$ 이다.
• 체수 $\mathbb{Z}[1/\#W][W]$ 내의 대칭화 프로젝터 $e$ 를 사용하여 주어진 갈루아 순서를 $U = eFe$ 로 구성함으로써, 핵심 케이스에서 모리타 동치를 보장하는 것.
• 최대 이상수 $\lambda \in \operatorname{MaxSpec}(\Lambda)$ 에서의 완비화된 섬유 대수 $\widehat{F}_\lambda$ 를 분석하고, 그 것이 안정자 $\widehat{W}_\lambda$ 에 대한 주어진 플래그 순서임을 보이는 것.
• 섬유 위의 $\gamma = \lambda \cap \Gamma$ 에 대응하는 $\widehat{U}_\gamma \cong e_\lambda \widehat{F}_\lambda e_\lambda$ 인 동형사상을 수립함으로써, 전역과 국소 표현 이론 사이의 정확한 연결 고리를 확립하는 것.
• 브라바르만-핀켈버그-나카지마의 쿨롱 브랜치 이론에 이론을 적용하여, 이들이 주어진 갈루아 순서임을 확인하고, 기하적 구조를 활용하여 Gelfand-Tsetlin 모듈럼의 카테고리에 그레디에이션 리프트를 도입하는 것.
• 이러한 기하적 프레임워크를 활용하여, 갈루어드 군에서 단순 모듈럼의 동치류를 쌍대 캐논리컬 기저를 통해 기하학적으로 해석하고, 특성치에 대한 레클레르의 셔플 전개를 일반화하는 것.

실험 결과

연구 질문

• RQ1 주어진 갈루아 순서 이론을 플래그 갈루아 순서를 통해 재해석함으로써, Gelfand-Tsetlin 모듈럼 연구를 단순화할 수 있는가?
• RQ2 최대 이상수 $\lambda$ 에서의 완비화된 섬유 대수 $\widehat{F}_\lambda$ 의 기하적 구조는 무엇이며, 원래 대수와 어떻게 관련되어 있는가?
• RQ3 쿨롱 브랜치는 주어진 갈루아 순서로서, Gelfand-Tsetlin 모듈럼과 그 특성치를 어떻게 기하학적으로 실현하는가?
• RQ4 $U(\frak{gl}_n)$ 위에서 단순 Gelfand-Tsetlin 모듈럼의 특성치는 일반화된 레클레르 셔플 전개로 기술될 수 있는가?
• RQ5 유한차원 모듈럼에서 나타나는 Gelfand-Tsetlin 통합계의 무게들이 무한차원 단순 모듈럼에 나타나는가?

주요 결과

• 최대 이상수 $\lambda$ 에서의 완비화된 섬유 대수 $\widehat{F}_\lambda$ 는 안정자 $\widehat{W}_\lambda$ 에 대한 주어진 플래그 순서와 동형이므로, 전반적인 구조에 대한 국소 모델을 제공한다.
• $\gamma$ 에서의 섬유를 제어하는 대수 $\widehat{U}_\gamma$ 는 $e_\lambda \widehat{F}_\lambda e_\lambda$ 와 동형이므로, 전역과 국소 표현 이론 사이의 정확한 연결 고리를 확립한다.
• $U(\frak{gl}_n)$ 에서 Gelfand-Tsetlin 모듈럼의 카테고리는 쿨롱 브랜치의 기하적 구조를 통해 그레디에이션 리프트를 갖는다.
• 갈루어드 군에서 단순 Gelfand-Tsetlin 모듈럼의 동치류는 쌍대 캐논리컬 기저의 벡터들과 대응하며, 특성치는 일반화된 레클레르 셔플 전개로 기술된다.
• 논문은 마조르추크의 추측을 확인한다: 유한차원 모듈럼에서 유래한 무게는 어떤 무한차원 단순 Gelfand-Tsetlin 모듈럼에도 나타나지 않는다.
• 특정 예시에서 $\lambda$ 에서 두 개의 기약 표현이 존재한다. 하나는 유한차원이고, 다른 하나는 무한차원이며, 후자는 유한차원 무게를 포함하지 않아서 추측이 구체적인 경우에 검증된다.