---
title: 'Diagonal Supersymmetry: Theory and Applications'
url: https://www.emergentmind.com/topics/diagonal-supersymmetry
type: topic
---

# Diagonal Supersymmetry: Theory and Applications

Diagonal supersymmetry is a technical term with more than one established meaning in the recent literature. In one usage, developed for D-instanton wormholes in type IIB supergravity, it denotes the supersymmetry transformations acting on the diagonal Grassmann coordinates of individual D-instantons, with the corresponding fermions identified as Nambu–Goldstone modes of broken local ten-dimensional supersymmetry [2604.14508]. In another usage, developed for bosonic–fermionic coinvariant rings, it denotes a structural \(U(\mathfrak{gl}(k|j))\)-symmetry of diagonally \(G\)-equivariant superalgebras and the resulting super-Schur decomposition that proves Bergeron’s conjecture for the symmetric group [2505.14885]. A related but distinct body of work on supersymmetric integrable chains uses “diagonal” for boundary \(K\)-matrices and for transfer-matrix diagonalization, rather than for “Diagonal Supersymmetry” as a named construction [1211.2912].

## 1. Terminological range

In the cited works, “diagonal supersymmetry” is not a single universal construction. It appears as a bulk–boundary zero-mode mechanism in D-instanton physics and as a representation-theoretic symmetry principle in coinvariant-ring theory. By contrast, the integrable-model literature cited here studies supersymmetry with diagonal boundary data, but the diagonality there concerns the reflection matrices and the transfer matrix rather than the specific term “Diagonal Supersymmetry” [1211.2912].

| Setting | Diagonal object | Supersymmetry content |
|---|---|---|
| D-instanton wormholes | Diagonal Grassmann coordinates \(\Theta_i\) | Broken local supersymmetry yields boundary fermionic zero-modes |
| Bosonic–fermionic coinvariant rings | Diagonal \(G\)-action on each copy of \(V\) | Natural \(U(\mathfrak{gl}(k|j)) \otimes \mathbb{C}[G]\)-module structure |
| Open supersymmetric chains with a boundary | Diagonal solutions \(K^\pm(u)\) | \(U_q(\hat{sl}(M+1|N+1))\) symmetry and transfer-matrix diagonalization |

A common misconception is to treat these usages as formally identical. The available results do not support that identification. The D-instanton construction is formulated in terms of broken local supersymmetry, supercurrents, and cylinder amplitudes, whereas the coinvariant-ring construction is formulated in terms of superalgebras, super-Schur functions, and \(G\)-module decompositions. The shared adjective “diagonal” refers to different mathematical structures in the two cases.

## 2. D-instanton wormholes and the definition of diagonal supersymmetry

In the 0-dimensional super Yang–Mills description of a collection of D-instantons, one separates the \(U(N)\) matrices into their diagonal entries and their off-diagonal fluctuations. The diagonal entries encode the individual instanton coordinates and their fermionic superpartners, while the off-diagonal fluctuations describe the string states stretching between different instantons. In this setting, “diagonal supersymmetry” refers to the supersymmetry transformations which act on the diagonal Grassmann coordinates alone [2604.14508].

In the closed-string, low-energy IIB supergravity description, these diagonal fermions arise from the Nambu–Goldstone modes of local ten-dimensional supersymmetry that is spontaneously broken by the classical D-instanton background. Geometrically, the classical D-instanton solution in the IIB supergravity dilaton–axion sector takes the form
\[
e^{\phi_c}(x)\;=\;\sum_{i=1}^n\;\frac{c_i}{|\,x-X_i|^8}\,,
\]
with the sign choice in
\[
\partial_M\alpha\;=\;\pm\,e^{-\phi_c}\,\partial_M\phi_c
\]
selecting either a D-instanton or an anti-D-instanton. The asymptotic regions at \(x \to X_i\) play the role of boundary states on which one expects Grassmann coordinates \(\Theta_i\). The diagonal supersymmetry is the global combination of broken local supercharges whose Nambu–Goldstone fermions become these \(\Theta_i\).

This formulation makes the diagonal sector geometrically precise. The “diagonal” fermions are not introduced ad hoc at the boundary; they are induced by the bulk supersymmetry-breaking pattern of the wormhole background.

## 3. Broken local supersymmetry, two-point functions, and boundary fermions

The D-instanton analysis proceeds by first examining fluctuations of
\[
\tau=a + i e^{-\phi}, \qquad \tau^*=a - i e^{-\phi}
\]
around the classical background. The quadratic action has a mass matrix \(M\) satisfying
\[
(m_{11}+m_{22})\pm(m_{12}+m_{21})=0\,.
\]
As a consequence, in the \((\tau,\tau^*)\) basis the inverse propagator \(M^{-1}\) has a single zero along the \(\tau^*-\tau^*\) component. Equivalently,
\[
\left\langle\!\left\langle\,\tilde\tau^*(X_1)\,\tilde\tau^*(X_2)\right\rangle\!\right\rangle =0,
\]
while
\[
\left\langle\!\left\langle\,\tilde\tau(X_1)\,\tilde\tau(X_2)\right\rangle\!\right\rangle\neq0,
\qquad
\left\langle\!\left\langle\,\tilde\tau^*(X_1)\,\tilde\tau(X_2)\right\rangle\!\right\rangle\neq0.
\]
The vanishing \(\langle\!\langle \tau^* \tau^* \rangle\!\rangle=0\) is the familiar BPS cancellation of the cylinder amplitude between two pure-axion sources [2604.14508].

The fermionic sector is described by the linearized Euclidean-signature IIB supergravity Lagrangian
\[
L_{\rm fermion}
= i\,\bar\psi_{(M)M}\,\Gamma^{MNL}\partial_N\,\psi_{(M)L}
+\,i\,\bar\lambda_{(M)}\,\Gamma^M\partial_M\,\lambda_{(M)}
-\tfrac12\,\bar\psi_{(M)M}\,\Gamma^N\Gamma^M\,\lambda_{(M)}\,P_{cN},
\]
where \(P_{cN}\sim \partial_N \tau_c\). The local supersymmetry transformations are
\[
\delta\tau   = 2i\,\tau_2\,Z\,\overline\Theta{}^*\,\lambda,
\qquad
\delta\lambda   = i\,\Gamma^M\Theta^*\,P_M,
\qquad
\delta\psi_M = D_M\Theta.
\]
On the D-instanton background one has \(P_M^*=0\), so that half the spinor components \((\lambda^*)\) remain unbroken, while \(\delta\lambda\neq 0\) signals spontaneous breaking. The corresponding Nambu–Goldstone modes are carried by the real parts \(\Theta_i \equiv \Theta(X_i)\) of the local supersymmetry parameter evaluated at each boundary.

The bulk-to-boundary mechanism is then implemented by coupling the local parameters \(\Theta(X_i)\) to the bulk action in a gauge-invariant way, equivalently by inserting supercurrent sources
\[
S^M(x)=\tfrac12\Gamma^N\Gamma^M\lambda^*(x)P_{cN}(x)
\]
at each D-instanton locus. Writing
\[
X^2\equiv\int d^{10}x\,d^{10}y\;D_M\bar\Theta(x)\;
\left\langle\!\left\langle S^M(x)\,S^N(y)\right\rangle\!\right\rangle_{\hbar\to0}\;D_N\Theta(y),
\]
one obtains
\[
S_{\rm eff}[\Theta]=-\tfrac12\,X^2.
\]
To leading order at large separation \(|X_1-X_2|\),
\[
\left\langle\!\left\langle S^M(x)\,S^N(y)\right\rangle\!\right\rangle
\sim
P_{cR}(x)\,\Gamma^R\Gamma^M\,
\frac{i\,\Gamma^J(x_J-y_J)}{|x-y|^{10}}\,
\Gamma^N\Gamma^Q\,P_{cQ}(y).
\]
After integrating over the ten-dimensional world and over \(\Theta(x)\) localized at \(x=X_i\), this reproduces the cylinder amplitude that in the open-string matrix picture is interpreted as the tree-level exchange of the diagonal fermionic coordinate between the two D-instantons.

## 4. Multi-instanton and Euclidean-brane extensions

The D-instanton construction is explicitly stated to generalize to multiple D-instantons and to general Euclidean branes [2604.14508]. For the multi-D-instanton case, the classical profile becomes
\[
e^{\phi_c}(x)=\sum_{i=1}^n \frac{c_i}{|x-X_i|^8},
\]
and the same steps are repeated. Each boundary at \(x\to X_i\) carries its own Grassmann zero-mode \(\Theta_i\), and the full effective action exponentiates into
\[
\exp\bigl(-\tfrac12 \sum_{i,j} \Theta_i A_{ij} \Theta_j\bigr),
\]
where \(A_{ij}\sim \langle\!\langle S(X_i)S(X_j)\rangle\!\rangle\) is the matrix of current–current propagators.

For other Euclidean branes, the example given is the Euclidean D1-brane. In that case one must include the linearized fluctuation of the R–R two-form \(C_{(2)}\) as well as the dilaton. The stated logic is unchanged: identify the broken local supersymmetry, couple its Nambu–Goldstone mode to the corresponding supercurrent in the bulk, and compute the tree-level cylinder diagram. The resulting diagonal Grassmann mode lives on each boundary string and is interpreted as the Wilson-line fermion in the 2d theory on the brane.

The physical significance is formulated in bulk–boundary terms. The diagonal supersymmetry provides the bridge between the bulk description of broken local supersymmetry and the boundary matrix-model description of D-instanton or D1-brane zero-modes. It explains why the diagonal fermions in the 0d or 2d SYM appear as genuine zero-modes—Nambu–Goldstone fermions—of ten-dimensional supergravity, and why their cylinder-exchange amplitude reproduces the standard open-string result.

## 5. Coinvariant rings and the \(U(\mathfrak{gl}(k|j)) \otimes \mathbb{C}[G]\) structure

A mathematically distinct use of diagonal supersymmetry appears in the theory of bosonic–fermionic coinvariant rings. Let \(V \cong \mathbb{C}^n\) and \(G \subset GL(V)\) be a finite subgroup. For nonnegative integers \(k,j\), one forms the superspace
\[
\mathbb{C}^{(k|j)} = \mathbb{C}^k \oplus \mathbb{C}^j,
\]
with even part \(\mathbb{C}^k\) and odd part \(\mathbb{C}^j\). Then
\[
\mathrm{Sym}(\mathbb{C}^{(k|j)}\otimes V) \cong (\mathrm{Sym}\,V)^{\otimes k} \otimes (\wedge\,V)^{\otimes j}
\]
is the \(\mathbb{Z}\)-graded superalgebra generated by \(k\) sets of commuting variables \(x^{(a)}\) and \(j\) sets of anticommuting variables \(\theta^{(c)}\), subject to
\[
x^{(a)}_p x^{(b)}_q = x^{(b)}_q x^{(a)}_p,\qquad
\theta^{(c)}_p \theta^{(d)}_q = -\,\theta^{(d)}_q \theta^{(c)}_p,\qquad
x^{(a)}_p \theta^{(c)}_q = \theta^{(c)}_q x^{(a)}_p.
\]
There is a natural bigrading by \((q_1,\dots,q_k;u_1,\dots,u_j)\), where each \(x^{(a)}_p\) has \(q_a\)-degree \(1\) and each \(\theta^{(c)}_p\) has \(u_c\)-degree \(1\) [2505.14885].

The diagonal \(G\)-action is obtained by having \(G\) act by its given \(n\)-dimensional matrix representation on each copy of \(V\) and trivially on \(\mathbb{C}^{(k|j)}\). The invariant ideal is
\[
I_G = \langle\, \mathrm{Sym}(\mathbb{C}^{(k|j)}\otimes V)_+^G \,\rangle,
\]
and the bosonic–fermionic coinvariant ring is
\[
R_G^{(k,j)} = \mathrm{Sym}(\mathbb{C}^{(k|j)}\otimes V)/I_G.
\]

The Lie superalgebra \(\mathfrak{gl}(k|j)\) acts on \(\mathbb{C}^{(k|j)}\) in the defining way and, by super-derivation, on \(\mathrm{Sym}(\mathbb{C}^{(k|j)}\otimes V)\). With \(E_{A,B}\) denoting the standard matrix units, the action includes
\[
E_{a,b} = \sum_{p=1}^n x_p^{(a)} \frac{\partial}{\partial x_p^{(b)}},\qquad
E_{a,d'} = \sum x_p^{(a)} \frac{\partial}{\partial \theta_p^{(d)}},
\]
\[
E_{c',b} = \sum \theta_p^{(c)} \frac{\partial}{\partial x_p^{(b)}},\qquad
E_{c',d'} = \sum \theta_p^{(c)} \frac{\partial}{\partial \theta_p^{(d)}}.
\]
This \(U(\mathfrak{gl}(k|j))\)-action commutes with the \(G\)-action. Because \(I_G\) is generated by \(G\)-invariants, it is a \(U(\mathfrak{gl}(k|j))\otimes \mathbb{C}[G]\)-submodule, so the quotient \(R_G^{(k,j)}\) inherits a \(U(\mathfrak{gl}(k|j))\otimes \mathbb{C}[G]\)-module structure.

The main structural theorem gives
\[
\mathrm{ch}\,R_G^{(k,j)}(q;u)
=
\sum_{\lambda\in P(k,j,n)}
\sum_{\mu\in \mathrm{IrrChar}(G)}
c_{\lambda\mu}\,
s_\lambda(q/u)\,
\chi^\mu,
\]
where the coefficients \(c_{\lambda\mu}\) are independent of \(k,j\). The proof uses super-Howe duality,
\[
\mathrm{Sym}^d(\mathbb{C}^{(k|j)}\otimes V)
\cong
\bigoplus_{\lambda\vdash d,\;\lambda\in P(k,j,n)}
U^\lambda_{k|j}\otimes U^\lambda_n,
\]
together with restriction from \(GL(n)\) to \(G\), a Jordan–Hölder multiplicity bound, and the super-Schur restriction identities
\[
s_\lambda(q_1,\dots,q_{k-1},0/u)=s_\lambda(q_1,\dots,q_{k-1}/u),
\]
and similarly in the odd variables.

## 6. Bergeron’s conjecture and the symmetric-group case

When \(G=S_n\), the preceding theorem becomes a statement about Frobenius characteristics. Writing
\[
\mathrm{Frob}\,R_n^{(k,j)}(q;u)
:=
\sum_{r,s} F\,\mathrm{ch}\,(R_n^{(k,j)})_{r,s}\,q^r\,u^s,
\]
one obtains
\[
\mathrm{Frob}\,R_n^{(k,j)}(q;u)
=
\sum_{\lambda\in P(k,j,n),\;\mu\vdash n}
c_{\lambda\mu}\,s_\lambda(q/u)\,s_\mu(z),
\]
with \(c_{\lambda\mu}\ge 0\) integers independent of \(k,j\). This is exactly Bergeron’s 2020 “Diagonal Supersymmetry” conjecture [2505.14885].

The result refines Bergeron’s earlier \(GL(k)\times GL(j)\times S_n\)-module picture, in which one only had an expansion of the form
\[
\sum_{\lambda,\nu,\mu} c_{\lambda\nu\mu}\, s_\lambda(q)\,s_\nu(u)\,s_\mu(z).
\]
The super-Schur refinement and the \(k,j\)-independence of \(c_{\lambda\mu}\) are the new features. Setting \(j=0\) recovers the classical diagonal coinvariants of Haiman.

The small-\(n\) examples given in the source make the theorem concrete. For \(n=2\) and \(k=j=1\),
\[
R_2^{(1,1)}=\mathbb{C}[x_1,x_2,\theta_1,\theta_2]/\langle x_1+x_2,\theta_1+\theta_2\rangle,
\]
and
\[
\mathrm{Frob}\,R_2^{(1,1)}(q;u)
=
s_\emptyset(q/u)s_2(z)+s_{(1)}(q/u)s_{11}(z).
\]
For \(n=3\) and \(k=j=1\),
\[
\mathrm{Frob}\,R_3^{(1,1)}(q;u)
=
s_\emptyset(q/u)s_3(z)+s_{(1)}(q/u)s_{21}(z)+s_{(2)}(q/u)s_{111}(z).
\]
These examples exhibit the universal super-Schur-times-\(S_n\)-irreducible pattern asserted by the general theorem.

## 7. Related diagonal structures in supersymmetric boundary integrable systems

A separate supersymmetric literature studies diagonal boundary conditions rather than “Diagonal Supersymmetry” as a named principle. In Kojima’s analysis of the \(U_q(\hat{sl}(M+1|N+1))\) analogue of the supersymmetric \(t\)-\(J\) model with a boundary, the basic objects are the graded \(R\)-matrix, diagonal solutions \(K^-(u),K^+(u)\) of the graded reflection equation, and the double-row transfer matrix
\[
T(u)=\mathrm{str}_0\!\Bigl[K^+(u)\;U(u)\Bigr],
\]
with
\[
U(u)=R_{0N}(u)\cdots R_{01}(u)\;K^-(u)\;R_{10}(u^{-1})\cdots R_{N0}(u^{-1}) .
\]
Using the graded Yang–Baxter and boundary Yang–Baxter equations, one shows
\[
[T(u),T(v)]=0 \qquad \forall\,u,v
\]
[1211.2912].

The supersymmetry comes from the quantum affine superalgebra \(U_q(\hat{sl}(M+1|N+1))\), with one odd simple root and the associated \(\mathbb{Z}_2\)-grading. In the semi-infinite limit, the transfer matrix is realized via type-I vertex operators, and a bosonized boundary state \(\langle B|=\langle\Lambda|\exp(G)\) satisfies \(\langle B|T(u)=\langle B|\). Excited eigenstates are generated by type-II vertex operators \(\Psi_i^*(z)\), and the eigenvalue on an \(n\)-excitation state is
\[
\Lambda_n(u;\{z_k\})
=
\prod_{k=1}^n \tau(u/z_k)\,\tau(z_k u).
\]
The Bethe equations follow from
\[
\frac{\Lambda_n(u=z_a^+;\{z_k\})}{\Lambda_n(u=z_a^-;\{z_k\})}=-1,
\qquad z_a^\pm=q^{\pm1}z_a .
\]

This body of work is relevant for delimiting the term. It shows that in supersymmetric integrable systems the word “diagonal” often refers to diagonal \(K\)-matrices, diagonal boundary classes, or transfer-matrix diagonalization. A plausible implication is that the phrase “diagonal supersymmetry” should be read contextually: in D-instanton physics it denotes a bulk-induced boundary fermionic symmetry, in coinvariant-ring theory it denotes a superalgebraic symmetry of diagonally equivariant rings, and in integrable chains “diagonal” usually modifies the boundary data rather than the supersymmetry itself.

Source: https://www.emergentmind.com/topics/diagonal-supersymmetry