Polar foliations on symmetric spaces

We prove that a polar foliation of codimension at least three in an irreducible compact symmetric space is hyperpolar, unless the symmetric space has rank one. For reducible symmetric spaces of compact type, we derive decomposition results for polar foliations.
Comment: Minor stylistic modifications