[論文レビュー] Nonnoetherian geometry and toric superpotential algebras

Charlie Beil|arXiv (Cornell University)|Sep 21, 2011

Algebraic structures and combinatorial models被引用数 2

ひとこと要約

本稿は、有限クルール次元をもつ非ノエター型可換代数のための新しい幾何的枠組みを提示する。『描写』（特別なノエター型上位環）と『幾何的余次元』という新しい概念を定義することで、非局所的代数幾何を可能にする。クイバー代数がノエター型であるための必要十分条件は、中心がノエター型であり、かつ中心上に有限生成であることであることが示され、中心はクイバーのサイクルによって生成される可換代数によって描写される。

ABSTRACT

We introduce a theory of geometry for nonnoetherian commutative algebras with finite Krull dimension. In particular, we establish new notions of normalization and height: depiction (a special noetherian overring) and geometric codimension. The resulting geometries are algebraic varieties with positive dimensional points, and are thus inherently nonlocal. These notions also give rise to new equivalent characterizations of noetherianity that are primarily geometric. We then consider an application to quiver algebras whose simple modules of maximal dimension are one dimensional at each vertex. We show that the vertex corner rings of $A$ are all isomorphic if and only if $A$ is noetherian, if and only if the center $Z$ of $A$ is noetherian, if and only if $A$ is a finitely generated $Z$-module. Furthermore, we show that $Z$ is depicted by a commutative algebra generated by the cycles in its quiver. We conclude with an example of a quiver algebra where projective dimension and geometric codimension, rather than height, coincide.

研究の動機と目的

• 有限クルール次元をもつ非ノエター型可換代数のための幾何的理論を構築すること。
• 構造的性質を幾何的に捉える新しい代数的不変量（描写と幾何的余次元）を定義すること。
• 純粋に代数的なものではなく、幾何的条件によってノエター型の性質を特徴づけること。
• 頂点における単純加群がすべて1次元であるようなクイバー代数にこの枠組みを適用すること。
• このようなクイバー代数の中心がノエター型であるための必要十分条件が、代数がノエター型であり、かつ中心上に有限生成であることであることを示すこと。

提案手法

• 非ノエター型代数の正規化として機能する特別なノエター型上位環として『描写』を導入する。
• 非ノエター型の文脈における古典的高さの代替として『幾何的余次元』を定義する。
• クイバー構造を用いて頂点コーナー環の同型型を分析し、ノエター型の判定基準とする。
• クイバー内のサイクルによって生成される可換代数を構成し、クイバー代数の中心を描写する。
• 代数のノエター型、中心のノエター型、中心上での有限生成性の間の同値性を確立する。
• 特定の例において幾何的余次元が射影次元と一致することを示し、古典的高さの代わりに非古典的幾何的不変量が機能することを示す。

実験結果

リサーチクエスチョン

• RQ1 有限クルール次元をもつ非ノエター型可換代数のための幾何的枠組みをどのように構築できるか？
• RQ2 非ノエター型の文脈において、高さの古典的概念に代わる新しい不変量（描写や幾何的余次元）は何か？
• RQ3 クイバー代数がノエター型であるための条件は何か？ また、中心および中心上での有限生成性とはどのように関係するか？
• RQ4 クイバー代数の中心は、クイバーのサイクルによって生成される可換代数によって描写可能か？
• RQ5 幾何的余次元と射影次元が一致する場合とはどのような状況か？ これは非ノエター型幾何に何を意味するか？

主な発見

• クイバー代数がノエター型であるための必要十分条件は、すべての頂点コーナー環が同型であることである。
• クイバー代数の中心がノエター型であるための必要十分条件は、代数自体がノエター型であることである。
• 代数が中心上に有限生成であるための必要十分条件は、ノエター型であることである。
• 中心はクイバー内のサイクルによって生成される可換代数によって描写され、その構造の幾何的実現が得られる。
• 特定の例において幾何的余次元は射影次元と一致し、非古典的幾何的不変量が実際に機能していることが示された。