[論文レビュー] Igusa-Todorov functions for radical square zero algebras

Marcelo Lanzilotta, Eduardo N. Marcos+1 more|arXiv (Cornell University)|Jun 19, 2015

Algebraic structures and combinatorial models参考文献 3被引用数 3

ひとこと要約

本稿は、根基の平方がゼロである代数におけるIgusa-Todorov関数を調査し、この設定において左および右の$φ$次元が一致することを証明する。$φ$および$ψ$次元の上限を確立し、最大$ψ$次元を達成する代数を特徴づけ、quiver理論的用語「hearth」と「member」を用いて$φ$次元を実現するモジュールを同定する。

ABSTRACT

We study the behaviour of the Igusa-Todorov functions for radical square zero algebras. We show that the left and the right $ϕ$-dimensions coincide, in this case. Some general results are given, but we concentrate more in the radical square zero algebras. Our study is based on two notions of hearth and member of a quiver $Q$. We give some bounds for the $ϕ$ and the $ψ$-dimensions and we describe the algebras for which the bound of $ψ$ is obtained. We also exhibit modules for which the $ϕ$-dimension is realised.

研究の動機と目的

• 根基の平方がゼロである代数におけるIgusa-Todorov関数$φ$および$ψ$の挙動を研究すること。
• このような代数に対して左および右の$φ$次元が一致することを証明すること。
• $φ$および$ψ$次元の上界を確立し、最大$ψ$次元を達成する代数を特徴づけること。
• quiver構造を用いて、$φ$次元が実現される特定のモジュールを同定すること。

提案手法

• 根基の平方がゼロである代数の構造を分析するために、quiver理論的用語「hearth」と「member」を用いる。
• $A = \mathbb{K}Q/J^2$の形をした代数上のモジュールにIgusa-Todorov関数$φ$および$ψ$を適用する。ここで$J$は矢印イデアルである。
• syzygy作用素$Ω$を用いてモジュール構造を計算し、Grothendieck群$K_1$における線形独立性を分析する。
• $Ω$が$K_1$に誘導する写像のランクを用いて$φ$次元を決定する。特に、$K_1$上の誘導写像の核を用いる。
• 上三角行列環の結果を応用して、射影モジュールを分解し、分解を分析する。
• 特に有限なグローバル次元をもつ代数において、quiver構造を通じてグローバル次元および射影次元の挙動を分析する。

実験結果

リサーチクエスチョン

• RQ1 根基の平方がゼロである代数に対して、左および右の$φ$次元は一致するか？
• RQ2 根基の平方がゼロである代数における$φ$および$ψ$次元の上界は何か？
• RQ3 どの根基の平方がゼロである代数が最大の$ψ$次元を達成するか？
• RQ4 どのモジュールに対して$φ$次元が実現され、そのようなモジュールはどのように構成できるか？

主な発見

• すべての根基の平方がゼロである代数に対して、左および右の$φ$次元が一致する。
• 根基の平方がゼロである代数の$φ$次元は、syzygy作用素$Ω$がGrothendieck群$K_1$に誘導する写像のランクによって上限が与えられ、例としてクイバー$1 \to 2 \to 3 \to 4$および$1 \to 4$をもつ代数では$φ\dim(A) = 2$である。
• 最大の$ψ$次元が達成されるのは、代数のクイバーに「member」が存在しない、つまりすべての頂点が「hearth」であるときに限る。
• $φ$次元を実現するモジュールは、直接和$M = M_1 \oplus M_2$として構成され、$\{[\Omega(M_1)], [\Omega(M_2)]\}$が$K_1$において線形独立であり、$\{[\Omega^2(M_1)], [\Omega^2(M_2)]\}$が線形従属である。
• $φ$次元が実現するのは、誘導写像$\overline{\Omega}: K_1 \to K_1$の核に$[S_2] + [S_3] - [S_4]$のような基底元が含まれるときであり、これは特定のsyzygy関係を示している。
• クイバー$1 \to 2 \to 3 \to 4$および$1 \to 4$をもつ代数は$φ\dim = 2$であり、$M_1 = S_2 \oplus S_3$、$M_2 = S_4$は$φ$-witnessモジュールをなす。