[論文レビュー] Rigid ideals by deforming quadratic letterplace ideals

Gunnar Fløystad, Amin Nematbakhsh|arXiv (Cornell University)|May 24, 2016

Commutative Algebra and Its Applications被引用数 1

ひとこと要約

この論文は、有限poset Pのハッセ図が根付き木であるとき、2次レタープレイスイデアル L(2, P) の完全な変形空間を計算する手法を導入する。再帰的手順を用いて、多項式環上に、L(2, P) のすべての変形をパラメータ化する剛性イデアル J(2, P) を構成し、変形が遮蔽されず、グローバルに定義されることを証明する。主な貢献は、剛性イデアルによって定義される明示的かつグローバルな変形族の存在であり、J(2, P) は単純な場合に行列式イデアルとして実現される。

ABSTRACT

We compute the deformation space of quadratic letterplace ideals $L(2,P)$ of finite posets $P$ when its Hasse diagram is a rooted tree. These deformations are unobstructed. The deformed family has a polynomial ring as the base ring. The ideal $J(2,P)$ defining the full family of deformations is a rigid ideal and we compute it explicitly. In simple example cases $J(2,P)$ is the ideal of maximal minors of a generic matrix, the Pfaffians of a skew-symmetric matrix, and a ladder determinantal ideal.

研究の動機と目的

• Pのハッセ図が根付き木であるとき、2次レタープレイスイデアル L(2, P) の完全な変形空間を理解すること。
• これらの変形が遮蔽されず、形式的べき級数環ではなく多項式環上でグローバルにパラメータ化されることを示すこと。
• L(2, P) のすべての変形を座標変換によって制御する明示的な剛性イデアル J(2, P) を構成すること。
• J(2, P) を計算する再帰的アルゴリズムを提供し、単純な場合にその実現が古典的行列式イデアルとして得られることを示すこと。

提案手法

• 論文は、第一コタネントコhomologyを用いて、L(2, P) の変形の遮蔽がないことを示し、ヒルベルト多様体上の滑らかさを示す。
• 座標変換を介してすべての変形を制御する新しいイデアル J(2, P) を導入することで、多項式環上に平坦な変形族を構成する。
• Pの根付き木構造に基づいたハッセ図の構造をもとに、J(2, P) を計算する再帰的手順を開発する。
• 変形パラメータ u_{p,q} を導入して、L(2, P) の関係を変形し、分岐点での行列 M(a) を用いて新しい関係を計算する。
• グローバルな家族を保証するため、アービトラリー群の付加的グレーディングを備えた多重グレーディング設定を用いる。
• posetの構造と関連行列の性質を用いて、変形された関係の明示的公式を導出し、完全なイデアル J(2, P) に至る。

実験結果

リサーチクエスチョン

• RQ1 Pのハッセ図が根付き木であるとき、2次レタープレイスイデアル L(2, P) の完全な変形空間は、多項式環上でグローバルにパラメータ化可能か？
• RQ2 L(2, P) の変形は遮蔽されず、すべての無限小変形がグローバル変形に持ち上がるようにできるか？
• RQ3 L(2, P) のすべての変形を制御する剛性イデアル J(2, P) の構造は何か？
• RQ4 P が木構造のハッセ図を持つ場合、J(2, P) はどのようにして poset P の言語で明示的に計算できるか？
• RQ5 J(2, P) が、一般行列の2×2小行列式、または反対称行列のパフィアンといった古典的行列式イデアルと一致する場合はどのような場合か？

主な発見

• L(2, P) の変形空間は遮蔽されず、完全な局所環ではなく多項式環上でグローバルにパラメータ化される。
• 完全な変形族は、すべての変形が J(2, P) の座標変換から生じる剛性イデアル J(2, P) によって定義される。
• J(2, P) は、P のハッセ図の根付き木構造に基づいた再帰的手順によって明示的に計算される。
• 単純な場合、J(2, P) は一般行列の2×2小行列式のイデアル、反対称行列のパフィアンのイデアル、またはラダーマトリックス行列式イデアルに同型である。
• J(2, P) が剛性であることが示され、変形理論における新しい剛性イデアルのクラスを提供する。
• この構成は、既存の剛性に関する結果を一般化し、広範な単項式イデアルのクラスに対してグローバルかつ平坦な変形族を提供する。