[論文レビュー] 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）を満たし、可換な縮小比をもつℝᵈ内の完全に不連結な自己相似集合のリプシッツ同値類と、関連する代数的数体の整数環における理想類の間に一対一対応を確立する。主な結果は、このような2つの集合がリプシッツ同値であるための必要十分条件が、それらに対応する理想が環内で同値であることであることを示しており、フラクタル幾何学と代数的数論における古典的ガウス類数問題を結びつける。

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を関連付ける。
• 自己相似集合のグラフ指向的構造を用いてシリンダー構造を定義し、測度多項式を分析する。
• 局所幾何を解析するためのブロック分解を導入し、双リプシッツ写像を支える高密度の島（dense islands）を同定する。
• ジョルダン＝ツァッセンハウスの定理を適用し、可換性条件のもとでリプシッツ同値類の数が有限であることを証明する。
• 理想の同値性を活用して、二つの集合間に双リプシッツ写像を構成する：aI_A = bI_B（a,b ∈ R）ならばA ≃ Bである。

実験結果

リサーチクエスチョン

• RQ1 完全に不連結な自己相似集合AとBが、OSCを満たし、縮小比が可換であるとき、どのような条件下でリプシッツ同値となるか？
• RQ2 このような自己相似集合のリプシッツ同値類が、数体の整数環における代数的不変量によって完全に特徴付けられるか？
• RQ3 環における理想類の有限性が、自己相似集合のリプシッツ同値類の有限性とどのように関係するか？
• RQ4 開集合条件は、リプシッツ同値性の観点から幾何的にどのような意味を持つのか？
• RQ5 なぜ可換性が欠如すると、無限に多くのリプシッツ同値類が存在するのか？可換な場合とは根本的に異なる構造的性質を示すか？

主な発見

• 同じ次元と比根をもつ2つの自己相似集合AとBは、関連する環Rにおける対応する理想I_AとI_Bが同値である（すなわち、aI_A = bI_Bを満たすa,b ∈ Rが存在する）ときかつそのときに限り、リプシッツ同値である。
• 可換な縮小比の条件のもとで、リプシッツ同値類の数は有限であり、ジョルダン＝ツァッセンハウスの定理によって保証される理想類の有限性に起因する。
• 関連する環Rが単項イデアル整域（例：N ≥ 2のときのℤ[1/N]）である場合、リプシッツ同値類はちょうど1つであり、すべてのこのような自己相似集合は、記号的距離空間とリプシッツ同値である。
• リプシッツ同値と理想類の間の対応は、リプシッツ類数問題と実二次体に対するガウスの類数1問題との深い関係を明らかにする。
• 非可換な場合、リプシッツ同値類は非可算無限個存在しうるため、可換な場合とは根本的に構造的差異を示す。
• 既知のリプシッツ同値に関する結果（例：R = ℤ[1/N]がPIDであるとき、同じ比rをもつすべてのN-縮小自己相似集合は互いにリプシッツ同値）を一般化する。