[논문 리뷰] On the Göttsche Threshold

Steven L. Kleiman, Vivek Shende외 1명|arXiv (Cornell University)|2012. 04. 27.

Algebraic Geometry and Number Theory참고 문헌 27인용 수 5

한 줄 요약

이 논문은 유리 표면 위에서 δ-노드 곡선의 세버리 다발의 차수를 코homology 클래스의 보편 다항식으로 주는 데에 필요한 최소 선다발의 차수인 Göttsche 임계값에 대해 날카로운 상계를 확립한다. 표준적인 δ-매우 쌍대성 조건을 비재감, 비임베딩, 또는 고도로 특이한 곡선이 포함된 세 핵심 위치에 대한 여부 조건으로 완화함으로써, 저자들은 ℙ² 및 Hirzebruch 표면에서 Göttsche의 추측된 임계값 ⌈δ/2⌉ + 1 이 성립하고, 고전적 del Pezzo 표면에도 유사한 경계가 적용됨을 증명한다.

ABSTRACT

For a line bundle L on a smooth surface S, it is now known that the degree of the Severi variety of cogenus-d curves is given by a universal polynomial in the Chern classes of L and S if L is d-very ample. For S rational, we relax the latter condition substantially: it suffices that three key loci be of codimension more than d. As corollaries, we prove that the condition conjectured by Göttsche suffices if S is P^2 or S is any Hirzebruch surface, and that a similar condition suffices if S is any classical del Pezzo surface.

연구 동기 및 목표

• 유리 표면 위에서 δ-노드 곡선의 세버리 다발의 차수가 c₁(S), c₁(ℒ), c₂(S)의 보편 다항식으로 주어질 수 있는 정확한 조건을 규명하는 것.
• 필요는 하지만 과도하게 제한적인 표준적인 δ-매우 쌍대성 조건을 약화시키기 위해 기하학적으로 의미 있는 더 약한 조건을 규명하는 것.
• ℙ² 및 Hirzebruch 표면에서 Göttsche의 추측된 임계값 ⌈δ/2⌉ + 1 이 성립함을 확인하고, 이를 고전적 del Pezzo 표면으로 확장하는 것.
• 이러한 약화된 조건 하에서 δ-노드 곡선의 세버리 다발이 전체 세버리 다발에서 열려 있고 밀도가 높음을 증명함으로써 수량적 불변성을 확보하는 것.

제안 방법

• 비재감, −K·D₁ ≤ 0 인 성분을 가진 곡선, 또는 −K·D₁ = 1 인 비임베딩 성분을 가진 곡선들로 이루어진 닫힌 부분집합 V ⊂ |ℒ| 을 도입한다.
• 만약 codim(V) > δ 이면, 세버리 다발 |ℒ|δ 는 여부가 δ이고 V 외부에서는 매끄럽다는 것을 증명함으로써 차수가 잘 정의됨을 보장한다.
• V 를 비재감 곡선의 성분이 다중도 ≥3 이고 −K·D₁ ≤ 3 이거나, 특정 접촉 및 자기교차 조건을 만족하는 다중 성분을 가진 곡선들을 포함하도록 확장한다.
• 변형 이론과 탄성 맵 분석을 통해 일반적인 |ℒ|δ ∖ V 에 속한 곡선들이 노드를 가진다는 것을 보이며, 차원 분석을 통해 고차 특이성을 배제한다.
• 변형 이론의 결과들(예: Prp. 15 및 Prp. 17)을 적용하여 곡선의 가닥의 차원을 제한하고 동형성 변형을 보장한다.
• 변형 맵 γ 의 이미지가 표면의 접선 공간과 정규다발에 의해 제약을 받기 때문에, 특이도가 δ-노드를 초과하면 모순이 발생함을 보인다.

실험 결과

연구 질문

• RQ1 유리 표면 S 위의 선다발 ℒ 에 대해, δ-노드 곡선의 세버리 다발의 차수가 c₁(S), c₁(ℒ), c₂(S)의 보편 다항식으로 주어지는가?
• RQ2 표준적인 δ-매우 쌍대성 조건을 유지하면서도 보편성의 차수 공식을 유지할 수 있도록 약화시킬 수 있는가?
• RQ3 ℙ² 및 Hirzebruch 표면에서 Göttsche의 추측된 임계값 ⌈δ/2⌉ + 1 이 차수 공식이 유효하기 위한 상한으로서 성립하는가?
• RQ4 곡선의 위치에 대한 어떤 기하학적 조건이 δ-노드 곡선의 세버리 다발이 전체 세버리 다발에서 열려 있고 밀도가 높게 유지되도록 보장하는가?

주요 결과

• S = ℙ² 이고 ℒ = 𝒪(d) 이면, d ≥ ⌈δ/2⌉ + 1 이면 차수 공식 deg|ℒ|δ₊ = Gδ(S,ℒ) 가 성립하며, 이는 ℙ² 에서 Göttsche의 추측을 확인한다.
• 모든 Hirzebruch 표면에서, 비재감 곡선, 비임베딩 곡선, 고다중도 또는 접촉 특이성을 가진 곡선의 위치가 모두 여부 > δ 이면, deg|ℒ|δ₊ = Gδ(S,ℒ) 가 성립한다.
• 고전적 del Pezzo 표면에서는 동일한 세 위치에 대한 유사한 여부 조건이 보편 차수 공식이 성립함을 보여준다.
• 나쁜 위치 V 의 여부가 δ 를 초과할 경우, 항상 세버리 다발 |ℒ|δ₊ 는 |ℒ|δ 에서 열려 있고 밀도가 높다. 이는 노드 곡선이 지배함을 보장한다.
• 증명은 일반적인 |ℒ|δ ∖ V 에 속한 곡선들이 노드를 가진다는 것을, 변형 맵의 이미지에 대한 차원 상한을 통한 모순에 기반한 변형 이론적 추론에 의존한다.
• 결과는 날카로운 경계를 이룬다. 첫 번째 Hirzebruch 표면(점에서의 ℙ²의 블로우업)에서는 조건이 항상 필수적인 것은 아님을 보여, 경계가 항상 필수적인 것은 아님을 시사한다.