Xu–Snashall代数のHochschildコホモロジー
Gerstenhaber algebra structure on the Hochschild cohomology ring of the Xu--Snashall algebra
この論文をやさしく読む
ひとことで言うと
ある有限次元代数から作るコホモロジー環を、冪零元を除く方法を変えながら調べる研究です。弱いGerstenhaberイデアルで割っても有限生成になるとは限らないことを、具体例で示します。
何に役立つ？
代数の表現を調べる際に使う有限生成性の予想を精密化するために役立ちます。反例の構造を明示することで、どの除き方なら一般的な定理を期待できるかを整理します。
この研究の面白いところ
Xu–Snashall代数でGerstenhaber構造を具体的に計算し、弱いイデアルGが通常の冪零元生成イデアルと一致すると示します。一方、完全なGerstenhaberイデアルで割ると基礎体になるという対照が現れます。
どこまで分かった？
否定的な結論は対象の具体的代数について証明されています。完全なGerstenhaberイデアルで割った環が一般の有限次元代数で常に有限生成になるかは、新しい問いとして提示されており、解決済みではありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
Aを有限次元代数とし、Hochschildコホモロジー環HH⁎(A)を考える。これはGerstenhaber代数である。すべての斉次冪零元が生成するイデアルをN、弱GerstenhaberイデアルをG、GerstenhaberイデアルをGcalと表す。SnashallとSolbergは、Hochschildコホモロジーによる台多様体の研究に動機付けられ、HH⁎(A)/Nが有限生成代数になると予想した。Xuは標数2の基礎体上でこの予想への反例を構成し、Snashallはその例を任意の標数へ一般化した。HermannはHH⁎(A)/Gが有限生成代数かどうかを問い、まずXu–Snashall代数を調べることを提案した。 本論文では、Xu–Snashall代数についてこの問いに答える。Hochschildコホモロジー環のGerstenhaber代数構造を明示的に計算し、G=Nであることを示す。したがって、HH⁎(A)/G=HH⁎(A)/Nは有限生成ではない。さらに、HH⁎(A)/Gcal≅Kであることを示す。このため、有限次元代数AについてHH⁎(A)/Gcalが常に有限生成代数になるかという新たな問いが生じる。主な道具は、両側Anick分解と弱自己ホモトピーである。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-17（UTC）
- 最新改訂
- 2026-09-17 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-17 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Let $A$ be a finite dimensional algebra and let $\rmHH^*(A)$ be its Hochschild cohomology ring, which is a Gerstenhaber algebra. Denote by $\calN$ (resp. $G$, $\calG$) the ideal (resp. weak Gerstenhaber ideal, Gerstenhaber ideal) generated by all homogeneous nilpotent elements. Motivated by their work on support varieties via Hochschild cohomology, Snashall and Solberg conjectured that $\rmHH^*(A)/\calN$ is a finitely generated algebra. Xu constructed a counterexample to the Snashall-Solberg conjecture over a base field of characteristic two, and Snashall generalized this example to arbitrary characteristic. Hermann further asked whether $\rmHH^*(A)/G$ is a finitely generated algebra and suggested considering first the Xu--Snashall algebra. In this paper, we answer this question for the Xu--Snashall algebra. In fact, by explicitly computing the Gerstenhaber algebra structure on the Hochschild cohomology ring, we show that $G=\calN$; hence $\rmHH^*(A)/G=\rmHH^*(A)/\calN$ is not a finitely generated algebra. Furthermore, we show that $\rmHH^*(A)/\calG\cong K$. Therefore, one may ask whether, for a finite dimensional algebra $A$, $\rmHH^*(A)/\calG$ is always a finitely generated algebra. Our main tools are two-sided Anick resolutions and weak self-homotopies.
著者のコメント
Detailed version of a submitted paper; 44 pages
arXiv ID: 2609.19560 ／ 要約の誤りについて