[論文レビュー] Eigenvalue multiplicity and volume growth

James R. Lee, Yury Makarychev|ArXiv.org|Jun 10, 2008

Geometric Analysis and Curvature Flows参考文献 15被引用数 13

ひとこと要約

この論文は、体積成長が制御された有限ケイリー群およびコンパクトなリーマン多様体における固有値の重複度に対する有効的で有限の境界を確立する。Gromovの定理のKleinerの証明における調和関数の代わりに、ラプラシアンの第二固有空間を用いることで、有限ケイリー群およびコンパクトなリーマン多様体における固有値の重複度に対する有効的で有限の境界を確立する。これにより、群論的・定量的帰結が得られる：双撃定数が有界な有限群は、ℤ_Mに同型な大きな商をもち、画像サイズが顕著な低次元表現を持つ。これはGromovの多項式成長群に関する定理の有効的アナログを提供する。

ABSTRACT

Let $G$ be a finite group with symmetric generating set $S$, and let $c = \max_{R > 0} |B(2R)|/|B(R)|$ be the doubling constant of the corresponding Cayley graph, where $B(R)$ denotes an $R$-ball in the word-metric with respect to $S$. We show that the multiplicity of the $k$th eigenvalue of the Laplacian on the Cayley graph of $G$ is bounded by a function of only $c$ and $k$. More specifically, the multiplicity is at most $\exp((\log c)(\log c + \log k))$. Similarly, if $X$ is a compact, $n$-dimensional Riemannian manifold with non-negative Ricci curvature, then the multiplicity of the $k$th eigenvalue of the Laplace-Beltrami operator on $X$ is at most $\exp(n^2 + n log k)$. The first result (for $k=2$) yields the following group-theoretic application. There exists a normal subgroup $N$ of $G$, with $[G : N] \leq α(c)$, and such that $N$ admits a homomorphism onto the cyclic group $Z_M$, where $M \geq |G|^{δ(c)}$ and $α(c), δ(c) > 0$ are explicit functions depending only on $c$. This is the finitary analog of a theorem of Gromov which states that every infinite group of polynomial growth has a subgroup of finite index which admits a homomorphism onto the integers. This addresses a question of Trevisan, and is proved by scaling down Kleiner's proof of Gromov's theorem. In particular, we replace the space of harmonic functions of fixed polynomial growth by the second eigenspace of the Laplacian on the Cayley graph of $G$.

研究の動機と目的

• 有限群に対して、Gromovの多項式成長群に関する定理の有効的かつ有限のアナログを提供すること。
• Kleinerの証明の中心的役割を果たす多項式成長の調和関数の代わりに、有限ケイリー群における離散ラプラシアンの第二固有空間を用いること。
• ケイリー群の双撃定数に基づいて、固有値重複度および群表現の次元に関する定量的境界を導出すること。
• Trevisanが提起した、体積成長が制御された有限群に対して有効的かつ定量的な表現が存在するかという問いに答えること。

提案手法

• 有限群 $ G $ のケイリー群に対して、体積成長を捉える双撃定数 $ c = \max_R \frac{|B(2R)|}{|B(R)|} $ を定義する。
• 離散ラプラシアンの第二固有空間 $ W_2 $ を、固定された多項式成長の調和関数の空間の有限アナログとして用いる。
• スケール依存のPoincaré不等式と固有値ギャップ推定を用いて、$ W_2 $ の次元が $ \exp(O(\log c)^2) $ で有界であることを証明する。
• 群 $ G $ が $ W_2 $ 上に作用するから、線形表現 $ \rho_W: G \to GL(W) $ を構成し、$ \dim W \leq \exp(O(\log c)^2) $ を示す。
• Jordanの定理を $ \rho_W(G) \leq GL(W) $ に適用し、$ M \geq |\rho_W(G)|^{1/\dim W} $ を満たす大きなアーベル商 $ \mathbb{Z}_M $ を抽出する。
• 離散Cheeger不等式と直径の境界を用いて $ |\rho_W(G)| $ を下から抑え、$ |\rho_W(G)| \gtrsim |G|^{1/\log_2 c} / c^{O(1)} $ を得る。

実験結果

リサーチクエスチョン

• RQ1 双撃定数が有界な有限群に対して、Gromovの多項式成長群に関する定理の有効的かつ有限のアナログを確立できるか。
• RQ2 ケイリー群のラプラシアンの $ k $ 番目の固有値の重複度は、その双撃定数を用いてどのように定量的に評価できるか。
• RQ3 有限設定において、固定された多項式成長の調和関数の空間を、ラプラシアンの第二固有空間で有効的に置き換えられるか。
• RQ4 第二固有空間の次元および関連群表現の像のサイズに関する最良の境界は何か。
• RQ5 ケイリー群の双撃定数は、有限群に $ \mathbb{Z}_M $ に同型な大きな商が存在することをどのように制御するか。

主な発見

• 有限ケイリー群におけるラプラシアンの $ k $ 番目の固有値の重複度は、$ \exp(O(\log c)(\log c + \log k)) $ で有界であり、ここで $ c $ は双撃定数である。
• 双撃定数 $ c $ を持つ有限群 $ G $ に対して、$ \dim W \leq \exp(O(\log c)^2) $ かつ $ |\rho_W(G)| \gtrsim |G|^{1/\log_2 c} / c^{O(1)} $ を満たす線形表現 $ \rho_W: G \to GL(W) $ が存在する。
• 正規部分群 $ N \trianglelefteq G $ で、$ [G:N] \leq \alpha(c) = O(k)^{k^2} $（$ k = \dim W $）を満たし、$ N $ が $ \mathbb{Z}_M $ へ上に写像するようなものが存在し、$ M \geq c^{-O(1)} |G|^{1/(k \log_2 c)} $ である。
• ケイリー群 $ \mathrm{Cay}(G;S) $ の第二固有値 $ \lambda_2 $ は、$ \lambda_2 \lesssim \frac{c^{O(1)}}{\mathrm{diam}(G)^2} $ を満たし、スペクトルギャップと体積成長を結びつける。
• ケイリー群の直径は $ \mathrm{diam}(G) \geq |G|^{1/\log_2 c} $ を満たし、これは表現の像のサイズを下から抑えるのに用いられる。
• この構成により、定量的かつ有効的なGromovの定理が得られる：双撃定数が有界な任意の有限群は、$ M \geq |G|^{\delta(c)} $ を満たす $ \mathbb{Z}_M $ に同型な大きな商を持つ。ここで $ \delta(c) \geq \frac{1}{O(h \log c)} $ かつ $ h \leq \exp((\log c)^2) $ である。