03
◇ part I · foundations

The ambient arena is ℝ³ × ℝw; the brane is the hypersurface w = 0

A brane observer measures the fluid through a projection in ww — not a coordinate restriction. We make the distinction between projection (exact, defined by a kernel) and reduction (approximate, defined by a limit) explicit, because the rest of the program depends on keeping them apart.

Ambient geometryProjection kernelZero-mode closuresector: geometry4D · Action & Projections
◇ ambient geometry

The spatial arena is four-dimensional; time is a real line

The parent theory lives on the flat manifold M=Rx3×Rw×Rt\mathcal{M} = \mathbb{R}^3_{\mathbf{x}} \times \mathbb{R}_w \times \mathbb{R}_t with Euclidean signature on spatial factors. The extra spatial coordinate is labelled ww. No compactification is imposed: w∈Rw \in \mathbb{R} and boundary conditions are asymptotic flatness of the fluid. The brane is the embedded hypersurface
◇ brane embedding · Part I Eq. 3.1
Σ\Sigma is a static, flat 3+1 slice in this volume of the program. Moving-throat extensions promote Σ\Sigma to a distributed profile in topic 11.
Σ  =  { (x,w,t)∈M : w=0 },dim⁡Σ  =  3+1\begin{aligned} \Sigma &\;=\; \{\, (x,w,t) \in \mathcal{M} \,:\, w = 0 \,\}, \\ \dim \Sigma &\;=\; 3+1 \end{aligned}
Quantities on M\mathcal{M} will be decorated with the argument ww. Quantities on Σ\Sigma will be denoted with a ⋅^\hat{\cdot} or an explicit w=0w = 0 evaluation. This is a notational choice only; no physical claim is embedded in it.
◇ projection kernel · exact

What the brane measures is the w-average against a fixed kernel W(w)

Let Φ(x,w,t)\Phi(x,w,t) denote any bulk field. The brane's measurement of Φ\Phi is defined as the projected field
◇ projection · Part I Eq. 3.2
W(w)W(w) is part of the data of the theory, not an approximation. It declares how the brane samples ww.
Φ^(x,t)  =  ∫−∞∞W(w) Φ(x,w,t) dw,∫W(w) dw  =  1,  W≥0\begin{aligned} \widehat{\Phi}(x,t) &\;=\; \int_{-\infty}^{\infty} W(w)\, \Phi(x,w,t)\, dw, \\ \int W(w)\, dw &\;=\; 1,\ \ W \geq 0 \end{aligned}
Two pieces of bookkeeping matter downstream. The first is the normalized measurement kernel W(w)W(w), whose derivative controls leakage terms when brane-projected continuity is written as an open-system identity. The second is the independent gauge localization profile Z(w)Z(w), whose integral Zint=∫Z(w) dwZ_\text{int} = \int Z(w)\, dw enters the zero-mode EM reduction and sets μ0,eff=μ0/Zint\mu_{0,\text{eff}} = \mu_0 / Z_\text{int}.
W(w) measurement definitionconsumed by: topic 06 (EM)consumed by: topic 05 (inflow)
◇ reduction ≠ projection · controlled limit

Brane reduction is an approximation with explicit assumptions

Many of the brane-side equations used downstream are not the exact projection of the parent PDE, but its reduction under a declared limit. A typical reduction assumes low-frequency motion in ww, writes Φ(x,w,t)≈ϕ0(x,t) f(w)\Phi(x,w,t) \approx \phi_0(x,t)\,f(w) for some profile f(w)f(w), and integrates out ww against ff to obtain a closed brane equation for ϕ0\phi_0.
◇ zero-mode ansatz · controlled reduction
δΦ⊥\delta\Phi_\perp is the suppressed higher-mode residual. Its neglect is the content of the reduction badge.
Φ(x,w,t)  ≈  ϕ0(x,t) f(w)  +  δΦ⊥(x,w,t),⟨f, δΦ⊥⟩w  =  0\begin{aligned} \Phi(x,w,t) &\;\approx\; \phi_0(x,t)\, f(w) \;+\; \delta\Phi_\perp(x,w,t), \\ \langle f,\, \delta\Phi_\perp\rangle_w &\;=\; 0 \end{aligned}
The program keeps these two operations notationally and epistemically distinct. A brane identity that follows directly from the projection definition can be labelled exact. A brane equation that also requires a zero-mode or long-wavelength ansatz carries the controlled reduction badge. Residual mixed channels such as AwA_w, JwJ^w, and FμwF_{\mu w} are suppressed only inside those controlled limits, and are labelled open when their full dynamics are not yet closed.
◇ mode structure

Suppressed channels along w

The zero-mode closure suppresses — but does not remove — several bulk channels that reappear in downstream topics. We list them here to reserve vocabulary:
AwA_w
Transverse gauge component — excited outside the pure zero mode
JwJ^w
Transverse current — brane-bulk exchange and leakage
FμwF_{\mu w}
Mixed field strength — absent in strict 3+1 Maxwell
EwE_w
Transverse electric component
Ca=FawC_a = F_{aw}
Brane-transverse mixed component
δρ⊥\delta\rho_\perp
Higher-mode density residual — plasma non-ideality
These channels are suppressed in the far-field brane Maxwell limit (topic 06) but cannot be removed from the microscopic theory. Any physical context that breaks the zero-mode hypothesis — strong fields, rapid w-dynamics, near-throat geometry — will re-excite them.
◇ forward reference

What this sets up

The machinery defined here is applied immediately in topic 04: throats are brane-anchored defect geometries whose full profile extends into ww, and whose brane trace is read via the projection kernel above. Gravity (topic 05) comes from the projected inflow current Jw^\widehat{J^w} into a throat. Electromagnetism (topic 06) comes from a localized 4+1 Maxwell sector with its own localization profile Z(w)Z(w) and a controlled zero-mode brane reduction.
← previous02 · Defects and Topological Stabilitynext →04 · Throat Defects