Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userZero sets of Lie algebras of analytic vector fields on real and complex 2-dimensional manifolds, II
53
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
On a real ($mathbb F=mathbb R$) or complex ($mathbb F=mathbb 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 $fcolon Mrightarrowmathbb F$. Let $K$ be a compact subset of the zero set ${mathsf Z}(X)$ such that ${mathsf Z}(X)-K$ is closed, with nonzero Poincare-Hopf index (for example $K={mathsf Z}(X)$ when $M$ is compact and $chi(M) eq 0$) and let $mathcal 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 $mathcal G$ tracks $X$ and, in the complex case when ${mathsf i}_K (X)$ is positive and even no quotient of $mathcal G$ is isomorphic to ${mathfrak {s}}{mathfrak {l}} (2,mathbb C)$, then $mathcal 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.
rate research
Read More
Let X be an analytic vector field on a real or complex 2-manifold, and K a compact set of zeros of X whose fixed point index is not zero. Let A denote the Lie algebra of analytic vector fields Y on M such that at every point of M the values of X and [X,Y] are linearly dependent. Then the vector fields in A have a common zero in K. Application: Let G be a connected Lie group having a 1-dimensional normal subgroup. Then every action of G on M has a fixed point.
Assume M is a 3-dimensional real manifold without boundary, A is an abelian Lie algebra of analytic vector fields on M, and X is an element of A. The following result is proved: If K is a locally maximal compact set of zeroes of X and the Poincare-Hopf index of X at K is nonzero, there is a point in K at which all the elements of A vanish.
We show that the category of vector fields on a geometric stack has the structure of a Lie 2-algebra. This proves a conjecture of R.~Hepworth. The construction uses a Lie groupoid that presents the geometric stack. We show that the category of vector fields on the Lie groupoid is equivalent to the category of vector fields on the stack. The category of vector fields on the Lie groupoid has a Lie 2-algebra structure built from known (ordinary) Lie brackets on multiplicative vector fields of Mackenzie and Xu and the global sections of the Lie algebroid of the Lie groupoid. After giving a precise formulation of Morita invariance of the construction, we verify that the Lie 2-algebra structure defined in this way is well-defined on the underlying stack.
We prove that the space of coinvariants of functions on an affine variety by a Lie algebra of vector fields whose flow generates finitely many leaves is finite-dimensional. Cases of the theorem include Poisson (or more generally Jacobi) varieties with finitely many symplectic leaves under Hamiltonian flow, complete intersections in Calabi-Yau varieties with isolated singularities under the flow of incompressible vector fields, quotients of Calabi-Yau varieties by finite volume-preserving groups under the incompressible vector fields, and arbitrary varieties with isolated singularities under the flow of all vector fields. We compute this quotient explicitly in many of these cases. The proofs involve constructing a natural D-module representing the invariants under the flow of the vector fields, which we prove is holonomic if it has finitely many leaves (and whose holonomicity we study in more detail). We give many counterexamples to naive generalizations of our results. These examples have been a source of motivation for us.
An n-dimensional complex manifold is a manifold by biholomorphic mappings between open sets of the finite direct product of the complex number field. On the other hand, when A is a commutative Banach algebra, Lorch gave a definition that an A-valued function on an open set of A is holomorphic. The definition of a holomorphic function by Lorch can be straightforwardly generalized to an A-valued function on an open set of the finite direct product of A. Therefore, a manifold modeled on the finite direct product of A (an n-dimensional A-manifold) is easily defined. However, in my opinion, it seems that so many nontrivial examples were not known (including the case of n=1, that is, Riemann surfaces). By the way, if X is a compact Hausdorff space, then the algebra C(X) of all complex valued continuous functions on X is the most basic example of a commutative Banach algebra (furthermore, a commutative C*-algebra). In this note, we see that if the set of all continuous cross sections of a continuous family M of compact complex manifolds (a topological deformation M of compact complex analytic structures) on X is denoted by G(M), then the structure of a C(X)-manifold modeled on the C(X)-modules of all continuous cross sections of complex vector bundles on X is introduced into G(M). Therefore, especially, if X is contractible, then G(M) is a finite-dimensional C(X)-manifold.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
