Schémas de Ponzi sur les espaces grossiers avec mesure uniforme

Informations fondamentales

• ID de l'article: 2407.03837
• Titre: Ponzi schemes on coarse spaces with uniform measure
• Auteur: Shunsuke MIYAUCHI (Graduate School of Mathematical Sciences, Université de Tokyo)
• Classification: math.GN (topologie générale), math.GR (théorie des groupes), math.MG (géométrie métrique)
• Date de publication: Juillet 2024, prépublication arXiv
• Lien de l'article: https://arxiv.org/abs/2407.03837

Résumé

Cet article étudie les schémas de Ponzi définis par Block-Weinberger (1992) et Roe (2003), qui fournissent une caractérisation de l'amabilité du point de vue de la géométrie grossière. L'auteur considère les mesures sur les espaces grossiers et propose une reformulation des schémas de Ponzi avec mesure.

Contexte et motivation de la recherche

Problèmes fondamentaux

1. Limitations des schémas de Ponzi classiques: Les schémas de Ponzi traditionnels sont définis uniquement à l'aide de structures grossières et de méthodes de comptage, manquant d'une perspective théorique de la mesure
2. Perfectionnement de la caractérisation de l'amabilité: Il est nécessaire de réexaminer le concept d'amabilité en géométrie grossière sous un angle théorique de la mesure
3. Unification du cadre théorique: Établir un pont entre les schémas de Ponzi et la théorie de la mesure

Importance de la recherche

• Les schémas de Ponzi fournissent un outil important pour caractériser l'amabilité des groupes du point de vue de la géométrie grossière
• Les méthodes théoriques de la mesure peuvent révéler des structures géométriques plus profondes
• Ceci est d'une importance capitale pour comprendre les actions de groupes discrets et l'équivalence grossière

Limitations des méthodes existantes

• Les schémas de Ponzi traditionnels reposent sur le comptage de sous-ensembles uniformément localement finis
• Absence d'une intégration organique avec la théorie des espaces mesurés
• Dans certains cas, les conditions de mesurabilité sont difficiles à vérifier

Contributions principales

1. Introduction du concept de mesure uniforme: Définition d'une mesure uniforme sur les espaces grossiers, posant les fondations pour les méthodes théoriques de la mesure
2. Proposition du concept μ-PS: Définition des schémas de Ponzi avec mesure uniforme μ (μ-PS), généralisant les schémas de Ponzi traditionnels
3. Établissement de théorèmes d'équivalence: Preuve de l'équivalence entre les schémas de Ponzi et μ-PS sous des conditions appropriées
4. Caractérisation de l'amabilité des groupes: Fourniture d'une caractérisation complète de l'amabilité des groupes discrets et de l'existence de μ-PS
5. Construction d'exemples concrets: Fourniture de constructions explicites de μ-PS sur le plan hyperbolique

Explication détaillée des méthodes

Cadre de définition fondamentale

Espaces grossiers et structures mesurables

L'auteur établit d'abord le cadre des espaces grossiers mesurables:

• Structure grossière: Famille de sous-ensembles $\mathcal{E} \subset \mathcal{P}(X \times X)$ satisfaisant cinq axiomes
• Ensembles de contrôle mesurables: $E \in \mathcal{E} \cap (\mathcal{B} \times \mathcal{B})$, où $\mathcal{B}$ est une σ-algèbre
• Structure grossière mesurable: Pour tout $E \in \mathcal{E}$, il existe un ensemble de contrôle mesurable le contenant

Mesure uniforme

Définition 3.6: Une mesure μ est uniforme par rapport à l'espace grossier mesurable $\mathcal{E}$ si: $\sup_{x \in X} \mu(E_x) < \infty$ pour tous les ensembles de contrôle mesurables $E \in \mathcal{E} \cap (\mathcal{B} \times \mathcal{B})$.

Définition de μ-PS

Complexe de chaînes μ

• μ-0-chaînes: $f \in L^{\infty}(X,\mu)$
• μ-1-chaînes: $c \in L^{\infty}(X \times X, \mu \otimes \mu)$ avec existence d'un ensemble de contrôle mesurable $E_c$ tel que $\int_{X \times X \setminus E_c} |c| d\mu \otimes \mu = 0$

Opérateur de bord

Pour une μ-1-chaîne $c$, l'opérateur de bord est défini par: $\partial c(x) = \int_X c(y,x) d\mu(y) - \int_X c(x,y) d\mu(y)$

Définition de μ-PS

Définition 4.2: Une μ-1-chaîne $c$ est un μ-PS si et seulement si son bord $\partial c$ est effectif, c'est-à-dire:

• $\partial c \geq 0$ p.p. μ
• Il existe un ensemble de contrôle mesurable $E$ tel que $\int_{E_{x_0}} \partial c d\mu \geq 1$ pour tous les $x_0 \in X$

Points d'innovation technique

1. Concept de mesurabilité théorique de la mesure: Distinction entre deux définitions de mesurabilité, sélection de la version compatible avec l'espace produit
2. Bonne définition de l'opérateur de bord: Assurance de l'existence de l'opérateur de bord par des conditions de σ-finitude
3. Généralisation de l'équivalence grossière: Introduction de conditions de justification effective de la mesure, rendant μ-PS invariant sous l'équivalence grossière appropriée

Résultats théoriques principaux

Théorèmes fondamentaux

Théorème 6.3 (Résultat principal): Soit $(X,\mathcal{E})$ un espace grossier mesurable, μ une mesure uniforme, et $(X,\mu)$ σ-fini.

1. Si $X$ possède un μ-PS et un quasi-réseau $\Lambda$, alors $X$ possède un schéma de Ponzi
2. Si $X$ possède un schéma de Ponzi $\theta$ satisfaisant $\text{supp}\theta \subset S \times S$ ($S$ uniformément localement fini), et s'il existe un ensemble de contrôle mesurable constant sur $S$ par rapport à μ, alors $X$ possède un μ-PS

Applications à la théorie des groupes

Corollaire 6.4: Soit $\Gamma$ un groupe discret agissant proprement et cocompactement sur un espace de Hausdorff localement compact et dénombrable à la base $X$, et μ une mesure régulière non nulle $\Gamma$-invariante. Alors $\Gamma$ est non-amable si et seulement si l'espace grossier $(X, E_\Gamma^X)$ possède un μ-PS.

Exemples de constructions concrètes

μ-PS sur le plan hyperbolique

Exemple 4.10: Sur le modèle du disque de Poincaré $D^2$, équipé de la métrique $ds^2 = \frac{dx^2 + dy^2}{(1-x^2-y^2)^2}$ et de la mesure $\mu = \frac{4dxdy}{(1-x^2-y^2)^2}$.

Construction de la fonction: