Esquemas de Ponzi en espacios gruesos con medida uniforme

Información Básica

• ID del artículo: 2407.03837
• Título: Ponzi schemes on coarse spaces with uniform measure
• Autor: Shunsuke MIYAUCHI (Departamento de Ciencias Matemáticas, Universidad de Tokio)
• Clasificación: math.GN (Topología General), math.GR (Teoría de Grupos), math.MG (Geometría Métrica)
• Fecha de publicación: Julio de 2024, preimpresión en arXiv
• Enlace del artículo: https://arxiv.org/abs/2407.03837

Resumen

Este artículo estudia los esquemas de Ponzi definidos por Block-Weinberger (1992) y Roe (2003), que proporcionan caracterizaciones de amenabilidad desde la perspectiva de la geometría gruesa. El autor considera medidas en espacios gruesos y propone una reformulación de esquemas de Ponzi con medida.

Antecedentes y Motivación de la Investigación

Problemas Centrales

1. Limitaciones de esquemas de Ponzi clásicos: Los esquemas de Ponzi tradicionales se definen únicamente mediante estructura gruesa y métodos de conteo, careciendo de una perspectiva de teoría de medida
2. Perfeccionamiento de caracterizaciones de amenabilidad: Es necesario revisar el concepto de amenabilidad en geometría gruesa desde la perspectiva de la teoría de medida
3. Unificación del marco teórico: Establecer un puente entre esquemas de Ponzi y teoría de medida

Importancia de la Investigación

• Los esquemas de Ponzi proporcionan herramientas importantes para caracterizar la amenabilidad de grupos desde la perspectiva de la geometría gruesa
• Los métodos de teoría de medida pueden revelar estructuras geométricas más profundas
• Tiene importancia significativa para comprender acciones de grupos discretos y equivalencia gruesa

Limitaciones de Métodos Existentes

• Los esquemas de Ponzi tradicionales dependen del conteo de subconjuntos uniformemente localmente finitos
• Carecen de una combinación orgánica con la teoría de espacios de medida
• En ciertos casos, las condiciones de medibilidad son difíciles de verificar

Contribuciones Centrales

1. Introducción del concepto de medida uniforme: Define medida uniforme en espacios gruesos, sentando las bases para métodos de teoría de medida
2. Proposición del concepto μ-PS: Define esquemas de Ponzi con medida uniforme μ (μ-PS), generalizando esquemas de Ponzi tradicionales
3. Establecimiento de teoremas de equivalencia: Prueba relaciones de equivalencia entre esquemas de Ponzi y μ-PS bajo condiciones apropiadas
4. Caracterización de amenabilidad de grupos: Proporciona una caracterización completa entre amenabilidad de grupos discretos y existencia de μ-PS
5. Construcción de ejemplos concretos: Proporciona construcciones explícitas de μ-PS en el plano hiperbólico

Explicación Detallada de Métodos

Marco de Definiciones Básicas

Espacios Gruesos y Estructura Medible

El autor primero establece el marco de espacios gruesos medibles:

• Estructura gruesa: Familia de subconjuntos $\mathcal{E} \subset \mathcal{P}(X \times X)$ satisfaciendo cinco axiomas
• Conjuntos de control medibles: $E \in \mathcal{E} \cap (\mathcal{B} \times \mathcal{B})$, donde $\mathcal{B}$ es una σ-álgebra
• Estructura gruesa medible: Para todo $E \in \mathcal{E}$, existe un conjunto de control medible que lo contiene

Medida Uniforme

Definición 3.6: Una medida μ es uniforme respecto a un espacio grueso medible $\mathcal{E}$ si: $\sup_{x \in X} \mu(E_x) < \infty$ se cumple para todos los conjuntos de control medibles $E \in \mathcal{E} \cap (\mathcal{B} \times \mathcal{B})$.

Definición de μ-PS

Complejo de Cadenas μ

• Cadenas μ-0: $f \in L^{\infty}(X,\mu)$
• Cadenas μ-1: $c \in L^{\infty}(X \times X, \mu \otimes \mu)$ y existe un conjunto de control medible $E_c$ tal que $\int_{X \times X \setminus E_c} |c| d\mu \otimes \mu = 0$

Operador de Frontera

Para una cadena μ-1 $c$, el operador de frontera se define como: $\partial c(x) = \int_X c(y,x) d\mu(y) - \int_X c(x,y) d\mu(y)$

Definición de μ-PS

Definición 4.2: Una cadena μ-1 $c$ es un μ-PS si y solo si su frontera $\partial c$ es efectiva, es decir:

• $\partial c \geq 0$ c.p.d. μ
• Existe un conjunto de control medible $E$ tal que $\int_{E_{x_0}} \partial c d\mu \geq 1$ para todo $x_0 \in X$

Puntos de Innovación Técnica

1. Concepto de medibilidad de medida: Distingue entre dos definiciones de medibilidad, eligiendo la versión compatible con espacios producto
2. Buena definición del operador de frontera: Asegura la existencia del operador de frontera mediante condiciones de σ-finitud
3. Generalización de equivalencia gruesa: Introduce condiciones de justificación efectiva de medida, haciendo que μ-PS sea invariante bajo equivalencia gruesa apropiada

Resultados Teóricos Principales

Teoremas Centrales

Teorema 6.3 (Resultado Principal): Sea $(X,\mathcal{E})$ un espacio grueso medible, μ una medida uniforme, y $(X,\mu)$ σ-finito.

1. Si $X$ tiene μ-PS y cuasired $\Lambda$, entonces $X$ tiene esquema de Ponzi
2. Si $X$ tiene esquema de Ponzi $\theta$ satisfaciendo $\text{supp}\theta \subset S \times S$ ($S$ uniformemente localmente finito), y existe un conjunto de control medible constante en $S$ respecto a μ, entonces $X$ tiene μ-PS

Aplicaciones a Teoría de Grupos

Corolario 6.4: Sea $\Gamma$ un grupo discreto actuando propia y cocompactamente en un espacio Hausdorff localmente compacto segundo-numerable $X$, y μ una medida regular $\Gamma$-invariante no nula. Entonces $\Gamma$ es no-amenable si y solo si el espacio grueso $(X, E_\Gamma^X)$ tiene μ-PS.

Ejemplos de Construcciones Concretas

μ-PS en el Plano Hiperbólico

Ejemplo 4.10: En el modelo de disco de Poincaré $D^2$, equipado con métrica $ds^2 = \frac{dx^2 + dy^2}{(1-x^2-y^2)^2}$ y medida $\mu = \frac{4dxdy}{(1-x^2-y^2)^2}$.

Función de construcción: