[論文レビュー] High-dimensional fillings in Heisenberg groups

Robert M. Young|arXiv (Cornell University)|Jun 8, 2010

Geometric and Algebraic Topology参考文献 8被引用数 5

ひとこと要約

この論文は、ヘイゼンベルク群における高次元デイン関数のグロモフ予想を、水平多様体との交差を用いて高次元サイクルを効率的に近似する新しい手法を導入することによって解決する。双対スケルトンを介した質量制御付き単体的近似を構築し、ヘイゼンベルク群のスケーリング性質を活用することで、$(2n+1)$次元ヘイゼンベルク群における$(d+1)$次元デイン関数が$n < d < 2n+1$の範囲で$V^{\frac{d+2}{d+1}}$のオーダーで増加することを証明し、これらの関数の完全な特徴付けを完成させる。

ABSTRACT

We use intersections with horizontal manifolds to show that high-dimensional cycles in the Heisenberg group can be approximated efficiently by simplicial cycles. This lets us calculate all of the higher-order Dehn functions of the Heisenberg groups, thus proving a conjecture of Gromov.

研究の動機と目的

• ヘイゼンベルク群における高次元デイン関数の漸近的増加率に関するグロモフ予想を解決すること。
• 従来の単体的近似が質量の膨張のために失敗するため、$\dim \alpha > n$ のとき $H_n$ における高次元サイクルの効率的近似技術を開発すること。
• $(2n+1)$次元ヘイゼンベルク群 $H_n$ における $(d+1)$ 次元デイン関数 $\operatorname{FV}^{d+1}(V)$ に対して、$n < d < 2n+1$ の範囲で鋭い上界および下界を確立すること。
• スケーリングおよびマイクロフレキシブルフリー技術をカルノー群における高次元埋め込み問題に拡張すること。

提案手法

• 高次元リプシッツサイクル $\alpha$ を、$H_n \times [1,2]$ におけるトライアングレーションの双対スケルトンとの横断的交差数を用いて近似する。
• 双対スケルトンの $(2n+1-k)$ 次元セルとの交差を用いて、$k = \dim \alpha > n$ のもとで単体的近似 $P_\tau(\alpha)$ を構築する。
• スケーリング自己同型の下での体積増加を制御するため、近似セルが水平（水平分布に接する）であることを保証する。
• スケーリング自己同型 $s_t$ を用いて、スケール $2^i$ におけるネストされた近似族 $P_i(\alpha)$ を生成し、質量増加を制御する。
• 境界が $P_{i+1}(\alpha) - P_i(\alpha)$ である充填チェイン $R_i$ を構築し、$R_i$ の総質量を評価して充填体積を推定する。
• スケーリング像 $s_t(f(\sigma))$ の体積増加を推定する：$d$ 次元単体 $\sigma$ に対して $\operatorname{vol} s_t(f(\sigma)) \leq c t^{d+1}$ が成り立ち、$d > n$ のとき $k(d) = d+1$ が得られる。

実験結果

リサーチクエスチョン

• RQ1 $(2n+1)$ 次元ヘイゼンベルク群 $H_n$ における $(d+1)$ 次元デイン関数 $\operatorname{FV}^{d+1}(V)$ の漸近的増加率は $n < d < 2n+1$ の範囲でどのように振る舞うか？
• RQ2 次元 $> n$ の場合に水平トライアングレーションが存在しないとき、$H_n$ における高次元サイクルの効率的単体的近似を構築できるか？
• RQ3 非水平単体のスケーリング像の体積増加は、高次元における充填体積にどのように影響するか？
• RQ4 スケーリングおよび交差に基づく手法が、グロモフ予想が予測する鋭い上界 $V^{\frac{d+2}{d+1}}$ を達成できるか？

主な発見

• 論文は、$(2n+1)$ 次元ヘイゼンベルク群 $H_n$ において $n < d < 2n+1$ の範囲で $\operatorname{FV}^{d+1}(V) \sim V^{\frac{d+2}{d+1}}$ が成り立つことを証明し、この範囲におけるグロモフ予想を確認する。
• 水平双対セルとの交差を用いることで、従来の単体的近似で見られる質量の膨張を避ける質量制御付き単体的近似を実現する。
• ヘイゼンベルク群 $H_n$ における $d$ 次元単体の $s_t$-像の体積増加は $c t^{d+1}$ で有界であり、$d > n$ のとき $k(d) = d+1$ が質量推定において得られる。
• 総充填質量は $C' V^{\frac{d+2}{d+1}}$ で有界であり、指数は条件 $k(d+1) + k(2n+1-d) > \kappa = 2n+2$ から生じ、これは和が最大項に支配されることを保証する。
• 結果は鋭い。バリルの先行研究により下界が一致しており、漸近的同値 $\sim$ が確認される。
• 構成は、$s_2(\Gamma)$-不変で、局所的に滑らかで、水平な写像としての $H_n \times [1,2]$ のトライアングレーションから $H_n$ への写像の存在に依存しており、接触幾何学および等方的フレキシブルティの定理によって保証される。