[论文解读] Algebraic geometry over free semilattice

Аrtеm N. Shevlyakov|arXiv (Cornell University)|Jan 12, 2014

Polynomial and algebraic computation参考文献 3被引用 3

一句话总结

本文通过建立对不可约代数集的坐标半格的分类，发展了无限秩自由半格上的代数几何。它引入了这些坐标代数的通用半格嵌入，并提供了一个有限公理系统，使得任意代数集可被算法分解为不可约分量，并通过自由参数进行参数化。

ABSTRACT

We deal with equations over free semilattice of infinite rank and prove that any infinite consistent system of equations is equivalent to its finite subsystem. Moreover, we describe irreducible algebraic sets and solve some algorithmic problems.

研究动机与目标

• 将普遍代数几何扩展至无限秩自由半格，其中标准的诺特性条件不成立。
• 对这类自由半格上不可约代数集的坐标半格进行分类。
• 开发一种算法，将任意代数集分解为不可约分量的并集。
• 通过自由参数和常系数对代数集进行参数化。
• 解决在自由半格上有限方程组的一致性问题。

提出的方法

• 引入一致系统（NPC）的诺特性概念，作为无限半格上等式诺特性的弱化形式。
• 以无限秩自由半格作为基础结构，利用其嵌入到通用半格的特性。
• 应用普遍代数几何技术，通过一组有限的逻辑公理对坐标半格进行分类。
• 采用一种分解算法，通过检查系统的核心一致性，将系统拆分为不可约分量。
• 推导出一种参数化公式，利用无系数项和常数项来表示解集。
• 利用半格中的偏序关系和互素关系，分析方程组和解集。

实验结果

研究问题

• RQ1 在无限秩自由半格上，不可约代数集的坐标半格具有怎样的结构？
• RQ2 如何通过算法将任意代数集分解为该类半格上不可约代数集的并集？
• RQ3 任意代数集的参数化形式如何表示为自由参数和常数的函数？
• RQ4 在自由半格上，有限方程组在何种条件下是一致的？
• RQ5 哪些逻辑公理能完全刻画不可约代数集的坐标半格类？

主要发现

• 无限秩自由半格满足NPC性质，尽管其不满足完整的等式诺特性，但仍可应用普遍代数几何方法。
• 在自由半格上，任意不可约代数集的坐标半格均可嵌入到一个通用半格中，从而提供一个典范上界。
• 一组有限公理在逻辑上定义了不可约代数集的坐标半格类。
• 构建了一种算法，通过分析系统的“核心”，将任意代数集分解为有限个不可约分量的并集。
• 一个通用参数化公式（13）将任意代数集表示为自由参数和常数项的像的并集。
• 有限方程组的一致性可通过检查其核心是否为空来判定，如定理6.1所确立。