Ниже я буду говорить точнее об алгебре: добавление...

Ниже я буду говорить точнее об алгебре: добавление фермионных зарядов (6.8) к алгебре Пуанкаре даёт $D=4,\;N=1$ супер-алгебру Пуанкаре. Соответствующая супер-группа получается формальным экспоненцированием этой алгебры с антикоммутирующими спинорными параметрами. В статье заряды (6.8) выбраны как контурные интегралы двух взаимно локальных рамондовских токов левого сектора; затем физический спектр дополнительно ограничивается условием взаимной локальности с этими токами, что даёт левое GSO-условие (6.9). (2506.01068v8 (1).pdf)

---

1. Что нужно доказать

Обычная алгебра Пуанкаре в четырёхмерном пространстве-времени имеет генераторы

$$P_\mu,\qquad M_{\mu\nu}=-M_{\nu\mu},$$

где $P_\mu$ — трансляции, а $M_{\mu\nu}$ — преобразования Лоренца. Она задаётся соотношениями

$$[P_\mu,P_\nu]=0,$$ $$[M_{\mu\nu},P_\rho] = i\left(\eta_{\nu\rho}P_\mu-\eta_{\mu\rho}P_\nu\right),$$ $$[M_{\mu\nu},M_{\rho\sigma}] = i\left( \eta_{\mu\sigma}M_{\nu\rho} +\eta_{\nu\rho}M_{\mu\sigma} -\eta_{\mu\rho}M_{\nu\sigma} -\eta_{\nu\sigma}M_{\mu\rho} \right).$$

Нужно показать, что если добавить к этим генераторам спинорные заряды из (6.8),

$$Q_\sigma = \oint du\; \exp\left( -\frac12\varphi +i\vec\sigma\cdot \vec{\widetilde H} +\frac12 H^L_{\rm CY} \right),$$ $$Q_{\dot\sigma} = \oint du\; \exp\left( -\frac12\varphi +i\dot{\vec\sigma}\cdot \vec{\widetilde H} -\frac12 H^L_{\rm CY} \right),$$

то получаются дополнительные соотношения

$$[P_\mu,Q_\alpha]=0, \qquad [P_\mu,\bar Q_{\dot\alpha}]=0,$$ $$[M_{\mu\nu},Q_\alpha] = (\sigma_{\mu\nu})_\alpha{}^\beta Q_\beta,$$ $$[M_{\mu\nu},\bar Q_{\dot\alpha}] = (\bar\sigma_{\mu\nu})^{\dot\beta}{}_{\dot\alpha} \bar Q_{\dot\beta},$$

и главное антикоммутаторное соотношение

$$\{Q_\alpha,\bar Q_{\dot\beta}\} = 2\sigma^\mu_{\alpha\dot\beta}P_\mu,$$

при этом

$$\{Q_\alpha,Q_\beta\}=0, \qquad \{\bar Q_{\dot\alpha},\bar Q_{\dot\beta}\}=0.$$

Именно это и есть $D=4,\;N=1$ супер-Пуанкаре алгебра.

---

2. Почему заряды (6.8) являются спинорными суперзарядами

В левом секторе есть четыре пространственно-временные фермионные поля

$$\psi^\mu(z),\qquad \mu=0,1,2,3.$$

Они бозонизуются через два свободных бозона $\widetilde H_1,\widetilde H_2$:

$$\frac1{\sqrt2}(\pm\psi^0+\psi^1) = e^{\pm i\widetilde H_1},$$ $$\frac1{\sqrt2}(\psi^2\pm i\psi^3) = e^{\pm i\widetilde H_2}.$$

Поэтому спинорные поля пространства-времени можно записывать как экспоненты

$$S_{\vec\sigma}(z) = \exp\left(i\vec\sigma\cdot\vec{\widetilde H}\right),$$

где

$$\vec\sigma=(\sigma_1,\sigma_2), \qquad \sigma_a=\pm\frac12.$$

В статье используются два типа весов:

$$\sum_{a=1}^2\sigma_a=\pm1,$$

и

$$\sum_{a=1}^2\dot\sigma_a=0.$$

Первый тип соответствует недотированному четырёхмерному Weyl-спинору $Q_\alpha$, второй — дотированному Weyl-спинору $\bar Q_{\dot\alpha}$. Более явно можно выбрать базис

$$S_1=e^{\frac{i}{2}(\widetilde H_1+\widetilde H_2)}, \qquad S_2=e^{-\frac{i}{2}(\widetilde H_1+\widetilde H_2)},$$ $$\bar S_{\dot1}=e^{\frac{i}{2}(\widetilde H_1-\widetilde H_2)}, \qquad \bar S_{\dot2}=e^{\frac{i}{2}(-\widetilde H_1+\widetilde H_2)}.$$

Тогда заряды (6.8) можно переписать в более стандартной форме:

$$Q_\alpha = \oint dz\; j_\alpha(z), \qquad j_\alpha(z) = e^{-\varphi/2}S_\alpha(z)\Sigma_+(z),$$ $$\bar Q_{\dot\alpha} = \oint dz\; \bar j_{\dot\alpha}(z), \qquad \bar j_{\dot\alpha}(z) = e^{-\varphi/2}\bar S_{\dot\alpha}(z)\Sigma_-(z),$$

где

$$\Sigma_+(z)=e^{+\frac12H^L_{\rm CY}(z)}, \qquad \Sigma_-(z)=e^{-\frac12H^L_{\rm CY}(z)}.$$

Здесь $\Sigma_\pm$ — внутренние спектрально-потоковые, или Ramond, операторы CY-сектора.

---

3. Проверка размерности: почему можно интегрировать эти токи

Контурный интеграл

$$Q=\oint dz\; j(z)$$

задаёт заряд, если $j(z)$ — ток конформной размерности $1$. Проверим это.

Суперпризрак даёт

$$\Delta(e^{-\varphi/2})=\frac38.$$

Четырёхмерное спинорное поле имеет размерность

$$\Delta(S_\alpha)=\Delta(\bar S_{\dot\alpha})=\frac14.$$

Внутренний CY-сектор имеет центральный заряд

$$c_{\rm CY}=9.$$

Поэтому оператор спектрального потока на половину единицы имеет размерность

$$\Delta(\Sigma_\pm)=\frac{c_{\rm CY}}{24}=\frac{9}{24}=\frac38.$$

Суммарно

$$\Delta(j_\alpha) = \frac38+\frac14+\frac38 = 1.$$

То же верно для $\bar j_{\dot\alpha}$. Значит, заряды (6.8) действительно являются нулевыми модами размерностных единичных токов.

---

4. Действие группы Лоренца на спиноры

В четырёх измерениях группа Лоренца действует на Weyl-спиноры двух типов:

$$Q_\alpha, \qquad \bar Q_{\dot\alpha},$$

где

$$\alpha=1,2, \qquad \dot\alpha=\dot1,\dot2.$$

Недотированный спинор $Q_\alpha$ преобразуется в представлении $(\frac12,0)$, а дотированный $\bar Q_{\dot\alpha}$ — в представлении $(0,\frac12)$.

Введём матрицы

$$\sigma^\mu_{\alpha\dot\alpha}, \qquad \bar\sigma^{\mu\,\dot\alpha\alpha}.$$

В стандартных соглашениях можно взять

$$\sigma^\mu=(1,\vec\sigma_{\rm Pauli}), \qquad \bar\sigma^\mu=(1,-\vec\sigma_{\rm Pauli}).$$

Лоренцевы генераторы в спинорных представлениях определяются как

$$(\sigma^{\mu\nu})_\alpha{}^\beta = \frac14 \left( \sigma^\mu_{\alpha\dot\gamma} \bar\sigma^{\nu\,\dot\gamma\beta} - \sigma^\nu_{\alpha\dot\gamma} \bar\sigma^{\mu\,\dot\gamma\beta} \right),$$ $$(\bar\sigma^{\mu\nu})^{\dot\alpha}{}_{\dot\beta} = \frac14 \left( \bar\sigma^{\mu\,\dot\alpha\gamma} \sigma^\nu_{\gamma\dot\beta} - \bar\sigma^{\nu\,\dot\alpha\gamma} \sigma^\mu_{\gamma\dot\beta} \right).$$

Тогда infinitesimal-преобразования имеют вид

$$\delta Q_\alpha = \frac12\omega_{\mu\nu} (\sigma^{\mu\nu})_\alpha{}^\beta Q_\beta,$$ $$\delta \bar Q_{\dot\alpha} = \frac12\omega_{\mu\nu} (\bar\sigma^{\mu\nu})^{\dot\beta}{}_{\dot\alpha} \bar Q_{\dot\beta}.$$

В операторном виде это означает

$$[M_{\mu\nu},Q_\alpha] = (\sigma_{\mu\nu})_\alpha{}^\beta Q_\beta,$$ $$[M_{\mu\nu},\bar Q_{\dot\alpha}] = (\bar\sigma_{\mu\nu})^{\dot\beta}{}_{\dot\alpha} \bar Q_{\dot\beta}.$$

Почему это верно в данной CFT? Потому что $M_{\mu\nu}$ содержит фермионную часть

$$\Sigma_{\mu\nu}^{\rm ws}(z)\sim \psi_\mu\psi_\nu(z),$$

а её OPE со спинорным полем имеет стандартный вид

$$\Sigma_{\mu\nu}^{\rm ws}(z)S_\alpha(w) \sim \frac1{z-w} (\sigma_{\mu\nu})_\alpha{}^\beta S_\beta(w),$$ $$\Sigma_{\mu\nu}^{\rm ws}(z)\bar S_{\dot\alpha}(w) \sim \frac1{z-w} (\bar\sigma_{\mu\nu})^{\dot\beta}{}_{\dot\alpha} \bar S_{\dot\beta}(w).$$

При этом призрачный множитель $e^{-\varphi/2}$ и внутренние множители $\Sigma_\pm$ не несут четырёхмерных лоренцевых индексов, поэтому они являются лоренцевыми скалярами. Значит, весь ток $j_\alpha$ преобразуется как недотированный Weyl-спинор, а $\bar j_{\dot\alpha}$ — как дотированный Weyl-спинор.

---

5. Коммутатор с трансляциями

Трансляции пространства-времени задаются нулевыми модами импульса. В CFT их можно представлять током

$$P_\mu^{(0)} = \oint dz\; i\partial x_\mu(z),$$

с точностью до нормировки.

Но токи суперзарядов

$$j_\alpha=e^{-\varphi/2}S_\alpha\Sigma_+, \qquad \bar j_{\dot\alpha}=e^{-\varphi/2}\bar S_{\dot\alpha}\Sigma_-$$

не содержат множителя $e^{ip\cdot x}$ и не зависят от $x^\mu$. Поэтому их OPE с $\partial x^\mu$ не имеет полюса. Следовательно,

$$[P_\mu,Q_\alpha]=0, \qquad [P_\mu,\bar Q_{\dot\alpha}]=0.$$

Это ровно то, что должно быть в супер-Пуанкаре алгебре: суперзаряды являются глобальными зарядами, а не операторами с ненулевым пространственно-временным импульсом.

---

6. Главный шаг: антикоммутатор двух суперзарядов

Теперь нужно посчитать OPE токов

$$j_\alpha(z) = e^{-\varphi/2}S_\alpha(z)\Sigma_+(z),$$ $$\bar j_{\dot\beta}(w) = e^{-\varphi/2}\bar S_{\dot\beta}(w)\Sigma_-(w).$$

Произведение распадается на три независимые части:

$$j_\alpha(z)\bar j_{\dot\beta}(w) = \left[ e^{-\varphi/2}(z)e^{-\varphi/2}(w) \right] \left[ S_\alpha(z)\bar S_{\dot\beta}(w) \right] \left[ \Sigma_+(z)\Sigma_-(w) \right].$$

Для суперпризрака имеем

$$e^{-\varphi/2}(z)e^{-\varphi/2}(w) \sim (z-w)^{-1/4}e^{-\varphi}(w).$$

Для четырёхмерных спинорных полей

$$S_\alpha(z)\bar S_{\dot\beta}(w) \sim \sigma^\mu_{\alpha\dot\beta}\psi_\mu(w) +\ldots$$

А для внутренних Ramond-операторов CY-сектора

$$\Sigma_+(z)\Sigma_-(w) \sim (z-w)^{-3/4}\mathbf 1+\ldots$$

Перемножая три фактора, получаем

$$j_\alpha(z)\bar j_{\dot\beta}(w) \sim (z-w)^{-1} \sigma^\mu_{\alpha\dot\beta} e^{-\varphi}\psi_\mu(w) +\ldots$$

Именно простой полюс даёт антикоммутатор контурных интегралов:

$$\{Q_\alpha,\bar Q_{\dot\beta}\} = \sigma^\mu_{\alpha\dot\beta} \oint dw\; e^{-\varphi}\psi_\mu(w).$$

Оператор

$$\oint dw\; e^{-\varphi}\psi_\mu(w)$$

есть представление генератора трансляций в $(-1)$-картине. После picture-changing он эквивалентен обычному импульсу

$$P_\mu = \oint dw\; i\partial x_\mu(w).$$

Поэтому, с обычной нормировкой суперзарядов,

$$\boxed{ \{Q_\alpha,\bar Q_{\dot\beta}\} = 2\sigma^\mu_{\alpha\dot\beta}P_\mu }.$$

Это главное соотношение $N=1$ супер-Пуанкаре алгебры.

---

7. Почему $\{Q,Q\}=0$ и $\{\bar Q,\bar Q\}=0$

Теперь рассмотрим OPE двух одинаково-хиральных токов:

$$j_\alpha(z)j_\beta(w) = e^{-\varphi/2}S_\alpha\Sigma_+(z)\; e^{-\varphi/2}S_\beta\Sigma_+(w).$$

Внутренний множитель теперь имеет вид

$$\Sigma_+(z)\Sigma_+(w),$$

то есть произведение двух операторов одного и того же спектрального потока. Оно несёт ненулевой внутренний $U(1)$-заряд и не даёт оператора трансляции. В результате в OPE $j_\alpha(z)j_\beta(w)$ нет простого полюса, который мог бы дать новый бозонный генератор.

Следовательно,

$$\boxed{ \{Q_\alpha,Q_\beta\}=0 }.$$

Аналогично

$$\bar j_{\dot\alpha}(z)\bar j_{\dot\beta}(w)$$

не имеет простого полюса, соответствующего трансляции, поэтому

$$\boxed{ \{\bar Q_{\dot\alpha},\bar Q_{\dot\beta}\}=0 }.$$

---

8. Роль GSO-условия и взаимной локальности

Чтобы $Q_\alpha$ и $\bar Q_{\dot\alpha}$ действительно действовали на физическом пространстве состояний, их OPE с любым физическим левым вершинным оператором должен быть однозначным, то есть без ветвления.

Общий левый вершинный оператор в статье записывается в виде

$$V^L_{\vec\mu} = P(\ldots) \exp\left( q\varphi +i\lambda_a\widetilde H_a +i\sum_i S_iH_i +\vec p\cdot\vec X^- +\vec q\cdot\vec X^+ +ip_\mu x^\mu \right).$$

Его CY-заряд равен

$$Q^L_{\rm CY} = \sum_i S_i+\vec p\cdot\vec a^- -\vec q\cdot\vec a^+.$$

Взаимная локальность с токами суперзарядов даёт условие

$$\boxed{ q+\sum_a\lambda^a+Q^L_{\rm CY}\in 2\mathbb Z }.$$

Это и есть левое GSO-условие в данной конструкции. Оно отбирает именно те вершины, на которых суперзаряды действуют корректно.

Физически это означает следующее:

• $Q_\alpha$ и $\bar Q_{\dot\alpha}$ переводят NS-состояния в R-состояния;
• R-состояния переводятся обратно в NS-состояния;
• действие суперзарядов не выводит нас из пространства физических состояний;
• поэтому спектр организуется в $N=1$ суперmultiplets.

---

9. Итоговое замыкание алгебры

После добавления зарядов

$$Q_\alpha, \qquad \bar Q_{\dot\alpha}$$

к генераторам Пуанкаре

$$P_\mu, \qquad M_{\mu\nu},$$

получается система соотношений:

$$[P_\mu,P_\nu]=0,$$ $$[M_{\mu\nu},P_\rho] = i(\eta_{\nu\rho}P_\mu-\eta_{\mu\rho}P_\nu),$$ $$[M_{\mu\nu},M_{\rho\sigma}] = i( \eta_{\mu\sigma}M_{\nu\rho} +\eta_{\nu\rho}M_{\mu\sigma} -\eta_{\mu\rho}M_{\nu\sigma} -\eta_{\nu\sigma}M_{\mu\rho} ),$$ $$[P_\mu,Q_\alpha]=0, \qquad [P_\mu,\bar Q_{\dot\alpha}]=0,$$ $$[M_{\mu\nu},Q_\alpha] = (\sigma_{\mu\nu})_\alpha{}^\beta Q_\beta,$$ $$[M_{\mu\nu},\bar Q_{\dot\alpha}] = (\bar\sigma_{\mu\nu})^{\dot\beta}{}_{\dot\alpha} \bar Q_{\dot\beta},$$ $$\{Q_\alpha,Q_\beta\}=0,$$ $$\{\bar Q_{\dot\alpha},\bar Q_{\dot\beta}\}=0,$$ $$\boxed{ \{Q_\alpha,\bar Q_{\dot\beta}\} = 2\sigma^\mu_{\alpha\dot\beta}P_\mu }.$$

Это ровно $D=4,\;N=1$ супер-Пуанкаре алгебра.

---

10. Почему это именно $N=1$, а не $N=2$

В четырёх измерениях $N=1$ означает одну пару Weyl-суперзарядов:

$$Q_\alpha, \qquad \bar Q_{\dot\alpha}.$$

У каждого Weyl-спинора две комплексные компоненты, но $\bar Q_{\dot\alpha}$ является сопряжённым к $Q_\alpha$. Вещественно это даёт четыре суперзаряда.
В статье после анализа BRST- и Borisov-коhomology остаются четыре возможных Ramond-тока, но выбирается взаимно локальная пара

$$J^+_\sigma, \qquad J^-_{\dot\sigma},$$

и именно она используется в (6.8). Поэтому добавляется ровно одна пара четырёхмерных Weyl-суперзарядов, то есть получается $N=1$, а не расширенная $N>1$ суперсимметрия.
Как получается разложение S_\alpha\bar{S}{\tilde{\beta}}\sim \sigma^\mu\alpha\tilde{\beta}\psi_\mu и почему \sigma^\mu_\alpha\tilde{\beta} это гамма матрица. Можешь показать это явно, подробно и последовательно