[论文解读] Fans in the Theory of Real Semigroups II. Combinatorial Theory

Mx Dickmann, Alejandro Petrovich|arXiv (Cornell University)|Mar 21, 2017

Rings, Modules, and Algebras参考文献 8被引用 5

一句话总结

本文建立了ARS-扇的组合理论——即抽象实谱对偶范畴中的扇——证明有限ARS-扇的同构类型完全由其专属性偏序决定。该方法依赖于三元半群、将扇分解为带有自然对合的抽象序空间，以及引入标准生成系作为拟序理论工具的组合替代。

ABSTRACT

In the paper: Fans in the Theory of Real Semigroups. I. Algebraic Theory (submitted) we introduced the notion of fan in the categories of real semigoups and their dual abstract real spectra and developed the algebraic theory of these structures. In this paper we develop the combinatorial theory of ARS-fans, i.e., fans in the dual category of abstract real spectra. Every ARS is a spectral space and hence carries a natural partial order called the {\it specialization partial order}. Our main result shows that the isomorphism type of a finite fan in the category ARS is entirely determined by its order of specialization. The main tools used to prove this result are: (1) Crucial use of the theory of {\it ternary semigroups}, a class of semigroups underlying that of RSs; (2) Every ARS-fan is a disjoint union of abstract order spaces (called {\it levels}); (3) Every level carries a natural involution of abstract order spaces, and (4) The notion of a {\it standard generating system}, a combinatorial tool replacing, in the context of ARSs, the (absent) tools of combinatorial geometry (matroid theory) employed in the cases of fields and of abstract order spaces.

研究动机与目标

• 为ARS-扇建立组合基础，即实半群的对偶结构。
• 克服在抽象实谱背景下缺乏如拟序理论等几何工具的问题。
• 通过其专属性偏序，组合地刻画有限ARS-扇。
• 引入并利用标准生成系的概念，作为几何组合学的替代工具。
• 将ARS-扇分解为各具自然对合的层级，每个层级为抽象序空间。

提出的方法

• 采用三元半群理论作为实半群底层代数结构的基础。
• 将每个ARS-扇分解为不相交的层级之并，每一层级为抽象序空间。
• 为每个层级赋予自然对合，以保持序理论结构。
• 引入标准生成系作为编码结构信息的组合工具。
• 以专属性偏序为核心不变量，对有限ARS-扇进行同构分类。
• 应用实半群与其抽象实谱之间的对偶性，将代数结果转化为组合形式。

实验结果

研究问题

• RQ1 有限ARS-扇的同构类型如何通过组合方式刻画？
• RQ2 支撑ARS-扇组合行为的代数与序理论结构是什么？
• RQ3 在缺乏拟序理论工具的情况下，可采用何种组合替代方法分析ARS-扇？
• RQ4 ARS-扇的各层级（每个均为抽象序空间）如何共同构成整体结构？
• RQ5 专属性偏序在决定有限ARS-扇同构类中起何种作用？

主要发现

• 有限ARS-扇的同构类型完全由其专属性偏序决定。
• 每个ARS-扇均可分解为不相交的层级之并，每一层级为带有自然对合的抽象序空间。
• 三元半群理论为ARS-扇提供了基础代数框架。
• 标准生成系作为几何工具（如拟序理论）的组合替代。
• 专属性偏序捕获了同构分类所需的所有结构信息。
• 实半群与其抽象实谱之间的对偶性，使得代数结果可被转移至组合设定中。