Проблема Вигольда и свободные произведения левоупорядочиваемых групп

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

• ID статьи: 2510.26073
• Название: The Wiegold problem and free products of left-orderable groups
• Авторы: Lvzhou Chen (Purdue University) и Yash Lodha (Purdue University)
• Классификация: math.GR (Теория групп), math.GT (Геометрическая топология)
• Дата публикации: 30 октября 2025 г. (препринт arXiv)
• Ссылка на статью: https://arxiv.org/abs/2510.26073

Аннотация

Нормальный ранг (normal rank) или вес (weight) группы, превышающий 1, означает, что ни один отдельный элемент не может нормально порождать эту группу. Проблема, поставленная Вигольдом в 1976 году, спрашивает, существуют ли конечно порождённые совершенные группы с нормальным рангом, превышающим 1. В данной статье доказано, что свободное произведение любых нетривиальных левоупорядочиваемых групп имеет нормальный ранг, больший 1, что решает проблему Вигольда путём рассмотрения свободного произведения конечно порождённых совершенных левоупорядочиваемых групп. Авторы получают оценки нормального ранга посредством топологических аргументов, доказывая спектральный разрыв для беззнакового варианта стабильной длины коммутатора. Ключевым элементом доказательства является искусное новое построение семейства левых порядков на свободном произведении двух левоупорядочиваемых групп.

Исследовательский контекст и мотивация

1. Основная проблема

Фундаментальное понятие в теории групп — нормальный ранг (normal rank) группы, определяемый как мощность минимального множества элементов, нормально порождающих группу. Для свободного произведения групп $G = A \star B$ долгое время остаётся открытым вопрос: при каких условиях нормальный ранг превышает 1?

2. Значимость проблемы

• Теоретическое значение: Проблема, поставленная Вигольдом в 1976 году (Problem FP14 в BMS02, Problem 5.52 в KM23), спрашивает, существуют ли конечно порождённые совершенные группы (perfect group — группа, равная своей коммутантной подгруппе) с нормальным рангом, превышающим 1. С момента постановки этой проблемы достигнут незначительный прогресс.
• Топологические приложения: Нормальный ранг тесно связан с топологией 3-многообразий. Нормальный ранг $\pi_1(M)$ является нижней границей числа Дена хирургии (Dehn surgery number) 3-многообразия $M$. Теорема Ликориша-Уоллеса утверждает, что любое замкнутое ориентированное связное 3-многообразие может быть получено посредством хирургии Дена на некотором $n$-компонентном зацеплении, где минимальное значение $n$ и есть число хирургии Дена.
• Связанные гипотезы:
  • Гипотеза Гордона: Для свободного произведения $G = \star_{i \in I} A_i$ с $|I| \geq 3$ нормальный ранг всегда превышает 1
  • Гипотеза Скотта-Вигольда: Специальный случай, когда множители — конечные циклические группы (доказано Хауи)
  • Гипотеза о сумме трёх: Число хирургии Дена связной суммы трёх 3-многообразий, не гомеоморфных $S^3$, превышает 1

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

• Для свободного произведения $G = A \star B$ кручение (torsion) может привести к нормальному рангу 1. Например, в $G = \mathbb{Z}/2 \star \mathbb{Z}/3$ элемент $w = ab$ нормально порождает всю группу.
• С 1980-х годов известные результаты требуют более сильного условия: каждый свободный множитель должен быть локально указуемым (locally indicable — каждая нетривиальная конечно порождённая подгруппа сюръективна на $\mathbb{Z}$). Однако такие группы не могут быть совершенными.
• Предполагается, что результат верен при условии отсутствия кручения (torsion-free), но отсутствуют методы доказательства.

4. Мотивация данной работы

Данная статья решает проблему при условии левоупорядочиваемости (left-orderable). Группа $G$ называется левоупорядочиваемой, если существует полный порядок $<$ такой, что $f < g$ влечёт $hf < hg$. Это условие:

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

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

1. Решение проблемы Вигольда: Доказано существование конечно порождённых (даже конечно представленных) совершенных групп с нормальным рангом, превышающим 1 (теорема A).
2. Оценки нормального ранга свободных произведений: Доказано, что нормальный ранг свободного произведения $G = A \star B$ любых нетривиальных левоупорядочиваемых групп превышает 1 (теорема B). Более точно, для любого $w \in G$, не сопряжённого в $A$, естественное вложение $A \hookrightarrow A \star B$ индуцирует инъекцию $A \hookrightarrow (A \star B)/\langle\langle w \rangle\rangle$.
3. Свойство спектрального разрыва: Установлено свойство спектрального разрыва для беззнакового варианта стабильной длины коммутатора (теорема C). Для граничной несжимаемой $w$-допустимой поверхности $S$ (без компонент, гомеоморфных 2-сфере или диску), имеет место $-\chi(S) \geq \deg(S)$.
4. Построение относительных укладок: Разработано понятие и теория существования относительных укладок (relative stacking) (теорема E) — искусный метод построения специальных левых порядков на свободных произведениях.
5. Метод динамических расположений: Введена техника динамических расположений (dynamical arrangements), систематически конструирующая групповые действия, удовлетворяющие специфическим уравнениям и неравенствам.

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

Постановка задачи

Цель: Доказать, что для свободного произведения $G = A \star B$ левоупорядочиваемых групп $A, B$, если $w \in G$ не сопряжён в $A$, то образ $A$ в факторгруппе $(A \star B)/\langle\langle w \rangle\rangle$ нетривиален.

Стратегия: Предположить, что существует $a \in A \setminus \{id\}$ такой, что $a \in \langle\langle w \rangle\rangle$, то есть существует уравнение: $a = (g_1 w^{n_1} g_1^{-1})(g_2 w^{n_2} g_2^{-1}) \cdots (g_k w^{n_k} g_k^{-1})$ где $k \in \mathbb{Z}^+$, $g_i \in G$, $n_i \neq 0$. Используя топологические и динамические системные методы, вывести противоречие.

Архитектура модели

Доказательство разделено на две основные части:

1. Топологический аргумент (теорема D)

Определение допустимой поверхности: Для заданного $w \in G$ отображение $f: S \to X$ (где $X$ — пространство типа $K(G,1)$) называется $w$-допустимой поверхностью, если:

• Каждая граничная компонента либо представляет класс сопряжённости $w^n$ ($n \neq 0$), либо класс сопряжённости в $A_i$
• Имеется по крайней мере одна $w$-граничная компонента

Степень: $w$-граничная компонента, представляющая $w^n$, имеет степень $|n|$; степень поверхности $S$ есть $\deg(S)$ — сумма степеней всех $w$-граничных компонент.

Граничная несжимаемость: Поверхность $(f,S)$ называется граничной сжимаемой, если существует вложенная подповерхность $P \subset S$, гомеоморфная трёхдырявой сфере (pair of pants), две граничные компоненты которой лежат на $w$-границе и представляют $w^n$ и $w^{-m}$, а третья компонента лежит внутри $S$ и представляет $w^{m-n}$.

Простая нормальная форма: Любая $w$-допустимая поверхность может быть приведена к простой нормальной форме — разложению в объединение дисковых кусков (disk-pieces) и кольцевых кусков (annulus-pieces). Каждый кусок $P$ имеет:

• Валентность $d(P)$ — число сегментов многоугольной границы
• Число изменений знака $sc(P)$ — количество согласованных сегментов (consistent segments)

Формула эйлеровой характеристики: Для поверхности $S$ в простой нормальной форме: $-\chi(S) = \sum_P \left[\frac{d(P)}{2} - \chi(P)\right]$

2. Динамический системный аргумент (теорема E)

Определение относительной укладки: Для циклически приведённого слова $w = a_1b_1 \cdots a_nb_n$ действие $\sigma: G \to \text{Homeo}^+(R)$ и точка $x \in \mathbb{R}$ образуют относительную укладку, если орбита $x$ под действием $w$$\Omega(w,x) = \{x \cdot \sigma(a_1b_1 \cdots a_ib_i) \mid 1 \leq i \leq n\} \cup \{x \cdot \sigma(a_1b_1 \cdots a_i) \mid 1 \leq i \leq n\}$ является стабильной, то есть:

1. Каждый элемент в $\Omega(w,x)$ появляется ровно один раз
2. $x \cdot \sigma(w) = x$

Существование: Для слова $w$, не являющегося собственной степенью (not a proper power), относительная укладка существует.

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

1. $\hat{\lambda}$-ориентация и изменения знака

Из относительной укладки получается оценка $\lambda: J_w \to \mathbb{R}$ (где $J_w$ — множество соединительных точек на $S^1_w$), которая отступает к граничным точкам поверхности, давая $\hat{\lambda}: J_S \to \mathbb{R}$. Это определяет $\hat{\lambda}$-ориентацию каждой дуги $\gamma \in F$.

Ключевая лемма 4.5: Общее число несогласованных сегментов (inconsistent segments) не менее $2\deg(S)$, поэтому общее число согласованных сегментов не превышает $(|w|-2)\deg(S)$.

Ключевая лемма 4.6: Для каждого куска $P$ число изменений знака $sc(P)$ чётно, и для дисковых кусков $sc(P) > 0$.

Следствие 4.7: $sc(P) \geq 2\chi(P)$.

2. Доказательство неравенства спектрального разрыва

Комбинируя приведённые выше леммы: $-\chi(S) = \sum_P \left[\frac{d(P)}{2} - \chi(P)\right] \geq \frac{1}{2}\sum_P [d(P) - sc(P)]$$\geq \frac{1}{2}[|w|\deg(S) - (|w|-2)\deg(S)] = \deg(S)$

3. Построение динамических расположений

Связанные интервалы (catenation): Упорядоченные кортежи $(I_1, J_1, \ldots, I_n, J_n)$, где каждый интервал имеет длину 2, концы лежат на $\mathbb{Z}$, удовлетворяющие специфическим условиям сопряжения.

Леммы 5.9 и 5.10: Для приведённого слова $w = a_1b_1 \cdots a_kb_k$ и связанных интервалов можно построить действие такое, что образ специфической точки под действием $w$ лежит в указанном диапазоне.

Систематическое решение: Посредством построения раздутия (blow-up) решение системы уравнений и неравенств сводится к построению действий, удовлетворяющих специфическим условиям включения и непересечения.

Лемма 5.3: Если конечные системы $\Lambda_1, \ldots, \Lambda_m$ каждая разрешима, то их комбинированная система $\Xi(\Lambda_1, \ldots, \Lambda_m)$ разрешима.

4. Доказательство существования относительной укладки

Предложение 5.5: Для не являющегося собственной степенью $w$ и любого собственного префикса $w_1$ существуют действие $\tau$ и точка $x$ такие, что $x \cdot \tau(w) = x$, но $x \cdot \tau(w_1) \neq x$.

Доказательство разделяется на два случая:

• Случай 1: $w_1 = a_1b_1 \cdots a_k$
• Случай 2: $w_1 = a_1b_1 \cdots a_kb_k$ (требует $b_k \neq b_n$, используется условие не собственной степени)

Посредством тщательно спроектированного динамического расположения строится замкнутый интервал $I$ такой, что $I \cdot \sigma(w) \subseteq I$, но $(I \cdot \sigma(w_1)) \cap I = \emptyset$; по теореме о промежуточном значении получается требуемая неподвижная точка.

Экспериментальная установка

Данная статья — чистая теоретическая работа по математике, не предусматривающая экспериментальную установку, наборы данных или численные эксперименты. Все результаты получены посредством строгого математического доказательства.

Экспериментальные результаты

Статья не содержит экспериментальных результатов; все выводы являются теоретическими теоремами.

Связанные работы

1. Результаты для локально указуемых групп

• Бродский (1984), Хауи (1981), Шорт (1983): Независимо доказали, что теорема B верна, когда каждый свободный множитель локально указуем. Однако локально указуемые группы не могут быть совершенными.

2. Аналогичные результаты для HNN-расширений

• Гипотеза Хауи (Кервэр-Лауденбах): Для $G = A \star \mathbb{Z}$, если $p(w) \neq 0$ (где $p: G \to \mathbb{Z}$ — проекция), то $w$ не нормально порождает $G$.
• Герстенхабер-Ротхаус (1962): Доказательство для остаточно конечных $A$
• Кляйчко (1993): Доказательство для без кручения $A$
• Чэнь (2025): Новый метод доказательства

3. Стабильная длина коммутатора

• Дункан-Хауи (1991): Проблема рода для произведений с одним соотношением
• Чэнь (2018), Чэнь-Хойер (2019), Хойер (2019): Спектральный разрыв scl в свободных произведениях и графах групп
• Данная работа изучает беззнаковый вариант степени, требующий более сильного условия левоупорядочиваемости

4. Топология 3-многообразий

• Гордон (1983): Гипотеза о числе хирургии Дена
• Окли (1997), Хом-Каракурт-Лидман (2016), Лю-Пиччирилло (2024): Оценки числа хирургии Дена
• Гипотеза L-пространства: Связь левоупорядочиваемости и фундаментальных групп 3-многообразий

5. Другие направления

• Озин-Том (2013): Связь нормального ранга с первым $l^2$-числом Бетти
• Монод-Озава-Том (2012): Версия проблемы Вигольда в irng

Заключение и обсуждение

Основные выводы

1. Теорема A: Существуют конечно порождённые (даже конечно представленные) совершенные группы с нормальным рангом, превышающим 1. Это полностью решает проблему Вигольда, поставленную в 1976 году.
2. Теорема B: Нормальный ранг свободного произведения $G = A \star B$ любых нетривиальных левоупорядочиваемых групп превышает 1.
3. Теорема C: Установлено свойство спектрального разрыва: для граничной несжимаемой $w$-допустимой поверхности $S$ (без компонент, гомеоморфных сфере или диску), $-\chi(S) \geq \deg(S)$.
4. Следствие 6.1: Если $u \in G = A \star B$ не сопряжён в $A$ или $B$ и не является собственной степенью, то для любого $k \geq 2$ образ $u$ в $G/\langle\langle u^k \rangle\rangle$ имеет порядок $k$.

Ограничения

1. Ограничения условий: Результаты требуют, чтобы свободные множители были левоупорядочиваемы. Хотя это охватывает широкие классы групп, остаются без покрытия некоторые без кручения группы.
2. Количество множителей: Теорема B рассматривает только два множителя. Для трёх и более множителей гипотеза Гордона остаётся открытой.
3. Проблема правой упорядочиваемости: Вопрос 6.2 спрашивает, является ли факторгруппа $G/\langle\langle w \rangle\rangle$ без кручения или правоупорядочиваемой (когда $w$ не собственная степень). Это решено Хауи (1982) в локально указуемом случае, но остаётся неизвестным в левоупорядочиваемом случае.
4. Конструктивность: Доказательство существования относительной укладки конструктивно, но процесс построения сложен и не легко реализуется явно.

Будущие направления

1. Вопрос 1.1: Является ли нормальный ранг свободного произведения $n$ нетривиальных левоупорядочиваемых групп по крайней мере $n$? Утвердительный ответ будет означать, что число хирургии Дена связной суммы $n$ 3-многообразий по крайней мере $n$.
2. Вопрос 6.2: Изучение без кручения и правоупорядочиваемости факторгруппы $G/\langle\langle w \rangle\rangle$ при предположении левоупорядочиваемости.
3. Обобщение на графы групп: Распространение методов относительной укладки и динамических расположений на более общие графы групп (graphs of groups).
4. Связь с $l^2$-числами Бетти: Исследование возможности гипотезы Озина-Тома в случае левоупорядочиваемых групп.
5. Вычислительные аспекты: Разработка алгоритмов для определения, нормально ли порождает данный элемент свободное произведение левоупорядочиваемых групп.

Глубокая оценка

Достоинства

1. Значительный прорыв: Решение проблемы, остававшейся открытой почти 50 лет (проблема Вигольда), представляет собой важный прогресс в теории групп.
2. Методологические инновации:
   • Концепция относительной укладки искусно преобразует алгебраическую проблему в проблему динамических систем
   • Техника динамических расположений предоставляет новый инструмент для систематического построения групповых действий
   • Совершенное сочетание топологических аргументов (оценки эйлеровой характеристики) с аргументами динамических систем (построение групповых действий)
3. Техническая глубина:
   • Введение $\hat{\lambda}$-ориентации и анализ числа изменений знака демонстрируют глубокие геометрические идеи
   • Методы раздутия и систематического решения (лемма 5.3) имеют универсальный характер
   • Тщательный анализ двух случаев (префиксы, заканчивающиеся в $A$ или $B$) свидетельствует о строгости
4. Широкое влияние:
   • Предоставляет многочисленные новые примеры совершенных групп с нормальным рангом, превышающим 1
   • Имеет прямые приложения к топологии 3-многообразий (число хирургии Дена)
   • Метод относительной укладки может быть применим к другим проблемам теории групп
5. Качество изложения: Статья имеет чёткую структуру, постепенно переходя от простых примеров (Example 5.8) к общему случаю, что облегчает понимание.

Недостатки

1. Техническая сложность:
   • Доказательство существования относительной укладки (раздел 5) содержит множество технических деталей, особенно в обработке случая 2
   • Построение динамических расположений требует тщательного проектирования связанных интервалов, что затрудняет интуитивное понимание
   • Некоторые леммы (например, лемма 4.3) имеют правильные, но весьма технические доказательства
2. Ограничения условий:
   • Левоупорядочиваемость — это промежуточное условие между без кручения и локально указуемым; в идеале желательно требовать только отсутствие кручения
   • Рассматривается только свободное произведение двух множителей; случай многих множителей остаётся открытым
3. Вычислимость:
   • Хотя построение теоретически конструктивно, не обсуждается, как практически вычислить или проверить, удовлетворяет ли данная группа условиям
   • Явное построение относительной укладки в конкретных примерах может быть чрезвычайно сложным
4. Обобщаемость:
   • Неясно, могут ли методы быть обобщены на HNN-расширения и более общие графы групп
   • Связь с версией стабильной длины коммутатора со знаком может быть исследована более тщательно

Влияние

1. Теоретическое значение:
   • Решение долгостоящей открытой проблемы будет цитироваться в учебниках по теории групп
   • Методы относительной укладки и динамических расположений могут стать стандартными инструментами при изучении групповых действий
   • Предоставляет новую перспективу на исследование нормального ранга
2. Прикладная ценность:
   • Прямой вклад в исследование числа хирургии Дена в топологии 3-многообразий
   • Может дать вдохновение для решения связанных проблем, таких как гипотеза L-пространства
   • Построенные примеры совершенных левоупорядочиваемых групп могут использоваться в других исследованиях
3. Воспроизводимость:
   • Доказательство полностью теоретическое и может быть пошагово проверено
   • Формулировки основных теорем ясны и легко цитируются
   • Технические детали, хотя сложные, полны

Области применения

1. Исследования в теории групп:
   • Изучение нормального ранга свободных произведений, HNN-расширений и графов групп
   • Построение групп с заданными свойствами
   • Исследование структурной теории левоупорядочиваемых групп
2. Геометрическая топология:
   • Оценка числа хирургии Дена 3-многообразий
   • Исследование L-пространств и левоупорядочиваемых фундаментальных групп
   • Анализ подгрупп поверхностей и групп с одним соотношением
3. Динамические системы:
   • Построение групповых действий с заданными динамическими свойствами
   • Изучение групп гомеоморфизмов вещественной прямой
   • Анализ взаимосвязи структур порядка и групповых действий
4. Комбинаторная теория групп:
   • Исследование систем уравнений и неравенств в группах
   • Анализ вариантов проблемы слова и проблемы сопряжённости
   • Построение контрпримеров и патологических примеров

Библиография

Статья цитирует обширную литературу; ключевые ссылки включают:

1. Проблема Вигольда: BMS02 Баумслаг-Мясников-Шпилрайн, KM23 Куровская тетрадь
2. Локально указуемые группы: Bro84 Бродский, How81 Хауи, Sho83 Шорт
3. Левоупорядочиваемые группы: DNR14 Дерен-Наваc-Ривас обзор, GS87 Гис-Сержиеску, HL19, HL25 Хайд-Лодха
4. Стабильная длина коммутатора: Cal09 Калегари, Che18, Che20, Che25 Чэнь, DH91 Дункан-Хауи
5. Топология 3-многообразий: Gor83 Гордон, LP24 Лю-Пиччирилло
6. Методы укладки: LW17 Лаудер-Уилтон, Mil21 Миллард

Резюме: Это высококачественная теоретическая статья, решающая важную открытую проблему, вводящая инновационные методы относительной укладки и динамических расположений, искусно объединяющие топологию, динамические системы и теорию групп. Несмотря на техническую сложность деталей, методы обладают универсальностью и глубиной, оказывая значительное влияние как на теорию групп, так и на геометрическую топологию. Основной вклад работы заключается не только в решении проблемы Вигольда, но и в разработке новых инструментов, потенциально применимых к более широкому спектру проблем.