[논문 리뷰] Towards relative invariants of real symplectic 4-manifolds

Jean-Yves Welschinger|arXiv (Cornell University)|2005. 02. 16.

Geometric and Algebraic Topology참고 문헌 6인용 수 6

한 줄 요약

이 논문은 실 대칭 4차원 심플렉틱 다양체에 대해 실수 체계의 점을 통과하고, $[L] = 0$ 인 $H_1(\mathbb{R}X; \mathbb{Z}/2\mathbb{Z})$ 에서의 매끄러운 곡선 $L \subset \mathbb{R}X$ 와의 접촉 조건을 만족하는 실수 유리 $J$-홀로모르픽 곡선의 수를 세어 새로운 정수 값을 갖는 불변량 $\Gamma^{d,B}_{r}$ 를 도입한다. 이 불변량은 곡선들에 대한 부호 합으로 정의되며, 실수 고립 이중점의 질량과 $L$ 에 의해 둘러싸인 표면 $B$ 와의 접촉 지수를 포함한다. 이 불변량은 변형 불변이며, 일반적인 거의 복소構조와 점 구성의 선택에 영향을 받지 않는다.

ABSTRACT

Let $(X, ω, c_X)$ be a real symplectic 4-manifold with real part $R X$. Let $L \subset R X$ be a smooth curve such that $[L] = 0 \in H_1 (R X ; Z / 2Z)$. We construct invariants under deformation of the quadruple $(X, ω, c_X, L)$ by counting the number of real rational $J$-holomorphic curves which realize a given homology class $d$, pass through an appropriate number of points and are tangent to $L$. As an application, we prove a relation between the count of real rational $J$-holomorphic curves done in math.AG/0303145 and the count of reducible real rational curves done in math.SG/0502355. Finally, we show how these techniques also allow to extract an integer valued invariant from a classical problem of real enumerative geometry, namely about counting the number of real plane conics tangent to five given generic real conics.

연구 동기 및 목표

• 실 대칭 4차원 다양체에 대해 실수 라그랑주 곡선 $L$ 에 접하는 조건을 포함하는 새로운 상대 불변량을 정의한다.
• 이전의 불변량 [9] 및 [10] 을 확장하여, 실수 유리 $J$-홀로모르픽 곡선의 부호화된 수를 $L$ 에 접하게 하여 정의한다.
• 오직 호모로지 클래스 $d$, 표면 $B$ 의 동치류, 점 구성 데이터 $r$ 에만 의존하는 변형 불변 정수 불변량 $\Gamma^{d,B}_{r}$ 를 수립한다.
• 이 불변량을 고전적인 실수 계수 기하학 문제에 적용한다. 예를 들어, 다섯 개의 실수 포물선에 접하는 실수 포물선의 수를 세는 문제이다.
• 특이점과 다중 접촉 조건을 허용하는 일반화된 구성법을 제시하며, 소규모 변형에 대해 불변성을 유지한다.

제안 방법

• 호모로지 클래스 $d$ 를 실현하고, 실수 구성 $\underline{x}$ 를 통과하며, $L$ 와 접하는 실수 유리 $J$-홀로모르픽 곡선들에 대한 부호 합으로 불변량 $\Gamma^{d,B}_{r}(J,\underline{x})$ 를 정의한다.
• 각 곡선 $C$ 에 대해 $m(C)$ 를 $C$ 의 실수 고립 이중점의 수로 정의하고, 부호 $(-1)^{m(C)}$ 를 부여한다.
• 곡선이 $B$ 와의 교차가 국소적으로 접촉점에서만 제한되는지, 또는 그 점 근처에서 곡선이 $B$ 에 포함되는지에 따라 접촉 지수 $<C,B> \in \{-1, +1\}$ 를 정의한다.
• 분리된 곡선의 경우, 구성 요소들이 $B$ 와의 교차점의 부호 합으로 다중집합 지수 $\mathop{\rm mult}\nolimits_B(C)$ 를 정의한다.
• 모듈리 공간의 전위성과 유한성을 확보하기 위해 일반적인 거의 복소構조 $J \in \mathbb{R}\mathcal{J}_\omega$ 를 사용한다.
• 특히 접촉과 콩거스 형성과 관련된 분해의 국소적 행동을 분석하여, $J$, $\underline{x}$, $B$ 의 변형에 대한 불변성을 증명한다.

실험 결과

연구 질문

• RQ1 실 대칭 4차원 다양체에 대해 실수 유리 $J$-홀로모르픽 곡선이 실수 라그랑주 곡선 $L$ 와 접하는 조건을 세는 상대 불변량을 구성할 수 있는가?
• RQ2 곡선이 $L$ 와 접하는 조건을 포함함으로써, 이전의 불변량과 비교할 때 수의 불변성과 정수성은 어떻게 영향을 받는가?
• RQ3 동일한 설정에서, 비분해 가능한 실수 유리 곡선의 수와 분해 가능한 실수 유리 곡선의 수 사이의 관계는 무엇인가?
• RQ4 불변량 $\Gamma^{d,B}_{r}$ 는 고전적인 실수 계수 기하학 결과, 예를 들어 다섯 개의 실수 포물선에 접하는 실수 포물선의 수를 복원하거나 관련지을 수 있는가?
• RQ5 곡선 $L$ 이 특이점(예: 2차 접촉점)을 갖는 경우, 표면 $B$ 의 소규모 동치변형에 대해 불변량은 어떻게 행동하는가?

주요 결과

• 불변량 $\Gamma^{d,B}_{r}$ 는 일반적인 거의 복소構조 $J$ 와 실수 구성 $\underline{x}$ 의 선택에 영향을 받지 않으며, 따라서 잘 정의된 변형 불변량이다.
• 불변량 $\Gamma^{d,B}_{r}$ 는 정수 값을 가지며, $L$ 이 고정되어 있고 $[L] = 0$ 인 $H_1(\mathbb{R}X; \mathbb{Z}/2\mathbb{Z})$ 에서일 경우, $L$ 에 의해 둘러싸인 표면 $B$ 의 동치변형에 대해 불변이다.
• 이전 논문 [9] 에서의 실수 유리 $J$-홀로모르픽 곡선의 수와 [10] 에서의 분리 곡선의 수 사이의 관계를 새로운 불변량 $\Gamma^{d,B}_{r}$ 가 매개함을 규명하였다.
• 다섯 개의 일반적인 실수 포물선에 접하는 실수 평면 포물선의 수를 세는 고전 문제에 대해, 불변량 $\Gamma^{d,B}_{r}$ 는 소규모 변형에 대해 불변인 정수 값을 회복한다.
• 일련의 변형에서 $L_1^t$ 가 교차에서 접촉으로 전이되는 1-매개변수 가족에 대해, 불변량은 $2<L_2, B_1^0>$ 곱한 값만큼 변화하며, 이는 $L_1^0$ 과 $L_2$ 에 접하는 포물선들의 기여도의 합에 의해 결정된다. 이는 정확한 점프 공식을 보여준다.
• 구성은 매끄럽지 않은 $B$ 와 $L$ 에까지 일반화되며, 유한한 수의 분기점이 있는 사상에 대해서도 적용 가능하다. 이 경우 $<x,B>$ 는 $x$ 의 $B$ 에서의 원상의 수의 두 배에서 1을 뺀 값으로 정의되며, 불변성이 유지된다.