[논문 리뷰] Geometry of symmetric determinantal loci

Shinobu Hosono, Hiromichi Takagi|arXiv (Cornell University)|2015. 08. 09.

Algebraic Geometry and Number Theory참고 문헌 13인용 수 9

한 줄 요약

이 논문은 대칭 행렬식 다양체의 대수기하적 성질을 연구하며, 짝수 $r$에 대해 $σ_r \subset \mathbb{P}(\mathsf{S}^2 V^*)$ 와 그 이중 쌍대 $τ_r$ 를 다루며, $τ_r$ 가 차원 $τ_r = \frac{(2n+3-r)r - 2}{2}$, Picard 수 1, Fano 지수 $τ_r = \frac{r(n+1)}{2}$ 인 $\mathbb{Q}$-팩터리얼 Fano 다양체임을 증명하고, $\mathcal{T}_4$ 와 $\mathrm{G}(n-1,V)$ 안의 원뿔 곡선의 Hilbert 스킴 사이에 플립과 붕괴를 거친 비유적 동치를 증명한다.

ABSTRACT

We study algebro-geometric properties of determinantal loci of (n+1)th symmetric matrices and also their double covers for even ranks. Their singularities, Fano indices and birational geometries are studied in general. The double covers of symmetric determinantal loci of rank four are studied with special interest by noting their relation to the Hilbert schemes of conics on Grassmannians.

연구 동기 및 목표

• 대칭 행렬식 다양체 $\sigma_r$ 와 짝수 $r$ 에 대한 그 이중 쌍대 $\mathcal{T}_r$ 의 기초적인 대수기하적 성질을 확립하기 위해.
• 최소 모델 프로그램 기법을 사용하여 일반적인 $n$ 에 대해 $\sigma_r$ 와 $\mathcal{T}_r$ 의 특이점, Fano 지수, 비유적 기하학을 분석하기 위해.
• $\sigma_4$ 의 이중 쌍대 $\mathcal{T}_4$ 와 $\mathrm{G}(n-1,V)$ 안의 원뿔 곡선의 Hilbert 스킴 간의 관계를 명확히 하기 위해, 특히 $n \geq 4$ 에서의 경우를 중심으로.
• 호몰로지적 프로젝티브 대칭성(HPD)의 기하적 프레임워크를 제공하여 $\sigma^*_{n+2-r}$ 와 $\mathcal{T}_r$ 간의 관계를 일반화된 알려진 Calabi-Yau 쌍과 연결하기 위해.
• 후속 연구에서 $\sigma^*_2$ 와 $\mathcal{T}_4$ 의 유도 범주 계산을 위한 대수기하적 기초를 마련하기 위해.

제안 방법

• $\sigma_r \subset \mathbb{P}(\mathsf{S}^2 V^*)$ 를 $r$ 이하의 질량을 가진 대칭 $(n+1)\times(n+1)$ 행렬의 집합으로 정의하며, $(r+1)\times(r+1)$ 소수로 자르는 것으로 기술한다.
• 이중 쌍대 $\mathcal{T}_r \to \sigma_r$ 를 $\sigma_{r-1}$ 에서 분지시키며, 이가 Picard 수 1인 $\mathbb{Q}$-팩터리얼 Fano 다양체임을 보인다.
• $\text{rank-four}$ 쌍차 곡면의 $(n-2)$-평면 기하학을 이용하여, $\mathcal{T}_4$ 를 $\mathrm{G}(n-1,V)$ 안의 원뿔 곡선의 Hilbert 스킴과 $\wedge^{n-1}V$ 안의 $3$-평면에 대한 대응을 통해 식별한다.
• $\mathcal{Y}_3 = \mathrm{G}(3, \wedge^2 \mathfrak{Q})$, $\widetilde{\mathcal{Y}}$, $\overline{\mathcal{Y}}'$ 간의 비유적 사상의 교환 다이어그램을 수립하며, $\mathcal{Y}_3 \to \overline{\mathcal{Y}}'$ 는 $\mathbb{P}^{n-3}$ 의 비자명한 섬유를 가진 소수 수축이다.
• 최소 모델 프로그램을 적용하여 $\mathcal{Y}_3 \dashrightarrow \widetilde{\mathcal{Y}}$ 가 소수 수축을 해결하는 (역)플립임을 증명한다.
• 플뤼커 좌표와 대칭 행렬 분해를 사용하여 $\mathbb{P}(\mathsf{S}^2 V_4 \oplus \mathsf{S}^2 V_4^*)$ 상의 $[v_{ij}, w_{kl}]$ 와 $\mathbb{P}(\wedge^3(\wedge^2 V_4))$ 상의 $p_{IJK}$ 를 연결하고, 기약 분해를 통해 플뤼커 아이디얼을 유도한다.

실험 결과

연구 질문

• RQ1 짝수 $r$ 에 대해 대칭 행렬식 다양체 $\sigma_r$ 와 그 이중 쌍대 $\mathcal{T}_r$ 의 특이점, Fano 지수, 비유적 기하학은 무엇인가?
• RQ2 $\sigma_4$ 의 이중 쌍대 $\mathcal{T}_4$ 는 $\mathrm{G}(n-1,V)$ 안의 원뿔 곡선의 Hilbert 스킴과 어떻게 관련되어 있는가?
• RQ3 $\mathcal{T}_4$ 의 비유적 기하학은 플립과 붕괴의 열거를 통해 묘사될 수 있으며, 그 결과 다양체의 구조는 어떠한가?
• RQ4 플뤼커 좌표 $p_{IJK}$ 와 대칭 행렬의 성분 $v$ 및 $w$ 간의 정확한 대수적 관계는 무엇인가?
• RQ5 대칭성 $\sigma^*_{n+2-r}$ 와 $\mathcal{T}_r$ 간의 관계는 호몰로지적 프로젝티브 대칭성(HPD) 조건을 만족하는가? 그리고 알려진 Calabi-Yau 쌍을 어떻게 일반화하는가?

주요 결과

• $\mathcal{T}_r$ 는 차원 $\frac{(2n+3-r)r - 2}{2}$, Picard 수 1, Fano 지수 $\frac{r(n+1)}{2}$ 인 $\mathbb{Q}$-팩터리얼 Fano 다양체이며, 단지 정규 특이점을 가진다.
• $\mathcal{T}_4$ 는 $\mathrm{G}(n-1,V)$ 안의 원뿔 곡선의 Hilbert 스킴 $\mathcal{Y}_0$ 과 비유적 동치이며, 소수 수축 $\mathcal{Y}_3 \to \overline{\mathcal{Y}}'$ 과 (역)플립 $\mathcal{Y}_3 \dashrightarrow \widetilde{\mathcal{Y}}$ 를 포함하는 교환 다이어그램이 존재한다.
• 소수 수축 $\mathcal{Y}_3 \to \overline{\mathcal{Y}}'$ 는 $\mathbb{P}^{n-3}$ 과 동형인 비자명한 섬유를 가지며, (역)플립이 이 특이점을 해결한다.
• $\mathrm{G}(3,6)$ 의 플뤼커 아이디얼 $I_G$ 는 $|v_{IJ}| - \epsilon_{I\check{I}}\epsilon_{J\check{J}}|w_{\check{I}\check{J}}|$ 와 $v.w - d\cdot \mathrm{id}_4$ 의 성분들로 생성되며, 여기서 $d^2 = \det w$ 이다.
• $\det v = \det w$ 이며, $v.w = \pm \sqrt{\det w} \cdot \mathrm{id}_4$ 이다. 이는 $\mathrm{rk}\,v \neq 3$ 이며 $\mathrm{rk}\,w \neq 3$ 이며, $\mathrm{rk}\,v = 2$ 이면 $\mathrm{rk}\,w = 2$ 임을 의미한다.
• 대칭 행렬 분해에 의해 $v_{ij}$ 와 $w_{kl}$ 는 반대칭 인덱스를 가진 $p_{IJK}$ 의 합으로 표현되며, 역관계를 통해 플뤼커 관계식이 $v$ 와 $w$ 로 표현될 수 있다.