Decomposable forms and automorphisms. (Q1874319): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 11:51, 1 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Decomposable forms and automorphisms. |
scientific article |
Statements
Decomposable forms and automorphisms. (English)
0 references
25 May 2003
0 references
Let \(\mathcal{F}_{d}\) be the set of decomposable forms of degree \(d>0\) over an algebraically closed field \(K\) with variables in a \(K\)-vector space \(V\). Then \(\text{GL}(V) \) acts on \(\mathcal{F}_{d}\) via \(\gamma \cdot f=f\circ \gamma ^{-1}\), \(\gamma \in \text{GL}(V)\), \(f\in \mathcal{F}_{d}.\) For a given \(f\), \(\Aut(f) \) is defined to be the stabilizer of this action. This paper studies the group \( \Aut(f) \) for certain classes of forms. As \(f\) is decomposable we may write \(f=l_{1}l_{2}\cdots l_{d}\) for \(l_{i}\in V^{\ast }.\) Writing \(l=( l_{1},\ldots ,l_{d}) \) there is a map \( \widetilde{\rho}_{l}:\Aut(f) \to \Sigma _{d},\) where \(\Sigma _{d}\) is the symmetric group on \(d\) letters. While this map depends on the choice of decomposition \(l\), the author proves that, for \( m=( m_{1},\ldots ,m_{d}) \) another decomposition of \(f\), the maps \(\widetilde{\rho}_{l}\) and \(\widetilde{\rho}_{m}\) are conjugate in \(\Sigma _{d}.\) Let \(\Gamma _{l}( f) \) be the image of \(\Aut(f) \) under \(\widetilde{\rho}_{l}\). Then \(\Aut(f) \) is the semidirect product of \(\mu _{d}\) (the \(d\)th roots of unity) with \(\Gamma(f) \) where \(\Gamma(f) =\Gamma _{l}( f) \) for any decomposition \(l\). Thus the computation of \(\Aut(f) \) is equivalent to the computation of \(\Gamma(f) .\) In the second section, the author does some computations of \(\Gamma(f) \) in special cases. For a non-degenerate form \(f\) of degree \(d>0\), let \(k\) denote the number of variables. If \(k=2\) and \(d\geq 4\) then any nontrivial \(\tau \in \Gamma(f) \) is the product of \(( d-i) /t\) cycles of length \( t\) and \(i\) fixed points for some \(t\) and for \(0\leq i\leq 2.\) If \(k=3\) and \( d\geq 5\) then any nontrivial \(\tau \in \Gamma(f) \) is either the product of \(( d-i) /t\) \(t\)-cycles for \(0\leq i\leq 3\), or \((d-2-i)/t\) \(t\)-cycles, one \(2\)-cycle, and \(i\) fixed points for \( i=0\) or \(1.\) An element of \(\Aut(f) \) not in \(\mu _{d}\) is called nontrivial. Thus a nondegenerate form has a nontrivial automorphism if and only if \(\Gamma(f) \) is nontrivial. If all automorphisms of \(f\) are trivial we say \(f\) is generic. The remainder of the paper is devoted to determining when \(f\) is generic. It is shown that, in the case where \(k=2\) and \(d=4\) we have that every nondegenerate form has \(| \Gamma(f) | \) equal to 4, 8, or 12, and hence \(f\) is not generic. Cases are given to show that each of the three possible orders are in fact achieved for various \(f\). In the final section, the author proves, for \(k=2\) and \(d\geq 5\) and for \( k\geq 3\) and \(d\geq k+2,\) that ``almost all forms'' are generic. Specifically, it is shown that the set of \(( l_{1},\ldots ,l_{d}) \in(V^{\ast }) ^{d}\) for which \(f=l_{1}\cdots l_{d}\) is dense (in the Zariski topology) inside \(( V^{\ast }) ^{d}.\)
0 references
decomposable forms
0 references
automorphisms
0 references
generic forms
0 references