[논문 리뷰] Blow-ups of $\mathbb{P}^{n-3}$ at $n$ points and spinor varieties

Bernd Sturmfels, Mauricio Velasco|ArXiv.org|2009. 06. 27.

Algebraic Geometry and Number Theory참고 문헌 12인용 수 3

한 줄 요약

이 논문은 $\mathbb{P}^{n-3}$의 $n$개 일반 점에서의 블로우업의 코흐 링과 페프판 행렬의 반대칭 행렬의 페프판 생성자들을 통한 짝수 스피너 다양체 사이의 기하학적 연결을 수립한다. 코흐 아이디얼이 토러스 이동을 통한 스피너 아이디얼의 생성을 받는다는 것을 증명하며, 세르고바와 스토로보고아트의 델 페초 표면에 대한 작업을 고차원으로 일반화한다. 등호는 추측되며 $n \leq 8$에서 컴퓨터적으로 확인된다. 이 구성은 스피너 아이디얼을 스케일링하기 위해 모듈리 공간 위의 유리 함수를 사용하며, 코흐 링을 스피너 다양체에 통합한다.

ABSTRACT

Work of Dolgachev and Castravet-Tevelev establishes a bijection between the $2^{n-1}$ weights of the half-spin representations of $\mathfrak{so}_{2n}$ and the generators of the Cox ring of the variety $X_n$ which is obtained by blowing up $\mathbb{P}^{n-3}$ at $n$ points. We derive a geometric explanation for this bijection, by embedding ${ m Cox}(X_n)$ into the even spinor variety (the homogeneous space of the even half-spin representation). The Cox ring of the blow-up $X_n$ is recovered geometrically by intersecting torus translates of the even spinor variety. These are higher-dimensional generalizations of results by Derenthal and Serganova-Skorobogatov on del Pezzo surfaces.

연구 동기 및 목표

• X_n의 코흐 링의 $2^{n-1}$개 생성자와 $\mathfrak{so}_{2n}$의 반스피너 표현의 가중치 사이의 전단사성에 기하학적 해석을 제공하는 것.
• 세르고바와 스토로보고아트의 델 페초 표면에 대한 표현 이론적 접근을 $\mathbb{P}^{n-3}$의 $n$개 점에서의 고차원 블로우업으로 확장하는 것.
• X_n의 코흐 링 스펙트럼을 $\bigwedge^{\text{even}}W$ 내부의 짝수 스피너 다양체 $S^+$에 통합하는 것.
• 코흐 아이디얼 $I_X$가 토러스 이동을 통한 스피너 아이디얼 $I_{\text{spin}}$의 생성을 받는다는 것을 보이며, 등호는 추측되며 $n \leq 8$에서 확인된다.

제안 방법

• 저자들은 $X_n$의 코흐 링을 생성하는 부분페프판 행렬을 갖는 반대칭 $n \times n$ 행렬을 구성하여 스피너 다양체와 연결한다.
• 페프판 생성자와 캐스트라베트-테베레프에서 정의된 코흐 링의 행렬식 생성자 간의 관계를 설정하기 위해 오카다의 항등식을 사용한다.
• 코흐 아이디얼 $I_X$가 토러스 이동의 합인 $a(c) \star I_{\text{spin}}$를 포함함을 보이며, 여기서 $a(c)$는 점 구성의 모듈리 공간 위의 유리 함수이다.
• 이 구성은 $X_n$의 피카르 군에 의해 세분화된 다중등급을 사용하며, $D_n$-오빗으로서 $[n]$의 짝수 부분집합에 따라 지수화된다.
• 스피너 아이디얼에 대한 이차 그뢰브너 기저를 구성하여 코흐 링 내 이차 관계의 명시적 계산이 가능하게 한다.
• 맥컬레이2를 통한 계산적 검증은 $n \leq 8$에서 $I_X = I_{\text{spin}} + a(c) \star I_{\text{spin}}$임을 확인하며, $\mathcal{G}(p)$의 한 원소 $c$를 사용한다.

실험 결과

연구 질문

• RQ1 코흐 링의 $2^{n-1}$개 생성자와 $\mathfrak{so}_{2n}$의 반스피너 표현의 가중치 사이의 전단사성에 기하학적 의미를 부여할 수 있는가?
• RQ2 델 페초 표면에 대한 보편 토러스 구성은 $\mathbb{P}^{n-3}$의 $n$개 점에서의 고차원 블로우업으로 일반화될 수 있는가?
• RQ3 X_n의 코흐 아이디얼 $I_X$는 토러스 이동을 통한 스피너 아이디얼 $I_{\text{spin}}$의 생성을 받는가?
• RQ4 n점 구성의 모듈리 공간은 이러한 토러스 작용을 매개하기 위해 어떤 정확한 역할을 하는가?
• RQ5 이차 생성성은 계통수 나무와 관련된 플루커 단항식으로의 분해를 통해 이해될 수 있는가?

주요 결과

• X_n의 코흐 링 스펙트럼은 $\bigwedge^{\text{even}}W$ 내부의 짝수 스피너 다양체 $S^+$에 통합되어 코흐 링의 기하학적 실현을 제공한다.
• 코흐 아이디얼 $I_X$는 점 구성의 모듈리 공간 위의 유리 함수인 $a(c)$를 사용한 토러스 이동의 합인 $\sum_{c \in \mathcal{G}(p)} a(c) \star I_{\text{spin}}$를 포함한다.
• $n \leq 8$일 때, 어떤 $c \in \mathcal{G}(p)$에 대해 $I_X = I_{\text{spin}} + a(c) \star I_{\text{spin}}$의 등호가 성립하며, 매클레이2를 사용한 계산적 검증으로 확인된다.
• 다항식환 $k[\bigwedge^{\text{even}}W]$ 내 이차 다중등급의 서로 다른 수는 $\lfloor n/2 \rfloor + 1$이며, 대표자는 $N_s = \deg(f_\emptyset f_{\{1,\dots,2s\}})$이다.
• $s > 0$일 때, 다중등급 $N_s$에 대한 코흐 링의 성분 차원은 $2^{s-1}$이며, [17, 정리 7.4]에서 보였다.
• 스피너 아이디얼 $I_{\text{spin}}$는 이차 생성자들로 생성되며, 명시적인 이차 그뢰브너 기저가 구성되어 그 이차 생성성을 확인한다.