[논문 리뷰] Plücker varieties and higher secants of Sato's Grassmannian

Jan Draisma, Rob H. Eggermont|arXiv (Cornell University)|2014. 02. 07.

Tensor decomposition and applications참고 문헌 15인용 수 10

한 줄 요약

이 논문은 벡터 공간의 외적에서의 부분다양체들인 플러커 다양체—함자성과 쌍대성과 호환되는 가족—를 도입하고, 유계 플러커 다양체가 기저 벡터 공간에 관계없이 일관된 차수를 가진 다항방정식으로 정의됨을 증명한다. 주요 결과는 고차 시컨트 다양체, 특히 사토의 그라스만이안을 포함한 그라스만이안의 고차 시컨트 다양체가 무한 와이드 공간에서의 극한 구조를 통해 유한 개의 $G_\infty$-오빗 다항방정식으로 체계적으로 정의됨을 보이며, 소속 테스트에 대한 알고리즘적 응용을 제공한다.

ABSTRACT

Every Grassmannian, in its Plücker embedding, is defined by quadratic polynomials. We prove a vast, qualitative, generalisation of this fact to what we call Plücker varieties. A Plücker variety is in fact a family of varieties in exterior powers of vector spaces that, like the Grassmannian, is functorial in the vector space and behaves well under duals. A special case of our result says that for each fixed natural number k, the k-th secant variety of any Plücker-embedded Grassmannian is defined in bounded degree independent of the Grassmannian. Our approach is to take the limit of a Plücker variety in the dual of a highly symmetric space known as the infinite wedge, and to prove that up to symmetry the limit is defined by finitely many polynomial equations. For this we prove the auxilliary result that for every natural number p the space of p-tuples of infinite-by-infinite matrices is Noetherian modulo row and column operations. Our results have algorithmic counterparts: every bounded Plücker variety has a polynomial-time membership test, and the same holds for Zariski-closed, basis-independent properties of p-tuples of matrices.

연구 동기 및 목표

• 외적에서의 함수적이고 쌍대성과 호환되는 부분다양체 가족으로서 플러커 다양체를 체계화하고 연구하기 위해.
• 기본적인 사실인 그라스만이안이 이차 플러커 관계로 정의됨을 더 넓은 범주로 일반화하기 위해.
• 플러커 임베딩된 그라스만이안의 고차 시컨트 다양체가 차수에 관계없이 일관된 차수의 다항방정식으로 정의됨을 증명하기 위해.
• 유계 플러커 다양체에 대한 소속 테스트를 다항시간 내에 수행할 수 있음을 증명하기 위해.
• 기본 결과의 기초가 되는 행과 열의 연산에 대해 행렬 튜플의 노에테리안성에 대해 탐색하기 위해.

제안 방법

• 함자성과 쌍대성 공리를 만족하는 $\bigwedge^p V$ 내의 닫힌 부분다양체 가족으로서 플러커 다양체를 정의하기 위해.
• 무한 와이드 공간 $({\bigwedge}^{\infty/2} V_\infty)^*$의 쌍대에서 플러커 다양체의 극한을 도입하여 가족의 渐近적 행동을 포착하기 위해.
• 유계 플러커 다양체의 극한이 $G_\infty$-오빗 다항방정식 유한 집합으로 정의됨을 증명하기 위해, 행과 열의 연산에 대해 무한 행렬 $p$-튜플의 노에테리안성 을 이용하기 위해.
• 극한 구조를 사용하여 플러커 다양체의 고차 시컨트 다양체가 다시 플러커 다양체임을 보이고, 그 정의 방정식이 유한한 기저 방정식의 역상임을 보여주기 위해.
• 무한 극한의 대칭성을 활용하여 정의 방정식 문제를 유한 개의 오빗으로 줄여, 유계 차수 결과를 도출하기 위해.
• 행렬 튜플의 노에테리안성을 적용하여 정의 방정식의 유한성을 확보하고, 다항시간 소속 알고리즘을 구축하기 위해.

실험 결과

연구 질문

• RQ1 기본 플러커 관계로 정의되는 그라스만이안을 더 넓은 범주로 일반화하여 일관된 차수의 정의 방정식을 가진 다양체로 확장할 수 있는가?
• RQ2 모든 그라스만이안 $\operatorname{Gr}(p,V)$의 $k$-번째 시컨트 다양체가 $p$와 $\dim V$에 관계없이 일관된 차수의 다항식으로 정의되는가?
• RQ3 유계 플러커 다양체의 무한 와이드 공간에서의 극한이 유한 개의 $G_\infty$-오빗 다항방정식으로 정의되는가?
• RQ4 입력 텐서의 희박하지 않은 표현이 주어졌을 때, 어떤 유계 플러커 다양체에 속하는지 다항시간 내에 테스트할 수 있는가?
• RQ5 행과 열의 연산에 대해 무한 행렬 $p$-튜플의 노에테리안성 결과가 정의 방정식의 유한성을 보장하는 데 충분한가?

주요 결과

• 모든 유계 플러커 다양체 $\mathbf{X}$에 대해, $p_0$와 $V_0$가 존재하여 모든 인스턴스 $\mathbf{X}_p(V)$가 $\mathbf{X}_{p_0}(V_0)$의 방정식의 역상으로 정의됨을 보장하며, 이는 정의 방정식의 차수 유계성을 보장한다.
• 모든 그라스만이안 $\operatorname{Gr}(p,V)$의 $k$-번째 시컨트 다양체는 $p$나 $\dim V$에 관계없이 차수 최대 $d$의 다항식으로 정의되며, $d$는 $k$에만 의존한다.
• 유계 플러커 다양체의 무한 와이드 공간에서의 극한은 유한 개의 $G_\infty$-오빗 다항방정식으로 정의되며, 이는 균일한 기술을 제공한다.
• 유계 플러커 다양체에 대한 소속 테스트를 다항시간 내에 수행할 수 있는 알고리즘이 존재하며, 기초 체가 $\mathbb{Q}$ 또는 수체일 경우 비트 복잡도가 다항식이다.
• $p$-튜플의 무한 크기의 행렬 공간은 행과 열의 연산에 대해 노에테리안이며, 이는 주요 정리의 핵심 보조 결과이다.
• 사토의 그라스만이안의 고차 시컨트 다양체는 유한 개의 $G_\infty$-오빗 다항방정식으로 체계적으로 정의되며, 극한 구조는 시컨트 다양체를 취하는 것과 가환한다.