Some remarks on equations defining coincident root loci (Q435939): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Coincident root loci (CRL) for binary forms are defined in the following way; let \(V = k[x,y]_1\), where \(k\) is algebrically closed and char\(k =0\), and consider \(F\in k[x,y]_d\); if \(\lambda = (\lambda_1 ,\dots ,\lambda_e)\) is a partition of \(d\), we set \[ X_{\lambda} = \{ [F]\in {\mathbb P}(\mathrm{Sym}^d V) | \exists L_1,\dots,L_e \in V: [F] = \prod _{i=1}^e [L_i]^{\lambda _i} \} . \] Better, \(X_\lambda\) can be defined by writing \(\lambda =(1^{e_1},2^{e_2},\dots,d^{e_d})\), where \(e_r := \) ``number of \(\lambda_i = r\)'', and so \(Y_\lambda = \prod _{i=1}^d{\mathbb P}(\mathrm{Sym}^{e_i}(V))\); then a morphism of schemes can be defined: \(f_\lambda : Y_\lambda \longrightarrow {\mathbb P}(\mathrm{Sym}^d(V))\), where \(f_\lambda (G_1,\dots,G_d) = \prod _{r=1}^d G_r^r\), and the ``coincident root locus (with multiplicity \(\lambda\))'' is \(X_\lambda =\) im\(f_\lambda\). In this way \(Y_\lambda\) is the normalization of \(X_\lambda\). \(X_\lambda\) is also related to \(\Gamma _\lambda := X_\lambda \times Y_\lambda \subseteq {\mathbb P}(\mathrm{Sym}^d(V))\times Y_\lambda\), and a resolution for \(\Gamma_\lambda\) is given by an Eagon-Northcott complex in [\textit{J. Y. Chipalkatti}, J. Algebra 267, No. 1, 246--271 (2003; Zbl 1099.13501)]. The proof of such result seems to present a gap: In this paper that gap is filled by showing that \(\Gamma_\lambda\) equals a certain subscheme defined via Fitting ideals (as schemes, not only set-theoretically). Moreover, a nice description of the singular locus of \(X_\lambda\) is given (and a criterion to decide whether \(X_\lambda\) is smooth) and also local equations for \(\Gamma_\lambda\). | |||
Property / review text: Coincident root loci (CRL) for binary forms are defined in the following way; let \(V = k[x,y]_1\), where \(k\) is algebrically closed and char\(k =0\), and consider \(F\in k[x,y]_d\); if \(\lambda = (\lambda_1 ,\dots ,\lambda_e)\) is a partition of \(d\), we set \[ X_{\lambda} = \{ [F]\in {\mathbb P}(\mathrm{Sym}^d V) | \exists L_1,\dots,L_e \in V: [F] = \prod _{i=1}^e [L_i]^{\lambda _i} \} . \] Better, \(X_\lambda\) can be defined by writing \(\lambda =(1^{e_1},2^{e_2},\dots,d^{e_d})\), where \(e_r := \) ``number of \(\lambda_i = r\)'', and so \(Y_\lambda = \prod _{i=1}^d{\mathbb P}(\mathrm{Sym}^{e_i}(V))\); then a morphism of schemes can be defined: \(f_\lambda : Y_\lambda \longrightarrow {\mathbb P}(\mathrm{Sym}^d(V))\), where \(f_\lambda (G_1,\dots,G_d) = \prod _{r=1}^d G_r^r\), and the ``coincident root locus (with multiplicity \(\lambda\))'' is \(X_\lambda =\) im\(f_\lambda\). In this way \(Y_\lambda\) is the normalization of \(X_\lambda\). \(X_\lambda\) is also related to \(\Gamma _\lambda := X_\lambda \times Y_\lambda \subseteq {\mathbb P}(\mathrm{Sym}^d(V))\times Y_\lambda\), and a resolution for \(\Gamma_\lambda\) is given by an Eagon-Northcott complex in [\textit{J. Y. Chipalkatti}, J. Algebra 267, No. 1, 246--271 (2003; Zbl 1099.13501)]. The proof of such result seems to present a gap: In this paper that gap is filled by showing that \(\Gamma_\lambda\) equals a certain subscheme defined via Fitting ideals (as schemes, not only set-theoretically). Moreover, a nice description of the singular locus of \(X_\lambda\) is given (and a criterion to decide whether \(X_\lambda\) is smooth) and also local equations for \(\Gamma_\lambda\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Alessandro Gimigliano / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14N20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14M12 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6055219 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
binary forms | |||
Property / zbMATH Keywords: binary forms / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
coincident root loci | |||
Property / zbMATH Keywords: coincident root loci / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
discriminant variety | |||
Property / zbMATH Keywords: discriminant variety / rank | |||
Normal rank |
Revision as of 00:58, 30 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Some remarks on equations defining coincident root loci |
scientific article |
Statements
Some remarks on equations defining coincident root loci (English)
0 references
13 July 2012
0 references
Coincident root loci (CRL) for binary forms are defined in the following way; let \(V = k[x,y]_1\), where \(k\) is algebrically closed and char\(k =0\), and consider \(F\in k[x,y]_d\); if \(\lambda = (\lambda_1 ,\dots ,\lambda_e)\) is a partition of \(d\), we set \[ X_{\lambda} = \{ [F]\in {\mathbb P}(\mathrm{Sym}^d V) | \exists L_1,\dots,L_e \in V: [F] = \prod _{i=1}^e [L_i]^{\lambda _i} \} . \] Better, \(X_\lambda\) can be defined by writing \(\lambda =(1^{e_1},2^{e_2},\dots,d^{e_d})\), where \(e_r := \) ``number of \(\lambda_i = r\)'', and so \(Y_\lambda = \prod _{i=1}^d{\mathbb P}(\mathrm{Sym}^{e_i}(V))\); then a morphism of schemes can be defined: \(f_\lambda : Y_\lambda \longrightarrow {\mathbb P}(\mathrm{Sym}^d(V))\), where \(f_\lambda (G_1,\dots,G_d) = \prod _{r=1}^d G_r^r\), and the ``coincident root locus (with multiplicity \(\lambda\))'' is \(X_\lambda =\) im\(f_\lambda\). In this way \(Y_\lambda\) is the normalization of \(X_\lambda\). \(X_\lambda\) is also related to \(\Gamma _\lambda := X_\lambda \times Y_\lambda \subseteq {\mathbb P}(\mathrm{Sym}^d(V))\times Y_\lambda\), and a resolution for \(\Gamma_\lambda\) is given by an Eagon-Northcott complex in [\textit{J. Y. Chipalkatti}, J. Algebra 267, No. 1, 246--271 (2003; Zbl 1099.13501)]. The proof of such result seems to present a gap: In this paper that gap is filled by showing that \(\Gamma_\lambda\) equals a certain subscheme defined via Fitting ideals (as schemes, not only set-theoretically). Moreover, a nice description of the singular locus of \(X_\lambda\) is given (and a criterion to decide whether \(X_\lambda\) is smooth) and also local equations for \(\Gamma_\lambda\).
0 references
binary forms
0 references
coincident root loci
0 references
discriminant variety
0 references