2025-11-14T03:46:11.111099

Toward a salmon conjecture

Bates, Oeding

By using a result from the numerical algebraic geometry package Bertini we show that (up to high numerical accuracy) a specific set of degree 6 and degree 9 polynomials cut out the secant variety $Ï_{4}(\mathbb{P}^{2}\times \mathbb{P} ^{2} \times \mathbb{P} ^{3})$. This, combined with an argument provided by Landsberg and Manivel (whose proof was corrected by Friedland), implies set-theoretic defining equations in degrees 5, 6 and 9 for a much larger set of secant varieties, including $Ï_{4}(\mathbb{P}^{3}\times \mathbb{P} ^{3} \times \mathbb{P} ^{3})$ which is of particular interest in light of the salmon prize offered by E. Allman for the ideal-theoretic defining equations.

academic

연어 추측을 향하여

기본 정보

논문 ID: 1009.6181
제목: Toward a salmon conjecture (연어 추측을 향하여)
저자: Daniel J. Bates, Luke Oeding
분류: math.AG (대수기하학)
발표 시간: 2011년 2월 2일 (arXiv 버전)
논문 링크: https://arxiv.org/abs/1009.6181

초록

수치 대수기하 소프트웨어 패키지 Bertini의 계산 결과를 이용하여, 저자들은 (높은 수치 정밀도에서) 특정한 6차 및 9차 다항식 집합이 할선 다양체(secant variety) $\sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^3)$ 를 절단함을 증명했다. Landsberg와 Manivel이 제공한 논증(증명은 Friedland에 의해 수정됨)과 결합하면, 더 큰 범위의 할선 다양체(예: $\sigma_4(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$ )에 대해 5차, 6차 및 9차의 집합론적 정의 방정식이 존재함을 의미한다. 이는 E. Allman이 제시한 이상(ideal)론적 정의 방정식의 연어상(salmon prize)에 특별한 의미를 갖는다.

연구 배경 및 동기

핵심 문제

본 논문이 해결하고자 하는 핵심 문제는 할선 다양체 $\sigma_4(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$ 의 정의 이상을 결정하는 것으로, 이는 2007년 E. Allman이 제시한 "연어상" 문제이다.

중요성

이론적 의의: 할선 다양체는 대수기하학의 고전적 연구 대상이며, 그 정의 방정식의 결정은 텐서의 경계 계수(border rank) 이해에 중요한 의미를 갖는다
응용 가치: 계통발생학에서 이 할선 다양체는 진화의 독립성 모델 혼합 모델과 연관된다
보편성: Allman과 Rhodes는 이 작은 진화 나무의 다항식 불변량을 찾으면 임의의 이진 진화 나무의 모든 통계 모델에 대한 모든 다항식 불변량을 제공할 것임을 증명했다

기존 방법의 한계

Friedland는 최근 5차, 9차 및 16차 다항식의 집합이 $\sigma_4(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$ 을 집합론적으로 정의할 수 있음을 증명했으나, 더 높은 차수의 방정식을 사용했다
이상론적 버전의 문제는 여전히 미해결 상태이다
효과적인 멤버십 테스트 방법이 부족하다

핵심 기여

더 낮은 차수의 집합론적 정의 방정식 제공: $\sigma_4(\mathbb{P}^3 \times \mathbb{P}^3 \times \mathbb{P}^3)$ 이 5차, 6차 및 9차 방정식으로 집합론적으로 정의될 수 있음을 증명하여, Friedland의 결과보다 더 낮은 차수를 사용한다
핵심 추측의 수치적 검증: Bertini 소프트웨어 패키지를 사용하여 추측 3.8을 검증했으며, 6차 방정식의 영점 집합이 정확히 목표 할선 다양체와 특정 부분공간 다양체의 합집합임을 확인했다
구체적인 다항식 기저 구성: 관련 Schur 모듈의 구체적인 다항식 기저 구성 방법을 제시했다
이상론적 버전의 추측 제시: 계산 결과를 바탕으로 "연어 추측"을 제시하여, 이상론적 버전도 성립함을 주장한다

방법 상세 설명

작업 정의

할선 다양체 $\sigma_4(\mathbb{P}^a \times \mathbb{P}^b \times \mathbb{P}^c)$ 의 집합론적 및 이상론적 정의 방정식을 결정하는 것, 특히 $a=b=c=3$ 인 경우를 다룬다.

핵심 방법 구조

1. 표현론적 방법

$GL(A) \times GL(B) \times GL(C)$ 의 대칭성을 이용하여, 동차 다항식 공간을 기약 모듈의 직합으로 분해한다: $S^d(A^* \otimes B^* \otimes C^*) = \bigoplus_{|\pi_1|=|\pi_2|=|\pi_3|=d} (S^{\pi_1}A^* \otimes S^{\pi_2}B^* \otimes S^{\pi_3}C^*)^{\oplus m_{\pi_1,\pi_2,\pi_3}}$

2. 핵심 모듈의 식별

6차 모듈: $M_6 = S^{(2,2,2)}A^* \otimes S^{(2,2,2)}B^* \otimes S^{(3,1,1,1)}C^*$
5차 모듈: $M_5 = S^{(3,1,1)}A^* \otimes S^{(2,1,1,1)}B^* \otimes S^{(2,1,1,1)}C^* \oplus \cdots$
9차 모듈: $M_9 = S^{(3,3,3)}A^* \otimes S^{(3,3,3)}B^* \otimes S^{(3,3,3)}C^*$

3. 상속 원리

Landsberg-Manivel의 상속 원리를 사용하여 $\sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^3)$ 의 방정식을 더 높은 차원 경우로 확장한다.

기술적 혁신점

1. 수치 대수기하 방법

순수 수학 이론 문제에 Bertini 소프트웨어 패키지의 수치 방법을 처음으로 적용하여, 계산 방법의 순수 수학 연구에서의 강력함을 보여준다.

2. 다항식 구성 알고리즘

Young 도형 채우기로부터 Schur 모듈의 다항식을 구성하는 구체적인 알고리즘을 제공한다:

최고 가중치 벡터 구성
Young 대칭화자 적용
동형 사상 재정렬
동차 다항식으로 대칭화

3. 기하학적 논증과 수치적 검증의 결합

고전적 기하학적 논증을 현대적 수치 계산과 결합하여 이론적 추측에 강력한 수치적 증거를 제공한다.

실험 설정

계산 환경

하드웨어: 8개 프로세서 (두 개의 2.66 GHz 쿼드코어 Xeon 5410s)
소프트웨어: Bertini 수치 대수기하 소프트웨어 패키지
계산 시간: 약 2주
정밀도 제어: 추적 및 최종 허용 오차를 $10^{-10}$ 이하로 설정

핵심 계산

계산 4.1: $M_6$ 의 영점 집합이 정확히 두 개의 기약 성분을 가짐을 검증:

차원 31, 차수 345인 성분 ( $\sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^3)$ 에 대응)
차원 29, 차수 84인 성분 ( $\text{Sub}_{3,3,3}$ 에 대응)

신뢰성 제어

적응형 정밀도 수치 방법 사용
200,000개 이상의 경로 추적, 경로 실패 또는 교차 없음
단자군 및 추적 테스트 프로그램 오류 없음
다중 검증 및 오류 제어

실험 결과

주요 결과

정리 3.10: $a,b,c \geq 3$ 에 대해, 높은 수치 정밀도에서 $\sigma_4(\mathbb{P}^{a-1} \times \mathbb{P}^{b-1} \times \mathbb{P}^{c-1})$ 의 집합론적 영점 집합은 다음 방정식으로 정의된다:

Strassen 교환 조건 ( $M_5$ ): 1728개의 5차 방정식
$\sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^3)$ $σ_{4} (P^{2} \times P^{2} \times P^{3})$ 에서 상속된 방정식:
- $M_6$ : 1000개의 6차 방정식
- $M_9$ : 8000개의 9차 방정식
$\bigwedge^5$ 를 포함하는 $S^5(A^* \otimes B^* \otimes C^*)$ 의 모듈

수치적 검증 결과

계산 4.1은 추측 3.8을 성공적으로 검증하여 다음을 확인했다: $V(S^{(2,2,2)}\mathbb{C}^3 \otimes S^{(2,2,2)}\mathbb{C}^3 \otimes S^{(3,1,1,1)}\mathbb{C}^4) = \sigma_4(\mathbb{P}^2 \times \mathbb{P}^2 \times \mathbb{P}^3) \cup \text{Sub}_{3,3,3}$