[논문 리뷰] Morphisms of CohFT algebras and quantization of the Kirwan map

Khoa Lu Nguyen, Chris Woodward외 1명|arXiv (Cornell University)|2009. 03. 25.

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

한 줄 요약

이 논문은 안정적인 스케일링이 된 표본이 있는 곡선의 모듈리 공간 위의 코homological 클래스를 사용하여, A∞-대수의 사상과 유사한 닫힌 엽의 구조로 CohFT 대수의 사상들을 도입한다. G-다양체의 동차 양자 cohomology에서 그의 GIT 몫의 양자 cohomology로 향하는 양자 Kirwan 사상이 구성되며, 경계 부분의 관계와 경계 스트라타에서의 커널 조건을 통해 스케일링이 된 표본이 있는 곡선의 모듈리 공간 내에서 카르티에 다발을 식별한다.

ABSTRACT

We introduce a notion of morphism of CohFT algebras, based on the analogy with A-infinity morphisms. We discuss a "quantization" of the classical Kirwan morphism to a morphism of CohFT algebras from the equivariant quantum cohomology of a G-variety to the quantum cohomology of its git or symplectic quotient, and an example relating to the orbifold quantum cohomology of a compact toric orbifold. Finally we identify the space of Cartier divisors on the moduli space of scaled marked curves; these appear in the splitting axiom.

연구 동기 및 목표

• 안정적인 스케일링이 된 표본이 있는 곡선의 모듈리 공간 위의 코homological 데이터를 사용하여, A∞-대수의 사상과 유사한 CohFT 대수 간의 사상의 개념을 체계화한다.
• G-다양체의 동차 양자 cohomology에서 그의 GIT 몫의 양자 cohomology로 향하는 CohFT 대수의 양자 Kirwan 사상을 구성한다.
• 안정적인 스케일링이 된 표본이 있는 곡선의 모듈리 공간 내에서 경계 다발의 조합 중 어떤 것이 카르티에인지, 즉 쌍대 코homology 클래스를 가지는지를 식별한다.
• 가우지드 Gromov-Witten 이론에서의 바이러스 버블 수를 위한 대수적 프레임워크를 제공하고, 반사 정리가 반긍성적인 토릭 몫을 초월하여 확장될 수 있도록 한다.
• CohFT 대수의 분할 공리와 스케일링된 곡선의 모듈리 공간 내 다발 관계 사이의 연결 고리를 설정한다.

제안 방법

• CohFT 대수를 다중선형 사상 μⁿ: Vⁿ × H(ℳ̄ₙ₊₁, Λ) → V의 집합으로 정의하며, Sₙ 작용에 관해 불변이 되고, 경계 다발 클래스 δ_{I₁∪I₂}를 포함하는 분할 공리를 만족한다.
• 안정적인 스케일링이 된 표본이 있는 직선의 모듈리 공간 위의 코homological 클래스에 의존하는 구조 사상들을 포함하여, CohFT 대수의 사상을 도입한다.
• A∞-사상에서 유래한 다중플리히드론의 복소화를 사용하여 안정적인 스케일링이 된 표본이 있는 직선의 모듈리 공간의 기하적 모델을 제공하며, CohFT에 대한 아소시아헤드론의 일반화로 간주한다.
• 이전 연구에서 유도된 가상 기본류에 기반하여, QH_G(X)에서 QH(X//G)로 향하는 CohFT 대수의 사상으로서의 양자 Kirwan 사상을 구성한다.
• 색이 칠해진 트리에서의 네 항 항등식 관계를 분석하여 경계 다발 사상 t의 커널을 분석함으로써, 안정적인 스케일링이 된 표본이 있는 곡선의 모듈리 공간 내 카르티에 다발을 특성화한다.
• Weil 다발 ∑l_{I₁,…,Iᵣ}D_{I₁,…,Iᵣ}가 카르티에일 조건은 그 계수 벡터가 임베딩 π_Γ: ker t_Γ → ker t의 상에 속할 때이고, 이를 통해 조건을 기술한다.

실험 결과

연구 질문

• RQ1 닫힌 엽의 설정에서 A∞-사상의 일반화로 작용하는 CohFT 대수 간의 사상에 대한 올바른 대수적 구조는 무엇인가?
• RQ2 고전적 Kirwan 사상은 CohFT 대수의 사상으로 양자화될 수 있는가? 그 기하학적·대수적 구조는 어떠한가?
• RQ3 안정적인 스케일링이 된 표본이 있는 곡선의 모듈리 공간 내에서 경계 다발의 조합 중 어떤 것이 카르티에인지, 그리고 이를 어떻게 대수적으로 특성화할 수 있는가?
• RQ4 스케일링된 곡선의 모듈리 공간 내 다발 관계는 경계 다발 사상 t의 커널과 어떻게 관련이 있는가?
• RQ5 다중플리히드론은 CohFT 대수의 사상과 양자 Kirwan 사상의 구조를 어떻게 표현하는가?

주요 결과

• 논문은 안정적인 스케일링이 된 표본이 있는 직선의 모듈리 공간 위의 코homological 데이터를 포함하는 분할 공리를 확장하여 CohFT 대수의 사상을 정의함으로써, A∞-사상의 일반화를 달성한다.
• 양자 Kirwan 사상은 QH_G(X)에서 QH(X//G)로 향하는 CohFT 대수의 사상으로 구성되며, 가우지드 Gromov-Witten 이론에서 바이러스 버블 수를 위한 대수적 프레임워크를 제공한다.
• 이 사상은 특수한 경우에 Batyrev 스타일의 토릭 Deligne-Mumford 스택의 양자 cohomology 표현을 복원하며, Coates 등이 얻은 결과와 일치한다.
• Weil 다발 ∑l_{I₁,…,Iᵣ}D_{I₁,…,Iᵣ}가 카르티에일 조건은 그 계수 벡터가 모든 색이 칠해진 트리 Γ에 대해 π_Γ: ker t_Γ → ker t의 상에 속할 때이다.
• 카르티에 다발의 공간은 분할 길이에 대한 귀납법을 통해 ker t가 모든 색이 칠해진 트리 Γ에 대해 π_Γ의 이미지의 정수 쌍대체에 포함됨을 보여줌으로써 특성화된다.
• 경계 다발 사상 t의 커널은 색이 칠해진 트리에서의 네 항 항등식 관계로 생성되며, 길이 < r 인 분할에 대해 관계가 사라지면, r ≤ n−2 이면 모든 길이 r 분할에 대해서도 사라지며, r = n−1 일 때 이러한 관계는 자명하다는 결론을 이끌어낸다.