[논문 리뷰] Geometry of syzygies via Poncelet varieties

Giovanna Ilardi, Paola Supino외 1명|ArXiv.org|2008. 06. 30.

Mathematics and Applications참고 문헌 2인용 수 5

한 줄 요약

이 논문은 선형 계량의 기하학을 심지어와 Poncelet 다양체를 통해 연구하며, $r$ 개의 독립적인 심지어를 갖는 차수 $d$의 선형 계량의 집합 $ olde{X}_{k,r,d}$ 의 codimension을 $(dk + k - n + r)r$ 으로 계산하고, 선형 심지어가 관련된 Poncelet 다양체의 특이점을 유도함으로써, 심지어 대수학과 유리 곡선의 사영 기하학 사이에 깊은 연결 고리를 확립한다.

ABSTRACT

We consider the Grassmannian $\mathbb{G}r(k,n)$ of $(k+1)$-dimensional linear subspaces of $V_n=H^0({¶^1},Ø_{¶^1}(n))$. We define $\frak{X}_{k,r,d}$ as the classifying space of the $k$-dimensional linear systems of degree $n$ on $¶^1$ whose basis realize a fixed number of polynomial relations of fixed degree, say a fixed number of syzygies of a certain degree. The first result of this paper is the computation of the dimension of $\frak{X}_{k,r,d}$. In the second part we make a link between $\frak{X}_{k,r,d}$ and the Poncelet varieties. In particular, we prove that the existence of linear syzygies implies the existence of singularities on the Poncelet varieties.

연구 동기 및 목표

• 선형 계량의 차수 $n$ 과 차원 $k$ 를 갖는 $ olde{X}_{k,r,d}$ 의 차원을 계산한다. 이는 $ olde{X}_{k,r,d}$ 는 $\mathbb{P}^1$ 상에서 차수 $n$ 과 차원 $k$ 를 갖는 선형 계량 중 적어도 $r$ 개의 독립적인 심지어를 갖는 집합을 매개변수화한다.
• 선형 심지어의 존재성과 관련된 Poncelet 다양체의 기하학적 연결 고리를 확립한다.
• 이전에 $k=1$ 인 경우에만 알려진 심지어 집합의 결과를, Grassmannian $\mathbb{G}r(k,n)$ 상에서 결정식 다양체 기법을 통해 일반적인 $k$ 에 대해 확장한다.
• Trautmann가 도입한 Poncelet 다양체를 통해 심지어 집합 $ olde{X}_{k,r,d}$ 의 기하학적 해석을 제공한다. 이 다양체는 이전에 곡선 외에는 거의 연구되지 않았다.

제안 방법

• 저자들은 $ olde{X}_{k,r,d}$ 를 Grassmannian $\mathbb{G}r(k,n)$ 의 부분다양체로 정의하여, 차수 $d$ 의 $r$ 개의 독립적인 심지어를 갖는 선형 계량을 매개변수화한다.
• 정확한 세부사항 $0 \to E_\Lambda \to \Lambda \otimes \mathcal{O}_{\mathbb{P}^1} \to \mathcal{O}_{\mathbb{P}^1}(n) \to 0$ 을 사용하여 심지어를 $E_\Lambda(d)$ 의 전역 섹션과 연결함으로써, $h^0(E_\Lambda(d)) = r$ 가 $ olde{X}_{k,r,d}$ 를 특징짓는 조건이 된다.
• 결정식 다양체 이론을 사용하여 $ olde{X}_{k,r,d}$ 의 차원을 계산하며, Grassmannian $\mathbb{G}r(k,n)$ 상의 보편 하위_bundle $\mathcal{U}$ 와 $V_n \otimes \mathcal{O}_{\mathbb{G}r(k,n)}$ 로의 평가 사상(evaluation map)을 활용한다.
• Poncelet 다양체와의 연결 고리는, $ olde{X}_{k,r,d}$ 가 기저점을 갖는 경우 $ olde{Lambda}$ 가 $ olde{O}_{\mathbb{P}^1}(n-d)$ 를 통과하는 인수분해(factorization)를 분석함으로써 확립된다. 이는 Poncelet 다양체에 지지되는 층들을 포함하는 교환 다이어그램(commutative diagram)을 이끈다.
• 선형 심지어로부터 유도된 Poncelet 다양체의 특이점은, 궤도 초평면(osculating hyperplanes)과 기저점을 포함하는 인수분해를 구성하고, 그로 인한 층의 지지 집합을 분석함으로써 증명된다.

실험 결과

연구 질문

• RQ1 선형 계량이 $r$ 개의 심지어를 갖는 경우, Grassmannian $\mathbb{G}r(k,n)$ 내에서 $ olde{X}_{k,r,d}$ 의 codimension은 얼마인가?
• RQ2 선형 심지어(차수 $d=1$)는 관련된 Poncelet 다양체의 기하학에 어떻게 영향을 미치는가?
• RQ3 선형 심지어를 갖는 선형 계량에 대해 관련된 Poncelet 다양체가 특이점을 갖을 수 있는가?
• RQ4 기저점이 있는 선형 계량의 경우, Poncelet 다양체의 구조는 어떻게 되며, 이는 심지어의 구조와 어떻게 관련되는가?

주요 결과

• $\mathbb{G}r(k,n)$ 내에서 $\nolde{X}_{k,r,d}$ 의 codimension은 정확히 $(dk + k - n + r)r$ 이며, 이는 이전에 $k=1$ 인 경우에 알려진 결과를 일반화한다.
• $\nolde{X}_{k,r,d}$ 는 Cohen-Macaulay이며, 그 특이점 집합은 $\nolde{X}_{k+1,r,d}$ 이다. 이는 심지어의 수에 따라 계층적인 기하학적 구조를 지님을 시사한다.
• 선형 심지어(차수 $d=1$)는 관련된 Poncelet 다양체가 특이점을 갖음을 의미하며, 특이점은 $\binom{n-1}{k}$ 개의 선들로 이루어진 구성의 꼭짓점에서 발생한다.
• 일반적인 $ olde{X}_{k,1,1}$ 원소의 경우, Poncelet 다양체는 $\binom{n-1}{k}$ 개의 선을 포함하며, 이 선들의 $k+1$ 개 조합의 교점인 $\binom{n-1}{k+1}$ 개의 특이점을 갖는다.
• 선형 심지어를 갖는 선형 계량에 대해 관련된 Poncelet 다양체는 기저점의 고정된 구조와 이중적인 구성의 선들을 포함하며, 이는 공통 교점에서 특이점을 유도한다.