Related papers: Rational invariants of even ternary forms under th…
In this article, we construct a generating set of rational invariants for the action of the orthogonal group $\text{O}(n)$ on the space $\mathbb{R}[x_1,\dots,x_n]_{2d}$ of real homogeneous polynomials of even degree $2d$. This generalizes a…
The paper presents a new algorithmic construction of a finite generating set of rational invariants for the rational action of an algebraic group on the affine space. The construction provides an algebraic counterpart of the moving frame…
A tri-linear rational map in dimension three is a rational map $\phi: (\mathbb{P}_\mathbb{C}^1)^3 \dashrightarrow \mathbb{P}_\mathbb{C}^3$ defined by four tri-linear polynomials without a common factor. If $\phi$ admits an inverse rational…
We study the structure of the algebra of polynomial invariants for the usual conjugation action of the complex special, SO_n, and general, O_n, orthogonal group on the space of traceless n by n complex matrices. (Note that these two…
The algebra of invariants of several 3 x 3 matrices under the action of the orthogonal group by simultaneous conjugation is considered over a field of characteristic different from two. The maximal degree of elements of minimal system of…
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…
Image processing problems in general, and in particular in the field of single-particle cryo-electron microscopy, often require considering images up to their rotations and translations. Such problems were tackled successfully when…
This paper studies separating invariants: mappings on $D$ dimensional domains which are invariant to an appropriate group action, and which separate orbits. The motivation for this study comes from the usefulness of separating invariants in…
We define invariants of braids rather than invariants of conjugacy classes of braids. For any pure three-braid we give effective upper and lower bounds for these invariants. This is done in terms of a natural syllable decomposition of the…
In this paper we introduce the systematic study of invariant functions and equivariant mappings defined on Minkowski space under the action of the Lorentz group. We adapt some known results from the orthogonal group acting on the Euclidean…
Let $X$ be a rationally connected three-dimensional algebraic variety and let $\tau$ be an element of order two in the group of its birational selfmaps. Suppose that there exists a non-uniruled divisorial component of the $\tau$-fixed point…
We determine the three fundamental invariants in the entries of a $3 \times 3 \times 3$ array over $\mathbb{C}$ as explicit polynomials in the 27 variables $x_{ijk}$ for $1 \le i, j, k \le 3$. By the work of Vinberg on $\theta$-groups, it…
Although degree bounds and algorithms for the generators of various invariant rings have been known for decades, little is known about the cardinality of minimal generating sets. Estimates of such would provide lower bounds for the runtime…
The fundamental representations of the special linear group ${\rm SL}_n$ over the complex numbers are the exterior powers of $\mathbb{C}^n$. We consider the invariant rings of sums of arbitrary many copies of these ${\rm SL}_n$-modules. The…
The set \[ \overline{\mathbb{E}}= \{ x \in {\mathbb{C}}^3: \quad 1-x_1 z - x_2 w + x_3 zw \neq 0 \mbox{ whenever } |z| < 1, |w| < 1 \} \] is called the tetrablock and has intriguing complex-geometric properties. It is polynomially convex,…
In this article, we give a proof for that the cardinality of a function basis of the invariants for a finite dimensional real vector space by a compact group is lower bounded by the intuitive difference of the dimensions of the vector space…
To solve MHD problems within the framework of the theory of two-scale mean fields, it is important to study the invariants of magnetic lines. Such invariants are constructed on the basis of invariants of classical links, which must satisfy…
Every irreducible component of the variety of semi-simple n-dimensional representations of the modular group has a Zariski dense subset contained in the image of an etale map from a rational quotient variety of representations of a fixed…
Over an algebraically closed base field $k$ of characteristic 2, the ring $R^G$ of invariants is studied, $G$ being the orthogonal group O(n) or the special orthogonal group SO(n) and acting naturally on the coordinate ring $R$ of the…
Let $X,Y$ be two irreducible subvarieties of the projective space $\mathbb{P}^n$, and $d\geq 1$ an integer number. The main result of this paper is an algorithm to construct {\bf explicitly}, in terms of $d$ and the ideals defining $X$ and…