[논문 리뷰] Higher Codimension Cycles on the Hilbert Scheme of Three Points on the Projective Plane

Tim Ryan, Alexander Stathis|arXiv (Cornell University)|2020. 03. 29.

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

한 줄 요약

이 논문은 Mallavibarrena와 Sols가 정의한 기하 기저를 사용하여, 프로젝티브 평면 P²의 세 점의 Hilbert 스킴 P²[3]에서 고차원 코드레인지 사이클의 네프 및 유효 콘을 계산한다. 코드레인지 2와 3에서 네프 콘은 각각 6개와 8개의 극한 반직선을 가지며 유한 다면체임을 규명하였고, P² 위의 벡터 번들의 유래하는 타우토로지컬 번들의 모든 체른 및 세그레 클래스를 계산하여 기하 기저에서의 명시적 공식을 제공하며, 2-매우 양의성을 가진 번들을 통해 플란트 콘에 내부 경계를 설정한다.

ABSTRACT

In this paper, we study the higher codimensional cycle structure of the Hilbert scheme of three points in the projective plane. In particular, we compute all Chern (and Segre) classes of all tautological bundles on it and compute the nef (effective) cones of cycles in codimensions 2 and 3 (dimensions 2 and 3).

연구 동기 및 목표

• 프로젝티브 평면 P²의 세 점의 Hilbert 스킴 P²[3]에서 코드레인지 2와 3의 사이클에 대한 네프 및 유효 콘을 계산하는 것.
• Mallavibarrena와 Sols가 정의한 기하 기저를 사용하여 P²[3]의 찬 링의 구조를 규명하는 것.
• P² 위의 어떤 벡터 번들과 유래하는 P²[3]의 타우토로지컬 번들의 모든 체른 및 세그레 클래스를 계산하는 것.
• 2-매우 양의성 타우토로지컬 번들을 통해 플란트 콘에 내부 경계를 제공하는 것.
• 군 작용 궤도 구조와 벡터 번들의 기법을 활용하여, 나눗셈 콘을 초월한 고차원 사이클 이론에서의 양의성에 대한 이해를 확장하는 것.

제안 방법

• P²[3]에 유도된 군 작용의 Bialynicki-Birula 분해와 궤도 구조를 활용하여 사이클 클래스를 분석한다.
• Mallavibarrena와 Sols가 정의한 P²[3]의 찬 링에 대한 기하 기저를 사용하여 사이클 클래스를 명시적으로 표현한다.
• Hilbert 스킴 위의 보편 가족에서의 풀백 및 푸시포워드를 통해 타우토로지컬 번들의 구조를 적용한다.
• 군의 구조와 그라스만이안에서의 슈베르트 계산법을 활용하여 타우토로지컬 번들의 체른 및 세그레 클래스를 유도한다.
• 특정 타우토로지컬 번들의 2-매우 양의성 성질을 활용하여 고차원 코드레인지 사이클의 플란트 콘에 내부 경계를 생성한다.
• 체른 클래스를 degree 6까지 계산하기 위해 Lehn의 추측과 세그레 클래스의 일반화된 생성 함수에 대한 알려진 결과를 활용한다.

실험 결과

연구 질문

• RQ1 P²의 세 점의 Hilbert 스킴에서 코드레인지 2와 3의 네프 콘의 구조는 어떻게 되는가?
• RQ2 P² 위의 어떤 벡터 번들과 유래하는 P²[3]의 타우토로지컬 번들의 체른 및 세그레 클래스는 어떻게 명시적으로 계산할 수 있는가?
• RQ3 P²[3]의 어떤 타우토로지컬 번들이 2-매우 양이며, 그것들은 플란트 콘에 어떻게 기여하는가?
• RQ4 P²[3]의 코드레인지 2와 3에서 네프 및 유효 콘의 극한 반직선의 정확한 수와 기하적 기술은 무엇인가?
• RQ5 P²[3]의 고차원 양의성 콘(네프, 플란트)은 나눗셈 콘과 어떻게 관련되어 있으며, 새로운 기하학적 정보를 어떻게 드러내는가?

주요 결과

• P²[3]에서 코드레인지 2의 네프 콘은 정확히 6개의 극한 반직선을 가지며, 끝없이 끝나지 않는 유한 다면체 콘이다. 코드레인지 3의 네프 콘은 8개의 극한 반직선을 가진다.
• P²[3]에서 차원 2의 유효 콘은 6개의 극한 클래스를 가지며, 차원 3의 유효 콘은 7개의 극한 클래스를 가지며, 둘 다 닫혀 있고 유한 다면체이다.
• P² 위의 어떤 벡터 번들의 V[3]에 대한 모든 체른 클래스는 degree 6까지 명시적으로 계산되었으며, 기하 기저에서의 공식이 제시되었다.
• 체른 클래스 c₁(V[3])에서 c₆(V[3])까지는 유리수 계수를 가진 기하 기저 클래스 A, B, C, D, E, U, V, W, X, Y, Z, α, β, γ, δ, ǫ, φ, ψ, Δ, Δ², Δ³의 선형 조합으로 표현된다.
• 코드레인지 2의 플란트 콘은 35A + 30B + 6C + 52D + 50E를 포함하는 16개의 특정 클래스에 의해 생성되는 콘을 포함하며, 코드레인지 3과 4에 대해서도 유사한 명시적 내부 경계가 제시된다.
• 논문은 3가지 유형의 2-매우 양의성 타우토로지컬 번들을 식별한다: 기울기가 [2,3]에 속하는 예외적 번들, 최대 질량 99까지의 변형 예외적 번들의 극한, 포물선 가닥을 따라가는 번들로, 이들은 모두 플란트 콘에 내부 경계를 생성한다.