[论文解读] A note on the number of terms witnessing congruence modularity

Paolo Lipparini|arXiv (Cornell University)|Sep 18, 2017

Advanced Algebra and Logic参考文献 17被引用 3

一句话总结

本文利用 Day 项和 Gumm 项，在同余模态范畴中建立了新的同余恒等式，表明当使用 $k+1$ 个 Day 项且 $κ$ 为偶数时，恒等式左侧有 $2^{q+1}-1$ 个因子，右侧有 $\frac{k^q}{2^{q-1}}$ 个因子。对于 $n+2$ 个 Gumm 项且 $q \geq 2$ 的情况，右侧有 $ (2^{q+1}-2q-2)n+3 $ 个因子，改进了现有界，并揭示了项类型之间更深层次的结构性关系。

ABSTRACT

We show that if $\kappa$ is even and some variety $\mathcal V$ is congruence modular as witnessed by $k+1$ Day terms then, for every $q \geq 1$, $\mathcal V$ satisfies the congruence identity $ \alpha ( \beta \circ \alpha \gamma \circ \beta \circ \dotsc \circ \alpha \gamma \circ \beta ) \subseteq \alpha \beta \circ \alpha \gamma \circ \alpha \beta \circ \dots$, with $2 ^{q+1}-1 $ factors on the left-hand side and $ \frac{ k^q}{2 ^{q-1} }$ factors on the right-hand side. Here juxtaposition denotes intersection and terms as $\alpha \gamma $ are counted as a single factor. If $\mathcal V$ has $n+2$ Gumm terms and $q \geq 2$, then the above identity holds with $2^q -1 $ factors on the left and $ (2^{q+1}-2q-2)n+3$ factors on the right. So far, in general, the best evaluation is obtained by combining the two methods. It is an open problem whether there is a better way. Other open problems related to similar identities are discussed. The results might shed new light to the problem of the relationship between the number of Day terms and the number of Gumm terms for a congruence modular variety. By the way, we use Gumm terms also in order to give bounds of the form $ \alpha (\beta \circ \gamma \circ \beta \circ \dots ) \subseteq \alpha ( \gamma \circ \beta ) \circ (\alpha \gamma \circ \alpha \beta \circ \alpha \gamma \circ \dots )$, with appropriate numbers of factors. This extends ideas of S. Tschantz. We also slightly improve a result by A. Day, to the effect that if $n$ is even, then every variety with $n+2$ J\'onsson terms has $2n+1$ Day terms.

研究动机与目标

• 推导同余模态范畴中同余恒等式因子数量的更紧界。
• 探讨此类范畴中 Day 项与 Gumm 项数量之间的关系。
• 扩展 Tschantz 关于使用 Gumm 项推导同余恒等式的思想。
• 改进 Day 关于 Jonsson 项蕴含 Day 项的结果，特别是针对偶数 $n$ 的情形。
• 研究同余恒等式中最优项数量的开放问题。

提出的方法

• 利用 $k+1$ 个 Day 项，推导出左侧有 $2^{q+1}-1$ 个因子、右侧有 $\frac{k^q}{2^{q-1}}$ 个因子的同余恒等式，其中 $κ$ 为偶数。
• 应用 Gumm 项，推导形如 $\alpha(\beta \circ \alpha\gamma \circ \cdots) \subseteq \alpha\beta \circ \alpha\gamma \circ \cdots$ 的恒等式，且因子数量可控。
• 结合 Day 项与 Gumm 项的方法，获得优于单独使用任一方法的界。
• 利用同余恒等式的结构，分析同余模态范畴中不同项类型之间的相互作用。
• 利用 Jonsson 项的已知结果，强化 Day 定理中关于当 $n$ 为偶数时，$n+2$ 个 Jonsson 项蕴含 $2n+1$ 个 Day 项的结论。
• 通过组合计数项序列中的因子，推导出恒等式复杂度的定量界。

实验结果

研究问题

• RQ1 当 $k+1$ 个 Day 项作为同余模态性的见证时，同余恒等式右侧所需的最小因子数是多少？
• RQ2 Gumm 项如何改进或优化现有同余恒等式因子数量的界？
• RQ3 Day 项与 Gumm 项方法的结合是否能获得优于单独使用任一方法的界？
• RQ4 是否存在比当前方法更高效的方式来界定同余恒等式中因子的数量？
• RQ5 同余模态范畴中 Day 项与 Gumm 项数量之间的精确关系是什么？

主要发现

• 对于 $k+1$ 个 Day 项且 $κ$ 为偶数，恒等式 $\alpha(\beta \circ \alpha\gamma \circ \cdots) \subseteq \alpha\beta \circ \alpha\gamma \circ \cdots$ 成立，左侧有 $2^{q+1}-1$ 个因子，右侧有 $\frac{k^q}{2^{q-1}}$ 个因子。
• 当使用 $n+2$ 个 Gumm 项且 $q \geq 2$ 时，恒等式左侧有 $2^q - 1$ 个因子，右侧有 $ (2^{q+1}-2q-2)n + 3 $ 个因子。
• Day 项与 Gumm 项的联合使用，为一般同余模态范畴提供了目前最佳的界。
• 本文通过证明当 $n$ 为偶数时，$n+2$ 个 Jonsson 项蕴含 $2n+1$ 个 Day 项，改进了 Day 的结果。
• 推导出的恒等式通过将 Gumm 项融入因子计数论证，扩展了 Tschantz 的框架。
• 结果表明，用于见证同余模态性的项的数量可能比以往认知的更为严格受限。