[논문 리뷰] Moduli of Open Stable Maps to a Homogeneous Space

Amitai Netser Zernik|arXiv (Cornell University)|2017. 09. 21.

Advanced Differential Equations and Dynamical Systems참고 문헌 8인용 수 10

한 줄 요약

이 논문은 닫힌 안정 스트림 맵의 모듈리 공간 위에서 기하학적 구성(블로업, 고정점 위치)을 사용하여, 실수 동지수 공간 X의 라그랑주 부분다양체 L 위에 있는 안정 스트림 맵의 모듈리 공간을, 코너가 있는 컴acts Gk,l-오비폴드로 구성한다. 주요 결과는 실수 동지수 쌍 (X,L)에 대해, 코시-리만 연산자의 편항이 필요 없으며, 군 작용과 오비폴드 기법을 통해 대칭 구성으로 자연스럽게 모듈리 공간이 유도된다는 것이다.

ABSTRACT

For $L \hookrightarrow X$ a Lagrangian embedding associated with a real homogeneous space, we construct the moduli space of stable holomorphic discs mapping to $(X,L)$ as an orbifold with corners equipped with a group action. Some essential constructions involving orbifolds with corners are also discussed, including the existence of fibered products and pushforward and pullback of differential forms with values in a local system.

연구 동기 및 목표

• 코시-리만 연산자의 편항 없이 실수 동지수 쌍 (X,L)에 대한 안정 스트림 맵의 모듈리 공간을 구성하는 것.
• 이 모듈리 공간이 코너가 있는 컴팩트한 Gk,l-오비폴드이며, 닫힌 안정 스트림 맵의 모듈리 공간으로의 Gk,l--equivariant 맵을 지닌다는 것을 확립하는 것.
• 군 작용과 대칭 구성의 활용을 통해 분석적이지 않은 기하학적 구성으로 열린 그로모프-위튼 인variants를 정의하는 것.
• 오비폴드에 코너가 있을 경우의 기본 도구를 개발하는 것 — 특히, 국소계에 값을 갖는 미분형식의 섞인 곱, 전이, 당김을 포함하여.
• 특히 토르 군 작용 하에서, 초평면 블로업을 통해 얻어진 오비폴드에 고정점 위치가 존재함을 증명하는 것.

제안 방법

• 실수 동지수 공간에서 코시-리만 연산자의 정칙성으로 인해, 닫힌 안정 스트림 맵의 모듈리 공간 M0,k+2l(X,β+β)가 기대 차원을 갖는 복소 오비폴드임을 이용한다.
• 스트림 맵을 공역으로 하고 일부 표식점들을 교환함으로써, M0,k+2l(X,β+β)에 Z/2-작용을 정의한다. 이는 스트림 맵의 이중화를 모델링한다.
• 공간 M∶∶을 대칭 구성((Σ→X,...), b, Σ1/2)의 모듈리로 정의한다. 여기서 b는 반해석적 호환이고, Σ1/2는 기본 영역이다.
• MZ/2에서의 Z/2-고정점 위치를 블로업하여 M∶∶을 구성한다. 특이점을 해결하고 적절한 오비폴드 구조를 보장하기 위해 초평면 블로업을 사용한다.
• 군 작용과 동차 기하학을 이용하여, M∶∶에서 M0,k+2l(X,β+β)Z/2로 향하는 Gk,l-equivariant 잊어버림 맵을 정의한다.
• 초평면 블로업을 통해 얻어진 코너가 있는 G-오비폴드의 고정점 위치가 오비폴드에 코너의 범주에서 존재함을 증명하고, 이는 닫힌 포함사상임을 보인다.

실험 결과

연구 질문

• RQ1 실수 동지수 쌍 (X,L)에 대한 열린 안정 스트림 맵의 모듈리 공간은 코시-리만 연산자의 편항 없이 구성될 수 있는가?
• RQ2 기하학적 연산을 통해 모듈리 공간 M0,k,l(X,L,β)와 닫힌 안정 스트림 맵의 모듈리 공간 M0,k+2l(X,β+β) 사이의 구조적 관계는 어떻게 설명될 수 있는가?
• RQ3 특히 초평면 블로업 이후에, 코너가 있는 G-오비폴드의 고정점 위치가 오비폴드에 코너로서 존재할 조건은 무엇인가?
• RQ4 대칭 구성(호환과 기본 영역 포함)은 닫힌 맵으로부터 열린 스트림 맵을 재구성하는 데 어떤 역할을 하는가?
• RQ5 편항 데이터 없이 군 작용과 동차 구성은 열린 그로모프-위튼 인variants의 정의를 어떻게 단순화하는가?

주요 결과

• 실수 동지수 쌍 (X,L)에 대해, 안정 스트림 맵의 모듈리 공간 M0,k,l(X,L,β)는 코시-리만 연산자의 편항 없이도 컴팩트한 Gk,l-오비폴드이며, 코너가 있다.
• 모듈리 공간 M0,k,l(X,L,β)는 닫힌 맵의 이중화를 닫힌 맵으로 끌어올리는 Gk,l-equivariant 맵 f: M0,k,l(β) → M0,k+2l(X,β+β)를 지닌다.
• 평가 맵 ev: M0,k,l(β) → L^k × X^l 는 ev∘f = (i_L^k × (id_X^l × c_X^l)∘Δ_X^l)∘ev 를 만족하여, 호환과의 호환성을 보장한다.
• 초평면 블로업을 통해 얻어진 G-오비폴드에 코너가 있을 경우, 고정점 위치 (X̃)^G 는 오비폴드에 코너의 범주에서 존재하며, 포함사상 (X̃)^G → X̃ 는 닫힌 포함사상이다.
• G = U(1)^m 인 경우, 블로업 B(X,E)의 고정점 위치는 B(X^G, Im(i^{-1}h)) 와 동형이다. 여기서 i: X^G → X 는 고정점의 포함사상이다.
• 이 구성은 국소적이고 표준적이다: 적절한 좌표계에서 G-작용은 선형화 가능하며, 고정점 위치는 좌표의 불변성과 일부 성분의 영함을 특징으로 한다.