On modular invariants of a vector and a covector
type: Item
instance of: scholarly article
title: On modular invariants of a vector and a covector
zbMATH Open document ID: 1303.13008
author: Yin Chen
published in: Manuscripta Mathematica
publication date: 2014-08-29T00:00:00Z
full work available at URL: https://arxiv.org/abs/1211.7131
review text: Let \(\mathbb{F}_q\) denote the finite field with \(q=p^r\) elements, and \(G\) be a subgroup of \(\mathrm{GL}_2(\mathbb{F}_q)\). Let \(V\) be the natural 2-dimensional representation of \(G\). The author considers the ring of invariants \(\mathbb{F}_q[V \oplus V^*]^G\) in the cases where \(G\) is \(U_2(\mathbb{F}_q)\) (the group of unipotent upper triangular matrices over \(\mathbb{F}_q\)), \(\mathrm{SL}_2(\mathbb{F}_q)\) or \(\mathrm{GL}_2(\mathbb{F}_q)\). In the case where \(G=\mathrm{SL}_2(\mathbb{F}_q)\), \(V\) is self-dual and we have that \(\mathbb{F}_q[V \oplus V^*]^G\) is isomorphic to \(\mathbb{F}_q[V \oplus V]^G\). Algebra generators for this ring of invariants were computed by Campbell and Hughes in the case \(q=p\) [\textit{H. E. A. Campbell} and \textit{I. P. Hughes}, J. Pure Appl. Algebra 112, No. 1, 1--12 (1996; Zbl 0872.13006)]. Using similar methods, the author computes a generating set for arbitrary \(q\). It is observed that one obtains a Gorenstein algebra. The author then uses the relative trace map to compute algebra generators for \(\mathbb{F}_q[V \oplus V^*]^G\) where \(G=\mathrm{GL}_2(\mathbb{F}_q)\). Again it is observed that this is a Gorenstein algebra. This confirms a special case of conjecture of \textit{C. Bonnafé} and \textit{G. Kemper} [J. Algebra 335, No. 1, 96--112 (2011; Zbl 1267.13010)], who showed that for arbitrary \(n\) and \(q\) the rings of invariants \(\mathbb{F}_q[V \oplus V^*]^{\mathrm{GL}_n(\mathbb{F}_q)}\) (where \(V\) is the natural \(n\)-dimensional representation) are complete intersections, and conjectured that they are in fact Gorenstein.
reviewed by: Jon Elmer
Mathematics Subject Classification ID: 13A50
Mathematics Subject Classification ID: 20H30
zbMATH DE Number: 6336312
zbMATH Keywords: modular invariant theory
zbMATH Keywords: finite groups
zbMATH Keywords: Gorenstein algebra
zbMATH Keywords: complete intersection
MaRDI profile type: Publication
OpenAlex ID: W1986342343
arXiv ID: 1211.7131
cites work: Q4273960
cites work: Some complete intersection symplectic quotients in positive characteristic: invariants of a vector and a covector
cites work: 2-dimensional vector invariants of parabolic subgroups of \(Gl_ 2({\mathbb{F}}_ p)\) over the field \({\mathbb{F}}_ p^ 1\)
cites work: Rings of Invariants and p-Sylow Subgroups
cites work: Bases for rings of coinvariants
cites work: Vector invariants for the two-dimensional modular representation of a cyclic group of prime order
cites work: Modular invariant theory
cites work: Computational invariant theory
cites work: Q3879338
cites work: On the quotient ring by diagonal invariants.
cites work: Conjectures on the quotient ring by diagonal invariants
cites work: Vanishing theorems and character formulas for the Hilbert scheme of points in the plane
cites work: Calculating invariant rings of finite groups over arbitrary fields
cites work: Invariants of some abelian $p$-groups in characteristic $p$
cites work: Invariant theory of finite groups
cites work: Hilbert functions of graded algebras
cites work: Computing modular invariants of \(p\)-groups.
DOI: 10.1007/S00229-013-0648-4
Recommended article: Modular invariants of a vector and a covector: a proof of a conjecture of Bonnafé and Kemper
Recommended article: On Modular Vector Invariant Fields
Recommended article: Invariants of \(2\times 2\)-matrices over finite fields
Recommended article: A Note on the Classical Dickson Invariants
Recommended article: Minimal generating set for semi-invariants of quivers of dimension two
Recommended article: On invariant fields of vectors and covectors
Recommended article: 2-dimensional vector invariants of parabolic subgroups of \(Gl_ 2({\mathbb{F}}_ p)\) over the field \({\mathbb{F}}_ p^ 1\)
Recommended article: Vector invariants of \(\mathsf{Syl}_p(\mathsf{GL}(n, \mathbb{F}_q))\) and their Hilbert ideals
Recommended article: Vector invariant fields of finite classical groups
Recommended article: Q3803341
description: scientific article; zbMATH DE number 6336312