Схемы Понци на грубых пространствах с равномерной мерой

Основная информация

• ID статьи: 2407.03837
• Название: Ponzi schemes on coarse spaces with uniform measure
• Автор: Shunsuke MIYAUCHI (Научно-исследовательский институт математических наук, Токийский университет)
• Классификация: math.GN (общая топология), math.GR (теория групп), math.MG (метрическая геометрия)
• Дата публикации: июль 2024 г., препринт arXiv
• Ссылка на статью: https://arxiv.org/abs/2407.03837

Аннотация

В данной работе исследуются схемы Понци, определённые Block-Weinberger (1992) и Roe (2003), которые дают характеризацию аменабельности с точки зрения грубой геометрии. Автор рассматривает меры на грубых пространствах и предлагает переформулировку схем Понци с мерой.

Научный контекст и мотивация

Основные проблемы

1. Ограничения классических схем Понци: традиционные схемы Понци определяются только с использованием грубой структуры и методов подсчёта, без теоретико-мерного подхода
2. Совершенствование характеризации аменабельности: необходимо переосмыслить концепцию аменабельности в грубой геометрии с точки зрения теории меры
3. Унификация теоретической базы: установить связь между схемами Понци и теорией меры

Значимость исследования

• Схемы Понци предоставляют важный инструмент для характеризации аменабельности групп с позиции грубой геометрии
• Теоретико-мерные методы могут раскрыть более глубокие геометрические структуры
• Имеет важное значение для понимания действий дискретных групп и грубой эквивалентности

Ограничения существующих методов

• Традиционные схемы Понци зависят от подсчёта равномерно локально конечных подмножеств
• Отсутствует органическое объединение с теорией пространств с мерой
• В некоторых случаях условия измеримости трудно проверить

Основные вклады

1. Введение концепции равномерной меры: определена равномерная мера на грубых пространствах, что создаёт основу для теоретико-мерных методов
2. Предложение концепции μ-PS: определены схемы Понци с равномерной мерой μ (μ-PS), обобщающие традиционные схемы Понци
3. Установление теорем эквивалентности: доказана эквивалентность между схемами Понци и μ-PS при надлежащих условиях
4. Характеризация аменабельности групп: дана полная характеризация аменабельности дискретных групп через существование μ-PS
5. Построение конкретных примеров: предоставлено явное построение μ-PS на гиперболической плоскости

Подробное описание методов

Основная теоретическая база

Грубые пространства и измеримые структуры

Автор сначала устанавливает рамки измеримых грубых пространств:

• Грубая структура: семейство подмножеств $\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$ п.в. μ
• существует измеримое контролирующее множество $E$ такое, что $\int_{E_{x_0}} \partial c d\mu \geq 1$ для всех $x_0 \in X$

Технические инновации

1. Концепция измеримости меры: различаются два определения измеримости, выбирается версия, совместимая с произведением пространств
2. Корректность граничного оператора: σ-конечность гарантирует существование граничного оператора
3. Обобщение грубой эквивалентности: введено условие эффективной обоснованности меры, обеспечивающее инвариантность μ-PS при надлежащей грубой эквивалентности

Основные теоретические результаты

Центральные теоремы

Теорема 6.3 (основной результат): Пусть $(X,\mathcal{E})$ — измеримое грубое пространство, μ — равномерная мера, $(X,\mu)$ — σ-конечно.

1. Если $X$ имеет μ-PS и квазирешётку $\Lambda$, то $X$ имеет схему Понци
2. Если $X$ имеет схему Понци $\theta$ с $\text{supp}\theta \subset S \times S$ ($S$ равномерно локально конечно) и существует измеримое контролирующее множество $E$, постоянное на $S$ относительно μ, то $X$ имеет μ-PS

Приложения к теории групп

Следствие 6.4: Пусть дискретная группа $\Gamma$ действует надлежащим и кокомпактным образом на локально компактном σ-компактном хаусдорфовом пространстве $X$, и μ — ненулевая регулярная $\Gamma$-инвариантная мера. Тогда $\Gamma$ неаменабельна тогда и только тогда, когда грубое пространство $(X, E_\Gamma^X)$ имеет μ-PS.

Конкретные примеры построения

μ-PS на гиперболической плоскости

Пример 4.10: На модели диска Пуанкаре $D^2$ с метрикой $ds^2 = \frac{dx^2 + dy^2}{(1-x^2-y^2)^2}$ и мерой $\mu = \frac{4dxdy}{(1-x^2-y^2)^2}$.

Конструируемая функция: