Hostname: page-component-76fb5796d-r6qrq Total loading time: 0 Render date: 2024-04-28T10:32:24.557Z Has data issue: false hasContentIssue false

On the formal structure of logarithmic vector fields

Published online by Cambridge University Press:  17 May 2006

Michel Granger
Affiliation:
Université d'Angers, 2 Bd. Lavoisier, 49045 Angers, Francemichel.granger@univ-angers.fr
Mathias Schulze
Affiliation:
Université d'Angers, 2 Bd. Lavoisier, 49045 Angers, Francemathias.schulze@univ-angers.fr
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

In this article, we prove that a free divisor in a three-dimensional complex manifold must be Euler homogeneous in a strong sense if the cohomology of its complement is the hypercohomology of its logarithmic differential forms. Calderón-Moreno et al. conjectured this implication in all dimensions and proved it in dimension two. We prove a theorem that describes in all dimensions a special minimal system of generators for the module of formal logarithmic vector fields. This formal structure theorem is closely related to the formal decomposition of a vector field by Kyoji Saito and is used in the proof of the above result. Another consequence of the formal structure theorem is that the truncated Lie algebras of logarithmic vector fields up to dimension three are solvable. We give an example that this may fail in higher dimensions.

Type
Research Article
Copyright
Foundation Compositio Mathematica 2006