×

Linear free divisors and the global logarithmic comparison theorem. (English) Zbl 1163.32014

Summary: A complex hypersurface \(D\) in \(\mathbb C^{ 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 \(\mathbb C^{ 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.

MSC:

32S20 Global theory of complex singularities; cohomological properties
14F40 de Rham cohomology and algebraic geometry
20G10 Cohomology theory for linear algebraic groups
17B66 Lie algebras of vector fields and related (super) algebras
PDFBibTeX XMLCite
Full Text: DOI arXiv Numdam EuDML

References:

[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 (1997) · Zbl 0858.34001
[2] Artin, M., On the solutions of analytic equations, Invent. Math., 5, 277-291 (1968) · Zbl 0172.05301
[3] Buchweitz, Ragnar-Olaf; Mond, David, Singularities and computer algebra, 324, 41-77 (2006) · Zbl 1101.14013
[4] Calderón-Moreno, Francisco; Narváez-Macarro, Luis, The module \(\mathscr{D}f^s\) for locally quasi-homogeneous free divisors, Compositio Math., 134, 1, 59-74 (2002) · Zbl 1017.32023
[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., 77, 1, 24-38 (2002) · Zbl 1010.32016
[6] Castro-Jiménez, F. J.; Ucha-Enríquez, J. M., Logarithmic comparison theorem and some Euler homogeneous free divisors, Proc. Amer. Math. Soc., 133, 5, 1417-1422 (electronic) (2005) · Zbl 1077.32012
[7] Castro-Jiménez, Francisco J.; Narváez-Macarro, Luis; Mond, David, Cohomology of the complement of a free divisor, Trans. Amer. Math. Soc., 348, 8, 3037-3049 (1996) · Zbl 0862.32021
[8] Fehér, L. M.; Patakfalvi, Zs., The incidence class and the hierarchy of orbits (2007)
[9] Gabriel, Peter, Unzerlegbare Darstellungen. I, Manuscripta Math., 6, 71-103; correction, ibid. 6 (1972), 309 (1972) · Zbl 0232.08001
[10] Granger, Michel; Mond, David; Nieto, Alicia; Schulze, Mathias, Linear free divisors and the global logarithmic comparison theorem (2006) · Zbl 1163.32014
[11] Granger, Michel; Schulze, Mathias, On the formal structure of logarithmic vector fields, Compos. Math., 142, 3, 765-778 (2006) · Zbl 1096.32016
[12] Grothendieck, A., On the de Rham cohomology of algebraic varieties, Inst. Hautes Études Sci. Publ. Math., 29, 95-103 (1966) · Zbl 0145.17602
[13] Hauser, Herwig; Müller, Gerd, The cancellation property for direct products of analytic space germs, Math. Ann., 286, 1-3, 209-223 (1990) · Zbl 0702.32008
[14] Humphreys, James E., Linear algebraic groups (1975) · Zbl 0325.20039
[15] Jacobson, Nathan, Lie algebras (1979) · Zbl 0121.27504
[16] Kac, V. G., Infinite root systems, representations of graphs and invariant theory. II, J. Algebra, 78, 1, 141-162 (1982) · Zbl 0497.17007
[17] Kraft, H.; Riedtmann, Ch., Representations of algebras (Durham, 1985), 116, 109-145 (1986) · Zbl 0632.16019
[18] Nieto-Reyes, Alicia, M.Phil Thesis (2005)
[19] Onishchik, A. L.; Vinberg, È. B., Lie groups and algebraic groups (1990) · Zbl 0722.22004
[20] Orlik, Peter; Terao, Hiroaki, Arrangements of hyperplanes, 300 (1992) · Zbl 0757.55001
[21] Saito, Kyoji, Quasihomogene isolierte Singularitäten von Hyperflächen, Invent. Math., 14, 123-142 (1971) · Zbl 0224.32011
[22] Saito, Kyoji, Theory of logarithmic differential forms and logarithmic vector fields, J. Fac. Sci. Univ. Tokyo Sect. IA Math., 27, 2, 265-291 (1980) · Zbl 0496.32007
[23] Sato, M.; Kimura, T., A classification of irreducible prehomogeneous vector spaces and their relative invariants, Nagoya Math. J., 65, 1-155 (1977) · Zbl 0321.14030
[24] Schofield, Aidan, Semi-invariants of quivers, J. London Math. Soc. (2), 43, 3, 385-395 (1991) · Zbl 0779.16005
[25] Serre, Jean-Pierre, Complex semisimple Lie algebras (2001) · Zbl 1058.17005
[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), 673-685 (1978) · Zbl 0429.32015
[27] Torrelli, Tristan, On meromorphic functions defined by a differential system of order 1, Bull. Soc. Math. France, 132, 4, 591-612 (2004) · Zbl 1080.32011
[28] Walther, Uli, Bernstein-Sato polynomial versus cohomology of the Milnor fiber for generic hyperplane arrangements, Compos. Math., 141, 1, 121-145 (2005) · Zbl 1070.32021
[29] Wiens, Jonathan; Yuzvinsky, Sergey, De Rham cohomology of logarithmic forms on arrangements of hyperplanes, Trans. Amer. Math. Soc., 349, 4, 1653-1662 (1997) · Zbl 0948.52014
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.