[論文レビュー] Resolution of the residue class field via algebraic discrete Morse theory

Michael Joellenbeck, Volkmar Welker|arXiv (Cornell University)|Jan 12, 2005

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

ひとこと要約

この論文は、可換および非可換多項式環の商に対する、体 $k$ の最小自由分解の構成を可能にする、環上の自由加群の鎖複体への代数的離散モース理論の拡張を行う。主な貢献は、イデアルが二次グレブナー基底をもつ、もしくは完全交差の初期イデアルをもつ場合に最小であることが示された、アニック分解の可換版の構成である。Poincaré-Betti系列の有理型および Hochschildホモロジーの $A \otimes A^{\text{op}}$-分解を用いた一般化への応用を含む。

ABSTRACT

Forman's Discrete Morse theory is studied from an algebraic viewpoint. Analogous to independent work of Emil Skoeldberg we show that this theory can be extended to chain complexes of free modules over a ring. We provide three applications of this theory: We construct new resolutions of the residue class field $k$ over $A$, where $A$ is the quotient of a (i) commutative polynomial ring or (ii) non-commutaitve polynomial ring by a (twosided) ideal and (iii) we construct a new resolution of $A$ as an $A \otimes A^{op}$-module in the situation (ii). In either case we prove minimality of the resolution for certain classes of algebras $A$.

研究の動機と目的

• 環上の自由 $R$-加群の鎖複体に適応可能な、フォーマンの離散モース理論の代数的版の開発。
• 可換多項式環の商 $A = k[x_1,\ldots,x_n]/\mathfrak{a}$ における体 $k$ の新しい自由分解の構成。非可換設定へのアナロジーとしてのアニック分解の一般化。
• イデアル $\mathfrak{a}$ が二次グレブナー基底をもつ、もしくは初期イデアルが完全交差である場合に、この分解が最小であることを証明。
• 非可換商 $A = k\langle x_1,\ldots,x_n\rangle/\mathfrak{a}$ に対しても理論を拡張し、アニック分解を回復し、次数均一または単項式グレブナー基底の条件下でその最小性を証明。
• 特別な場合に、$A$ を $A \otimes A^{\text{op}}$-加群としての最小射影分解を構成し、BACH の Hochschildホモロジーに関する結果を一般化。

提案手法

• 自由 $R$-加群の鎖複体 $C_\bullet$ の基底要素に、マッチング、可逆性、アセイクリック性の条件を満たすアセイクリックマッチング $\mathcal{M}$ を定義。
• マッチングに由来するパス重み $\Gamma_{\uparrow}$ と $\Gamma_{\downarrow}$ を用いて、元の複体と臨界セルに支持される新しい複体 $C^\mathcal{M}_\bullet$ 間の鎖写像 $f_\bullet$ と $g_\bullet$ を構成。
• 誘導された写像 $f_\bullet$ と $g_\bullet$ がホモトピー逆写像であることを証明し、ホモトピー同値性とホモロジーの保存を確立。
• 非可換 $A = k\langle x_1,\ldots,x_n\rangle/\mathfrak{a}$ 上の $k$ の正規化されたバーレゾリューションに理論を適用し、アニック分解を導出。
• 同じ枠組みを用いて、$A$ を $A \otimes A^{\text{op}}$-加群としての分解を構成し、初期イデアルが完全交差である場合に最小性を証明。
• アセイクリックマッチングとパス重みの形式的記法を活用し、新しい複体における微分の明示的公式を導出し、元の微分と整合性を保証。

実験結果

リサーチクエスチョン

• RQ1 トポロジカルな CW 複体から、環上の自由加群の鎖複体への離散モース理論の一般化は、ホモロジーを保存し、単純化を可能にするか？
• RQ2 可換多項式環の商における体 $k$ のアニック分解の可換アナロジーを構成することは可能か？
• RQ3 イデアル $\mathfrak{a}$ が二次グレブナー基底をもつ、もしくは $\operatorname{in}_\prec(\mathfrak{a})$ が完全交差である場合に、構成された $k$ の分解が最小である条件は何か？
• RQ4 非可換 $A = k\langle x_1,\ldots,x_n\rangle/\mathfrak{a}$ におけるアニック分解は、代数的離散モース理論から自然に得られるか？また、その最小性はどのような条件下で成立するか？
• RQ5 この理論を用いて、$\mathfrak{a}$ が完全交差である場合に、$A$ を $A \otimes A^{\text{op}}$-加群としての最小分解を構成できるか？

主な発見

• 可換多項式環の商 $A = k[x_1,\ldots,x_n]/\mathfrak{a}$ における体 $k$ の新しい自由分解が構成され、これはアニック分解の可換版として機能する。
• イデアル $\mathfrak{a}$ が二次グレブナー基底をもつ場合、臨界複体における非自明な微分が存在しないことから、この分解が最小であることが示された。
• 初期イデアル $\operatorname{in}_\prec(\mathfrak{a})$ が完全交差である場合、$k$ の明示的最小分解が記述され、既知の結果が一般化された。
• 非可換 $A = k\langle x_1,\ldots,x_n\rangle/\mathfrak{a}$ に対して、代数的離散モース理論を用いてアニック分解が回復され、$\mathfrak{a}$ が単項式、またはそのグレブナー基底が同じ次数の同次多項式からなる場合に最小であることが証明された。
• 分解が最小である場合、特に $\mathfrak{a}$ が二次グレブナー基底をもつ場合に、Poincaré-Betti系列が有理型であることが示された。
• $\mathfrak{a}$ が完全交差である場合、$A$ を $A \otimes A^{\text{op}}$-加群としての最小分解が構成され、$\mathfrak{a} = \langle f \rangle$ の場合に BACH が得た結果が一般化された。