[논문 리뷰] Counting conics in complete intersections

Laurent Bonavero, Andreas Höring|arXiv (Cornell University)|2008. 04. 10.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 11

한 줄 요약

이 논문은 차원 $ n $, 다중도수 $ (d_1,\ldots,d_r) $, 인덱스 조건 $ d_1 + \cdots + d_r = \frac{n+1}{2} + r $ 를 만족하는 일반적인 매끄러운 완전교차에서 두 일반적인 점을 지나는 쌍곡선의 수에 대한 초등적 증명을 제공한다. 이 쌍곡선들이 준선(line)임을 규명하고, 수를 $ \frac{1}{2} \prod_{i=1}^r (d_i - 1)! \, d_i! $ 로 계산한다. 이 결과는 형식기하학과 쌍곡선의 G3 성질에 응용된다.

ABSTRACT

We count the number of conics through two general points in complete intersections when this number is finite and give an application in terms of quasi-lines.

연구 동기 및 목표

• 차원 $ n $ 과 다중도수 $ (d_1,\ldots,d_r) $ 를 가지며 $ \sum d_i = \frac{n+1}{2} + r $ 를 만족하는 일반적인 매끄러운 완전교차에서 두 일반적인 점을 지나는 쌍곡선의 수를 결정하는 것.
• 그러한 쌍곡선이 다양체에서 준선임을 증명하는 것. 즉, 쌍곡선의 정규(bundle)가 사영공간의 직선과 일치하는 것.
• 쌍곡선의 집합이 차우 스킴 $ \mathcal{C}(X) $ 의 비어있고, 매끄럽고, 기약인 성분을 이룬다는 것을 확립하는 것.
• 결과를 형식기하학에 적용하여, 이러한 다양체에서 일반적인 쌍곡선이 G3임을 보이며, 이는 쌍곡선의 형식적 이웃이 전체 다양체의 이방형을 결정함을 의미한다.

제안 방법

• 퇴화 논증과 기하학적 축소를 사용: 두 점을 지나는 쌍곡선의 수를, 그 두 점을 연결하는 선을 포함하고, 다양체와의 교차가 쌍곡선과 잔여곡선을 이루는 2차면의 수로 세는 방식.
• 두 일반적인 점 $ p $ 와 $ q $ 를 고정하고, 선 $ [pq] $ 를 고려하며, 이 선이 다양체와 다시 만날 제3의 점 $ u $ 를 얻는다; $ p $ 와 $ q $ 를 지나는 쌍곡선은 $ u $ 를 지나는 직선과 대응된다.
• 각 such 직선 $ l $ 은 $ u $ 를 지나며 $ [pq] $ 와 함께 2차면 $ \pi_l $ 를 형성한다; 교차 $ X \cap \pi_l $ 는 $ p $ 와 $ q $ 를 지나는 쌍곡선 $ C $ 를 이룬다.
• 조건 $ \sum d_i = \frac{n+1}{2} + r $ 를 사용하여 $ -K_X \cdot C = n+1 $ 가 되도록 보장하며, 이는 $ C $ 가 준선이 되기 위한 필수 조건이다.
• 차원 수와 코homological 논증을 사용하여 쌍곡선의 집합이 차우 스킴에서 기약적이고 매끄럽다는 것을 보인다.
• Ionescu의 G3 부분다양체 결과를 적용: $ e_0(X,C) = e(X,C) $ 이면 쌍곡선은 $ X $ 에서 G3이다. 이는 두 수의 등식이 성립하기 때문이다.

실험 결과

연구 질문

• RQ1 차원 $ n $ 과 다중도수 $ (d_1,\ldots,d_r) $ 를 가지며 $ \sum d_i = \frac{n+1}{2} + r $ 를 만족하는 일반적인 매끄러운 완전교차에서 두 일반적인 점을 지나는 쌍곡선의 수는 무엇인가?
• RQ2 어떤 경우에 이러한 완전교차에서 쌍곡선이 준선인가? 즉, 그 정규(bundle)이 사영공간의 직선과 일치하는가?
• RQ3 이러한 다양체에서 쌍곡선의 집합은 차우 스킴의 기약적이고 매끄러운 성분을 이룰까?
• RQ4 어떤 조건에서 이러한 다양체에서 쌍곡선이 G3인가? 즉, 그 형식적 이웃이 전체 다양체의 이방형을 결정하는가?

주요 결과

• 이러한 완전교차에서 두 일반적인 점을 지나는 쌍곡선의 수는 $ \frac{1}{2} \prod_{i=1}^r (d_i - 1)! \, d_i! $ 이다.
• 조건 $ \sum d_i = \frac{n+1}{2} + r $ 과 $ n \geq 5 $ 를 만족할 경우, $ X $ 에서 쌍곡선의 집합은 차우 스킴 $ \mathcal{C}(X) $ 의 비어있고, 매끄럽고, 기약인 성분이다.
• 모든 이러한 쌍곡선은 준선이며, $ -K_X \cdot C = n+1 $ 를 만족하고 정규(bundle)가 강한 성질을 가진다.
• $ e_0(X,C) = e(X,C) $ 는 성립하며, 이는 쌍곡선이 $ X $ 에서 G3임을 의미한다. 따라서 형식적 이웃의 이방형이 전체 다양체의 이방형을 결정한다.
• 결과는 양자코homology에 의존하지 않는 초등적 방법으로 증명되었지만, 공식은 이전에 Givental의 양자코homology 계산을 통해 알려져 있었다.