[論文レビュー] Syzygies of Unimodular Lawrence Ideals

Dave Bayer, Sorin Popescu+1 more|ArXiv.org|Dec 31, 1999

Advanced Combinatorial Mathematics参考文献 5被引用数 14

ひとこと要約

本稿は、一様なラウレンスイデアル—プロジェクティブラインの積におけるトーリック部分多様体を定義する二項イデアル—に対して、頂点が格子をなす無限周期的超平面配置によって定まる最小セルラーレゾリューションを確立する。このレゾリューションはグレブナー変形に関して普遍的であり、ハウル・レゾリューションと一致し、一様なトーリック多様体におけるベイリンソンのスペクトル系列の幾何的モデルを提供する。これは、高次元トーリック設定におけるイーガン・ノースコット複体の一般化である。

ABSTRACT

Infinite hyperplane arrangements whose vertices form a lattice are studied from the point of view of commutative algebra. The quotient of such an arrangement modulo the lattice action represents the minimal free resolution of the associated binomial ideal, which defines a toric subvariety in a product of projective lines. Connections to graphic arrangements and to Beilinson's spectral sequence are explored.

研究の動機と目的

• 一様ラウレンスイデアルを代数的・組合せ的・幾何的条件の同値性によって特徴付けること。
• 無限周期的超平面配置を用いて、これらのイデアルの最小自由レゾリューションを構成すること。
• このレゾリューションがグレブナー変形に関して普遍的であり、ベッチ数とセルラーリティを保つことを示すこと。
• X × X における対角埋め込みを通じて、ベイリンソンのスペクトル系列を一様トーリック多様体へ一般化すること。
• ハイパーシンプルキシスの観点から、イーガン・ノースコット複体のセルラーモデルを提供すること。

提案手法

• L を Z^n の部分格子とするとき、x^a y^b − x^b y^a（a − b ∈ L）の差分によって生成される二項イデアル JL をラウレンスイデアルとして定義する。
• 頂点が格子 L の元である無限周期的超平面配置 HL を導入し、これが最小自由レゾリューションを支える。
• JL のハウル複体がこの配置と一致することを証明し、最小セルラーレゾリューションが得られることを示す。
• JL のすべての初期単項式イデアルが根元的であるための必要十分条件として、すべての最小生成子が平方自由単項式の差であることを示す。
• ラウレンスリフト構成を用いて、L の一様性と ±1, 0 の成分をもつ整数行列の定義の下での一様性を関連付ける。
• X × X における対角イデアル IX ⊂ S = R ⊗ R を、π が Cl(X) に写像するような格子 L = ker(π) に対するラウレンスイデアル JL として再解釈し、レゾリューションからスペクトル系列を導出する。

実験結果

リサーチクエスチョン

• RQ1 格子 L が満たすべき条件は何か？ これにより、その関連するラウレンスイデアル JL がグレブナー変形に関して普遍的な最小セルラーレゾリューションをもつようになる。
• RQ2 無限超平面配置を用いて、ラウレンスイデアルの最小自由レゾリューションをどのように幾何的にモデル化できるか？
• RQ3 一様トーリック多様体 X における X × X における対角イデアルのレゾリューションが、イーガン・ノースコット複体の一般化であるとみなせる根拠は何か？
• RQ4 JL のグラーバー基底と普遍グレブナー基底の構造が、定義する格子の非一様性とどのように関係しているか？
• RQ5 プロジェクト型空間におけるベイリンソンのスペクトル系列を、このセルラーレゾリューション枠組みを用いて、任意の一様トーリック多様体へ拡張できるか？

主な発見

• 定理1.2の6条件は同値である：JL が一様であるための必要十分条件は、すべての初期イデアルが根元的であること、すべての最小生成子が平方自由単項式の差であること、定義行列 B が ±1, 0 の成分をもつことである。
• JL の最小自由レゾリューションはセルラーレゾリューションであり、無限周期的超平面配置 HL のハウル複体と一致する。HL は L に頂点を持つ。
• JL のすべての初期単項式イデアルは同じベッチ数を持ち、最小セルラーレゾリューションをもつ。これにより、グレブナー変形に関して普遍的であることが証明される。
• X ⊂ X × X を定義する対角イデアル IX は、π が Cl(X) に写像するような格子 L = ker(π) に対して、ラウレンスイデアル JL と同型である。
• 第三象限型のスペクトル系列が、一様トーリック多様体 X 上の任意の連接層 F のフィルトレーションに収束する。これは、ベイリンソンのスペクトル系列をこの文脈へ一般化する。
• 一様トーリック多様体 X の導来カテゴリ Db(Coh(X)) は、一般に例外的コレクションによる簡単な記述を持たない。なぜなら、関連するバンドル E が一般には例外的ではないからである。