Left-Invariant Gauss Map in Lie Groups

• Left-invariant Gauss map is defined by translating an immersed surface's unit normal back to the group identity, capturing essential extrinsic geometry in the Lie algebra.
• It generalizes the classical Euclidean Gauss map, enabling studies of constant mean curvature, harmonicity, and integrability on surfaces in Lie groups.
• Its detailed Lie-algebraic formulation, explicit examples in the Heisenberg group, and associated index theory provide powerful tools for geometric analysis.

Searching arXiv for recent and foundational papers on left-invariant Gauss maps in Lie groups and related harmonicity results. A left-invariant Gauss map is the Gauss map naturally attached to an immersed oriented surface in a Lie group by transporting the unit normal from each point back to the identity via left translation and then viewing the result in the unit sphere of the Lie algebra. In this form, it generalizes the classical Euclidean Gauss map and encodes extrinsic geometry in a way adapted to the ambient group structure. In the literature, the same object also appears under the name “generalized Gauss map,” especially in settings where harmonicity, integrability, and stability are studied for surfaces in Lie groups (Carvalho et al., 2024, Folha et al., 2015).

1. Definition and Lie-algebraic formulation

Let $M$ be a Riemannian Lie group with a left-invariant metric, and let $\{E_1(q),E_2(q),E_3(q)\}$ be a left-invariant orthonormal frame, with $E_i(q)=qE_i$. If $\varphi:\Sigma\to M$ is an immersion of an orientable surface and $N$ is a unit normal vector field, the Gauss map is defined by left-translating $N(p)\in T_{\varphi(p)}M$ to the identity. In the notation of the Lie algebra $\mathfrak m$, this is

$$N^e(p)=\sum_{i=1}^3\langle N(p),E_i(\varphi(p))\rangle E_i \equiv \varphi(p)^{-1}N(p),$$

which gives a map

$N^e:\Sigma\to S^2\subset \mathfrak m.$

This is the basic left-invariant Gauss map construction in a 3-dimensional Lie group with left-invariant metric (Folha et al., 2015).

In the bi-invariant setting considered for constant-mean-curvature surfaces in a 3-dimensional Lie group $\mathbb G^3$, the same construction is written as

$\{E_1(q),E_2(q),E_3(q)\}$0

where $\{E_1(q),E_2(q),E_3(q)\}$1 is the global unit normal and $\{E_1(q),E_2(q),E_3(q)\}$2 is the Lie algebra. Because the metric is left-invariant, the translated normal remains unit length, so the image lies in $\{E_1(q),E_2(q),E_3(q)\}$3. In this terminology, $\{E_1(q),E_2(q),E_3(q)\}$4 is exactly the left-translation-based Gauss map, and the designation “generalized Gauss map” emphasizes that it extends the usual Euclidean normal map to Lie groups with bi-invariant metrics (Carvalho et al., 2024).

A stereographic parameterization is often used. If $\{E_1(q),E_2(q),E_3(q)\}$5, then

$\{E_1(q),E_2(q),E_3(q)\}$6

and conversely

$\{E_1(q),E_2(q),E_3(q)\}$7

This complex representation is central in integrability formulas and harmonicity criteria (Folha et al., 2015).

2. Differential geometry and the invariant shape operator

The left-invariant Gauss map differs from the Euclidean Gauss map at the level of its differential. For an immersed surface in a Lie group, Ripoll’s formula expresses the derivative of the Gauss map as

$\{E_1(q),E_2(q),E_3(q)\}$8

where $\{E_1(q),E_2(q),E_3(q)\}$9 is the ordinary shape operator and $E_i(q)=qE_i$0 is the invariant shape operator defined by

$E_i(q)=qE_i$1

with $E_i(q)=qE_i$2 the left-invariant extension of the normal field. Thus the derivative of the Gauss map is controlled not only by the second fundamental form but also by a correction term coming from the ambient Lie-group geometry (Carvalho et al., 2024).

This correction term disappears in the commutative case. If $E_i(q)=qE_i$3 is commutative, then $E_i(q)=qE_i$4, and the generalized Gauss map is the ordinary Gauss map. In noncommutative bi-invariant groups, $E_i(q)=qE_i$5 may be nonzero and encodes ambient group geometry (Carvalho et al., 2024).

In the 3-dimensional bi-invariant case, the matrix $E_i(q)=qE_i$6 satisfies

$E_i(q)=qE_i$7

and $E_i(q)=qE_i$8 is antisymmetric, so that

$E_i(q)=qE_i$9

The paper also records the 3-dimensional classification

$\varphi:\Sigma\to M$0

These formulas isolate precisely how noncommutativity modifies the Gauss-map differential relative to the Euclidean model (Carvalho et al., 2024).

The same structural identity appears explicitly in the Heisenberg group. For an orientable hypersurface $\varphi:\Sigma\to M$1 in a Lie group $\varphi:\Sigma\to M$2 with left-invariant metric, if $\varphi:\Sigma\to M$3 is the Gauss map, then

$\varphi:\Sigma\to M$4

In that setting, the formula is used to study rank, minimality, and umbilicity for surfaces in $\varphi:\Sigma\to M$5 (Figueroa, 2011).

3. Harmonicity, constant mean curvature, and index theory

A central theorem in the bi-invariant setting is the Lie-group analogue of the Ruh–Vilms theorem:

$\varphi:\Sigma\to M$6

Accordingly, for a constant-mean-curvature surface in a 3-dimensional Lie group with bi-invariant metric, the left-invariant Gauss map becomes a harmonic map into the unit sphere in the Lie algebra (Carvalho et al., 2024).

The variational theory of this harmonic Gauss map supports quantitative index estimates. For tangent vector fields identified with sections of $\varphi:\Sigma\to M$7 by

$\varphi:\Sigma\to M$8

the second variation of the energy is expressed as

$\varphi:\Sigma\to M$9

with

$N$0

After simplification, the key formula becomes

$N$1

For harmonic $N$2, this is the test formula used in the index argument (Carvalho et al., 2024).

The main theorem for closed surfaces states that if $N$3 is a closed constant-mean-curvature surface in a 3-dimensional Lie group with bi-invariant metric, and in the Abelian case $N$4, then

$N$5

Thus the energy index of the harmonic left-invariant Gauss map is bounded below by the topological genus. For complete noncompact constant-mean-curvature surfaces, the paper proves the analogue

$N$6

where $N$7 is the space of $N$8-harmonic $N$9-forms, and $N(p)\in T_{\varphi(p)}M$0 when $N(p)\in T_{\varphi(p)}M$1 has $N(p)\in T_{\varphi(p)}M$2 handles (Carvalho et al., 2024).

An application in $N(p)\in T_{\varphi(p)}M$3 is that if a closed constant-mean-curvature surface has stable generalized Gauss map, then it must be a geodesic sphere (Carvalho et al., 2024).

4. Integrability and reconstruction from Gauss data

The left-invariant Gauss map is not merely an extrinsic invariant; it can be part of a reconstruction theory for surfaces in Lie groups. For surfaces with positive extrinsic curvature $N(p)\in T_{\varphi(p)}M$4, one chooses a conformal coordinate $N(p)\in T_{\varphi(p)}M$5 for the second fundamental form $N(p)\in T_{\varphi(p)}M$6, writes

$N(p)\in T_{\varphi(p)}M$7

and obtains the Weingarten-based reconstruction formula

$N(p)\in T_{\varphi(p)}M$8

This identity is the basic mechanism by which the immersion can be recovered from the Gauss map and the extrinsic curvature, provided the compatibility equations hold (Folha et al., 2015).

The corresponding integrability condition is

$N(p)\in T_{\varphi(p)}M$9

When the immersion is written in a left-invariant frame as

$\mathfrak m$0

the coefficients $\mathfrak m$1 are determined by the Gauss map $\mathfrak m$2, the curvature $\mathfrak m$3, and the Christoffel symbols of the left-invariant frame. In this formulation the immersion is determined from Gauss data up to left translations (Folha et al., 2015).

The corresponding existence theorem states that if $\mathfrak m$4 is a Riemannian Lie group with left-invariant orthonormal frame, $\mathfrak m$5 is simply connected, a map $\mathfrak m$6 and a positive function $\mathfrak m$7 are given, the coefficients $\mathfrak m$8 solving the reconstruction system exist, and the integrability condition holds, then there exists a unique immersion $\mathfrak m$9, up to left translations, such that $$N^e(p)=\sum_{i=1}^3\langle N(p),E_i(\varphi(p))\rangle E_i \equiv \varphi(p)^{-1}N(p),$$0 is its Gauss map and $$N^e(p)=\sum_{i=1}^3\langle N(p),E_i(\varphi(p))\rangle E_i \equiv \varphi(p)^{-1}N(p),$$1 is its extrinsic curvature (Folha et al., 2015).

For unimodular Lie groups, the Lie algebra brackets are written in an orthonormal basis as

$$N^e(p)=\sum_{i=1}^3\langle N(p),E_i(\varphi(p))\rangle E_i \equiv \varphi(p)^{-1}N(p),$$2

and the Levi-Civita connection is encoded by constants $$N^e(p)=\sum_{i=1}^3\langle N(p),E_i(\varphi(p))\rangle E_i \equiv \varphi(p)^{-1}N(p),$$3. This includes $$N^e(p)=\sum_{i=1}^3\langle N(p),E_i(\varphi(p))\rangle E_i \equiv \varphi(p)^{-1}N(p),$$4, $$N^e(p)=\sum_{i=1}^3\langle N(p),E_i(\varphi(p))\rangle E_i \equiv \varphi(p)^{-1}N(p),$$5, Berger spheres, $$N^e(p)=\sum_{i=1}^3\langle N(p),E_i(\varphi(p))\rangle E_i \equiv \varphi(p)^{-1}N(p),$$6, $$N^e(p)=\sum_{i=1}^3\langle N(p),E_i(\varphi(p))\rangle E_i \equiv \varphi(p)^{-1}N(p),$$7, and $$N^e(p)=\sum_{i=1}^3\langle N(p),E_i(\varphi(p))\rangle E_i \equiv \varphi(p)^{-1}N(p),$$8. In that setting, the compatibility equations can be rewritten as a scalar PDE for $$N^e(p)=\sum_{i=1}^3\langle N(p),E_i(\varphi(p))\rangle E_i \equiv \varphi(p)^{-1}N(p),$$9 and $N^e:\Sigma\to S^2\subset \mathfrak m.$0 (Folha et al., 2015).

A particularly rigid specialization occurs in $N^e:\Sigma\to S^2\subset \mathfrak m.$1: a surface immersed in $N^e:\Sigma\to S^2\subset \mathfrak m.$2 has positive constant extrinsic curvature if and only if its Gauss map is harmonic into the Riemann sphere. The harmonicity equation is

$N^e:\Sigma\to S^2\subset \mathfrak m.$3

The same paper also establishes correspondences between simply connected surfaces in $N^e:\Sigma\to S^2\subset \mathfrak m.$4 and in $N^e:\Sigma\to S^2\subset \mathfrak m.$5 with the same Gauss map and the same conformal structure on $N^e:\Sigma\to S^2\subset \mathfrak m.$6, subject to the stated curvature restrictions (Folha et al., 2015).

5. Explicit models: the Heisenberg group and rank phenomena

In the Heisenberg group $N^e:\Sigma\to S^2\subset \mathfrak m.$7, the left-invariant Gauss map becomes fully explicit. The group is equipped with the left-invariant orthonormal frame

$N^e:\Sigma\to S^2\subset \mathfrak m.$8

and metric

$N^e:\Sigma\to S^2\subset \mathfrak m.$9

For a graph $\mathbb G^3$0, one sets

$\mathbb G^3$1

so the unit normal is

$\mathbb G^3$2

The Gauss map is then

$\mathbb G^3$3

Here the left-invariant definition is not auxiliary: it is the coordinate system in which the normal becomes a Lie-algebra-valued object amenable to algebraic analysis (Figueroa, 2011).

Several classification results in $\mathbb G^3$4 are formulated in terms of this Gauss map. First, the vertical plane is the unique connected surface in $\mathbb G^3$5 with constant Gauss map. Second, there are no totally umbilical surfaces in $\mathbb G^3$6. Third, for a graph $\mathbb G^3$7, minimality is equivalent to

$\mathbb G^3$8

which is another form of the minimal surface equation

$\mathbb G^3$9

Thus the Gauss map converts the mean-curvature condition into an algebraic statement about the trace of its differential (Figueroa, 2011).

The Heisenberg paper also organizes minimal graphs by the rank of the Gauss map. Rank $\{E_1(q),E_2(q),E_3(q)\}$00 corresponds to constant Gauss map, hence to vertical planes. Rank $\{E_1(q),E_2(q),E_3(q)\}$01 is characterized by

$\{E_1(q),E_2(q),E_3(q)\}$02

and leads to a ruled-family classification. The minimal graphs in $\{E_1(q),E_2(q),E_3(q)\}$03 whose Gauss map has rank $\{E_1(q),E_2(q),E_3(q)\}$04 are explicitly described by

$\{E_1(q),E_2(q),E_3(q)\}$05

In this example, the left-invariant Gauss map functions simultaneously as a differential invariant, a rigidity criterion, and a classification device (Figueroa, 2011).

6. Scope, terminology, and related but distinct Gauss maps

The expression “Gauss map” in homogeneous 3-manifold geometry does not always mean a left-invariant Gauss map. A useful boundary of the concept is provided by the work on $\{E_1(q),E_2(q),E_3(q)\}$06. There, a canonical Gauss map is defined for surfaces in the universal cover of $\{E_1(q),E_2(q),E_3(q)\}$07 endowed with a left-invariant Riemannian metric having a 4-dimensional isometry group, but the paper states explicitly that this Gauss map is not related to the Lie group structure (Daniel et al., 2013).

In that construction, the map is built from a distinguished frame adapted to the fibration over $\{E_1(q),E_2(q),E_3(q)\}$08, not by translating the normal to the identity. The defining theorem produces a unique map $\{E_1(q),E_2(q),E_3(q)\}$09 with natural equivariance under ambient isometries, and for a surface with unit normal $\{E_1(q),E_2(q),E_3(q)\}$10 the Gauss map is $\{E_1(q),E_2(q),E_3(q)\}$11. For nowhere vertical critical constant-mean-curvature immersions, this Gauss map is harmonic into the hyperbolic disk $\{E_1(q),E_2(q),E_3(q)\}$12, satisfying

$\{E_1(q),E_2(q),E_3(q)\}$13

The paper also derives a Weierstrass-type representation formula from such harmonic maps (Daniel et al., 2013). This is closely related to the general theory of harmonic Gauss maps, but it is not a left-invariant Gauss map in the Lie-algebraic sense.

An even clearer contrast occurs for free boundary minimal surfaces in the Euclidean unit ball. There the Gauss map is the standard normal map

$\{E_1(q),E_2(q),E_3(q)\}$14

and the main theorem concerns the Jacobi–Steklov operator: if the span of the components $\{E_1(q),E_2(q),E_3(q)\}$15 is an eigen-subspace, then the surface is rotationally symmetric. The paper expressly does not discuss a left-invariant Gauss map or any Lie-group invariant analogue (Tran, 2017).

These distinctions matter terminologically. A left-invariant Gauss map is specifically the normal field transported to the identity by left translation and viewed in the Lie algebra. Harmonic Gauss maps in other homogeneous spaces may share formal features—equivariance, harmonicity, representation formulas, or spectral rigidity—but they need not be left-invariant in this sense.