[論文レビュー] A non-Golod ring with a trivial product on its Koszul homology

Lukas Katthän|arXiv (Cornell University)|Nov 16, 2015

Commutative Algebra and Its Applications被引用数 1

ひとこと要約

この論文は、Koszulホモロジーの積が自明であるにもかかわらずGolodでない最初の既知の例を構成し、BerglundとJ"ollenbeckが長年にわたり提唱した『積が自明ならばGolod性が成り立つ』という主張を反証した。反例は4変数の単項式商環で、6つの生成子を持つものであり、かつて無視されていた高次Massey積が、積が自明であってもGolod性を妨げる可能性があることを示している。

ABSTRACT

We present a monomial ideal $\mathfrak{a} \subset S$ such that $S/\mathfrak{a}$ is not Golod, even though the product on its Koszul homology is trivial. This constitutes a counterexample to a well-known result by Berglund and J\"ollenbeck (the error can be traced to a mistake in an earlier article by J\"ollenbeck). On the positive side, we show that if $R$ is a monomial ring such that the $r$-ary Massey product vanish for all $r \leq \max(2, \mathrm{reg} R-2)$, then $R$ is Golod. In particular, if $R$ is the Stanley-Reisner ring of a simplicial complex of dimension at most $3$, then $R$ is Golod if and only if the product on its Koszul homology is trivial. Moreover, we show that if $\Delta$ is a triangulation of a $\Bbbk$-orientable manifold whose Stanley-Reisner ring is Golod, then $\Delta$ is $2$-neighborly. This extends a recent result of Iriye and Kishimoto.

研究の動機と目的

• 単項式環においてKoszulホモロジーの積が自明であることからGolod性が導かれるという広く受け入れられた主張を反証すること。
• Koszulホモロジーの積が消える場合のGolod性の阻害要因を明確にすること。
• 高次Massey積が単項式環のGolod性を決定づける役割を明らかにすること。
• Golod Stanley-Reisner環に関する既知の結果を、高次元多様体へと拡張すること。

提案手法

• 4変数の多項式環における特定の単項式イデアルを構成する。
• Taylor分解を用いてMassey積を計算し、Koszulホモロジーを分析する。
• 多重次数付きPoincaré系列およびBetti-Poincaré系列を用いて非Golod性を検証する。
• moment-angle複体のコホモロジーを介して位相的アプローチを適用し、代数的結果を解釈する。
• r-項Massey積がすべて r ≤ max(2, reg R - 2) で消えるならばGolod性が成り立つことを証明する。
• k-可縮多様体の2-近接トライアングレーションに関する結果を任意次元へ一般化する。

実験結果

リサーチクエスチョン

• RQ1 単項式環のKoszulホモロジーにおいて積が自明である場合、常にGolod性が成り立つか？
• RQ2 積が自明である場合に、高次Massey積がGolod性を阻害する役割を果たす正確なメカニズムは何か？
• RQ3 あるあるのarityまでMassey積が消えることでGolod性が特徴づけられるか？
• RQ4 moment-angle複体の位相的不変量とStanley-Reisner環の代数的性質との関係は何か？
• RQ5 どのような条件下で、k-可縮多様体のトライアングレーションのStanley-Reisner環がGolodになるか？

主な発見

• 4変数6生成子の単項式環 S/I が、Koszulホモロジーの積が自明であるにもかかわらずGolodでない例を構成した。
• これはBerglundとJ"ollenbeck（2007）の主張『積が自明ならばGolod性が成り立つ』に対する最初の反例である。
• 元の主張の誤りは、J"ollenbeck（2006）の誤った結果に起因しており、そこでは積が自明であることからすべての高次Massey積が消えると誤って仮定していた。
• すべてのr-項Massey積が r ≤ max(2, reg R - 2) で消えるならばRはGolodであることが示され、Golod性の十分条件が得られた。
• 次元が3以下の単体的複体のStanley-Reisner環においては、Golod性はKoszulホモロジーの積が自明であることと同値である。
• IriyeとKishimotoの結果を一般化した：もしk-可縮多様体のStanley-Reisner環がGolodであれば、そのトライアングレーションは2-近接である。この結果は任意次元へ拡張された。