Regularized mean curvature flow for invariant hypersurfaces in a Hilbert space and its application to gauge theory (Q6554687)

The author considers a Hilbert manifold \(M\) in a Hilbert space \(V\) and a \( C^{\infty }\)-family \(\{f_{t}\}_{t\in \lbrack 0,T)}\) of regularizable immersions of codimension one of \(M\) into \(V\) which admit a unit normal vector field \(\xi _{t}\). \(\{f_{t}\}_{t\in \lbrack 0,T)}\) satisfies the regularized mean curvature flow if the evolution equation \N\[\N\frac{ \partial F}{\partial t}=H_{t}\N\]\Nholds, where \(H_{t}\) is the regularized mean curvature vector defined by \N\[\NH_{t}=-\mathrm{Tr}_{r}((A_{t})_{-\xi _{t}})\cdot \xi _{t},\N\] \N\(A_{t}\) being the shape tensor of \(f_{t}\), and \(F:M\times \lbrack 0,T)\rightarrow V\) is the map defined by \(F(x,t)=f_{t}(x)\), \((x,t)\in M\times \lbrack 0,T)\). \N\NThe author considers an action of a Hilbert Lie group \(\mathcal{G}\) on the Hilbert space \(V\) which satisfies that the action \( \mathcal{G}\curvearrowright V\) is isometric and almost free, all \(\mathcal{G} \)-orbits are minimal regularizable submanifolds, and \(\overline{M}=\phi (M)\) is compact, where \(\phi :V\rightarrow N\) is the orbit map, \(N\) being the orbit space \(V/\mathcal{G}\). \N\NFor the main result, the author assumes that \( \overline{M}\) is included by \(B_{\pi /b}(x_{0})\) for some \(x_{0}\in N\) and \( \exp_{x_{0}}\mid _{B_{\pi /b}^{T}(x_{0})}\) is injective, and \N\[\Nb^{2}(1-\alpha )^{-2/n}(\omega _{n}^{-1}\mathrm{Vol}_{\overline{g}}(\overline{M})^{2/n}\leq 1,\N\] \Nwhere \(\alpha <1\) is a positive constant, \(\overline{g}\) denotes the induced metric on \(\overline{M}\) and \(\omega _{n}\) denotes the volume of the unit ball in the Euclidean space \(\mathbb{R}^{n}\). The main result proves that if the initial \(\mathcal{G}\)-invariant hypersurface \(f:M\rightarrow V\) satisfies the above conditions and \N\[\N(H_{0}^{s})^{2}(h_{\mathcal{H} })_{0}>2n^{2}L(g_{\mathcal{H}})_{0},\N\] \Nwhere \N\[\NH_{0}^{s}=-\left\langle H_{t},\xi _{t}\right\rangle,\N\] \N\((g_{\mathcal{H}})_{0}\) denotes the horizontal component of the induced metric and \((h_{\mathcal{H}})_{0}\) the scalar-valued second fundamental form of \(f\), then, for a \(\mathcal{G}\) -invariant regularized mean curvature flow \(\{f_{t}\}_{t\in \lbrack 0,T)}\) (\( T\) being the maximal time) starting from \(f\), the following statements hold: \N\begin{itemize}\N\item \(T<\infty \);\N\item \(f_{t}(M)\) collapses to a \(\mathcal{G}\)-orbit as \( t\rightarrow T\);\N\item \(\lim_{t\rightarrow T}(H_{t}^{s})_{\max}/(H_{t}^{s})_{\min }=1 \).\N\end{itemize} \N\NThe author first proves that if \((M,\mathcal{O}_{M})\) is a compact orbifold and \((N,\mathcal{O}_{N},\widetilde{g})\) a Riemannian orbifold, then for any \(C^{\infty }\)-orbiimmersion \(f\) of \(M\) into \(N\), there exists a unique mean curvature flow starting from \(f\) in short time. He gives a new proof of the existence and the uniqueness of a \(\mathcal{G}\)-invariant regularized mean curvature flow starting from a \(\mathcal{G}\)-invariant regularizable hypersurface in a Hilbert space \(V\) equipped with a Hilbert Lie group action \(\mathcal{G\curvearrowright }V\) satisfying the above conditions. He analyzes the evolution equations for some basic geometric quantities along the \(\mathcal{G}\)-invariant regularized mean curvature flow. He finally proves the Sobolev inequality for Riemannian suborbifolds. The paper ends with the possibility to apply the present results in the context of the gauge theory for Riemannian submanifolds and flows (of Riemannian submanifolds) in the Yang-Mills moduli space or the self-dual moduli space.