[論文レビュー] Simplicial ideals, 2-linear ideals and arithmetical rank

Marcel Moralès|arXiv (Cornell University)|Feb 22, 2007

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

ひとこと要約

この論文は、線形に接続された多様体の一般化として単体的イデアルを導入し、このようなイデアルに対して、算術的ランクが射影次元に等しいことを確立した。これは2-線形解体に関する既知の結果を拡張するものである。本論文は、定義方程式を計算するための有効なアルゴリズムを提供し、一般化された木構造と単体的複体からの組合せ的データを用いて、深さ、付加的次元、連結次元を特徴づけている。

ABSTRACT

In the first part of this paper we study scrollers and linearly joined varieties. A particular class of varieties, of important interest in classical Geometry are Cohen--Macaulay varieties of minimal degree. They appear naturally studying the fiber cone of of a codimension two toric ideals. Let $I\subset S$ be an ideal defining a linearly joined arrangement of varieties: - We compute the depth, and the cohomological dimension. is the connectedness dimension. - We characterize sets of generators of $I$, and give an effective algorithm to find equations, as an application we compute arithmetical rank. in the case if $I$ defines a union of linear spaces, (ara =projective dimension), in particular this applies to any square free monomial ideal having a $2-$ linear resolution. - In the case where $V$ is a union of linear spaces, the ideal $I$, can be characterized by a tableau, which is an extension of a Ferrer (or Young) tableau. - We introduce a new class of ideals called simplicial ideals, ideals defining linearly-joined varieties are a particular case of simplicial ideals.

研究の動機と目的

• 単体的イデアルを用いて、スクローラーおよび線形に接続された多様体の理論をより広いクラスのイデアルへ一般化すること。
• 線形に接続された多様体および単体的イデアルのための主要な不変量（深さ、付加的次元、連結次元）を計算すること。
• 表紙と一般化された木構造を用いた組合せ的データを用いて、このようなイデアルの定義方程式の特徴づけを確立すること。
• 2-線形解体を持つ線形空間の合併に対して、ara(I) = projdim(S/I) が成り立つことを証明し、体の特徴に依存しないこと。
• 単体的複体とトーリックイデアルによって定義される新しいクラスのイデアルを用いて、算術的ランクと射影次元に関する結果を単体的イデアルへ拡張すること。

提案手法

• 単体的複体 Δ̃ とその特定のファセットを有する頂点集合 G に対して関連するペア (PG, Δ̃) として単体的イデアルを定義する。
• 線形部分空間およびイデアルの交わりをモデル化するため、一般化された木（d-木）を組合せ的構造として用いる。
• 個々のイデアル Ii とトーリックイデアル IΔ(F) の和の根基として PG を構成し、線形接続と整合性を持つようにする。
• 可換代数における深さおよび付加的次元の公式を適用し、特に [B-S] 19.5.3 および Cohen–Macaulay 環に関する結果を用いる。
• 各 Ii が stci（標準的完全交差）であれば、Δ(F) が d-木であれば PG も stci であるという事実を活用する。
• rad(∑Ii + IΔ(F)) = PG という根基の等式を用いて、イデアルが正しい代数的集合を捉え込んでいることを保証する。

実験結果

リサーチクエスチョン

• RQ1 単体的イデアルの算術的ランクが射影次元に等しくなる条件は何か。
• RQ2 線形に接続された多様体の深さおよび付加的次元は、その組合せ的構造からどのように計算できるか。
• RQ3 2-正則なイデアルによって定義される削減済み代数的集合の連結次元は何か。また、算術的ランクとはどのように関係するか。
• RQ4 線形に接続された多様体の構成要素構造に基づいて、方程式を生成する有効なアルゴリズムを構築できるか。
• RQ5 単体的イデアルが標準的完全交差であるための条件は何か。

主な発見

• 任意の2-線形解体を持つ線形空間の合併に対して、任意の体の特徴について ara(I) = projdim(S/I) が成り立つ。
• 単体的イデアルにおいて、基礎となる複体が一般化された木であり、各 Ii が stci であれば、付加的次元 cd(I) は算術的ランク ara(I) に等しい。
• このようなイデアルに対して、連結次元 c(S/I) は c(S/I) = card(G) - ara(I) - 1 を満たし、同じ条件下で等号が成り立つ。
• 単体的複体 Δ(F) が d-木であり、各 Ii が stci であれば、イデアル PG は標準的完全交差である。
• イデアル PG は個々のイデアル Ii とトーリックイデアル IΔ(F) の和の根基であり、正しい幾何的実現を保証する。
• K[G]/PG の深さは K[F]/IΔ(F) の深さに等しく、この深さが算術的ランクおよび付加的次元を決定する。