The Geometry of Darboux Integrable Elliptic Systems

We characterize real elliptic differential systems whose solutions can be expressed in terms of holomorphic solutions to an associated holomorphic Pfaffian system $\mathcal H$ on a complex manifold. In particular, these elliptic systems arise as quotients by a group $G$ of the real differential system generated by the real and imaginary parts of $\mathcal H$, such that $G$ is the real form of a complex Lie group $K$ which is a symmetry group of $\mathcal H$. Subject to some mild genericity assumptions, we show that such elliptic systems are characterized by a property known as Darboux integrability. Examples discussed include first- and second-order elliptic PDE and PDE systems in the plane.

💡 Research Summary

The paper “The Geometry of Darboux Integrable Elliptic Systems” extends the classical notion of Darboux integrability—originally developed for hyperbolic partial differential equations (PDEs)—to a broad class of elliptic differential systems. The authors show that any real analytic elliptic system whose solutions can be expressed in terms of holomorphic data arises as a quotient of a real differential system generated by the real and imaginary parts of a holomorphic Pfaffian system (\mathcal H) on a complex manifold. The quotient is taken by a Lie group (G) that is a real form of a complex Lie group (K) which acts as a symmetry group of (\mathcal H).

Key Concepts and Definitions

1. Elliptic Decomposable Exterior Differential System (EDS) – An EDS ((\mathcal I,M)) equipped with a complex subbundle (V\subset T^*M\otimes\mathbb C) such that the real and imaginary parts of (V) generate the 1‑forms of (\mathcal I), while the 2‑form generators lie in (\Lambda^2 V) or (\Lambda^2\overline V). This structure forces the underlying real distribution (D) to be even‑dimensional and to admit an almost complex structure (J) with (J^2=-\mathrm{Id}).

2. Darboux Integrability for Elliptic Systems – The singular bundle (V) must admit sufficiently many independent first integrals, called holomorphic Darboux invariants, i.e., complex‑valued functions (f_i) whose differentials lie in (V). When the number of independent invariants is maximal (Definition 2.17), the system is called maximally Darboux integrable. In this situation (J) restricts to a genuine complex structure on any (J)-invariant integral manifold, and the Darboux invariants become holomorphic functions on that manifold.

3. Vessiot Algebra – The Lie algebra (\mathfrak g) of the symmetry group (G) is an invariant of the differential system; the authors term it the Vessiot algebra by analogy with earlier work on hyperbolic equations. For elliptic Liouville equations the Vessiot algebra is a real form of (\mathfrak{sl}(2,\mathbb C)): either (\mathfrak{su}(2)) or (\mathfrak{sl}(2,\mathbb R)), distinguishing the two inequivalent elliptic Liouville equations.

4. Symmetric Pair of Darboux Type – A pair ((K,G)) where (K) is a complex Lie group, (G\subset K) is a real form, and there exists an involutive automorphism (\sigma) of (K) such that (G) is the fixed‑point set. The authors restrict to two special cases: (i) (K=G\times G) with (\sigma) swapping the factors (diagonal symmetric pair), and (ii) (K) is the complexification of (G) with (\sigma) complex conjugation.

Main Theorem (Theorem 1.1)
A decomposable elliptic (or hyperbolic) differential system ((\mathcal I,M)) with Pfaffian singular systems is Darboux integrable if and only if there exists:

• a maximally Darboux integrable Pfaffian system ((\mathcal E,N));
• a complex Lie group (K) acting freely and transversely on (N) as a symmetry group of (\mathcal E);
• a real form (G\subset K) such that (\mathcal I) is the quotient (\mathcal E/G) on the orbit space (M=N/G).

The “if” direction provides a constructive method: start from a holomorphic Pfaffian system (\mathcal H) on a complex manifold, take its real and imaginary parts to obtain (\mathcal E), then quotient by a suitable real form (G). The resulting (\mathcal I) is automatically Darboux integrable, and its solutions are obtained by projecting holomorphic integral manifolds of (\mathcal H) via the quotient map (\pi_G). This is analogous to the classical Weierstrass representation for minimal surfaces: the holomorphic data (e.g., a meromorphic function (f(z))) generate the real solution.

The “only‑if” direction shows that any Darboux integrable elliptic system must arise in this way. The proof proceeds by extracting the Vessiot algebra (\mathfrak g) from (\mathcal I), constructing its complexification (\mathfrak k) and the corresponding Lie group (K). Analytic continuation (real analyticity of (\mathcal I) is essential) then yields a complex manifold (N) equipped with a holomorphic Pfaffian system (\mathcal H) whose real version (\mathcal E) extends (\mathcal I). The authors develop a local coframe (the Vessiot coframe) that matches the normal form obtained in the sufficiency part, thereby completing the equivalence.

Examples

• Elliptic Liouville Equation: The equations (u_{xx}+u_{yy}\pm2e^{u}=0) have general solutions expressed via a single holomorphic function (f(z)): \