We introduce a method for obtaining new classes of free divisors from representations of connected linear algebraic groups where , with having an open orbit. We give sufficient conditions that the complement of this open orbit, the “exceptional orbit variety”, is a free divisor (or a slightly weaker free* divisor) for “block representations” of both solvable groups and extensions of reductive groups by them. These are representations for which the matrix defined from a basis of associated “representation vector fields” on has block triangular form, with blocks satisfying certain nonsingularity conditions.
For towers of Lie groups and representations this yields a tower of free divisors, successively obtained by adjoining varieties of singular matrices. This applies to solvable groups which give classical Cholesky-type factorization, and a modified form of it, on spaces of symmetric, skew-symmetric or general matrices. For skew-symmetric matrices, it further extends to representations of nonlinear infinite dimensional solvable Lie algebras.
Nous introduisons une méthode pour obtenir des nouvelles classes de diviseurs libres à partir de représentations de groupes algébriques linéaires connexes pour lesquelles et a une orbite ouverte. Nous donnons des conditions suffisantes pour lesquelles le complémentaire de cette orbite ouverte, la « variété des orbites exceptionelles », est une diviseur libre (ou un diviseur libre* plus faible) pour des « représentations par blocs » à la fois des groupes solvables et des extensions des groupes réductifs par ces groupes. Ce sont des représentations pour lesquelles la matrice définie à partir d’une base des « champs des vecteurs associés » de la représentation , a une forme triangulaire bloc et les blocs satisfont certaines conditions de non-singularité.
Pour les tours de groupes de Lie et leurs représentations ce résultat donne une tour de diviseurs libres obtenue en avoisinant successivement des variétés de matrices singulières. Il s’applique aux groupes solvables qui donnent la factorisation classique du type Cholesky et une forme modifiée de celle ci, sur les espaces des matrices symétriques, antisymétriques, ou générales. Pour les matrices antisymétriques, il s’étend aussi aux représentations des algèbres de Lie solvables et non-linéaires de dimension infinie.
Keywords: prehomogeneous vector spaces, free divisors, linear free divisors, determinantal varieties, Pfaffian varieties, solvable algebraic groups, Cholesky-type factorizations, block representations, exceptional orbit varieties, infinite-dimensional solvable Lie algebras
Mot clés : espaces vectoriels préhomogènes, diviseurs libres, diviseurs libres linéaires, variétés déterminantales, variétés de Pfaff, groupes algébriques solvables, factorisations du type Cholesky, représentations par blocs, variété des orbites exceptionelles, algèbres de Lie solvables de dimension infinie
Damon, James 1; Pike, Brian 2
@article{AIF_2015__65_3_1251_0, author = {Damon, James and Pike, Brian}, title = {Solvable {Groups,} {Free} {Divisors} and {Nonisolated} {Matrix} {Singularities} {I:} {Towers} of {Free} {Divisors}}, journal = {Annales de l'Institut Fourier}, pages = {1251--1300}, publisher = {Association des Annales de l{\textquoteright}institut Fourier}, volume = {65}, number = {3}, year = {2015}, doi = {10.5802/aif.2956}, zbl = {06497263}, mrnumber = {3449179}, language = {en}, url = {https://aif.centre-mersenne.org/articles/10.5802/aif.2956/} }
TY - JOUR AU - Damon, James AU - Pike, Brian TI - Solvable Groups, Free Divisors and Nonisolated Matrix Singularities I: Towers of Free Divisors JO - Annales de l'Institut Fourier PY - 2015 SP - 1251 EP - 1300 VL - 65 IS - 3 PB - Association des Annales de l’institut Fourier UR - https://aif.centre-mersenne.org/articles/10.5802/aif.2956/ DO - 10.5802/aif.2956 LA - en ID - AIF_2015__65_3_1251_0 ER -
%0 Journal Article %A Damon, James %A Pike, Brian %T Solvable Groups, Free Divisors and Nonisolated Matrix Singularities I: Towers of Free Divisors %J Annales de l'Institut Fourier %D 2015 %P 1251-1300 %V 65 %N 3 %I Association des Annales de l’institut Fourier %U https://aif.centre-mersenne.org/articles/10.5802/aif.2956/ %R 10.5802/aif.2956 %G en %F AIF_2015__65_3_1251_0
Damon, James; Pike, Brian. Solvable Groups, Free Divisors and Nonisolated Matrix Singularities I: Towers of Free Divisors. Annales de l'Institut Fourier, Volume 65 (2015) no. 3, pp. 1251-1300. doi : 10.5802/aif.2956. https://aif.centre-mersenne.org/articles/10.5802/aif.2956/
[1] Cholesky-like factorizations of skew-symmetric matrices, Electron. Trans. Numer. Anal., Volume 11 (2000), p. 85-93 (electronic) | MR | Zbl
[2] Linear algebraic groups, Graduate Texts in Mathematics, 126, Springer-Verlag, New York, 1991, pp. xii+288 | DOI | MR | Zbl
[3] On families of symmetric matrices, Mosc. Math. J., Volume 3 (2003) no. 2, pp. 335-360 | MR | Zbl
[4] On families of square matrices, Proc. London Math. Soc. (3), Volume 89 (2004) no. 3, pp. 738-762 | DOI | MR | Zbl
[5] Algebra structures for finite free resolutions, and some structure theorems for ideals of codimension , Amer. J. Math., Volume 99 (1977) no. 3, pp. 447-485 | DOI | MR | Zbl
[6] 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 | DOI | MR | Zbl
[7] On ideals of finite homological dimension in local rings, Proc. Cambridge Philos. Soc., Volume 64 (1968), pp. 941-948 | DOI | MR | Zbl
[8] Higher multiplicities and almost free divisors and complete intersections, Mem. Amer. Math. Soc., Volume 123 (1996) no. 589, pp. x+113 | DOI | MR | Zbl
[9] On the legacy of free divisors: discriminants and Morse-type singularities, Amer. J. Math., Volume 120 (1998) no. 3, pp. 453-492 http://muse.jhu.edu/journals/american_journal_of_mathematics/v120/120.3damon.pdf | DOI | MR | Zbl
[10] On the legacy of free divisors. II. Free divisors and complete intersections, Mosc. Math. J., Volume 3 (2003) no. 2, pp. 361-395 | MR | Zbl
[11] -codimension and the vanishing topology of discriminants, Invent. Math., Volume 106 (1991) no. 2, pp. 217-242 | DOI | MR | Zbl
[12] Solvable group representations and free divisors whose complements are ’s, Topology Appl., Volume 159 (2012) no. 2, pp. 437-449 | DOI | MR | Zbl
[13] Solvable groups, free divisors and nonisolated matrix singularities II: vanishing topology, Geom. Topol., Volume 18 (2014) no. 2, pp. 911-962 | DOI | MR | Zbl
[14] Applied numerical linear algebra, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 1997, pp. xii+419 | DOI | MR | Zbl
[15] A simple proof of an identity concerning Pfaffians of skew symmetric matrices, Adv. Math., Volume 112 (1995) no. 1, pp. 120-134 | DOI | MR | Zbl
[16] Ideals defined by matrices and a certain complex associated with them., Proc. Roy. Soc. Ser. A, Volume 269 (1962), pp. 188-204 | DOI | MR | Zbl
[17] Classification of simple space curve singularities, Comm. Algebra, Volume 27 (1999) no. 8, pp. 3993-4013 | DOI | MR | Zbl
[18] Simple Cohen-Macaulay codimension 2 singularities, Comm. Algebra, Volume 38 (2010) no. 2, pp. 454-495 | DOI | MR | Zbl
[19] Simple symmetric matrix singularities and the subgroups of Weyl groups , , , Mosc. Math. J., Volume 3 (2003) no. 2, pp. 507-530 | MR | Zbl
[20] Linear free divisors and the global logarithmic comparison theorem, Ann. Inst. Fourier (Grenoble), Volume 59 (2009) no. 2, pp. 811-850 | DOI | Numdam | MR | Zbl
[21] Free divisors in prehomogeneous vector spaces, Proc. Lond. Math. Soc. (3), Volume 102 (2011) no. 5, pp. 923-950 | DOI | MR | Zbl
[22] Spitzen, Doppelpunkte und vertikale Tangenten in der Diskriminante verseller Deformationen von vollständigen Durchschnitten, Math. Ann., Volume 222 (1976) no. 1, pp. 71-88 | DOI | MR | Zbl
[23] Families of Skew-Symmetric Matrices, University of Liverpool (2001) (Ph. D. Thesis)
[24] Ueber die Theorie der algebraischen Formen, Math. Ann., Volume 36 (1890) no. 4, pp. 473-534 | DOI | MR
[25] Introduction to prehomogeneous vector spaces, Translations of Mathematical Monographs, 215, American Mathematical Society, Providence, RI, 2003, pp. xxii+288 (Translated from the 1998 Japanese original by Makoto Nagura and Tsuyoshi Niitani and revised by the author) | MR | Zbl
[26] The algebraic theory of modular systems, Cambridge Mathematical Library, Cambridge University Press, Cambridge, 1994, pp. xxxii+112 (Revised reprint of the 1916 original, With an introduction by Paul Roberts) | MR | Zbl
[27] A treatise on the theory of determinants, Revised and enlarged by William H. Metzler, Dover Publications, Inc., New York, 1960, pp. vii+766 | MR
[28] Singular Milnor numbers of non-isolated matrix singularities, Dept. of Mathematics, University of North Carolina (2010) (Ph. D. Thesis) | MR
[29] 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
[30] A classification of irreducible prehomogeneous vector spaces and their relative invariants, Nagoya Math. J., Volume 65 (1977), pp. 1-155 | MR | Zbl
[31] Theory of prehomogeneous vector spaces (algebraic part)—the English translation of Sato’s lecture from Shintani’s note, Nagoya Math. J., Volume 120 (1990), pp. 1-34 http://projecteuclid.org/euclid.nmj/1118782193 (Notes by Takuro Shintani, Translated from the Japanese by Masakazu Muro) | MR | Zbl
[32] Deformations of Cohen-Macaulay schemes of codimension and non-singular deformations of space curves, Amer. J. Math., Volume 99 (1977) no. 4, pp. 669-685 | DOI | MR | Zbl
Cited by Sources: