Related papers: Polynomial degree bounds for matrix semi-invariant…

The conjugation action of the complex orthogonal group on the polynomial functions on $n \times n$ matrices gives rise to a graded algebra of invariant polynomials. A spanning set of this algebra is in bijective correspondence to a set of…

In this paper, we characterize arbitrary polynomial vector fields on $S^n$. We establish a necessary and sufficient condition for a degree one vector field on the odd-dimensional sphere $S^{2n-1}$ to be Hamiltonian. Additionally, we…

Inspired by prior work of Bruinier and Ono and Mertens and Rolen, we study class polynomials for non-holomorphic modular functions arising from modular forms of negative weight. In particular, we give general conditions for the…

Let $\mathbb{K}$ be a finite commutative ring, and let $\mathbb{L}$ be a commutative $\mathbb{K}$-algebra. Let $A$ and $B$ be two $n \times n$-matrices over $\mathbb{L}$ that have the same characteristic polynomial. The main result of this…

Let $L$ be one of the finite dimensional Lie algebras $W_n({\bf m}),$ $S_n({\bf m}),$ $ H_n({\bf m})$ of Cartan type over an algebraically closed field of prime characteristic $p>0.$ For an elements $F$ of the symmetrical algebra $S(L)$ we…

Let $s_{ij}$ represent a tranposition in $S_n$. A polynomial $P$ in $\mathbb{Q}[X_n]$ is said to be $m$-quasiinvariant with respect to $S_n$ if $(x_i-x_j)^{2m+1}$ divides $(1-s_{ij})P$ for all $1 \leq i, j \leq n$. We call the ring…

Let $K$ be a field and let $\mathbb N = \{1,2, \dots \}$. Let $R_n=K[x_{ij} \mid 1\le i\le n, j\in \mathbb N]$ be the ring of polynomials in $x_{ij}$ $(1 \le i \le n, j \in \mathbb N)$ over $K$. Let $S_n = Sym (\{1,2, \ldots, n \})$ and…

We generalize the usual relationship between irreducible Zariski closed subsets of the affine space, their defining ideals, coordinate rings, and function fields, to a non-commutative setting, where "varieties" carry a PGL_n-action, regular…

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…

We consider a finite permutation group acting naturally on a vector space $V$ over a field $\Bbbk$. A well known theorem of G\"obel asserts that the corresponding ring of invariants $\Bbbk[V]^G$ is generated by invariants of degree at most…

We say that a subring $R_0$ of a ring $R$ is semi-invariant if $R_0$ is the ring of invariants in $R$ under some set of ring endomorphisms of some ring containing $R$. We show that $R_0$ is semi-invariant if and only if there is a ring…

Let $\mathbb{K}$ be an algebraically closed field of characteristic zero and let $\mathbb{K}_{C}[[x_{1},...,x_{e}]]$ be the ring of formal power series in several variables with exponents in a line free cone $C$. We consider irreducible…

This paper presents algebraic methods for the study of polynomial relative invariants, when the group G formed by the symmetries and relative symmetries is a compact Lie group. We deal with the case when the subgroup H of symmetries is…

In this work, free multivariate skew polynomial rings are considered, together with their quotients over ideals of skew polynomials that vanish at every point (which includes minimal multivariate skew polynomial rings). We provide a full…

Polynomial invariants of a group action often appear only in high degree, and in many representations the invariant ring imposes severe degree constraints before any nontrivial invariants can occur. In contrast, the larger class of unitary…

For the Lie algebra $\g$ of a connected infinite-dimensional Lie group~$G$, there is a natural duality between so-called semi-equicontinuous weak-*-closed convex Ad^*(G)-invariant subsets of the dual space $\g'$ and Ad(G)-invariant lower…

We study left-invariant pseudo-Riemannian metrics on Lie groups using the bracket flow of the corresponding Lie algebra. We focus on metrics where the Lie algebra is in the null cone of the $G=O(p,q)$-action; i.e., Lie algebras $\mu$ where…

In this paper, we introduce the notion of (strictly) semimonotone matrices of exact order $k$, where $0\leq k\leq n$, and explore their properties. We fully characterize the $3 \times 3$ (strictly) semimonotone matrices of exact order $2$,…

A minimal (by inclusion) generating set for the algebra of semi-invariants of a quiver of dimension (2,...,2) is established over an infinite field of arbitrary characteristic. The mentioned generating set consists of the determinants of…

Let $K\left\langle X \right\rangle$ denote the free associative algebra generated by a set $X = \{x_1, \dots, x_n\}$ over a field $K$ of characteristic $0$. Let $I_p$, for $p \geq 2$, denote the two-sided ideal in $K\left\langle X…