Next Article in Journal
On the Fractional Poisson Process and the Discretized Stable Subordinator
Next Article in Special Issue
Locally Quasi-Convex Compatible Topologies on a Topological Group
Previous Article in Journal / Special Issue
Pro-Lie Groups: A Survey with Open Problems
Article Menu

Export Article

Axioms 2015, 4(3), 313-320; doi:10.3390/axioms4030313

Article
Fixed Points of Local Actions of Lie Groups on Real and Complex 2-Manifolds
1
Department of Mathematics, University of Wisconsin, Madison, WI 53706-1388, USA
2
Department of Mathematics, University of California, Berkeley, CA 94720-3840, USA 
Academic Editor: Sidney A. Morris
Received: 30 April 2015 / Accepted: 9 July 2015 / Published: 27 July 2015

Abstract

: I discuss old and new results on fixed points of local actions by Lie groups G on real and complex 2-manifolds, and zero sets of Lie algebras of vector fields. Results of E. Lima, J. Plante and C. Bonatti are reviewed.
Keywords:
Lie group; Lie algebra; vector fields; fixed point index; dynamical systems

1. Introduction

Classical results of Poincaré [1] (1885), Hopf [2] (1925) and Lefschetz [3] (1937) yield the archetypal fixed point theorem for Lie group actions:

Theorem 1. 

Every flow on a compact manifold of non-zero Euler characteristic has a fixed point.

Here the Lie group is the group 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.

2. Actions and Local Actions

If f : A B denotes a map, its domain is D f : = A and its range is R f : = 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 ( D g ) . The associative law holds for these compositions: The maps ( h g ) f and h ( g f ) have the same domain

D : = { x D f : f ( x ) D g , g ( f ( x ) ) D f } ,
and
x D ( h g ) ( f ( x ) ) = h ( ( g f ) ( x ) ) .

Henceforth M denotes a manifold with boundary ∂M, and G denotes a connected Lie group with Lie algebra 𝔤.

A local homeomorphism f on M is a homeomorphism between open subsets of M. The set of these homeomorphisms is denoted by L H ( M ) .

A local action of G on M is a triple ( α , G , M ) , where α : G L H ( M ) is a function having the following properties:

  • The set Ω ( α ) : = ( g , p ) G × M : p D α ( g ) is an open neighborhood of { e G } × M .

  • The evaluation map

    e v α : Ω ( α ) M , ( g , p ) α ( g ) · p
    is continuous.

  • α ( e G ) is the identity map of M.

  • The maps α ( f g ) α ( h ) and α ( f ) α ( g h ) agree on the intersection of their domains.

  • α ( g 1 ) = α ( g ) 1 .

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

Fix ( g ) : = { x D g : g ( x ) = x } , Fix ( G ) : = g G Fix ( g )
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 𝔤 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 Φ X : = { Φ t X } t R .

A block for a local flow Ψ (a Ψ-block) is a compact K Fix ( Ψ ) having a precompact open neighborhood U M , termed isolating, such that Fix ( Ψ ) U ¯ = K . When this holds, the index 𝗂 ( Ψ , 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 𝗂 K ( Ψ ) : = 𝗂 ( Ψ , U ) . When 𝗂 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 𝗂 K ( Φ X ) as the Poincaré–Hopf index of X at K is given in Section 4.

3. 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 S T ( 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 S T ( 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.

(i) 

S T ( 2 , ) 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.

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 G L ( 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) 

χ ( M ) > 0 and G is solvable but not nilpotent.

(b) 

χ ( M ) < 0 and G has S T ( 2 , R ) as a quotient.

(c) 

χ ( M ) 0 , G is semisimple, and either:

(i) 

G has P S L ( 2 , R ) as a quotient, or

(ii) 

χ ( M ) > 0 , M = , and G has as a quotient one of the groups

P S L ( 3 , R ) , P S L ( 2 , C ) or P S O ( 3 ) .

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.

Theorem 5. 

(i) 

S T ( 3 R , ) has an effective analytic action on M.

(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 S T ( 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 S T ( 3 , R ) on M such that:

# Fix ( β ) = 2 ( g + k + 1 ) if M is orientable , g + k if M is nonorientable and g 1 .

(ii) 

If G is not supersolvable and has an effective analytic action on M,

0 # Fix ( G ) χ ( M ) 2 .

Question. 

Can the right hand side of Equation (1) can be lowered?

4. 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 zero set of X V ( M ) is

𝖹 ( X ) : = { p M : X p = 0 } .

A block for X (an X-block) is a compact, relatively open set K 𝖹 ( X ) . 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 K P H ( X ) = 𝗂 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

ϕ : W W R n , ϕ ( p ) = p .
The transform of X by ϕ is
X : = T ϕ X ϕ 1 ( V W ) .
There is a unique map of pairs
F p : ( W , 0 ) R n , 0 )
that expresses X by the formula
X x = x , F p ( x ) { x } × R n , ( x W ) .

Noting that F 1 ( 0 ) = p , we define 𝗂 p P H ( X ) Z as the degree of the map defined for any sufficiently small > 0 as

S n 1 S n 1 , u F p ( u ) F p ( u )
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
𝗂 K P H ( X ) = i P H ( X , U ) : = p K i p P H ( X ) if K , 0 if K = .
is well defined and depends only on X and K.

The index of an arbitrary X-block K is the integer 𝗂 K ( X ) : = 𝗂 ( 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 𝗂 K ( X ) 0 . This implies 𝖹 ( X ) K because every isolating neighborhood of K meets 𝖹 ( X ) .

Theorem 6 

(Poincaré–Hopf). If M is compact, 𝗂 ( X , M ) = χ ( M ) for all continuous vector fields X on M.

For calculations of the index in more general settings see Morse [18], Pugh [19], Gottlieb [20], Jubin [21].

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 𝖹 ( 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.

(i) 

If Γ M is a compact attractor for Φ X and χ ( Γ ) 0 , then Fix ( G ) Γ .

(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 F = R or C . Let V ω ( M ) 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

f : M F , f 1 ( 0 ) = Z ( X ) , [ Y , X ] = f X .
Equivalently: if p M and t R there exists g ( t , p ) F such that:
Φ t Y ( p ) = q ( t ) T Φ t Y ( X p ) = g ( t , p ) X q ( t ) .
For real M this means Φ t Y sends orbits of X | D Φ t Y to orbits of X | R Φ t Y .

Let G V ω ( M ) denote a Lie algebra of vector fields. We say that 𝒢 tracks X provided each Y G tracks X.

Example 1. 

If X spans an ideal in 𝒢 then 𝒢 tracks X, and the converse holds if 𝒢 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.

Then Z ( G ) K .

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 C P 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.

References and Notes

  1. Poincaré, H. Sur les courbes définies par une équation différentielle. J. Math. Pures Appl. 1885, 1, 167–244. [Google Scholar]
  2. Hopf, H. Vektorfelder in Mannifgfaltigkeiten. Math. Ann. 1925, 95, 340–367. [Google Scholar] [CrossRef]
  3. Lefschetz, S. On the fixed point formula. Ann. Math. 1937, 38, 819–822. [Google Scholar] [CrossRef]
  4. Smith, P.A. Stationary points of transformation groups. Proc. Natl. Acad. Sci. USA 1942, 28, 293–297. [Google Scholar] [CrossRef] [PubMed]
  5. Wang, H.-C. A remark on transformation groups leaving fixed an end point. Proc. Am. Math. Soc. 1952, 3, 548–549. [Google Scholar]
  6. Borel, A. Groupes linéaires algébriques. Ann. Math. 1956, 64, 20–80. [Google Scholar] [CrossRef]
  7. Sommese, A. Borel’s fixed point theorem for Kaehler manifolds and an application. Proc. Am. Math. Soc. 1973, 41, 51–54. [Google Scholar] [CrossRef]
  8. Dold, A. Lectures on Algebraic Topology. In Die Grundlehren der Matematischen Wissenschaften Bd. 52, 2nd ed.; Springer-Verlag: New York, NY, USA, 1972. [Google Scholar]
  9. Brown, R. The Lefschetz fixed point theorem; Scott, Foresman & Co.: Glenview, IL, USA, 1971. [Google Scholar]
  10. Granas, A.; Dugundji, J. Fixed Point Theory; Springer-Verlag: New York, NY, USA, 2003. [Google Scholar]
  11. Lima, E. Common singularities of commuting vector fields on 2-manifolds. Comment. Math. Helv. 1964, 39, 97–110. [Google Scholar] [CrossRef]
  12. Plante, J. Fixed points of Lie group actions on surfaces. Ergod. Theory Dyn. Syst. 1986, 6, 149–161. [Google Scholar] [CrossRef]
  13. Belliart, M. Actions sans points fixes sur les surfaces compactes. Math. Z. 1997, 225, 453–465. [Google Scholar] [CrossRef]
  14. Turiel, F.-J. Analytic actions on compact surfaces and fixed points. Manuscr. Math. 2003, 110, 195–201. [Google Scholar] [CrossRef]
  15. Hirsch, M.; Weinstein, A. Fixed points of analytic actions of supersoluble Lie groups on compact surfaces. Ergod. Theory Dyn. Syst. 2001, 21, 1783–1787. [Google Scholar] [CrossRef]
  16. Hirsch, M. Actions of Lie groups and Lie algebras on manifolds. In A Celebration of the Mathematical Legacy of Raoul Bott; Amer. Math. Soc.: Providence, RI, USA, 2010. [Google Scholar]
  17. Equivalently: i ( X , U ) is the intersection number of X | U with the zero section of the tangent bundle (Bonatti [22]).
  18. Morse, M. Singular Points of Vector Fields Under General Boundary Conditions. Am. J. Math. 1929, 52, 165–178. [Google Scholar] [CrossRef]
  19. Pugh, C. A generalized Poincaré index formula. Topology 1968, 7, 217–226. [Google Scholar] [CrossRef]
  20. Gottlieb, D. A de Moivre like formula for fixed point theory. In Fixed Point Theory and its Applications (Berkeley, CA, 1986); Amer. Math. Soc.: Providence, RI, USA, 1988. [Google Scholar]
  21. Jubin, B. A generalized Poincaré–Hopf index theorem. arxiv:0903.0697. 2009. [Google Scholar]
  22. Bonatti, C. Champs de vecteurs analytiques commutants, en dimension 3 ou 4: Existence de zéros communs. Bol. Soc. Brasil. Mat. 1992, 22, 215–247. [Google Scholar] [CrossRef]
  23. This paper was inspired by a remarkable result of C. Bonatti, which does not require compactness of M. “The demonstration of this result involves a beautiful and quite difficult local study of the set of zeros of X, as an analytic Y-invariant set.” — Molino, P. Review of Bonatti [22], Math Reviews 93h:57044; Amer. Math. Soc.: Providence, RI, USA, 1993. [Google Scholar]
  24. Hirsch, M. Fixed points of local actions of nilpotent Lie groups on surfaces. arXiv:org/1405.2331. 2013. [Google Scholar]
  25. Hirsch, M. Zero sets of Lie algebras of analytic vector fields on real and complex 2-manifolds. 2015. submitted. [Google Scholar]
  26. Hirsch, M. Zero sets of Lie algebras of analytic vector fields on real and complex 2-manifolds. arXiv.1310.0081v2. 2015. [Google Scholar]
Axioms EISSN 2075-1680 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top