Isothermic submanifolds (Q692347): Difference between revisions

From the author's abstract: We propose an answer to a question raised by F. Burstall: Is there any interesting theory of isothermic submanifolds of \(\mathbb{R}^n\) of dimension greater than two? We call an \(n\)-immersion \(f(x)\) in \(\mathbb{R}^m\) isothermic\(_k\) if the normal bundle of \(f\) is flat and \(x\) is a line of curvature coordinate system such that its induced metric is of the form \(\sum_{i=1}^{n} g_{ii}\,\text{d}x_{i}^{2}\) with \(\sum_{i=1}^{n} \epsilon_{i} g_{ii}=0\) , where \(\epsilon_i =1\) for \(1\leq i\leq n-k\) and \(\epsilon_i =-1\) for \(n-k<i\leq n\). A smooth map \((f_1,\dots ,f_n)\) from an open subset \({\mathcal{O}}\) of \(\mathbb{R}^n\) to the space of \(m\times n\) matrices is called an \(n\)-tuple of isothermic\(_k\) \(n\)-submanifolds in \(\mathbb{R}^m\) if each \(f_i\) is an isothermic\(_k\) immersion, \((f_{i})_{x_{j}}\) is parallel to \((f_{1})_{x_{j}}\) for all \(1\leq i,j\leq n\), and there exists an orthonormal frame \((e_1,\dots ,e_n)\) and a \(GL(n)\)-valued map \((a_{ij})\) such that d\(f_{i}= \sum_{j=1}^{n} a_{ij} e_{j}\,\text{d}x_{j}\) for \(1\leq i\leq n\). Isothermic\(_1\) surfaces in \(\mathbb{R}^3\) are the classical isothermic surfaces in \(\mathbb{R}^3\). Isothermic\(_k\) submanifolds in \(\mathbb{R}^m\) are invariant under conformal transformations. We show that the equation for \(n\)-tuples of isothermic\(_k\) \(n\)-submanifolds in \(\mathbb{R}^m\) is the \(\frac{O(m+n-k,k)}{O(m)\times O(n-k,k)}\)-system, which is an integrable system. Methods from soliton theory can therefore be used to construct Christoffel, Ribaucour and Lie transforms, and to describe the moduli spaces of these geometric objects and their loop group symmetries.