Solvable groups, free divisors and nonisolated matrix singularities II: Vanishing topology

Damon, James¹ ; Pike, Brian²

¹ Department of Mathematics, University of North Carolina, Chapel Hill, NC 27599-3250, USA
² Department of Computer and Mathematical Sciences, University of Toronto Scarborough, 1265 Military Trail, Toronto, ON M1C 1A4, Canada

Geometry & topology, Tome 18 (2014) no. 2, pp. 911-962.

Résumé

In this paper we use the results from the first part to compute the vanishing topology for matrix singularities based on certain spaces of matrices. We place the variety of singular matrices in a geometric configuration of free divisors which are the “exceptional orbit varieties” for representations of solvable groups. Because there are towers of representations for towers of solvable groups, the free divisors actually form a tower of free divisors ${\mathcal{ℰ}}_n$, and we give an inductive procedure for computing the vanishing topology of the matrix singularities. The inductive procedure we use is an extension of that introduced by Lê–Greuel for computing the Milnor number of an ICIS. Instead of linear subspaces, we use free divisors arising from the geometric configuration and which correspond to subgroups of the solvable groups.

Here the vanishing topology involves a singular version of the Milnor fiber; however, it still has the good connectivity properties and is homotopy equivalent to a bouquet of spheres, whose number is called the singular Milnor number. We give formulas for this singular Milnor number in terms of singular Milnor numbers of various free divisors on smooth subspaces, which can be computed as lengths of determinantal modules. In addition to being applied to symmetric, general and skew-symmetric matrix singularities, the results are also applied to Cohen–Macaulay singularities defined as $2\times 3$ matrix singularities. We compute the Milnor number of isolated Cohen–Macaulay surface singularities of this type in ${ℂ}^4$ and the difference of Betti numbers of Milnor fibers for isolated Cohen–Macaulay 3–fold singularities of this type in ${ℂ}^5$.

Détail

DOI : 10.2140/gt.2014.18.911

Classification : 32S30, 17B66, 14M05, 14M12
Keywords: matrix singularity, determinantal variety, vanishing cycles, Milnor number, singular Milnor number, Cohen–Macaulay singularities, free divisors, deformation codimension

Bibliographie

[1] J W Bruce, On families of symmetric matrices, Mosc. Math. J. 3 (2003) 335, 741

[2] R O Buchweitz, D Mond, Linear free divisors and quiver representations, from: "Singularities and computer algebra" (editors C Lossen, G Pfister), London Math. Soc. Lecture Note Ser. 324, Cambridge Univ. Press (2006) 41

[3] L Burch, On ideals of finite homological dimension in local rings, Proc. Cambridge Philos. Soc. 64 (1968) 941

[4] J Damon, The unfolding and determinacy theorems for subgroups of $\mathcal{A}$ and $\mathcal{K}$, Mem. Amer. Math. Soc. 306, AMS (1984)

[5] J Damon, Deformations of sections of singularities and Gorenstein surface singularities, Amer. J. Math. 109 (1987) 695

[6] J Damon, A Bezout theorem for determinantal modules, Compositio Math. 98 (1995) 117

[7] J Damon, Higher multiplicities and almost free divisors and complete intersections, Mem. Amer. Math. Soc. 589, AMS (1996)

[8] J Damon, Nonlinear sections of nonisolated complete intersections, from: "New developments in singularity theory" (editors D Siersma, C T C Wall, V Zakalyukin), NATO Sci. Ser. II Math. Phys. Chem. 21, Kluwer Acad. Publ. (2001) 405

[9] J Damon, D Mond, $\mathcal{A}$–codimension and the vanishing topology of discriminants, Invent. Math. 106 (1991) 217

[10] J Damon, B Pike, Solvable groups, free divisors and nonisolated matrix singularities I: Towers of free divisors

[11] A Frühbis-Krüger, Classification of simple space curve singularities, Comm. Algebra 27 (1999) 3993

[12] A Frühbis-Krüger, A Neumer, Simple Cohen–Macaulay codimension $2$ singularities, Comm. Algebra 38 (2010) 454

[13] J J Gervais, Germes de $G$–détermination finie, C. R. Acad. Sci. Paris Sér. A–B 284 (1977)

[14] J J Gervais, Critères de $G$–stabilité en termes de transversalité, Canad. J. Math. 31 (1979) 264

[15] V Goryunov, D Mond, Tjurina and Milnor numbers of matrix singularities, J. London Math. Soc. 72 (2005) 205

[16] M Granger, D Mond, A Nieto-Reyes, M Schulze, Linear free divisors and the global logarithmic comparison theorem, Ann. Inst. Fourier (Grenoble) 59 (2009) 811

[17] D R Grayson, M E Stillman, Macaulay2, a software system for research in algebraic geometry

[18] G M Greuel, Dualität in der lokalen Kohomologie isolierter Singularitäten, Math. Ann. 250 (1980) 157

[19] G M Greuel, D T Lê, Spitzen, Doppelpunkte und vertikale Tangenten in der Diskriminante verseller Deformationen von vollständigen Durchschnitten, Math. Ann. 222 (1976) 71

[20] G M Greuel, J Steenbrink, On the topology of smoothable singularities, from: "Singularities, Part 1" (editor P Orlik), Proc. Sympos. Pure Math. 40, Amer. Math. Soc. (1983) 535

[21] T H Gulliksen, O G Negård, Un complexe résolvant pour certains idéaux déterminantiels, C. R. Acad. Sci. Paris Sér. A-B 274 (1972)

[22] D Hilbert, Ueber die Theorie der algebraischen Formen, Math. Ann. 36 (1890) 473

[23] T Józefiak, Ideals generated by minors of a symmetric matrix, Comment. Math. Helv. 53 (1978) 595

[24] T Józefiak, P Pragacz, Ideals generated by Pfaffians, J. Algebra 61 (1979) 189

[25] M Kato, Y Matsumoto, On the connectivity of the Milnor fiber of a holomorphic function at a critical point, from: "Manifolds" (editors A Hattori, N Sūgakkai), Univ. Tokyo Press (1975) 131

[26] D T Lê, B Teissier, Cycles evanescents, sections planes et conditions de Whitney, II, from: "Singularities, Part 2", Proc. Sympos. Pure Math. 40, Amer. Math. Soc. (1983) 65

[27] E J N Looijenga, Isolated singular points on complete intersections, London Mathematical Society Lecture Note Series 77, Cambridge Univ. Press (1984)

[28] E Looijenga, J Steenbrink, Milnor number and Tjurina number of complete intersections, Math. Ann. 271 (1985) 121

[29] M D S Pereira, Determinantal varieties and singularities of matrices, PhD thesis, University of São Paulo (2010)

[30] B Pike, VectorFields 1.0 and calc\_smn 1.0: Macaulay2 programs

[31] B Pike, Singular Milnor numbers for nonisolated matrix singularities, PhD thesis, University of North Carolina (2010)

[32] K Saito, Theory of logarithmic differential forms and logarithmic vector fields, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 27 (1980) 265

[33] M Schaps, Deformations of Cohen–Macaulay schemes of codimension $2$ and nonsingular deformations of space curves, Amer. J. Math. 99 (1977) 669

[34] B Teissier, Cycles évanescents, sections planes et conditions de Whitney, from: "Singularités à Cargèse", Astérisque 7–8, Soc. Math. France (1973) 285

[35] G N Tjurina, Absolute isolation of rational singularities, and triple rational points, Funkcional. Anal. i Priložen. 2 (1968) 70

[36] J Wahl, Smoothings of normal surface singularities, Topology 20 (1981) 219