[논문 리뷰] On the ideals and singularities of secant varieties of Segre varieties

J. M. Landsberg, Jerzy Weyman|ArXiv.org|2006. 01. 18.

Polynomial and algebraic computation참고 문헌 4인용 수 7

한 줄 요약

이 논문은 프로젝티브 공간의 곱의 세그레 매bedding의 시컨트 다양체에 대한 정의 방정식을 결정하며, 세 가지 케이스에 초점을 맞춘다: $\sigma_k(\mathbb{P}^1 \times \mathbb{P}^n \times \mathbb{P}^m)$, $\sigma_2(\mathbb{P}^n \times \mathbb{P}^m \times \mathbb{P}^p \times \mathbb{P}^r)$, 및 $\sigma_3(\mathbb{P}^n \times \mathbb{P}^m \times \mathbb{P}^p)$이며, 이들이 산술적으로 코hen-맥컬레이이자 정상적이며 유리 특이성을 가짐을 증명한다. 하위공간 다양체와 표현 이론을 사용하여 기본 케이스로 축소한 후, 해상도를 계산하여 이상 생성과 정상성의 확인을 한다.

ABSTRACT

We find generators for the ideals of secant varieties of Segre varieties in several the cases including the Garcia-Stillmann-Ssturmfels conjecture for four factors and prove results about their singularities.

연구 동기 및 목표

• 특정 소수의 랭크 케이스에 대해 시컨트 다양체의 정의 이상을 결정하는 것.
• 이러한 시컨트 다양체가 정상적이며 유리 특이성을 지닌다거나 산술적으로 코hen-맥컬레이임을 확립하는 것.
• 차원이 시컨트 랭크에 의해 유계일 때, 하위공간 다양체를 통해 일반 문제를 기본 케이스로 축소하는 것.
• 표현 이론과 등변 해상도를 사용하여 생성자들을 식별하고 이상 소속을 확인하는 것.
• 정의 이상이 감소적임을 확인하고, 계산 기반 대수 도구를 사용하여 최소 자유 해상도를 계산하는 것.

제안 방법

• 시컨트 다양체의 이상 구조를 단순화하기 위해 보조 다양체로 하위공간 다양체 $Sub_{b_1,\dots,b_n}$ 를 사용한다.
• 표현 이론을 적용하여 하위공간 다양체 이상을 생성하는 기약 $GL$-모듈을 식별한다.
• 모든 $j$에 대해 $\dim A_j = r$ 인 기본 케이스로 문제를 축소하며, $SL(A_1) \times \cdots \times SL(A_n)$ 에 대한 불변성을 이용한다.
• 평탄화 기법을 사용하여 고차 시컨트 다양체를 더 작은 곱의 알려진 결정식 이상과 연결한다.
• Macaulay2를 통해 최소 자유 해상도를 계산하여 코드미니멈과 코hen-맥컬레이 성질을 확인한다.
• 생성 다항식의 미분형을 분석하여 (예: 스트라센의 방정식) 집합론적 및 스킴 이론적 생성을 확인한다.

실험 결과

연구 질문

• RQ1 모든 $k,n,m$ 에 대해 $\sigma_k(\mathbb{P}^1 \times \mathbb{P}^n \times \mathbb{P}^m)$ 의 정의 방정식은 무엇인가?
• RQ2 $\sigma_2(\mathbb{P}^n \times \mathbb{P}^m \times \mathbb{P}^p \times \mathbb{P}^r)$ 는 산술적으로 코hen-맥컬레이이자 정상적이며 유리 특이성을 지닌다?
• RQ3 $\sigma_3(\mathbb{P}^n \times \mathbb{P}^m \times \mathbb{P}^p)$ 의 정의 이상의 구조는 무엇이며, 감소적입니까?
• RQ4 해상도의 기하학적 구성 요소는 시컨트 다양체의 표현론적 구조를 어떻게 반영합니까?
• RQ5 이상의 최소 자유 해상도를 명시적으로 계산할 수 있으며, 기대 코드미니멈과 코hen-맥컬레이 성질을 확인합니까?

주요 결과

• $\sigma_k(\mathbb{P}^1 \times \mathbb{P}^n \times \mathbb{P}^m)$ 의 이상은 첫 번째 부분이 $k+1$ 이하인 분할에 대응하는 기약 $SL$-모듈에 의해 생성되며, 이 다양체는 정상적이며 유리 특이성을 가진다.
• $\sigma_2(\mathbb{P}^n \times \mathbb{P}^m \times \mathbb{P}^p \times \mathbb{P}^r)$ 의 이상은 산술적으로 코hen-맥컬레이이자 정상적이며 유리 특이성을 가진다.
• $\sigma_3(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^2)$ 에서는 정의 이상이 스트라센의 다항식에 의해 생성되며, 해상도의 항들은 각 인자에서 최대 무게 6을 가진다.
• $\sigma_3(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^2)$ 에 대한 $\mathbb{A}/I$ 의 최소 자유 해상도는 명시적으로 계산되었으며, $G_6 = \mathfrak{S}[(5,5,5)(5,5,5)(5,5,5)] \oplus \mathfrak{S}[(6,3,3)(4,4,4)(4,4,4)]$ 로 표현되어 코드미니멈 6을 확인한다.
• 일반점에서 생성 다항식의 미분형이 쌍대정규 공간을 생성하므로 이상이 감소적임을 증명하고 시컨트 다양체를 스킴 이론적으로 정의함을 보장한다.
• 등변 해상도의 구조는 해상도의 모든 기하학적 구성 요소의 최고 무게가 6 이하임을 확인하며, 이는 기대 코드미니멈과 일치한다.