[논문 리뷰] The critical CoHA of a self dual quiver with potential

Ben Davison|arXiv (Cornell University)|2013. 11. 27.

Algebraic structures and combinatorial models참고 문헌 16인용 수 9

한 줄 요약

이 논문은 잠재력이 있는 자기쌍대 쿼이버의 임계 코homological 할름 대수(CoHA)가 자유 초구대적(supercommutative)임을 증명하며, 그 생성 요소들은 BPS 상태에 대응한다. 이 구조는 임계 자유 초구대적 대수의 특성 함수를 통해 정밀화된 도널드슨-테이터(invariant)의 무한곱 공식을 설명하며, 자기쌍대 조건 하에서 BPS 상태 공간의 유한차원성에 대한 증거를 제공한다.

ABSTRACT

In this paper we provide an explanation for the many beautiful infinite product formulas for generating functions of refined DT invariants for symmetric quivers with potential: they are characteristic functions of free supercommutative algebras. We prove this by first showing that, for a quiver with potential that satisfies a notion of self duality, introduced below, the critical cohomological Hall algebra is supercommutative, and admits a kind of localised coproduct, which is enough to guarantee freeness. The primitive graded pieces of the space of generators of the cohomological Hall algebra are a putative definition of the space of BPS states in String Theory, and we discuss the issue of their finite-dimensionality. We consider the conjecture that in the presence of the above-mentioned self duality these spaces are always finite-dimensional, and finish with some examples, in which, amongst other things, this conjecture can be seen to hold. Some of these examples use a cohomological dimensional reduction of the sort used by Behrend, Bryan and Szendr\H{o}i to calculate the motivic DT invariants of $\mathbb{C}^3$. We prove the required isomorphism holds in the appendix. The final example pulls together all of the technology in this paper to describe the link between critical CoHAs and character varieties: we build a free supercommutative critical CoHA out of the cohomology of untwisted character varieties, and present some evidence that the spaces of primitive generators in this case are given by the cohomology of their twisted counterparts. In a separate paper we discuss our other main example, which yields a new proof of the Kac conjecture.

연구 동기 및 목표

• 대칭 쿼이버에 잠재력을 부여한 경우 정밀화된 도널드슨-테이터 불변량에서 나타나는 무한곱 공식의 기원을 밝히는 것.
• 자기쌍대 쿼이버에 잠재력을 부여한 경우 임계 CoHA가 초구대적(supercommutative)임을 증명하고 국소화된 코프로덕트를 갖추어 대수의 자유성(freeness)을 보장하는 것.
• CoHA 내에서 원시 생성자 공간을 정의하고, 이를 BPS 상태의 후보로 간주하며 그 유한차원성에 대해 연구하는 것.
• 임계 CoHA를 캐릭터 다양체와 연결하기 위해, 비틀린 캐릭터 다양체 코homology로부터 자유 초구대적 CoHA를 구성하는 것.
• 자기쌍대 조건 하에서 BPS 상태 공간이 유한차원임을 뒷받기키는 증거를 제공하며, 차원 감소 기법과 코homological 기법을 포함한 예시들을 통해 이를 뒷받침하는 것.

제안 방법

• 임계 CoHA가 초구대적임을 보장하는 쿼이버에 잠재력을 부여하는 자기쌍대성의 개념을 도입하는 것.
• 임계 CoHA에 국소화된 코프로덕트 구조를 구성하여 대수의 자유성을 증명하는 데 충분한 것.
• 베르렌드, 브라이언, 셴드로이의 영감을 받은 코homological 차원 감소 기법을 사용하여 모티브적 DT 불변량을 계산하는 것.
• 임계 CoHA를 비틀린 및 비틀리지 않은 캐릭터 다양체와 연결하여, 원시 생성자가 비틀린 캐릭터 다양체의 코homology에 실현될 수 있음을 보여주는 것.
• 보조적으로 주요 기술적 주장들을 뒷받침하는 바탕이 되는 코homological 구성 간의 동형사상 증명.
• 주요 예시에 이 토대를 적용하여, 동반 논문에서 상세히 기술된 바와 같이 카크 추측을 새롭게 증명하는 것.

실험 결과

연구 질문

• RQ1 왜 대칭 쿼이버에 잠재력을 부여한 경우 정밀화된 도널드슨-테이터 불변량이 무한곱 공식을 보이며, 그 배후에 어떤 대수적 구조가 존재하는가?
• RQ2 쿼이버에 잠재력을 부여한 경우 임계 코homological 할름 대수(CoHA)가 초구대적(supercommutative)이고 자유(free)가 되는 조건은 무엇인가?
• RQ3 자기쌍대 조건이 성립할 때, 임계 CoHA의 원시 순차적 성분(원시 생성자) — BPS 상태 공간으로 제안되는 것 — 은 유한차원적인가?
• RQ4 비틀린 및 비틀리지 않은 캐릭터 다양체의 코homology는 임계 CoHA의 구조와 어떻게 관련되어 있는가?
• RQ5 자기쌍대 쿼이버에 잠재력을 부여하는 틀을 사용하여 카크 추측을 증명하거나 뒷받침할 수 있는가?

주요 결과

• 자기쌍대 쿼이버에 잠재력을 부여한 경우 임계 CoHA가 자유 초구대적임을 증명하였으며, 국소화된 코프로덕트로부터 유래된 대수적 구조를 가짐을 확인함.
• 정밀화된 DT 불변량에서 나타나는 무한곱 공식은 자유 초구대적 대수의 특성 함수로 설명됨.
• 임계 CoHA의 원시 생성자는 끈 이론에서 BPS 상태의 후보 정의로 식별됨.
• 자기쌍대 조건 하에서 원시 생성자 공간이 유한차원임을 뒷받침하는 증거를 제공하며, 핵심 추측에 대한 지원을 제공함.
• 비틀리지 않은 캐릭터 다양체의 코homology로부터 자유 초구대적 임계 CoHA를 구성함을 성취하였으며, 이는 비틀린 캐릭터 다양체 코homology와 연결됨.
• 이 틀을 적용하여 카크 추측의 새로운 증명을 도출함을 확인함. 이는 동반 논문에서 상세히 기술됨.