Classification of pro- subgroups of over a -adic ring, where is an odd prime
We give a short introduction to the problem of classification of spherical varieties, by presenting the Luna conjecture about the classification of wonderful varieties and illustrating some of the related currently known results.
In the setting of strict wonderful varieties we prove Luna’s conjecture, saying that wonderful varieties are classified by combinatorial objects, the so-called spherical systems. In particular, we prove that primitive strict wonderful varieties are mostly obtained from symmetric spaces, spherical nilpotent orbits and model spaces. To make the paper as self-contained as possible, we also gather some known results on these families and more generally on wonderful varieties.