# Slice theorem (differential geometry)

In algebraic geometry, there is an analog of the slice theorem; it is called Luna's slice theorem.

Since *G* is compact, there exists an invariant metric; i.e., *G* acts as isometries. One then adopts the usual proof of the existence of a tubular neighborhood using this metric.