[論文レビュー] G-biliaison of ladder Pfaffian varieties

Emanuela De Negri, Elisa Gorla|ArXiv.org|Sep 19, 2008

Commutative Algebra and Its Applications参考文献 9被引用数 3

ひとこと要約

本稿では、不定元の反対称行列の部分ラダー内の混合サイズの Pfaffian によって定義されるラダーピンフォーマン多様体が、線形多様体に G-二重リンクされることを確立しており、これによりそれらが glicci（完全交差の G-二重リンク類）であることが示された。この結果は、固定サイズの minor や Pfaffian に関する先行研究を拡張し、局所化および一般化された除数論を用いて、これらの多様体が算術的に Cohen-Macaulay であり、射影的に正規であり、一般に Gorenstein であり、長さ $2(t_1 + \cdots + t_s - s)$ の構成的 G-二重リンク列を持つことを示した。

ABSTRACT

The ideals generated by pfaffians of mixed size contained in a subladder of a skew-symmetric matrix of indeterminates define arithmetically Cohen-Macaulay, projectively normal, reduced and irreducible projective varieties. We show that these varieties belong to the G-biliaison class of a complete intersection. In particular, they are glicci.

研究の動機と目的

• 反対称行列の部分ラダー内の混合サイズの Pfaffian によって定義されるラダーピンフォーマン多様体の二重リンク的性質を特定すること。
• 固定サイズの Pfaffian 理想に関する先行結果を、混合サイズの Pfaffian への拡張すること。
• このような多様体が線形多様体の G-二重リンク類に属することを証明し、glicci であることを確立すること。
• 同じ余次元の完全交差への到達を示す有限の Gorenstein リンク列としての明示的 G-二重リンク列を提供すること。

提案手法

• 固定サイズの Pfaffian 理想から混合サイズの Pfaffian 理想への算術的 Cohen-Macaulay 性や射影的正規性などの性質の拡張に、局所化の議論を用いる。
• 一般に Gorenstein であるスキームにおける一般化された除数論を適用し、G-二重リンク関係を定義・分析する。
• Pfaffian 恒等式と行列式展開を用いて、定義イデアルを modulo したイデアル層の同型を構成する。
• 特定の Pfaffian の比がイデアルを modulo しても正しく定義されることを証明し、G-二重リンクの同型を可能にする。
• 高次の Pfaffian から出発し、逐次的に G-二重リンクを適用することで Pfaffian 理想を段階的に簡約する。
• 算術的に Cohen-Macaulay かつ一般に Gorenstein であるスキーム上の G-二重リンク理論を用いて、G-二重リンクを二つの Gorenstein リンクとして実現する。

実験結果

リサーチクエスチョン

• RQ1 反対称行列の部分ラダー内の混合サイズの Pfaffian によって定義されるラダーピンフォーマン多様体は、完全交差の G-二重リンク類に属するか？
• RQ2 このような多様体の G-二重リンク類は、有限個の Gorenstein リンク列によって明示的に構成可能か？
• RQ3 ラダーライズの上端とサイズパラメータを用いて、ラダーピンフォーマン多様体の余次元はどのように表されるか？
• RQ4 混合サイズの Pfaffian 理想は、算術的 Cohen-Macaulay 性および射影的正規性という観点から、その基盤となるスキームの構造とどのように関係するか？
• RQ5 ラダーとサイズベクトルにどのような条件下で、このような多様体が算術的に Gorenstein になるか？

主な発見

• ラダーピンフォーマン多様体は、固定サイズの Pfaffian に関する結果を拡張する局所化技術により、算術的に Cohen-Macaulay かつ射影的に正規であることが示された。
• ラダーライズの上端とサイズベクトル $t = (t_1, \dots, t_s)$ を用いて、ラダーピンフォーマン多様体の余次元が明示的に計算され、公式 $\text{codim} = \sum_{k=1}^s (t_k - 1)$ が得られた。
• 定義イデアルを modulo したイデアル層の明示的同型を構成することで、これらの多様体が線形多様体に G-二重リンクされることを示した。
• G-二重リンク列は $2(t_1 + \cdots + t_s - s)$ ステップから構成され、これによりラダーピンフォーマン多様体が glicci であることが証明された。
• この構成は、特定の Pfaffian の比がイデアルを modulo しても不変であることに依拠しており、一般化された除数の同型を定義可能にしている。
• 固定サイズの Pfaffian が全行列に存在する場合や、特定のラダー構造を持つ場合に限って算術的に Gorenstein であるが、そのような場合ですら有限個に限られる。