[论文解读] Lipschitz Equivalence Class, Ideal Class and the Gauss Class Number Problem

Lifeng Xi, Ying Xiong|arXiv (Cornell University)|Mar 30, 2013

Mathematical Dynamics and Fractals参考文献 27被引用 26

一句话总结

本文建立了满足开口集条件（OSC）且收缩比可通约的ℝᵈ中完全不连通自相似集的利普希茨等价类与相关代数数环中理想类之间的一一对应关系。关键结果表明，当且仅当其关联的理想在环中等价时，此类两个自相似集才利普希茨等价，从而将分形几何与代数数论中的经典高斯类数问题联系起来。

ABSTRACT

In this paper, we study the question of classifying self-similar sets under bi-Lipschitz mappings and obtain an important bi-Lipschitz invariant, which is an ideal of a ring related to IFS. Roughly speaking, different Lipschitz equivalence classes of self-similar sets correspond to different ideal classes of a related ring. This result reveals an interesting relationship between the Lipschitz classification problem in fractal geometry and the Gauss class number problem in algebraic number theory.

研究动机与目标

• 在满足开口集条件（OSC）且收缩比可通约的条件下，对ℝᵈ中完全不连通自相似集进行双利普希茨等价下的分类。
• 为这类自相似集识别一组完整的利普希茨不变量。
• 建立利普希茨等价类与数环中理想类之间的对应关系，从而将分形几何与代数数论联系起来。
• 利用乔丹-扎萨恩豪斯定理，证明在可通约性条件下利普希茨等价类的有限性结果。
• 对比可通约与不可通约的情形，表明在缺乏可通约性时，可能存在无穷多个利普希茨等价类。

提出的方法

• 定义与IFS相关的测度根，并利用它从收缩映射的比值构造环R。
• 为每个自相似集关联一个R中的理想I_A，其中理想编码了集合的组合与度量结构。
• 利用自相似集的图导向结构定义圆柱结构，并分析测度多项式。
• 引入分块分解以分析局部几何，并识别支持双利普希茨映射的密集岛屿。
• 应用乔丹-扎萨恩豪斯定理，证明在可通约性条件下利普希茨等价类的数量是有限的。
• 通过理想等价性构造自相似集之间的双利普希茨映射：若存在a,b ∈ R使得aI_A = bI_B，则A ≃ B。

实验结果

研究问题

• RQ1 在满足开口集条件（OSC）且收缩比可通约的条件下，ℝᵈ中两个完全不连通自相似集何时是利普希茨等价的？
• RQ2 这类自相似集的利普希茨等价类能否被数环中的代数不变量完全刻画？
• RQ3 环中理想类的有限性如何与自相似集利普希茨等价类的有限性相关联？
• RQ4 在利普希茨等价的意义下，开口集条件具有何种几何意义？
• RQ5 为何在缺乏可通约性时会出现无穷多个利普希茨等价类，而可通约情形下则不会？

主要发现

• 当两个自相似集A和B具有相同的维数和比值根时，它们利普希茨等价当且仅当其关联的理想I_A与I_B在相关环R中等价，即存在a,b ∈ R使得aI_A = bI_B。
• 在可通约比值条件下，利普希茨等价类的数量是有限的，这是由于乔丹-扎萨恩豪斯定理保证了理想类的有限性。
• 当相关环R为主理想整环时（例如当N ≥ 2时的ℤ[1/N]），恰好存在一个利普希茨等价类，且所有此类自相似集均与一个符号度量空间利普希茨等价。
• 利普希茨等价与理想类之间的对应关系揭示了利普希茨类数问题与高斯关于实二次域类数为1问题之间深刻的联系。
• 在不可通约情形下，可能存在不可数多个利普希茨等价类，表明其与可通约情形存在根本的结构差异。
• 该结果推广了已知的利普希茨等价结果，例如当R = ℤ[1/N]为主理想整环时，所有具有相同比值r的N-收缩自相似集彼此利普希茨等价。