BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
David L. Wehlau appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
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.
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 $\mathbb{F}_q$. We give a minimal generating set for the ring of invariants $\mathbb{F}_q[V \oplus V^*]^{\text{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 $C_2$ of order 2 in characteristic $2$. Let $σ$ denote a generator of $C_2$ and $\{x_1,y_1 \dots, x_m,y_m\}$ a basis of $V^*$. Then $σ(x_i) = x_i$, and $σ(y_i) = y_i + x_i$. To our knowledge, this ring (for any prime $p$) was first studied by David Richman in 1990. He gave a first main theorem for $(V_2, C_2)$, that is, he proved that the ring of invariants when $p=2$ is generated by $\{x_i, N_i = y_i^2 + x_iy_i, tr(A) | 2 \le |A| \le m\}$ where $A \subset \{0,1\}^m$, $y^A = y_1^{a_1} y_2^{a_2} \cdots y_m^{a_m}$ and $tr(A) = y^A + (y_1+x_1)^{a_1}(y_2+x_2)^{a_2} \cdots (y_m+x_m)^{a_m}.$ In this paper, we prove the second main theorem for $(V_2, C_2)$, that is, we show that all relations between these generators are generated by relations of type I: $\sum_{I \subset A } x^I tr(A-I)$ and of type II: $tr(A) tr(B) = \sum_{L < I} x^{I-L} N^L tr(I-L+J+K) + N^I \sum_{L < J} x^{J-L} tr(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 ${\bf F}$ is a field containing a primitive $n^\text{th}$ root of unity. We consider the ring of invariants ${\bf F}[W]^G$ of a three dimensional representation $W$ of $G$ where $G \subset \text{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 \in R \mid Δ(h) = 0\}$ is called the algebra of constants. Nowicki considered the case where the Jordan matrix for $Δ$ acting on $R_1$, 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 $R_{1}$ has only Jordan blocks of size at most 3. Here we use combinatorial methods to give a minimal set of generators $\mathcal G$ for the algebra of constants $R^Δ$. Moreover, we show how our proof yields an algorithm to express any $h \in R^Δ$ as a polynomial in the elements of $\mathcal 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 $V_1,V_2,...,V_p$ of $C_p$ defined over $F$. Thus if $V$ is any finite dimensional $C_p$-representation there are non-negative integers $0\leq n_1,n_2,..., n_k \leq p-1$ such that $V \cong \oplus_{i=1}^k V_{n_i+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 $R_d$ of $d$ forms. Here we prove a conjecture, made by R.J. Shank, which reduces the computation of the ring of $C_p$-invariants $F[ \oplus_{i=1}^k V_{n_i+1}]^{C_p}$ 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 $C_p$ 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 $C_p$. In particular, we easily obtain from this generators for the rings of vector invariants $F[m V_2]^{C_p}$, $F[m V_3]^{C_p}$ and $F[m V_4]^{C_p}$for all $m \in \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 $x_1 + 2x_2 + 3x_3 + ... + (n-1)x_{n-1} \equiv 0 \pmod n$ where values of the unknowns, $x_i$, 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.