2025-11-10T02:58:59.381108

Non-smoothable $\mathbb{Z}/p$-actions on nuclei

Montague
In this article we construct examples of non-smoothable $\mathbb{Z}/p$-actions on indefinite spin 4-manifolds with boundary for all primes $p\geq 5$. For example, we show that for each prime $p\geq 5$ and each $n\geq 1$ there exists a locally linear $\mathbb{Z}/p$-action on the Gompf nucleus $N(2pn)$ which is not smoothable with respect to any smooth structure on $N(2pn)$. Furthermore we investigate the behavior of these actions under two different types of equivariant stabilizations with $S^{2}\times S^{2}$, namely \emph{free} and \emph{homologically trivial} stabilizations -- in particular we show that our non-smoothable $\mathbb{Z}/p$-action on $N(2pn)$ remains non-smoothable after $2n-2$ free stabilizations, and after arbitrarily many homologically trivial stabilizations. We also show that free stabilizations satisfy a Wall stabilization principle in the sense that any non-smoothable $\mathbb{Z}/p$-action becomes smoothable after some finite number free stabilizations (under certain assumptions), whereas our aforementioned result implies that homologically trivial stabilizations do not satisfy this property. The proofs of these results use equivariant $κ$-invariants defined by the author in \cite{Mon22}, calculations of equivariant $η$-invariants for the odd signature and Dirac operators on Seifert-fibered spaces, as well as an analysis of the geometric $S^{1}$-action on the Seiberg-Witten moduli spaces of Seifert-fibered spaces induced by rotation in the fibers, which may be of independent interest.
academic

Неглаживаемые Z/p\mathbb{Z}/p-действия на ядрах

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

  • ID статьи: 2401.00244
  • Название: Non-smoothable Z/p\mathbb{Z}/p-actions on nuclei
  • Автор: Imogen Montague
  • Классификация: math.GT (геометрическая топология)
  • Дата подачи: 30 декабря 2023 г. на arXiv
  • Ссылка на статью: https://arxiv.org/abs/2401.00244

Аннотация

В данной работе построены примеры неглаживаемых Z/p\mathbb{Z}/p-действий для всех простых чисел p≥5p\geq 5 на неопределённых спинорных 4-многообразиях с краем. В частности, для каждого простого числа p≥5p\geq 5 и каждого n≥1n\geq 1 существует локально линейное Z/p\mathbb{Z}/p-действие на ядре Гомпфа N(2pn)N(2pn), которое не может быть сглажено ни при какой гладкой структуре на N(2pn)N(2pn). Кроме того, в статье исследуется поведение этих действий при двух различных типах эквивариантной стабилизации (свободной стабилизации и гомологически тривиальной стабилизации), доказано, что свободная стабилизация удовлетворяет принципу стабилизации Уолла, тогда как гомологически тривиальная стабилизация этим свойством не обладает.

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

Предпосылки проблемы

  1. Расширение классических результатов: Эдмондс доказал, что каждое замкнутое односвязное топологическое 4-многообразие допускает локально линейное Zp\mathbb{Z}_p-действие, однако не все такие действия являются гладкими. Киёно использовал неравенство Фурута 10/8 для доказательства неглаживаемости некоторых действий.
  2. Трудности в случае с краем: Для 4-многообразий с краем аналогичная версия результата Эдмондса неизвестна, что делает исследование этого случая более сложным.
  3. Значимость расслоений Зейферта: Расслоения Зейферта предоставляют важные примеры Zp\mathbb{Z}_p-действий, стандартное действие которых задаётся вращениями в слоях.

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

  1. Заполнение теоретических пробелов: В случае 4-многообразий с краем при b2(X)>0b_2(X) > 0 известно мало результатов, особенно для действий высокого порядка (p≥5p \geq 5).
  2. Исследование явлений стабилизации: Понимание поведения неглаживаемых действий при эквивариантной стабилизации имеет важное значение для понимания топологических свойств 4-многообразий.
  3. Принцип стабилизации Уолла: Исследование того, могут ли различные типы стабилизации превратить неглаживаемые действия в гладкие.

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

  1. Конструкция неглаживаемых действий: Для всех простых чисел p≥5p \geq 5 построены неглаживаемые Z/p\mathbb{Z}/p-действия на 4-многообразиях с непустым краем и b2(X)>0b_2(X) > 0.
  2. Анализ поведения при стабилизации: Доказано, что свободная стабилизация удовлетворяет принципу стабилизации Уолла, тогда как гомологически тривиальная стабилизация этим свойством не обладает.
  3. Применение эквивариантного инварианта κ\kappa: Использован эквивариантный инвариант κ\kappa, определённый автором в Mon22, для препятствия существованию гладких расширений.
  4. Геометрическое действие на пространстве модулей Зайберга-Виттена: Проанализировано геометрическое действие S1S^1-действия, индуцированного вращением слоёв на пространстве модулей Зайберга-Виттена расслоений Зейферта.

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

Основная техническая схема

1. Эквивариантный инвариант κ\kappa

Автор использует эквивариантный инвариант κ\kappa K(Y,s,σ)⊂QpK(Y,s,\sigma) \subset \mathbb{Q}_p, определённый в Mon22, связанный с Zp\mathbb{Z}_p-эквивариантными спинорными рациональными гомологическими сферами (Y,s,σ)(Y,s,\sigma).

2. Теория Зайберга-Виттена

Статья содержит глубокий анализ пространства модулей Зайберга-Виттена на расслоениях Зейферта, в частности того, как стандартное S1S^1-действие поднимается на неприводимые решения, основанные на пространстве модулей.

Ключевая теорема 2.1: Для линейного расслоения E=(e;ϵ1,…,ϵn)E = (e; \epsilon_1, \ldots, \epsilon_n) на расслоении Зейферта YY число вращения задаётся формулой: rot(E)=1ℓ(g−e+n−22−∑i=1n2ϵi+12αi)\text{rot}(E) = \frac{1}{\ell}\left(g - e + \frac{n-2}{2} - \sum_{i=1}^n \frac{2\epsilon_i + 1}{2\alpha_i}\right)

3. Эквивариантное относительное неравенство 10/8

Предложение 3.5: Если относительное неравенство 10/8 Манолеску является точным для (Y,s,X,t)(Y,s,X,t) и существуют по крайней мере два различных элемента κ,κ′∈Kπ(Y,s,σ)\kappa, \kappa' \in K_\pi(Y,s,\sigma), удовлетворяющих ∣κ∣=∣κ′∣=κ(Y,s)|\kappa| = |\kappa'| = \kappa(Y,s), то σ\sigma не может быть расширено до гладкого гомологически тривиального tt-сохраняющего Zp\mathbb{Z}_p-действия на XX.

Методы конструкции

1. Конструкция локально линейных действий

Использование методов Эдмондса и Квасика-Лоусона через следующие этапы:

  • Начало со стандартного локально линейного действия на замкнутом односвязном топологическом 4-многообразии
  • Конструкция эквивариантного гомологического кобордизма от (Y,ρp)(Y,\rho_p) к S3S^3, оснащённой действием обобщённого линзового пространства

2. Z[Zp]\mathbb{Z}[\mathbb{Z}_p] h-кобордизм

Предложение 4.10: Для p≥5p \geq 5 и всех n≥1n \geq 1 существует топологический Z[Zp]\mathbb{Z}[\mathbb{Z}_p] h-кобордизм от Q(p;2,3,12pn−1)Q(p; 2,3,12pn-1) к L(p;−2,3)L(p;-2,3).

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

Теорема 1.2 (Препятствие гладкому расширению)

Для следующих случаев эффективное гладкое Zp\mathbb{Z}_p-действие не может быть расширено до гомологически тривиального гладкого Zp\mathbb{Z}_p-действия:

  1. p≥3p \geq 3, XX гомеоморфно ядру Гомпфа N(2n)N(2n) или его стабилизации
  2. p≥3p \geq 3, XX гомеоморфно P(2n)P(2n) или его стабилизации
  3. p≥3,p≠5p \geq 3, p \neq 5, XX гомеоморфно слою Милнора M(2,3,11)M(2,3,11)
  4. p≥3p \geq 3, XX гомеоморфно слою Милнора M(2,3,7)M(2,3,7)

Теорема 1.6 (Поведение при стабилизации)

Для каждого простого числа p≥5p \geq 5 и n≥1n \geq 1 неглаживаемые Zp\mathbb{Z}_p-действия τp,n\tau_{p,n} и τp,n′\tau'_{p,n} остаются неглаживаемыми после MM гомологически тривиальных стабилизаций и NN свободных стабилизаций при M≥0M \geq 0 и 0≤N≤2n−20 \leq N \leq 2n-2.

Теорема 1.5 (Принцип стабилизации Уолла)

При надлежащих условиях существует N≥0N \geq 0 такое, что NN-кратная свободная стабилизация τN\tau_N является гладкой относительно некоторой гладкой структуры на стабилизированном многообразии.

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

1. Вычисление чисел вращения

Статья предоставляет явную формулу для чисел вращения решений Зайберга-Виттена на расслоениях Зейферта, что имеет решающее значение для понимания геометрических S1S^1-действий.

2. Вычисление эквивариантных поправочных членов

Предложение 5.3: Даёт явную формулу для эквивариантного поправочного члена nL(Y,ρ^r,g,∇∞)n_L(Y,\hat{\rho}_r,g,\nabla_\infty), включающую суммы Дедекинда и суммы Дедекинда-Радемахера.

3. Инвариантность при стабилизации

Лемма 5.1: Доказывает инвариантность S⃗(X,τ)\vec{S}(X,\tau) при гомологически тривиальной и свободной стабилизациях.

Экспериментальная верификация

Конкретные примеры вычислений

Статья предоставляет конкретные вычисления эквивариантных инвариантов κ\kappa для семейства сфер Бриескорна Σ(2,3,6n±1)\Sigma(2,3,6n \pm 1):

Предложение 3.2: Для Σ(2,3,12n−5)\Sigma(2,3,12n-5) и Σ(2,3,12n−1)\Sigma(2,3,12n-1) даётся полное описание множества эквивариантных инвариантов κ\kappa, включая:

  • Случай одноточечного множества, когда (Y,ρp)(Y,\rho_p) является расщепляемым по Флоэру KGp∗K\mathcal{G}_p^*
  • Множества с несколькими элементами в нерасщепляемом случае

Численные результаты

Предложение 5.5: Для всех простых чисел p≥5p \geq 5 и n≥1n \geq 1:

\frac{p^2 \mp 14p + 13}{144p} & \text{если } p \equiv \pm 1 \pmod{12} \\ \frac{p^2 \pm 50p + 13}{144p} & \text{если } p \equiv \pm 5 \pmod{12} \end{cases}$$ ## Связанные работы ### Историческое развитие 1. **Эдмондс (1987)**: Доказал существование локально линейных $\mathbb{Z}_p$-действий на замкнутых односвязных топологических 4-многообразиях 2. **Киёно (2011)**: Использовал неравенство Фурута для доказательства неглаживаемости некоторых действий 3. **Конно-Миядзава-Танигути (2021)**: Исследовали неглаживаемые инволюции в случае $p=2$ ### Связанные методы 1. **Баралья-Хекмати (2022)**: Доказали, что стандартные $\mathbb{Z}_p$-действия на гомологических сферах Зейферта не могут быть расширены на некоторые 4-многообразия 2. **Анвари-Хамблтон (2016)**: Предоставили примеры неглаживаемых действий на стягиваемых 4-многообразиях ## Заключение и обсуждение ### Основные выводы 1. Для всех простых чисел $p \geq 5$ построены неглаживаемые $\mathbb{Z}/p$-действия на 4-многообразиях с краем 2. Доказано, что гомологически тривиальная стабилизация не удовлетворяет принципу стабилизации Уолла 3. Свободная стабилизация удовлетворяет принципу стабилизации Уолла, но число стабилизаций может быть произвольно большим ### Ограничения 1. **Исключительные случаи**: Исключительный случай $(n,p) = (1,5)$ требует специальной обработки 2. **Вычислительная сложность**: Вычисление эквивариантных поправочных членов включает сложные теоретико-числовые суммирования 3. **Граничные условия**: Методы в основном применимы к 4-многообразиям со специфическими типами границ Зейферта ### Направления будущих исследований 1. **Общий случай с краем**: Исследование неглаживаемых действий на 4-многообразиях с более общими границами 2. **Низкие простые числа**: Расширение на случаи $p = 2, 3$ 3. **Расширение приложений**: Применение методов к другим геометрическим задачам ## Глубокая оценка ### Преимущества 1. **Техническая глубина**: Искусное сочетание теории Зайберга-Виттена, эквивариантной K-теории и топологии 4-многообразий 2. **Полнота**: Предоставляет полную схему от теоретических конструкций до конкретных вычислений 3. **Инновативность**: Первое систематическое исследование поведения действий групп высокого порядка при стабилизации 4. **Вычислительная точность**: Даёт конкретные численные формулы и методы вычисления ### Недостатки 1. **Высокий технический уровень**: Требует глубокого фона в дифференциальной топологии и калибровочной теории 2. **Специфичность**: Результаты в основном ограничены случаями с границами Зейферта 3. **Вычислительная сложность**: Практическое применение требует очень сложных вычислений ### Влияние 1. **Теоретический вклад**: Предоставляет новые инструменты для исследования действий групп на 4-многообразиях 2. **Методология**: Применение эквивариантного инварианта $\kappa$ имеет широкие перспективы 3. **Решение проблем**: Решает важную открытую проблему в этой области ### Области применения Данный метод особенно применим к: 1. Исследованию действий групп на 4-многообразиях с границами Зейферта 2. Анализу проблем гладкости топологических 4-многообразий 3. Пониманию явлений эквивариантной стабилизации ## Библиография Статья цитирует 42 связанные работы, охватывающие важные результаты в топологии 4-многообразий, теории Зайберга-Виттена, действиях групп и других областях, обеспечивая прочную теоретическую основу для исследования.