[논문 리뷰] On the third secant variety

Jarosław Buczyński, J. M. Landsberg|arXiv (Cornell University)|2011. 11. 29.

Tensor decomposition and applications인용 수 4

한 줄 요약

이 논문은 국경 계수 3 이하인 텐서의 정규형과 랭크를 완전히 분류하며, 특히 세그레 매bedding의 제3차 시컨트 다양체에 중점을 둔다. σ₃(Seg(ℙA×ℙB×ℙC))의 특이점 집합이 최소한 두 차원의 codimension을 가지며, 공미누스큘라 다양체에 대해 한계 시컨트 평면 위의 네 가지 다른 유형의 점을 규명하고, 각 유형에 대해 명시적인 기하학적 및 대수적 특성화를 제공한다.

ABSTRACT

We determine normal forms and ranks of tensors of border rank at most three. We present a differential-geometric analysis of limits of secant planes in a more general context. In particular there are at most four types of points on limiting trisecant planes for cominuscule varieties such as Grassmannians. We also show the singular locus of the first two secant varieties of all triple Segre products has codimension at least two.

연구 동기 및 목표

• 국경 계수 3 이하인 텐서의 정규형과 랭크를 분류하며, 특히 세그레 다양체의 제3차 시컨트 다양체의 맥락에서 다룬다.
• 일반적인 설정에서 시컨트 평면의 극한의 기하학을 분석하며, 특히 그라스만리안과 같은 공미누스큘라 다양체에 중점을 둔다.
• 작은 차원의 텐서 공간에서 σ₃(Seg(ℙA×ℙB×ℙC))의 특이점 집합의 구조와 codimension을 규명한다.
• 시컨트 다양체와 탄성 다양체의 결과를 확장하여, 시컨트 평면과 그 극한의 미분기하학적 분석을 제공한다.
• 국경 계수가 작은 텐서의 가능한 랭크에 대한 열린 문제를 해결하며, 이는 국경 계수에 대한 충분한 테스트가 존재하나 랭크에 대한 이해가 부족하기 때문이다.

제안 방법

• 세그레 다양체에서 σ₃(X)∖σ₂(X)에 속하는 점에 대한 정규형 분류를 사용하며, 네 가지 유형으로 나누어진다: (i) 세 개의 랭크 1 텐서의 합, (ii) 탄성 벡터와 랭크 1 텐서의 합, (iii) 곡선을 따라 두 개의 탄성 벡터의 합, (iv) 직선 위의 두 개별 점에서의 탄성 벡터의 합.
• 시컨트 평면의 극한을 연구하기 위해 미분기하 기법을 적용하며, 특히 시컨트 다양체의 맥락에서 탄성 벡터와 그 극한의 행동을 분석한다.
• 매개변수화 φ: W → ℙ(A⊗B⊗C)의 탄성 사상의 이미지를 계산하기 위해 텐서 공간의 미분 이미지가 최대 질량을 가지며, 일반적인 점에서의 매끄러움을 증명한다.
• 탄성 사상의 이미지와 생성자 간의 선형 종속성을 통해 σ₃(Seg(ℙA×ℙB×ℙC))의 특이점 집합의 차원을 직접 계산한다.
• 2×2 소수와 슬라이스 행렬을 사용하여 (a₁,a₂,a₃), (b₁,b₂,b₃), (c₁,c₂,c₃)의 삼중을 순서와 스케일링을 제외하고 재구성하며, 원상이 여섯 개의 구성요소를 가짐을 보여준다.
• 이론적 및 계산적 결과를 바탕으로, 다양한 텐서 공간에 대해 σ₃의 차원과 특이점 집합의 차원 상한을 요약한 표(표 2)를 구성한다.

실험 결과

연구 질문

• RQ1 국경 계수 3 이하인 텐서의 가능한 정규형과 랭크는 무엇이며, 특히 세그레 매bedding의 제3차 시컨트 다양체에서 어떻게 나타나는가?
• RQ2 그라스만리안과 같은 공미누스큘라 다양체에 대해 시컨트 평면의 극한은 어떻게 행동하며, 이러한 극한 평면 위에 나타나는 서로 다른 유형의 점은 몇 개인가?
• RQ3 A, B, C의 다양한 차원에 대해 σ₃(Seg(ℙA×ℙB×ℙC))의 특이점 집합의 codimension은 얼마인가?
• RQ4 세그레 곱의 탄성 다양체는 제2차 시컨트 다양체의 매끄러운 점을 특성화하는 데 사용될 수 있는가? 이는 특이점 집합에 대해 어떤 함의를 갖는가?
• RQ5 σ₃(X)∖σ₂(X)에 속하는 서로 다른 유형의 점들은 위상적으로 및 기하학적으로 어떻게 관련되어 있는가? 특히, 그들의 codimension과 닫힘 관계는 무엇인가?

주요 결과

• 모든 A, B, C의 차원에 대해 σ₃(Seg(ℙA×ℙB×ℙC))의 특이점 집합은 최소한 두 차원의 codimension을 가지며, 한 요소가 ℂ³이고 나머지 요소의 차원이 3 이상일 경우 정확히 두 차원의 codimension을 가진다.
• X = Seg(ℙA₁×⋯×ℙAₙ)에 대해 σ₃(X)∖σ₂(X)에는 정확히 네 가지 유형의 점이 있으며, 이는 랭크 1 텐서와 탄성 벡터의 서로 다른 기하학적 구성과 대응된다.
• 유형 (i)인 점, 즉 세 개의 랭크 1 텐서의 합은 σ₃(X)∖σ₂(X)의 조각적 열린 부분집합을 포함하며, 이 다양체에서 일반적인 점이다.
• 유형 (ii) 점은 σ₃(X)에서 codimension 1을 가지며, 유형 (iii)은 codimension 2, 유형 (iv)는 codimension 4를 가지며, 유형 (iv)는 유형 (iii)의 닫힘에 속한다.
• n=2일 때, σ₃(Seg(ℙA₁×ℙA₂))∖σ₂(Seg(ℙA₁×ℙA₂))에 속하는 모든 점은 유형 (i)에 속하며, 이는 고차 시컨트 구조가 붕괴하는 특수한 경우임을 나타낸다.
• 일반적인 점이 σ₃(Seg(ℙA×ℙB×ℙC))에서 매개변수화 사상 φ에 의한 원상은 여섯 개의 구성요소를 가지며, 각각 (ℂ*)⁷와 동형이며, 이는 이산 단일 다중성을 가진 6:1 커버링임을 보여준다.