[논문 리뷰] Stable quasimaps to holomorphic symplectic quotients

Bumsig Kim|arXiv (Cornell University)|2010. 05. 22.

Algebraic Geometry and Number Theory참고 문헌 24인용 수 5

한 줄 요약

이 논문은 복소 해밀턴 쿼티언트, 특히 나카지마 퀘이버 다양체인 허공의 안정 스트레스드 쿼지맵에 대한 대칭 장애 이론을 수립하고, 안정성 매개수 δ가 충분히 클 경우 δ-안정성과 쿼지맵 안정성이 일치함을 증명한다. 쿼지맵 이론과 변형된 퀘이버 복합체를 사용하여 다이아코네스크의 ADHM 퀘이버 결과를 일반화하며, 이로 인해 모듈리 공간들이 완전한 대칭 장애 이론을 지니고 있으며, 토르 작용에 대해 올바른 성질을 가짐을 보인다.

ABSTRACT

We study the moduli space of twisted quasimaps from a fixed smooth projective curve to a Nakajima's quiver variety and the moduli space of $δ$-stable framed twisted quiver bundles with moment map relations. We show that they carry symmetric obstruction theories and when $δ$ is large enough, they exactly coincide. These results generalize works of D.E. Diaconescu about the ADHM quiver, in the framework of the quasimap theory of I. Ciocan-Fontanine, D. Maulik and the author.

연구 동기 및 목표

• 쿼지맵 이론의 프레임워크를 복소 해밀턴 쿼티언트, 특히 나카지마 퀘이버 다양체로 확장하는 것.
• 안정 M-변형 쿼지맵과 δ-안정 프레임드 변형 퀘이버 복합체의 모듈리 공간을 정의하고 연구하는 것.
• 이러한 모듈리 공간들이 대칭 장애 이론을 지닌다는 것을 증명하는 것.
• 충분히 큰 δ에 대해 δ-안정성과 쿼지맵 안정성이 일치함을 보이는 것.
• 다이아코네스크의 ADHM 퀘이버 결과를 더 넓은 범위의 퀘이버 다양체로 일반화하는 것.

제안 방법

• 쿼지맵 이론을 사용하여 복소 해밀턴 쿼티언트로의 안정 M-변형 쿼지맵의 모듈리 공간을 구성하는 것.
• M이 캐논리컬 심플렉틱 형식 ω_C와의 곱이 동형이 되는 선다발 쌍의 집합인 M-변형 퀘이버 복합체를 도입하는 것.
• X//G의 GIT 쿼티언트 구조를 사용하여 복소 해밀턴 쿼티언트를 X////_λ,χG로 정의하는 것.
• 고정점이 C에 대해 올바른 경우 가상 국소화를 적용하여 잘 정의된 불변량을 얻는 것.
• 유계성 결과와 세르 쌍대성을 사용하여 안정성 분석에서 코homological 조건을 제어하는 것.
• 기울기 함수 비교와 차수 및 계수에 대한 경계를 통해 δ ≫ 0일 때 δ-안정성과 쿼지맵 안정성이 동치임을 증명하는 것.

실험 결과

연구 질문

• RQ1 복소 해밀턴 쿼티언트로의 안정 M-변형 쿼지맵의 모듈리 공간은 대칭 장애 이론을 지니는가?
• RQ2 변형된 퀘이버 복합체의 δ-안정성이 쿼지맵 안정성과 일치하는 조건은 무엇인가?
• RQ3 대칭 장애 이론은 ADHM 사례를 초월하여 일반 나카지마 퀘이버 다양체로 확장될 수 있는가?
• RQ4 δ의 안정성 조건과 모듈리 공간의 기하학적 구조 사이의 관계는 무엇인가?
• RQ5 토르 작용과 고정점의 올바름 성질은 가상 국소화를 통한 불변량 구축에 어떻게 영향을 주는가?

주요 결과

• 복소 해밀턴 쿼티언트로의 안정 M-변형 쿼지맵의 모듈리 공간은 대칭 장애 이론을 지닌다.
• δ ≫ 0일 경우, 변형된 퀘이버 복합체의 δ-안정성은 쿼지맵 안정성과 동치이다.
• δ-안정 프레임드 변형 퀘이버 복합체의 모듈리 공간은 자연스러운 대칭 장애 이론을 지닌다.
• δ가 특정 한계 δ₀를 초과할 경우, 쿼지맵 안정성과 δ-안정성이 일치한다. 이는 유계성과 기울기 차이에 의존한다.
• 모듈리 공간은 순간의 모멘트 맵 관계를 가진 더 넓은 범위의 퀘이버 다양체로 다이아코네스크의 ADHM 결과를 일반화한다.
• 토르 작용이 고정점에 대해 올바른 경우, 모듈리 공간은 C에 대해 올바르며, 이는 가상 국소화와 잔여 불변량의 구축을 가능하게 한다.