[논문 리뷰] A Quantum Kirwan Map: Bubbling and Fredholm Theory for Symplectic Vortices over the Plane

Fabian Ziltener|arXiv (Cornell University)|2012. 09. 26.

Quantum chaos and dynamical systems참고 문헌 19인용 수 6

한 줄 요약

이 논문은 복소평면 위에서 미분형식의 보조를 통해 양자 키르카인 사상의 구축을 위한 기본적인 해석적 결과를 확립한다. 변형된 바이러스가 수렴하는 새로운 유형의 종수 0 안정화 맵(구성된 바이러스와 쿼오텀의 힐베르트 공간에서의 힐베르트 스펙트럼 포함)을 증명하고, 바이러스 방정식의 수직 미분이 특정 지수를 가진 프레드홀름 연산자임을 보이며, 이는 심플렉틱 몰입 조건 하에서 심플렉틱 몰입의 양자 변형을 정의하기 위한 핵심 단계이다.

ABSTRACT

Consider a Hamiltonian action of a compact connected Lie group on a symplectic manifold $(M,ω)$. Conjecturally, under suitable assumptions there exists a morphism of cohomological field theories from the equivariant Gromov-Witten theory of $(M,ω)$ to the Gromov-Witten theory of the symplectic quotient. The morphism should be a deformation of the Kirwan map. The idea, due to D. A. Salamon, is to define such a deformation by counting gauge equivalence classes of symplectic vortices over the complex plane $C$. The present memoir is part of a project whose goal is to make this definition rigorous. Its main results deal with the symplectically aspherical case. The first one states that every sequence of equivalence classes of vortices over the plane has a subsequence that converges to a new type of genus zero stable map, provided that the energies of the vortices are uniformly bounded. Such a stable map consists of equivalence classes of vortices over the plane and holomorphic spheres in the symplectic quotient. The second main result is that the vertical differential of the vortex equations over the plane (at the level of gauge equivalence) is a Fredholm operator of a specified index. Potentially the quantum Kirwan map can be used to compute the quantum cohomology of symplectic quotients.

연구 동기 및 목표

• 심플렉틱 바이러스를 사용하여 고전적 키르카인 사상의 변형으로서 양자 키르카인 사상을 엄밀히 정의하는 것.
• 바이러스의 모듈리 공간의 컴팩트화가 바이러스와 힐베르트 스펙트럼의 안정화 맵을 포함하는 붐벌링을 통해 가능해짐을 확립하는 것.
• 심플렉틱 평면 위에서 바이러스 방정식의 수직 미분이 잘 정의된 지수를 가진 프레드홀름 연산자임을 증명하여, 양자 불변량을 정의하는 데 필수적인 것.
• 등변 골모보-위튼 이론을 통한 심플렉틱 몰입의 양자 코homology를 계산하기 위한 분석적 기초를 제공하는 것.

제안 방법

• 에너지 유계 조건 하에서 바이러스 수열의 행동을 분석하기 위해 가중치가 부여된 소볼레프 공간과 유연한 스케일링 기법을 사용한다.
• 게이지 이론적 방법을 적용하여 게이지 동치에 대한 수렴을 연구하고, 극한 물체가 새로운 유형의 종수 0 안정화 맵을 이룬다는 것을 증명한다.
• 바이러스 방정식의 수직 미분을 적절한 소볼레프 공간 위의 선형 연산자로 재구성한다.
• 수반 연산자의 우측 역함수 존재성을 증명하고 하디 유형 부등식을 사용하여 프레드홀름 성질을 확립한다.
• 지수를 계산하기 위해 등변 homology, 채른 수, 마스лов 지수 이론을 적용한다.
• 모멘텀 맵의 균일성과 그 수준 집합에서의 군 작용의 자유성에 기반한, 붐벌링에 대한 컴팩트니스 추론을 사용한다.

실험 결과

연구 질문

• RQ1 심플렉틱 평면 위에서 게이지 동치류로 표현되는 모든 일관된 에너지 유계 수열이, 쿼오텀의 힐베르트 공간 내의 바이러스와 힐베르트 스펙트럼을 포함하는 안정화 맵으로 수렴하는가?
• RQ2 심플렉틱 평면 위에서 바이러스 방정식의 수직 미분은 프레드홀름 연산자인가? 그 지수는 무엇인가?
• RQ3 양자 키르카인 사상은 등변 골모보-위튼 이론에서 심플렉틱 몰입의 위튼 이론으로 가는 코homological field theory의 사상으로서 구성될 수 있는가?
• RQ4 심플렉틱 평면 위에서 바이러스의 붐벌링 현상은 바이러스 모듈리 공간의 컴팩트화와 어떻게 관련이 있는가?
• RQ5 심플렉틱적으로 아사포럴 조건 하에서 바이러스 방정식의 수직 미분의 정확한 해석적 구조는 무엇인가?

주요 결과

• 에너지가 일관되게 유계된 복소평면 위의 게이지 동치류 바이러스 수열은 종수 0 안정화 맵으로 수렴하는 부분수열을 가진다. 이 안정화 맵은 평면 위의 바이러스와 심플렉틱 몰입 내의 힐베르트 스펙트럼을 포함한다.
• 심플렉틱 평면 위에서 바이러스 방정식의 수직 미분은 등변 homology와 모멘텀 맵을 통해 계산된 채른 수와 마스лов 지수의 합과 같은 지수를 가진 프레드홀름 연산자이다.
• 수반 연산자의 우측 역함수 존재성을 증명하고 가중치가 부여된 소볼레프 공간 프레임워크 및 하디 유형 부등식을 사용하여 프레드홀름 성질을 확립하였다.
• 극한 안정화 맵의 구조는 힐베르트 스펙트럼의 붐벌링과 바이러스의 집중 현상을 모두 수반하며, 심플렉틱 위상수학에서 일반적인 골모보 컴팩트니스를 일반화한다.
• 핵심 선형화된 연산자의 가역성을 보장하기 위해 모멘텀 맵의 미분과 군 작용의 미분 노름에 대한 균일한 하한이 분석에 기초한다.
• 결과는 표준 가정 (H): 군이 모멘텀 맵의 영수준 집합에서 자유롭게 작용하고, 모멘텀 맵이 균일하다는 조건 하에서 성립한다.