Related papers: On orthogonal invariants in characteristic 2
When $G$ is a connected compact Lie group, and $\pi$ is a closed surface group, then $Hom(\pi,G)$ contains an open dense $Out(\pi)$-invariant subset which is a smooth symplectic manifold. This symplectic structure is $Out(\pi)$-invariant…
The algebra of invariants of d-tuples of n x n skew-symmetric matrices under the action of the orthogonal group by simultaneous conjugation is considered over an infinite field of characteristic different from two. For n=3 and d>0 a minimal…
The Bernstein-Sato polynomial is an important invariant of an element or an ideal in a polynomial ring or power series ring of characteristic zero, with interesting connections to various algebraic and topological aspects of the…
Let X be a smooth projective curve of genus g \geq 2 defined over a field of characteristic two. We give examples of stable orthogonal bundles with unstable underlying vector bundles and use them to give counterexamples to Behrend's…
It is shown that a transformation in the special orthogonal group SO(V) of a nondefective quadratic space over a field K is bireflectional (product of 2 involutions) if and only if it is reversible (conjugate to its inverse). Furthermore,…
We study the numbers of involutions and their relation to Frobenius-Schur indicators in the groups $\mathrm{SO}^{\pm}(n,q)$ and $\Omega^{\pm}(n,q)$. Our point of view for this study comes from two motivations. The first is the conjecture…
We investigate the invariants of the $25$-dimensional real representation of the group ${\bf SO}(3)\wr{\bf Z}_2$ given by the left and right actions of ${\bf SO}(3)$ on $5\times 5$ matrices together with matrix transposition; the action on…
We describe a curious structure of the special orthogonal, special unitary, and symplectic groups that has not been observed, namely, they can be expressed as matrix products of their corresponding Grassmannians realized as involution…
Let $\Gamma$ be the fundamental group of a complete hyperbolic $3$-manifold $M$ with toric cusps. We define the $\omega$-Borel invariant $\beta_n^\omega(\rho_\omega)$ associated to a representation $\rho_\omega: \Gamma \rightarrow…
Let A be an associative complex algebra and L an invariant linear functional on it (trace). Let i be an involutive antiautomorphism of A such that L(i(a))=L(a) for any a in A. Then A admits a symmetric invariant bilinear form (a, b)=L(a…
One of basic difficulties of machine learning is handling unknown rotations of objects, for example in image recognition. A related problem is evaluation of similarity of shapes, for example of two chemical molecules, for which direct…
Let $A$ be an associative simple (central) superalgebra over ${\mathbb C}$ and $L$ an invariant linear functional on it (trace). Let $a\mapsto a^t$ be an antiautomorphism of $A$ such that $(a^t)^ t=(-1)^{p(a)}a$, where $p(a)$ is the parity…
The rational invariants of the SL_2(q)-invariant quadratic forms on the real irreducible representations are determined. There is still one open question (see Remark 6.5) if q is an even square.
We consider finite dimensional representations of the dihedral group $D_{2p}$ over an algebraically closed field of characteristic two where $p$ is an odd integer and study the degrees of generating and separating polynomials in the…
If G is a finitely generated group, and A an algebraic group, then Hom(G,A) is a possibly reducible algebraic variety denoted by R_A(G). Here we define the profile function, P_d(R_A(G)), of the representation variety of G over A to be…
Let $G$ be a finite $p$-group and $k$ a field of characteristic $p>0$. We show that $G$ has a \emph{non-linear} faithful action on a polynomial ring $U$ of dimension $n=\mathrm{log}_p(|G|)$ such that the invariant ring $U^G$ is also…
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…
We present an algebraic theory of orthogonal polynomials in several variables that includes classical orthogonal polynomials as a special case. Our bottom line is a straightforward connection between apolarity of binary forms and the inner…
Invariants of 3-manifolds from a non semi-simple category of modules over a version of quantum sl(2) were obtained by the last three authors in [arXiv:1404.7289]. In their construction the quantum parameter $q$ is a root of unity of order…
For small dimensional Lie algebra's there are many so-called accidental isomorphisms which give rise to double covers of special orthogonal groups - Spin groups - which happen to coincide with groups already belonging to another…