[논문 리뷰] Koszul duality between Higgs and Coulomb categories $\mathcal{O}$

Ben Webster|arXiv (Cornell University)|2016. 11. 20.

Algebraic structures and combinatorial models참고 문헌 32인용 수 24

한 줄 요약

이 논문은 공통의 조합적 카테고리(스테인베르크 카테고리)를 다리로 삼아, 양자화된 쿨롱 브랜치 위의 무게 모듈의 카테고리와 히그스 브랜치 위의 G-등변 D-모듈의 카테고리 사이에 코즐 유도 동치를 수립한다. 이 유도는 재구성 가능한 군 G와 표현 V에 대해 일반적으로 성립하며, A형에서의 파라보릭-특이 범주 O 유도와 초타원형 코즐 유도와 같은 알려진 유도들로 특수화된다.

ABSTRACT

We prove a Koszul duality theorem between the category of weight modules over the quantized Coulomb branch (as defined by Braverman, Finkelberg and Nakajima) attached to a group $G$ and representation $V$ and a category of $G$-equivariant D-modules on the vector space $V$. This is proven by relating both categories to an explicit, combinatorially presented category. These categories are related to generalized categories $\mathcal{O}$ for symplectic singularities. Letting $\mathcal{O}_{\operatorname{Coulomb}}$ and $\mathcal{O}_{\operatorname{Higgs}}$ be these categories for the Coulomb and Higgs branches associated to $V$ and $G$, we obtain a functor $\mathcal{O}_{\operatorname{Coulomb}}^! o \mathcal{O}_{\operatorname{Higgs}}$ from the Koszul dual of one to the other. This functor is an equivalence in the special cases where the hyperkähler quotient of $T^*V$ by $G$ is a Nakajima quiver variety or smooth hypertoric variety. This includes as special cases the parabolic-singular Koszul duality of category $\mathcal{O}$ in type A, the categorified rank-level duality proposed by Chuang and Miyachi and proven by Shan, Vasserot and Varagnolo, and the hypertoric Koszul duality proven by Braden, Licata, Proudfoot and the author. We also show that this equivalence intertwines so-called twisting and shuffling functors. This together with the duality discussed confirms the most important components of the symplectic duality conjecture of Braden, Licata, Proudfoot and the author in this case.

연구 동기 및 목표

• 양자화된 쿨롱 브랜치 위의 무게 모듈의 카테고리와 히그스 브랜치 위의 G-등변 D-모듈의 카테고리 사이에 통일된 코즐 유도를 수립하기.
• A형에서의 파라보릭-특이 범주 O 유도와 초타원형 유도를 포함한 알려진 특수 케이스의 코즐 유도를 포함하는 통합 프레임워크를 제공하기.
• G에 의한 T∗V의 하이퍼카일러 퀼리언트에 의해 발생하는 심플렉틱 특이점에 대해 심플렉틱 유도 추측을 확인하기.
• 유도 함수자가 트위스팅 및 셔플링 함자와 서로 뒤섞임을 보여주어, 심플렉틱 유도 추측이 예측한 구조와 일치함을 보이기.
• 아핀 그라스만이안에 의존하지 않는 순수 대수적이고 조합적으로 기술된 양자화된 쿨롱 브랜치의 모델을 구축하여 일반화와 증명을 가능하게 하기.

제안 방법

• 히그스와 쿨롱 범주 O 사이의 다리를 제공하는 공통의 조합적 카테고리(스테인베르크 카테고리)를 정의하기.
• McGerty와 Nevins의 방법을 따르며, T∗V 위의 미크로로컬 D-모듈의 해밀토니안 축소를 통해 히그스 측 카테고리를 정의하기.
• 아핀 그라스만이안을 통한 기하적 실현에 의존하지 않는, 양자화된 쿨롱 브랜치의 순수 대수적 표현을 통해 쿨롱 측 카테고리를 구성하기.
• 무게 모듈과 관련된 군중화된 대수에 대해 코즐 유도 이론을 적용하고, 이중 2차 대수 구성법을 사용하여 두 카테고리를 연결하기.
• 하이퍼카일러 퀄리언트가 나카지마 퀴버 다양체 또는 스무스 초타원형 다양체일 경우, 결과로 얻어진 유도 함수자가 동치임을 증명하기.
• 조합적 모델 위에서의 작용을 분석함으로써, 유도 함수자가 트위스팅 및 셔플링 함자와 서로 뒤섞임을 검증하기.

실험 결과

연구 질문

• RQ1 임의의 재구성 가능한 군 G와 표현 V에 대해, 히그스와 쿨롱 범주 O 사이에 통일된 코즐 유도가 존재하는가?
• RQ2 이 유도는 A형에서의 파라보릭-특이 범주 O 유도와 초타원형 코즐 유도와 같은 알려진 케이스로 특수화되는가?
• RQ3 아핀 그라스만이안에 대한 참조 없이도 양자화된 쿨롱 브랜치를 대수적으로 기술할 수 있는가?
• RQ4 유도 함수자가 심플렉틱 유도 추측이 예측한 바와 같이 트위스팅 및 셔플링 함자 구조를 유지하는가?
• RQ5 유도가 동치가 되는 조건는 무엇이며, 이는 하이퍼카일러 퀄리언트의 기하학과 어떻게 관련되는가?

주요 결과

• 논문은 양자화된 쿨롱 브랜치 위의 무게 모듈의 카테고리와 히그스 브랜치 위의 G-등변 D-모듈의 카테고리 사이에 코즐 유도 동치를 구축한다.
• 이 유도는 양측에 대해 통일된 모델을 제공하는 공통의 조합적 카테고리(스테인베르크 카테고리)를 통해 수립된다.
• 하이퍼카일러 퀄리언트가 나카지마 퀴버 다양체 또는 스무스 초타원형 다양체일 경우, 이 동치가 성립한다.
• 유도 함수자는 트위스팅 및 셔플링 함자와 서로 뒤섞이며, 심플렉틱 유도 추측의 핵심 예측을 확인한다.
• 논문은 일반적인 G와 V에 대해 아핀 그라스만이안에 의존하지 않는 첫 번째 순수 대수적 기술을 제공한다.
• 결과는 A형에서의 파라보릭-특이 유도와 셰안, 바사로, 바라고노의 증명에 따라 분류된 랭크-레벨 대칭의 일반화를 포함하여 알려진 코즐 유도 사례들을 통합하고 일반화한다.