[논문 리뷰] GSV-Index for Holomorphic Pfaff Systems

Maurício Corrêa, Diogo da Silva Machado|arXiv (Cornell University)|2016. 11. 28.

Geometric and Algebraic Topology참고 문헌 28인용 수 5

한 줄 요약

이 논문은 프로젝티브 다양체 위의 헬름홀트릭 Pfaff 시스템에 대해 GSV 유형의 인덱스를 도입하며, GSV 인덱스를 고계수 시스템으로 일반화한다. 국소 형태와 야코비안 행렬의 소수를 이용한 인덱스 계산 공식을 수립하고, 특정 조건 하에서의 음이 아닌 성질을 증명한다. 주요 결과는 GSV 인덱스의 음이 아닌 성질이 프로젝티브 공간 위의 Pfaff 시스템에 대한 Poincaré 문제의 해를 차단함을 보여주며, 포함된 완전교차 다양체에 대해 $d_1 + \cdots + d_k \leq d + k + 1$의 차수 경계를 도출한다.

ABSTRACT

In this work we introduce a GSV type index for varieties invariant by holomorphic Pfaff systems (possibly non locally decomposables) on projective manifolds. We prove a non-negativity property for the index. As an application, we prove that the non-negativity of the GSV-index gives us an obstruction to the solution of the Poincar\'e problem for Pfaff systems on projectives spaces.

연구 동기 및 목표

• 프로젝티브 다양체 위의 랭크 k인 헬름홀트릭 Pfaff 시스템에 대해 국소 분해가 불가능한 경우에도 GSV 유형의 인덱스를 정의하는 것.
• 국소 대표와 야코비안 소수를 이용한 GSV 인덱스 계산 공식 수립.
• 예를 들어 불변 다양체의 매끄럽거나 그 특이점 집합과 분리된 조건 하에서 GSV 인덱스의 음이 아닌 성질을 증명하는 것.
• GSV 인덱스의 음이 아닌 성질을 프로젝티브 공간 위의 Pfaff 시스템에 대한 Poincaré 문제의 해를 차단하는 데 응용하는 것.

제안 방법

• 프로젝티브 다양체 $X$ 위의 랭크 k인 Pfaff 시스템 $\omega$와 codimension k인 국소 완전교차 부분다양체 $V$에 대해 GSV 인덱스를 정의한다.
• 국소 헬름홀트릭 k-형식 $\omega|_U = \sum_{|I|=k} a_I dZ_I$와 야코비안 소수 $\Delta_I$를 사용하여 공식 $\text{GSV}(\omega, V, S_i) = \text{ord}_{S_i}(a_I|_V) - \text{ord}_{S_i}(\Delta_I|_V)$를 유도한다.
• 층 이론적 추론과 체른 클래스의 정규화 성질을 통해 인덱스가 국소 대표에 대해 잘 정의되고 독립적임을 증명한다.
• 잔여 이론과 체른-웨일 이론을 이용해 위상수학적 공식 $\sum_i \text{GSV}(\omega, V, S_i)[S_i] = c_1([N \otimes \det(N_{V/X})^{-1}])|_V \frown [V]$을 수립한다.
• 공식을 프로젝티브 공간 $\mathbb{P}^n$에 적용하여 선다발 체른 클래스를 통한 차수 계산을 통해 차수 경계를 도출한다.

실험 결과

연구 질문

• RQ1 국소 분해가 불가능한 프로젝티브 다양체 위의 랭크 k인 헬름홀트릭 Pfaff 시스템에 대해 GSV 유형의 인덱스를 정의할 수 있는가?
• RQ2 국소 형태와 야코비안 소수를 바탕으로 GSV 인덱스를 계산하는 정확한 공식은 무엇인가?
• RQ3 GSV 인덱스가 음이 아닌 조건은 무엇이며, 이 음이 아닌 성질의 기하학적 의미는 무엇인가?
• RQ4 GSV 인덱스의 음이 아닌 성질이 $\mathbb{P}^n$ 위의 Pfaff 시스템에 대한 Poincaré 문제의 해를 어떻게 차단하는가?

주요 결과

• GSV 인덱스는 Pfaff 시스템 $\omega$, 다양체 $V$, 그리고 그 기약 성분 $S_i$에 대해서만 의존하며 잘 정의되어 있다.
• 인덱스는 위상수학적 공식 $\sum_i \text{GSV}(\omega, V, S_i)[S_i] = c_1([N \otimes \det(N_{V/X})^{-1}])|_V \frown [V]$을 만족한다.
• 만약 $S_i \cap \text{Sing}(V) = \emptyset$이면 공식 $\text{GSV}(\omega, V, S_i) = \text{ord}_{S_i}(a_I|_V) - \text{ord}_{S_i}(\Delta_I|_V)$에 의해 GSV 인덱스가 음이 아니다.
• 만약 $V$가 매끄럽다면, $\text{ord}_{S_i}(\Delta_I|_V) = 0$ 이고 $\text{ord}_{S_i}(a_I|_V) > 0$ 이므로 GSV 인덱스는 엄밀히 양수이다.
• 다음과 같은 Pfaff 시스템 $\omega \in H^0(\mathbb{P}^n, \Omega^k_{\mathbb{P}^n}(d+k+1))$이 완전교차 다양체 $V$를 불변으로 가지며, 다항계수 $(d_1, \dots, d_k)$를 가진다면 $\sum_i \text{GSV}(\omega, V, S_i) \cdot \deg(S_i) = [d + k + 1 - (d_1 + \cdots + d_k)] \cdot (d_1 \cdots d_k)$이다.
• GSV 인덱스의 음이 아닌 성질은 차수 경계 $d_1 + \cdots + d_k \leq d + k + 1$를 이끌어내며, 이는 Poincaré 문제의 해를 차단한다.