--- title: Stenzel Metric in Calabi–Yau Geometry url: https://www.emergentmind.com/topics/stenzel-metric type: topic --- # Stenzel Metric in Calabi–Yau Geometry The **Stenzel metric** is the complete Ricci-flat Kähler metric constructed by Stenzel on the complexification of a compact rank-one symmetric space. In its standard and most studied form, it is the unique (up to scale), complete, \(SO(n+1)\)-invariant, Ricci-flat Kähler metric on \[ M=\left\{z\in\mathbb{C}^{n+1}:\sum_{i=1}^{n+1} z_i^2=1\right\}\cong T^*S^n, \] the affine smoothing of the ordinary double point \[ C=\left\{z\in\mathbb{C}^{n+1}:\sum_{i=1}^{n+1} z_i^2=0\right\}. \] It is a Calabi–Yau metric with holonomy contained in \(SU(n)\), cohomogeneity one under the natural orthogonal action, and asymptotically conical with tangent cone given by the quadric Calabi–Yau cone [1205.6347]. In broader usage, “Stenzel metric” also refers to the corresponding complete Ricci-flat Kähler metrics on the complexifications of other compact rank-one globally symmetric spaces, including \(\mathbb{CP}^n\), \(\mathbb{HP}^n\), and \(\mathbb{OP}^2\) [1901.03129]. ## 1. Geometric models and basic examples For the sphere case, the metric lives on the Stein manifold \[ M=\left\{z\in\mathbb{C}^{n+1}: \sum_{i=1}^{n+1} z_i^2=1\right\}\cong T^*S^n, \] while the tangent cone at infinity is the quadric cone \[ C=\left\{z\in\mathbb{C}^{n+1}: \sum_{i=1}^{n+1} z_i^2=0\right\}. \] Both \(C\) and \(M\) carry holomorphic volume forms defined by residue formulas, so \(K_C\) and \(K_M\) are trivial. In this model the Stenzel metric is Calabi–Yau, and the zero section \(S^n\subset T^*S^n\) is a special Lagrangian submanifold [1205.6347]. Several low-dimensional instances recur across the literature. For \(n=2\), the metric is the Eguchi–Hanson metric. For \(n=3\), it is the deformed conifold metric of Candelas–de la Ossa. A different convention is common in the M-theory literature: the “\(n=3\) Stenzel space” there is the 8-dimensional complex manifold homeomorphic to \(T^*S^4\), realized as \[ z^i z^i=\epsilon^2,\qquad z^i\in \mathbb{C}^{5}, \] with asymptotic link \(V_{5,2}=SO(5)/SO(3)\) and a finite \(S^4\) bolt at the tip [1704.02323]. Stenzel’s construction also extends beyond spheres. On the complexifications of \(\mathbb{CP}^n\) and \(\mathbb{HP}^n\), the metric is again described by a radial Kähler potential \(f(N)\) in an invariant variable \(N\), and the resulting metrics are complete, Ricci-flat, and Kähler [1901.03129]. ## 2. Kähler potential, Ricci-flat ODE, and asymptotic cone In the sphere case, the metric is determined by an \(SO(n+1)\)-invariant Kähler potential depending only on the ambient radial function \(\tau(z)=|z|^2\). Stenzel’s formula may be written as \[ \omega=i\partial\bar\partial(f\circ \tau), \] where \(f(\tau)=h(w)\), \(\tau=\cosh w\), and \(h\) satisfies \[ (h'(w)^n)'=(\sinh w)^{n-1},\qquad h'(0)=0. \] The tangent cone metric \(g_0\) on \(C\) is the Calabi–Yau cone with Kähler potential \(\tau^{1-1/n}\), equivalently \[ \tau^{1-1/n}=r^2, \] where \(r\) is the cone radius [1205.6347]. The asymptotically conical structure is sharp. For \(M=T^*S^n\), the metric difference from the cone satisfies \[ \Phi^*g-g_0=O\!\left(r^{-2n/(n-1)}\right) \] with all derivatives, and this rate is optimal. The leading term is explicitly computed in Bianchi gauge as a tracefree \(SO(n+1)\)-invariant symmetric \(2\)-tensor of order \(1/\tau\), so the decay rate is exactly \[ -\frac{2n}{n-1}. \] Special cases emphasized in the literature are \(n=3\), where the rate is \(-3\), and \(n=2\), where the rate is \(-4\) [1205.6347]. The same paper places the Stenzel metric in a general AC Calabi–Yau framework. There, uniqueness is proved under the relaxed decay assumption \(O(r^{-\epsilon})\), using two analytic inputs: any harmonic function of rate \(<2\) on an AC Kähler manifold with \(\mathrm{Ric}\ge 0\) is pluriharmonic, and any \(d\)-exact real \((1,1)\)-form with small negative rate is \(i\partial\bar\partial\) of a function with rate \(<2\). In the smoothing \(M=\{\sum z_i^2=1\}\), this yields uniqueness of the AC Calabi–Yau metric up to scaling [1205.6347]. ## 3. The eight-dimensional Stenzel space and its invariant \(SU(4)\)-structure For the 8-dimensional case relevant to \(T^*S^4\), the Stenzel space is the deformed quadric \[ z^i z^i=\epsilon^2,\qquad i=1,\dots,5, \] homeomorphic to \(T^*S^4\). Its principal orbits are copies of the Stiefel manifold \(V_{5,2}=SO(5)/SO(3)\), and the cohomogeneity-one metric is written using invariant one-forms \(\nu,\sigma_i,\tilde\sigma_i\) as \[ ds_S^2=c(\tau)^2\left(\frac{d\tau^2}{4}+\nu^2\right)+\sum_{i=1}^3\left[a(\tau)^2\sigma_i^2+b(\tau)^2\tilde\sigma_i^2\right]. \] Ricci-flatness and Kählerity determine the radial functions uniquely, with \[ a^2(\tau)=\frac{3^{3/4}\ell_\epsilon^2}{2}(2+\cosh\tau)^{1/4}\cosh(\tau/2), \] \[ b^2(\tau)=\frac{3^{3/4}\ell_\epsilon^2}{2}(2+\cosh\tau)^{1/4}\frac{\sinh^2(\tau/2)}{\cosh(\tau/2)}, \] \[ c^2(\tau)=\frac{3^{7/4}\ell_\epsilon^2}{2}\frac{\cosh^3(\tau/2)}{(2+\cosh\tau)^{3/4}}. \] As \(\tau\to 0\), \(b(\tau)\to 0\) while \(a(\tau)\) and \(c(\tau)\) stay finite, so the \(S^3\) fiber collapses smoothly and the tip is an \(S^4\) bolt. As \(\tau\to\infty\), the metric approaches the cone over \(V_{5,2}\) [1704.02323]. An equivalent invariant description uses a radial potential \(\mathfrak{F}(r^2)\) on \(T^*S^4\). In that notation, \[ \omega=P(r)\,dr\wedge \theta^1+Q(r)(\theta^{25}+\theta^{36}+\theta^{47}), \] and the Calabi–Yau condition is the scalar ODE \[ PQ^3=\frac{r}{2}R_+^2R_-^2. \] The canonical \(Spin(7)\) form on this Calabi–Yau fourfold is \[ \Phi=\frac{1}{2}\omega\wedge\omega+\mathrm{Re}(\Omega), \] and the zero section \(S^4\subset T^*S^4\) is calibrated by \(\Phi\), hence is a Cayley submanifold [2005.00287]. A further geometric feature of the 8-dimensional Stenzel metric is the existence of a unique \(L^2\)-normalisable self-dual harmonic \(4\)-form \(\alpha_{(4)}\), written as \(\alpha_{(4)}=d\beta_{(3)}=\star_8\alpha_{(4)}\). This form is central in the CGLP M-theory solution and in flux quantization problems on warped Stenzel backgrounds [1704.02323]. ## 4. Rigidity, uniqueness, and Liouville-type theorems A recent rigidity theorem gives a strong characterization of Stenzel metrics by quasi-isometry at infinity. Let \((C,J_C,\omega_C,g_C)\) be a Calabi–Yau cone and \((M,J,\omega,g)\) an open Ricci-flat Kähler manifold modeled on \(C\) in the sense that, outside a compact set, there is a diffeomorphism \(\Phi\) with \[ |\nabla_{g_C}^j(\Phi^*J-J_C)|_{g_C}=O(r^{-\lambda-j}) \] for some \(\lambda>0\), and with two-sided bounds \[ C^{-1}\omega_C\le \Phi^*\omega\le C\omega_C. \] Under these hypotheses, \(g\) is asymptotically conical and has unique tangent cone at infinity equal to \((C,d_{g_C},o)\) [2606.04213]. Applied to the Stenzel smoothing, this yields the corollary: if \(\omega\) is a Ricci-flat Kähler metric on \[ T^*S^n\cong \left\{z\in\mathbb{C}^{n+1}:\sum_{i=1}^{n+1} z_i^2=1\right\} \] such that \[ A^{-1}\omega_{\mathrm{st}}\le \omega\le A\,\omega_{\mathrm{st}} \] for some \(A>1\), then \[ \omega=\lambda\,\Psi^*\omega_{\mathrm{st}} \] for some diffeomorphism \(\Psi\) and \(\lambda>0\). The corollary applies for all \(n\ge 2\) [2606.04213]. Related rigidity appears for the Stenzel cone itself. In the setting of complete Calabi–Yau metrics on \(\mathbb{C}^n\) with tangent cone at infinity \(\mathbb{C}\times A_1\), where \(A_1\) is the \((n-1)\)-dimensional Stenzel cone, the metric is unique up to scaling and biholomorphism. The argument combines Donaldson–Sun theory, a decay-improvement scheme for the complex Monge–Ampère equation, and the structure of harmonic functions on \(\mathbb{C}\times A_1\) [1906.11107]. ## 5. Calibrated submanifolds, monopoles, and instantons The zero section is a distinguished calibrated submanifold for Stenzel metrics. In \(T^*S^n\) it is special Lagrangian, and in the Stenzel metric on \(T^*S^n\) with \(n>1\), every compact minimal submanifold must lie in the zero section. Moreover, if a compact embedded \(n\)-submanifold is initially sufficiently close to the zero section in the sense that \[ \sup_{p\in\Sigma}\bigl(d(p)+1-\Omega(T_p\Sigma)\bigr)<\epsilon, \] then its mean curvature flow exists for all time and converges smoothly to the zero section [1605.03645]. Gauge theory on Stenzel backgrounds has been developed in several dimensions. On \(T^*S^3\), viewed as the deformed conifold \[ X_\epsilon=\{z_1^2+z_2^2+z_3^2+z_4^2=\epsilon^2\}, \] the Calabi–Yau monopole equations for invariant \(SU(2)\)-connections reduce to ODEs because the metric is \(Spin(4)\)-invariant and cohomogeneity one. The same analysis gives reducible Dirac Calabi–Yau monopoles, a large-mass bubbling limit to the standard BPS monopole on \(\mathbb{R}^3\), and an explicit irreducible \(SU(2)\) Hermitian–Yang–Mills connection asymptotic to the canonical invariant connection [1411.0491]. On \(T^*S^4\), the Stenzel metric furnishes a non-compact \(CY_4\) on which the \(Spin(7)\) instanton and Hermitian–Yang–Mills equations admit \(SO(5)\)-invariant reductions to ODEs. In the abelian and trivial \(SO(3)\)-bundle cases these ODEs coincide locally, but globally only the trivial invariant solution extends across the zero section. On the two nontrivial \(SO(3)\)-bundles over \(T^*S^4\), the invariant \(Spin(7)\) equations admit one-parameter families of solutions, while the HYM equations select exactly one solution on each bundle; this gives a concrete non-equivalence \(Spin(7)\neq \mathrm{HYM}\) in the non-compact invariant setting [2005.00287]. More broadly, for Stenzel-type Calabi–Yau structures on complexified symmetric spaces, invariant special Lagrangians under symmetric subgroup actions are governed by explicit ODEs on complexified flat sections. The construction applies to the Stenzel metrics arising from compact rank-one symmetric spaces and produces special Lagrangians of arbitrary phase [1901.01667]. ## 6. Supergravity, flux backgrounds, and broader variants In eleven-dimensional supergravity, the 8-dimensional Stenzel space on \(T^*S^4\) serves as the internal manifold of the supersymmetric CGLP solution, \[ ds^2=H^{-2/3}dx_\mu dx^\mu + H^{1/3}ds_S^2,\qquad A_{(3)}=-H^{-1}dt\wedge dw^1\wedge dw^2 + m\,\beta_{(3)}. \] The normalisable self-dual harmonic \(4\)-form provides the magnetic flux, the asymptotic geometry is \(AdS_4\times V_{5,2}\), and the Maxwell charge runs as \[ N(\tau)=\frac{81\pi^4 m^2}{(2\pi\ell_p)^6}\tanh^4(\tau/2), \] interpolating from its UV value to \(0\) at the tip [1704.02323]. Warped and orbifolded Stenzel backgrounds support flux quantization and discrete torsion. In the \(V_{5,2}/\mathbb{Z}_k\) orbifold, the \(S^4/\mathbb{Z}_k\) bolt supports quantized \(G_4\)-flux, while torsion \(S^3/\mathbb{Z}_k\) cycles carry flat \(C_3\). The associated Page, Maxwell, and brane charges differ in the standard way: Page charge is localized and quantized but changes under large gauge transformations, while Maxwell charge is gauge invariant and includes bulk flux contributions [1104.3517]. The backreaction of anti-M2 branes on warped Stenzel space has also been analyzed. The linearized solutions preserving the \(SO(5)\) symmetry of the CGLP background reproduce the expected warp-factor singularity of anti-M2 charge in the infrared, but they also develop a singular magnetic four-form flux. In one treatment this singularity is interpreted as evidence against metastable anti-brane vacua in warped throats; in another, the polarization potential shows no stable minimum and the force between anti-M2 branes at the tip is repulsive, indicating a tachyonic instability [1011.2195][1110.2513][1402.2294]. The Stenzel framework also admits non-Calabi–Yau \(SU(4)\)-structure deformations on manifolds homeomorphic to \(T^*S^4\). In these models the complex structure may remain integrable while \(W_4\) and \(W_5\) are nonzero, producing \(N=(1,1)\) type IIA compactifications with asymptotically conformal \(AdS_3\) external geometry and NS5-brane source distributions. The undeformed Stenzel metric appears as the \(W_i=0\) Calabi–Yau point of this family [1412.5573]. Two further variants delimit the scope of the name. First, for \(S^2\), an invariant weighted-Sasaki Kähler metric on the full tangent bundle \(TS^2\) has holonomy \(SU(2)\) and coincides exactly with the Stenzel metric, hence with Eguchi–Hanson [1609.03125]. Second, for the complete Ricci-flat Kähler metrics that Stenzel constructed on the complexifications of \(\mathbb{CP}^n\) and \(\mathbb{HP}^n\), as well as for the sphere case under suitable rescalings, local Calabi-diastasis computations show that they are not projectively induced; for \(\mathbb{CP}^n\) and \(\mathbb{HP}^n\) this failure holds for every \(n>1\) and for all rescalings \(0