---
title: D3/D5-Brane Intersection in Type IIB
url: https://www.emergentmind.com/topics/d3-d5-brane-intersection
type: topic
---

# D3/D5-Brane Intersection in Type IIB

to=python code
import urllib.request, urllib.parse, ssl, re, xml.etree.ElementTree as ET, textwrap, json, os, sys, math
query = urllib.parse.quote('all:"D3 D5 brane intersection"')
url = f'http://export.arxiv.org/api/query?search_query={query}&start=0&max_results=5'
print(url)
try:
    data = urllib.request.urlopen(url, timeout=20).read().decode('utf-8')[:2000]
    print(data)
except Exception as e:
    print("ERR", e)
【อ่านข้อความเต็มcode stdout code
http://export.arxiv.org/api/query?search_query=all%3A%22D3%20D5%20brane%20intersection%22&start=0&max_results=5
ERR HTTP Error 403: Forbidden

to=python code
import urllib.request, urllib.parse, ssl
query = urllib.parse.quote('all:"D3 D5 brane intersection"')
url = f'https://export.arxiv.org/api/query?search_query={query}&start=0&max_results=5'
req = urllib.request.Request(url, headers={'User-Agent':'Mozilla/5.0'})
try:
    data = urllib.request.urlopen(req, timeout=20).read().decode('utf-8')
    print(data[:3000])
except Exception as e:
    print("ERR", e)

to=python code
import urllib.request, urllib.parse
query = urllib.parse.quote('all:"D3/D5 intersection"')
url = f'https://export.arxiv.org/api/query?search_query={query}&start=0&max_results=3'
print(url)
req = urllib.request.Request(url, headers={'User-Agent':'ResearchAssistant/1.0'})
try:
    with urllib.request.urlopen(req, timeout=20) as resp:
        data = resp.read().decode('utf-8')
    print(data[:2000])
except Exception as e:
    print(type(e), e)

to=shell code
python - <<'PY'
import requests, urllib.parse
q=urllib.parse.quote('all:"D3/D5 intersection"')
url=f'https://export.arxiv.org/api/query?search_query={q}&start=0&max_results=3'
print(url)
try:
    r=requests.get(url, headers={'User-Agent':'ResearchAssistant/1.0'}, timeout=20)
    print(r.status_code)
    print(r.text[:2000])
except Exception as e:
    print('ERR',e)
PY
/**
 * @returns {Promise<import("child_process").SpawnSyncReturns<Buffer>>}
 */
function execute() { /* hidden */ } code
https://export.arxiv.org/api/query?search_query=all%3A%22D3/D5%20intersection%22&start=0&max_results=3
ERR HTTPSConnectionPool(host='export.arxiv.org', port=443): Read timed out. (read timeout=20)
The D3/D5-brane intersection is a Type IIB brane system in which D3-branes and D5-branes share a \(2+1\)-dimensional subspace. In the holographic limit, four-dimensional \(\mathcal N=4\) super Yang-Mills with a codimension-one defect breaking half of the supersymmetry arises as the field-theory description of this intersection, while the gravitational dual is realized by probe or backreacted D5-branes in \(AdS_5\times S^5\) and related geometries [2207.07671, 1607.04998]. Across its main realizations, the system supports defect hypermultiplets, boundary conditions with gauge-group rank jump, supersymmetric probe embeddings with worldvolume flux, fully backreacted anisotropic solutions with unquenched flavors, and interface configurations associated with line operators and bubbling D5-branes [2005.01392, 1309.3125].

## 1. Geometry and basic brane realization

In the flat-space intersection used throughout the literature, the D3-branes extend along \((x^0,x^1,x^2,x^3)\), while the D5-branes extend along \((x^0,x^1,x^2,x^4,x^5,x^6)\). The fundamental hypermultiplets therefore live on a \(2+1\)-dimensional defect at \(x^3=0\) [1207.7078]. In the interface setup of Nagasaki–Yamaguchi, one further includes D1-branes; in the near-horizon description the D5-brane is treated as a probe in \(AdS_5\times S^5\), and the D1-branes become gauge flux on the D5-brane [1309.3125].

| Object | Worldvolume directions | Role |
|---|---|---|
| D3 | \((x^0,x^1,x^2,x^3)\) | Color branes / bulk \(\mathcal N=4\) SYM |
| D5 | \((x^0,x^1,x^2,x^4,x^5,x^6)\) | Codimension-one defect |
| D1 | Dissolved as flux on D5 in the interface setup | Magnetic / line-operator charge |

The near-horizon limit of the D3-branes gives \(AdS_5\times S^5\). In Poincaré coordinates one convenient form is
\[
ds^2=\frac{r^2}{L^2}\left(-dt^2+dx^2+dy^2+dz^2\right)+\frac{L^2}{r^2}dr^2
+L^2\left[d\psi^2+\sin^2\psi\,d\Omega_2^2+\cos^2\psi\,d\tilde\Omega_2^2\right],
\]
with \(r\to\infty\) the AdS boundary and \(r\to 0\) the Poincaré horizon [1410.4911]. In the coordinate system adapted to the bubbling D5 construction, the metric can also be written as
\[
ds^2=\frac1{y^2}\Bigl(-dt^2+dy^2+dr^2+r^2d\psi^2+dx_3^2\Bigr)+d\theta^2+\sin^2\theta\,d\phi^2,
\]
with self-dual RR five-form \(F^{(5)}=4(\mathrm{vol}_{AdS_5}+\mathrm{vol}_{S^5})\) [1309.3125].

A distinct but closely related fully backreacted class is obtained when D3-branes end on stacks of 5-branes. In that case the ten-dimensional geometry takes the form
\[
ds^2=f_4^2\,ds^2_{AdS_4}+f_1^2\,ds^2_{S_1^2}+f_2^2\,ds^2_{S_2^2}+4\rho^2|dw|^2,
\]
with the warp factors determined by two real harmonic functions on an auxiliary Riemann surface \(\Sigma\) [1106.1870]. This establishes the D3/D5 system as both a defect intersection and a boundary-condition construction.

## 2. Defect field theory and preserved supersymmetry

The defect theory is four-dimensional \(\mathcal N=4\) SYM in the bulk coupled to matter localized on a codimension-one defect. At the probe level this preserves eight real supercharges and an \(SO(2,3)\times SU(2)\times SU(2)\) global symmetry; after smearing flavor D5-branes, supersymmetry is reduced to two real supercharges and the non-abelian flavor group \(U(N_f)\to U(1)^{N_f}\) [1607.04998]. In the canonical half-BPS defect CFT, the preserved superalgebra is an \(OSp(4|4)\) subalgebra of \(PSU(2,2|4)\) [2005.01392].

A standard field-theory description uses a rank jump across the defect. One starts from \(4d\ \mathcal N=4\) SYM with gauge-group rank jumping from \(U(N)\) for \(x_3<0\) to \(U(N+k)\) for \(x_3>0\) [2005.01392]. For \(k>1\), one turns on a Nahm-pole profile
\[
\Phi_i^{\mathrm{cl}}=\frac{t_i}{x_3},\qquad [t_i,t_j]=i\epsilon_{ijk}t_k,
\]
while for \(k=1\) there is no nontrivial classical profile and one instead imposes the half-BPS boundary conditions
\[
D_3\Phi_i+\frac{i}{2}\epsilon_{ijk}[\Phi_j,\Phi_k]=0,\qquad
\Phi_{4,5,6}=0,\qquad
F_{\mu\nu}\big|_{\mu,\nu\in\{0,1,2\}}=0,\qquad
i\gamma^3\Psi=\Psi
\]
at \(x_3=0\) [2005.01392].

An \(SU(2)_V\times SU(2)_H\)-covariant component formulation introduces ambient fields \(A_\mu\), triplets \(X^V,X_r^H\), ambient fermions \(\lambda_m\), defect scalars \(q^m\), and defect fermions \(\psi_m\), together with the defect bilinear
\[
Q_r\equiv i\,(q_m^\dagger(\sigma_r)^m{}_nT^a q^n)\,T^a .
\]
In this language the full supersymmetry variations include a defect source term in the gaugino variation,
\[
\delta\lambda_m=\cdots-i\,\delta(x^2)\,Q^r(\sigma_r)_m{}^n\varepsilon_n,
\]
and the corresponding supercharge algebra contains electric, magnetic, and mixed central charges [2207.07671].

For static half-BPS magnetically charged configurations with \(A_0=0\) and \(\vec X^V=0\), the defect fields enter as jumping data in an extended Bogomolny system. The first three equations are
\[
F_{\hat1\hat2}+D_yX_3^H+[X_1^H,X_2^H]=\delta(y)\,Q_3,
\]
\[
D_yX_1^H+[X_2^H,X_3^H]=\delta(y)\,Q_1,
\]
\[
D_yX_2^H+[X_3^H,X_1^H]=\delta(y)\,Q_2,
\]
supplemented by five additional first-order equations on \(F_{y\hat\imath}\), \(D_{\hat\imath}X_r^H\), and the defect hypermultiplet [2207.07671]. These are exactly the extended Bogomolny equations of Kapustin–Witten, except that the Nahm-like equations acquire delta-function sources from the defect bilinears.

## 3. Probe D5-branes, worldvolume flux, and BPS embeddings

In the probe approximation the D5-brane is governed by Dirac–Born–Infeld and Wess–Zumino terms. In the bubbling/interface setup the action is
\[
S_{\rm DBI}=-T_5\int d^6\xi\,\sqrt{-\det(g_{\rm ind}+\mathcal F)},
\qquad
S_{\rm WZ}=T_5\int_{\rm D5}\Bigl(C_6+\mathcal F\wedge C_4+\tfrac12\,\mathcal F\wedge\mathcal F\wedge C_2+\cdots\Bigr),
\]
and the worldvolume flux
\[
\mathcal F=dP(u)\wedge d\psi+dQ(u)\wedge d\phi
\]
encodes dissolved D1 charge [1309.3125]. The quantized charges are
\[
k=\frac1{(2\pi)^2\alpha'}\int \mathcal F,\qquad
k'=\frac1{(2\pi)^4\alpha'^2}\int \mathcal F\wedge\mathcal F,
\]
with \(\alpha'=1/\sqrt{\lambda}\) in the conventions of that construction [1309.3125].

The corresponding supersymmetry condition is \(\Gamma_{\rm D5}\epsilon=\epsilon\), supplemented by \(\Gamma_{\rm D1}\epsilon=\epsilon\) when dissolved D1-branes are present. In terms of the constant spinor \(\xi\), these reduce to the algebraic projections
\[
(K\Gamma_{3456}+\gamma)\,\xi=0,\qquad
(iK\Gamma_{04}-1)\,\xi=0,
\]
and compatibility with the \(\kappa\)-symmetry projector yields first-order BPS equations for the embedding functions \(s,z,\theta,P,Q\) [1309.3125].

A compact form of the independent BPS equations uses the two-dimensional base \((u^1,u^2)\), the Poisson bracket \(\{A,B\}=\epsilon^{ab}\partial_aA\,\partial_bB\), and
\[
\beta=1+s^2+z^2.
\]
Three key relations are
\[
d\!\bigl[\sqrt\beta\,(dz-\cos\theta\,dP)\bigr]=0,
\]
\[
d\!\Bigl[-(Q+\sin^2\theta\,P)\frac{d\theta}{\sin\theta\cos\theta}+P\frac{ds}{s}\Bigr]=0,
\]
\[
z\,\cos\theta=P+Q,
\]
supplemented by a quadratic algebraic constraint [1309.3125]. In that construction, equations (A)–(C) already suffice to produce the characteristic bubbling profile once the boundary is specified.

Probe D5-branes also admit finite-density embeddings. With static gauge \(\xi^a=(x^0,x^1,x^2,x^4,x^5,x^6)\), transverse scalars \(\phi(\xi)\equiv x^3(\xi)\), \(\eta(\xi)\equiv x^7(\xi)\), electric field \(\vec E=\nabla A_0\), and magnetic field \(\vec B\), the D5 equations simplify under a first-order ansatz. At zero electric field one obtains
\[
\vec B=\nabla\phi,
\]
the standard “supergravity spike = dissolved D3-charge” condition. With nonzero \(\vec E\), the generalized relation becomes
\[
\vec B=\sqrt{1-|\vec E|^2}\,\nabla\phi
+\frac{(\vec E\cdot\nabla\phi)}{\sqrt{1-|\vec E|^2}}\,\vec E,
\]
and the remaining equation is the Born–Infeld electrostatic condition
\[
\nabla\cdot\Bigl(\frac{\vec E}{\sqrt{1-|\vec E|^2}}\Bigr)=0
\]
[1207.7078]. This yields pure magnetic Higgs-branch solutions, single BIons, and mixed charged spikes.

On curved space, the supersymmetric D3/probe D5 construction for massive defects uses an embedding in \(AdS_5\times S^5\) with slipping mode \(\theta\), bending mode \(\rho\), and worldvolume gauge field \(A\), governed by
\[
S_{D5}=-T_5\int_{\Sigma_6} d^6\xi \sqrt{-\det(g_{ij}+F_{ij})}
+T_5\int_{\Sigma_6} C_4\wedge F .
\]
The massless embedding preserves \(16\) of the \(32\) supercharges, while the supersymmetric mass deformation leaves \(8\) real supercharges and is controlled by two coupled first-order BPS PDEs together with the Bianchi identity \(dF=0\) [1709.08650].

## 4. Backreacted geometries, unquenched flavors, and anisotropic plasmas

Beyond the probe limit, one may work in the Veneziano limit with large \(N_c\), large \(N_f\), and fixed \(N_f/N_c\). Smearing the D5-branes produces ten-dimensional Type IIB solutions that take into account the backreaction of the flavor branes and preserve two real supercharges [1607.04998]. For D3-branes at the tip of the cone over a five-dimensional Sasaki–Einstein manifold \(\mathcal M_5\), the Einstein-frame ansatz is
\[
ds^2_{10}
=
h(r)^{-1/2}\Big[-(dx^0)^2+(dx^1)^2+(dx^2)^2+e^{2m(r)}(dx^3)^2\Big]
+h(r)^{1/2}\Big[dr^2+e^{2g(r)}ds^2_{KE}+e^{2f(r)}(d\tau+A)^2\Big],
\]
with \(\phi=\phi(r)\),
\[
F_5=K(r)(1+*)\,d^4x\wedge dr,\qquad
F_3=Q_f\,dx^3\wedge {\rm Im}\,\hat\Omega_2,
\]
and source term \(dF_3=2\kappa_{10}^2T_5\,\Xi\) [1607.04998].

Requiring supersymmetry yields a first-order BPS system for \(m,\phi,f,g,h\). In particular, \(m=-\phi\) and the massless-flavor solution can be integrated exactly:
\[
e^{3\phi/2}=\frac{3}{4Q_f}\,r,\qquad
e^g=\frac{3}{2\sqrt2}\,\frac1r,\qquad
e^f=\frac98\,r,\qquad
h=\frac{R^4}{r^4},\qquad
R^4=\frac{256}{1215}\,Q_c .
\]
The non-compact five-dimensional metric is then
\[
ds_5^2=
\frac{r^2}{R^2}\Big[dx^2_{1,2}+\Big(\frac{4Q_f}{3}\Big)^{4/3}\frac{(dx^3)^2}{r^{4/3}}\Big]
+R^2\frac{dr^2}{r^2},
\]
which is invariant under
\[
r\to\lambda^{-1}r,\qquad
x^{0,1,2}\to\lambda\,x^{0,1,2},\qquad
x^3\to\lambda^{1/3}x^3 .
\]
This is a Lifshitz-like scaling with dynamical exponent \(z=3\) [1607.04998].

The finite-temperature generalization is an analytic black-hole geometry generated by the intersection of \(N_c\) color D3-branes and \(N_f\) flavor D5-branes along a \(2+1\)-dimensional subspace [1710.00548]. In Einstein frame,
\[
ds_{\rm ext}^2
=
-\,e^{A(r)}b(r)\,dt^2+e^{A(r)}(dx_1^2+dx_2^2)+e^{B(r)}dx_3^2+e^{-A(r)}\frac{dr^2}{b(r)},
\]
with
\[
A(r)=\log\frac{r^2}{R^2}+\frac12\Phi(r),\qquad
B(r)=\log\frac{r^2}{R^2}-\frac12\Phi(r),
\]
\[
\Phi(r)=\frac32\ln r+\ln\Big(\frac{4Q_f}{3R^{3/2}}\Big),\qquad
b(r)=1-\Big(\frac{r_h}{r}\Big)^{10/3},
\]
\[
F_5=(1+*)\,\frac{27}{8\pi}g_sN_c\,dx^0\wedge\cdots\wedge dr,\qquad
F_3=Q_f\,dx^3\wedge{\rm Im}\Omega_2
\]
[1710.00548].

The thermodynamics is spatially anisotropic. The temperature is
\[
T=\frac{5}{2\pi}\,\frac{r_h}{R^2},
\]
the entropy density scales as
\[
s={\rm const}\;(Q_c^2Q_f)^{1/3}T^3,
\]
and the free-energy density is
\[
f=-\frac13\,(Q_c^2Q_f)^{1/3}T^3.
\]
With \(x^{1,2}\) parallel to the defect and \(x^3\) transverse, the pressures are
\[
P_{\parallel}=\frac13\,(Q_c^2Q_f)^{1/3}T^3,\qquad
P_{\perp}=\frac15\,(Q_c^2Q_f)^{1/3}T^3
\]
[1710.00548].

Hydrodynamic fluctuations propagating along the defect satisfy
\[
\eta/s=\frac1{4\pi},\qquad
D_\eta=\frac1{4\pi T},\qquad
v_{\parallel}^2=\frac37,\qquad
\zeta/\eta=\frac17,
\]
and the second-order coefficients combine into an effective relaxation time that agrees exactly with the D2-brane results of arXiv:0908.0108 and 0908.1587 [1710.00548]. The same work states that each \(2+1\)-dimensional layer “sees” a non-conformal plasma whose entropy scales as \(s\sim T^3\), with an effective coupling \(\lambda_{\rm eff}\sim \frac{N_c}{N_f}T^{-1}\), exactly like a stack of D2’s at strong coupling.

## 5. Half-BPS boundaries, interfaces, and bubbling D5-branes

A half-BPS class of fully backreacted solutions describes D3-branes ending on 5-branes in the near-horizon limit. Regular solutions with \(OSp(4|4)\) symmetry are determined by two real harmonic functions \(h_1,h_2\) on a Riemann surface \(\Sigma\), with
\[
\partial_w\partial_{\bar w}h_1=0,\qquad
\partial_w\partial_{\bar w}h_2=0,
\]
and warp factors built from
\[
W=\partial_wh_1\partial_{\bar w}h_2+\partial_wh_2\partial_{\bar w}h_1,\qquad
X=i(\partial_wh_1\partial_{\bar w}h_2-\partial_wh_2\partial_{\bar w}h_1),
\]
\[
N_1=2h_1h_2|\partial_wh_1|^2-h_1^2W,\qquad
N_2=2h_1h_2|\partial_wh_2|^2-h_2^2W .
\]
The dilaton and metric factors are
\[
e^{2\Phi}=N_2/N_1,\qquad
\rho^2=e^{-\Phi/2}\sqrt{|W|N_2}/(h_1h_2),
\]
\[
f_1^2=2e^{\Phi/2}h_1^2\sqrt{|W|/N_1},\qquad
f_2^2=2e^{-\Phi/2}h_2^2\sqrt{|W|/N_2},\qquad
f_4^2=2e^{-\Phi/2}\sqrt{N_2|W|}
\]
[1106.1870]. The discrete data are the integers \(\{m_b\}\) of D5-branes, \(\{n_a\}\) of NS5-branes, and the linking numbers \(L_b,K_a\) giving the number of D3-branes ending on each 5-brane. The classification matches exactly Gaiotto–Witten’s classification of half-BPS boundary conditions of \(4d\ \mathcal N=4\) SYM on a half-line [1106.1870].

In the interface setup with dissolved D1-branes, the dual field theory is \(\mathcal N=4\) SYM on \(\mathbb R^{1,2}\times \mathbb R_x\), with a D5-brane interface at \(x=0\) between \(SU(N)\) for \(x<0\) and \(SU(N-k)\) for \(x>0\), where
\[
k=\sum_i n_i .
\]
The worldvolume boundary of the two-dimensional base is divided into consecutive segments on which either \(s=0\) with \(P=P_i\) constant or \(\sin\theta=0\) with \(Q=Q_j\) constant. The quantized fluxes on the corresponding noncontractible \(S^2\) cycles are
\[
n_i=\frac{\sqrt\lambda}{2\pi}(Q_i-Q_{i-1}),\qquad
m_j=\frac{\sqrt\lambda}{2\pi}(P_{j+1}-P_j),
\]
which are exactly the numbers of D3’s ending on the D5 and of D1’s dissolved between successive segments [1309.3125].

The same construction inserts an ’t Hooft line along the \(1\)-direction, whose magnetic charge is carried by dissolved D1-branes. The total D1 charge is
\[
k'=-\sum_{i\ge2}\Bigl(\sum_{j\le i-1}m_j\Bigr)n_i,
\]
which equals the total number of boxes in a Young diagram whose row-lengths are \(\{n_i\}\) and column-lengths are \(\{m_j\}\) [1309.3125]. Concretely, the step-wise boundary of the \((u^1,u^2)\)-plane may be deformed to the outer profile of that Young diagram. This gives a geometrized dictionary between supersymmetric D5-brane solutions and \(1/4\)-BPS interface plus ’t Hooft operators.

## 6. Integrability and exact one-point functions

The D3/D5 defect CFT has a distinguished integrable sector. Single-trace local operators map to spin-chain states, and the defect one-point function of a normalized operator \(|\Psi\rangle\) is
\[
C_\Psi=\Bigl(\frac{4\pi^2}{\lambda}\Bigr)^{L/2}L^{-1/2}\,
\frac{\langle B|\Psi\rangle}{\langle\Psi|\Psi\rangle^{1/2}} .
\]
Integrability on the boundary requires \(\langle B|\) to overlap non-trivially only with Bethe states whose rapidities come in \(\pm\) pairs [2005.01392].

For \(k>1\), the boundary state is the matrix product state
\[
B_{i_1\cdots i_L}=\mathrm{Tr}(t_{i_1}\cdots t_{i_L}),
\]
while for \(k=1\) the boundary becomes a simple valence-bond state,
\[
\langle B|=(\langle\uparrow\uparrow|+\langle\downarrow\downarrow|)^{\otimes L/2},
\]
equivalently the dimer \(\langle\uparrow\downarrow|+\langle\downarrow\uparrow|\) up to an \(SU(2)\) rotation [2005.01392]. This is the simplest dCFT from the integrability point of view.

In the \(SU(2)\) scalar subsector, paired Bethe roots \(u_j\leftrightarrow -u_j\) define a Baxter polynomial
\[
Q(u)=\prod_{j=1}^{M/2}(u^2-u_j^2)
\]
and factorized Gaudin blocks \(G^\pm\). The exact tree-level valence-bond overlap is
\[
\frac{\langle B|\mathbf u\rangle}{\langle\mathbf u|\mathbf u\rangle^{1/2}}
=
2^{1-L}\sqrt{\frac{Q(0)}{Q(i/2)}\frac{\det G^+}{\det G^-}},
\]
hence
\[
C_{\mathbf u}
=
\Bigl(\frac{4\pi^2}{\lambda}\Bigr)^{L/2}L^{-1/2}\,
2^{1-L}
\sqrt{\frac{Q(0)}{Q(i/2)}\frac{\det G^+}{\det G^-}}
\]
[2005.01392].

The same work extends the construction beyond scalars. In the gluonic sector, the relevant one-loop mixing problem is the integrable \(SU(2)\) spin-1 chain of Zamolodchikov–Fateev type, and the boundary state is a two-site singlet projector; the proposed overlap formula was checked numerically up to \(L=10\) [2005.01392]. In the fermionic \(SU(2|1)\) subsector, the large-\(N\) boundary state for \(k=1\) is
\[
\langle B|=\bigl(\langle ZZ|+\langle\uparrow\downarrow|-\langle\downarrow\uparrow|\bigr)^{\otimes L/2},
\]
and general paired Bethe solutions again lead to compact determinant formulas [2005.01392].

An asymptotic all-loop proposal for one-point functions can also be tested in the \(k=1\) case. Setting \(k=1\) kills all but the double-regularized \(a=0\) terms in the all-loop transfer sum, and a direct one-loop diagrammatic computation reproduces exactly the \(O(\lambda^{L/2})\) term, testing the all-loop asymptotic formula at half-wrapping order [2005.01392].

## 7. Finite density, charge separation, and double-layer phases

The D3/D5 system has also been used to study finite-density defect matter and strongly coupled layered media. In the probe-brane finite-density construction, one turns on \(A_0(r_3)\) so that the conserved conjugate momentum
\[
\rho=\delta L/\delta A_0'(r_3)
\]
is the baryon number density in the dual field theory [1207.7078]. The on-shell Lagrangian density in the grand-canonical ensemble reduces to
\[
\mathcal L_{\rm on-shell}=\sqrt{1-|\vec E|^2},
\]
and after Legendre transform one finds, for the single BIon,
\[
\Delta\Omega\sim -|Q|^{3/2}.
\]
Because \(|Q_1|^{3/2}+|Q_2|^{3/2}\) is strictly smaller than \(|Q_{\rm tot}|^{3/2}\) when \(Q_1+Q_2=Q_{\rm tot}\), the system can lower its free energy by fissioning the charge into smaller spikes [1207.7078]. The resulting family of finite-density vacua shows that charge can separate from the horizon and instead be carried by probe D3-brane spikes outside the horizon.

A different probe realization describes a double monolayer Dirac semimetal by a D3-probe-D5/\(\overline{\rm D5}\) system in a magnetic field. In static gauge \(\xi^a=(t,x,y,r,\theta,\phi)\), with embedding functions \(z(r)\) and \(\psi(r)\), the effective action is
\[
S=\mathcal N_5\int dr\,\sin^2\psi\,\sqrt{r^4+b^2}\,
\sqrt{1+(r\psi')^2+(r^2z')^2-(a_0')^2},
\]
where
\[
b=(2\pi/\sqrt\lambda)\,B,\qquad a_0=(2\pi/\sqrt\lambda)\,A_0
\]
[1410.4911]. The conserved quantities
\[
Q\equiv-\delta S/\delta A_0'=(2\pi\mathcal N_5/\sqrt\lambda)\,q,\qquad
\Pi_z\equiv\delta S/\delta z'=\mathcal N_5\,f
\]
identify \(q\) with the \(U(1)\) charge density and \(f\) with the inter-layer condensate [1410.4911].

The UV asymptotics are
\[
\psi(r)\to \pi/2+c_1/r+c_2/r^2+\cdots,\qquad
z(r)\to \pm L/2-f/r^5+\cdots,\qquad
a_0(r)\to \mu-q/r+\cdots .
\]
Here \(c_1=0\) corresponds to massless defect fermions, \(c_2\propto\langle\bar\psi\psi\rangle\) is the intra-layer condensate, \(f\propto\langle\bar\psi_h\psi_e\rangle\) is the inter-layer condensate, \(q\) is the charge density, \(\mu\) the chemical potential, and \(L\) the brane–antibrane separation [1410.4911].

The phase structure contains four classes of embeddings labeled by \((c_2,f)\): unconnected black-hole embeddings with no condensates, connected \(\psi=\pi/2\) embeddings with pure inter-layer condensate, unconnected embeddings with pure intra-layer condensate, and connected embeddings with coexisting inter- and intra-layer condensates [1410.4911]. For balanced charges on the two layers, inter-layer condensates can form for any separation of the layers; the charge-neutral case is special, with inter-layer condensation only for small separations and replacement by an intra-layer exciton condensate at larger separations [1410.4911]. As \(L\to\infty\), the connected solutions split into disconnected ones and the phase boundary approaches the BKT transition \(\mu_c\approx 2.9\) of the single-layer D3–D5 system [1410.4911].

Taken together, these developments show that the D3/D5-brane intersection is simultaneously a half-BPS defect CFT, a laboratory for \(\kappa\)-symmetric probe dynamics, a source of fully backreacted anisotropic holographic backgrounds, a realization of interface ’t Hooft operators with bubbling D5-branes, an integrable boundary problem in AdS/CFT, and a framework for strongly coupled finite-density and layered phases [2207.07671, 1710.00548].

Source: https://www.emergentmind.com/topics/d3-d5-brane-intersection