Zero sets of Lie algebras of analytic vector fields on real and complex 2-dimensional manifolds, II
On a real (F=R) or complex (F=C) analytic connected 2-manifold M with empty boundary consider two vector fields X,Y. We say that Y {\it tracks} X if [Y,X]=fX for some continuous function f:M→F. Let K be a compact subset of the zero set Z(X) such that Z(X)−K is closed, with nonzero Poincaré-Hopf index (for example K=Z(X) when M is compact and χ(M)=0) and let G be a finite-dimensional Lie algebra of analytic vector fields on M. \smallskip {\bf Theorem.} Let X be analytic and nontrivial. If every element of G tracks X and, in the complex case when iK(X) is positive and even no quotient of G is isomorphic to sl(2,C), then G has some zero in K. \smallskip {\bf Corollary.} If Y tracks a nontrivial vector field X, both of them analytic, then Y vanishes somewhere in K. \smallskip Besides fixed point theorems for certain types of transformation groups are proved. Several illustrative examples are given.