[論文レビュー] Nilspaces, nilmanifolds and their morphisms

Omar Antolín Camarena, Balázs Szegedy|arXiv (Cornell University)|Sep 20, 2010

Limits and Structures in Graph Theory参考文献 12被引用数 38

ひとこと要約

本稿は、ニル多様体の一般化としてニルスペースを導入し、高次フーリエ解析およびガウワー一様性ノルムの統一的代数的枠組みを提供する。有限次元でコンパクトかつねじれなしのニルスペースは、その平行移動群から導かれるリー群構造を持つニル多様体であることが示され、コンパクトなニルスペースが有限次元のものへの逆極限であることも証明されている。これはアーベル群の理論を拡張し、高次加法的組合せ論的対象の構造的解析を可能にする。

ABSTRACT

Recent developments in ergodic theory, additive combinatorics, higher order Fourier analysis and number theory give a central role to a class of algebraic structures called nilmanifolds. In the present paper we continue a program started by Host and Kra. We introduce nilspaces as structures satisfying a variant of the Host-Kra axiom system for parallelepiped structures. We give a detailed structural analysis of abstract and compact topological nilspaces. Among various results it will be proved that compact nilspaces are inverse limits of finite dimensional ones. Then we show that finite dimensional compact connected nilspaces are nilmanifolds. The theory of compact nilspaces is a generalization of the theory of compact abelian groups. This paper is the main algebraic tool in the second authors approach to Gowers's uniformity norms and higher order Fourier analysis.

研究の動機と目的

• 高次フーリエ解析の背後にある代数的・解析的構造を捉えるために、ニル多様体をより広範な代数的枠組みへ一般化すること—すなわちニルスペースを導入すること。
• エルゴディック理論や加法的組合せ論におけるニル多様体の限界を解消するため、自然に逆極限として現れ、準同型写像を支持するニルスペースを導入すること。
• コンパクトなニルスペースの構造理論を確立し、それが有限次元のニルスペースへの逆極限であることを示すとともに、ねじれなしの条件下でリー群構造を持つニル多様体であることを示すこと。
• ガウワー一様性ノルムおよび高次フーリエ解析の基礎を提供するため、ノルムをニルスペース上で定義し、それらの間の準同型写像を分析すること。

提案手法

• 本稿は、ホスト＝クラー公理の変種を用いてk段階のニルスペースを定義し、合成性、エルゴディック性、接着性を満たす立方体集合C^n(N)を指定する。
• 特に平行移動群Trans_i(N)のフィルトレーションを通じて、ニルスペースの構造をバンドル分解と併せて分析する。
• 逆極限を用いて、任意のコンパクトなニルスペースが有限次元のニルスペースへの逆極限であることを示し、コンパクトなアーベル群の構造を一般化する。
• コンパクトなニルスペースの平行移動群Trans_i(N)がリー群であることを証明し、その連結成分がニルスペースの連結成分に推移的に作用することを示す。
• コhomological技法と可測なコサイクルを用いて、特に有限ランクおよび平均化の文脈において、ニルスペース間の準同型写像と拡張を分析する。
• 有限ランクでねじれなしのk段階コンパクトなニルスペースが、連結リー群の中心的系列を通じてニル多様体であることを確立し、構造群A_kが(R/Z)^nに同型であることを示す。

実験結果

リサーチクエスチョン

• RQ1 アーベル的でない状況において、高次フーリエ解析およびガウワー一様性ノルムを扱えるように、ニル多様体をどのように一般化できるか？
• RQ2 コンパクトなニルスペースがどのような構造的性質を持ち、有限次元のニルスペースへの逆極限とどのように関係するか？
• RQ3 コンパクトなニルスペースがリー群とココンパクトな格子を持つニル多様体構造をもつための条件は何か？
• RQ4 ニルスペース間の準同型写像はどのように振る舞い、平行移動群とバンドル分解はそれらの分類においてどのような役割を果たすか？
• RQ5 エルゴディック理論および加法的組合せ論の文脈において、ニルスペースはアーベル群をどの程度一般化するか？

主な発見

• 任意のコンパクトなニルスペースは、有限次元のニルスペースへの逆極限である。これは、コンパクトなアーベル群の構造を一般化する。
• 有限次元でコンパクトかつねじれなしのk段階ニルスペースは、i=1からkまでの{Trans_i(N)^0}に対応する中心的系列を持つリー群構造を持つニル多様体である。
• コンパクトなニルスペースの平行移動群Trans_i(N)はリー群であり、その連結成分はニルスペースの連結成分に推移的に作用する。
• ニルスペース間の準同型写像の核はリー群であり、Trans_i(N)の連結成分が準同型写像を通じて写された像は、像群の連結成分である。
• 有限ランクでねじれなしのk段階ニルスペースに対して、構造群A_kは(R/Z)^nに同型であり、連結平行移動群のフィルトレーションに関してニル多様体である。
• ニルスペース間の準同型写像はニルスペース構造を保ち、適切な条件下では、これらの準同型写像は平行移動群構造を介して引き上げられ、コサイクルおよび拡張の解析を可能にする。