---
title: Kraft Quivers & KP Transitions in 3d N=4
url: https://www.emergentmind.com/topics/kraft-quivers
type: topic
---

# Kraft Quivers & KP Transitions in 3d N=4

Searching arXiv for the cited work and related papers on Kraft quivers and Kraft–Procesi transitions.
arXiv search: "Kraft quivers Kraft-Procesi branes nilpotent orbit closures orthosymplectic quivers"
Kraft quivers are \(3d\ \mathcal N=4\) quiver gauge theories whose Higgs branches are closures \(\overline{\mathcal O}_\lambda\) of nilpotent orbits \(\mathcal O_\lambda\) in classical Lie algebras. In the type \(A_n\) setting they arise as linear unitary quivers associated with partitions of \(n+1\); in the classical \(B\), \(C\), and \(D\) settings they become orthosymplectic quivers engineered by Type IIB branes with orientifold planes. Their defining structural feature is that inclusions of orbit closures are realized by elementary brane moves, or Kraft–Procesi transitions, which remove minimal singularities and produce new quivers associated with smaller orbit closures [1609.07798], [1711.02378].

## 1. Definition and mathematical setting

For type \(A_n\), one fixes \(n\in\mathbb N\) and a partition \(\lambda\) of \(n+1\),
\[
\lambda=(\lambda_1\ge \lambda_2\ge \cdots \ge \lambda_k>0),\qquad \sum_i \lambda_i=n+1.
\]
By classical theory, \(\lambda\leftrightarrow \mathcal O_\lambda\subset \mathfrak{sl}_{n+1}\), and its closure \(\overline{\mathcal O}_\lambda\) is a hyperkähler cone. The associated Type IIB brane construction engineers the \(3d\ \mathcal N=4\) theory \(T^{\lambda^t}(SU(n+1))\), and the corresponding Kraft quiver \(Q_H(\lambda)\) is the quiver whose Higgs branch is \(\overline{\mathcal O}_\lambda\) [1609.07798].

In the broader classical case, a Kraft quiver is a \(3d\ \mathcal N=4\) orthosymplectic quiver gauge theory whose Higgs branch is the closure \(\overline{\mathcal O}_\lambda\) of a nilpotent orbit \(\mathcal O_\lambda\) in a classical Lie algebra \(\mathfrak g\). Kraft–Procesi transitions are partial Higgsings that remove D3-brane subsystems engineering elementary surface or minimal singularities \(A_k\), \(D_k\), \(b_n\), \(c_n\), and \(d_n\). Each such removal produces a transverse slice \(S\subset \overline{\mathcal O}_\lambda\) and a new orbit closure \(\overline{\mathcal O}_{\lambda'}\subset \overline{\mathcal O}_\lambda\) [1711.02378].

A central motivation is supplied by Namikawa’s theorem: any \(3d\ \mathcal N=4\) Higgs or Coulomb branch with only spin-1 chiral generators under \(SU(2)_R\) is exactly the closure of a nilpotent orbit. Within that class, nilpotent orbit closures are therefore identified as the simplest non-trivial moduli spaces appearing in three-dimensional theories with eight supercharges [1609.07798], [1711.02378].

## 2. Type \(A_n\) construction from branes and partitions

The type \(A_n\) construction starts with \(N_5=(n+1)\) NS5-branes and \(N_5\) D5-branes. All D5-branes carry identical linking number
\[
l_d=(n,\dots,n),
\]
so they all sit in the same interval between NS5-branes. The NS5 linking numbers are taken to be the parts of the transpose partition \(\lambda^t\), padded to length \(n+1\) and read in increasing order from left to right:
\[
l_s=(\dots,0\text{'s},\lambda^t_1,\lambda^t_2,\dots,\lambda^t_{n+1}).
\]
In a Coulomb-brane frame, each interval between consecutive NS5-branes contains \(k_i\) D3-branes, and these define gauge group factors \(U(k_i)\). Because all D5-branes lie in the final interval, a single flavor node \(U(n+1)\) attaches to the last, rightmost gauge node [1609.07798].

The resulting type \(A_n\) Kraft quiver is the linear quiver
\[
[n+1]-U(k_1)-U(k_2)-\cdots-U(k_n),
\]
with the \(k_i\) determined by the NS5 linking numbers \(l_s\). Equivalently, it may be read directly from the Higgs-brane configuration after maximal splitting of D3-branes [1609.07798].

This construction identifies the Higgs branch of the quiver with \(\overline{\mathcal O}_\lambda\). In the language of the paper, the Coulomb and Higgs branches of certain \(3d\ \mathcal N=4\) gauge theories can be understood as closures of nilpotent orbits, and the type \(A\) brane system provides a direct realization of the Kraft–Procesi classification in physical terms [1609.07798].

## 3. Kraft–Procesi transitions and minimal singularities

To remove a minimal singularity \(\mathcal V\subset \overline{\mathcal O}_\lambda\), one performs a Higgs mechanism on the associated brane system. In the type \(A\) analysis, two families of minimal singularities appear. An \(A_m\) singularity, \(\mathbb C^2/\mathbb Z_{m+1}\), arises when \(m+1\) NS5-branes coincide in one D5 interval and is generated by a single D3-brane in that interval. An \(a_m\) singularity arises when two single-NS5 intervals are separated by \(m-2\) empty intervals and is generated by \(m\) D3-branes forming a wedge [1609.07798].

The transition consists of three steps. First, the relevant D3-brane or D3-branes are aligned with NS5-branes and/or D5-branes and split into segments. Second, the coordinates of the newly massless vectormultiplet scalars, namely the D3 segments between NS5–NS5, are taken to infinity, thereby fully removing these D3-branes from the Higgs-brane system. Third, one reads off the new linking numbers \(l_s'\) of the surviving NS5-branes, while \(l_d\) remains unchanged; this determines a new partition \(\lambda'\) and hence a new quiver \(Q_H(\lambda')\) [1609.07798].

A local rule is provided by the Hanany–Witten effect: under a single D3 crossing an NS5, the NS5 linking number changes by \(\pm 1\), while \(l_d\) is untouched. In the brane-matrix description, if in interval \(j\) one has \(M_{1j}=m+1>1\) in the first row, then an \(A_m\) KP transition removes one D3 by decreasing the second-row entry \(M_{2j}\) by \(1\), shifts one NS5 to each adjacent interval so that \(M_{1,j\pm 1}\) each increase by \(1\), and changes \(M_{1j}\) to \(m-1\). A similar but slightly more involved rule holds for \(a_m\) singularities [1609.07798].

The corresponding mathematical statement is the Kraft–Procesi theorem of 1982: the partial-order, or Hasse, graph of closures \(\overline{\mathcal O}_\lambda\) under inclusion is generated by minimal singularities of type \(A_m\) or \(a_m\). The brane realization identifies each such singularity with the moduli of a minimal D3-brane subsystem, and its removal reproduces the covering relations in the Hasse diagram [1609.07798].

## 4. Orthosymplectic Kraft quivers for \(B\), \(C\), and \(D\)

The classical extension beyond type \(A\) uses Type IIB brane systems with half-branes and an O3-plane along \((x^1,x^2,x^6)\), with all half 5-branes placed at the orientifold’s transverse origin. The linking numbers are
\[
l_s^{(i)}=\bigl[\#\text{half-D3 ending from right}-\#\text{half-D3 from left}\bigr]+\#\{\text{half-D5 to its left}\},
\]
for a half NS5 at \(x^6=t_i\), and
\[
l_d^{(j)}=\bigl[\#\text{half-D3 ending from right}-\#\text{half-D3 from left}\bigr]+\#\{\text{half-NS5 to its left}\},
\]
for a half D5 at \(x^6=z_j\). Between consecutive half NS5-branes all D3-branes end on the NS5-branes; similarly, on the Higgs side, all D3-branes end on D5-branes [1711.02378].

The O3 variant determines whether a gauge node is orthogonal or symplectic and whether a flavor node is \(O\)- or \(Sp\)-type.

| O3 variant | Gauge node | Flavor node |
|---|---|---|
| \(O3^-\) | \(O(2n)\) | \(C_k=Sp(k)\) |
| \(\widetilde{O3}^-\) | \(O(2n+1)\) | \(Sp(k)\) |
| \(O3^+\), \(\widetilde{O3}^+\) | \(C_n=Sp(n)\) | \(O(2k)\) |

Nilpotent orbits are organized by constrained partitions:
- \(\mathfrak{so}(2n+1)\leftrightarrow \mathcal P_{+1}(2n+1)\), where even parts have even multiplicity.
- \(\mathfrak{sp}(n)\leftrightarrow \mathcal P_{-1}(2n)\), where odd parts have even multiplicity.
- \(\mathfrak{so}(2n)\leftrightarrow \mathcal P_{+1}(2n)\), with a “very-even” \(\cup\)-ambiguity [1711.02378].

Two maps play a central role. The \(X\)-collapse, with \(X=B,C,D\), sends an arbitrary partition to the largest \(\mathcal P_{\pm 1}\)-partition it dominates by successive “trim and add” steps. The Barbasch–Vogan map \(d_{BV}\) is an order-reversing bijection from special partitions of \(\mathfrak g\) to those of \(\mathfrak g^\vee\):
\[
d_{BV}(\lambda)=\bigl(\lambda^t\bigr)^-_{\,C}\quad\text{for B-type},
\]
\[
d_{BV}(\lambda)=\bigl(\lambda^t\bigr)^+_{\,B}\quad\text{for C-type},
\]
\[
d_{BV}(\lambda)=\bigl(\lambda^t\bigr)_{\,D}\quad\text{for D-type}.
\]
The brane “collapse transition” is realized by pushing half-D5-branes off an \(O3^-\) without D3 creation; the interval numbers of half-NS5-branes then change exactly by \(X\)-collapse [1711.02378].

For the three classical families, the quivers are specified uniformly by a special partition \(\lambda\), its dual partition \(\mu=d_{BV}(\lambda)\), and the brane data:

- **\(B_n=\mathfrak{so}(2n+1)\)**: \(\lambda\in\mathcal P_{+1}(2n+1)\) special, \(n_s=n_d=2n+1\), \(\ell_d=(2n,\dots,2n)\), \(\ell_s=\mathrm{Even}(\mu)\in\mathbb Z_{\rm even}^{2n+1}\), rightmost \(O3^-\). The gauge chain is
  \[
  O_{2\ell_1}-C_{\ell_2}-O_{2\ell_3+1}-C_{\ell_4}-\cdots-O_{2\ell_{2n}+1}-\text{flavor }C_{\ell_{\rm first}}.
  \]

- **\(C_n=\mathfrak{sp}(n)\)**: \(\lambda\in\mathcal P_{-1}(2n)\) special, \(n_s=n_d=2n+1\), \(\ell_d=(2n+1,2n-1,\dots,3,1)\), \(\ell_s=\mathrm{Odd}(\mu)\in\mathbb Z_{\rm odd}^{2n+1}\), rightmost \(\widetilde{O3}^+\). The chain is \(C-O-C-O-\dots-Sp\), with \(O\)-flavors on the two end \(C\)-nodes.

- **\(D_n=\mathfrak{so}(2n)\)**: \(\lambda\in\mathcal P_{+1}(2n)\) special, \(n_s=n_d=2n\), \(\ell_d=(2n-1,\dots,1)\), \(\ell_s=\mathrm{Odd}(\mu)\in\mathbb Z_{\rm odd}^{2n}\), rightmost \(O3^-\). The chain is \(O-C-O-C-\dots-O\), with \(O\)-flavors at both ends [1711.02378].

## 5. Dimensions, explicit examples, and the transition algorithm

For type \(A_n\), if
\[
\lambda^t=(1^{r_1},2^{r_2},\dots,m^{r_m})
\]
is the transpose partition in exponential form, then the quaternionic dimension of the Higgs branch is
\[
\dim_{\mathbb H}(\overline{\mathcal O}_\lambda)=\sum_{i=1}^n k_i=\tfrac12\,\dim_{\mathbb C}(\overline{\mathcal O}_\lambda).
\]
Equivalently,
\[
\dim_{\mathbb C}(\overline{\mathcal O}_\lambda)=(n+1)^2-\sum_{k=1}^{n+1}(2r_k^2-1).
\]
In the classical orthosymplectic setting, the same physical principle is stated in brane terms: \(\dim_{\mathbb H}\overline{\mathcal O}_\lambda\) equals the number of physical D3-branes in the Coulomb brane configuration, and the transverse slice has dimension equal to the number of D3-branes removed in the KP transition [1609.07798], [1711.02378].

Two worked \(A_5\) examples make the construction explicit. For \(\lambda=(3,2,1)\), one has \(\lambda^t=(3,2,1)\) and NS5 linking numbers
\[
l_s=(0,0,1,2,3,0),
\]
read from the left. The Higgs quiver is
\[
[6]-U(1)-U(1)-U(2)-U(1).
\]
Its Higgs branch Hilbert series, or a direct hyperkähler quotient, gives \(\overline{\mathcal O}_{(3,2,1)}\). The minimal singularity \(A_2\), namely \(\mathbb C^2/\mathbb Z_3\), sits in the interval with \(3\) NS5-branes; performing the \(A_2\) KP transition removes one gauge node \(U(1)\) and merges its neighbours \(U(1)\oplus U(2)\to U(3)\), reproducing the quiver for \(\lambda'=(3,1^2)\) [1609.07798].

For \(\lambda=(4,2)\), one has \(\lambda^t=(2,1,1,1)\) and the Higgs quiver
\[
[6]-U(2)-U(1)-U(1)-U(1).
\]
The minimal singularity \(a_3\) arises from the two single-NS5 intervals at positions \(2\) and \(5\). Performing this \(a_3\) transition deletes three gauge nodes in the middle and produces the trivial quiver
\[
[6]-\varnothing.
\]
The Higgs branch then collapses to a point, as expected [1609.07798].

The orthosymplectic paper formulates a general KP-quiver algorithm. Given special partitions \(\lambda'\subset \lambda\) in the same \(\mathcal P_{\pm 1}\), one computes \(\mu=d_{BV}(\lambda)\) and \(\mu'=d_{BV}(\lambda')\), forms \(\ell_d\) according to the Lie type and rank, computes \(\ell_s=\mathrm{Even}(\mu)\) for \(B\)- or \(D\)-type or \(\ell_s=\mathrm{Odd}(\mu)\) for \(C\)-type, constructs the Coulomb-branch brane configuration with stacked half 5-branes and fixed O3 choice, reads off the quiver from the O3 table, and then identifies and removes the D3 subsystem corresponding to the singularity. This yields new linking numbers \(\ell_s'\) and hence the quiver for \(\lambda'\) [1711.02378].

Basic transitions are listed uniformly by Lie type. In \(A\)-type, \((n)\to (n-1,1)\) removes an \(A_{n-1}\) singularity, with
\[
\dim_{\mathbb H}\overline{\mathcal O}_{(n)}=\tfrac12 n(n-1),\qquad \dim S=A_{n-1}=n-1.
\]
In \(B\)-type, \((2n+1)\to (2n-1,1^2)\) removes \(A_{2n-1}\), with \(\dim\overline{\mathcal O}_{(2n+1)}=2n^2\) and \(\dim A_{2n-1}=2n-1\). In \(C\)-type, \((2n)\to (2n-2,2)\) removes \(D_{n+1}\), with \(\dim\overline{\mathcal O}_{(2n)}=n(2n+1)\) and \(\dim D_{n+1}=2n\). In \(D\)-type, \((2n)\to (2n-3,1^2)\) removes \(D_n\), with \(\dim\overline{\mathcal O}_{(2n)}=2n(n-1)\) and \(\dim D_n=2n-2\) [1711.02378].

## 6. Folding, non-simply-laced extensions, and Hasse diagrams

Later work extends the Kraft–Procesi framework to folded orthosymplectic quivers. In a simply-laced unitary quiver, one may fold two or more identical legs by identifying a \(\mathbb Z_2\) symmetry exchanging the legs, gauging the diagonal subgroup, setting the magnetic charges of the two legs equal, and dividing by the \(\mathbb Z_2\) Weyl action. The result is a quiver with a non-simply-laced edge, and physically one ungauges the diagonal \(U(1)\) on a long node so that the Coulomb branch is well-defined. For orthosymplectic quivers, the brane realization introduces an \(O5^+\) plane transverse to the D3-branes and overlapping the NS5-branes; at the intersection of \(O3\) and \(O5^+\) lies an \(ON^+\) plane, and the combined projection identifies two orthosymplectic legs in the magnetic quiver [2107.00754].

The corresponding monopole formula for non-simply-laced orthosymplectic quivers is
\[
\mathrm{HS}(t)=\sum_{m\in \Lambda/G\!:\!\mathrm{Weyl}} P_G(t,m)\,t^{2\,\Delta(m)}.
\]
For a non-simply-laced edge of multiplicity \(b\) between a \(USp(2k)\) node with charges \(\{m_{1,i}\}\) and an \(SO(2\ell)\) node with charges \(\{m_{2,j}\}\),
\[
\Delta_{\mathrm{edge}}=\tfrac12\sum_{i=1}^k\sum_{j=1}^{\ell}\bigl|b\,m_{1,i}-m_{2,j}\bigr|+\tfrac12\sum_{i=1}^k\sum_{j=1}^{\ell}\bigl|b\,m_{1,i}+m_{2,j}\bigr|.
\]
The vector multiplet contributes \(-\sum_{\alpha>0}|\alpha(m)|\) as usual, and for non-simply-laced orthosymplectic quivers one must include half-integers in the magnetic charges for short nodes if the non-simply-laced edge is odd [2107.00754].

Some folded orthosymplectic quivers have Coulomb branches that are closures of minimal nilpotent orbits of exceptional algebras. The paper lists, for example, foldings that realize \(\overline{\mathcal O^{\mathfrak e_7}_{\min}}\), \(\overline{\mathcal O^{\mathfrak e_6}_{\min}}\), and \(\overline{\mathcal O^{\mathfrak d_5}_{\min}\cong \mathcal O^{\mathfrak{so}(10)}_{\min}}\). It also derives Hasse diagrams by quiver subtraction as well as by Kraft–Procesi transitions in the brane system [2107.00754].

The quiver-subtraction rules for orthosymplectic special minimal slices are
\[
SO(2k)-SO(2r)\longrightarrow SO(2k-2r+1),
\]
\[
SO(2k+1)-SO(2r+1)\longrightarrow SO(2k-2r+1),
\]
\[
USp(2k)-USp(2r)\longrightarrow USp(2k-2r).
\]
An explicit example is the Hasse diagram of \(\overline{\mathcal O^{\mathfrak{sl}(8)}_{(2^4)}}\): starting from the folded orthosymplectic quiver, one subtracts a minimal \(a_1\) slice by removing an \(SO(2)\)–\(SO(2)\) pair, then subtracts an \(a_3\) quiver, and continues until the bottom point \(\{1\}\). Each subtraction matches the corresponding Kraft–Procesi transition in the D3–D5–O3 brane system, where each minimal slice is associated with moving one D3-brane across an orientifold [2107.00754].

Taken together, these constructions place Kraft quivers at the intersection of nilpotent orbit theory, hyperkähler moduli spaces, and Type IIB brane engineering. In the type \(A\) case they provide a linear unitary realization of \(\overline{\mathcal O}_\lambda\); in the \(B\), \(C\), and \(D\) cases they give a unified orthosymplectic framework based on partitions, Barbasch–Vogan duality, and orientifold data; and in folded settings they connect Kraft–Procesi transitions to non-simply-laced magnetic quivers and phase diagrams of \(4d\ \mathcal N=2\) Higgs branches [1609.07798], [1711.02378], [2107.00754].

Source: https://www.emergentmind.com/topics/kraft-quivers