[论文解读] Algebraic convex geometries revisited

Kira Adaricheva|arXiv (Cornell University)|Jun 14, 2014

Advanced Algebra and Logic参考文献 16被引用 4

一句话总结

本文通过证明任意此类几何均可表示为基集上相容全序的并集，将Edelman与Jamison的有限凸几何表示定理推广至代数（有限型）凸几何。核心贡献在于将代数凸几何表征为全序诱导理想的并集，推广了有限情形的结果，并在无限情形下建立了新的结构性质。

ABSTRACT

Representation of convex geometry as an appropriate join of compatible total orderings of the base set can be achieved, when closure operator of convex geometry is algebraic, or finitary. This bears to the finite case proved by P.H.~Edelman and R.E.~Jamison to the greater extent than was thought earlier.

研究动机与目标

• 将Edelman与Jamison的有限凸几何表示定理推广至无限的代数情形。
• 研究代数凸几何在有限情形之外的结构性质。
• 建立代数凸几何作为基集上全序诱导理想的并集的表示。
• 探讨表示代数凸几何所需的最少全序数量。
• 阐明在代数闭包系统背景下并运算符的作用，与先前构造相区分。

提出的方法

• 利用凸几何闭集格中极大链导出的相容全序概念。
• 应用代数闭包算子条件（定义1中的性质4），以确保闭包由有限子集决定。
• 采用并运算符 $\bigvee_{Sp}$，其定义为包含所有理想并集的最小闭包系统，用于表示该几何。
• 利用Wahl（2020）的引理21，该引理将闭集格中的极大链与基集上的全序联系起来。
• 通过取闭集格中所有极大链对应的相容序构造表示。
• 证明每个闭集均属于至少一个全序诱导理想，从而确保并运算能恢复原始几何。

实验结果

研究问题

• RQ1 Edelman与Jamison的有限凸几何表示定理能否推广至代数（有限型）凸几何？
• RQ2 并运算符 $\bigvee_{Sp}$ 在将代数凸几何表示为全序诱导理想的并集中起何作用？
• RQ3 在代数情形下，闭集格中的极大链如何与基集上的全序相关联？
• RQ4 是否可使用少于极大链数量的全序来表示一个代数凸几何？
• RQ5 从该表示框架中，代数凸几何的哪些结构性质得以显现？

主要发现

• 任意代数凸几何均可表示为基集上相容全序对应的全序诱导理想之并 $\bigvee_{Sp}\{\operatorname{Id}(X,\leqslant_i) \mid i \in I\}$。
• 并运算符 $\bigvee_{Sp}$ 对于保持代数性至关重要，而先前工作中使用的 $\bigvee_{Sg}$ 运算符可能无法产生代数系统。
• 该几何中的每个闭集均包含于至少一个全序诱导理想中，确保了表示的完备性。
• 该表示在最小意义下成立，即相容序的集合可选取为所有由极大链诱导的序。
• 在特定例子中，如 $\mathbb{R}$ 上的标准序或 $\mathbb{N}$ 上的离散闭包，可通过减少所需序的数量来简化表示。
• 该结果在代数凸几何中建立了闭集格中的极大链与基集上全序之间的直接对应关系。