2025-11-17T01:10:12.200979

Ponzi schemes on coarse spaces with uniform measure

Miyauchi

Ponzi schemes, defined by Block-Weinberger(1992) and Roe(2003), give a characterization of amenability from the viewpoint of coarse geometry. We consider measures in coarse spaces, and propose a reformulation of Ponzi schemes with measures.

academic

粗空間上の一様測度を伴うポンツィスキーム

基本情報

論文ID: 2407.03837
タイトル: Ponzi schemes on coarse spaces with uniform measure
著者: 宮内俊介（東京大学大学院数理科学研究科）
分類: math.GN（一般位相幾何学）、math.GR（群論）、math.MG（距離幾何学）
発表時期: 2024年7月、arXiv プレプリント
論文リンク: https://arxiv.org/abs/2407.03837

要旨

本論文は、Block-Weinberger（1992）およびRoe（2003）によって定義されたポンツィスキームを研究し、粗幾何学の観点から適応性の特性付けを与えるものである。著者は粗空間上の測度を考察し、測度を伴うポンツィスキームの新たな定式化を提案している。

研究背景と動機

中心的問題

古典的ポンツィスキームの限界：従来のポンツィスキームは粗構造と計数法のみで定義され、測度論的視点が欠けている
適応性特性付けの改善：測度論の観点から粗幾何学における適応性概念を再検討する必要がある
理論的枠組みの統一：ポンツィスキームと測度論の間に橋渡しを確立する

研究の重要性

ポンツィスキームは粗幾何学の観点から群の適応性を特性付ける重要な道具を提供する
測度論的方法はより深い幾何学的構造を明らかにする可能性がある
離散群作用と粗同値性の理解に重要な意義を持つ

既存方法の限界

従来のポンツィスキームは一様局所有限部分集合の計数に依存している
測度空間理論との有機的結合が欠けている
特定の場合において可測性条件の検証が困難である

核心的貢献

一様測度概念の導入：粗空間上の一様測度を定義し、測度論的方法の基礎を確立した
μ-PS概念の提案：一様測度μを伴うポンツィスキーム（μ-PS）を定義し、従来のポンツィスキームを一般化した
等価性定理の確立：適切な条件下でポンツィスキームとμ-PSの間の等価関係を証明した
群の適応性の特性付け：離散群の適応性とμ-PSの存在性の完全な特性付けを与えた
具体例の構成：双曲平面上のμ-PSの明示的構成を提供した

方法論の詳細

基本的定義の枠組み

粗空間と可測構造

著者はまず可測粗空間の枠組みを確立した：

粗構造：5つの公理を満たす部分集合族 $\mathcal{E} \subset \mathcal{P}(X \times X)$
可測制御集合： $E \in \mathcal{E} \cap (\mathcal{B} \times \mathcal{B})$ 、ここで $\mathcal{B}$ はσ-代数
可測粗構造：任意の $E \in \mathcal{E}$ に対して、それを含む可測制御集合が存在する

一様測度

定義3.6：測度μが可測粗空間 $\mathcal{E}$ に関して一様であるとは、以下が成り立つことである： $\sup_{x \in X} \mu(E_x) < \infty$ すべての可測制御集合 $E \in \mathcal{E} \cap (\mathcal{B} \times \mathcal{B})$ に対して。

μ-PSの定義

μ-鎖複体

μ-0鎖： $f \in L^{\infty}(X,\mu)$
μ-1鎖： $c \in L^{\infty}(X \times X, \mu \otimes \mu)$ であり、可測制御集合 $E_c$ が存在して $\int_{X \times X \setminus E_c} |c| d\mu \otimes \mu = 0$

境界作用素

μ-1鎖 $c$ に対して、境界作用素は以下のように定義される： $\partial c(x) = \int_X c(y,x) d\mu(y) - \int_X c(x,y) d\mu(y)$

μ-PSの定義

定義4.2：μ-1鎖 $c$ がμ-PSであるとは、その境界 $\partial c$ が有効であること、すなわち：

$\partial c \geq 0$ a.e. μ
可測制御集合 $E$ が存在して、すべての $x_0 \in X$ に対して $\int_{E_{x_0}} \partial c d\mu \geq 1$

技術的革新点

測度可測性概念：2つの可測性定義を区別し、積空間と両立する版を選択した
境界作用素の良定義性：σ-有限性条件を通じて境界作用素の存在性を保証した
粗同値性の一般化：測度有効正当性条件を導入し、μ-PSが適切な粗同値下で不変であることを示した

主要な理論的結果

中心的定理

定理6.3（主要結果）： $(X,\mathcal{E})$ を可測粗空間、μを一様測度、 $(X,\mu)$ をσ-有限とする。

$X$ がμ-PSと準格子 $\Lambda$ を持つならば、 $X$ はポンツィスキームを持つ
$X$ がポンツィスキーム $\theta$ を持ち、 $\text{supp}\theta \subset S \times S$ （ $S$ は一様局所有限）を満たし、 $S$ 上でμに関して定数である可測制御集合 $E$ が存在するならば、 $X$ はμ-PSを持つ

群論への応用

系6.4：離散群 $\Gamma$ が局所コンパクト第二可算Hausdorff空間 $X$ に適切かつ余コンパクトに作用し、μが $\Gamma$ -不変な非零正則測度であるとする。このとき $\Gamma$ が非適応的であることと、粗空間 $(X, E_\Gamma^X)$ がμ-PSを持つことは同値である。