Об интегральной жесткости в теории Зайберга-Виттена

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

• ID статьи: 2409.17884
• Название: On integral rigidity in Seiberg-Witten theory
• Авторы: Francesco Lin, Mike Miller Eismeier
• Классификация: math.GT (геометрическая топология)
• Дата публикации: сентябрь 2024
• Ссылка на статью: https://arxiv.org/abs/2409.17884

Аннотация

В данной работе предлагается методологический подход для доказательства результатов интегральной жесткости инвариантов Зайберга-Виттена замкнутого четырёхмерного многообразия $X$, содержащего несепарирующую гиперповерхность $Y$, удовлетворяющую надлежащим условиям теории Флоера на цепном уровне. В качестве конкретного приложения авторы доказывают, что если $X$ имеет гомологию четырёхтора и содержит несепарирующий трёхтор, то сумма всех инвариантов Зайберга-Виттена многообразия $X$ полностью определяется когомологическими членами. Эти результаты можно интерпретировать как $(3+1)$-мерную версию подхода Дональдсона ТКВТ к формуле Менга-Таубса, основанную на тонком взаимодействии между неприводимыми решениями уравнений Зайберга-Виттена на $X$ и приводимыми решениями на $Y$ и её дополнении.

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

1. Центральная проблема: Инварианты Зайберга-Виттена являются фундаментальным инструментом четырёхмерной топологии, однако в настоящее время отсутствует общий методологический подход к вычислению этих инвариантов, и остаётся неясным, какие ограничения должны удовлетворять эти инварианты.
2. Значимость: Понимание ограничений на инварианты Зайберга-Виттена имеет решающее значение для классификации и изучения четырёхмерных многообразий. Предыдущие работы сосредоточивались главным образом на "результатах жесткости по модулю 2", тогда как данная работа стремится к более сильным результатам интегральной жесткости.
3. Ограничения существующих методов:
   • Предыдущие результаты жесткости были в основном результатами по модулю 2, опирающимися на симметрию Pin(2) спинорных многообразий
   • Отсутствует эффективный методологический подход к вычислению инвариантов Зайберга-Виттена для общих четырёхмерных многообразий
   • Результаты в случае сепарирующих гиперповерхностей относительно просты, несепарирующий случай представляет большую сложность
4. Исследовательская мотивация: Авторы стремятся установить единый методологический подход к обработке инвариантов Зайберга-Виттена четырёхмерных многообразий, содержащих несепарирующие гиперповерхности, в частности, получить результаты жесткости на интегральном уровне.

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

1. Установление новой теоретической базы: Введено понятие RSF-пространств (Reducible Strictly Filtered spaces), предоставляющее инструменты теории Флоера на цепном уровне для обработки несепарирующих гиперповерхностей.
2. Доказательство теорем интегральной жесткости:
   • Теорема A: Для гомологичного четырёхтора, содержащего несепарирующий трёхтор, сумма инвариантов Зайберга-Виттена имеет явную когомологическую формулу
   • Теорема B: Более общий результат жесткости для четырёхмерных многообразий, содержащих несепарирующий трёхтор
   • Теорема C: Общий результат жесткости для четырёхмерных многообразий, содержащих RSF-пространство в качестве несепарирующей гиперповерхности
3. Предоставление явных формул вычисления: Даны явные формулы для случая гомологичного четырёхтора: $m(X) = \pm \det(X) \cdot \#|H^2(T^3)/\text{Im}(H^2(X) \to H^2(T^3))|$
4. Установление связи с ТКВТ Дональдсона: Результаты интерпретируются как обобщение $(2+1)$-мерного подхода ТКВТ Дональдсона на $(3+1)$-мерный случай.

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

Определение ключевых понятий

Определение RSF-пространства: Скрученное спинорное трёхмерное многообразие $(Y,s_Y)$ называется RSF-пространством, если существуют регулярные метрика и возмущение такие, что:

1. Существуют только приводимые решения Зайберга-Виттена
2. Отображение $B_u^s$ является строго фильтрованным относительно $U$-фильтрации
3. Комплекс $\overline{C}_*(Y,s)$ совпадает с соответствующим комплексом Морса

Техническая архитектура

1. Формула самосклеивания: Установлена формула склеивания для несепарирующего случая, связывающая инварианты Зайберга-Виттена на четырёхмерном многообразии со следом индуцированного отображения его дополнения: $m(X,s_W,[\bar{\nu}]) = \text{Tr}(\overline{HM}_\bullet(W,s_W;\Gamma_\nu))$
2. Описание отображений отрицательно определённого кобордизма: Дано явное описание ассоциированного градуированного отображения, индуцированного отрицательно определённым кобордизмом $W$: $\bar{m}_* = m_{W,\nu}U^d + m_2U^{d-1} + m_4U^{d-2} + \cdots$
3. Анализ фильтрации: Используется спектральная последовательность $U$-фильтрации для упрощения сложных вычислений калибровочной теории до вычислений теории Морса.

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

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

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

Теорема A (случай гомологичного четырёхтора)

Для гомологичного четырёхтора $X$, содержащего несепарирующий трёхтор, если $X$ допускает спинорную структуру $\text{spin}^c$, ограничивающуюся на $T^3$ до единственной скрученной структуры, то: $m(X) = \pm \det(X) \cdot \#|H^2(T^3)/\text{Im}(H^2(X) \to H^2(T^3))|$

Теорема B (общий случай трёхтора)

Пусть $X$ — замкнутое ориентированное связное четырёхмерное многообразие, содержащее несепарирующий трёхтор $T^3$, с $b^+(X) \geq 2$. Тогда сумма всех инвариантов Зайберга-Виттена удовлетворяет: