[논문 리뷰] A generalization of the Clifford index and determinantal equations for curves and their secant varieties

Adam Ginensky|arXiv (Cornell University)|2010. 02. 10.

Algebraic Geometry and Number Theory참고 문헌 21인용 수 8

한 줄 요약

이 논문은 곡선 위의 임의의 매우 넓은 선다발에 대해 클리포드 지수를 일반화하며, 효과적 분할에 지지된 셰퍼 변형을 통한 새로운 기하적 특성화를 도입한다. 또한 고도가 큰 선다발에 대해 곡선과 그의 시컨트 다양체가 세그레 유형의 행렬식 방정식으로 정의됨을 증명하며, 일반화된 클리포드 지수가 이러한 방정식의 차수와 구조를 결정한다.

ABSTRACT

This is the author's 2008 thesis from the University of Chicago. We generalize the notion of the Clifford index to an arbitrary very ample line bundle and show how it determines when a curve and its various secant varieties have determinantal equations. In particular we establish the scheme theoretic version of a conjecture of Eisenbud-Koh-Stillman. If $L_1$ and $L_2$ are line bundles of degree at least $2g+1+k$, then ${ m Sec}^j(C)$ is determinantally presented for $j \leq k$ and for $j \leq k+1$ if $L_1 eq L_2$. We also give a geometric characterization of the standard Clifford index in terms of which secant varieties of $C$ are determinantal in the bicanonical embedding. The relationship with Koszul cohomology and Green's conjecture is also discussed.

연구 동기 및 목표

• 알제브라적 곡선 위의 임의의 매우 넓은 선다발에 대해 고전적 클리포드 지수를 일반화하는 것.
• 무한소 변형과 셰퍼 변형을 이용한 일반화된 클리포드 지수의 기하적 특성화를 제공하는 것.
• 프로젝티브 매장에서 곡선의 시컨트 다양체가 행렬식 방정식으로 정의되는 조건을 확립하는 것.
• 일반화된 클리포드 지수와 $K_{p,2}^*$에서 비자명한 코스쿨 코homology 클래스의 존재 사이의 연결 고리를 설정하는 것.
• 매우 넓은 $L_1, L_2$에 대해 $|L_1 \otimes L_2|$ 매장을 통한 행렬식 방정식 결과를 일반화하며, 특히 $h^1(L) = 0$ 또는 $1$일 경우를 중심으로 다루는 것.

제안 방법

• 효과적 분할 $D$에 지지된 일반화된 셰퍼 변형을 도입하여, 곡선 위의 점에 연결된 고전적 개념을 확장한다.
• 모든 매우 넓은 선다발 $L$에 대해 일반화된 클리포드 지수 $\operatorname{Cliff}(C,L)$를 정의하며, 고전적 불변량을 일반화한다.
• $L = L_1 \otimes L_2$의 인수분해를 이용해 곡선을 공간 $\operatorname{Hom}(H^0(L_1)^\vee, H^0(L_2))$에 매장하며, 이로 인해 세그레 유형의 행렬식 방정식이 유도된다.
• 기하학적 리만-로흐와 코homological 기법을 적용하여 변형의 질량과 클리포드 지수 사이의 관계를 규명한다.
• 하세타의 기준을 적용하여 특정 질량-$j$ 행렬이 경계가 될 수 없음을 보이고, 이는 코스쿨 코homology에서 비자명성을 암시한다.
• canonical 경우에서 $K_{p,2}^*$와 $K_{g-p-2,1}$ 사이의 쌍대성을 이용해 결과를 그린의 추측과 연결하지만, 이 방법은 더 넓은 범위로 적용 가능하다.

실험 결과

연구 질문

• RQ1 고전적 클리포드 지수를 곡선 위의 임의의 매우 넓은 선다발으로 어떻게 일반화할 수 있는가?
• RQ2 어떤 조건에서 $|L^{ imes 2}|$-매장에서 곡선의 시컨트 다양체 $\operatorname{Sec}^k(C)$가 행렬식 방정식으로 정의되는가?
• RQ3 분할에 지지된 셰퍼 변형이 일반화된 클리포드 지수를 특성화하는 데 어떤 역할을 하는가?
• RQ4 비자명한 코스쿨 코homology 클래스의 존재가 $K_{p,2}^*$에서 일반화된 클리포드 지수와 연결될 수 있는가?
• RQ5 일반화된 클리포드 지수가 bicanonical 매장에서 질량 $\leq j$인 행렬의 위치인 $R^j$의 스킴 이론적 구조를 어떻게 제어하는가?

주요 결과

• 매우 넓은 선다발 $L$에 대해 $h^1(L) = 0$이면, $k < \operatorname{Cliff}(C,L)$일 때 $|L^{ imes 2}|$-매장에서 곡선 $C$와 그 시컨트 다양체 $\operatorname{Sec}^k(C)$는 모두 행렬식 방정식으로 정의된다.
• 스킴 이론적 등식 $\operatorname{Sec}^j(C) = R^{j+1} \cap \mathbb{P}(H^0(L^{ imes 2})^\vee)$는 $j < \operatorname{Cliff}(C) - 1$일 때 성립하며, 여기서 $R^{j+1}$은 질량 $\leq j+1$인 행렬의 위치이다.
• 일반화된 클리포드 지수 $\operatorname{Cliff}(C,L)$는 $K_{p,2}^*$에서 비자명한 클래스의 존재를 제어한다: $p < \operatorname{Cliff}(C,L)$이면, 이중 복합체의 임의의 분해 가능 원소는 경계이므로 $K_{p,2}(C,L) = 0$임을 암시한다.
• $L = K_C(D)$이고 $D$가 효과적이며 $\deg(D) < g$일 경우, 이 방법은 $h^0(\mathcal{O}_C(D)) = 0$이어도 $K_{d-2,2}$에서 비자명한 클래스를 생성한다. 이는 그린-라자르펠드의 구성이 겪는 제약을 우회한다.
• 이 결과는 대수적 고도를 가진 선다벨에 대해 아이젠부르크, 코흐, 스틸만의 추측을 증명한다: $k < \operatorname{Cliff}(C, L_1 \otimes L_2)$일 때 $|L_1 \otimes L_2|$-매장에서 $\operatorname{Sec}^k(C)$는 행렬식이다.
• canonical 경우($L = K_C$)에서는 그린의 추측에 대해 새로운 시각을 제공하며, $p < \operatorname{Cliff}(C)$일 때 $K_{p,2}(C,K_C) = 0$임을 보여주지만, 이 방법으로는 전체 추측은 아직 증명되지 않았다.