Abstract
Let GL 2(F q ) be the general linear group over a finite field F q , V be the 2-dimensional natural representation of GL 2(F q ) and V * be the dual representation. We denote by \({F_{q}[V\oplus V^{\ast}]^{GL_{2}(F_{q})}}\) the corresponding invariant ring of a vector and a covector for GL 2(F q ). In this paper, we prove that \({F_{q}[V\oplus V^{\ast}]^{GL_{2}(F_{q})}}\) is a Gorenstein algebra. This result confirms a special case (n = 2) of the recent conjecture of Bonnafé and Kemper (J Algebra 335:96–112, 2011).
Similar content being viewed by others
References
Benson D.: Polynomial Invariants of Finite Groups. Cambridge University Press, Cambridge (1993)
Bonnafé C., Kemper G.: Some complete intersection symplectic quotients in positive characteristic: invariants of a vector and a covector. J. Algebra 335, 96–112 (2011)
Campbell H., Hughes I.: 2-Dimensional vector invariants of parabolic subgroups of GL 2(F p ) over the field F p . J. Pure Appl. Algebra 112, 1–12 (1996)
Campbell H., Hughes I., Pollack R.: Rings of invariants and p-Sylow subgroups. Can. Math. Bull. 34, 42–47 (1991)
Campbell H., Hughes I., Shank R., Wehlau D.: Bases for rings of covariants. Transform. Groups 1, 307–336 (1996)
Campbell H., Shank R., Wehlau D.: Vector invariants for the two dimensional modular representation of a cyclic group of prime order. Adv. Math. 225, 1069–1094 (2010)
Campbell H., Wehlau D.: Modular Invariant Theory. Springer, Berlin (2010)
Derksen H., Kemper G.: Computational Invariant Theory. Springer, Berlin (2002)
Ellingsrud G., Skjelbred T.: Profondeur d’anneaux d’invariants en caractéristique p. Compos. Math. 41, 233–244 (1980)
Gordon I.: On the quotient ring by diagonal invariants. Invent. Math. 153, 503–518 (2003)
Haiman M.: Conjectures on the quotient ring by diagonal invariants. J. Algebraic Comb. 3, 17–76 (1994)
Haiman M.: Vanishing theorems and character formulas for the Hilbert scheme of points in the plane. Invent. Math. 149, 371–407 (2002)
Kemper G.: Calculating invariant rings of finite groups over arbitrary fields. J. Symb. Comput. 21, 351–366 (1996)
Neusel M.: Invariants of some abelian p-groups in characteristic p. Proc. Am. Math. Soc. 125, 1921–1931 (1997)
Neusel M., Smith L.: Invariant Theory of Finite Groups. AMS, Providence (2002)
Stanley R.: Hilbert functions of graded algebras. Adv. Math. 28, 57–83 (1978)
Shank R., Wehlau D.: Computing modular invariants of p-Groups. J. Symb. Comput. 34, 307–327 (2002)