中文

Normalisation holomorphe d'alg\`ebres de type Cartan de champs de vecteurs holomorphes singuliers

动力系统 2007-05-23 v1 复变函数

摘要

We consider a commutative family of holomorphic vector fields in an neighbourhood of a common singular point, say 0Cn0\in \Bbb C^n. Let \lieg\lie g be a commutative complex Lie algebra of dimension ll. Let λ1,...,λn\lieg\lambda_1,...,\lambda_n\in \lie g^* and let us set S(g)=i=1nλi(g)xixiS(g)=\sum_{i=1}^n\lambda_i(g)x_i\frac{\partial}{\partial x_i}. We assume that this Lie morphism is {\bf diophantine} in the sense that a diophantine condition (ω(S))(\omega(S)) is satisfied. Let X1X_1 be a holomorphic vector field in a neighbourhood of 0Cn0\in \Bbb C^n. We assume that its linear part ss is regular relatively to SS, that is belongs to S(\lieg)S(\lie g) and has the same formal centralizer as SS. Let X2,...,XlX_2,..., X_l be holomorphic vector fields vanishing at 0 and commuting with X1X_1. Then there exists a formal diffeomorphism of (Cn,0)(\Bbb C^n,0) such that the family of vector fields are in {\bf normal form} in these formal coordinates. This means that each element of the family commutes with ss. We show that, if the normal forms of the XiX_i's belongs to O^nSS(\lieg)\hat {\cal O}_n^S\otimes S(\lie g) (O^nS\hat {\cal O}_n^S is the ring of formal first integrals of SS) and their junior parts are free over O^nS\hat {\cal O}_n^S, then there exists a holomorphic diffeomorphism of (Cn,0)(\Bbb C^n,0) which transforms the family into a normal form. The elements of the family, but one, may not have a non-zero linear part at the origin.

引用

@article{arxiv.math/0502231,
  title  = {Normalisation holomorphe d'alg\`ebres de type Cartan de champs de vecteurs holomorphes singuliers},
  author = {Laurent Stolovitch},
  journal= {arXiv preprint arXiv:math/0502231},
  year   = {2007}
}

备注

A shorter version is to appear in Annals of Mathematics