Vector invariants for two-dimensional orthogonal groups over finite fields

DOI10.1007/S00605-017-1111-5MaRDI QIDQ1795162zbMATH OpenOpenAlexFDO

Authors Yin Chen

Publication date 16 October 2018

Published in Monatshefte für Mathematik (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1612.06039

zbMATH Keywords

first main theoremmodular vector invariantsorthogonal groupsReynolds operator

Mathematics Subject Classification ID

Actions of groups on commutative rings; invariant theory (13A50)

Abstract: Let $mathbb{F}_q$ be a finite field of characteristic 2 and $O_2(mathbb{F}_q{)}^{+}$ be the 2-dimensional orthogonal group of plus type over $mathbb{F}_q$. Consider the standard representation $V$ of $O_2(mathbb{F}_q{)}^{+}$ and the ring of vector invariants $mathbb{F}_q[mV{]}^{O_2(mathbb{F}_q{)}^{+}}$ for any $minmathbb{N}^{+}$. We prove a first main theorem for $(O_2(mathbb{F}_q{)}^{+},V)$, i.e., we find a minimal generating set for $mathbb{F}_q[mV{]}^{O_2(mathbb{F}_q{)}^{+}}$. As a consequence, we derive the Noether number $$. We construct a free basis for $mathbb{F}_q[2V{]}^{O_2(mathbb{F}_q{)}^{+}}$ over a suitably chosen homogeneous system of parameters. We also obtain a generating set of the Hilbert ideal for $mathbb{F}_q[mV{]}^{O_2(mathbb{F}_q{)}^{+}}$ which shows that the Hilbert ideal can be generated by invariants of degree $leqslantq-1=frac|O_2(mathbb{F}_q{)}^{+}|2$, confirming Derksen-Kemper's conjecture cite[Conjecture 3.8.6 (b)]{DK2002} in this particular case.

Review text

The present paper studies the vector invariant ring for the two dimensional orthogonal group \(O_2^+(\mathbb F_q)\) over a finite field \(\mathbb F_q\) of characteristic 2 with the standard representation. In the first main theorem is found a minimal generating set of the invariant ring. As a corollary is calculated the Noether number \(\beta_{mV}(O_2^+(\mathbb F_q))=\max\{q-1,m\}\). The author also constructs a free basis for the invariant ring for \(m=2\) over the invariant ring related to a direct product of two copies of \(O_2^+(\mathbb F_q)\). The third main result in this paper is aimed to find a generating set of the Hilbert ideal of the invariant ring and to show that it can be generated by invariants of degree \(\leq q-1\) confirming the conjecture of \textit{H. Derksen} and \textit{G. Kemper} [Computational invariant theory. Berlin: Springer (2002; Zbl 1011.13003), Conjecture 3.8.6 (b)] in this particular case.

Recommendations

• INVARIANT RINGS OF ORTHOGONAL GROUPS OVER ${\mathbb F}_2$
• Vector invariant fields of finite classical groups
• On orthogonal invariants in characteristic 2
• Rational invariants of certain orthogonal groups over finite fields of characteristic two
• Relations between modular invariants of a vector and a covector in dimension two

Cites work

• A matrix approach to the rational invariants of certain classical groups over finite fields of characteristic two
• Calculating invariant rings of finite groups over arbitrary fields
• Computational invariant theory
• Computing modular invariants of \(p\)-groups.
• Invariant theory of finite groups
• Invariants for the modular cyclic group of prime order via classical invariant theory
• Modular invariant theory
• Modular invariants of a vector and a covector: a proof of a conjecture of Bonnafé and Kemper
• Modular invariants of finite affine linear groups
• On modular invariants of a vector and a covector
• On the Castelnuovo-Mumford regularity of rings of polynomial invariants
• On vector invariants over finite fields
• Rings of Invariants and p-Sylow Subgroups
• Some complete intersection symplectic quotients in positive characteristic: invariants of a vector and a covector
• The Magma algebra system. I: The user language
• The second main theorem vector for the modular regular representation of \(C_2\)
• Vector invariants for the two-dimensional modular representation of a cyclic group of prime order
• Vector invariants of \(U_ 2(\mathbb{F}_ p)\): A proof of a conjecture of Richman

Cited in

(15)

• [[:Publication:1320682|Vector invariants of the groups \(\text{GL}(n,\mathbb{C}t)\) and \(\text{Sp}(2m,\mathbb{C}t)\)]]
• On orthogonal invariants in characteristic 2
• Vector invariant fields of finite classical groups
• The second main theorem vector for the modular regular representation of \(C_2\)
• On the ring of invariants of ordinary quartic curves in characteristic 2
• POLYNOMIAL INVARIANTS OF FOUR-DIMENSIONAL ORTHOGONAL GROUPS
• Invariants of Finite Abelian Groups Acting on the Algebra of Two 2 × 2 Generic Matrices
• Invariants of the dihedral group D_2p in characteristic two
• INVARIANT RINGS OF ORTHOGONAL GROUPS OVER ${\mathbb F}_2$
• Relations between modular invariants of a vector and a covector in dimension two
• On modular vector invariant fields
• Separating invariants for two-dimensional orthogonal groups over finite fields
• Some Lie Algebra Structures on Symmetric Powers
• Vector invariants for the two-dimensional modular representation of the dihedral group of order 2p
• On vector invariants over finite fields

Describes a project that uses

Uses Software

• Magma

This page was built for publication: Vector invariants for two-dimensional orthogonal groups over finite fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1795162)