Related papers: Sylvester versus Gundelfinger

In this paper we generalize the classical Groebner basis technique to prove the existence and present a method of computation of a dimension polynomial in two variables associated with a finitely generated D-module, that is, a finitely…

Let R be either a polynomial or a formal power series ring in a finite number of variables over a field k of characteristic p > 0 and let D be the ring of klinear differential operators of R. In this paper we prove that if f is a non-zero…

This note provides a set of separating invariants for the ring of vector invariants $K[V^2]^{S_n}$ of two copies of the natural $S_n$-representation $V = K^n$ over a field of characteristic 0. This set is much smaller than generating sets…

For a smooth algebraic variety $X$, we study the category of finitely generated modules over the ring of function of $X$ that has a compatible action of the Lie algebra $\mathcal{V}$ of polynomials vector fields on $X$. We show that the…

The variety of principal minors of $n\times n$ symmetric matrices, denoted $Z_{n}$, is invariant under the action of a group $G\subset \GL(2^{n})$ isomorphic to $\G$. We describe an irreducible $G$-module of degree $4$ polynomials…

We classify quantum analogues of actions of finite subgroups G of SL_2(k) on commutative polynomial rings k[u,v]. More precisely, we produce a classification of pairs (H,R), where H is a finite dimensional Hopf algebra that acts inner…

In [3] is was shown that for any group $G$ whose rank (i.e., minimal number of generators) is at most 3, and any finite index subgroup $H\leq G$ with index $[G:H]\geq rank(G)$, one can always find a left-right transversal of $H$ which…

In this paper we study the minimal number of generators for simple Lie algebras in characteristic 0 or p > 3. We show that any such algebra can be generated by 2 elements. We also examine the 'one and a half generation' property, i.e. when…

Suppose that G is a linearly reductive group. We study the minimal free resolution of the invariant ring. If G is a finite linearly reductive group, then the ring of invariants is generated in degree at most |G|, the group order. We prove…

Let V be a normal affine variety over the real numbers R, and let S be a semi-algebraic subset of V(R). We study the subring B(S) of the coordinate ring of V consisting of the polynomials that are bounded on S. We introduce the notion of…

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…

Exploiting symmetry in Groebner basis computations is difficult when the symmetry takes the form of a group acting by automorphisms on monomials in finitely many variables. This is largely due to the fact that the group elements, being…

This paper considers a finite group $G$ acting linearly on the variables $V$ of a polynomial algebra, or an exterior algebra, or superpolynomial algebra with both commuting and anticommuting variables. In this setting, the Hilbert series…

Let the finite group $G$ act linearly on the vector space $V$ over the field $k$ of arbitrary characteristic. If $H<G$ is a subgroup the extension of invariant rings $k[V]^G\subset k[V]^H$ is studied using modules of covariants. An example…

A theorem of Pfister asserts that every $12$-dimensional quadratic form with trivial discriminant and trivial Clifford invariant over a field of characteristic different from $2$ decomposes as a tensor product of a binary quadratic form and…

Let V_* be the normalized unitary subgroup of the modular group algebra FG of a finite p-group G over a finite field F with the classical involution *. We investigate the isomorphism problem for the group V_*, that asks when the group V_*…

We study the ring of invariants for a finite dimensional representation $V$ of the group $C_2$ of order 2 in characteristic $2$. Let $\sigma$ denote a generator of $C_2$ and $\{x_1,y_1 \dots, x_m,y_m\}$ a basis of $V^*$. Then $\sigma(x_i) =…

We show that the minimum number of vertices of a simplicial complex with fundamental group $\mathbb{Z}^{n}$ is at most $O(n)$ and at least $\Omega(n^{3/4})$. For the upper bound, we use a result on orthogonal 1-factorizations of $K_{2n}$.…

In this paper, for n a positve integer, we compute the number of n degree representations for a dihedral group G of order 2m, m \geq 3 and the dimensions of the corresponding spaces of G invariant bilinear forms over a complex field C. We…

We show that any semi-direct sum $L$ of Lie algebras with Levi factor $S$ must be perfect if the representation associated with it does not possess a copy of the trivial representation. As a consequence, all invariant functions of $L$ must…