Fixed points of local actions of lie groups on real and complex 2-manifolds

: I discuss old and new results on ﬁxed points of local actions by Lie groups G on real and complex 2-manifolds, and zero sets of Lie algebras of vector ﬁelds. Results of E. Lima, J. Plante and C. Bonatti are reviewed.

Here the Lie group is the group R of real numbers.The earliest papers I have found on fixed points for actions of other non-discrete Lie group are those of P. A. Smith [4] (1942) and H. Wang [5] (1952).Then came Armand Borel's landmark paper of 1956: Theorem 2 (Borel [6]).If H is a solvable, irreducible affine algebraic group over an algebraically closed field K, every algebraic action of H on a complete algebraic variety over K has a fixed point.
Over the field of complex numbers, completeness is equivalent to compactness in the classical topology, and complete nonsingular varieties are compact Kähler manifolds.
In 1973, A. Sommese [7] extended Borel's theorem to solvable holomorphic actions on compact Kähler manifolds with first Betti number 0. In contrast to the results below, these have no explicit restrictions on dimensions or Euler characteristics.

Actions and Local Actions
If f : A → B denotes a map, its domain is Df := A and its range is Rf := f (A).Let g, f denote maps.Regardless of their domains and ranges, the composition g • f is defined as the map x → g(f (x)) whose domain, perhaps empty, is f −1 (Dg).The associative law holds for these compositions: The maps (h • g) • f and h • (g • f ) have the same domain Henceforth M denotes a manifold with boundary ∂M , and G denotes a connected Lie group with Lie algebra g.
A local homeomorphism f on M is a homeomorphism between open subsets of M .The set of these homeomorphisms is denoted by LH(M ).
A local action of G on M is a triple (α, G, M ), where α : G → LH(M ) is a function having the following properties: • The evaluation map ev α : Ω(α) → M, (g, p) → α(g) • p is continuous.
• α(e G ) is the identity map of M .
Notation of α may be omitted.
When Ω(α) = G × M the local action is a global action.If G is simply connected and M is compact, every local action extends to a unique global action.
When α has been specified, we define the fixed-point sets The local action is effective if Fix(g) = M for all g = e G .A local flow is a local action (Ψ, R, M ).In this case we set Ψ t := Ψ(t) and identify Ψ with the indexed family of {Ψ t } t∈R of local maps in M .If (α, G, M ) is a local action, to every X ∈ g there corresponds a local flow (α * Ψ, R, M ) defined in the following.Consider X as a 1-parameter subgroup of G, i.e., a homomorphism X : R → G, and set α * Ψ = {α(X(t))} t∈R .The local flow induced by a C 1 vector field X on M tangent to ∂M is denoted by Φ When this holds, the index i(Ψ, U ) of Ψ in U is defined as the fixed point index of Ψ t |U : U → M for sufficiently small t > 0, as defined by Dold [8] (see also Brown [9] and Granas and Dugundji [10]).This integer depends only on K, and we set i K (Ψ) := i(Ψ, U ).When i K (Ψ) = 0 then K is essential.If K is a block for the local flow Φ X of a vector field X, an equivalent definition of i K (Φ X ) as the Poincaré-Hopf index of X at K is given in Section 4.

Fixed Points of Local Actions on Surfaces
In the rest of this section M denotes a real closed surface (compact with empty boundary) and G is a connected Lie group acting continuously on M .
An important role is played by the group ST • (n, R), the solvable group of real, upper triangulable n × n matrices with positive diagonal entries.In his pioneering 1964 paper, E. Lima [11] constructed fixed-point free actions of ST • (2, R) on the compact 2-cell and the 2-sphere, but he also showed that every abelian Lie group action on a compact surface M of nonzero Euler characteristic χ(M ) has a fixed point.These results were extended in 1986 by Plante: Theorem 3 (Plante [12]).Let M be a compact surface whose boundary may be nonempty.Many facts about existence of fixed points for continuous actions on closed surfaces can be derived from the results of M. Belliart summarized in the following theorem.If H ⊂ GL(n, F) denotes a group of matrices, P H denotes the quotient of H by its center.
Theorem 4 (Belliart [13]).There is a fixed-point free action of G on M iff one of the following conditions (a), (b), (c) holds:  A Lie algebra is supersolvable if it is faithfully represented as upper triangular real matrices.A Lie group is supersolvable if its Lie algebra is.(ii) If G has an effective, fixed-point free analytic action on M , then χ(M ) ≥ 0, with equality when G is a supersolvable and ∂M = ∅.
Part (i) and the first conclusion in (ii) are due to Turiel [14].The second conclusion in (ii) is due to Hirsch and Weinstein [15].
The following result gives upper and lower bounds on the number of fixed points of analytic actions of ST • (3, R): Proposition 1 (Hirsch [16], Cor.17, Thm 22).
(i) Let M have genus g.For every k ∈ N there is an effective analytic action β of ST • (3, R) on M such that: ( (ii) If G is not supersolvable and has an effective analytic action on M , Question.Can the right hand side of Equation ( 1) can be lowered?

Indices of Vector Fields
Let V(M ) denote the vector space of vector fields (continuous sections of the tangent bundle) on a smooth manifold M , endowed with the compact open topology. The Every sufficiently small open neighborhood U ⊂ M of K is isolating for X, meaning its closure U is compact and Z(X) ∩ U = K.This implies that U is isolating for every vector field Y sufficiently close to X.
Let K be an X-block.When K is finite, the Poincaré-Hopf index of X at K, and in U , is the integer i P H K (X) = i P H (X, U ) defined as follows.For each p ∈ K choose an open set W ⊂ U meeting K only at p, such that W is the domain of a C 1 chart The transform of X by φ is There is a unique map of pairs that expresses X by the formula Noting that F −1 (0) = p, we define i P H p (X) ∈ Z as the degree of the map defined for any sufficiently small > 0 as where • is the norm defined by any Riemannian metric on M .This degree is independent of and the chart φ, by standard properties of the degree function.Therefore the integer is well defined and depends only on X and K.
The index of an arbitrary X-block K is the integer i K (X) := i(X, U ) defined as the Poincaré-Hopf index of any sufficiently close approximation to X having only finitely many zeros in U [17].
This number is independent of U and is stable under perturbations of X.The X-block K is essential when i K (X) = 0.This implies Z(X) ∩ K = ∅ because every isolating neighborhood of K meets Z(X).
Theorem 7 (Bonatti [22]).Assume M is a real manifold of dimension ≤ 4 with empty boundary, and X, Y are analytic vector fields on M such that [X, Y ] = 0. Then Z(Y ) meets every essential X-block [23].
This implies certain local actions of 2-dimensional abelian Lie groups have fixed points.The results below are analogs for local actions of nonabelian Lie groups.
Theorem 8 (Hirsch [24]).Let M be a real surface, perhaps non-compact or having non-empty boundary.Let G be a connected nilpotent Lie group and (α, G, M ) an effective local action.Assume given a continuous local action of G on M , and let K be an essential block for the local flow induced by a 1-parameter subgroup.Then Fix(G) ∩ K = ∅.This implies Plante's result, Theorem 3(ii).
Corollary 1.Let G, M and X be as in Theorem 8.
(ii) If Φ X has n essential blocks, then Fix(G) has n components.
The counter-example in Theorem 3(i) show that fixed point results for broader classes of Lie groups, including supersolvable groups, need stronger hypotheses.
Henceforth M denotes either a real or complex 2-manifold, the corresponding ground field being denote the Lie algebra of vector fields on M that are analytic over F. If Y ∈ V ω (M ), T Φ Y denotes the induced local flow on the tangent vector bundle of M .Assume X, Y ∈ V ω (M ).We say that Y tracks X if there exists a continuous map Equivalently: if p ∈ M and t ∈ R there exists g(t, p) ∈ F such that: For real M this means Φ Y t sends orbits of X|DΦ Y t to orbits of X|RΦ Y t .Let G ⊂ V ω (M ) denote a Lie algebra of vector fields.We say that G tracks X provided each Y ∈ G tracks X.
Example 1.If X spans an ideal in G then G tracks X, and the converse holds if G is finite dimensional.
Example 2. The set {Y ∈ V ω (M ) : Y tracks X} is a Lie algebra that tracks X.
The following result will be proved in a forthcoming paper [25]; a preliminary version is in [26].Theorem 9. Assume X ∈ V ω (M ), K is an essential X-bloc, and G ⊂ V ω (M ) tracks X.Let one of the following conditions hold: (a) M is complex, (b) M is real and G is supersolvable.
Example 3.Here is a simple example in which the hypotheses hold.For M take complex projective 3-space.Let G be the solvable complex Lie group of unimodular 4× 4 upper triangular complex matrices.The natural action of G on C 4 induces an effective holomorphic action of G on M , mapping the Lie algebra of G isomorphically onto a Lie algebra G ⊂ V ω (M ).Let X ∈ G have the block [ 0 1 0 0 ] in its upper right hand corner and all other elements equal to zero.X spans an ideal, the triple commutator subalgebra G .The X-block K := Z(X), a copy of CP 1 , is essential because χ(M ) = 3; and Z(G) is a singleton in Z(X).

Conflicts of Interest
The author declares no conflict of interest.
(i) ST • (2, R) has a fixed-point free action on M .(ii)If χ(M ) = 0, every action on M by a connected nilpotent Lie group has a fixed point.
ST • (3, R) has an effective analytic action on M .