Fonctionnelles causales non linéaires et indéterminées non commutatives
Soit un morphisme propre fini et surjectif entre deux variétés analytiques complexes. Nous donnons une caractérisation des fonctions (continues) sur qui sont de la forme où est une fonction sur . Pour cela nous introduisons la notion de fonction de type trace sur une variété analytique complexe. Ces fonctions sont analytiques réelles en dehors d’une hypersurface complexe et admettent des singularités très simples aux points de cette hypersurface.
We define the notion of CR equivalence for Levi-flat foliations and compare in a local setting these foliations to their linear parts. We study also the situation where the foliation has a first integral ; a condition is given so that this integral is the real part of a holomorphic function.