Skip to content

Bottom-Up Models

The cleanest examples of AdS/CFT come from string theory. They give an exact microscopic pair: a specific quantum field theory and a specific quantum theory of gravity or strings in an asymptotically AdS spacetime. Bottom-up holography is different. It starts from the opposite direction: choose an effective bulk theory whose fields and symmetries are designed to capture some sector of a strongly coupled quantum system, then use the AdS/CFT dictionary as a computational engine.

This is both powerful and dangerous.

It is powerful because many robust holographic lessons do not depend on the microscopic details of AdS5×S5\text{AdS}_5\times S^5. A black-brane horizon, a conserved current, a scalar order parameter, a relevant deformation, or an IR scaling region can be studied in a relatively small gravitational model. It is dangerous because writing down a bulk action is not the same thing as proving that a consistent, unitary, ultraviolet-complete boundary theory exists.

A good bottom-up model is not a magic dual of the real world. It is a controlled effective laboratory.

Many of the most widely used holographic models in QCD-like physics and condensed-matter-inspired holography are bottom-up models. Examples include hard-wall and soft-wall AdS/QCD, Einstein–Maxwell–dilaton models, axion models of momentum relaxation, holographic superconductors, probe-fermion spectral functions, and phenomenological models of dense matter.

These models are useful because they let us ask questions such as: what does a strongly coupled plasma with a gravity dual generically do, which transport coefficients are controlled mainly by horizon regularity, how a conserved charge density reorganizes the IR degrees of freedom, what kinds of phases appear when a charged scalar becomes unstable, and which signatures are robust rather than artifacts of a chosen action.

But the right attitude is not “this model is QCD” or “this model is a strange metal.” The right attitude is:

This model encodes a set of symmetries, degrees of freedom, scales, and boundary conditions. Its predictions are meaningful to the extent that they are insensitive to irrelevant modeling choices and compatible with holographic consistency.

That sentence is the whole page in miniature.

A bottom-up holographic model-building workflow: boundary target, bulk effective model, observables, UV data, IR data, consistency checks, and calibration.

A bottom-up model is an effective bulk theory constrained by boundary symmetries, UV data, IR or horizon conditions, and consistency checks. It may be very useful without being a known UV-complete string construction.

A top-down model begins with a known string or M-theory compactification. The boundary theory, the bulk field content, the action, the charge quantization, and the relation between parameters are inherited from the microscopic construction.

A bottom-up model begins with an effective bulk action. The model builder chooses fields, interactions, potentials, and boundary conditions because they capture desired features of a target class of field theories.

The contrast is not “rigorous versus useless.” It is more subtle.

FeatureTop-down modelBottom-up model
Microscopic dualknown, at least in principleoften unknown
Bulk field contentfixed by compactification/truncationchosen phenomenologically
Parametersconstrained by fluxes and string datafitted, scanned, or constrained by physics
UV completioninherited from string/M-theorynot automatic
Flexibilitylimitedhigh
Best useexact examples, protected sectors, controlled limitsuniversality, phenomenology, mechanism studies

Top-down models can be too rigid for phenomenological purposes. Bottom-up models can be too flexible. The art is to gain flexibility without losing the discipline of the dictionary.

A bottom-up model usually specifies four ingredients.

First, one chooses an asymptotically AdS background or an action that admits such backgrounds. The asymptotic region fixes the UV interpretation. If the metric approaches

ds2L2z2(dz2+g(0)ij(x)dxidxj),z0,ds^2 \sim \frac{L^2}{z^2}\left(dz^2 + g_{(0)ij}(x)dx^i dx^j\right), \qquad z\to 0,

then the boundary theory is interpreted as living on the conformal class of g(0)ijg_{(0)ij}.

Second, one chooses bulk fields dual to important boundary operators. Typical examples are:

Boundary structureBulk ingredient
stress tensor TijT_{ij}metric gMNg_{MN}
conserved current JiJ^igauge field AMA_M
scalar operator O\mathcal Oscalar field ϕ\phi
explicit breaking by source JJnon-normalizable mode of ϕ\phi
spontaneous ordernormalizable mode with zero source
momentum relaxationscalar profiles, lattices, massive gravity, or axions
flavor sectorprobe branes or bulk flavor gauge fields

Third, one writes an effective action. A very common finite-density template is

S=116πGd+1dd+1xg[R12(ϕ)2V(ϕ)Z(ϕ)4FMNFMN]+Sbdy.S = \frac{1}{16\pi G_{d+1}} \int d^{d+1}x\sqrt{-g} \left[ R -\frac12(\partial \phi)^2 -V(\phi) -\frac{Z(\phi)}4 F_{MN}F^{MN} \right] +S_{\rm bdy}.

Here V(ϕ)V(\phi) controls the scalar potential and possible RG flow, while Z(ϕ)Z(\phi) controls the effective gauge coupling. In holographic superconductors one adds a charged scalar,

Sψ=dd+1xg(Dψ2+m2ψ2+),DMψ=(MiqAM)ψ.S_{\psi} = -\int d^{d+1}x\sqrt{-g} \left( |D\psi|^2 + m^2|\psi|^2 + \cdots \right), \qquad D_M\psi=(\nabla_M-iqA_M)\psi .

In simple AdS/QCD models one introduces flavor gauge fields and a scalar dual to the chiral condensate. In linear-axion models one introduces massless scalars with profiles such as

χI=kxI,\chi_I = k x_I,

which break translations while preserving homogeneous bulk ordinary differential equations.

Fourth, one defines boundary and IR conditions. Near the AdS boundary, fields are expanded into sources and responses. In the interior, one imposes regularity, infalling conditions, smooth cap-off conditions, or a horizon ensemble.

The model is then used exactly like any other holographic setup: solve bulk equations, renormalize the on-shell action, vary with respect to sources, and extract observables.

A bottom-up model should have a target. The target need not be a real material or QCD itself; it can be a universality class or a mechanism. The target determines what counts as success.

A model of a strongly coupled plasma might aim to reproduce an equation of state, speed of sound, viscosity, charge diffusion, or quasinormal spectrum. A model of chiral symmetry breaking might aim to reproduce pion physics, vector meson spectra, and current correlators. A model of finite-density criticality might aim to expose how an AdS2_2 throat controls low-frequency response.

The most common targets are symmetry targets, operator targets, IR targets, and observable targets.

These ask what happens if a quantum system has a stress tensor, a global U(1)U(1) current, an order parameter, translations, rotations, parity, or time-reversal symmetry.

In holography, continuous global symmetries become bulk gauge symmetries. If the boundary theory has a conserved current JiJ^i, the bulk has a gauge field AMA_M with near-boundary expansion schematically

Ai(z,x)=ai(x)+zd2bi(x)+,A_i(z,x) = a_i(x) + z^{d-2} b_i(x)+\cdots,

where aia_i sources JiJ^i and bib_i is related to Ji\langle J^i\rangle.

These ask what the important operators are in the low-energy or long-distance problem. For a scalar operator of dimension Δ\Delta, the mass is fixed near the AdS boundary by

m2L2=Δ(Δd).m^2L^2=\Delta(\Delta-d).

This relation is not optional. A bottom-up model may choose the scalar potential freely in the interior, but the UV mass determines the source dimension. A model that claims to describe a deformation by a dimension-Δ\Delta operator must get this asymptotic mass right.

These ask what kind of low-energy physics should emerge. Common IR geometries include an AdSd+1_{d+1} region corresponding to an IR CFT, a capped geometry suggesting a mass gap, an AdS2×Rd1_2\times \mathbb R^{d-1} throat suggesting semi-local criticality, a Lifshitz or hyperscaling-violating geometry suggesting anisotropic scaling, and a black-brane horizon corresponding to a thermal state.

A bottom-up model is often judged by whether its IR endpoint is physically sensible, stable, and compatible with the desired phase.

These ask which quantities will be compared across theories or to data. Examples include

GRJJ(ω,k),σ(ω),s(T),η/s,χ=ρμ,O(T,μ).G_R^{JJ}(\omega,k), \qquad \sigma(\omega), \qquad s(T), \qquad \eta/s, \qquad \chi = \frac{\partial \rho}{\partial \mu}, \qquad \langle \mathcal O\rangle(T,\mu).

A model is more trustworthy when it predicts several observables after being calibrated to only a few inputs.

Bottom-up holography is best understood as effective field theory in curved spacetime, with the AdS boundary conditions imposing a field-theory interpretation.

For example, suppose we write

Seff=116πGd+1dd+1xg[R+d(d1)L214F2+αL2(F2)2+βL2RMNRSRMNRS+].S_{\rm eff} = \frac{1}{16\pi G_{d+1}}\int d^{d+1}x\sqrt{-g} \left[ R+\frac{d(d-1)}{L^2} -\frac14 F^2 +\alpha L^2 (F^2)^2 +\beta L^2 R_{MNRS}R^{MNRS} +\cdots \right].

This is an expansion in derivatives and fields. The coefficients α\alpha, β\beta, and their friends are not arbitrary if the model is to be UV-completable. In a true string compactification, higher-derivative terms are constrained by unitarity, causality, supersymmetry, charge quantization, and the spectrum of massive states.

In bottom-up work, one often truncates the action and studies a regime where the neglected terms are assumed to be small. This is legitimate as an effective approximation, but the regime of validity should be stated.

A useful diagnostic is

correctionleading term1.\frac{\text{correction}}{\text{leading term}} \ll 1.

If a model depends sensitively on large higher-derivative coefficients, strong curvature, or Planck-scale physics, it is no longer a controlled classical bulk calculation.

A disciplined bottom-up calculation usually follows this chain.

Do not begin with the action. Begin with the physics.

What are the global symmetries? Is the state thermal, finite density, disordered, confining, superconducting, or critical? Which operators are important? Which observables are supposed to be universal?

For example, a finite-density translationally invariant plasma with a conserved U(1)U(1) current minimally needs gMNg_{MN} and AMA_M. A model of spontaneous breaking of that U(1)U(1) needs a charged scalar. A model of explicit translation breaking needs additional structure.

Step 2: Choose the bulk fields by the dictionary

Section titled “Step 2: Choose the bulk fields by the dictionary”

The field content should be justified by boundary operators, not by convenience alone.

A scalar field is dual to a scalar operator. A gauge field is dual to a conserved current. A metric fluctuation is dual to the stress tensor. A bulk spinor is dual to a fermionic operator.

Extra light bulk fields mean extra light single-trace operators. If these operators have no interpretation in the target problem, the model may still be useful, but the extra sector should be acknowledged.

The UV asymptotic form is where the dictionary is most rigid. If the UV is AdS, masses and falloffs determine dimensions. For a scalar,

ϕ(z,x)=zdΔϕ(0)(x)+zΔϕ(2Δd)(x)+.\phi(z,x)=z^{d-\Delta}\phi_{(0)}(x)+z^\Delta \phi_{(2\Delta-d)}(x)+\cdots .

The source dimension is dΔd-\Delta. If the scalar is used to represent a quark mass, a condensate, a lattice source, or an order parameter, that assignment has to be consistent with its UV dimension and boundary conditions.

In finite-density holography, the ensemble matters. Fixing AtA_t at the boundary fixes the chemical potential μ\mu and describes a grand-canonical ensemble. Fixing radial electric flux fixes the charge density ρ\rho and describes a canonical ensemble.

The two are related by a Legendre transform. Mixing them silently is a common source of wrong thermodynamics.

One solves classical equations of motion for a background geometry and matter fields. For a homogeneous black brane, this often reduces to ordinary differential equations in the radial coordinate.

A standard ansatz might be

ds2=D(r)dt2+B(r)dr2+C(r)dx2,A=At(r)dt,ϕ=ϕ(r).ds^2 = -D(r)dt^2 + B(r)dr^2 + C(r)d\vec x^2, \qquad A=A_t(r)dt, \qquad \phi=\phi(r).

The UV solution fixes sources and expectation values. The IR solution imposes regularity at a horizon or cap-off. Thermodynamics then follows from the renormalized on-shell action or from horizon data plus the first law.

Observables usually come from linearized perturbations around the background. For conductivity, perturb Ax(r)eiωtA_x(r)e^{-i\omega t}. For shear viscosity, perturb hxy(r)eiωth^x{}_y(r)e^{-i\omega t}. For scalar susceptibilities, perturb the scalar.

The retarded prescription imposes infalling boundary conditions at the horizon and reads the response/source ratio at the boundary:

GR(ω,k)renormalized responsesource.G_R(\omega,k) \sim \frac{\text{renormalized response}}{\text{source}}.

Step 7: Renormalize and check Ward identities

Section titled “Step 7: Renormalize and check Ward identities”

Bottom-up models need holographic renormalization just as top-down models do. The counterterms may be simpler, but they are not optional. A good calculation checks

iTij=FjiJi+aOajJa,\nabla_i \langle T^{ij}\rangle = F^{j}{}_{i}\langle J^i\rangle +\sum_a \langle\mathcal O_a\rangle\nabla^j J_a,

and

iJi=0\nabla_i\langle J^i\rangle=0

unless the model includes anomalies, explicit symmetry breaking, or charged sources.

A bottom-up prediction is strongest if it survives deformations of irrelevant details. For example, the ratio η/s=1/(4π)\eta/s=1/(4\pi) is robust across a large class of two-derivative Einstein gravity models because the shear graviton action near the horizon has a universal form. By contrast, the detailed shape of an optical conductivity curve may depend strongly on the choice of potential, charge coupling, translation-breaking sector, and boundary conditions.

The more knobs a model has, the more important it is to ask which conclusions are stable.

AdS/QCD models are among the cleanest examples of bottom-up holography. They are not derived from QCD. Instead, they encode some large-NN and chiral features of QCD into a five-dimensional model.

A hard-wall model begins with a slice of AdS5_5,

0<z<zm,ds2=L2z2(dz2+ημνdxμdxν),0<z<z_m, \qquad ds^2=\frac{L^2}{z^2}\left(dz^2+\eta_{\mu\nu}dx^\mu dx^\nu\right),

where zmz_m is an IR cutoff. The cutoff produces a discrete spectrum. Flavor symmetries are modeled by five-dimensional gauge fields,

SU(Nf)L×SU(Nf)RAML, AMR,SU(N_f)_L\times SU(N_f)_R \quad\longrightarrow\quad A^L_M,\ A^R_M,

and chiral symmetry breaking is modeled by a scalar XX transforming bifundamentally under the flavor group. Near the boundary,

X(z)mqz+σz3,X(z) \sim m_q z + \sigma z^3,

where mqm_q is interpreted as a quark-mass source and σ\sigma as a chiral condensate.

A soft-wall model replaces the sharp cutoff with a background profile, often written as a dilaton factor such as

eΦ(z),Φ(z)κ2z2.e^{-\Phi(z)}, \qquad \Phi(z)\sim \kappa^2 z^2.

This can produce approximately linear Regge trajectories,

mn2n,m_n^2 \sim n,

which the simplest hard wall does not naturally produce.

The success of such models is phenomenological: they organize hadronic observables in a small number of geometric parameters. The limitation is equally important: the five-dimensional model is not known to be the exact large-NN dual of QCD.

The simplest holographic superconductor uses Einstein–Maxwell theory coupled to a charged scalar:

S=dd+1xg[116πGd+1(R+d(d1)L2)14F2Dψ2m2ψ2].S=\int d^{d+1}x\sqrt{-g} \left[ \frac{1}{16\pi G_{d+1}} \left(R+\frac{d(d-1)}{L^2}\right) -\frac14 F^2 -|D\psi|^2 -m^2|\psi|^2 \right].

At high temperature, the charged black brane can have ψ=0\psi=0. At low temperature, the effective mass of ψ\psi near the horizon can drop below the relevant stability bound, producing scalar hair. In the boundary theory, this corresponds to spontaneous breaking of a global U(1)U(1) symmetry and a nonzero expectation value

O0\langle \mathcal O\rangle \neq 0

with zero source.

This model teaches a robust mechanism: charged horizons can become unstable to charged condensates. But the simplest model does not automatically describe an electromagnetic superconductor in the lab, because the boundary U(1)U(1) is usually global. To get an actual dynamical photon on the boundary, one must add or weakly gauge a boundary electromagnetic field.

In a translationally invariant finite-density system, the electric conductivity contains a zero-frequency delta function. Momentum cannot decay, so an applied electric field accelerates the entire system.

Bottom-up models often break translations explicitly. A popular homogeneous choice is the linear-axion model,

χI=kxI,I=1,,d1,\chi_I=k x_I, \qquad I=1,\ldots,d-1,

with scalar action

Sχ=12Idd+1xg(χI)2.S_\chi=-\frac12\sum_I\int d^{d+1}x\sqrt{-g}\,(\partial\chi_I)^2.

The scalar profiles break translations but preserve homogeneity in the bulk equations. This makes DC conductivity analytically computable from horizon data in many cases.

The model is useful because it isolates the role of momentum relaxation. But it is not a microscopic lattice unless one can explain what operator is being sourced, how the source enters the boundary theory, and whether the homogeneous approximation captures the desired physical regime.

Bottom-up holography is most convincing when it identifies universal structures. A result is often robust when it follows from symmetry, conservation laws, horizon regularity, near-boundary asymptotics, thermodynamic identities, or the existence of a controlled scaling regime.

A result is more model-dependent when it depends on detailed scalar potentials V(ϕ)V(\phi), arbitrary functions such as Z(ϕ)Z(\phi), large higher-derivative couplings, ad hoc IR boundary conditions, fitting many parameters to few observables, or assuming a light field with no boundary interpretation.

The difference is not binary. One can often separate robust mechanisms from detailed numbers. For example, the existence of a superconducting instability may be robust, while the precise value of Tc/μT_c/\mu is model-dependent.

A bottom-up model should pass at least the following checks.

The action, boundary terms, and boundary conditions must define a well-posed variational problem. If the source is fixed, the variation should take the form

δSren=ddxg(0)(12Tijδg(0)ij+JiδA(0)i+aOaδJa).\delta S_{\rm ren} = \int d^dx\sqrt{-g_{(0)}} \left( \frac12\langle T^{ij}\rangle\delta g_{(0)ij} +\langle J^i\rangle\delta A_{(0)i} +\sum_a \langle\mathcal O_a\rangle\delta J_a \right).

The on-shell action and one-point functions should be renormalized. Divergent coefficients in a near-boundary expansion are not physical vevs.

Gauge invariance, diffeomorphism invariance, and Weyl transformations imply Ward identities. Violating them usually means the sources, counterterms, or boundary conditions are inconsistent.

The free energy, charge density, entropy, and energy should obey the first law,

dϵ=Tds+μdρ+,d\epsilon = Tds + \mu d\rho + \cdots,

with extra terms for additional sources. If a numerically generated solution violates the first law, something is wrong or the ensemble has been misidentified.

A background should be checked for tachyonic, gradient, and thermodynamic instabilities. A solution that exists is not automatically a stable phase.

Higher-derivative terms can change propagation speeds, spectral positivity, or boundary causality. A bottom-up model with arbitrary higher-derivative couplings should not be trusted beyond the regime in which those corrections are small.

A classical bulk model assumes a large number of boundary degrees of freedom. If the intended target has no large-NN analogue, one should interpret the model as a qualitative mechanism rather than a literal dual.

Bottom-up models are especially good at teaching mechanisms. Some examples:

  • horizons encode dissipation and thermal response;
  • gauge fields encode finite density and charge diffusion;
  • charged scalar hair encodes spontaneous symmetry breaking;
  • IR geometries encode scaling exponents;
  • translation breaking controls DC transport;
  • bulk mass and charge determine operator dimension and charge;
  • extremal horizons can produce emergent AdS2_2 physics;
  • entanglement surfaces diagnose confinement-like transitions and effective degrees of freedom.

They also teach computational discipline. A student who masters a bottom-up calculation often understands the practical dictionary better than a student who has only read top-down slogans.

What bottom-up models cannot do by themselves

Section titled “What bottom-up models cannot do by themselves”

A bottom-up model cannot, by itself, prove that a particular real-world material has a gravity dual, that QCD is exactly described by a five-dimensional classical geometry, that arbitrary bulk potentials define consistent quantum gravity theories, that fitted parameters are fundamental, that all features of a computed correlator are universal, or that the model is valid outside its controlled regime.

The dangerous move is to take a useful analogy and silently promote it into an exact duality.

Bottom-up models deserve neither worship nor dismissal. They deserve careful use.

The bottom-up dictionary is the same source-response dictionary used throughout the course, but with an extra layer of humility:

Bulk ingredientBoundary interpretationWhat must be checked
asymptotic AdS metricUV CFT or near-CFT structurecorrect boundary dimension and sources
scalar mass m2m^2operator dimension Δ\Deltam2L2=Δ(Δd)m^2L^2=\Delta(\Delta-d)
scalar sourcecoupling or deformationexplicit versus spontaneous breaking
bulk gauge fieldglobal currentboundary conditions and ensemble
horizonthermal state and dissipationregularity, temperature, entropy
IR wall or capmass gap or confinement-like scaleboundary condition, stability
higher-derivative termfinite-gap or finite-coupling correctioncausality, perturbative control
fitted potentialphenomenological inputrobustness under deformations

A top-down model inherits consistency from string theory. A bottom-up model must earn consistency one check at a time.

“If the model is asymptotically AdS, it has a CFT dual.”

Section titled ““If the model is asymptotically AdS, it has a CFT dual.””

Not necessarily. Asymptotic AdS behavior is necessary for the standard UV dictionary, but it is not sufficient to prove a complete, unitary, UV-complete CFT dual. The interior, spectrum, interactions, boundary conditions, and quantum consistency all matter.

No. Bottom-up models are constrained by symmetry, the variational principle, holographic renormalization, Ward identities, thermodynamics, stability, and causality. Good bottom-up work is not arbitrary; it is disciplined effective theory.

A flexible model may fit data for many reasons. The stronger test is whether it predicts new observables, explains robust mechanisms, or shows universality under changes of irrelevant details.

“A hard wall is a confining geometry.”

Section titled ““A hard wall is a confining geometry.””

A hard wall can model a mass gap and a discrete spectrum, but it is imposed by hand. A smooth top-down confining geometry has dynamical IR structure. The hard wall is a useful toy model, not a derivation of confinement.

“The boundary U(1)U(1) in a holographic superconductor is automatically electromagnetism.”

Section titled ““The boundary U(1)U(1)U(1) in a holographic superconductor is automatically electromagnetism.””

In standard AdS/CFT, a bulk gauge field corresponds to a conserved global boundary current. The leading boundary value of AiA_i is a source for that current. The boundary photon is not automatically dynamical.

Exercise 1: Dimension from a chosen scalar mass

Section titled “Exercise 1: Dimension from a chosen scalar mass”

A bottom-up model in AdS5_5 contains a scalar with m2L2=3m^2L^2=-3. What boundary dimensions are allowed by the scalar mass-dimension relation?

Solution

For AdSd+1_{d+1} with d=4d=4,

m2L2=Δ(Δ4).m^2L^2=\Delta(\Delta-4).

Setting m2L2=3m^2L^2=-3 gives

Δ(Δ4)=3,\Delta(\Delta-4)=-3,

or

Δ24Δ+3=0.\Delta^2-4\Delta+3=0.

Thus

Δ=1orΔ=3.\Delta=1 \qquad\text{or}\qquad \Delta=3.

Both roots are above the BF bound. In many AdS/QCD applications, the Δ=3\Delta=3 root is used for a quark-bilinear-like operator qˉq\bar q q.

Exercise 2: Why does translation invariance produce a delta function in conductivity?

Section titled “Exercise 2: Why does translation invariance produce a delta function in conductivity?”

Explain why a finite-density system with exact translation invariance generically has a zero-frequency delta function in Reσ(ω)\mathrm{Re}\,\sigma(\omega).

Solution

At finite charge density, the electric current usually overlaps with the conserved momentum. If translations are exact, momentum cannot decay. An applied electric field continuously accelerates the charged fluid, so the DC conductivity is infinite.

In linear response, infinite DC conductivity appears as

Reσ(ω)πKδ(ω),\mathrm{Re}\,\sigma(\omega) \supset \pi K\delta(\omega),

with a corresponding pole in the imaginary part,

Imσ(ω)Kω.\mathrm{Im}\,\sigma(\omega) \sim \frac{K}{\omega}.

Bottom-up momentum-relaxing models break translations so that momentum can decay and the DC conductivity becomes finite.

Exercise 3: What does a bulk gauge field mean?

Section titled “Exercise 3: What does a bulk gauge field mean?”

In a bottom-up model, a bulk Maxwell field AMA_M is introduced. Does this mean the boundary theory contains a dynamical photon?

Solution

No, not in the standard Dirichlet AdS/CFT dictionary. A bulk gauge field is dual to a conserved global current JiJ^i in the boundary theory. The leading boundary value of AiA_i is a source for this current.

To make the boundary gauge field dynamical, one must change the boundary problem: for example, add a boundary Maxwell term or impose mixed boundary conditions in a suitable dimension. The default bulk Maxwell field represents a global symmetry, not boundary electromagnetism.

A bottom-up model predicts that a charged scalar condenses below TcT_c. Which part of this statement is likely to be robust, and which part is likely to be model-dependent?

Solution

The robust part is the mechanism: at finite density, the gauge field and near-horizon geometry can make a charged scalar effectively unstable, leading to a condensate when the source is set to zero.

The model-dependent parts include the numerical value of TcT_c, the detailed optical conductivity curve, the precise condensate amplitude, and the order of the transition. These depend on the scalar mass, charge, potential, backreaction, higher-derivative terms, and other details of the model.