[논문 리뷰] Hypersurfaces with degenerate duals and the Geometric Complexity Theory Program

J. M. Landsberg, Laurent Manivel외 1명|arXiv (Cornell University)|2010. 04. 27.

Algebraic Geometry and Number Theory참고 문헌 5인용 수 15

한 줄 요약

이 논문은 $ℚ^{N-1}$ 내의 차수-$d$ 초곡면의 다양체 중 이중 다양체의 차원이 최대 $k$인 것들의 명시적 정의 식을 제공하며, 이를 통해 Mulmuley-Sohoni 궤도 폐쇄 $⁠\overline{GL_{n^2} \cdot [\det_n]}$⁡이 차수-$n$ 초곡면 중 이중 다양체의 차원이 최대 $2n-2$인 다양체의 하나의 기약 성분임을 보여준다. 기하 복잡도 이론에서 영구행렬의 경계 복잡도 $⁠\overline{dc}(​\operatorname{perm}_m)⁡ \geq m^2/2$의 이차 하한을 확립하여 기하 복잡도 이론에서 핵심적인 열린 문제를 해결한다.

ABSTRACT

We determine set-theoretic defining equations for the variety of hypersurfaces of degree d in an N-dimensional complex vector space that have dual variety of dimension at most k. We apply these equations to the Mulmuley-Sohoni variety, the GL_{n^2} orbit closure of the determinant, showing it is an irreducible component of the variety of hypersurfaces of degree $n$ in C^{n^2} with dual of dimension at most 2n-2. We establish additional geometric properties of the Mulmuley-Sohoni variety and prove a quadratic lower bound for the determinental border-complexity of the permanent.

연구 동기 및 목표

• 차수-$d$ 초곡면의 다양체 $⁠\mathrm{Dual}_{k,d,N}$ 의 집합론적 정의 식을 $⁠\mathbb{P}^{N-1}$ 내에서 이중 다양체의 차원이 최대 $k$인 것들에 대해 구하는 것.
• 이 식들을 Mulmuley-Sohoni 다양체 $⁠\overline{GL_{n^2} \cdot [\det_n]}$⁡에 적용하여 이것이 $⁠\mathrm{Dual}_{2n-2,n,n^2}$⁡의 기약 성분임을 보이는 것.
• 이전의 선형 하한보다 개선된, 영구행렬의 경계 복잡도 $⁠\overline{dc}(\operatorname{perm}_m)$⁡에 대한 이차 하한을 증명하는 것.
• 궤도 폐쇄 $⁠\overline{GL_{n^2} \cdot [\det_n]}$⁡의 이상형에 속하는 명시적인 $GL_{n^2}$-모듈 $V_n$을 구성하여, 이 궤도 폐쇄에 대한 첫 번째 알려진 명시적 식을 제공하는 것.
• 궤도 폐쇄 $⁠\overline{GL_{n^2} \cdot [\det_n]}$⁡이 $⁠\mathrm{End}(M_n(\mathbb{C})) \cdot [\det_n]$⁡을 엄밀히 포함하고 있음을 보여주어 $dc$와 $⁠\overline{dc}$⁡ 사이의 잠재적 격차를 입증하는 것.

제안 방법

• 동차 다항식 $P$의 헤시안 행렬의 질량을 이용해 이중 다양체의 차원과 관련된 카츠 차원 공식을 사용한다.
• 접선 공간을 계산하기 위해 Kempf-Weyman 분해를 적용하여, $k$차원 부분다양체 위에 원뿔을 이룬 초곡면을 매개변수화하는 부분공간 다양체 $⁠\mathrm{Sub}_{k+2}(S^d W^*)$⁡의 접선 공간을 계산한다.
• 최고 무게가 주어진 $GL_{n^2}$-모듈 $V_n$을 $S^n(M_n(\mathbb{C}))^*$ 위의 동차 다항식으로 차수 $n(n-1)$에 대해 구성하여 궤도 폐쇄의 식을 정의한다.
• 헤시안의 행렬식 전개에서 $ε^2$ 차수 항을 분석하여 $⁠\mathrm{Dual}_{k,d,N}$⁡의 접선 공간에 대한 제약 조건을 유도하고, 이가 부분공간 다양체의 접선 공간에 포함됨을 보여준다.
• 극화 및 대칭 텐서 분해를 사용하여 헤시안 이차형식을 내재적으로 표현한다: $H_{P,w}(X) = P(w,\dots,w,X,X)$.
• 궤도 폐쇄 이론과 표현 이론을 적용하여 $⁠\overline{GL_{n^2} \cdot [\det_n]}$⁡이 $V_n$의 영점의 하나의 기약 성분임을 식별한다.

실험 결과

연구 질문

• RQ1 차수-$d$ 초곡면의 다양체 $⁠\mathrm{Dual}_{k,d,N}$⁡은 $⁠\mathbb{P}^{N-1}$⁡ 내에서 이중 다양체의 차원이 최대 $k$인 것들에 대해 집합론적 정의 식은 무엇인가?
• RQ2 Mulmuley-Sohoni 궤도 폐쇄 $⁠\overline{GL_{n^2} \cdot [\det_n]}$⁡은 $⁠\mathrm{Dual}_{2n-2,n,n^2}$⁡의 기약 성분인가?
• RQ3 이전에 알려진 선형 하한보다 개선된, 영구행렬의 경계 복잡도 $⁠\overline{dc}(\operatorname{perm}_m)$⁡에 대한 이차 하한을 확립할 수 있는가?
• RQ4 궤도 폐쇄 $⁠\overline{GL_{n^2} \cdot [\det_n]}$⁡은 $⁠\mathrm{End}(M_n(\mathbb{C})) \cdot [\det_n]$⁡의 이미지를 엄밀히 포함하는가?
• RQ5 정규 함수의 이상형에 대한 이상형의 이상형의 구조는 무엇이며, 이 안에 명시적인 $GL_{n^2}$-모듈을 구성할 수 있는가?

주요 결과

• 다양체 $⁠\mathrm{Dual}_{k,d,N}$⁡이 $⁠\mathrm{Sub}_{k+2}(S^d \mathbb{C}^N)$⁡을 줄이고 기약 성분으로 가지며, 정의 식은 헤시안 질량 조건에서 유도됨을 보여준다.
• Mulmuley-Sohoni 다양체 $⁠\overline{GL_{n^2} \cdot [\det_n]}$⁡이 차수-$n$ 초곡면 중 이중 다양체의 차원이 최대 $2n-2$인 다양체 $⁠\mathrm{Dual}_{2n-2,n,n^2}$⁡의 기약 성분임을 증명한다.
• 이전까지 알려진 선형 하한보다 개선된 이차 하한 $⁠\overline{dc}(\operatorname{perm}_m) \geq m^2/2$⁡을 확립한다.
• 최고 무게가 $n(n-1)(n-2)\omega_1 + (2n^2 - 4n - 1)\omega_2 + 2\omega_{2n+1}$인 명시적인 $GL_{n^2}$-모듈 $V_n$을 $⁠\overline{GL_{n^2} \cdot [\det_n]}$⁡의 이상형 안에 구성하여, 이 궤도 폐쇄에 대한 첫 번째 알려진 명시적 식을 제공한다.
• 홀수인 $n$에 대해, $⁠\overline{GL_{n^2} \cdot [\det_n]}$⁡의 경계에 있지만 $⁠\mathrm{End}(M_n(\mathbb{C})) \cdot [\det_n]$⁡에 포함되지 않는 코드임-일차 $GL_{n^2}$-궤도를 제시하여, 일부 다항식 $P_m$에 대해 $⁠\overline{dc}(P_m) < dc(P_m)$⁡임을 입증한다.
• 접선 공간 계산을 통해 $⁠\hat{T}_{[P]}\mathrm{Dual}_{k,d,N} \subseteq S^d U^* \oplus S^{d-1}U^* \otimes V^*$⁡임을 증명하며, 이는 부분공간 다양체가 성분임을 확인한다.