On orthogonal invariants in characteristic 2

DOI10.1016/S0021-8693(03)00513-1zbMATH Open1072.15038arXivmath/0303106OpenAlexW3099858681MaRDI QIDQ1883013FDOQ1883013

Authors: Matyas Domokos, Péter E. Frenkel 

Publication date: 1 October 2004

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: Working over an algebraically closed base field $k$ of characteristic 2, the ring of invariants $R^G$ is studied, where $G$ is the orthogonal group O(n) or the special orthogonal group SO(n), acting naturally on the coordinate ring $R$ of the $m$-fold direct sum $k^{n}oplus\mathrm{...}oplus{k}^n$ of the standard vector representation. It is proved for O(2), $O(3)=SO(3)$, SO(4), and O(4), that there exists an $m$-linear invariant with $m$ arbitrarily large, which is not expressible as a polynomial of invariants of lower degree. This is in sharp contrast with the uniform description of the ring of invariants valid in all other characteristics, and supports the conjecture that the same phenomena occur for all $n$. For general even $n$, new O(n)-invariants are constructed, which are not expressible as polynomials of the quadratic invariants. In contrast with these results, it is shown that rational invariants have a uniform description valid in all characteristics. Similarly, if $mleqn$, then $R^O(n)$ is generated by the obvious invariants. For all $n$, the algebra $R^G$ is a finitely generated module over the subalgebra generated by the quadratic invariants, and for odd $n$, the square of any SO(n)-invariant is a polynomial of the quadratic invariants. Finally we mention that for even $n$, an $n$-linear SO(n)-invariant is given, which distinguishes between SO(n) and O(n) (just like the determinant in all characteristics different from 2).

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

Recommendations

• Mod 2 indecomposable orthogonal invariants
• Rational invariants of certain orthogonal groups over finite fields of characteristic two
• Indecomposable orthogonal invariants of several matrices over a field of positive characteristic
• INVARIANT RINGS OF ORTHOGONAL GROUPS OVER ${\mathbb F}_2$
• Vector invariants for two-dimensional orthogonal groups over finite fields

zbMATH Keywords

quadratic formorthogonal groupinvariant theoryquadratic invariantsrational invariantsinvariants of a system of vectorsmultilinear polynomial invariants

Mathematics Subject Classification ID

Vector and tensor algebra, theory of invariants (15A72) Trace rings and invariant theory (associative rings and algebras) (16R30)

Cites Work

• Some Basic Theorems on Algebraic Groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lectures on introduction to moduli problems and orbit spaces
• A characteristic free approach to invariant theory
• Title not available (Why is that?)
• The Hyperplane Sections of Normal Varieties
• Invariants of several matrices
• The normality of closures of conjugacy classes of matrices
• Rings of matrix invariants in positive characteristic
• Two-graphs and doubly transitive groups
• The fundamental theorems of vector invariants

Cited In (19)

• Orthogonal Pfister involutions in characteristic two
• Standard monomial bases, moduli spaces of vector bundles, and invariant theory
• Characteristic free description of semi-invariants of \(2 \times 2\) matrices
• Invariants of \(\mathrm G_2\) and Spin(7) in positive characteristic
• Centers of generic algebras with involution.
• Indecomposable orthogonal invariants of several matrices over a field of positive characteristic
• Super invariant theory in positive characteristic
• On orthogonal and special orthogonal invariants of a single matrix of small order
• A Geometric Characterization of the Special Orthogonal Groups and the Dickson Invariant
• Characterization of orthomaps on the Cayley plane
• Mod 2 indecomposable orthogonal invariants
• Invariants of the dihedral group D_2p in characteristic two
• An arrangement in orthogonal geometry over finite field of Char=2
• Vector invariants for two-dimensional orthogonal groups over finite fields
• Polynomial functions of the odd orthogonal group
• Tensor invariants for certain subgroups of the orthogonal group
• A basic relation between invariants of matrices under the action of the special orthogonal group.
• Separable extensions of orthogonal involutions in characteristic two
• INVARIANT RINGS OF ORTHOGONAL GROUPS OVER ${\mathbb F}_2$

This page was built for publication: On orthogonal invariants in characteristic 2

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