Quasimap critical cohomology, Coulomb branches, and quantum groups

기술 요약: 준사상(Quasimap)의 임계 코홈올로지, 쿨롱 분지, 그리고 양자 군

문제 제문에 관한 기술적 개요
본 논문은 나카지마 퀴버 다양체(Nakajima quiver variety) $X$로의 $\mathbb{P}^1$으로부터의 기저 준사상(based quasimaps) 공간 $QM_\xi(\mathbb{P}^1, X)$의 기하학적 표현론을 조사한다. 연구의 핵심 대상은 이 공간의 도날드슨-토마스(Donaldson-Thomas, DT) 코홈올로지로, 이는 정준 DT 층(canonical DT sheaf) $\phi_{QM_\xi(\mathbb{P}^1, X)}$의 유도 전역 단면(derived global sections)으로 정의된다. 이 층은 준사상 공간의 내재적인 $(-1)$-시프트된 심플렉틱 구조(intrinsic $(-1)$-shifted symplectic structure)로부터 발생한다.

본 논문은 두 가지 주요 과제를 다룬다:

1. 명시적 실현: DT 층의 내재적 정의는 비구성적이다(로컬 다르부 차트의 글루잉에 의존함). 저자들은 이 층과 그 코홈올로지에 대한 명시적이고 계산 가능한 모델을 구하고자 한다.
2. 대칭 작용: 두 가지 서로 다른 부류의 대수 작용을 DT 코홈올로지에 구축하고 관계를 맺고자 한다:
   • 시프트된 야양안(Shifted Yangians): 코홈올로지 홀 대수(Cohomological Hall Algebras, CoHa) 및 헤케 수정(Hecke modifications) 이론으로부터 기인한다.
   • 양자화된 쿨롱 분지(Quantized Coulomb Branches): BFN(Braverman, Finkelberg, Nakajima)에 의해 정의되었으며, 섹션을 가진 번들의 헤케 수정을 매개변수화하는 트리플(triples) 공간의 적분 보렐-무어 호몰로지(equivariant Borel-Moore homology)이다.

오랫동안 지속된 추측은 양자화된 쿨롱 분지 대수가 준사상 공간의 적분 코홈올로지 상에서 작용한다는 것이다. 본 논문은 표준 보렐-무어 호몰로지가 아닌 임계 코홈올로지(vanishing cycles)의 틀 안에서 이 추측을 정교화하고 증명하고자 한다.

방법론
저자들은 유도 대수 기하학(Derived Algebraic Geometry, DAG)을 사용하여 $QM_\xi(\mathbb{P}^1, X)$를 두 가지 다른 방식의 전역적 유도 임계 로커스(global derived critical locus)로 나타낸다. 이러한 "임계 모델(critical models)"을 통해 DT 층은 매끄러운 주변 공간 위의 상수 층에 적용된 소멸 사이클(vanishing cycle) 함자로 명시적으로 구현될 수 있다.

1. 퀴버 모델 (제1부):

   • [85]의 선행 연구를 바탕으로, 저자들은 $QM_\xi(\mathbb{P}^1, X)$를 특정 프레임드 퀴버(framed quiver)와 포텐셜 $(Q_{QM}, W)$의 표현 공간의 임계 로커스로 제시한다.
   • 이 모델은 베일린슨 분해(Beilinson resolution)를 사용하여 벡터 번들을 벡터 공간으로, 섹션을 선형 사상으로 교환한다.
   • 저자들은 트리플 퀴버 $\tilde{Q}$와 큐빅 포텐셜 $\tilde{W}$에 연관된 CoHa 이론을 활용한다. 이들은 헤케 대응(Hecke correspondences)을 통해 니포텐트(nilpotent) 및 $\omega$-니포텐트 부분 대수의 작용을 구축한다.
   • 이를 확장하여, 인터섹션 이론적 논증을 통해 주변 퀴버 모듈리 공간 상에서 야양안의 정의 관계를 검증함으로써 시프트된 야양안 $Y^T_\mu(\tilde{Q}, \tilde{W})$의 작용을 구축한다.

2. 체흐(Čech) 모델 (제2부):

   • 저자들은 $Bun_G(\mathbb{P}^1)$의 유니포미제이션 정리(uniformization theorem)를 준사상의 설정으로 격상시킨다. 이들은 $QM_\xi(\mathbb{P}^1, X)$를 무한 차원(Tate) 번들(무한 차원 번들은 $\mathbb{P}^1$ 상의 $G$-번들과 무한대에서의 트라이벌라이제이션을 가짐) 위의 포텐셜 함수 $W_\xi$의 임계 로커스로 제시한다.
   • 이 구성은 BFN 쿨롱 분지의 임계 기술과 호환된다. 저자들은 트리플 $\tilde{R}$의 소멸 사이클을 통한 쿨롱 분지의 대안적 구성을 정의하며, $\tilde{R}$의 임계 코홈올로지와 표준 BFN 쿨롱 분지 대수 사이의 동형을 확립한다.
   • 이 호환성을 이용하여, 양자화된 쿨롱 분지가 준사만의 DT 코홈올로지에 작용하는 자연스러운 컨볼루션 대수 작용을 구축한다.

3. 호환성 및 비교 (제3부):

   • 저자들은 $\omega$-니포텐트 홀 대수(야양안과 관련됨)로부터 양의 쿨롱 분지 대수로의 정준 사상 $\theta$를 구축한다.
   • 저자들은 베이스 포인트 $\xi \in X$가 **편극(polarized)**되어 있다(특정 라그랑지안 부분 다양체에 있음)는 기하학적 가정 하에, 야양안(홀 대수를 통한)의 작용과 쿨롱 분지의 작용이 사상 $\theta$를 통해 호환된다는 추측 B를 공식화한다. 이 경우 차원 축소(dimensional reduction)를 통해 임계 코홈올로지를 보렐-무어 호몰로지와 동일시할 수 있어 비교가 용이해진다.

주요 기여 및 결과

• 정리 A: $QM_\xi(\mathbb{P}^1, X)$ 상의 내재적 $(-1)$-시프트된 심플렉틱 구조가 퀴버 포텐셜의 유도 임계 로커스의 정준 구조와 일치함을 확립한다. 이는 DT 층을 소멸 사이클 층으로 구현하는 정준 동형을 제공한다.
• 정리 B: DT 코홈올로지 상의 코홈올로지 홀 대수 $H^T_{\tilde{Q}, \tilde{W}}$의 정준 작용 존재를 증명한다. 또한, 이 작용은 차원과 프레이밍 벡터에 의해 결정되는 시프트 $\mu$를 갖는 시프트된 야양안 $Y^T_\mu(\tilde{Q}, \tilde{W})$의 작용으로 확장된다.
• 정리 C: 트리플 $\tilde{R}$의 소멸 사이클을 통한 BFN 쿨롱 분지의 대안적 정의를 제공한다. 이는 $\tilde{R}$의 임계 코홈올로지와 BFN 공간 $R$의 표준 보렐-무어 호몰로지 사이의 차원 축소 동형을 확립하며, 이는 대수 구조 및 양자화와 호환된다.
• 정리 D: 체흐 모델에서의 내재적 심플렉틱 구조와 임계 구조 사이의 동등성을 확립하여, DT 층에 대한 두 번째 전역적 임계 로커스 제시를 제공한다.
• 정리 E: DT 코홈올로지 $QM_\xi(\mathbb{P}^1, X)$가 양자화되고 플레이버 변형된(flavor-deformed) BFN 쿨롱 분지 대수의 자연스러운 작용을 운반함을 증명한다. 이는 준사상 코홈올로지 상의 쿨롱 분지 작용에 관한 추측에 대한 긍정적인 답변이다.
• 정리 F: $\omega$-니포텐트 홀 대수로부터 쿨롱 분지 대수로의 정준 사상을 구축하며, 이는 에퀴바리언트 파라미터를 역원으로 취한 후 시프트된 야양안으로부터의 전사적 사상으로 확장된다.
• 정리 G: 베이스 포인트 $\xi$가 편극된 특정한 경우에 대해 추측 B(야양안과 쿨롱 작용의 호환성)를 증명한다. 이 증명은 보렐-무어 호몰로지로의 차원 축소에 의존한다.

의의 및 주장
본 논문은 준사상 공간의 DT 코홈올로지에 대한 기하학적 표현론의 체계적 연구를 시작한다고 주장한다. 그 의의는 다음과 같다:

1. 통합: 퀴버 다양체의 표현론에 대한 두 가지 서로 달라 보이는 접근법, 즉 헤케 수정을 통한 홀 대수/야양안 접근법과 게이지 이론/컨볼루션 대수를 통한 쿨롱 분지 접근법을 통합한다.
2. 명시적 모델: DT 층의 "글루잉 문제"를 두 가지 명시적인 전역 임계 로커스 모델(퀴버 및 체흐)을 제공함으로써 해결하여, 층을 계산 가능하게 만든다.
3. 추측의 증명: 양자화된 쿨롱 분지의 작용이 준사상 코홈올로지 상에서 존재함을 엄밀히 증명하며, 이를 임계 코홈올로지의 맥락에서 재정의함으로써 기존의 추측들을 정교화한다.
4. 사상의 기하학적 실현: 최근의 관련 연구들에서 발견되는 조합론적 접근(예: 셔플 대수)과 대조되는, 홀 대수와 쿨롱 분지 사이의 사상에 대한 순수 기하학적 구성을 제공한다.
5. 기존 사례로의 환원: $X$가 부분 플래그 다양체의 코탄젠트 번들인 특정한 경우, 저자들의 결과는 유도 임계 로커스를 사용하는 완전히 다른 증명 메커니즘을 통해 야양안과 쿨롱 분지의 작용에 관한 알려진 정리들을 회복함을 언급한다.

저자들은 일반적인 $\xi$에 대해 야양안과 쿨롱 작용의 완전한 호환성(추측 B)이 여전히 미해결 상태임을 인정하며, 이를 완전히 해결하기 위해서는 "조이스 추측(Joyce conjectures)"이나 $(-1)$-시프트된 심플렉틱 스킴에 대한 내재적 안정 엔벨로프(intrinsic stable envelopes)를 포함하는 층 이론적 접근이 필요할 수 있음을 시사한다.