Norm minima in certain Siegel leaves (Q2340086)

Let \(A=(A_1, \dots, A_d)\) be an \(m\)-tuple of vectors on \(\mathbb{R}^d\), here \(m > d \geq 0\); it determines a link as the intersection of \(d\) quadrics and the unit euclidean sphere in \(\mathbb{C}^m= \{ z =(z_1, \dots , z_m) \}\), \textit{i.e.} \[ \begin{cases} \sum_{i=1}^m A_i|z_i|^2=0, \\ \| z\|_2=1 . \end{cases} \] Under suitable assumptions, the link \(X_2(A)\) is a \((2m-d-1)\) dimensional real complex compact manifold without boundary, called a López de Medrano-Verjovsky-Meersseman manifold, LVM-manifold, see [\textit{S. López de Medrano} and \textit{A. Verjovsky}, Bol. Soc. Bras. Mat., Nova Sér. 28, No. 2, 253--269 (1997; Zbl 0901.53021)] and [\textit{L. Meersseman}, Math. Ann. 317, No. 1, 79--115 (2000; Zbl 0958.32013)]. Very roughly speaking, LVM-manifolds determine the space of Siegel leaves of foliations \(\mathcal{F}\) on \(\mathbb{C}^m\) given by the orbits of the action \[ F: \mathbb{C}^m \times \mathbb{R}^d \to \mathbb{C}^n, \;\;\;(z, T) \mapsto (z_i e^{ \langle A_i,T \rangle })_{i=1}^m. \] Thus, there exists \(\mathcal{S}_A \subset \mathbb{C}^m\) satisfying the following: for \(z\in \mathcal{S}_A \), there is a unique point \(f_2(z)\) in the Siegel leaf \(L_z\), such that its \(L_2\)-norm \(\| f_2(z) \|_2\) is minimal and positive. The foliation \(\mathcal{F}\) is trivial when restricted to \(\mathcal{S}_A\), and \[ \Phi_A(2): X_A(2)\times \mathbb{R}^d \times \mathbb{R}_{>0} \to \mathcal{S}_A,\;\;\;(z,T,r) \mapsto r(z_i e^{ \langle A_i,T \rangle })_{i=1}^m \] is a global diffeomorphism, see [\textit{F. Bosio} and \textit{L. Meersseman}, Acta Math. 197, No. 1, 53--127 (2006; Zbl 1157.14313)]. The complex geometry, combinatory and algebraic topology of LVM-manifolds is very intricate. The author makes a contribution to the study of this topic under a change in the norm. Given a real number \( p \geq 1\), for each vector \(z \in \mathbb{C}^n\), its \(L^p\)-norm is \(\| z \|_p = (\sum_1 ^p | z_i |^p )^{1/p}\). The new link \(X_A (p)\) is \[ \begin{cases} \sum_{i=1}^m A_i|z_i|^p=0, \\ \| z\|_p=1. \end{cases} \] More precisely, the objective of this paper is to show that, for an admissible collection \(A\), whose centroid is localized at the origin, the corresponding foliation provides a direct relation between the link and the model of polyhedral products. Moreover, there is a unique point \(f_p(z)\) in the leaf \(L_z\) for each \(z\in \mathcal{S}_A\), whose \(L^p\)-norm \(\| f_p(z) \|_p\) is minimal and positive, and the restriction of the smooth function \(f_2/\| f_2 \|_2: \mathcal{S}_A \to X_A(2)\) to \(X_A(p)\) induces a homeomorphism onto \(X_A (2)\), for all \(p\geq 1\). Hence \[ \Phi_A(p): X_A ( p)\times \mathbb{R}^d \times \mathbb{R}_{>0} \to \mathcal{S}_A,\;\;\;(z,T,r)\mapsto r(z_i e^{ \langle A_i,T \rangle })_{i=1}^m \] is a homeomorphism. There are continuous paths on the space of all Siegel leaves (which is the complement of a coordinate subspace arrangement on \(\mathbb{C}^m\)) such that each point in the link is connected by a path to a unique point in the respective moment-angle complex, yielding a homeomorphism between them. Every path is parametrized by real numbers, \(p \in [0, \infty)\), with each \(p\) associated to the intersection of the \(L^p\)-norm minima in the Siegel leaves and the \(L^p\)-norm unit sphere in \(\mathbb C^n\), which is a topological manifold homeomorphic to the original link. In this way the author explains how each polytopal moment-angle complex can be obtained as the intersection of the unit sphere and the minima of all the minimal Siegel leaves, with respect to the \(L^\infty\)-norm. Consequently, an alternative proof of a rigidity theorem of Bosio and Meersseman [loc. cit.] is obtained; as piecewise linear manifolds, polytopal real moment-angle complexes can be smoothed in a natural way.