BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We describe the graded characters and Hilbert functions of certain graded artinian Gorenstein quotients of the polynomial ring which are also representations of the symmetric group. Specifically, we look at those algebras whose socles are trivial representations and whose principal apolar submodules are generated by the sum of the orbit of a power of a linear form.
Consider a finite dimensional vector space V over a finite field Fq. We give a minimal generating set for the ring of invariants Fq[V⊕V∗]GL(V), and show that this ring is a Gorenstein ring but is not a complete intersection. These results confirm a conjecture of Bonnafé and Kemper.
We study the ring of invariants for a finite dimensional representation V of the group C2 of order 2 in characteristic 2. Let σ denote a generator of C2 and {x1,y1…,xm,ym} a basis of V∗. Then σ(xi)=xi, and σ(yi)=yi+xi. To our knowledge, this ring (for any prime p) was first studied by David Richman in 1990. He gave a first main theorem for (V2,C2), that is, he proved that the ring of invariants when p=2 is generated by {xi,Ni=yi2+xiyi,tr(A)∣2≤∣A∣≤m} where A⊂{0,1}m, yA=y1a1y2a2⋯ymam and tr(A)=yA+(y1+x1)a1(y2+x2)a2⋯(ym+xm)am. In this paper, we prove the second main theorem for (V2,C2), that is, we show that all relations between these generators are generated by relations of type I: ∑I⊂AxItr(A−I) and of type II: tr(A)tr(B)=∑L<IxI−LNLtr(I−L+J+K)+NI∑L<JxJ−Ltr(L+K) for all m. We also derive relations of type III which are simpler and can be used in place of the relations of type II.
Let G be the cyclic group of order n and suppose F is a field containing a primitive nth root of unity. We consider the ring of invariants F[W]G of a three dimensional representation W of G where G⊂SL(W). We describe minimal generators and relations for this ring and prove that the lead terms of the relations are quadratic. These minimal generators for the relations form a Gröbner basis with a surprisingly simple combinatorial structure. We describe the graded Betti numbers for a minimal free resolution of F[W]G. The case where W is any two dimensional representation of G is also handled.
We consider a Weitzenböck derivation Δ acting on a polynomial ring R=K[ξ1,ξ2,...,ξm] over a field K of characteristic 0. The K-algebra RΔ={h∈R∣Δ(h)=0} is called the algebra of constants. Nowicki considered the case where the Jordan matrix for Δ acting on R1, the degree 1 component of R, has only Jordan blocks of size 2. He conjectured (\cite{N}) that a certain set generates RΔ in that case. Recently Koury (\cite{Kh}), Drensky and Makar-Limanov (\cite{DM}) and Kuroda (\cite{K}) have given proofs of Nowicki's conjecture. Here we consider the case where the Jordan matrix for Δ acting on R1 has only Jordan blocks of size at most 3. Here we use combinatorial methods to give a minimal set of generators G for the algebra of constants RΔ. Moreover, we show how our proof yields an algorithm to express any h∈RΔ as a polynomial in the elements of G. In particular, our solution shows how the classical techniques of polarization and restitution may be used to augment the techniques of SAGBI bases to construct generating sets for subalgebras.
Let F be any field of characteristic p. It is well-known that there are exactly p inequivalent indecomposable representations V1,V2,...,Vp of Cp defined over F. Thus if V is any finite dimensional Cp-representation there are non-negative integers 0≤n1,n2,...,nk≤p−1 such that V≅⊕i=1kVni+1. It is also well-known there is a unique (up to equivalence) d+1 dimensional irreducible complex representation of $\SL_2(\C)$ given by its action on the space Rd of d forms. Here we prove a conjecture, made by R.J. Shank, which reduces the computation of the ring of Cp-invariants F[⊕i=1kVni+1]Cp to the computation of the classical ring of invariants (or covariants) $\C[R_1 \oplus (\oplus_{i=1}^k R_{n_i})]^{\SL_2(\C)}$. This shows that the problem of computing modular Cp invariants is equivalent to the problem of computing classical $\SL_2(\C)$ invariants. This allows us to compute for the first time the ring of invariants for many representations of Cp. In particular, we easily obtain from this generators for the rings of vector invariants F[mV2]Cp, F[mV3]Cp and F[mV4]Cpfor all m∈N. This is the first computation of the latter two families of rings of invariants.
We consider the problem of describing all non-negative integer solutions to a linear congruence in many variables. This question may be reduced to solving the congruence x1+2x2+3x3+...+(n−1)xn−1≡0(modn) where values of the unknowns, xi, are sought among the non-negative integers. We consider the monoid of solutions of this equation and prove a conjecture of Elashvili concerning the structure of these solutions. This yields a simple algorithm for generating most (conjecturally all) of the high degree indecomposable solutions of the equation.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.