[論文レビュー] Equal column sum and equal row sum dimension group realizations

David Handelman|arXiv (Cornell University)|Jan 13, 2013

Cellular Automata and Applications参考文献 6被引用数 7

ひとこと要約

本稿では、列和が等しい（ECS）または行和が等しい（ERS）非負整数行列の直限界として次元群の明示的実現を与える。このような実現が存在するための条件を確立する。主たる貢献は、トレースが忠実で、有理数値をとり、Akinの定義における「よい」性質を持つとき、かつそのときに限り、ECS実現が存在することの特徴づけである。T-プラッツ系やカントール集合上の最小的力学系への応用を含む。

ABSTRACT

Motivated by connections between minimal actions, especially Töplitz, on Cantor sets, and dimension groups, we find realizations of classes of dimension groups as limits of primitive matrices all of which have equal column sums, or equal row sums.

研究の動機と目的

• 非負整数行列で列和または行和が等しい原始的行列を用いて、次元群の明示的行列実現を提供すること。
• 次元群上のトレースが等しい列和（ECS）実現を許容する条件を特徴づけること。
• このような実現を力学系、特にT-プラッツ系およびカントール集合上の最小的Z作用と結びつけること。
• クリスチャン・スコウが提起した、分離拡張次元群のERS実現に関する疑問を解消すること。
• テレスコピングと行列変換を許容することで、既存の行列シフト同値性枠組みを超えて次元群実現理論を拡張すること。

提案手法

• 非負整数行列 $ A_n $ を用いて、自由アーベル群の直限界として次元群を表現し、通常の座標ごとの順序を用いる。
• 各 $ A_n $ のすべての列和が等しくなるようにECS実現を構成し、定数ベクトルに一致させるために対角行列による正規化を用いる。
• 特定の部分群 $ H $ の像が極限で定数ベクトルに対応するように、行列列を変更するためのテレスコピング技術を適用する。
• トレース $ \tau $ を用いて正錐を定義する：$ g > 0 $ ならば $ \tau(g) > 0 $ とし、群が単純で一意なトレースを持つことを保証する。
• ERS実現のためにはECS行列の転置をとり、極限が行和不変性を持つように実現されることを確認する。
• Akinの「よい」条件を次元群の文脈に翻訳し、トレースの核とねじれ自由性を用いて実現可能性を特徴づける。

実験結果

リサーチクエスチョン

• RQ1 有理数値で忠実なトレースをもつ次元群が、等しい列和（ECS）実現を許容する条件は何か？
• RQ2 一意な有理数値トレースをもつ単純な有限ランク次元群は、すべて等しい行和（ERS）を持つ行列によって実現可能か？
• RQ3 分離拡張次元群に対して、列和と行和が等しい（ECRS）実現が存在するための制約は何か？
• RQ4 トレースの像 $ \tau(G) $ の代数的性質、特に $ p $-可除性がECRS実現の存在に与える影響は何か？
• RQ5 ERS実現を、有界であるか、特定のサイズに制限して構成することはどの程度可能か？

主な発見

• 次元群上のトレースがECS実現を許容するための必要十分条件は、忠実で、有理数値をとり、Akinの定義における「よい」性質を持つことである。この条件は次元群に適応されたものである。
• ランク $ k+1 $ の単純な次元群 $ G $ と一意な有理数値トレース $ \tau $ に対して、サイズ $ k+2 $ のECS実現が存在する。
• 非巡回なランク1の部分群 $ H $ に対して、単純な有限ランク次元群 $ G $ がERS実現を持つための必要十分条件は、$ \tau(H) \neq 0 $ かつ $ G/H $ がねじれ自由であることである。
• ECRS実現が存在するのは、$ \tau(G) $ がある素数 $ p $ で可除であり、かつ $ \tau(G)/\tau(H) $ が有限のとき、サイズ $ \lambda = |\tau(G)/\tau(H)| $ のみに限る。
• もし $ \tau(G) $ に無限の重複度を持つ素因数がないならば、ECRS実現が存在するのは $ |\tau(G)/\tau(H)| \geq \text{rank}\, G $ のときであり、その他のサイズでは実現は不可能である。
• ERSまたはECS実現の存在は、群同型 $ \phi: G \to \lim A_n $ が存在し、$ \phi(H) $ が極限で定数ベクトルに対応するようなものであることと同値であり、ここで $ A_n $ は等しい行和または列和を持つ。