[論文レビュー] Higher order Fourier analysis as an algebraic theory I

Balázs Szegedy|ArXiv.org|Mar 5, 2009

Limits and Structures in Graph Theory参考文献 3被引用数 14

ひとこと要約

本稿は、有限アーベル群の超積上での高次フォーリエ解析の代数的枠組みを構築し、古典的フォーリエ理論を一般化する高次キャラクターとフォーリエσ代数を導入する。k番目の高次フォーリエ空間の任意の要素が、(k−1)番目の双対群上のランク1モジュールに分解可能であることを確立し、加法的組合せ論における高次一様性と正則性の構造的基盤を提供する。

ABSTRACT

Ergodic theory, Higher order Fourier analysis and the hyper graph regularity method are three possible approaches to Szemerédi type theorems in abelian groups. In this paper we develop an algebraic theory that creates a connection between these approaches. Our main method is to take the ultra product of abelian groups and to develop a precise algebraic theory of higher order characters on it. These results then can be turned back into approximative statements about finite Abelian groups.

研究の動機と目的

• アーベル群の超積上での代数的枠組みを通じて、高次フォーリエ解析、エルゴディック理論、ハイパーグラフ正則性を統一すること。
• 高次フォーリエσ代数を、直前のレベルに対する逐次的相対的分離構造として定義し、その性質を同定すること。
• L2関数のランク1モジュール分解を、(k−1)番目の双対群上の係数を用いて行い、古典的フォーリエ直交性を一般化すること。
• 1次キャラクターに対して完全に直交する高次キャラクターの明確な代数的構造を提供し、新たな解析的ツールを可能にすること。
• 超積の結果をεパrameter付きの近似的有限文に翻訳する基盤を築き、シュレーディング型定理への応用を可能にすること。

提案手法

• 有限アーベル群の列の超積を構成し、豊富な代数的および測度論的構造を持つコンパクトアーベル群を形成する。
• k番目の高次フォーリエσ代数を、(k−1)番目のレベルに対する相対的分離要素のσ代数として定義し、群移動に関して不変であることを保証する。
• 高次キャラクターを、(k−1)番目の双対群上のランク1モジュールの生成子として導入し、σ代数上のヒルベルト空間における正規直交基底を形成する。
• 可測な行列値コサイクル M_{x,y}(i,j) = λ_{i,j}(y−x,x) を用いて基底関数の平行移動を表現し、F_{k−1}で可測であり、合成に関して閉じていることを保証する。
• ロフリンの補題を用いて、正測度集合上の局所的正規直交基底を、超積空間全体にわたるグローバル基底へ拡張する。
• 行列値コサイクル M_x が F_k で可測であり、その成分が C_k に属することを示し、σ代数がランク1モジュールによって生成されることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 アーベル群の超積上での高次フォーリエ解析を、一貫した代数的理論として形式化する方法は何か？
• RQ2 高次キャラクターの代数的構造は何か？ そして、それらは古典的線形キャラクターと比べて、直交性および基底性の点でどのように異なるか？
• RQ3 σ代数に関する相対的分離性の概念が、L2関数の階層的分解にどのように寄与するか？
• RQ4 ゴウアーズ一様性ノルムおよびハイパーグラフ正則性の構造は、超積群の代数的性質から回復可能か？
• RQ5 超積設定下での高次キャラクターと双対群構造の正確な関係は何か？

主な発見

• k番目の高次フォーリエσ代数 F_k は、F_{k−1} に対するすべての相対的分離要素を含む最小のσ代数であり、測度的構造のネストされた階層を形成する。
• L2(F_k) 内の任意の関数は、L∞(F_{k−1}) に係数を持つ一意的な和に分解可能であり、各成分は F_{k−1} 上のランク1モジュールに属する。
• 任意の要素 C ∈ C_k ∩ L∞(A×A) の像は、自己随伴還元とモジュール分解を用いて、ランク1モジュールによって生成される空間に含まれる。
• 行列値コサイクル M_{x,y}(i,j) = λ_{i,j}(y−x,x) は F_{k−1} で可測であり、M_{x,y}M_{y,z} = M_{x,z} および M_{x,y} = M_{y,x}^* を満たし、一貫性とユニタリティを保証する。
• コサイクル M_x によって生成されるσ代数は F_k に含まれる。M_x が C_k の値を取ることから、F_k 全体がランク1モジュールによって生成される。
• 基本定理は、F_{k−1}-不変かつ F_{k−1} に対して相対的分離な任意のσ代数 H が、C_k に値をとる可測コサイクル M_x を持ち、H がランク1モジュールによって生成されることを示すことによって証明される。