Linear free divisors and the global logarithmic comparison theorem

Granger, Michel; Mond, David; Nieto-Reyes, Alicia; Schulze, Mathias

Annales de l'Institut Fourier, Tome 59 (2009) no. 2, pp. 811-850.

Une hypersurface complexe de ${ℂ}^n$ est appelée un diviseur linéairement libre (ou DLL) si son module de champs de vecteur logarithmiques a une base globale formée de champs de vecteurs linéaires. Nous classifions tous les DLL pour $n$ au plus égal à $4$.

Par analogie avec le théorème de comparaison de Grothendieck, on dit que le théorème de comparaison logarithmique global (ou TCLG) est vrai pour $D$ si le complexe des formes différentielles logarithmiques globales permet de calculer la cohomologie de ${ℂ}^n\setminus D$ à coefficients complexes. Nous mettons en évidence un critère général pour qu’un DLL ait la propriété TCLG, et nous démontrons que ce critère s’applique lorsque l’algèbre de Lie des champs de vecteurs logarithmiques linéaires est réductive. Pour $n$ inférieur ou égal à $4$, nous montrons que le TCLG est vrai pour tous les DLL.

Nous montrons que les DLL qui apparaissent naturellement comme discriminants dans les espaces de représentations de carquois pour des racines de Schur réelles satisfont au TCLG. Comme corollaire nous obtenons une démonstration topologique d’un résultat de V. Kac sur le nombre de composantes irréductibles de tels discriminants.

A complex hypersurface $D$ in ${ℂ}^n$ is a linear free divisor (LFD) if its module of logarithmic vector fields has a global basis of linear vector fields. We classify all LFDs for $n$ at most $4$.

By analogy with Grothendieck’s comparison theorem, we say that the global logarithmic comparison theorem (GLCT) holds for $D$ if the complex of global logarithmic differential forms computes the complex cohomology of ${ℂ}^n\setminus D$. We develop a general criterion for the GLCT for LFDs and prove that it is fulfilled whenever the Lie algebra of linear logarithmic vector fields is reductive. For $n$ at most $4$, we show that the GLCT holds for all LFDs.

We show that LFDs arising naturally as discriminants in quiver representation spaces (of real Schur roots) fulfill the GLCT. As a by-product we obtain a topological proof of a theorem of V. Kac on the number of irreducible components of such discriminants.

[1] Anosov, D. V.; Aranson, S. Kh.; Arnold, V. I.; Bronshtein, I. U.; Grines, V. Z.; Il’yashenko, Yu. S. Ordinary differential equations and smooth dynamical systems, Springer-Verlag, Berlin, 1997 Translated from the 1985 Russian original by E. R. Dawson and D. O’Shea, Third printing of the 1988 translation [Dynamical systems. I, Encyclopaedia Math. Sci., 1, Springer, Berlin, 1988; MR0970793 (89g:58060)] | MR | Zbl

[2] Artin, M. On the solutions of analytic equations, Invent. Math., Volume 5 (1968), pp. 277-291 | DOI | EuDML | MR | Zbl

[3] Buchweitz, Ragnar-Olaf; Mond, David Linear free divisors and quiver representations, Singularities and computer algebra (London Math. Soc. Lecture Note Ser.), Volume 324, Cambridge Univ. Press, Cambridge, 2006, pp. 41-77 | MR | Zbl

[4] Calderón-Moreno, Francisco; Narváez-Macarro, Luis The module $𝒟f^s$ for locally quasi-homogeneous free divisors, Compositio Math., Volume 134 (2002) no. 1, pp. 59-74 | DOI | MR | Zbl

[5] Calderón Moreno, Francisco J.; Mond, David; Narváez Macarro, Luis; Castro Jiménez, Francisco J. Logarithmic cohomology of the complement of a plane curve, Comment. Math. Helv., Volume 77 (2002) no. 1, pp. 24-38 | DOI | MR | Zbl

[6] Castro-Jiménez, F. J.; Ucha-Enríquez, J. M. Logarithmic comparison theorem and some Euler homogeneous free divisors, Proc. Amer. Math. Soc., Volume 133 (2005) no. 5, p. 1417-1422 (electronic) | DOI | MR | Zbl

[7] Castro-Jiménez, Francisco J.; Narváez-Macarro, Luis; Mond, David Cohomology of the complement of a free divisor, Trans. Amer. Math. Soc., Volume 348 (1996) no. 8, pp. 3037-3049 | DOI | MR | Zbl

[8] Fehér, L.M.; Patakfalvi, Zs. The incidence class and the hierarchy of orbits (2007) (http://arxiv.org/abs/0705.3834)

[9] Gabriel, Peter Unzerlegbare Darstellungen. I, Manuscripta Math., Volume 6 (1972), p. 71-103; correction, ibid. 6 (1972), 309 | DOI | EuDML | MR | Zbl

[10] Granger, Michel; Mond, David; Nieto, Alicia; Schulze, Mathias Linear free divisors and the global logarithmic comparison theorem (2006) (http://arxiv.org/abs/math/0607045)

[11] Granger, Michel; Schulze, Mathias On the formal structure of logarithmic vector fields, Compos. Math., Volume 142 (2006) no. 3, pp. 765-778 | DOI | MR | Zbl

[12] Grothendieck, A. On the de Rham cohomology of algebraic varieties, Inst. Hautes Études Sci. Publ. Math. (1966) no. 29, pp. 95-103 | DOI | Numdam | MR | Zbl

[13] Hauser, Herwig; Müller, Gerd The cancellation property for direct products of analytic space germs, Math. Ann., Volume 286 (1990) no. 1-3, pp. 209-223 | DOI | MR | Zbl

[14] Humphreys, James E. Linear algebraic groups, Springer-Verlag, New York, 1975 (Graduate Texts in Mathematics, No. 21) | MR | Zbl

[15] Jacobson, Nathan Lie algebras, Dover Publications Inc., New York, 1979 (Republication of the 1962 original) | MR

[16] Kac, V. G. Infinite root systems, representations of graphs and invariant theory. II, J. Algebra, Volume 78 (1982) no. 1, pp. 141-162 | DOI | MR | Zbl

[17] Kraft, H.; Riedtmann, Ch. Geometry of representations of quivers, Representations of algebras (Durham, 1985) (London Math. Soc. Lecture Note Ser.), Volume 116, Cambridge Univ. Press, Cambridge, 1986, pp. 109-145 | MR | Zbl

[18] Nieto-Reyes, Alicia M.Phil Thesis, University of Warwick, Coventry, England (2005) (Masters thesis)

[19] Onishchik, A. L.; Vinberg, È. B. Lie groups and algebraic groups, Springer Series in Soviet Mathematics, Springer-Verlag, Berlin, 1990 (Translated from the Russian and with a preface by D. A. Leites) | MR | Zbl

[20] Orlik, Peter; Terao, Hiroaki Arrangements of hyperplanes, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 300, Springer-Verlag, Berlin, 1992 | MR | Zbl

[21] Saito, Kyoji Quasihomogene isolierte Singularitäten von Hyperflächen, Invent. Math., Volume 14 (1971), pp. 123-142 | DOI | MR | Zbl

[22] Saito, Kyoji Theory of logarithmic differential forms and logarithmic vector fields, J. Fac. Sci. Univ. Tokyo Sect. IA Math., Volume 27 (1980) no. 2, pp. 265-291 | MR | Zbl

[23] Sato, M.; Kimura, T. A classification of irreducible prehomogeneous vector spaces and their relative invariants, Nagoya Math. J., Volume 65 (1977), pp. 1-155 | MR | Zbl

[24] Schofield, Aidan Semi-invariants of quivers, J. London Math. Soc. (2), Volume 43 (1991) no. 3, pp. 385-395 | DOI | MR | Zbl

[25] Serre, Jean-Pierre Complex semisimple Lie algebras, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2001 (Translated from the French by G. A. Jones, Reprint of the 1987 edition) | MR | Zbl

[26] Terao, Hiroaki Forms with logarithmic pole and the filtration by the order of the pole, Proceedings of the International Symposium on Algebraic Geometry (Kyoto Univ., Kyoto, 1977), Kinokuniya Book Store, Tokyo (1978), pp. 673-685 | MR | Zbl

[27] Torrelli, Tristan On meromorphic functions defined by a differential system of order 1, Bull. Soc. Math. France, Volume 132 (2004) no. 4, pp. 591-612 | Numdam | MR | Zbl

[28] Walther, Uli Bernstein-Sato polynomial versus cohomology of the Milnor fiber for generic hyperplane arrangements, Compos. Math., Volume 141 (2005) no. 1, pp. 121-145 | DOI | MR | Zbl

[29] Wiens, Jonathan; Yuzvinsky, Sergey De Rham cohomology of logarithmic forms on arrangements of hyperplanes, Trans. Amer. Math. Soc., Volume 349 (1997) no. 4, pp. 1653-1662 | DOI | MR | Zbl