[논문 리뷰] BPS algebras and generalised Kac-Moody algebras from 2-Calabi-Yau categories

Ben Davison, Lucien Hennecart외 1명|arXiv (Cornell University)|2023. 03. 22.

Algebraic structures and combinatorial models인용 수 4

한 줄 요약

이 논문은 2-Calabi–Yau 범주와 일반화된 Kac–Moody 리 대수 사이의 깊은 연결 고리를 확립한다. 좋은 모듈리 공간을 가진 이러한 범주의 BPS 대수는 일반화된 Kac–Moody 대수의 양의 부분대수의 보편적 포함 대수와 동형임을 보여준다. 이 대수의 카르탕 데이터는 모듈리 공간의 연결 성분들의 교차 코hom올로지에 의해 암시되며, 다양한 기하학적 및 표현론적 구조를 통합하고, 조합론과代수기하학 분야의 주요 추측을 증명한다.

ABSTRACT

We determine the structure of the BPS algebra of 2-Calabi-Yau Abelian categories for which the stack of objects admits a good moduli space. We prove that this algebra is isomorphic to the positive part of the enveloping algebra of a generalised Kac-Moody Lie algebra generated by the intersection cohomology of certain connected components (corresponding to roots) of the good moduli space. Some major examples include the BPS algebras of (1) the category of semistable coherent sheaves of given slope on a K3 surface or, more generally, quasiprojective symplectic surface, (2) semistable Higgs bundles on a smooth projective curve, (3) preprojective algebras of quivers, (4) multiplicative preprojective algebras and (5) fundamental groups of (quiver) Riemann surfaces. We define the BPS Lie algebras of 2-Calabi-Yau categories and prove that they coincide with the ones obtained by dimensional reduction from the critical cohomological Hall algebra in the case in which the 2-Calabi-Yau category is the category of representations of a preprojective algebra. Consequences include (1) A proof in full generality of the Bozec-Schiffmann positivity conjecture for absolutely cuspidal polynomials, a strengthening of the Kac positivity conjecture (2) A proof of the cohomological integrality conjecture for the category of semistable coherent sheaves on local K3 surfaces (3) A description of the cohomology (in all degrees) of Nakajima quiver varieties as direct sums of irreducible lowest weight representations over the BPS Lie algebra.

연구 동기 및 목표

• 2-Calabi–Yau 범주에서의 BPS 대수와 일반화된 Kac–Moody 리 대수 사이의 구조적 연결 고리를 확립하는 것.
• BPS 대수가 일반화된 Kac–Moody 대수의 양의 부분대수의 보편적 포함 대수로 나타남을 증명하는 것.
• 이 리 대수의 카르탕 데이터가 객체들의 좋은 모듈리 공간의 연결 성분들의 교차 코hom올로지에 의해 결정됨을 보여주는 것.
• 이 틀을 활용하여 표현론과 수세기 기하학에서 오랫동안 남아있던 추측, 특히 Bozec–Schiffmann의 양의 추측과 나카지마 화살표 다이어그램에 대한 코hom올로지 정수성 추측을 증명하는 것.

제안 방법

• 저자들은 [DHS22]에서 제안한 BPS 대수 구축 방법을 사용하며, 이는 2-Calabi–Yau 범주의 객체들의 모듈리 스택의 보렐–무어 호몰로지에 기반한다.
• 객체들의 좋은 모듈리 공간의 기하학을 분석하며, 근에 대응하는 연결 성분에 집중하고, 그들의 교차 코hom올로지를 계산하여 일반화된 Kac–Moody 대수의 카르탕 행렬을 정의한다.
• BPS 리 대수는 특히 전프로젝티브 대수의 경우 임계 코hom올로지 힐 대수에서 차원 축소를 통해 구성된다.
• BPS 대수의 구조가 일반화된 Kac–Moody 대수의 양의 부분대수의 보편적 포함 대수와 동형임을 증명하기 위해, BPS 층에서 코호몰로지 힐 대수로의 단사 사상들을 사용한다.
• 주요 예시들인 K3 표면 위의 반안정층, 곡선 위의 히긴스 다이어그램, 전프로젝티브 대수, 곱셈형 전프로젝티브 대수에 이 틀을 적용한다.
• 혼합 히지 모듈과 펄스러운 층에 기반한 방법으로, 등변 및 노르몰리티브 변형을 도입하여 구조를 정교화하고 더 많은 양의 결과를 증명한다.

실험 결과

연구 질문

• RQ1 2-Calabi–Yau 범주에서 좋은 객체 모듈리 공간을 가진 경우, BPS 대수는 일반화된 Kac–Moody 리 대수와 어떻게 관련되어 있는가?
• RQ2 이러한 범주로부터 유도된 일반화된 Kac–Moody 대수의 카르탕 행렬을 결정짓는 정확한 기하학적 및 코호몰로지적 자료는 무엇인가?
• RQ3 전프로젝티브 대수의 경우, BPS 리 대수는 임계 코호몰로지 힐 대수에서 차원 축소를 통해 구성될 수 있는가?
• RQ4 BPS 대수의 구조는 화살표 다이어그램의 코호몰로지 위에 작용하는 하이젠베르크 및 Kac–Moody 대수에 대한 기존 결과들을 통합할 수 있는가?
• RQ5 이 틀을 사용하여 보제크–시프만의 절대 씨클리드 다항식에 대한 양의 추측과 나카지마 화살표 다이어그램에 대한 코호몰로지 정수성 추측을 증명할 수 있는가?

주요 결과

• 좋은 모듈리 공간을 가진 2-Calabi–Yau 범주의 BPS 대수는 일반화된 Kac–Moody 리 대수의 양의 부분대수의 보편적 포함 대수와 동형이다.
• 이 리 대수의 카르탕 데이터는 객체들의 좋은 모듈리 공간의 연결 성분들의 교차 코호몰로지에 의해 명시적으로 주어진다.
• 전프로젝티브 대수의 경우, BPS 리 대수는 임계 코호몰로지 힐 대수의 차원 축소와 정확히 일치한다.
• 이 틀을 통해 보제크–시프만의 절대 씨클리드 다항식에 대한 양의 추측을 전반적으로 증명하였으며, 카크의 양의 추측을 강화한다.
• 나카지마 화살표 다이어그램의 코호몰로지가 BPS 리 대수 위의 최저 무게 기저를 갖는 기약 모듈들의 직합으로 분해됨을 증명하여, 나카지마가 오랫동안 제기한 문제를 해결한다.
• 지역 K3 표면 위의 반안정 코herent 층에 대한 코호몰로지 정수성 추측을 이 틀을 통해 증명한다.