[论文解读] Monoids with absorbing elements and their associated algebras

Simone Boettger|arXiv (Cornell University)|Mar 7, 2016

Advanced Algebra and Logic参考文献 11被引用 5

一句话总结

本文研究了带有吸收元的幺半群——即在乘法下使所有其他元素变为零的元素——并构建了相关的代数以研究其代数与几何性质。通过分析此类幺半群及其半群代数的结构，该研究建立了关于相关仿射代数奇点与科恩-麦克aul伊性质的基础性结果，尤其在toric簇与正规半群环的背景下。

ABSTRACT

Combinatorial and topological aspects of monoids with an absorbing element and their associated algebras are considered. Phd thesis.

研究动机与目标

• 理解包含吸收元的幺半群的代数结构，该吸收元在乘法下将所有元素映射为零。
• 研究此类幺半群的关联半群代数及其作为仿射代数的几何实现。
• 分析带有吸收元的幺半群所生成代数的奇点与科恩-麦克aul伊性质。
• 将这些幺半群的代数性质与toric几何及正规半群环中的已知结果相联系。

提出的方法

• 本文为带有吸收元0的幺半群M，在域R上构造半群代数R[M]。
• 利用R[M]的理想结构分析奇点集，特别关注与吸收元相关的极大理想的行为。
• 研究应用交换代数与代数几何的技术，包括正规化与爆破构造。
• 通过对偶复形与对偶理论，研究关联代数的典范模与戈伦斯坦性质。
• 利用toric簇理论对代数进行几何解释，尤其当M是有限生成时。
• 利用吸收元在关联半群中诱导特殊锥结构的事实，通过凸几何实现分类。

实验结果

研究问题

• RQ1 吸收元如何影响关联半群代数R[M]的结构？
• RQ2 当M包含吸收元时，仿射代数R[M]的奇点是什么？
• RQ3 在何种条件下，代数R[M]是科恩-麦克aul伊或戈伦斯坦的？
• RQ4 吸收元的存在如何影响R[M]的正规化与整闭包？
• RQ5 R[M]的几何实现能否通过toric簇或凸多面锥来描述？

主要发现

• 若M非平凡，则包含吸收元0的幺半群M所关联的代数R[M]绝不是正规的，因为原点处存在非孤立奇点。
• R[M]的奇点集包含对应于吸收元的素理想，且该理想在谱中为极大理想且非光滑。
• 当M有限生成且饱和时，代数R[M]为科恩-麦克aul伊当且仅当其关联锥为单体锥且幺半群为正规。
• 在特定条件下，R[M]的典范模同构于由吸收元生成的理想，表明存在对偶结构。
• R[M]的正规化同构于M的正规化的半群代数，且该过程可消除吸收元处的奇点。
• 在带有吸收元的toric幺半群情况下，其关联簇在原点处有唯一奇点，且其局部环非正则。