[논문 리뷰] On the locus of points of high rank

Jarosław Buczyński, Kangjin Han외 2명|arXiv (Cornell University)|2017. 03. 08.

Tensor decomposition and applications참고 문헌 17인용 수 4

한 줄 요약

이 논문은 비퇴화적이고 기약적인 사영다양체 $X$에 관하여 일반 랭크를 초월하는 높은 랭크를 가진 점들의 위치를 조사한다. 고랭크 위치 $W_k$ ($k > g$)에 대한 포함관계를 규명하고, 차원의 상한을 증명하며, 이들 결과를 곡선과 동차다양체(예: 베론제 및 세그레 매bedding 포함)에 적용하여, 이전에 생각했던 것보다 고랭크 점이 더 많다는 것을 보여준다.

ABSTRACT

Given a closed subvariety X in a projective space, the rank with respect to X of a point p in this projective space is the least integer r such that p lies in the linear span of some r points of X. Let W_k be the closure of the set of points of rank with respect to X equal to k. For small values of k such loci are called secant varieties. This article studies the loci W_k for values of k larger than the generic rank. We show they are nested, we bound their dimensions, and we estimate the maximal possible rank with respect to X in special cases, including when X is a homogeneous space or a curve. The theory is illustrated by numerous examples, including Veronese varieties, the Segre product of dimensions (1,3,3), and curves. An intermediate result provides a lower bound on the dimension of any GL_n orbit of a homogeneous form.

연구 동기 및 목표

• 사영다양체 $X$에 대해 일반 랭크를 초월하는 랭크를 가진 점들의 구조와 기하학을 이해하는 것.
• 일반 랭크 $g$보다 큰 $k$에 대해 $W_k = \overline{\{p \in \mathbb{P}^N : \operatorname{rank}_X(p) = k\}}$ 를 분석하는 것.
• 고랭크 위치의 차원을 상한으로 제한하고, 이들와 시컨트 다양체 사이의 포함관계를 확립하는 것.
• 특정 유형의 다양체, 특히 곡선과 동차공간에 대해 최대 가능 랭크를 결정하는 것.
• 특수한 동차다항식의 $\mathrm{GL}_n$-오빗 차원에 대한 하한을 제공하는 것, 조건이 특이점이나 기약성의 문제가 있을지라도.

제안 방법

• 점 $p$의 랭크를 $X$에 대해 정의: $p$를 포함하는 선형스팬을 형성하는 $X$ 위의 점들의 최소 수.
• 고랭크 점들로 구성된 집합의 클로처로 $W_k$를 정의하며, 고전적 시컨트 다양체 개념을 일반 랭크를 초월해 확장한다.
• 핵심 포함관계 결과 도출: $k > g$일 때, $W_k$와 $X$의 조인(_JOIN)은 $W_{k-1}$에 포함되며, 이는 $W_k \subseteq W_{k-1}$를 의미한다.
• 이 포함관계를 이용해 $k > g$인 $W_k$의 차원에 대한 상한을 유도한다.
• 표현론적 기법과 기하학적 기법을 사용해 $\mathrm{GL}_n$ 작용 하에서 동차다항식의 오빗을 분석한다.
• 이차표면 위에서의 사영과 조인드 기법을 사용해 이중도수 $(a,b)$를 가진 곡선의 랭크 위치를 연구한다.

실험 결과

연구 질문

• RQ1 일반 랭크 $g$를 초월하는 $k > g$에 대해 $W_k$의 구조는 어떻게 되며, 이들은 시컨트 다양체와 어떻게 관련되어 있는가?
• RQ2 고랭크 위치 $W_k$ ($k > g$)의 차원은 상한으로 제한될 수 있으며, 이는 고랭크 점들의 기하학에 어떤 영향을 미치는가?
• RQ3 주어진 다양체 $X$에 대해 텐서나 대칭텐서의 최대 가능 랭크는 무엇이며, 특히 $X$가 곡선이거나 동차공간일 경우 어떻게 되는가?
• RQ4 최대 랭크를 달성하는 점들의 집합은 얼마나 큰가? 그 차원에 대한 하한을 확립할 수 있는가?
• RQ5 특수한 동차다항식의 $\mathrm{GL}_n$-오빗 차원은 얼마이며, 이는 다항식이 특이점이 있거나 비기약일 경우에도 성립하는가?

주요 결과

• 일반 랭크 $g$를 초월하는 고랭크 위치 $W_k$는 포함관계를 가진다: $W_k \subseteq W_{k-1}$이며, 더 강력하게는 $W_k$와 $X$의 조인이 $W_{k-1}$에 포함된다.
• 일반적인 이차표면 위의 이중도수 $(a,b)$ 곡선에서 $a \geq 4$, $b \geq 1$일 경우, $W_3$는 공집합이며, 따라서 최대 랭크는 2이다.
• $\mathbb{P}^3$ 내 일반 타원곡선(이중도수 $(2,2)$)의 경우, $W_3$는 원곡선과 이격된 차수 8의 곡선이며, 정확히 4개의 랭크 2 점을 가진다.
• 최대 랭크를 가진 대칭텐서의 집합은 차원이 $\dim \mathrm{GL}_n / \mathrm{Stab}(F)$ 이상이며, 이 값은 $F$가 매끄럽지 않더라도 하한으로 유지된다.
• $2 \times 2n \times 2n$ 텐서의 최대 랭크 점들의 집합 차원이 명시적으로 계산된다.
• $2 \times 4 \times 4$ 텐서의 경우, 일반 랭크를 초월하는 모든 점들의 랭크를 완전히 특성화하며, 이들이 특정 대수적 집합에 포함되어 있음을 보여준다.