[論文レビュー] Blow-ups of $\mathbb{P}^{n-3}$ at $n$ points and spinor varieties

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

Algebraic Geometry and Number Theory参考文献 12被引用数 3

ひとこと要約

本稿は、歪行列の Pfaffian 生成子を介して、$\mathbb{P}^{n-3}$ の $n$ 個の一般点における blown-up の Cox 環と偶数スピン形式多様体との間の幾何的関係を確立する。Cox 理念がトーラス平行移動によるスピン理想によって生成されることを証明し、Serganova-Skorobogatov の del Pezzo 表面に関する研究の高次元一般化を提供する。等号は $n \leq 8$ で計算的に確認されている。構成では、モジュライ空間上の有理関数を用いてスピン理想をスケーリングし、Cox 環をスピン形式多様体に埋め込んでいる。

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 の Cox 環の $2^{n-1}$ 個の生成子と $\mathfrak{so}_{2n}$ の半スピン表現の重みとの間の双対性に幾何的解釈を与えること。
• Serganova と Skorobogatov が del Pezzo 表面に対して行った表現論的アプローチを、$\mathbb{P}^{n-3}$ の $n$ 点における高次元 blown-up に拡張すること。
• X_n の Cox 環のスペクトルを $\bigwedge^{\text{even}}W$ 内の偶数スピン形式多様体 $S^+$ に埋め込むこと。
• Cox 理念 $I_X$ がトーラス平行移動によるスピン理想 $I_{\text{spin}}$ によって生成されることを示し、等号は予想され、$n \leq 8$ で計算的に確認されていること。

提案手法

• 著者らは、$X_n$ の Cox 環を生成する $n \times n$ 歪行列を構成し、それによってスピン形式多様体と関連付ける。
• Okada の恒等式を用いて、Pfaffian 生成子を Castravet-Tevelev が定義する行列式的生成子と関連付ける。
• Cox 理念 $I_X$ が、点配置のモジュライ空間上の有理関数 $a(c)$ を用いたトーラス平行移動 $a(c) \star I_{\text{spin}}$ の和を含むことを示した。
• 構成は、$X_n$ の Picard 群によって refined された多重次数を用い、$[n]$ の偶数部分集合の $D_n$-軌道で添字づけられる。
• スピン理想 $I_{\text{spin}}$ に対して、明示的な二次 Gröbner 基底を構成し、Cox 環内の二次関係の明示的計算を可能にした。
• Macaulay2 を用いた計算的検証により、$n \leq 8$ で $I_X = I_{\text{spin}} + a(c) \star I_{\text{spin}}$ が成り立つことが確認された。この際、$c \in \mathcal{G}(p)$ の一つの $c$ で十分である。

実験結果

リサーチクエスチョン

• RQ1 X_n の Cox 環の $2^{n-1}$ 個の生成子と $\mathfrak{so}_{2n}$ の半スピン表現の重みとの間の双対性に、幾何的解釈を与える方法は何か？
• RQ2 del Pezzo 表面の普遍 torsor 構成を、$\mathbb{P}^{n-3}$ の $n$ 点における高次元 blown-up に一般化できるか？
• RQ3 X_n の Cox 理念 $I_X$ は、スピン理想 $I_{\text{spin}}$ のトーラス平行移動によって生成されるか？
• RQ4 点配置のモジュライ空間が、これらのトーラス作用をパrameter する際に果たす正確な役割は何か？
• RQ5 Cox 理念の二次生成性は、系統樹に関連する Plücker 単項式への退化を通じて理解できるか？

主な発見

• X_n の Cox 環のスペクトルは、$\bigwedge^{\text{even}}W$ 内の偶数スピン形式多様体 $S^+$ に埋め込まれ、Cox 環の幾何的実現を提供する。
• Cox 理念 $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}}$ が成り立つことが、Macaulay2 を用いた計算により確認された。
• $k[\bigwedge^{\text{even}}W]$ 内の異なる二次多重次数の数は $\lfloor n/2 \rfloor + 1$ であり、代表元は $N_s = \deg(f_\emptyset f_{\{1,\dots,2s\}})$ で与えられる。
• 多重次数 $N_s$ における Cox 環の次数付き成分の次元は、$s > 0$ のとき $2^{s-1}$ である。これは [17, 系 7.4] で示されている。
• スピン理想 $I_{\text{spin}}$ は二次式によって生成され、明示的な二次 Gröbner 基底が構成され、その二次生成性が確認された。