×

Solvable group representations and free divisors whose complements are \(K(\pi,1)\)’s. (English) Zbl 1257.55010

A classical result of Arnold and Brieskorn states that the complement of the discriminant of the versal unfolding of a simple hypersurface singularity is a \(K(\pi,1)\). Deligne showed this result could be placed in the general framework by proving that the complement of an arrangement of reflecting hyperplanes for a Coxeter group is again a \(K(\pi, 1)\). What the discriminants and Coxeter hyperplane arrangements have in common is that they are free divisors. This notion was introduced by Saito. This leads to an intriguing question about when a free divisor has a complement which is a \(K(\pi,1)\). This remains unsettled for the discriminants of versal unfoldings of isolated hypersurface singularities; this is the classical “\(K(\pi,1)\)-problem”. Also, it remains open whether the conjecture of Saito is true that every free arrangement has a complement which is a \(K(\pi,1)\). While neither \(K(\pi,1)\)-problem has been settled, numerous other classes of free divisors have been discovered so this question continues to arise in new contexts.
In this paper, the authors apply previous results on the representations of solvable linear algebraic groups to construct a new class of free divisors whose complements are \(K(\pi,1)\)’s. These free divisors arise as the exceptional orbit varieties for a special class of “block representations” and have the structure of determinantal arrangements. Among these are the free divisors defined by conditions for the (modified) Cholesky-type factorizations of matrices, which contain the determinantal varieties of singular matrices of various types as components. These complements are proven to be homotopy tori, as are the Milnor fibers of these free divisors. The generators for the complex cohomology of each are given in terms of forms defined using the basic relative invariants of the group representation.

MSC:

55R80 Discriminantal varieties and configuration spaces in algebraic topology
22E25 Nilpotent and solvable Lie groups
55P20 Eilenberg-Mac Lane spaces
20G05 Representation theory for linear algebraic groups
32S30 Deformations of complex singularities; vanishing cycles

References:

[1] Benner, P.; Byers, R.; Fassbender, H.; Mehemann, V.; Watkins, D., Cholesky-like factorizations for skew-symmetric matrices, Electron. Trans. Numer. Anal., 11, 85-93 (2000) · Zbl 0963.65033
[2] Borel, A., Linear Algebraic Groups, Grad. Texts in Math., vol. 126 (1991), Springer-Verlag Publ. · Zbl 0726.20030
[3] Brieskorn, E. V., Sur les Groupes de Tresses (aprés Arnold), (Séminaire Bourbaki 1971/1972. Séminaire Bourbaki 1971/1972, Springer Lecture Notes in Math., vol. 317 (1973)) · Zbl 0277.55003
[4] Brieskorn, E. V., Die Fundamentalgruppe des Raumes der Regulären Orbits einer endlichen complexer Spiegelungsgruppe, Invent. Math., 12, 57-61 (1971) · Zbl 0204.56502
[5] Buchweitz, R. O.; Mond, D., Linear free divisors and quiver representations, (Singularities and Computer Algebra. Singularities and Computer Algebra, London Math. Soc. Lecture Note Ser., vol. 324 (2006), Cambridge Univ. Press), 41-77 · Zbl 1101.14013
[6] Damon, J., On the legacy of free divisors II: \(Free^⁎\) divisors and complete intersections, Special Issue in Honor of V.I. Arnolʼd. Special Issue in Honor of V.I. Arnolʼd, Mosc. Math. J., 3, 2, 361-395 (2003) · Zbl 1040.32026
[7] Damon, J.; Mond, D., \(A\)-codimension and the vanishing topology of discriminants, Invent. Math., 106, 217-242 (1991) · Zbl 0772.32023
[8] J. Damon, B. Pike, Solvable groups, free divisors and nonisolated matrix singularities I: Towers of free divisors, submitted for publication.; J. Damon, B. Pike, Solvable groups, free divisors and nonisolated matrix singularities I: Towers of free divisors, submitted for publication. · Zbl 1371.14056
[9] J. Damon, B. Pike, Solvable groups, free divisors and nonisolated matrix singularities II: Vanishing topology, preliminary version.; J. Damon, B. Pike, Solvable groups, free divisors and nonisolated matrix singularities II: Vanishing topology, preliminary version. · Zbl 1301.32017
[10] Deligne, P., Les Immenbles des Groupes de Tresses Généralisés, Invent. Math., 17, 273-302 (1972) · Zbl 0238.20034
[11] Demmel, J. W., Applied Numerical Linear Algebra (1997), SIAM Publ. · Zbl 0879.65017
[12] Granger, M.; Mond, D.; Nieto-Reyes, A.; Schulze, M., Linear free divisors and the global logarithmic comparison theorem, Ann. Inst. Fourier, 59, 811-850 (2009) · Zbl 1163.32014
[13] Knapp, A. W., Lie Groups Beyond an Introduction, Progr. Math., vol. 140 (2002), Birkhäuser: Birkhäuser Boston · Zbl 1075.22501
[14] Kimura, T., Introduction to Prehomogeneous Vector Spaces, Transl. Math. Monogr., vol. 215 (2003), Amer. Math. Soc. · Zbl 1035.11060
[15] Knörrer, H., Zum \(K(\pi, 1)\) Problem für isolierte Singularitäten von vollständigen Durchschnitten, Compos. Math., 45, 333-340 (1982) · Zbl 0493.32021
[16] Looijenga, E. J.N., Isolated Singular Points on Complete Intersections, London Math. Soc. Lecture Note Ser., vol. 77 (1984), Cambridge Univ. Press · Zbl 0552.14002
[17] Orlik, P.; Solomon, L., Discriminants in the invariant theory of reflection groups, Nagoya Math. J., 109, 23-45 (1988) · Zbl 0614.20032
[18] Orlik, P.; Terao, H., Arrangements of Hyperplanes, Grundlehren Math. Wiss., vol. 300 (1992), Springer-Verlag · Zbl 0757.55001
[19] B. Pike, PhD thesis, Dept. of Mathematics, University of North Carolina, 2010.; B. Pike, PhD thesis, Dept. of Mathematics, University of North Carolina, 2010.
[20] Saito, K., Theory of logarithmic differential forms and logarithmic vector fields, J. Fac. Sci. Univ. Tokyo Sect. Math., 27, 265-291 (1980) · Zbl 0496.32007
[21] 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
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.