Skip to content

Magnetohydrodynamics and Higher-Form Symmetries

Relativistic magnetohydrodynamics can be organized either with fluid and electromagnetic fields or with a conserved two-form current whose charge is magnetic flux. The descriptions agree in the regime where magnetic flux is long lived, electric fields relax rapidly, monopoles are absent, and the same electromagnetic stress and constitutive approximations are retained. Full Maxwell theory, resistive MHD, and ideal MHD are distinct truncations.

Required background. Higher-Form Currents, Charges, Backgrounds, and Ward Identities supplies the one-form symmetry. Conservation Laws and Hydrodynamic Fields and Relativistic Dissipative Hydrodynamics supply the stress-current framework.

Helpful background. Strong Hyperbolicity, Stability, and Causal Propagation supplies the constraint and characteristic checks.

In four dimensions define the two-form current

Jμν=12ϵμνρσFρσ,Bμ=Jμνuν.J^{\mu\nu} =- \frac12\epsilon^{\mu\nu\rho\sigma}F_{\rho\sigma}, \qquad B^\mu=-J^{\mu\nu}u_\nu.

The Bianchi identity is

μJμν=0.\nabla_\mu J^{\mu\nu}=0.

The overall sign is a convention chosen to agree with Bμ=12ϵμνρσuνFρσB^\mu=\tfrac12\epsilon^{\mu\nu\rho\sigma}u_\nu F_{\rho\sigma} in the site’s (+)(+---) metric. In a local rest frame, J0i=BiJ^{0i}=B^i. The ν=0\nu=0 equation is B=0\boldsymbol\nabla\cdot\mathbf B=0; the spatial equations are Faraday induction. A magnetic monopole current would appear on the right-hand side and explicitly break the one-form symmetry.

At ideal order, introduce a unit spacelike direction hμh^\mu along the flux, uh=0u\cdot h=0, and a flux density ρB\rho_B:

J(0)μν=2ρBu[μhν].J^{\mu\nu}_{(0)}=2\rho_Bu^{[\mu}h^{\nu]}.

The most general anisotropic ideal stress has separate pressures parallel and transverse to hμh^\mu. Its thermodynamic conjugate to ρB\rho_B is a one-form chemical potential. Grozdanov, Hofman, and Iqbal derive this higher-form formulation and its dissipative transport without assuming weak electromagnetic coupling Grozdanov, Hofman, and Iqbal 2017, §§II–IV, Open PDF.

In Heaviside–Lorentz units and flat spacetime, conventional ideal MHD imposes vanishing electric field in the fluid rest frame,

Fμνuν=0.F^{\mu\nu}u_\nu=0.

In three-vector notation this is

E+v×B=0.\mathbf E+\mathbf v\times\mathbf B=0.

Faraday’s law then gives flux freezing:

tB=×(v×B),B=0.\partial_t\mathbf B =\boldsymbol\nabla\times(\mathbf v\times\mathbf B), \qquad \boldsymbol\nabla\cdot\mathbf B=0.

The higher-form variables map as

ρB=PμνBμBν,hμ=BμρB.\rho_B=\sqrt{P_{\mu\nu}B^\mu B^\nu}, \qquad h^\mu=\frac{B^\mu}{\rho_B}.

The total stress must include the electromagnetic energy and tension. In the simplest isotropic medium this produces transverse magnetic pressure B2/2B^2/2 and longitudinal tension B2/2-B^2/2. The map fails if one compares a matter-only stress in one description with a matter-plus-field stress in the other.

Finite conductivity replaces the ideal constraint by a constitutive electric field and magnetic diffusion. Keeping displacement current gives full electromagnetic waves and a different high-frequency characteristic system; neglecting it is a low-frequency MHD approximation. Hernandez and Kovtun give a source-covariant relativistic formulation and its thermodynamic regimes Hernandez and Kovtun 2017, §§2–5, Open PDF.

Take equilibrium B=B0z^\mathbf B=B_0\widehat z and transverse perturbations δvx,δBx\delta v_x,\delta B_x depending on zz. Flux freezing gives

tδBxB0zδvx=0.\partial_t\delta B_x-B_0\partial_z\delta v_x=0.

Transverse momentum conservation gives

(w+B02)tδvxB0zδBx=0,(w+B_0^2)\partial_t\delta v_x -B_0\partial_z\delta B_x=0,

where w=ϵ+pw=\epsilon+p is the matter enthalpy and B02B_0^2 is the electromagnetic inertia in the stated units. Combining them yields

ω2=vA2kz2,vA2=B02w+B021.\omega^2=v_A^2k_z^2, \qquad v_A^2=\frac{B_0^2}{w+B_0^2}\le1.

In the two-form language, the same pair comes from transverse fluctuations of uμu^\mu and hμh^\mu in μTμν=0\nabla_\mu T^{\mu\nu}=0 and μJμν=0\nabla_\mu J^{\mu\nu}=0. The equality of speeds is the decisive map check. Oblique perturbations also produce fast and slow magnetosonic modes; dissipation broadens all branches and introduces magnetic diffusion.

The divergence constraint must propagate numerically. A discretization with B0\boldsymbol\nabla\cdot\mathbf B\ne0 adds an unphysical longitudinal force and mode. Boundary conditions must be assigned to incoming characteristic fields, not independently to every primitive variable.

Ideal flux freezing requires conductivity large compared with the frequencies and lengths of interest. It does not hold across reconnection layers, resistive boundaries, finite monopole density, or frequencies where displacement current matters. A background electromagnetic field is not a dynamical hydrodynamic flux; its energy is supplied externally and its Ward identity differs.

The left branch identifies the higher-form extension used here. Inspect how magnetic flux is promoted to a hydrodynamic variable, rather than treated as a fixed external source or folded into the ordinary charge-current branch.

The hydrodynamic core has a separate leftward branch to magnetohydrodynamics and higher-form symmetry labeled magnetic-flux variables; six other arrows add fluctuation, Goldstone, anomaly, integrable, spin, or critical data.

When magnetic flux is conserved on the observation scale, the two-form current supplies an additional hydrodynamic density and ideal MHD supports Alfvén and magnetosonic propagation. This differs from response to a nondynamical background field. The diagram is schematic and does not encode resistivity, reconnection, monopole relaxation, or electromagnetic boundary conditions.

In text: impose μJμν=0\partial_\mu J^{\mu\nu}=0, identify Bμ=JμνuνB^\mu=-J^{\mu\nu}u_\nu in the site convention, include the field energy and tension in TμνT^{\mu\nu}, and linearize the coupled flux and momentum equations. Flux relaxation removes this branch from the strict hydrodynamic set.

Derive the Alfvén speed from the two displayed linear equations and give its weak- and strong-field limits.

Solution

Differentiate the induction equation in time and use the momentum equation:

t2δBxB02w+B02z2δBx=0.\partial_t^2\delta B_x -\frac{B_0^2}{w+B_0^2}\partial_z^2\delta B_x=0.

Thus vA2=B02/(w+B02)v_A^2=B_0^2/(w+B_0^2). For B02wB_0^2\ll w, vAB0/wv_A\simeq B_0/\sqrt w. For B02wB_0^2\gg w, vA1v_A\to1 from below. The limiting light speed results only because electromagnetic inertia was included.

Calling a background field MHD. MHD evolves electromagnetic flux and includes field stress.

Dropping B=0\boldsymbol\nabla\cdot\mathbf B=0. It is a constraint inherited from higher-form conservation.

Using ideal flux freezing at a reconnection scale. Resistivity and microscopic nonideal terms control that region.

Charged and Anomalous Hydrodynamics treats parity-odd charge response in prescribed sources. Spectral Functions and Transport Peaks distinguishes Alfvén poles from diffusive and electromagnetic continua.

  • Grozdanov, Sašo, Diego M. Hofman, and Nabil Iqbal. 2017. “Generalized Global Symmetries and Dissipative Magnetohydrodynamics.” Physical Review D 95: 096003. DOI. Open PDF.

  • Hernandez, Juan, and Pavel Kovtun. 2017. “Relativistic Magnetohydrodynamics.” Journal of High Energy Physics 2017 (5): 001. DOI. Open PDF.