[논문 리뷰] Spherical Hall algebras of a weighted projective curve

Jyun-Ao Lin|arXiv (Cornell University)|2014. 10. 03.

Algebraic structures and combinatorial models참고 문헌 28인용 수 7

한 줄 요약

이 논문은 임의의 종수 $g$를 가진 매끄럽고 사영적인 곡선 위의 포괄적 벡터 번들의 구면 홀름 대수 $Σ^{>}\,$에 대해 셔플 유사 표현을 수립하며, 모든 하더-나라시마니 스트라타의 특성 함수를 포함함을 증명한다. 또한 랭크-1 부분 $\mathbf{U}^{>}[1]$이 유형 $A$의 양자 아핀 대수들의 텐서곱 위에 자연스러운 모듈러 구조를 지닌다. 이는 아핀 극한 무게 모듈의 곱과 동형이며, 따라서 포괄적 번들의 카크 다항식 존재성에 대한 스키프만의 추측을 증명한다.

ABSTRACT

In this article, we deal with the structure of the spherical Hall algebra of coherent sheaves with parabolic structures on a smooth projective curve of arbitrary genus. We provide a shuffle-like presentation of the vector bundle part and show the existence of the generic form. We also prove that the spherical Hall algebra contains the characteristic functions on all the Harder-Narasimhan strata. These results together imply Schiffmann's theorem on the existence of Kac polynomials for quasi-parabolic vector bundles of fixed rank and multi-degree over the curve. On the other hand, the shuffle structure we obtained is new and we make links to the representations of quantum affine algebras of type A.

연구 동기 및 목표

• 매끄럽고 사영적인 곡선 $X$의 임의의 종수 $g$를 가진 포괄적 계량층의 구면 홀름 대수 $\mathbf{U}$ 의 대수적 구조를 이해하는 것.
• 스키프만이 허그스 군의 모듈리 공간의 피카르 다항식을 계산하는 데 쓰인 방법을 포괄적 경우로 확장하는 것.
• 비포괄적 경우를 일반화하여, $\mathbf{U}^{>}\subset \mathbf{U}$ 인 번들 부분에 셔플 유사 표현을 수립하는 것.
• 모든 하더-나라시마니 스트라타의 특성 함수가 $\mathbf{U}$ 에 포함되어 있음을 증명함으로써, 카크 다항식 존재성에 대한 핵심 단계를 밝혀내는 것.
• 모듈러 동형을 통해 $\mathbf{U}^{>}[1]$의 구조를 양자 아핀 대수 $\mathbf{U}_v(\widehat{\mathfrak{sl}}_{w_i})$와 연결함으로써, 극한 무게 모듈의 곱과 동형임을 보이는 것.

제안 방법

• 매끄럽고 사영적인 곡선 $X$ 위의 (준-)포괄적 계량층의 개념을 도입하여, 그들이 유도 가능한 아벨 범주를 이룬다는 것을 보임.
• 포괄적 토션층과 포괄적 선다발의 특성 함수들에 의해 생성되는 부분대수로써, 구면 홀름 대수 $\mathbf{U}$ 를 정의함.
• 유리 함수 $h(z)\in \mathbb{C}(z)$ 와 $\mathbb{C}[z^{\pm 1}]\otimes \bigotimes_{p\in S} V_p$ 위에 작용하는 연산자 $\Gamma_h(z/z')$ 를 사용하여, $\mathbf{U}^{>}\subset \mathbf{U}$ 에 셔플 유사 대수적 구조를 구성함.
• $\mathbf{U}^{>}[1]$ 이 $\mathbf{U}_v(\widehat{\mathfrak{sl}}_{w_1})\otimes \cdots \otimes \mathbf{U}_v(\widehat{\mathfrak{sl}}_{w_N})$ 위에 자연스러운 모듈러 구조를 지닌다는 것을 증명하고, 이는 $V(\varpi_{1,1})\otimes \cdots \otimes V(\varpi_{N,1})$ 인 아핀 극한 무게 모듈의 곱과 동형임을 보임.
• 생성자 간의 교환관계를 증명하기 위해 연역법과 연산자 $I_{p,j}(i)$ 를 포함한 재귀적 관계를 사용함으로써, 모듈러 구조와 셔플 대수 표현을 검증함.
• 반복적 코곱과 상수항 사상 적용을 통해, 모든 하더-나라시마니 스트라타의 특성 함수가 $\mathbf{U}$ 에 속해 있음을 보임.

실험 결과

연구 질문

• RQ1 매끄럽고 사영적인 곡선의 종수 $g$를 가진 포괄적 계량층의 구면 홀름 대수 $\mathbf{U}$ 는 모든 하더-나라시마니 스트라타의 특성 함수를 포함하는가?
• RQ2 부분대수 $\mathbf{U}^{>}\subset \mathbf{U}$ 는 셔플 유사 대수적 구조를 지닐 수 있는가?
• RQ3 $\mathbf{U}^{>}[1]$ 은 자연스럽게 양자 아핀 대수 $\mathbf{U}_v(\widehat{\mathfrak{sl}}_{w_i})$ 의 텐서곱 위의 모듈러 구조를 지닐 수 있는가?
• RQ4 $\mathbf{U}^{>}[1]$ 은 아핀 극한 무게 모듈 $V(\varpi_{i,1})$ 의 곱과 동형인가?
• RQ5 이러한 구조의 존재는 고정된 랭크와 다중도수를 가진 포괄적 벡터 번들의 카크 다항식 존재성을 암시하는가?

주요 결과

• 구면 홀름 대수 $\mathbf{U}$ 는 모든 하더-나라시마니 스트라타의 특성 함수를 포함하며, 이는 핵심적인 대수적 성질이다.
• 번들 부분 $\mathbf{U}^{>}\subset \mathbf{U}$ 는 $V\widehat{\otimes}V$ 위에 작용하는 연산자 $\Gamma_h(z/z')$ 를 통해 비포괄적 경우를 일반화한 셔플 유사 표현을 가진다.
• $\mathbf{U}^{>}[1]$ 은 $\mathbf{U}_v(\widehat{\mathfrak{sl}}_{w_1})\otimes \cdots \otimes \mathbf{U}_v(\widehat{\mathfrak{sl}}_{w_N})$ 위에 자연스러운 모듈러 구조를 지니며, 연역법을 통해 명시적인 교환관계가 검증되었다.
• $\mathbf{U}^{>}[1]$ 은 아핀 극한 무게 모듈의 텐서곱 $V(\varpi_{1,1})\otimes \cdots \otimes V(\varpi_{N,1})$ 과 동형이며, 이들은 기약적이고 크리스탈 기저를 가진다.
• $\mathbf{U}$ 의 대수적 구조는 고정된 랭크와 다중도수를 가진 포괄적 벡터 번들의 카크 다항식 존재성에 관한 스키프만의 정리를 암시한다. 이는 그의 이전 결과를 포괄적 경우로 확장한다.
• $\mathbf{U}^{>}[1]$ 에 대한 히크 작용은 온전히 희생된 분할의 이와하라-히크 대수와 동형이 아니며, 이는 포괄적 구조에 대한 새로운 슈어-웨일 dualit의 가능성을 시사한다.