[논문 리뷰] Higher rank Clifford indices of curves on a K3 surface

Soheyla Feyzbakhsh, Chunyi Li|arXiv (Cornell University)|2018. 10. 25.

Algebraic Geometry and Number Theory참고 문헌 18인용 수 4

한 줄 요약

이 논문은 Picard 군이 ℤH인 K3 표면 위에 있는 곡선에 대한 반안정 벡터 번들의 전역 절단의 차원에 대한 날카운 상계를 확립하여 고차수 클리포드 지수의 계산을 가능하게 한다. g ≥ r² ≥ 4 인 경우, 이러한 곡선의 랭크 r 클리포드 지수는 Lazarsfeld-Mukai 번들의 제한을 통해 계산되며, 그 값은 2/r(g−1) − 2/r⌊g/r⌋이다. 또한 매끄러운 평면 곡선에 대해 Mercat의 추측의 첫 번째 부분을 검증하여, l ≥ 5 인 경우 Clifr_r(C) = l − 4 임을 보였다.

ABSTRACT

Let $(X,H)$ be a polarized K3 surface with $\mathrm{Pic}(X) = \mathbb Z H$, and let $C\in |H|$ be a smooth curve of genus $g$. We give an upper bound on the dimension of global sections of a semistable vector bundle on $C$. This allows us to compute the higher rank Clifford indices of $C$ with high genus. In particular, when $g\geq r^2\geq 4$, the rank $r$ Clifford index of $C$ can be computed by the restriction of Lazarsfeld-Mukai bundles on $X$ corresponding to line bundles on the curve $C$. This is a generalization of the result by Green and Lazarsfeld for curves on K3 surfaces to higher rank vector bundles. We also apply the same method to the projective plane and show that the rank $r$ Clifford index of a degree $d(\geq 5)$ smooth plane curve is $d-4$, which is the same as the Clifford index of the curve.

연구 동기 및 목표

• Picard 군이 ℤH인 K3 표면 위에 있는 곡선에 대한 반안정 벡터 번들의 전역 절단 차원에 대한 새로운, 더 강력한 상계를 확립한다.
• g ≥ r² ≥ 4 인 경우 이러한 곡선에 대한 고차수 클리포드 지수 Clifr(C)를 계산한다. 이는 Green과 Lazarsfeld의 결과를 고차수 번들로 일반화한다.
• 매끄러운 평면 곡선에 대해 Mercat의 추측의 첫 번째 부분을 검증한다. l ≥ 5 인 경우 Clifr(C) = l − 4 임을 보인다.
• Bridgeland 안정성 조건과 Bogomolov-Gieseker 유형 부등식을 활용하여, 프로젝션 평면과 del Pezzo 표면을 포함한 다른 표면으로 이 방법을 확장한다.

제안 방법

• 표면 X의 코herent sheaf의 유도 범주 D^b(X)에 대한 Bridgeland 안정성 조건을 사용하며, 안정성 조건의 2차원 부분공간에 집중한다.
• Z(O_X) → 0 일 때 중심 차수와 기울기 행동을 이용하여 h^0(C,E)를 경계짓기 위해 Harder-Narasimhan 다각형 방법을 적용하고, 벽을 넘는 기법을 활용한다.
• 정확한 수열 0 → E_{C,A}^∨ → H^0(C,A) ⊗ O_X → A → 0 를 통해 X 위의 Lazarsfeld-Mukai 번들 E_{C,A}를 구성하며, 그 제한은 클리포드 지수를 계산한다.
• Harder-Narasimhan 다각형의 볼록성과 기울기 및 체르노 특성의 기하학적 제약 조건을 이용하여 h^0(C,E)에 대한 경계를 유도한다.
• 프로젝션 평면에 이 방법을 적용하기 위해 체르노 특성 경계로 정의된 삼각형 내에서 Harder-Narasimhan 다각형을 분석하여 h^0(C,E)에 대한 조각별 상계를 이끌어낸다.
• 얻어진 경계를 사용하여 Clifr(C)를 계산하고, 매끄러운 평면 곡선의 경우 l ≥ 5 이면 Clifr(C) = l − 4 임을 증명한다.

실험 결과

연구 질문

• RQ1 Picard 군이 ℤH인 K3 표면 X 위의 매끄러운 곡선 C에 대해, 랭크 r, 차수 d ≤ r(g−1)인 반안정 벡터 번들 E에 대해 h^0(C,E)의 날카운 상계는 무엇인가? (여기서 g는 곡선의 기하학적 종수이다.)
• RQ2 g ≥ r² ≥ 4 인 경우, X 위의 Lazarsfeld-Mukai 번들의 제한을 통해 고차수 클리포드 지수 Clifr(C)를 계산할 수 있는가?
• RQ3 매끄러운 평면 곡선의 경우, l ≥ 5 이면 Mercat의 추측의 첫 번째 부분이 성립하는가? 즉, Clifr(C) = l − 4 인가?
• RQ4 Bridgeland 안정성과 Harder-Narasimhan 다각형 기반의 방법은 프로젝션 평면이나 del Pezzo 표면과 같은 다른 표면으로 어떻게 일반화되는가?

주요 결과

• Picard 군이 ℤH인 K3 표면 위의 매끄러운 곡선 C ⊂ X에 대해, d ≤ r(g−1)인 반안정 E에 대해 h^0(C,E) < r + (g/(4r(g−1)²))d² + (r/g) 이 성립하며, 이는 고전적 고차수 클리포드 정리보다 더 강력하다.
• g ≥ r² ≥ 4 인 경우, 랭크 r 클리포드 지수는 Clifr(C) = (2/r)(g−1) − (2/r)⌊g/r⌋ 이며, 이는 Lazarsfeld-Mukai 번들의 제한을 통해 계산된다.
• l ≥ 5 인 매끄러운 평면 곡선에 대해 랭크 r 클리포드 지수는 Clifr(C) = l − 4 이며, 이는 Mercat의 추측의 첫 번째 부분을 확인한다.
• 평면 곡선의 h^0(C,E)에 대한 상계는 조각별로 주어진다: d ≥ rl 이면 r + (3/(2l) + d/(2rl²))d 이고, r(l−1) ≤ d < rl 이면 max{3r + d − rl, r + (rl + r)/(rl² − d) d} 이다.
• h^0(C,E)에 대한 이 경계는 충분히 날카로워서 Clifr(C) = l − 4 임을 보이며, 등호는 E = O_C(1)^{⊕r} 일 때 성립한다. h^0(C,E) ≥ 2r 인 어떤 번들이라도 더 작은 클리포드 지수를 갖지 않는다.
• 이 방법은 K3 표면을 초월하여 일반화 가능하다. 프로젝션 평면에 대해서도 동일한 클리포드 지수 결과가 성립하며, 강력한 Bogomolov-Gieseker 부등식을 갖는 다른 표면에도 적용 가능할 것으로 암시된다.