[논문 리뷰] Syzygies of secant ideals of Plücker-embedded Grassmannians are generated in bounded degree

Robert P. Laudone|arXiv (Cornell University)|2018. 03. 09.

Tensor decomposition and applications참고 문헌 18인용 수 6

한 줄 요약

이 논문은 특성 0에서 임의의 고정된 $ r \geq 0 $에 대해 플루커-포함된 그라스만이안 $ \mathbf{Gr}(d,n) $의 $ r $번째 시컨트 다양체의 소 이상대의 다항식으로 생성되는 차수의 균일한 유계성 $ C(r) $를 증명한다. 이 $ C(r) $는 $ d $와 $ n $에 독립적이다. 증명은 외부 대칭대수의 순서를 가지는 호프 링의 구조와 함자 범주 기법을 결합하여 싸지 모듈러스의 유계성 증명을 하며, 최종적으로 제1차 싸지 모듈러스의 차수에 대한 균일한 유계 $ C(i,r) $를 도출한다.

ABSTRACT

Over a field of characteristic $0$, we prove that for each $r \geq 0$ there exists a constant $C(r)$ so that the prime ideal of the $r$th secant variety of any Plücker-embedded Grassmannian ${\bf Gr}(d,n)$ is generated by polynomials of degree at most $C(r)$, where $C(r)$ is independent of $d$ and $n$. This bounded generation ultimately reduces to proving a poset is noetherian, we develop a new method to do this. We then translate the structure we develop to the language of functor categories to prove the $i$th syzygy module of the coordinate ring of the $r$th secant variety of any Plücker-embedded Grassmannian ${\bf Gr}(d,n)$ is concentrated in degrees bounded by a constant $C(i,r)$, which is again independent of $d$ and $n$.

연구 동기 및 목표

• 논문 [DE]에서 제기된 플루커-포함된 그라스만이안의 시컨트 다양체에 대한 이상론적 유계 생성에 관한 추측을 해결하기 위해.
• 특성 0에서 $ \mathbf{Gr}(d,n) $의 $ r $번째 시컨트 이상대가 $ C(r) $ 이하의 차수에서 생성되며, 이 $ C(r) $는 $ d $와 $ n $에 독립적임을 증명하기 위해.
• 이러한 유계 생성을 싸지 모듈러스로 확장하여, 제$ i $번째 싸지 모듈러스가 $ C(i,r) $ 이하의 차수에 놓여 있음을 증명하기 위해. 이 $ C(i,r) $ 역시 $ d $와 $ n $에 독립적이다.
• 외부 대수 위의 대칭대수에서의 단항식의 부분순서 집합에 대한 새로운 노에테리안성 기준을 개발하여, 모든 $ d,n $에 걸쳐 균일한 유계를 확보하기 위해.

제안 방법

• 모든 시컨트 이상대를 동시에 코딩하는 호프 링 $ \mathcal{P}_{\Sigma} = \bigoplus_{n,d} \operatorname{Sym}^n(\bigwedge^d \mathbf{k}^{(r+2)d}) $을 구성하기 위해.
• $ \mathcal{P}_{\Sigma} $에 두 가지 곱을 정의한다: 대칭대수 간의 외부 곱과 외부대수 내에서의 대칭화를 통한 내부 곱.
• 두 곱에 대해 닫혀 있는 이상대는 유한 생성임을 증명하기 위해, 동시에 $ n $과 $ d $가 무한히 증가하는 반사순서 집합이 존재할 수 없음을 보임.
• 이 구조를 $ \mathscr{G}_M $ 위의 함자 범주로 변환하여, $ \operatorname{Sec}_{d,r}(M) $를 $ \operatorname{Sym}(\bigwedge^d \mathbf{k}^{Md}) $-모듈러스로 간주함.
• 함자 범주에서의 프로젝티브 분해를 이용하여 토르 모듈러스의 차수를 유계화하며, $ \mathcal{S}_M(r) $의 유한 생성성을 활용함.
• $ M \geq r+1+i $일 때 $ C_M(i,r) $가 $ M $에 독립적임을 증명하여, 균일한 유계 $ C(i,r) $를 도출함.

실험 결과

연구 질문

• RQ1 특성 0에서 플루커-포함된 그라스만이안 $ \mathbf{Gr}(d,n) $의 $ r $번째 시컨트 이상대는 $ d $와 $ n $에 독립적인 균일한 차수 유계를 가지는가?
• RQ2 이러한 시컨트 이상대의 싸지 모듈러스는 모든 $ d $와 $ n $에 걸쳐 차수로 유계화될 수 있는가?
• RQ3 고정된 $ i $와 $ r $에 대해, $ \mathbf{Gr}(d,n) $의 $ r $번째 시컨트 다양체에 대한 싸지의 차수에 대해 $ d $와 $ n $에 독립적인 균일한 유계가 존재하는가?
• RQ4 외부대수 위의 대칭대수에서의 일정한 단항식 부분순서 집합의 노에테리안성이 새로운 구조적 방법을 통해 확립될 수 있는가?

주요 결과

• 모든 $ r \geq 0 $에 대해, $ d $와 $ n $에 독립적인 상수 $ C(r) $가 존재하여, $ \mathbf{Gr}(d,n) $의 $ r $번째 시컨트 다양체의 소 이상대가 차수 $ \leq C(r) $인 다항식들로 생성됨을 보여줌.
• 특성 0에서 $ \mathbf{Gr}(d,n) $의 $ r $번째 시컨트 다양체의 좌표환의 제$ i $번째 싸지 모듈러스는 $ C(i,r) $ 이하의 차수에 놓여 있으며, 이 $ C(i,r) $는 $ d $와 $ n $에 독립적임을 보여줌.
• $ \operatorname{Sym}(\bigwedge^d \mathbf{k}^{Md}) $ 위에서의 제$ i $번째 토르 모듈러스의 차수에 대한 유계 $ C_M(i,r) $는 $ M \geq r+1+i $일 때 $ M $에 독립적이며, 이로 인해 균일한 유계 $ C(i,r) $를 도출함.
• 증명은 $ \mathbf{Gr}(d,n) $의 $ r $번째 시컨트 이상대가 $ \leq C(r) $의 차수를 가지며, $ \ast_g $와 $ \cdot $ 연산에 대해 닫혀 있는 유한 개의 다항식들로 생성됨을 보여주며, 이는 추론 1.2에 명시되어 있음.
• 호프 링 $ \mathcal{P}_{\Sigma} $의 구성과 두 곱에 대한 노에테리안성은 함자 범주 기법을 통해 균일한 유계 결과를 도출함.
• 결과는 [DE]에서의 집합론적 차수 유계 결과의 이상론적 판본을 확인하며, 이상론적 설정에서 열려 있던 문제를 해결함.