[论文解读] 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.

研究动机与目标

• 开发有限克鲁尔维数的非诺特交换交换代数的几何理论。
• 定义新的代数不变量——描绘与几何余维数——以几何方式捕捉结构特性。
• 通过几何条件而非纯粹代数条件来刻画诺特性。
• 将该框架应用于在顶点处的一维简单模的奎弗代数。
• 证明此类奎弗代数的中心是诺特的，当且仅当该代数是诺特的且关于其中心有限生成。

提出的方法

• 将'描绘'引入为一种特殊的诺特环扩张，作为非诺特代数的正规化工具。
• 将'几何余维数'定义为非诺特设定下经典高度的替代概念。
• 利用奎弗结构分析顶点角环及其同构类型，作为诺特性的判别标准。
• 构造由奎弗中环生成的交换代数，以描绘奎弗代数的中心。
• 建立代数的诺特性、其中心的诺特性以及其关于中心的有限生成性之间的等价关系。
• 通过一个具体例子证明几何余维数与射影维数一致，表明其替代经典高度的作用。

实验结果

研究问题

• RQ1 如何为有限克鲁尔维数的非诺特交换交换代数构建一个几何框架？
• RQ2 在非诺特设定下，哪些新不变量（如描绘与几何余维数）可替代经典概念（如高度）？
• RQ3 奎弗代数在何种条件下是诺特的？这与其中心及关于其中心的有限生成性有何关联？
• RQ4 奎弗代数的中心能否由奎弗环生成的交换代数所'描绘'？
• RQ5 在何种情况下几何余维数与射影维数一致？这对非诺特几何意味着什么？

主要发现

• 一个奎弗代数是诺特的，当且仅当其所有顶点角环彼此同构。
• 一个奎弗代数的中心是诺特的，当且仅当该代数是诺特的。
• 该代数作为其中心上的模是有限生成的，当且仅当它是诺特的。
• 其中心由奎弗中环生成的交换代数所'描绘'，从而为其结构提供了几何实现。
• 在一个具体例子中，几何余维数与射影维数一致，展示了非经典几何不变量的实际作用。