--- title: Schwarzschild–Bonnor–Melvin Geometry url: https://www.emergentmind.com/topics/schwarzschild-bonnor-melvin type: topic --- # Schwarzschild–Bonnor–Melvin Geometry Schwarzschild–Bonnor–Melvin denotes the static, axisymmetric spacetime obtained by immersing a Schwarzschild black hole in the Bonnor–Melvin magnetic universe. In the standard Einstein–Maxwell realization, with $$ f(r)=1-\frac{2m}{r},\qquad \Lambda(r,\theta)=1+\frac{B^2}{4}r^2\sin^2\theta, $$ the line element and Maxwell potential are $$ ds^2=\Lambda^2(r,\theta)\Bigl[-f(r)\,dt^2+f(r)^{-1}dr^2+r^2\,d\theta^2\Bigr]+\Lambda^{-2}(r,\theta)\,r^2\sin^2\theta\,d\varphi^2, $$ $$ A_\varphi(r,\theta)=\frac{B\,r^2\sin^2\theta}{2\,\Lambda(r,\theta)},\qquad A_t=A_r=A_\theta=0, $$ with \(B\) measuring the strength of the asymptotically uniform magnetic field along the \(z\)-axis. The geometry is therefore not asymptotically flat but approaches the Bonnor–Melvin universe, and in the mathematical relativity literature it appears as the magnetized Schwarzschild solution whose spatial slice is asymptotically Melvin [2508.12908, 1407.3529]. ## 1. Canonical Einstein–Maxwell form The standard construction begins from the vacuum Schwarzschild seed written in Schwarzschild-like coordinates \((t,r,\theta,\varphi)\), $$ ds^2_{\rm Schw} = -\Bigl(1-\frac{2m}{r}\Bigr)\,dt^2 + \Bigl(1-\frac{2m}{r}\Bigr)^{-1}dr^2 + r^2\Bigl(d\theta^2+\sin^2\theta\,d\varphi^2\Bigr). $$ In the Ernst formulation one introduces the complex gravitational potential \(\mathcal{E}_0=f_0=1-\tfrac{2m}{r}\) and electromagnetic Ernst potential \(\Phi_0=0\). A purely magnetic Harrison transformation with real parameter \(B\) acts through the function $$ \Lambda(r,\theta)=1+\frac{B^2}{4}\,r^2\sin^2\theta, $$ and sends $$ f_0\longrightarrow \bar f=\Lambda^2 f_0,\qquad \Phi_0=0\longrightarrow \bar\Phi=\frac{B}{2}\,\frac{r^2\sin^2\theta}{\Lambda}, $$ while leaving the twist \(\omega=0\) and the function \(\gamma\) essentially unchanged up to gauge. The resulting line element is precisely the Schwarzschild–Bonnor–Melvin metric written above, and the only nonzero component of the Maxwell four-potential is \(A_\varphi\) [2508.12908]. This places the solution within the standard Harrison-transform orbit of static axisymmetric Einstein–Maxwell spacetimes. The same source also states that the pure Schwarzschild–Bonnor–Melvin solution is recovered as a limit of the more general Schwarzschild–Bertotti–Robinson–Bonnor–Melvin family by setting $$ B_{\rm BR}=0,\qquad b\longrightarrow B, $$ that is, by turning off the Bertotti–Robinson sector and renaming the Harrison parameter as the physical magnetic field [2508.12908]. ## 2. Horizon data, distortion, and asymptotics For the standard Schwarzschild–Bonnor–Melvin metric, the Killing horizon of \(\chi=\partial_t\) is located by \(g^{rr}=0\), hence $$ r_{\rm h}=2m. $$ The surface gravity remains the Schwarzschild value, $$ \kappa=\frac{1}{2}\,\Bigl.\frac{d}{dr}\Bigl(1-\frac{2m}{r}\Bigr)\Bigr|_{r=2m} =\frac{1}{4m}, $$ and the Hawking temperature is correspondingly $$ T_H=\frac{\kappa}{2\pi}=\frac{1}{8\pi m}. $$ A Komar or ADM mass computed at infinity remains \(M=m\), with the caveat that the normalization of \(\partial_t\) in a non-flat asymptotic requires care but does not alter the identification \(M=m\) [2508.12908]. The horizon geometry is distorted by the external field. If the two-dimensional horizon surface \((\theta,\varphi)\) is embedded into \(\mathbb{E}^3\), the polar radius is larger than the equatorial radius. The equatorial circumference is $$ C_e=\frac{2\pi\,r_{\rm h}}{\Lambda(r_{\rm h},\pi/2)}, $$ so it is reduced relative to the Schwarzschild value \(2\pi(2m)\), whereas the polar semicircumference is slightly enlarged. Nevertheless the horizon area remains exactly $$ A=4\pi(2m)^2, $$ the same as for vacuum Schwarzschild. No conical singularities arise on the axis provided \(\varphi\) has its standard period \(2\pi\) and \(\Lambda>0\) everywhere [2508.12908]. The coordinate ranges are the usual exterior ones, $$ t\in(-\infty,\infty),\qquad r>2m,\qquad \theta\in[0,\pi],\qquad \varphi\sim\varphi+2\pi. $$ Because \(\Lambda(r,\theta)>0\) for all \(r,\theta\), no new coordinate singularities appear outside \(r=2m\). The only genuine curvature singularity lies at \(r=0\). As \(r\to\infty\), \(g_{tt}\to-\Lambda^2\to-\infty\) rather than a constant, so the spacetime is not asymptotically flat but approaches the Bonnor–Melvin universe [2508.12908]. A common misconception is that the external magnetic field should shift the horizon radius or the thermodynamic temperature. In the standard Einstein–Maxwell solution neither effect occurs: the field deforms the horizon intrinsically while leaving \(r_{\rm h}\), \(\kappa\), \(T_H\), and \(A\) unchanged [2508.12908]. ## 3. Asymptotically Melvin initial data and harmonic spinors On a time-symmetric spatial slice, the relevant geometric setting is an axisymmetric Riemannian \(3\)-manifold \((\Sigma,\hat g)\) with metric $$ \hat g=\tilde g+X\,d\phi^2, $$ where \((r,\theta,\phi)\) are cylindrical or spherical coordinates at each end, \(\phi\in[0,2\pi)\) is the Killing coordinate, and \(\tilde g\) and \(X\) are \(\phi\)-independent. The Killing field \(\partial_\phi\) generates closed orbits and its zero set is the symmetry axis. The manifold is asymptotically Melvin with field-strength parameter \(b\ge 0\) if on each end \(U\simeq\mathbb{R}^3\setminus B\) one can write $$ \tilde g=(1+v_1)\,F^2(dr^2+r^2\,d\theta^2),\qquad X=(1+v_2)\,F^{-2}\,r^2\sin^2\theta, $$ with $$ F(r,\theta)=1+b\,r^2\sin^2\theta, $$ and remainders \(v_1,v_2\in W^{2,p}_{-\tau+1}(\mathbb{R}^3\setminus B)\), \(\tau>\tfrac12\), \(p\ge 4\). In particular, as \(r\to\infty\), \(v_i=O(r^{-1})\), \(\partial v_i=O(r^{-2})\), and \(F\to 1+b\,r^2\sin^2\theta\) [1407.3529]. For \(\phi\)-independent spinors \(\xi\in\mathbb{C}^2\), one defines weighted Sobolev norms relative to \(\hat g\), and the closed subspace $$ \mathcal{W}^{2,p}_{-\epsilon}=\{\xi\in W^{2,p}_{-\epsilon}:\partial_\phi\xi=0\}, \qquad \frac{2}{p}<\epsilon<2-\frac{2}{p}. $$ Under the assumptions \(R_{\hat g}\ge 0\), asymptotically Melvin with parameter \(b>0\), and finitely many ends, the Dirac operator $$ D_{\hat g}:\mathcal{W}^{2,p}_{-\epsilon}\to\mathcal{W}^{1,p}_{-\epsilon-1-2/p} $$ is an isomorphism onto its range. In particular there is a unique, up to normalization, nontrivial spinor \(\Theta\in\mathcal{W}^{2,p}_{-\epsilon}\) solving $$ D_{\hat g}\Theta=0. $$ This is the existence theorem for the harmonic spinor used in the uniqueness analysis of the magnetized Schwarzschild solution [1407.3529]. The proof proceeds by introducing an auxiliary asymptotically flat metric $$ g=(1+v_1)(dr^2+r^2d\theta^2)+(1+v_2)\,r^2\sin^2\theta\,d\phi^2, $$ using Bartnik’s semi-Fredholm result for \(D_g\), and comparing \(D_{\hat g}\) to \(D_g\). With appropriately chosen orthonormal frames, $$ D_{\hat g}=F^{-1}D_g+\text{lower-order terms }O'(r^{-1}), $$ so \(D_{\hat g}\) is a compact perturbation of a semi-Fredholm operator. Formal self-adjointness, nonnegativity of \(R_{\hat g}\), and the Weitzenböck–Lichnerowicz identity then imply trivial adjoint kernel and hence index zero [1407.3529]. In a local orthonormal frame \(\{e_i\}\), the Dirac operator is $$ D_g\psi=\sum_{i=1}^3 e^i\cdot \nabla_{e_i}\psi, $$ and the Weitzenböck–Lichnerowicz identity is $$ D^2\psi=\nabla^*\nabla\psi+\frac14 R\,\psi, $$ equivalently $$ 2\Delta |\psi|^2=R\,|\psi|^2+4|\nabla\psi|^2. $$ Once \(\Theta\) satisfies \(D_{\hat g}\Theta=0\) and tends to a constant spinor at infinity, integration over large coordinate balls \(B_r\) yields $$ \int_{\partial B_r}\partial_n|\Theta|^2\ge 0. $$ A direct asymptotic expansion shows $$ \partial_n|\Theta|^2=2\,b\,r\,\sin^2\theta+O(r^{-\epsilon}), $$ and since the \(\hat g\)-area form on \(\partial B_r\) is \(F\,r^2\sin\theta\,d\theta\,d\phi\), $$ \int_{\partial B_r}\partial_n|\Theta|^2=\frac{16\pi}{3}\,b\,r^3+o(r^3). $$ Thus the Melvin parameter is extracted from the spinor energy by $$ b=\frac{3}{32\pi}\lim_{r\to\infty}r^{-3}\int_{B_r}\bigl[R_{\hat g}|\Theta|^2+4|\hat\nabla\Theta|^2\bigr]\,d{\rm vol}_{\hat g}. $$ This identifies the asymptotic magnetic parameter through a positive-mass-type integral on the initial slice [1407.3529]. ## 4. Rigidity and uniqueness of the magnetized Schwarzschild solution The harmonic-spinor construction is applied to the time-symmetric slice \((\Sigma,\hat g)\) of a static Einstein–Maxwell spacetime with two ends and a totally geodesic horizon surface. Two auxiliary metrics are introduced on \(\Sigma\), $$ \eta^+=\zeta^+\,\tilde g+f^+\,d\phi^2,\qquad \eta^-=\zeta^-\,\tilde g+f^-\,d\phi^2, $$ where $$ \zeta^\pm=\frac14\Bigl(1-\frac{M}{r}\pm\sqrt{1-\frac{2M}{r}}\Bigr)^2F^{-2}, \qquad f^\pm=\frac14\Bigl(1-\frac{M}{r}\pm\sqrt{1-\frac{2M}{r}}\Bigr)^2r^2\sin^2\theta. $$ Here \(M\) is the mass parameter and \(b\) the background Melvin parameter through \(F=1+b\,r^2\sin^2\theta\) [1407.3529]. By conformal-type spinor transformation laws, each \(\eta^\pm\) admits a harmonic spinor pulled back from \(\Theta\), satisfying $$ D_{\eta^\pm}\psi^\pm=0, $$ together with zero-mass asymptotics for \(\eta^+\) and regularity at the fixed-point set for \(\eta^-\). The integrated Weitzenböck identities on \(\eta^\pm\) force both metrics to be flat. Flatness of \(\eta^+\) then implies that \((M,b)\) must coincide with the known Schwarzschild–Bonnor–Melvin family. Accordingly, the only static, axisymmetric, asymptotically Melvin solution with a nondegenerate horizon is the magnetized Schwarzschild solution found by Bonnor and Melvin [1407.3529]. This rigidity statement is significant because it is formulated in a non-asymptotically-flat setting. The role usually played by asymptotically Euclidean spinorial arguments is replaced by a Melvin-end analysis in weighted Sobolev spaces, together with the extraction of the Melvin parameter from the asymptotics of the harmonic spinor. A plausible implication is that the Schwarzschild–Bonnor–Melvin geometry is distinguished not merely by explicit solution generation but also by a boundary-value characterization intrinsic to asymptotically Melvin initial data. ## 5. Nonlinear-electrodynamic extension: the ModMax case In Einstein–ModMax theory, the Schwarzschild–Melvin–Bonnor configuration is generalized by allowing both asymptotic electric and magnetic fields. Denoting the ModMax coupling by \(\gamma\), the black-hole mass by \(m\), and the asymptotic fields by \(E\) and \(B\), one defines $$ H(r,\theta)=1+\frac{e^{-\gamma}(E^2+B^2)}{4}\,r^2\sin^2\theta, $$ and writes the metric and gauge potential as $$ ds^2=H(r,\theta)^2\Bigl[-f(r)\,dt^2+\frac{dr^2}{f(r)}+r^2d\theta^2\Bigr] +H(r,\theta)^{-2}\,r^2\sin^2\theta\,d\phi^2, \qquad f(r)=1-\frac{2m}{r}, $$ $$ \mathcal{A}=e^{-\gamma}E\,r\,f(r)\,\cos\theta\,dt +\frac{B\,r^2\sin^2\theta}{2\,H(r,\theta)}\,d\phi. $$ In the Maxwell limit \(\gamma\to 0\), one recovers the standard Ernst–Schwarzschild–Melvin solution [2409.12336]. The construction is obtained from the ModMax \(C\)-metric of two oppositely charged accelerating black holes through a limiting procedure: one moves to a near-Rindler-horizon scaling, sends the acceleration configuration to infinity, and is left with the self-gravitating homogeneous field identified as the ModMax Melvin–Bonnor universe. A subsequent embedding of a Schwarzschild black hole yields the full metric and potential above. The paper attributes the starting ModMax \(C\)-metric to Barrientos et al. 2022 and states that for all Melvin–Bonnor–ModMax configurations one has \(\mathcal{S}\propto\mathcal{P}\), so the full field equations reduce to the Maxwell form [2409.12336]. A distinctive feature is a Kerr–Schild representation. With seed fields $$ ds_0^2=H^2(-dt^2+dr^2+r^2d\theta^2)+H^{-2}r^2\sin^2\theta\,d\phi^2, \qquad \mathcal{A}_0=e^{-\gamma}E\,r\cos\theta\,dt+\frac{B\,r^2\sin^2\theta}{2H}\,d\phi, $$ and null, geodesic, shear-free one-form $$ \ell=dt-dr, $$ the full solution is $$ g_{\mu\nu}=g^{(0)}_{\mu\nu}+\frac{2m}{r}\,H(r,\theta)^2\,\ell_\mu\ell_\nu, \qquad \mathcal{A}_\mu=\mathcal{A}^{(0)}_\mu+2mE\cos\theta\,\ell_\mu. $$ The field equations are satisfied provided \(\ell\) is null and geodesic with respect to \(g^{(0)}\) [2409.12336]. The global structure remains close to the Maxwellian case. The horizon is at \(r=2m\), no additional Melvin-type horizons arise, the Penrose diagrams coincide with Schwarzschild at fixed \((\theta,\phi)\), and no ergoregion or superradiant region appears since the solution is static. The Kretschmann scalar remains finite on and outside the event horizon away from the physical singularity at \(r=0\), and the ModMax energy–momentum tensor respects the weak, strong, and dominant energy conditions for \(\gamma\ge 0\). The presence of the asymptotic electric field \(E\) and the screening factor \(e^{-\gamma}\) modifies the geometry and field lines, while in the limit \(\gamma\to\infty\) the electric sector is completely suppressed [2409.12336]. ## 6. Scalar, dilatonic, and baryonic extensions One line of generalization embeds Schwarzschild-like compact objects with scalar hair into Melvin-type fields in Einstein–Maxwell–dilaton theories. Starting from the Just–Fisher–Janis–Robinson–Winicour seed with parameters \(r_s>0\) and \(b\in(0,1]\), $$ ds^2_{\rm JFJW} = -\Bigl(1-\frac{r_s}{r}\Bigr)^b dt^2 + \Bigl(1-\frac{r_s}{r}\Bigr)^{-b}dr^2 + \Bigl(1-\frac{r_s}{r}\Bigr)^{1-b}r^2(d\theta^2+\sin^2\theta\,d\phi^2), $$ $$ \varphi(r)=\frac{\sqrt{1-b^2}}{2}\,\ln\!\Bigl(1-\frac{r_s}{r}\Bigr), $$ one obtains, by the Harrison–Demiański–Dowker procedure, an exact axisymmetric magnetized solution with a uniform magnetic field asymptotically along the \(z\)-axis. In the special case \(b=1\), the dilaton vanishes and one recovers exactly the standard Schwarzschild–Melvin (Bonnor–Melvin) metric of general relativity. When \(B=0\), the solution reduces to the JFJW seed. The scalar charge is identified from the asymptotic decay $$ \varphi(r)\sim -\frac{Q_d}{r},\qquad Q_d=\frac{\sqrt{1-b^2}}{2}\,r_s=M\sqrt{2(1-b^2)},\qquad M=\frac{r_s}{2}. $$ For \(b=1\) there is a regular event horizon at \(r=r_s\), but for \(0