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.
- 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
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.
- 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
- 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
- Unificación del marco teórico: Establecer un puente entre esquemas de Ponzi y teoría de medida
- 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
- 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
- Introducción del concepto de medida uniforme: Define medida uniforme en espacios gruesos, sentando las bases para métodos de teoría de medida
- Proposición del concepto μ-PS: Define esquemas de Ponzi con medida uniforme μ (μ-PS), generalizando esquemas de Ponzi tradicionales
- Establecimiento de teoremas de equivalencia: Prueba relaciones de equivalencia entre esquemas de Ponzi y μ-PS bajo condiciones apropiadas
- Caracterización de amenabilidad de grupos: Proporciona una caracterización completa entre amenabilidad de grupos discretos y existencia de μ-PS
- Construcción de ejemplos concretos: Proporciona construcciones explícitas de μ-PS en el plano hiperbólico
El autor primero establece el marco de espacios gruesos medibles:
- Estructura gruesa: Familia de subconjuntos E⊂P(X×X) satisfaciendo cinco axiomas
- Conjuntos de control medibles: E∈E∩(B×B), donde B es una σ-álgebra
- Estructura gruesa medible: Para todo E∈E, existe un conjunto de control medible que lo contiene
Definición 3.6: Una medida μ es uniforme respecto a un espacio grueso medible E si:
supx∈Xμ(Ex)<∞
se cumple para todos los conjuntos de control medibles E∈E∩(B×B).
- Cadenas μ-0: f∈L∞(X,μ)
- Cadenas μ-1: c∈L∞(X×X,μ⊗μ) y existe un conjunto de control medible Ec tal que ∫X×X∖Ec∣c∣dμ⊗μ=0
Para una cadena μ-1 c, el operador de frontera se define como:
∂c(x)=∫Xc(y,x)dμ(y)−∫Xc(x,y)dμ(y)
Definición 4.2: Una cadena μ-1 c es un μ-PS si y solo si su frontera ∂c es efectiva, es decir:
- ∂c≥0 c.p.d. μ
- Existe un conjunto de control medible E tal que ∫Ex0∂cdμ≥1 para todo x0∈X
- Concepto de medibilidad de medida: Distingue entre dos definiciones de medibilidad, eligiendo la versión compatible con espacios producto
- Buena definición del operador de frontera: Asegura la existencia del operador de frontera mediante condiciones de σ-finitud
- Generalización de equivalencia gruesa: Introduce condiciones de justificación efectiva de medida, haciendo que μ-PS sea invariante bajo equivalencia gruesa apropiada
Teorema 6.3 (Resultado Principal): Sea (X,E) un espacio grueso medible, μ una medida uniforme, y (X,μ) σ-finito.
- Si X tiene μ-PS y cuasired Λ, entonces X tiene esquema de Ponzi
- Si X tiene esquema de Ponzi θ satisfaciendo suppθ⊂S×S (S uniformemente localmente finito), y existe un conjunto de control medible constante en S respecto a μ, entonces X tiene μ-PS
Corolario 6.4: Sea Γ un grupo discreto actuando propia y cocompactamente en un espacio Hausdorff localmente compacto segundo-numerable X, y μ una medida regular Γ-invariante no nula. Entonces Γ es no-amenable si y solo si el espacio grueso (X,EΓX) tiene μ-PS.
Ejemplo 4.10: En el modelo de disco de Poincaré D2, equipado con métrica ds2=(1−x2−y2)2dx2+dy2 y medida μ=(1−x2−y2)24dxdy.
Función de construcción:
undefined