Related papers: Vector invariants for two-dimensional orthogonal g…
The orthogonal group acts on the space of several $n\times n$ matrices by simultaneous conjugation. For an infinite field of characteristic different from two, relations between generators for the algebra of invariants are described. As an…
Let $Y$ be a scheme in which 2 is invertible and let $V$ be a rank $n$ vector bundle on $Y$ endowed with a non-degenerate symmetric bilinear form $q$. The orthogonal group ${\bf O}(q)$ of the form $q$ is a group scheme over $Y$ whose…
We describe the rings of invariants for the finite orthogonal groups of plus type in odd characteristic acting on the defining representations. We also describe the invariants of the corresponding Sylow subgroups in the defining…
A minimal homogeneous generating system of the algebra of semi-invariants of tuples of two-by-two matrices over an infinite field of characteristic two or over the ring of integers is given. In an alternative interpretation this yields a…
Let m be an integer greater than 2 and let V be a vector space of dimension 2^m over F_2. Let Q be a non-degenerate quadratic form of maximal Witt index defined on V. We show that the symmetric group S_{2m+1} acts on V as a group of…
An upper bound on degrees of elements of a minimal generating system for invariants of quivers of dimension (2,...,2) is established over a field of arbitrary characteristic and its precision is estimated. The proof is based on the…
We exhibit a set of generating relations for the modular invariant ring of a vector and a covector for the two-dimensional general linear group over a finite field.
Let $\mathbb{F}_p$ be the prime field of order $p>0$ and $G$ be an elementary abelian $p$-group.For some $n$-dimensional cohyperplane $G$-representations $V$ over $\mathbb{F}_p$, we show that $\mathbb{F}_p[V\oplus V^*]^G$, the invariant…
In these notes we construct a quantization functor, associating an Hilbert space H(V) to a finite dimensional symplectic vector space V over a finite field F_q. As a result, we obtain a canonical model for the Weil representation of the…
The projective orthogonal and symplectic groups $PO_n(F)$ and $PSp_n(F)$ have a natural action on the $F$ vector space $V' = M_n(F) \oplus ... \oplus M_n(F)$. Here we assume $F$ is an infinite field of characteristic not 2. If we assume…
Let $U_q(\mathfrak{g})$ be the quantum supergroup of $\mathfrak{gl}_{m|n}$ or the modified quantum supergroup of $osp_{m|2n}$ over the field of rational functions in $q$, and let $V_q$ be the natural module for $U_q(\mathfrak{g})$. There…
An upper bound on degrees of elements of a minimal generating system for invariants of quivers of dimension (2,...,2) is established over a field of arbitrary characteristic and its precision is estimated. The proof is based on the…
Let $\mathbb{F}_q$ be a finite field of odd characteristic and $2\nu+\delta\geq2$ an integer number with $\delta=0,1$ or $2$. The orthogonal inner product graph $Oi\big(2\nu+\delta,q\big)$ over $\mathbb{F}_q$ is defined and the automorphism…
The ring of invariant polynomials ${\mathbb C}[V]^G$ over a given finite dimensional representation space $V$ of a complex reductive group $G$ is known, by a famous theorem of Hilbert, to be finitely generated. The general proof being…
In this paper, we conjecture an extension of the Hilbert basis theorem and the finite generation of invariants to commutative algebras in symmetric finite tensor categories over fields of positive characteristic. We prove the conjecture in…
Let ${\mathbb F}_q$ be a finite field of characteristic two and ${\mathbb F}_q(X_1,...,X_n)$ a rational function field. We use matrix methods to obtain explicit transcendental bases of the invariant subfields of orthogonal groups and…
Given a simple vertex algebra A and a reductive group G of automorphisms of A, the invariant subalgebra A^G is strongly finitely generated in most examples where its structure is known. This phenomenon is subtle, and is generally not true…
We prove that if $G$ is a finite simple group, then all irreducible complex representations of $G$ by be realized over the real numbers if and only if every element of $G$ may be written as a product of two involutions in $G$. This follows…
In this article we study the involutions of $\mathrm{O}(V,\mathrm{q})$, an orthogonal group for a vector space $V$ with quadratic form $\mathrm{q}$ over a field of characteristic 2. The classification proceeds by discussing conjugacy…
For a field $\mathbb{F}$ and integers $d$ and $k$, a set ${\cal A} \subseteq \mathbb{F}^d$ is called $k$-nearly orthogonal if its members are non-self-orthogonal and every $k+1$ vectors of ${\cal A}$ include an orthogonal pair. We prove…