[論文レビュー] Characterisations of algebraic properties of groups in terms of harmonic functions

Matthew Tointon|arXiv (Cornell University)|Sep 22, 2014

Advanced Operator Algebra Research参考文献 20被引用数 3

ひとこと要約

この論文は、群の代数的性質とその調和関数空間の構造との間の深い関係を確立する。調和関数論とラプラシアン解析を用いて、ある群に有限台を持つ対称的測度が存在するとき、その群の調和関数空間が有限次元であるための必要十分条件が、その群がほとんど巡回であることであることを証明し、正の調和関数、ラプラシアンの全射性、および頂点推移的グラフ上の非定数調和関数に関する結果へと拡張する。

ABSTRACT

We prove various results connecting structural or algebraic properties of graphs and groups to conditions on their spaces of harmonic functions. In particular: we show that a group with a finitely supported symmetric measure has a finite-dimensional space of harmonic functions if and only if it is virtually cyclic; we present a new proof of a result of V. Trofimov that an infinite vertex-transitive graph admits a non-constant harmonic function; we give a new proof of a result of T. Ceccherini-Silberstein, M. Coornaert and J. Dodziuk that the Laplacian on an infinite, connected, locally finite graph is surjective; and we show that the positive harmonic functions on a non-virtually nilpotent linear group span an infinite-dimensional space.

研究の動機と目的

• 群の調和関数空間の次元と構造を用いて、群の代数的性質を特徴づけること。
• 調和関数論と、ほとんど巡回性やほとんど可解性といった群論的性質との間の関係を確立すること。
• 新しい双対性および平均次元技術を用いて、既知の調和関数およびラプラシアンの全射性に関する結果の新たな証明を提供すること。
• 可解性と安定的有限性が細胞オートマトンと調和関数論において果たす役割を調査すること。

提案手法

• 群上に有限台を持つ対称的生成確率測度を用いて離散ラプラシアンを定義し、調和関数をラプラシアンの核となる関数として定義する。
• 平均次元理論と線形細胞オートマトンとその転置の間の双対性を応用し、調和関数の性質と群構造との関係を結びつける。
• 線形細胞オートマトンに対するガーデン・オブ・エデン型定理を用いて、無限大で連結で局所的に有限なグラフ上のラプラシアンの全射性を特徴付ける。
• 多項式成長の調和関数とその有限次元性の概念を用い、ほとんどアーベル群およびほとんど巡回群を特徴付ける。
• ケイリー群上のランダムウォーク理論およびスペクトル解析の結果を応用し、調和関数空間を分析する。
• 群代数の安定的有限性と線形の全射性の同値性を活用し、カプランスキーの予想を調和関数および細胞オートマトンの転置の前単射性の観点から再定式化する。

実験結果

リサーチクエスチョン

• RQ1 有限台を持つ対称的測度を持つ群の調和関数空間が有限次元であるのはいつか？
• RQ2 調和関数空間が有限次元である群を特徴付ける代数的構造は何か？
• RQ3 無限大で連結で局所的に有限で頂点推移的なグラフは、常に非定数の調和関数をもつのか？
• RQ4 無限大で連結で局所的に有限なグラフ上のラプラシアンは常に全射的か？
• RQ5 非ほとんど可解な線形群における正の調和関数空間の次元は何か？

主な発見

• 有限台を持つ対称的測度を持つ群の調和関数空間が有限次元であるための必要十分条件は、その群がほとんど巡回であることである。
• 無限大で連結で局所的に有限で頂点推移的な任意のグラフは、非定数の調和関数をもつ。これは、V. トロフィモフの結果の新たな証明を提供する。
• 任意の無限大で連結で局所的に有限なグラフ上のラプラシアンは全射的である。これは、Ceccherini-Silberstein, Coornaert, および Dodziuk の結果の新たな証明を提供する。
• 非ほとんど可解な線形群における正の調和関数空間は無限次元である。
• 多項式成長度が高々 k である調和関数空間の有限次元性は、ほとんどアーベル群を特徴付ける。
• 調和関数の双対性を介して、カプランスキーの安定的有限性予想と転置細胞オートマトンの前単射性との同値性が確立された。