[논문 리뷰] Equations for secant varieties of Veronese and other varieties

J. M. Landsberg, Giorgio Ottaviani|arXiv (Cornell University)|2011. 11. 19.

Tensor decomposition and applications참고 문헌 26인용 수 8

한 줄 요약

이 논문은 표현 이론과 벡터(bundle) 기법을 사용하여 베론제 곡선의 시컨트 다양체에 대한 새로운 유형의 방정식을 도입하며, '영 플랫닝(Young Flattenings)'을 통해 고전적 카타렉틱턴트 미니어들(миноры)을 일반화한다. 표준 플랫닝이 실패하는 경우 특정 영 플랫닝이 체계적 기반으로서의 정의 방정식을 제공함을 증명하며, 여러 대수기하학적 설정에서 시컨트 다양체의 방정식을 유도하기 위한 균일한 프레임워크를 동질적 벡터(bundle)를 통해 제시한다.

ABSTRACT

New classes of modules of equations for secant varieties of Veronese varieties are defined using representation theory and geometry. Some old modules of equations (catalecticant minors) are revisited to determine when they are sufficient to give scheme-theoretic defining equations. An algorithm to decompose a general ternary quintic as the sum of seven fifth powers is given as an illustration of our methods. Our new equations and results about them are put into a larger context by introducing vector bundle techniques for finding equations of secant varieties in general. We include a few homogeneous examples of this method.

연구 동기 및 목표

• 고전적 카타렉틱턴트 미니어들(миноры)을 초월하여, 베론제 곡선의 시컨트 다양체에 대한 새로운 체계적 방정식을 개발하기 위해.
• 표준 플랫닝이 시컨트 다양체를 체계적 기반으로 정의하는 데 충분한 경우를 규명하기 위해.
• 일반적인 시컨트 다양체의 방정식 유도를 위한 균일한 벡터(bundle) 프레임워크를 제안하기 위해.
• 삼차 5차 다항식을 5차 거듭제곱의 합으로 분해하는 알고리즘을 제시하기 위해.
• 스핀터 및 예외적 그라스만이안 다양체를 포함한 다른 다양체로 이론을 확장하기 위해.

제안 방법

• 표현 이론을 활용하여 새로운 방정식 모듈을 구성함으로써, 고전적 아론홀트 불변량의 일반화로 '영 플랫닝(Young Flattenings)'을 도입하기 위해.
• 플래그 다양체 G/P 위에서 벡터(bundle) 기법을 적용하여 시컨트 다양체의 방정식을 유도하기 위해, 동질적 벡터(bundle)의 코homology를 사용한다.
• 벡터(bundle) E와 E*⊗L 사이의 대칭성을 활용하여, 특히 둘 다 비자명한 단면을 가질 경우 global 단면으로부터 방정식을 구성하기 위해.
• 대칭 텐서와 대칭 플랫닝 φa,d−a의 기하학적 성질을 활용하여 질서 조건을 분석하고, 미니어들을 유도하기 위해.
• 다양한 시컨트 다양체와 차원으로의 결과 일반화를 위해 귀납 보조정리(보조정리 6.2.1)를 개발하기 위해.
• 이론 프레임워크를 특정 사례, 예를 들어 σr(vd(Pn))에 적용하여, 아이아로빈코, 케이너브, 디젤의 기존 결과를 활용해 접근의 타당성을 검증하기 위해.

실험 결과

연구 질문

• RQ1 고전적 카타렉틱턴트 미니어들이 베론제 곡선의 시컨트 다양체를 체계적 기반으로 정의하는 데 충분한가?
• RQ2 표준 플랫닝이 실패하는 경우, 새로운 유형의 방정식, 예를 들어 영 플랫닝(Young Flattenings)이 체계적 기반 정의 방정식을 제공할 수 있는가?
• RQ3 벡터(bundle) 코homology는 어떻게 체계적으로 동질적 다양체의 시컨트 다양체 방정식을 유도하는 데 사용될 수 있는가?
• RQ4 E6/P3 또는 Dn/Pn와 같은 예외적 사례에서 시컨트 다양체를 정의하는 최소 차수의 방정식은 무엇인가?
• RQ5 복잡도 이론과 대수통계학에서 기존 방법과 비교해 새로운 방정식은 효율성과 완전성 측면에서 어떻게 다른가?

주요 결과

• 특히 YFd,n인 영 플랫닝(Young Flattenings)은 표준 플랫닝이 실패하는 경우 시컨트 다양체의 체계적 기반 정의 방정식을 제공하며, 이는 정리 1.2.3에서 증명되었다.
• σ3(v3(Pn))의 경우 아론홀트 불변량과 φ1,2의 4×4 미니어가 이상론적 기반 방정식을 제공한다. 이는 보조정리 4.1.1과 정리 3.2.1에서 보였다.
• d≥4인 σ3(vd(Pn))의 경우, φ2,2와 φ1,3의 크기 4의 미니어가 시컨트 다양체를 체계적 기반으로 정의한다. 이는 정리 1.2.3에서 확립되었다.
• d≥6 또는 d=4인 σ4(vd(P2))와 σ5(vd(P2))의 경우, 각각 a=⌊d/2⌋일 때 φa,d−a의 크기 5 및 6의 미니어가 체계적 기반 방정식을 제공한다. 이는 정리 1.2.3에 따라 성립한다.
• σ6(v5(P2))의 경우, φ31,31의 크기 14 부분 페프판(14 sub-Pfaffians)이 시컨트 다양체를 체계적 기반으로 정의한다. 이는 정리 s6v5p2에서 보였다.
• j≤(δ+1 choose 2)인 σj(v2δ(P2))의 경우, 1≤a≤δ에 대해 φa,d−a의 질서 조건이 체계적 기반 방정식을 제공하며, 아이아로빈코와 케이너브의 기존 결과를 확장한다.