Quaternionic LVM Manifolds

Abstract

We study a quaternionic counterpart of the quotient construction underlying LVM manifolds. From an admissible configuration \[ Λ=(λ_1,\ldots,λ_n)\subset{\mathbb H}^m\simeq{\mathbb R}r^{4m}, \qquad n>4m, \] we obtain a smooth compact intersection of real quadrics $Z_{\mathbb H}(Λ)\subset{\mathbb H}^n$ whose $\text{Sp}(1)^n$ orbit space is a simple convex polytope. A canonical action by positive real coordinate dilations has $Z_{\mathbb H}(Λ)$ as a global normalized transversal and, after projectivization, gives the compact quotient \[ N_{\mathbb H}(Λ)=Z_{\mathbb H}(Λ)/\text{Sp}(1), \] which we call an LVMQ manifold. The total space is the quaternionic moment-angle polyhedral product $(D^4,{\mathbb S}^{3})^{K_{P_Λ}}$. Every LVMQ manifold is $2$-connected; in the absence of indispensable coordinates it is $3$-connected and \[ H^4(N_{\mathbb H}(Λ);\Zz)\cong\Zz, \qquad p_1(TN_{\mathbb H}(Λ))=2(n-2)e. \] Here $p_1$ denotes the first Pontryagin class and $e$ is the Euler class of the principal $\Sp(1)$-bundle $Z_{\mathbb H}(Λ)\to N_{\mathbb H}(Λ)$. For an explicit infinite sphere-product family, the ambient Kraines form restricts to a $4$-plectic form and the resulting LVMQ manifolds are quaternionic toric in the sense of Gentili--Gori--Sarfatti. We also study the complementary Poincaré domain and its trace foliations. For the quaternionic rank-one problem, Frobenius integrability of an invertible linear field forces the scalar Hopf model, while small nonlinear integrable perturbations give Hopf-like ${\mathbb S}^{3}$-fibrations over smooth manifolds homotopy equivalent to quaternionic projective space.