Smooth classification of locally standard \(T^k\)-manifolds (Q2159502)

In this note the author gives a classification of locally standard \(T^k\)-manifolds \(M\) with a continuous section to the orbit map \(\pi\colon M\to M/T\) up to equivariant diffeomorphism. A smooth action of a torus \(T^k\) on a manifold \(M\) is called locally standard if each \(T\)-orbit in \(M\) has an invariant neighborhood which is equivariantly diffeomorphic to some \(\mathbb C^n\times T^{k-n}\times\mathbb R^m\) for some \(n\) and \(m\) such that \(T^k = T^n \times T^{k-n}\) acts by \(T^n\) acting linearly and effectively on \(\mathbb C^n\), by \(T^{k-n}\) acting by left multiplication on itself and by \(T^k\) acting trivially on \(\mathbb R^m\). The orbit space of a locally standard \(T^k\)-manifold is naturally a manifold with corners. The characteristic function \(\lambda\) is a map from the orbit space of a locally standard \(T^k\)-manifold \(M\) to the set of subtori of \(T^k\) which assigns to each orbit its isotropy group. We might also think of \(\lambda\) as defined on the set of faces of \(M/T\). The main result of the note is given as Theorem 1.1: Let \(M_i\), \(i = 1,2\), be two locally standard \(T^k\)-manifolds with orbit spaces \(P_i\) and characteristic functions \(\lambda_i\). Assume that there are sections \(s_i\colon P_i \to M_i\) to the orbit maps. If there is a diffeomorphism \(\Phi\colon P_1\to P_2\) such that \(\lambda_1=\lambda_2\Phi\), then there is an equivariant diffeomorphism \(\Psi \colon M_1\to M_2\). Let \(\mathcal P(P)\) denote the face poset of \(P\), i.e. the set of faces of \(P\) partially ordered by inclusion. The second result is stated as Theorem 1.2: Let \(M_i\), \(i = 1,2\), be two locally standard \(T^k\)-manifolds with orbit spaces \(P_i\) and characteristic functions \(\lambda_i\). Assume that all closed faces of the \(P_i\) are contractible. If there is an isomorphism of posets \(\mathcal P(P_1)\to \mathcal P(P_2)\) such that \(\lambda_1=\lambda_2\Phi\) and \(\Phi(F)\) is diffeomorphic to \(F\) after smoothing corners for all four-dimensional faces \(F\) of \(P_1\), then there is an equivariant diffeomorphism \(\Psi\colon M_1\to M_2\).