Liouville's theorem in calibrated geometries

Toni Ikonen,Pekka Pankka

2024-10-04

Abstract:We consider the following extension of the classical Liouville theorem: A calibration $\omega \in \Lambda^n \mathbb{R}^m$, where $3 \le n \le m$, has the Liouville property if a Sobolev mapping $F\colon \Omega \to \mathbb{R}^m$, where $\Omega \subset \mathbb{R}^n$ is a domain, in $W^{1,n}_{loc}( \Omega, \mathbb{R}^m )$ satisfying $\|DF\|^n = \star F^{*}\omega$ almost everywhere is a restriction of a Möbius transformation $\mathbb{S}^m \to \mathbb{S}^m$. We show that, for $m\ge 5$, every calibration in $\Lambda^{m-2} \mathbb{R}^m$ has the Liouville property and, in low dimensions, a calibration $\omega \in \Lambda^n \mathbb{R}^m$ has the Liouville property for $3 \le n \le m \le 6$ unless $\omega$ is face equivalent to the Special Lagrangian. In these cases, the Liouville property stems from isoperimetric rigidity of these mappings together with a classification of calibrations whose conformally flat calibrated submanifolds are flat. We also show that, for $3 \leq n \leq m$, the calibrations with the Liouville property form a dense $G_\delta$ set in the space of calibrations. As an application, we consider factorization of more general quasiregular curves and stability of quasiregular curves of small distortion.

Differential Geometry,Complex Variables,Symplectic Geometry

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the generalization and verification of Liouville's theorem in Calibrated Geometries. Specifically, the authors explore the following problems:

- **Generalization of Liouville property**: For a given calibration form $\omega \in \Lambda^n \mathbb{R}^m$, where $3 \leq n \leq m$, if a Sobolev mapping $F: \Omega \to \mathbb{R}^m$ (where $\Omega \subset \mathbb{R}^n$ is a domain) satisfies $\|DF\|^n = \star F^*\omega$ almost everywhere, then whether this mapping must be the restriction of a Möbius transformation $S^m \to S^m$.

### Main research contents

1. **Extension of high - dimensional Liouville theorem**:
- The authors consider the generalization of the classical Liouville theorem under higher - dimensional and broader conditions.
- For $m \geq 5$, it is proved that every $\omega \in \Lambda^{m - 2}\mathbb{R}^m$ has the Liouville property.
- In the low - dimensional case (i.e., $3 \leq n \leq m \leq 6$), every $\omega \in \Lambda^n \mathbb{R}^m$ also has the Liouville property, unless $\omega$ is equivalent to the Special Lagrangian form.

2. **Inner Möbius rigidity**:
- A mapping $F: \Omega \to \mathbb{R}^m$ is defined as an inner Möbius curve if it can be expressed as $F = A\circ g$, where $A$ is an affine transformation and $g$ is the restriction of a Möbius transformation.
- It is proved that for $3 \leq n \leq m$, the calibration forms with the Liouville property form a dense $G_\delta$ set in the space of all calibration forms.

3. **Applications and examples**:
- The rigidity results of quasiregular curves are discussed, and specific examples are given to illustrate that the Special Lagrangian form does not have the Liouville property.
- Some specific examples of inner Möbius rigid calibration forms are provided, and the properties of these forms are discussed.

### Formula summary

- **Hadamard inequality**:
\[
|\star A^*\omega| \leq \frac{1}{n^{n/2}}\|A\|_{HS}^n \leq \|A\|^n
\]
where $\|A\|_{HS}$ is the Hilbert - Schmidt norm.

- **Definition of Liouville property**:
\[
\|DF\|^n = \star F^*\omega\quad \text{almost everywhere}
\]

- **Definition of inner Möbius rigidity**:
\[
F = A\circ g,\quad \text{where}\quad A: \mathbb{R}^n \to \mathbb{R}^m,\quad g: \Omega \to S^n
\]

Through these studies, the authors not only generalize the classical Liouville theorem, but also deeply explore the rigidity problem of mappings in calibrated geometries, and provide a theoretical basis for subsequent research.