[论文解读] Polytopal linear algebra

Winfried Bruns, Joseph Gubeladze|ArXiv.org|Feb 3, 2000

Polynomial and algebraic computation参考文献 14被引用 5

一句话总结

本文引入了多面体线性代数作为向量空间的范畴化推广，其中多面体代数——与格点多面体相关联的分次 $k$-代数——取代了向量空间。证明了在域上多面体Picard群是平凡的，通过Veronese奇点证实了关于同态的猜想，并表明所有格点多边形 $P$ 的 $k[P]$ 的幂等自同态都通过 $k[t]$ 分解或源于线段纤维化，揭示了此类映射的组合分类。

ABSTRACT

We investigate similarities between the category of vector spaces and that of polytopal algebras, containing the former as a full subcategory. In Section 2 we introduce the notion of a polytopal Picard group and show that it is trivial for fields. The coincidence of this group with the ordinary Picard group for general rings remains an open question. In Section 3 we survey some of the previous results on the automorphism groups and retractions. These results support a general conjecture proposed in Section 4 about the nature of arbitrary homomorphisms of polytopal algebras. Thereafter a further confirmation of this conjecture is presented by homomorphisms defined on Veronese singularities. This is a continuation of the project started in our papers "Polytopal linear groups" (J. Algebra 218 (1999), 715--737), "Polytopal linear retractions" preprint, math.AG/0001049) and "Polyhedral algebras, arrangements of toric varieties, and their groups" (preprint, http://www.mathematik.uni-osnabrueck.de/K-theory/0232/index.html). The higher $K$-theoretic aspects of polytopal linear objects will be treated in "Polyhedral $K$-theory" (in preparation).

研究动机与目标

• 通过用与格点多面体相关联的多面体 $k$-代数取代向量空间，扩展经典线性代数。
• 研究向量空间范畴与多面体代数范畴之间的结构相似性。
• 提出并提供证据支持一个猜想：多面体范畴中的所有同态都源于标准组合构造。
• 描述当 $P$ 为格点多边形且 $k$ 代数闭时，$k[P]$ 的幂等自同态的多样性。

提出的方法

• 将多面体 $k$-代数 $k[P]$ 定义为多面体 $P$ 的格点上的幺半群环，其二项式关系来自仿射依赖性。
• 将多面体Picard群定义为多面体范畴的 $k$-线性自等价类模自然同构的群。
• 利用先前工作中关于收缩与自同构的结果，支持一个猜想：所有同态都由多面体几何编码的基本运算构成。
• 分析多项式环的Veronese子代数的同态，表明它们通过标准构造中的多面体变换而产生。
• 应用Newton多面体技术来刻画投影的分裂并分类幂等自同态。
• 使用整数仿射映射和Minkowski和，将同态结构与多面体分解联系起来。

实验结果

研究问题

• RQ1 在域上，多面体Picard群是否平凡，它与经典Picard群有何关系？
• RQ2 多面体范畴中的所有同态是否都可以描述为基于多面体结构的标准运算的复合？
• RQ3 当 $P$ 为格点多边形时，$k[P]$ 的幂等自同态的完整结构是什么？
• RQ4 多项式环的Veronese子代数的同态如何与多面体同态的一般猜想相关？
• RQ5 多面体代数的结构在多大程度上由组合数据决定，而非算术性质？

主要发现

• 在任意域 $k$ 上，多面体Picard群是平凡的，意味着唯一的 $k$-线性自等价是与标量乘法同构的。
• 所有来自多项式环的Veronese子代数的同态都是通过对标准构造（涉及投影分裂）应用多面体变换而获得的。
• 当 $k$ 为代数闭域时，格点多边形 $P$ 的 $k[P]$ 的幂等自同态的多样性被完全描述：余维数1的幂等元对应于线段纤维化和边，且所有余维数2的幂等元都通过 $k[t]$ 分解。
• 由面投影或更高余维数纤维化产生的幂等自同态，是通过对涉及投影到多项式环的分裂构造进行多面体变换而获得的。
• 同态的结构完全由Newton多面体和格点配置的组合决定，与域的算术性质无关。
• 一个同态要分裂一个投影，其充要条件是其定义多项式的Newton多面体与纤维方向对齐，并在 $Y=1$ 处满足归一化条件。