Free relations for matrix invariants in the modular case (Q659880): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2964346319 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1011.5201 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the characteristic polynomial of a sum of matrices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generalized quivers associated to reductive groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Invariants of several matrices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Invariant functions on matrices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Polynomial invariants of representations of quivers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Semi-invariants of mixed representations of quivers. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Invariants of quivers under the action of classical groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: On minimal generating systems for matrix<i>O</i>(3)-invariants / rank
 
Normal rank
Property / cites work
 
Property / cites work: Orthogonal invariants of skew-symmetric matrices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relations between \(O(n)\)-invariants of several matrices. / rank
 
Normal rank
Property / cites work
 
Property / cites work: The invariant theory of \(n\times n\) matrices / rank
 
Normal rank
Property / cites work
 
Property / cites work: TRACE IDENTITIES OF FULL MATRIX ALGEBRAS OVER A FIELD OF CHARACTERISTIC ZERO / rank
 
Normal rank
Property / cites work
 
Property / cites work: SIGNED QUIVERS, SYMMETRIC QUIVERS AND ROOT SYSTEMS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Algebraic invariants for a set of matrices / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4948689 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4951258 / rank
 
Normal rank
Property / cites work
 
Property / cites work: INVARIANTS OF MIXED REPRESENTATIONS OF QUIVERS I / rank
 
Normal rank
Property / cites work
 
Property / cites work: INVARIANTS OF MIXED REPRESENTATIONS OF QUIVERS II: DEFINING RELATIONS AND APPLICATIONS / rank
 
Normal rank

Latest revision as of 20:27, 4 July 2024

scientific article
Language Label Description Also known as
English
Free relations for matrix invariants in the modular case
scientific article

    Statements

    Free relations for matrix invariants in the modular case (English)
    0 references
    24 January 2012
    0 references
    A group \(G\) of \(n\times n\) matrices with entries in an infinite field \(\mathbb{F}\) acts on \(\mathbb{F}^{n\times n}\) by conjugation; by extension \(G\) acts on \(V=(\mathbb{F}^{n\times n})^{d}\) by diagonal conjugation for some fixed \(d\). Let \(R\) be the coordinate algebra of \(V\), and \(R^{G}\) the algebra of matrix \(G\)-invariants. Let \(\mathcal{M}\) be the monoid which is freely generated by the letters \(x_{1},\dots,x_{d}\) if \(G=\text{GL}(n),\) and by \(x_{1},\dots,x_{d},x_{1} ^{T},\dots,x_{d}^{T}\) otherwise. Let \(\mathcal{N}_{\sigma}\) be the ring freely generated by the symbols \(\sigma_{t}(a)\) for \(t>0\) and \(a\in\mathcal{M}\) ranges through equivalence classes of primitive elements (that is, not a power of a shorter monomial). For each \(n\) there is a map \(\psi_{n}:\mathcal{N}_{\sigma}\rightarrow R^{G}\) which maps \(\sigma_{t}(a)\) to the \(t^{\text{th}}\) coefficient of the characteristic polynomial of a matrix \(X_{a}\) which depends on \(a\), for \(t\leq n;\) otherwise, \(\sigma_{t}(a)\) is sent to zero. Let \(K_{\infty}=\cap\ker \psi_{n}.\) Then \(K_{\infty}\) is called the ideal of free relations. The main result of this paper is that \(K_{\infty}\) is zero in the cases where \(G=O(n)\) and \(G=Sp(n)\), the latter case assuming \(\mathbb{F}\) does not have characteristic \(2\). Indeed, if char \(\mathbb{F}=2\) the authors conjecture that \(R^{Sp(n)}\) has an ideal of free relations generated by \(\sigma_{t}(a),\) \(t\) odd, where \(a\) is cyclic equivalent to \(a^{T},\) an involution of \(a\). Of course, \(K_{\infty}\) being zero does not imply that \(K_{n}=\ker\psi_{n}\) is zero for all \(n\). In fact, a complete set of generators for the ideal of relations \(K_{n}\) for \(R^{O(n)}\) is given.
    0 references
    0 references
    matrix invariants
    0 references
    matrix groups
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references