[論文レビュー] A Gorenstein numerical semi-group ring having a transcendental series of Betti numbers

Clas Löfwall, Samuel Lundqvist+1 more|arXiv (Cornell University)|Dec 4, 2012

Commutative Algebra and Its Applications参考文献 12被引用数 4

ひとこと要約

この論文は、Poincaré-Betti系列が超越的である最初の既知のGorenstein数値的半群環の例を構成し、Gorenstein環という比較的よく従うクラスでさえも、Betti数が非有理母関数を生成することがあることを示している。3F(S)+1以上の奇数を用いた基底半群Sからの構成によって得られる対称的数値的半群を用い、著者らは、得られた環RのPoincaré-Betti系列が無限積と有理的関係にあること、したがって超越的であることを、Macaulay2による計算とホモロジー代数的手法を用いて、関連する次数付きLie代数とその包あくり代数の構造を分析することで証明している。

ABSTRACT

We prove in particular that the Gorenstein numerical semigroup ring generated by (36,48,50,52,56,60,66,67,107,121,129,135) has a transcendental series of Betti numbers. The methods of proofs are the theory of Golod homomorphism and the theory of infinite positively graded Lie algebras. This paper is more than twice as long as earlier 1212.0720, has two extra authors and has new general results about decomposition of graded Lie algebras (theorems 2,3 and 4) in the new section 4.

研究の動機と目的

• Gorenstein環が非有理Poincaré-Betti系列を有するかどうかという長年の未解決問題を、特に数値的半群環の文脈で解明すること。
• Gorenstein数値的半群環のPoincaré-Betti系列が超越的である明示的例を構成することで、このような環において一般に有理的でないことを示すこと。
• 完全交差と対称的半群の両方の状況においてもBetti系列が超越的になり得ることを示すことで、Gorenstein環におけるホモロジー的不変量の理解を拡張すること。
• 構成された環を非ゼロ除因子で剰余することで、無理数Betti系列を有するアートン環の最小例（おそらく最小の例）を提供すること。

提案手法

• 著者らは、[Ro-G-San] からの構成を用い、与えられた半群Sから、奇数g ≥ 3F(S)+1を導入し、擬Frobenius数niに対して、2giとg−2niを生成元とする新しい半群S̄gを定義することで、対称的数値的半群を生成する。
• S̄197がt^36, t^48, ..., t^135で生成される環R = k[S̄197]を用い、多項式環Tにおける定義イデアルJの最小グレブナー基底をMacaulay2で計算する。
• Poincaré-Betti系列は、両方の次数（ホモロジー次数iと次数j）を追跡する多変数Betti数|Tor_i^R(k,k)|_jを用いて計算される。
• 関連する次数付きLie代数ηの構造を分析し、その包あくり代数のPoincaré系列が、商代数の系列と無限積∏(1+z^{2n-1})^2 / (1−z^{2n})^2の積として表され、この無限積は既知の超越的であることが示されている。
• 証明は、有限生成次数付きLie代数の分解結果と、Golodホモオーマルフィズムおよび大写像の理論に依拠しており、特にLie代数構造がBetti系列を決定することを用いている。
• 環の次数は、次数方程式の線形系の解における素数分母のおかげで、スカラー倍を除き一意的であることが確認され、環の構造が再次数化に関して同型でないほど剛性を持つことが保証されている。

実験結果

リサーチクエスチョン

• RQ1 完全交差環が有理的系列を持つにもかかわらず、Gorenstein数値的半群環が超越的Poincaré-Betti系列を有する可能性はあるか？
• RQ2 無理数Betti系列を有するアートンGorenstein環の最小例はあるか？ もしあるならば、その埋め込み次元は何か？
• RQ3 奇数g ≥ 3F(S)+1を用いた対称的半群の構成が、関連する環のホモロジー的不変量にどのように影響するか？
• RQ4 このような環のホモロジー的不変量は、gの選択に依存しない程度はどの程度か？ 197と199のような異なるg値の間で、それらはどのように関係するか？
• RQ5 Gorenstein環のPoincaré-Betti系列が無限積と有理的関係にあることは可能か？ その場合、超越性にはどのような意味があるか？

主な発見

• 体k（特性0）上で生成される、t^36, t^48, t^50, t^52, t^56, t^60, t^66, t^67, t^107, t^121, t^129, t^135の12個の単項式によって生成される環R = k[S̄197]は、次元1のGorenstein環であり、整域である。
• RのPoincaré-Betti系列は、無限積∏_{n=1}^∞ (1+z^{2n-1})^2 / (1−z^{2n})^2と有理的関係にあり、この無限積は既知の超越的である。
• 関連する次数付きLie代数ηの包あくり代数の系列は、商代数の系列とこの無限積の積として示され、Betti系列の超越性が確認された。
• Rの最小整数次数は、12変数の54個の線形方程式系を解くことで一意に決定され、c1 = 67の解が得られ、再次数化に関して環の剛性が確認された。
• R199に対しても同様の構成を適用すると、次数が異なり（例：h=69 が67に変わる）、すべての次数が整数になるようにc1 = 69とする必要があるため、R197とR199は再次数化後でさえも同型でないことが示された。
• aがt^36に対応するとき、R197/(a)は、残りの生成子を(b,c,d,e,f,g,h,i,j,k,l) = (1,1,1,1,1,1,1,2,2,2,2)に再次数化することで、R199/(a)と同型であるが、全環R197とR199はいかなる再次数化に対しても同型でない。