Non-crystallographic systems of integers over composition algebras

技术摘要：合成代数上的非晶体整数系统

问题陈述
本文探讨了实赋范除代数（$\mathbb{R}, \mathbb{C}, \mathbb{H}, \mathbb{O}$）中整元素的算术结构。虽然经典的晶体整数系统（例如高斯整数、艾森斯坦整数、赫维茨整数和考克斯特 - 迪克森整数）作为整数环 $\mathbb{Z}$ 上的格已被充分理解，但非晶体情形——特别是与根系 $H_2, H_3,$ 和 $H_4$ 相关的情形——呈现出结构性缺口。在这些情形中，卡特兰系数不是整数，而是位于黄金环 $\mathbb{Z}[\phi]$ 中。因此，序（order）的标准定义（要求是 $\mathbb{Z}$ 上的格）无法捕捉正确的算术几何。本文旨在通过用 $\mathbb{Z}[\phi]$ 上的“有限根壳”条件替代格的要求，来形式化“非晶体整数系统”的公理框架。

方法论
作者采用三层方法来分离和分析这些系统的组成部分：

1. 公理分离：该工作区分了经典文献中常被混淆的三个不同对象：完整的无限序、有限乘法单位壳，以及由特定有限壳承载的根系。
2. 算术框架：研究利用了实二次域 $K = \mathbb{Q}(\sqrt{5})$ 的整数环，记为 $\mathbb{Z}[\phi]$，其中 $\phi = (1+\sqrt{5})/2$。它将非晶体积分根壳系统定义为对 $(\mathcal{O}, S)$，其中 $\mathcal{O}$ 是 $\mathbb{Z}[\phi]$ 上的序，$S$ 是满足特定反射和整性条件（卡特兰系数在 $\mathbb{Z}[\phi]$ 中）的有限子集。
3. 通过凯莱 - 迪克森倍增构建：本文通过对二十面体环（$I$）应用凯莱 - 迪克森倍增过程，构建了一个“弱黄金八元数序”（$G$）。
4. 阻碍分析：作者严格测试了该弱序是否能扩展为一个“强”不可约黄金八元数序（类比于考克斯特 - 迪克森 $E_8$ 情形）。这涉及在商空间 $(\mathbb{Z}[\phi]/2)^8$ 和 $(\mathbb{Z}[\phi]/\sqrt{5})^8$ 的射影线上进行详尽的计算搜索，以测试在严格范数整性和松弛迹整性约定下是否存在有效的“粘合”（分数扩展）。

主要贡献与结果

• 公理形式化：本文定义了精确的“非晶体积分根壳系统”（定义 6.1）。它确立了对于非晶体情形，自然系数环是 $\mathbb{Z}[\phi]$，而相关的几何对象是有限根壳，而非 $\mathbb{Z}$-格。
• 经典情形的恢复：该框架通过改变系数环和壳约束，成功恢复了已知的晶体示例（高斯、艾森斯坦、赫维茨、考克斯特 - 迪克森）和非晶体示例（通过分圆整数的 $H_2$，通过二十面体环的 $H_4$）。
• 弱黄金八元数序的构建：
  • 作者构建了 $G = I \oplus I\ell$，这是 $K$ 上八元数中一个秩为 8 的自由 $\mathbb{Z}[\phi]$-序。
  • $G$ 的有限壳由 240 个元素组成，实现了可约根系 $H_4 \oplus H_4$。
  • 关键的是，虽然壳是可分解的（两个正交的 $H_4$ 副本），但序 $G$ 本身是真正的八元数（非结合的），这由非零结合子 $[i, j, \ell] \neq 0$ 所证实。
• 更强扩展的不可行定理：本文证明了在自然整性条件下，弱序 $G$ 无法被扩大为更强的不可约黄金八元数序：
  • 严格范数整性：序 $G$ 关于极范数配对是自对偶的（$G^\#_0 = G_0$）。因此，它不接受任何严格范数整性的超序。
  • 分母为二的粘合：对分母为二的商空间中 21,845 条射影线的详尽枚举表明，没有任何候选者满足混合陪集、共轭和整性配对测试。
  • 分歧分母（$\sqrt{5}$）：在 $\sqrt{5}$ 分母商空间中，没有非零子空间满足极配对条件。
  • 迹整性（松弛）：即使在松弛的“迹整性”约定下（仅要求范数的有理迹为整数），在第一判别塔内也不存在稳定的各向同性粘合。“混合半根”假设失败，因为所得模元素的范数迹不是整数。

意义与主张
本文声称对合成代数和准晶的算术做出了适度但精确的贡献：

1. 结构澄清：它分离了定义非晶体整数所需的精确公理要素，解决了黄金比例背景下无限序、有限壳和单位群之间的混淆。
2. 类比局限性的展示：它表明，虽然晶体 $E_8$（考克斯特 - 迪克森）与非晶体 $H_4$（二十面体）之间的类比在壳结构上成立，但在尝试构建单个不可约的“黄金考克斯特 - 迪克森”八元数序时，该类比失效。弱倍增 $G$ 是在测试塔内此类对象的最大化形式。
3. 物理适用性：该工作为准晶模型提供了精确的算术数据。$H_2$ 壳为彭罗斯镶嵌（十重对称性）提供了严格的算术基础，而 $H_4$ 壳和弱八元数序则为二十面体准晶提供了算术母体，并为耦合二十面体扇区提供了一个受控的非结合玩具模型。
4. 计算验证：所有关于扩展不存在性的数值主张均由精确算术计算（使用 Python 和有理数，无浮点数）支持，验证了相关判别塔中所有潜在“粘合”的阻碍。

作者明确指出，该工作并不声称产生物质的基本理论或新的不可约黄金八元数格，而是为这类研究提供了正确的算术框架和边界。