Неинвертируемая скрученная компактификация теории класса $\mathcal S$ и $(B,B,B)$-браны

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

• ID статьи: 2412.06729
• Название: Non-invertible twisted compactification of class $\mathcal S$ theory and $(B,B,B)$ branes
• Автор: Янькун Ма (Университет Сунь Ятсена)
• Классификация: hep-th (Теоретическая физика высоких энергий)
• Дата подачи: Декабрь 2024
• Ссылка на статью: https://arxiv.org/abs/2412.06729

Аннотация

В данной работе исследуется неинвертируемая скрученная компактификация теории класса $\mathcal S$ на $S^1$: вставляется неинвертируемый дефект симметрии, протяжённый вдоль остальных направлений, а затем проводится компактификация на $S^1$. Показано, что полученная трёхмерная теория представляет собой трёхмерную $\mathcal N=4$ сигма-модель, целевое пространство которой является гиперкэлеровым подмногообразием пространства модулей Хитчина, то есть $(B,B,B)$-браной. Данная $(B,B,B)$-брана является множеством неподвижных точек конечной подгруппы группы отображений Римановой поверхности, действующей на пространстве модулей Хитчина. В работе $(B,B,B)$-брана описывается как аффинное многообразие, и вычисляются конкретные примеры для теории класса $\mathcal S$ типа $A_1$ рода 2.

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

Проблемный контекст

1. Развитие обобщённых глобальных симметрий: В последние годы исследование обобщённых глобальных симметрий в квантовой теории поля активно развивается, где симметрии понимаются как топологические дефекты. Неинвертируемые симметрии как важный класс обобщённых симметрий изучались в двумерной конформной теории поля в течение десятилетий, однако их исследование в высокомерных квантовых теориях поля является относительно новым.
2. Значимость теории класса S: Теория класса S представляет собой четырёхмерную $\mathcal N=2$ SCFT, полученную компактификацией шестимерной $\mathcal N=(2,0)$ SCFT на отмеченную Риманову поверхность. Такие теории обладают богатой структурой дуальных групп и предоставляют идеальную платформу для исследования неинвертируемых симметрий.
3. Физический смысл скрученной компактификации: Традиционная скрученная компактификация порождает новые низкомерные теории путём наложения скрученных граничных условий на компактифицирующий круг. Неинвертируемая скрученная компактификация обобщает эту концепцию на случай неинвертируемых дефектов симметрии.

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

• Исследовать, как неинвертируемые симметрии влияют на поведение компактификации теории
• Понять геометрическую структуру полученной трёхмерной теории
• Установить связь между неинвертируемыми симметриями и геометрией пространства модулей Хитчина
• Предоставить новую физическую реализацию и математическое описание $(B,B,B)$-бран

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

1. Установлено соответствие между неинвертируемой скрученной компактификацией и $(B,B,B)$-бранами: Доказано, что трёхмерная теория, полученная неинвертируемой скрученной компактификацией теории класса S, является $\mathcal N=4$ сигма-моделью с целевым пространством $(B,B,B)$-браны.
2. Дано групповое описание $(B,B,B)$-бран: Доказано, что $(B,B,B)$-брана является множеством неподвижных точек конечной подгруппы группы отображений, действующей на пространстве модулей Хитчина.
3. Предоставлено описание $(B,B,B)$-бран как аффинных многообразий: Впервые в математической литературе даны конкретные описания таких $(B,B,B)$-бран как аффинных многообразий.
4. Вычислены конкретные примеры: Детально вычислены $(B,B,B)$-браны для случая типа $A_1$ рода 2, демонстрирующие богатую геометрическую и алгебраическую структуру.

Методологические подробности

Конструкция неинвертируемых симметрий

Конструкция неинвертируемого самодуального дефекта следует следующим этапам:

1. Дуальное действие: Для семейства теорий $T_\rho(x)$, где $x$ параметризует конформное многообразие, дуальная группа $\Gamma$ действует через топологические интерфейсы: $S: T_\rho(x) \mapsto T_{S\cdot\rho}(S\cdot x)$
2. Топологические операции: Введение топологических операций, изменяющих только глобальную структуру: $\sigma: T_\rho(x) \mapsto T_{\sigma\cdot\rho}(x)$
3. Неинвертируемый дефект: Комбинация, дающая новый топологический интерфейс: $N := \sigma S$
4. Условие самодуальности: Выбор самодуальной точки $S\cdot x = x$ и $\sigma S\cdot \rho = \rho$, делающий $N$ дефектом симметрии.

Глобальная структура теории класса S

Глобальная структура теории класса S характеризуется парой лагранжевых подрешёток $(L,L^\perp) \subset H^1(\Sigma_{g,0}, \mathbb{Z}_N)$, где:

• $L \oplus L^\perp = H^1(\Sigma_{g,0}, \mathbb{Z}_N)$
• Симплектическое спаривание задаётся как $\langle u_i, u_j \rangle = J_{ij}$, где $J = \begin{pmatrix} 0 & -1_{g \times g} \\ 1_{g \times g} & 0 \end{pmatrix}$

Действие топологических операций и дуальных действий на глобальную структуру: $M \rightarrow FMG$ где $F \in \text{Sp}(2g,\mathbb{Z})$ — дуальное действие, $G \in \text{Sp}(2g,\mathbb{Z}_N)$ — топологическая операция.

Неинвертируемая скрученная компактификация

Ключевые этапы неинвертируемой скрученной компактификации:

1. Вставка дефекта: Вставка неинвертируемого дефекта симметрии $N$ на $S^1$
2. Условия ограничения: Конфигурации полей должны удовлетворять $N \cdot p = p$
3. Пространство модулей: Пространство вакуумов трёхмерной теории: $M' = \{p \in M | N \cdot p = p\}$ где $M = M_H(\tilde{G}, \Sigma_g)/L$ — пространство модулей прямой компактификации.

Геометрические свойства $(B,B,B)$-бран

Используя теорему реализации Нильсена и известную теорию $(B,B,B)$-бран:

Теорема: Для Римановой поверхности рода $g \geq 2$ и конечной группы $\Gamma$, действующей на ней, множество неподвижных точек действия $\Gamma$ на пространстве модулей Хитчина является $(B,B,B)$-браной.

Комбинируя с теоремой реализации Нильсена, конечные подгруппы группы отображений эквивалентны:

1. Наличию неподвижных точек в пространстве Тейхмюллера
2. Возможности реализации как автоморфизмов поверхности

Следовательно, целевое пространство неинвертируемой скрученной компактификации действительно является $(B,B,B)$-браной.

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

Конкретные вычисления: случай $A_1$ рода 2

Описание характеристического многообразия в координатах петель

Для характеристического многообразия $\text{SL}(2,\mathbb{C})$ используются 15 координат петель: $(z_1, z_2, z_3, z_4, z_5, z_6, z_{12}, z_{23}, z_{34}, z_{45}, z_{56}, z_{61}, z_{123}, z_{234}, z_{345})$

Эти координаты задаются следами образующих фундаментальной группы:

• $z_1 = \text{tr}(Y_1)$, $z_2 = \text{tr}(X_1)$, и т.д.

Соотношения ограничения

Характеристическое многообразие определяется 19 полиномиальными соотношениями, включая:

• Циклические соотношения: $z_{i+2}z_{i+4} + z_{i+3}z_{i+2,i+3,i+4} - z_{i+2,i+3}z_{i+3,i+4} - 2z_i = 0$
• Сложные четвёртого порядка соотношения и т.д.

Действие группы отображений

Действие образующих группы отображений $\text{MCG}(\Sigma_2) = \text{Sp}(4,\mathbb{Z})$ элементов $I$ и $d_1$ на координатах петель:

Действие $I$ (элемент порядка 6): $z_1 \mapsto z_2 \mapsto z_3 \mapsto z_4 \mapsto z_5 \mapsto z_6 \mapsto z_1$

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

Классификация неподвижных точек

Согласно Таблице 1, неподвижные точки в случае рода 2 классифицируются по комплексной размерности:

1. Комплексная размерность 0 (изолированные точки):
   • Группа порядка 10: $\Omega = \begin{pmatrix} \varepsilon & \varepsilon + \varepsilon^{-2} \\ \varepsilon + \varepsilon^{-2} & -\varepsilon^{-1} \end{pmatrix}$
   • Различные случаи групп порядков 24, 32, 48, 72
2. Комплексная размерность 1 (кривые):
   • Случаи групп порядков 8, 12, включающие диагональные и недиагональные формы
3. Комплексная размерность 2 (поверхности):
   • Случаи групп порядка 4, в основном диагональные и перестановочные симметрии

Описание $(B,B,B)$-бран как аффинных многообразий

На примере подгруппы $\mathbb{Z}_6$, порождённой $I$, множество неподвижных точек определяется условиями: