[논문 리뷰] Apolar Ideal and Normal Bundle of Rational Curves

Alessandro Bernardi|arXiv (Cornell University)|2012. 03. 22.

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

한 줄 요약

이 논문은 사영 공간 속의 유리 곡선의 Hilbert 스킴에서 부분다양체를 apolarity 이론을 통해 특성화하며, 정규 또는 제한된 접선다발의 분해 유형에 의해 매개화된다. 선형부분공간에서 유리 정규곡선을 사영함으로써, 사영 중심의 기하적 조건(예: 정해진 차원의 쌍곡공간 위에 위치함)에 따라 이러한 다발의 분해 유형에 정확한 공식을 수립한다.

ABSTRACT

As in our previous work [1] we address the problem to determine the splitting of the normal bundle of rational curves. With apolarity theory we are able to characterize some particular subvarieties in some Hilbert scheme of rational curves, defined by the splitting type of the normal bundle and the restricted tangent bundle.

연구 동기 및 목표

• P^m 속도 n ≥ m인 유리 곡선을 정규다발 및 제한된 접선다발의 분해 유형에 따라 분류하기.
• H^{m,n}의 Hilbert 스킴에서 정규다발 및 제한된 접선다발의 고정된 분해 유형에 의해 매개화되는 부분다양체를 연구하기.
• Apolarity 이론을 사용하여 사영 중심의 기하적 조건(예: 쌍곡공간 위에 위치함)을 정규다발 및 접선다발의 분해 유형과 연결하기.
• 이러한 부분다양체의 기하학적 차원과 기약성(irreducibility)을 사영 중심의 그라스만만에서 평가하기.
• 사영 중심에 대한 특정 기하적 가정 하에 정규다발 및 제한된 접선다발의 분해 유형에 대한 명시적 공식을 제공하기.

제안 방법

• 선형부분공간 L ≅ P^{k-1} 에서 유리 정규곡선 C_n ⊂ P^n 을 사영하여 P^{n-k} 속의 유리 곡선 π_L(C_n) 을 얻기.
• Apolarity 이론을 사용하여 syzygy 모듈 S y z ( J ( ν_n ) ) 와 다발의 정규다발을 코딩하는 매핑 ( N^L_{n,k} )^t 를 분석하기.
• 행렬 N^L_{n,k} 의 질량과 구조를 조건 rank(N^L_{n,k}) = 3k − r 를 통해 정규다발의 분해 유형과 연결하기.
• N^L_{n,k} 의 핵을 분석하여 특정 형식이 곡선을 영으로 만드는 경우를 탐지하고, 이는 쌍곡공간 존재와 연결된다.
• 사영 중심 L 이 쌍곡공간 (예: (k+1)-secant P^k) 위에 있을 경우 그라스만만 Gr(P^{k-1}, P^n) 속의 계수를 인cidenc 변량을 사용하여 계산하기.
• Chiantini 및 Ciliberto 의 비결함성(secant varieties)에 관한 결과를 적용하여 계수를 계산하고, 이러한 계열의 기약성을 확립하기.

실험 결과

연구 질문

• RQ1 사영 중심 L ⊂ P^n 이 유리 정규곡선 C_n ⊂ P^n 에 대해 어떤 기하적 조건을 만족할 경우, 사영된 유리 곡선 π_L(C_n) ⊂ P^{n-k} 의 정규다발이 특정한 분해 유형을 갖는가?
• RQ2 유리 정규곡선에 대한 (k+1)-secant 또는 (k+2)-secant 공간 위에 L 가 존재할 경우, 정규다발의 분해 유형은 어떻게 영향을 받는가?
• RQ3 Gr(P^{k-1}, P^n) 속에서 제한된 접선다발 T P^{n-k}|_{π_L(C_n)} 가 주어진 분해 유형을 갖는 중심 L 의 계열의 기하학적 차원은 얼마인가?
• RQ4 Apolarity 이론을 사용하여 L 의 점들이 영으로 만드는 형식의 대수적 조건을 통해 정규다발의 분해 유형을 특성화할 수 있는가?
• RQ5 정규다발 또는 제한된 접선다발의 고정된 분해 유형을 매개화하는 Hilbert 스킴의 부분다양체가 언제 기약적이며 주어진 기하학적 차원을 갖는가?

주요 결과

• L ⊂ P^{k+1} 가 C_n ⊂ P^n 에 대해 (k+2)-secant 이고 n−1 ≤ 3k ≤ 3(n−3) 를 만족하면, 사영된 곡선 π_L(C_n) ⊂ P^{n-k} 의 정규다발은 O(n+2)^{n−k−2} ⊕ O(n+1+2k) 로 분해된다.
• L ⊂ P^k 가 C_n 에 대해 (k+1)-secant 이고 2k < n−1 이면, 제한된 접선다발 T P^{n-k}|_{π_L(C_n)} 는 O(n+1)^{n−k−1} ⊕ O(n+1+k) 로 분해된다.
• C_n 에 대해 어떤 (k+1)-secant P^k 위에 있는 중심 L ⊂ P^n 의 다양체는 Gr(P^{k−1}, P^n) 에서 기하학적 차원 kn − k² − k − 1 을 가지며, 이 계열은 주어진 접선다발 분해 유형을 매개화하는 Hilbert 스킴의 기약 부분다양체를 지지한다.
• L 이 (k+1)-secant P^k 위에 있을 경우, 행렬 N^L_{n,k} 의 질량은 rank(N^L_{n,k}) = 3k − r 이며, 1 < r ≤ 2k−1 이면 정규다발은 O(n+3)^{2k−2r} ⊕ F' 로 분해되며, deg(F'^∨(n+2)) = −2k 를 만족한다.
• rank(N^L_{n,k}) = k+1 이면, 정규다발은 O(n+2+2k) 로 분해되며, 이는 L 이 (k+2)-secant P^{k+1} 위에 있을 경우에 해당한다.
• C_n 에 대해 어떤 (n−2)-secant P^{n−3} 위에 있는 중심 L 의 계열의 기하학적 차원은 3k − n + 1 이며, 3k < n−1 일 경우 음수가 되어 이 조건은 그 범위에서 일반적임을 의미한다.