[논문 리뷰] Motivic invariants of quivers via dimensional reduction

Andrew Morrison|arXiv (Cornell University)|2011. 03. 19.

Algebraic structures and combinatorial models참고 문헌 13인용 수 8

한 줄 요약

이 논문은 슈퍼포텐셜에 선형 인수가 존재할 경우, 일반적인 모티빅 클래스로 표현된 축소된 쿠위 표현의 가상 모티빅을 사용하여, 슈퍼포텐셜이 선형 인수를 가진 쿠위의 모티빅 도널드슨-토머스 불변량을 계산하기 위한 차원 축소 기법을 제안한다. 핵심 결과는 오르비폴드 $[\mathbb{C}^3/\mathbb{Z}_n]$에 대한 모티빅 DT 불변량 계산을 단순화하는 축소 공식으로, 벤 영의 3차원 색칠된 분할에 대한 결과를 정교화하는 명시적 생성 함수를 도출한다.

ABSTRACT

We provide a reduction formula for the motivic Donaldson-Thomas invariants associated to a quiver with superpotential. The method is valid provided the superpotential has a linear factor, it allows us to compute virtual motives in terms of ordinary motivic classes of simpler quiver varieties. We outline an application, giving explicit formulas for the motivic Donaldson-Thomas invariants of the orbifolds $[\CC imes \CC^2/\ZZ_n]$.

연구 동기 및 목표

• 슈퍼포텐셜에 선형 인수가 존재할 경우, 슈퍼포텐셜이 있는 쿠위의 모티빅 도널드슨-토머스 불변량을 계산하기 위한 일반적인 방법을 개발하는 것.
• 가상 모티빅을 더 단순한 축소된 쿠위 표현 다양체의 일반 모티빅 클래스로의 계산으로 축소하는 것.
• 기하학적으로 중요한 칼라비-유오 3차원 오르비폴드인 $[\mathbb{C}^3/\mathbb{Z}_n]$에 대해 모티빅 DT 불변량을 계산하기 위해 축소 공식을 적용하는 것.
• 벤 영의 3차원 색칠된 분할에 대한 결과를 명시적 생성 함수를 통해 모티빅으로 정교화하는 것.

제안 방법

• 이 방법은 차원 축소에 기반한다: 슈퍼포텐셜 $W = L \cdot R$가 선형 인수 $L$를 가질 경우, $\operatorname{Tr}W$의 임계점은 $R(M) = 0$로 정의된 축소된 쿠위 다양체 $R^{Q,W}(\mathbf{v})$와 관련된다.
• 가상 모티빅 $[\operatorname{DT}^{Q,W}(\mathbf{v},\mathbf{f})]_{\textrm{vir}}$는 차원 벡터 $\mathbf{w} \leq \mathbf{v}$에 대한 합으로 표현되며, 부분다양체 $Y^{Q,W}(\mathbf{v},\mathbf{w},\mathbf{f})$와 $Z^{Q,W}(\mathbf{v},\mathbf{w},\mathbf{f})$의 모티빅 클래스를 포함한다.
• 축소는 그로텐디크 링 $\mathcal{M}_{\mathbb{C}}^{St}$ 위의 양자화된 파아슨 대수 $S_Q$ 안에서 기술되며, 오일러 형식 $\langle \cdot, \cdot \rangle_Q$를 통해 정의된 비가환 곱셈 $\ast$를 사용한다.
• 핵심 항등식은 축소된 공간의 모티빅이 보다 작은 DT 국소화의 가상 모티빅과 보완 차원의 축소된 공간의 모티빅을 포함하는 합과 관련이 있음을 나타낸다.
• 이 방법은 레프셰츠 모티빅 $\mathbb{L}^{-1/2}$의 형식적 역제곱근과 그로텐디크 링 내에서 일반선형군의 역행렬을 사용하여 자동형군을 다룬다.
• 이 접근법은 이전의 $\mathbb{C}^3$의 하이르베르트 스킴 결과를 일반화하고, [8]의 코homological Hall 대수 축소를 모티빅 설정으로 확장한다.

실험 결과

연구 질문

• RQ1 슈퍼포텐셜에 선형 인수가 존재할 경우, 슈퍼포텐셜이 있는 쿠위에 대한 모티빅 도널드슨-토머스 불변량은 어떻게 계산할 수 있는가?
• RQ2 임계점의 가상 모티빅과 축소된 쿠위 표현 다양체 $R^{Q,W}(\mathbf{v})$의 일반 모티빅 클래스 사이의 정확한 관계는 무엇인가?
• RQ3 이 차원 축소 기법은 칼라비-유오 3차원 다양체 위의 층의 모듈리 공간으로서 나타나는 오르비폴드 $[\mathbb{C}^3/\mathbb{Z}_n]$에 대해 모티빅 DT 불변량을 계산하는 데 적용될 수 있는가?
• RQ4 이 축소 공식은 벤 영의 3차원 색칠된 분할에 대한 알려진 고전 불변량을 어느 정도 복원하는가?
• RQ5 이러한 불변량에 대한 모티빅 생성 함수는 축소된 자료로부터 어떻게 명시적으로 구성할 수 있는가?

주요 결과

• 논문은 가상 모티빅 $[\operatorname{DT}^{Q,W}(\mathbf{v},\mathbf{f])}_{\textrm{vir}}$를 축소된 쿠위 다양체 $R^{Q,W}(\mathbf{v}-\mathbf{w})$의 모티빅 클래스와 더 작은 DT 국소화의 가상 모티빅으로 표현하는 축소 공식을 수립한다.
• 오르비폴드 $[\mathbb{C}^3/\mathbb{Z}_n]$에 대해, 모티빅 DT 생성 함수는 $m \geq 1$ 및 $k=1,\dots,m$에 대한 곱으로 명시적으로 계산되며, $\mathbb{L}^{2-k+m/2}$ 및 $\mathbb{L}^{1-k+m/2}$ 항을 포함한다.
• 생성 함수는 $\{0,\dots,n-1\}$의 구간 $[a,b]$에 대한 곱을 포함하며, 이는 $\mathbb{Z}_n$의 표현 이론과 $A_n$ 유형의 쿠위 구조를 반영한다.
• 이 공식은 벤 영의 3차원 색칠된 분할에 대한 고전 불변량으로 특수화되며, 그 결과를 모티빅으로 정교화한다.
• 이 축소 방법은 문제를 교환 다각형과 그라스만리안의 모티빅 클래스로 축소함으로써 $[\mathbb{C}^3/\mathbb{Z}_n]$의 모티빅 DT 불변량을 성공적으로 계산한다.
• 결과는 $[\mathbb{C}^3/\mathbb{Z}_n]$의 모티빅 DT 불변량이 레프셰츠 모티빅 $\mathbb{L}$, 차원에 의존하는 지수, 표현 인덱스에 대한 대칭적 곱을 포함하는 곱공식에 의해 암시된다는 것을 확인한다.