[논문 리뷰] Topology of Blow-ups and Enumerative Geometry

Haibao Duan, Banghe Li|arXiv (Cornell University)|2009. 06. 23.

Geometry and complex manifolds참고 문헌 16인용 수 9

한 줄 요약

이 논문은 복소수 정규(bundle)를 가진 부분다양체에 대해 부드러운 다양체를 블로우업(blown-up)한 경우의 정수 코homology 링과 총 체르누 클래스(explicit formulae)를 수립한다. 이러한 위상적 불변량을 사용하여, $\mathbb{P}^3$에서의 완전 포물선과 완전 포물면의 코homology 링을 계산하고, 슈부르트의 고전적 수세기 계산을 엄밀히 검증한다: 일반적인 8개의 포물면에 접하는 포물선 4,407,296개, 일반적인 9개의 포물면에 접하는 포물면 666,841,088개.

ABSTRACT

Let M be the blow--up of a manifold M along a submanifold X. In this paper we present closed formulae for the integral cohomology and the total Chern class of M. As applications we compute the cohomology of the varieties of complete conics and complete quadrices in 3--space, and justify two enumerative results due to Schubert.

연구 동기 및 목표

• 부드러운 다양체를 복소수 정규(bundle)를 가진 부분다양체에 대해 블로우업한 경우의 정수 코homology 링과 총 체르누 클래스에 대한 일반 공식을 유도하기 위해.
• 이러한 공식을 사용하여 이전에 결정되지 않았던 $\mathbb{P}^3$에서의 완전 포물선과 완전 포물면의 다양체의 코homology 링을 계산하기 위해.
• 해석 기하학에서 매개변수 공간의 특성수를 계산하는 체계적인 방법을 제공하여, 수세기 불변량의 효과적인 평가를 가능하게 하기 위해.
• Schubert의 고전적 결과, 즉 $\mathbb{P}^3$에서 일반적인 포물면 8개나 9개에 접하는 포물선과 포물면의 수를 엄밀히 도출하기 위해.

제안 방법

• 복소수 정규(bundle)를 가진 부분다양체 $X$에 대해 다양체 $M$의 블로우업 $\widetilde{M}$을 프로젝션 범주와 구면 범주를 사용한 접합 절차를 통해 구성한다.
• 블로우업 기하학에 의해 유도되는 분할을 통해 $\widetilde{M}$의 접속 범주를 분석하고, $K$-이론에서의 표현을 도출한다.
• 프로젝션 범주 구조와 타우토로지컬 라인 번들의 체르누 클래스를 사용하여 $\widetilde{M}$의 정수 코homology 링을 유도한다.
• 접속 범주의 $K$-이론적 분해와 분할 원리를 사용하여 $\widetilde{M}$의 총 체르누 클래스를 계산한다.
• 일반 공식을 특정 사례인 $\mathbb{P}^3$에 적용하여 완전 포물선과 완전 포물면의 다양체의 코homology 링을 계산한다.
• 총 체르누 클래스의 코homology 곱을 통해 특성수를 평가하고, 슈부르트 문제의 해를 세는 데에 이를 활용한다.

실험 결과

연구 질문

• RQ1 복소수 정규(bundle)를 가진 부분다양체에 대해 블로우업한 다양체의 정수 코homology 링은 무엇인가?
• RQ2 일반적인 부드러운 범주에서 이러한 블로우업의 총 체르누 클래스는 무엇인가?
• RQ3 $\mathbb{P}^3$에서 완전 포물선 다양체의 코homology는 어떻게 명시적으로 계산할 수 있는가?
• RQ4 $\mathbb{P}^3$에서 완전 포물면 다양체의 코homology는 어떻게 명시적으로 계산할 수 있는가?
• RQ5 Schubert의 고전적 수세기 계산, 즉 일반적인 포물면에 접하는 포물선과 포물면의 수는 코homological 데이터로부터 엄밀히 도출할 수 있는가?

주요 결과

• $\mathbb{P}^3$에서 완전 포물선 다양체의 코homology 링은 $H^*(\widetilde{M}) \cong \mathbb{Z}[x,y,z]/(x^2 - 2xy + y^2, y^3, z^2 - 2xz + 2yz - 2x^2)$로 명시적으로 기술되며, 차수 2, 4, 6에 해당하는 생성자를 가진다.
• $\mathbb{P}^3$에서 완전 포물면 다양체의 코homology 링은 $H^*(\widetilde{N}) \cong \mathbb{Z}[u,v,w]/(u^2 - 2uv + v^2, v^3, w^2 - 2uw + 2vw - 2u^2)$로 명시적으로 기술되며, 차수 2, 4, 6에 해당하는 생성자를 가진다.
• $\mathbb{P}^3$에서 일반적인 8개의 포물면에 접하는 포물선의 수는 정확히 4,407,296개이며, 이는 $H^*(\widetilde{M})$에서 클래스 $8x + 6y + 2z$의 8제곱의 차수로 계산된다.
• $\mathbb{P}^3$에서 일반적인 9개의 포물면에 접하는 포물면의 수는 정확히 666,841,088개이며, 이는 $H^*(\widetilde{N})$에서 클래스 $12u + 6v + 2w$의 9제곱의 차수로 계산된다.
• 이 논문은 $\mathbb{P}^3$에서 완전 포물선과 완전 포물면의 매개변수 공간에 대한 첫 번째 완전한 코homological 표현을 제공하여 오랫동안 존재하던 문헌의 공백을 메운다.
• 결과는 1891년에 발표된 Schubert의 고전적 수세기 계산을 확인하며, 특성수와 교차 이론을 사용한 현대적인 코homological 근거를 제공한다.