Variations of Weyl's tube formula (Q2665593)

The paper generalizes Weyl's tube formula on volumes of spherical tubes around compact submanifolds in the Euclidean space to tubes with other sections. The authors prove that the tube formula remains valid if the symmetry group of the section is \emph{orthogonal of degree \(n\)}, where \(n\) is the dimension of the base \(M\) of the tube. Here the subgroup \(G\subset \mathrm{O}(m)\) (where \(m\) stands for the dimension of the tube section) is called orthogonal of degree \(n\), if all polynomial invariants of degree \(\le n\) of the group \(G\) coincide with the polynomial invariants of of degree \(\le n\) of the orthogonal group \(\mathrm{O}(n)\). Examples of such domains include regular polyhedra under some additional restrictions on the dimension of the base: \(\dim M < d_2\), where \(d_1=2\), \(d_2\), \dots, \(d_m\) are the degrees of the generators in the algebra of polynomial invariants of the finite reflection group associated with a given regular polyhedron. The paper also provides several counterexamples to further generalizations of Weyl's tube formula, both in case of less symmetric domains and in case of the tubes in the Lorenzian signature. The proof is largely based on the revision of the original Weyl proof and identification of the key argument within this proof, which uses the notion of invariance of domains introduced in the paper.