[논문 리뷰] On the ideals of Secant Varieties to certain rational varieties

Maria Virginia Catalisano, Anthony V. Geramita외 1명|ArXiv.org|2006. 09. 02.

Tensor decomposition and applications참고 문헌 11인용 수 4

한 줄 요약

이 논문은 특정 유리적 곡면, 즉 사영 공간의 곱의 세그레 매bedding, 두 또는 세 인자를 가진 세그레-베로네제 매bedding, 그리고 델 페초 곡면에 대한 고차 시컨트 곡면의 정의 이상을 결정한다. 이들은 관련 텐서의 평탄화로부터 유도된 행렬식 방정식으로 생성된 이상임을 증명하며, 이는 이전에 두 인자 곱에 대해 알려진 결과를 고계 텐서로 확장하고, 특히 시컨트 직선 및 평면 곡면에 대한 추측을 확인한다.

ABSTRACT

If $\X \subset ¶^n$ is a reduced and irreducible projective variety, it is interesting to find the equations describing the (higher) secant varieties of $\X$. In this paper we find those equations in the following cases: $\X = ¶^{n_1} imes... imes¶^{n_t} imes¶^n$ is the Segre embedding of the product and $n$ is "large" with respect to the $n_i$ (Theorem 2.4); $\X$ is a Segre-Veronese embedding of some products with 2 or three factors; $\X$ is a Del Pezzo surface.

연구 동기 및 목표

• 세그레 매bedding의 사영 공간의 곱(Pⁿ₁×⋯×Pⁿₜ, t ≥ 3)에 대한 고차 시컨트 곡면의 정의 이상을 결정한다.
• 이전에 두 인자 곱에 대해 성립했던 시컨트 곡면 이상의 행렬식 기술을 세 인자 이상의 경우로 확장한다.
• 시컨트 직선 및 평면 곡면의 이상이 평탄화로부터 유도된 행렬식 방정식으로 생성된다는 추측을 검증하고 일반화한다.
• 기존 공식과 계산 도구를 사용하여 이러한 이상의 기하학적·대수적 성질(예: 코hen-맥쿨러성, 해상도, 차수)을 분석한다.
• 수치적 불변량과 이상의 구조를 통해 델 페초 곡면과 관련된 유리 곡면의 시컨트 곡면을 비교한다.

제안 방법

• 세그레 매bedding와 관련된 동차 좌표 텐서의 텐서 평탄화를 사용하여 시컨트 곡면 이상의 후보 방정식을 생성한다.
• GSS에서 제기한 추측(시컨트 곡면 이상은 평탄화의 (s+1)×(s+1) 소수로 생성됨)을 특정 케이스(예: 세 인자 곱)에 대해 증명한다.
• 투영 기법과 Remark 4.1(투영된 곡면의 시컨트 곡면은 원래 곡면의 시컨트 곡면의 투영임)을 활용하여 투영된 곡면의 이상을 원래 곡면의 이상과 연결한다.
• CoCoA와 같은 계산 대수 시스템을 사용하여 이상 생성, Betti 수, 차수 등을 특정 예제에서 검증한다.
• 힐베르트 급수와 디테르미내널 곡면의 차수에 대한 지아망벨리의 공식과 같은 기존 결과를 활용하여 불변량을 계산한다.
• 특히 일반적인 높이 경우에 대해 최소 자유 해상도를 기술하는 에이건-노스코트 복합체에 의존한다.

실험 결과

연구 질문

• RQ1 t ≥ 3인 t인자 곱의 세그레 매bedding에 대한 고차 시컨트 곡면의 정의 이상은 관련 텐서의 가능한 모든 평탄화의 (s+1)×(s+1) 소수로 생성되는가?
• RQ2 두 또는 세 인자 곱의 세그레-베로네제 매bedding에 대한 시컨트 직선 및 평면 곡면의 이상은 평탄화로부터 유도된 행렬식 방정식으로 생성되는가?
• RQ3 델 페초 곡면의 시컨트 곡면 이상은 임베딩에서 유도된 특정 행렬의 3×3 소수로 생성되는가?
• RQ4 S₈와 D₈와 같은 투영된 유리 곡면의 경우, 높은 차수의 시컨트에서 기하학적 행동이 다를 수는 있지만, 시컨트 곡면 이상은 3×3 소수로 생성되는가?
• RQ5 차수와 Betti 수와 같은 수치적 불변량은 S₈와 D₈와 같은 서로 다른 유리 곡면의 시컨트 곡면을 구분할 수 있는가?

주요 결과

• t ≥ 3인 Pⁿ₁×⋯×Pⁿₜ의 세그레 매bedding에 대해 시컨트 곡면 σ₂(X)의 이상은 n이 충분히 클 경우 관련 텐서의 모든 평탄화의 3×3 소수로 생성된다.
• P¹×P¹×P¹의 세그레-베로네제 매bedding에 대해 시컨트 곡면 σ₂(X)의 이상은 4×4 행렬 B의 3×3 소수로 생성되며, 이 B는 동차 좌표로부터 명시적으로 구성된다.
• 델 페초 곡면 S₉의 시컨트 곡면 σ₂(S₉)는 4×4 행렬 A₀의 3×3 소수로 정의되며, 이 이상은 아리트메틱적으로 코헨-맥쿨러성이며 알려진 에이건-노스코트 해상도를 가진다.
• σ₂(S₈)의 차수는 10이며, 이는 σ₂(D₈)의 차수와 일치하며, 두 곡면 모두 동일한 그레이드 Betti 수를 가지므로 이러한 수치적 불변량으로서의 구별이 불가능하다.
• σ₃(S₈)는 기대한 바와 같이 P⁸를 메운다. 반면 σ₃(D₈)는 det(B) = 0으로 정의되는 초곡면이므로 높은 차수의 시컨트 행동에서의 핵심적인 차이를 보인다.
• σ₃(S₉)의 이상은 아론홀트 불변량(차수 4의 형태)으로 생성되며, 이는 이 곡면이 펌프트의 삼차곡면을 매개변수화하는 초곡면임을 확인한다.