[논문 리뷰] Symplectic bundles on the plane, secant varieties and Lüroth quartics revisited

Giorgio Ottaviani|ArXiv.org|2007. 02. 06.

Algebraic Geometry and Number Theory참고 문헌 25인용 수 23

한 줄 요약

이 논문은 프로젝티브 평면 위의 심플렉틱 벡터 복합체와 $X = \mathbb{P}^2 \times \mathbb{P}^{n-1}$에 대한 $\mathcal{O}(1,2)$의 고차 초평면에 대한 깊은 연결을 설정하며, $(n+1)$-초평면 $\sigma_{n+1}(X)$가 대칭 스트라센 방정식의 일반화로 정의된 초곡면임을 증명한다. 주요 결과는 $n=4$일 때 이 초곡면이 루로스 사차곡선을 매개변수화하며, 이는 초평면 기하학과 심플렉틱 복합체의 바르트 사상 및 브릴-노이만 위치 사이의 연결을 제공한다.

ABSTRACT

Let $X={\bf P}^2 imes{\bf P}^{n-1}$ embedded with $Ø(1,2)$. We prove that its $(n+1)$-secant variety $σ_{n+1}(X)$ is a hypersurface, while it is expected that it fills the ambient space. The equation of $σ_{n+1}(X)$ is the symmetric analog of the Strassen equation. When $n=4$ the determinantal map takes $σ_5(X)$ to the hypersurface of Lüroth quartics, which is the image of the Barth map studied by LePotier and Tikhomirov. This hint allows to obtain some results on the jumping lines and the Brill-Noether loci of symplectic bundles on ${\bf P}^2$ by using the higher secant varieties of $X$.

연구 동기 및 목표

• 세그레-베로네제 다양체 $X = \mathbb{P}^2 \times \mathbb{P}^{n-1}$에 대한 $\mathcal{O}(1,2)$와 $\mathbb{P}^2$ 위의 심플렉틱 복합체의 모듈리 공간 간 기하학적 연결을 탐구한다.
• $n \geq 4$, $n$이 짝수일 때 $(n+1)$-초평면 $\sigma_{n+1}(X)$가 초곡면임을 증명하기 위해 스트라센 방정식의 대칭 일반화를 구성한다.
• $n=4$일 때 초곡면 $\sigma_5(X)$가 루로스 사차곡선을 매개변수화함을 보여주며, 이는 초평면 기하학을 통한 루로스 정리의 기하학적 증명을 제공한다.
• 심플렉틱 복합체의 브릴-노이만 위치를 $\sigma_{n+(r/2)}(X)$의 기하학과 연결하며, 특히 $E(1)$의 절단의 영함수성에 기반한다.

제안 방법

• Segre-Veronese 다양체 $X = \mathbb{P}^2 \times \mathbb{P}^{n-1}$를 $\mathcal{O}(1,2)$에 의해 매립하고, 그 고차 초평면 $\sigma_k(X)$를 연구한다.
• 스트라센 사상의 대칭 버전인 대칭 수축 사상 $S_f: H^0(U \otimes S^2 V) \to \wedge^2 U \otimes W$를 도입한다.
• 대칭 사상 $S_f$의 행렬식이 $\sigma_{n+1}(X)$에서 영이 됨을 보여 $\sigma_{n+1}(X)$가 초곡면임을 증명하고, 이로부터 대칭 스트라센 방정식을 유도한다.
• 바르트 모나드 구조를 사용하여 심플렉틱 복합체 $E \in M_{sp}(r,n)$를 코homology 복합체로 표현하며, 그 점프 선과 $X$의 초평면 간의 연결을 맺는다.
• $E(1)$의 절단 존재성과 $H^0(f(1))$의 랭크를 연결하고, 테라시니 유형의 추론을 사용하여 핵의 코드미너션을 유계한다.
• 네 항의 보조정리를 적용하여 $H^0(\Omega^1(3))$에 대한 $SL(U)$-등변 동차 수열을 유도함으로써 $h^0(E(1))$의 계산을 가능하게 한다.

실험 결과

연구 질문

• RQ1 왜 $X = \mathbb{P}^2 \times \mathbb{P}^3$에 대한 $\mathcal{O}(1,2)$의 $5$-초평면은 잠재적인 차원이 전체 공간을 메우는 데도 초곡면을 이룰까?
• RQ2 대칭 스트라센 방정식은 $\mathbb{P}^2$ 위의 심플렉틱 복합체의 바르트 사상과 점프 선 곡선과 어떻게 관련되어 있는가?
• RQ3 브릴-노이만 위치 $M_{sp}(r,n)^{k}$의 기하학적 의미는 $X$의 초평면에 대해 무엇인가?
• RQ4 왜 일반 복합체 $M_{sp}(r,n)^{r/2}$는 $r=2$일 때에만 $\sigma_{n+(r/2)}(X)$로부터 유도되는가?

주요 결과

• $n \geq 4$, $n$이 짝수일 때, $X = \mathbb{P}^2 \times \mathbb{P}^{n-1}$에 대한 $\mathcal{O}(1,2)$의 $(n+1)$-초평면 $\sigma_{n+1}(X)$는 대칭 스트라센 방정식 $\det S_f = 0$로 정의된 초곡면이다.
• $n=4$일 때, 초곡면 $\sigma_5(X)$는 루로스 사차곡선을 매개변수화하며, 이 초곡면의 방정식은 스트라센 방정식의 대칭 일반화이며 바르트 사상의 이미지와 일치한다.
• 일반적인 $E \in M_{sp}(2,4)$의 점프 선 곡선은 루로스 사차곡선이며, 그 방정식은 $\Delta(\sum_{i=1}^5 r_i h_i^2) = 0$로 표현될 수 있다. 여기서 $r_i$는 직선이고 $h_i$는 일차형식이다.
• 점프 곡선을 묘사하는 직선들 $r_1, \dots, r_k$의 다양체 차원은 $\frac{n}{2} - 1$이며, 이는 $n=4$일 때 $1$이 되어 루로스 사차곡선의 기하학적 구조를 확인한다.
• 일반적인 $f \in \sigma_{n+(r/2)}(X)$에 대해, 복합체 $E(f)$는 $h^0(E(1)) \geq r/2$를 만족하며, 이 경계는 $r=2$일 때에만 날카롭게 유지되며, 이는 훌스버젠 복합체에 해당한다.
• $r > 2$일 때, 브릴-노이만 위치 $M_{sp}(r,n)^{r/2}$의 접선 공간 차원은 $\Delta(\sigma_{n+(r/2)}(X))$의 차원을 초과한다. 이는 오직 $r=2$일 때에만 복합체가 이 방식으로 초평면에서 유도된다는 것을 의미한다.