The mean curvature flow of subgroups on Lie groups of dimension three
Romina M. Arroyo, Gabriela P. Ovando, Mariel Sáez
TL;DR
This work analyzes the mean curvature flow (MCF) for embeddings of two-dimensional Lie subgroups inside three-dimensional Lie groups $G$ endowed with a fixed left-invariant metric, focusing on the distinction between unimodular and non-unimodular ambient groups. By computing the mean curvature via $H = -\mathrm{tr}\,\mathrm{ad}_{\nu}$ and exploiting Killing fields to generate one-parameter isometries, the authors classify all possible 2D subgroups in the relevant non-unimodular 3D groups and identify when their MCF evolutions are translators (self-similar) versus non-self-similar with constant mean curvature. They provide explicit evolutions for abelian subgroups (translating solitons) and for non-abelian subgroups (constant $H$ with explicit, non-self-similar flows), organized by group family $S_{3,\lambda}$, $S_{3,\lambda_1,\lambda_2}$, and $S'_{3,\lambda}$, and deduce concrete translating and non-translating solutions. A counterexample in four dimensions shows limits of extending the 3D translational behavior to higher dimensions. Overall, the paper clarifies how the algebraic structure of the ambient Lie group governs MCF behavior, offering explicit solitons and evolution formulas that may inform higher-dimensional analogues and moduli questions for solvmanifolds.
Abstract
In this work we study the existence of solutions to the Mean Curvature Flow for which the initial condition has the structure of a two-dimensional Lie subgroup within a Lie group of dimension three. We consider Lie groups with a fixed left-invariant metric and first observe that if the Lie group is unimodular, then every Lie subgroup is a minimal surface (hence a trivial solution). For this reason we focus on non-unimodular Lie groups, finding the evolution of every Lie subgroup of dimension 2 (within a 3 dimensional Lie group). These evolutions are self-similar for abelian subgroups (i.e. evolve by isometries), but not self-similar in the other cases.
