[論文レビュー] Tetrahedral Curves

Juan Migliore, Uwe Nagel|arXiv (Cornell University)|Jul 16, 2004

Commutative Algebra and Its Applications被引用数 22

ひとこと要約

本稿は、四面体的曲線の偶数リーマン同値類における最小代表元としてのS-最小四面体的曲線を、整数に基づく還元アルゴリズムを用いて導入する。このアルゴリズムにより、曲線が代数的コhen＝マカウルி（ACM）であるかどうかを判定できる。本稿では、S-最小曲線がセルラーレゾリューションを用いて線形な最小自由分解を持つこと、およびその偶数リーマン同値類において最小であることを証明する。これにより、代数的ブックスバウムでないACMでない曲線の分類が可能となり、多くの場合、ヒルベルトスキーム上の滑らかで期待次元を満たす点に対応することが示された。

ABSTRACT

A tetrahedral curve is a space curve whose defining ideal is an intersection of powers of monomial prime ideals of height two. It is supported on a tetrahedral configuration of lines. Schwartau described when certain such curves are ACM, namely he restricted to curves supported on a certain four of the six lines. We consider the general situation. We first show that starting with an arbitrary tetrahedral curve, there is a particular reduction that produces a smaller tetrahedral curve and preserves the even liaison class. We call the curves that are minimal with respect to this reduction S-minimal curves. Given a tetrahedral curve, we describe a simple algorithm (involving only integers) that computes the S-minimal curve of the corresponding even liaison class; in the process it determines if the original curve is arithmetically Cohen-Macaulay or not. We also describe the minimal free resolution of an S-minimal curve, using the theory of cellular resolutions. This resolution is always linear. This result allows us to classify the arithmetically Buchsbaum, non-ACM tetrahedral curves. More importantly, it allows us to conclude that an S-minimal curve is minimal in its even liaison class; that is, the whole even liaison class can be built up from the S-minimal curve. Finally, we show that there is a large set of S-minimal curves such that each curve corresponds to a smooth point of a component of the Hilbert scheme and that this component has the expected dimension.

研究の動機と目的

• 四つの六本の直線に制限されたシュバルトウのACM四面体的曲線に関する研究を、全四面体的配置へと一般化すること。
• S-最小曲線を定義し、四面体的曲線の偶数リーマン同値類における最小代表元としての性質を特徴づけること。
• 任意の四面体的曲線のS-最小曲線を計算し、ACM性をテストするための、整数のみを用いたアルゴリズムを開発すること。
• セルラーレゾリューション理論を用いて、S-最小曲線の最小自由分解を記述すること。
• 代数的ブックスバウムでないACMでない四面体的曲線を分類し、それがヒルベルトスキーム上の滑らかで期待次元を満たす点に対応する条件を特定すること。

提案手法

• 任意の四面体的曲線を、その偶数リーマン同値類を保ちつつより小さい曲線に変換する還元プロセスを導入する。
• このプロセスにおいてさらに還元できない曲線をS-最小曲線と定義する。
• 単項イデアルの指数（整数不変量）のみを用いたアルゴリズムを構築し、与えられた四面体的曲線のS-最小曲線を計算する。
• セルラーレゾリューション理論を応用し、S-最小曲線の最小自由分解を記述し、それが常に線形であることを証明する。
• 分解の線形性を用いて、偶数リーマン同値類内の代数的ブックスバウムでないACMでない曲線を分類する。
• ヒルベルトスキームを分析し、S-最小曲線の広いクラスが、期待次元を満たす成分の滑らかな点に対応することを示す。

実験結果

リサーチクエスチョン

• RQ1 どの四面体的曲線が代数的コhen＝マカウルイ（ACM）であり、その定義イデアルからどのようにしてアルゴリズム的に判定できるか？
• RQ2 四面体的曲線の最小自由分解の構造は何か？ そして、どのような条件下で線形になるか？
• RQ3 偶数リーマン同値類における四面体的曲線の最小曲線をどのように特定できるか？
• RQ4 代数的ブックスバウムでないACMでない四面体的曲線はどのようなものがあり、どのように特徴づけられるか？
• RQ5 S-最小曲線はヒルベルトスキームの成分上で滑らかな点に対応するか？ また、その成分は期待次元を満たすか？

主な発見

• 任意の四面体的曲線のS-最小曲線は、単純なアルゴリズムにより整数の指数のみを用いて計算可能であり、これにより元の曲線がACMであるかどうかが決定される。
• すべてのS-最小曲線の最小自由分解は、セルラーレゾリューション理論により、線形であることが示された。
• S-最小曲線はその偶数リーマン同値類において最小であるため、同値類全体がそれらから生成可能である。
• すべての代数的ブックスバウムでないACMでない四面体的曲線は、それらのS-最小代表元を用いて分類可能である。
• S-最小曲線の広い集合が、ヒルベルトスキームの成分上の滑らかな点に対応しており、その成分は期待次元を満たしている。