[論文レビュー] Beyond Lebesgue and Baire IV: Density topologies and a converse Steinhaus-Weil Theorem

Ν. H. Bingham, A. J. Ostaszewski|arXiv (Cornell University)|Jun 30, 2016

Advanced Topology and Set Theory参考文献 1被引用数 3

ひとこと要約

本稿は、位相群における密度位相を調査し、Steinhaus-Weilの定理の逆を確立することを目的としている。具体的には、特定の位相的条件下で、Steinhaus-Weil性質が移動コンパクト性を含意することを示している。群ノルムを導入し、位相を精緻化することで、測度論的および集合論的アプローチを統一し、可分かつ距離化可能な群において、Steinhaus-Weil性質を有する集合は、位相がKemperman性質を満たす場合に移動コンパクト性を示すことを証明している。これは調和解析および正則変動の古典的結果を拡張するものである。

ABSTRACT

The theme here is category-measure duality, in the context of a topological group. One can often handle the (Baire) category case and the (Lebesgue, or Haar) measure cases together, by working bi-topologically: switching between the original topology and a suitable refinement (a density topology). This prompts a systematic study of such density topologies, and the corresponding $σ$-ideals of negligibles. Such ideas go back to Weil's classic book, and to Hashimoto's ideal topologies. We make use of group norms, which cast light on the interplay between the group and measure structures. The Steinhaus-Weil interior-points theorem (`on $AA^{-1}$') plays a crucial role here; so too does its converse, the Simmons-Mospan theorem.

研究の動機と目的

• 位相群におけるSteinhaus-Weil性質が移動コンパクト性を含意する条件を同定することで、Steinhaus-Weilの定理の逆を確立すること。
• カテゴリと測度の双対性に動機づけられた、密度位相の体系的理論を構築すること。
• 群ノルムと理想位相を用いて、位相群における測度論的および集合論的アプローチを統一すること。
• 非局所コンパクト群およびポリッシュ群において、Steinhaus-Weil性質、Kemperman性質、および移動コンパクト性の関係を明確にすること。
• 局所コンパクトでない群を含む広範なクラスの位相群に、Haar零集合および普遍可測集合の結果を拡張すること。

提案手法

• 著者たちは右不変距離を用い、群ノルム ||t|| := d_R^G(1_G, t) を定義することで、近傍の構造とその平行移動を分析している。
• 彼らは、開集合をLebesgue密度点を用いて定義する密度位相 D_L を、元の位相の精緻化として導入し、測度論的性質の集合論的類似を可能としている。
• 主な技術的アプローチは、特にSteinhaus-Weil性質およびKemperman性質の文脈において、移動不変位相下での AA^{-1} および AB^{-1} の形をした集合の相対的内部を分析することにある。
• 分離性の仮定を避けるために、Effrosの開写像原理と逐次的技法を適用し、非分離的および非局所コンパクト群に対しても結果を得ている。
• 本稿では、普遍可測集合および普遍Baire集合に基づく左-Haar零集合と左-Haar痩せ集合の概念を用いて、局所コンパクト群を超えた測度と集合論の双対性を一般化している。
• 弱いおよび強いSteinhaus-Weil的性質の同値性の証明は、Kemperman性質を含む3つの位相的制約に依存しており、これらは特定の平行移動された集合が空でない内部を持つことを保証する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、位相群におけるSteinhaus-Weil性質が移動コンパクト性を含意するか？
• RQ2 カテゴリと測度の双対性を反映するように、密度位相を体系的に構成する方法は何か？
• RQ3 群ノルムは、非局所コンパクト群における位相的、測度論的、集合論的構造をどのように結びつけるか？
• RQ4 どのような状況下で、Steinhaus-Weil性質とKemperman性質が一致し、それらは移動コンパクト性とどのように関係するか？
• RQ5 トポロジー的および理想位相を用いて、非局所コンパクトなポリッシュ群におけるHaar零集合および普遍可測集合の理論をどのように拡張できるか？

主な発見

• 可分かつ距離化可能な位相群において、位相がKemperman性質を満たす限り、Steinhaus-Weil性質は移動コンパクト性を含意する。これは古典的Steinhaus-Weil定理の逆を確立するものである。
• 位相群 G の任意の集合 A がSteinhaus-Weil性質を持つとき、集合 AA^{-1} は単位元の近傍を含み、本稿で導入された3つの位相的制約のもとでは、この性質は移動コンパクト性と同値である。
• 強いKemperman性質（|U ∩ (t + U)| ≥ ε for small |t| < δ）は、ノルム ||t||_U := |U Δ (t + U)| の連続性と同値であり、これはRにおけるLebesgue可測集合に対して成り立つ。
• 非局所コンパクトな可換ポリッシュ群では、Haar零集合でもHaar痩せでもない閉集合 A および B が存在し、A + B が空の内部を持つことが示された。これは、このような群においてSteinhaus-Weil性質が普遍的に成り立たないことを示している。
• 左-Haar零集合の族は左Kemperman性質を有しており、任意の2つの集合 A および B に対して、ある g ∈ G が存在して gA ∩ B も左-Haar零集合となる。これは古典的結果を非局所コンパクトな状況に拡張するものである。
• ポリッシュ可換群では、Haar零集合の族と左-Haar零集合の族が一致し、局所コンパクトで第二可算な群では、これらはFubini型の議論によりHaar測度零集合と一致することが示された。