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

Let $E$ be a elementary abelian $p$-group of order $q=p^n$. Let $W$ be a faithful indecomposable representation of $E$ with dimension 2 over a field $k$ of characteristic $p$, and let $V= S^m(W)$ with $m<q$. We prove that the rings of…

Consider the polynomial ring in countably infinitely many variables over a field of characteristic zero, together with its natural action of the infinite general linear group G. We study the algebraic and homological properties of finitely…

Degree bounds for algebra generators of invariant rings are a topic of longstanding interest in invariant theory. We study the analogous question for field generators for the field of rational invariants of a representation of a finite…

We study the spaces $Q_m$ of $m$-quasi-invariant polynomials of the symmetric group $S_n$ in characteristic $p$. Using the representation theory of the symmetric group we describe the Hilbert series of $Q_m$ for $n=3$, proving a conjecture…

In this paper we consider the problem of how to computationally test whether a matrix inequality is positive semidefinite on a semialgebraic set. We propose a family of sufficient conditions using the theory of matrix Positivstellensatz…

Let $F$ be a non-negatively graded free module over a polynomial ring $\mathbb{K}[x_1,\dots,x_n]$ generated by $m$ basis elements. Let $M$ be a submodule of $F$ generated by elements in $F$ with degrees bounded by $D$ and dim $F/M$=$r$. We…

This is my PhD thesis supervised by Professor Jerzy Weyman. A symmetric quiver $(Q,\sigma)$ is a finite quiver without oriented cycles $Q=(Q_0,Q_1)$ equipped with a contravariant involution $\sigma$ on $Q_0\sqcup Q_1$. The involution allows…

We use computer algebra to determine the Lie invariants of degree <= 12 in the free Lie algebra on two generators corresponding to the natural representation of the simple 3-dimensional Lie algebra sl(2,C). We then consider the free Lie…

The Amitsur-Levitski theorem asserts that $M_n(F)$ satisfies a polynomial identity of degree $2n$. (Here, $F$ is a field and $M_n(F)$ is the algebra of $n \times n$ matrices over $F$). It is easy to give examples of subalgebras of $M_n(F)$…

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…

We show that the proportion of polynomials of degree $n$ over the finite field with $q$ elements, which have a divisor of every degree below $n$, is given by $c_q n^{-1} + O(n^{-2})$. More generally, we give an asymptotic formula for the…

Let $D$ be an integrally closed domain with quotient field $K$. Let $A$ be a torsion-free $D$-algebra that is finitely generated as a $D$-module. For every $a$ in $A$ we consider its minimal polynomial $\mu_a(X)\in D[X]$, i.e. the monic…

We give sufficient conditions under which a polyanalytic polynomial of degree $n$ has (i) at least one zero, and (ii) finitely many zeros. In the latter case, we prove that the number of zeros is bounded by $n^2$. We then show that for all…

A non-zero element of the Lie algebra $\mathfrak{se}(3)$ of the special Euclidean spatial isometry group $SE(3)$ is known as a {\em twist} and the corresponding element of the projective Lie algebra is termed a {\em screw}. Either can be…

In the late 1980s, A. Premet conjectured that the variety of nilpotent elements of any finite dimensional restricted Lie algebra over an algebraically closed field of characteristic $p>0$ is irreducible. This conjecture remains open, but it…

Several conditions are known for a self-inversive polynomial that ascertain the location of its roots, and we present a framework for comparison of those conditions. We associate a parametric family of polynomials $p_\alpha$ to each such…

The quantum modular invariant of a real number is defined as a discontinuous, PGL(2,Z)-invariant multi-valued map using the distance-to-the-nearest-integer function. On the rationals, the quantum modular invariant is shown to be infinity…

Explicit formulas for computation of the Poincar\'e series for the algebras of joint $SL_2$-invariants and covariants of $n$ linear forms in terms of Narayana polynomials are found. Also, for these algebras we calculate the degrees and…

Premet has conjectured that the nilpotent variety of any finite-dimensional restricted Lie algebra is an irreducible variety. In this paper, we prove this conjecture in the case of Hamiltonian Lie algebra. and show that its nilpotent…

We employ the Cartan-Karlhede algorithm in order to completely characterize the class of G\"odel-like spacetimes for three-dimensional gravity. By examining the permitted Segre types (or P-types) for the Ricci tensor we present the results…