Showing 1–32 of 32 results for author: Wehlau, D

Invariants of Finite Orthogonal Groups of Plus Type in Odd Characteristic

Authors: H. E. A. Campbell, R. James Shank, David L. Wehlau

Abstract: We describe the ring of invariants for the finite orthogonal group of plus type in odd characteristic acting on its defining representation. We also describe the invariants of its Sylow subgroup in the defining characteristic. In both cases we construct minimal algebra generating sets and describe the relations among the generators. Both rings of invariants are shown to be Complete Intersections a… ▽ More We describe the ring of invariants for the finite orthogonal group of plus type in odd characteristic acting on its defining representation. We also describe the invariants of its Sylow subgroup in the defining characteristic. In both cases we construct minimal algebra generating sets and describe the relations among the generators. Both rings of invariants are shown to be Complete Intersections and thus are Cohen-Macaulay. We expect the techniques we use will generalise to give a systematic computation for rings of invariants for all of the finite classical groups. △ Less

Submitted 1 July, 2024; originally announced July 2024.

MSC Class: 13A50

Inversion Sets and Quotient Root Systems

Authors: Ivan Dimitrov, Cole Gigliotti, Etan Ossip, Charles Paquette, David Wehlau

Abstract: We provide a recursive description of all decompositions of the positive roots $R^+$ of a quotient root system $R$ into disjoint unions of inversion sets. Our description is type-independent and generalizes the analogous result for type $\mathbb A$ root systems in [USRA]. The main tool is the notion of an inflation of a subset of a quotient root system. This new notion allows us to treat all root… ▽ More We provide a recursive description of all decompositions of the positive roots $R^+$ of a quotient root system $R$ into disjoint unions of inversion sets. Our description is type-independent and generalizes the analogous result for type $\mathbb A$ root systems in [USRA]. The main tool is the notion of an inflation of a subset of a quotient root system. This new notion allows us to treat all root systems (and their quotients) uniformly. We also obtain some numerical results about the number of special decompositions. The new sequences we obtain may be considered as extensions of Catalan numbers. △ Less

Submitted 25 October, 2023; originally announced October 2023.

Comments: Preliminary Version

MSC Class: 17B22

Idempotents in the group algebra of the infinite dihedral group

Authors: Ivan Dimitrov, Charles Paquette, David Wehlau, Tianyuan Xu

Abstract: We prove that over an algebraically closed field $\mathbb{K}$ of characteristic different from $2$, the group algebra $R=\mathbb{K} D_\infty$ of the infinite dihedral group $D_\infty$ has exactly six conjugacy classes of involutions (equivalently, of idempotents). This allows us to recover the fact that $R$ admits exactly four non-isomorphic indecomposable projective modules of the form $eR$ where… ▽ More We prove that over an algebraically closed field $\mathbb{K}$ of characteristic different from $2$, the group algebra $R=\mathbb{K} D_\infty$ of the infinite dihedral group $D_\infty$ has exactly six conjugacy classes of involutions (equivalently, of idempotents). This allows us to recover the fact that $R$ admits exactly four non-isomorphic indecomposable projective modules of the form $eR$ where $e$ is an idempotent, a result that was first established by Berman and Buzási. △ Less

Submitted 14 October, 2023; originally announced October 2023.

Comments: 6 pages

MSC Class: Primary: 20C07; Secondary: 16D40; 16S34; 16U40

When are permutation invariants Cohen-Macaulay?

Authors: H. E. A. Campbell, David L. Wehlau

Abstract: Over a field of characteristic 0, every ring of invariants of any finite group is Cohen-Macaulay. This is not true for fields of positive characteristic. We consider permutation representations and their invariant rings over fields $\mathbb{F}_p$ of prime order. We give an efficient algorithm which for any given permutation representation, determines those primes $p$ for which the invariant ring o… ▽ More Over a field of characteristic 0, every ring of invariants of any finite group is Cohen-Macaulay. This is not true for fields of positive characteristic. We consider permutation representations and their invariant rings over fields $\mathbb{F}_p$ of prime order. We give an efficient algorithm which for any given permutation representation, determines those primes $p$ for which the invariant ring over $\mathbb{F}_p$ is Cohen-Macaulay. Extensions to subgroups of reflection groups other than the symmetric group are indicated. △ Less

Submitted 17 August, 2023; originally announced August 2023.

MSC Class: 13A50 (Primary) 20F55; 14M05 (Secondary)

Semi-Invariant Rings: UFD and Codimension One Orbits

Authors: Charles Paquette, Deepanshu Prasad, David Wehlau

Abstract: Let $A$ be a finite dimensional associative $\mathbb{K}$-algebra over an algebraically closed field $\mathbb{K}$ of characteristic zero. To $A$, we can associate its basic form that is given by a quiver $Q = (Q_0, Q_1)$ with an admissible ideal $R$. For a dimension vector $β$, we consider an irreducible component $\mathcal{C}$ of the module variety of $β$-dimensional representations of $A$. The re… ▽ More Let $A$ be a finite dimensional associative $\mathbb{K}$-algebra over an algebraically closed field $\mathbb{K}$ of characteristic zero. To $A$, we can associate its basic form that is given by a quiver $Q = (Q_0, Q_1)$ with an admissible ideal $R$. For a dimension vector $β$, we consider an irreducible component $\mathcal{C}$ of the module variety of $β$-dimensional representations of $A$. The reductive group ${\rm GL}_β(\mathbb{K}):= \prod_{i \in Q_0}{\rm GL}_{β_i}(\mathbb{K})$ acts on $\mathcal{C}$ by change of basis, and has a unique closed orbit. We consider the corresponding ring of semi-invariants ${\rm SI}(Q, \mathcal{C})$. We prove that if $\mathcal{C}$ is factorial and has maximal orbits of codimension one, then ${\rm SI}(Q, \mathcal{C})$ is a complete intersection and is not multiplicity free. If $\mathcal{C}$ is not factorial, then this conclusion does not necessarily hold. We present examples showing that the codimension of the complete intersection can be arbitrarily large. Finally, we interpret our results in the case of hereditary algebras. △ Less

Submitted 14 June, 2023; originally announced June 2023.

Representations of free products of semisimple algebras via quivers

Authors: Andrew Buchanan, Ivan Dimitrov, Olivia Grace, Charles Paquette, David Wehlau, Tianyuan Xu

Abstract: Let $\mathbb{K}$ denote an algebraically closed field and $A$ a free product of finitely many semisimple associative $\mathbb{K}$-algebras. We associate to $A$ a finite acyclic quiver $Γ$ and show that the category of finite dimensional $A$-modules is equivalent to a full subcategory of the category ${\rm rep}(Γ)$ of finite dimensional representations of $Γ$. Under this equivalence, the simple… ▽ More Let $\mathbb{K}$ denote an algebraically closed field and $A$ a free product of finitely many semisimple associative $\mathbb{K}$-algebras. We associate to $A$ a finite acyclic quiver $Γ$ and show that the category of finite dimensional $A$-modules is equivalent to a full subcategory of the category ${\rm rep}(Γ)$ of finite dimensional representations of $Γ$. Under this equivalence, the simple $A$-modules correspond exactly to the $θ$-stable representations of $Γ$ for some stability parameter $θ$. This gives us necessary conditions for an $A$-module to be simple, conditions which are also sufficient if the module is in general position. Even though there are indecomposable modules that are not simple, we prove that a module in general position is always semisimple. We also discuss the construction of arbitrary finite dimensional modules using nilpotent representations of quivers. Finally, we apply our results to the case of a free product of finite groups when $\mathbb{K}$ has characteristic zero. △ Less

Submitted 18 May, 2022; originally announced May 2022.

Comments: 25 pages

MSC Class: 16G20; 16D60 (Primary) 16S10; 16E60; 16G60; 20E06 (Secondary)

Ten Points on a Cubic

Authors: Will Traves, David Wehlau

Abstract: The 16-year old Blaise Pascal found a way to determine if 6 points lie on a conic using a straightedge. Nearly 400 years later, we develop a method that uses a straightedge to check whether 10 points lie on a plane cubic curve. The 16-year old Blaise Pascal found a way to determine if 6 points lie on a conic using a straightedge. Nearly 400 years later, we develop a method that uses a straightedge to check whether 10 points lie on a plane cubic curve. △ Less

Submitted 25 May, 2021; originally announced May 2021.

Comments: 19 pages, 12 figures

MSC Class: 14H50 (Primary); 51A20 (Secondary)

Permutations Avoiding Certain Partially-ordered Patterns

Authors: Kai Ting Keshia Yap, David Wehlau, Imed Zaguia

Abstract: A permutation $π$ contains a pattern $σ$ if and only if there is a subsequence in $π$ with its letters are in the same relative order as those in $σ$. Partially ordered patterns (POPs) provide a convenient way to denote patterns in which the relative order of some of the letters does not matter. This paper elucidates connections between the avoidance sets of a few POPs with other combinatorial obj… ▽ More A permutation $π$ contains a pattern $σ$ if and only if there is a subsequence in $π$ with its letters are in the same relative order as those in $σ$. Partially ordered patterns (POPs) provide a convenient way to denote patterns in which the relative order of some of the letters does not matter. This paper elucidates connections between the avoidance sets of a few POPs with other combinatorial objects, directly answering five open questions posed by Gao and Kitaev \cite{gao-kitaev-2019}. This was done by thoroughly analysing the avoidance sets and develo** recursive algorithms to derive these sets and their corresponding combinatorial objects in parallel, which yielded a natural bijection. We also analysed an avoidance set whose simple permutations are enumerated by the Fibonacci numbers and derived an algorithm to obtain them recursively. △ Less

Submitted 28 January, 2021; originally announced January 2021.

MSC Class: 05A05; 05A15

Subregular $J$-rings of Coxeter systems via quiver path algebras

Authors: Ivan Dimitrov, Charles Paquette, David Wehlau, Tianyuan Xu

Abstract: We study the subregular $J$-ring $J_C$ of a Coxeter system $(W,S)$, a subring of Lusztig's $J$-ring. We prove that $J_C$ is isomorphic to a quotient of the path algebra of the double quiver of $(W,S)$ by a suitable ideal that we associate to a family of Chebyshev polynomials. As applications, we use quiver representations to study the category mod-$A_K$ of finite dimensional right modules of the a… ▽ More We study the subregular $J$-ring $J_C$ of a Coxeter system $(W,S)$, a subring of Lusztig's $J$-ring. We prove that $J_C$ is isomorphic to a quotient of the path algebra of the double quiver of $(W,S)$ by a suitable ideal that we associate to a family of Chebyshev polynomials. As applications, we use quiver representations to study the category mod-$A_K$ of finite dimensional right modules of the algebra $A_K=K\otimes_\Z J_C$ over an algebraically closed field $K$ of characteristic zero. Our results include classifications of Coxeter systems for which mod-$A_K$ is semisimple, has finitely many simple modules up to isomorphism, or has a bound on the dimensions of simple modules. Incidentally, we show that every group algebra of a free product of finite cyclic groups is Morita equivalent to the algebra $A_K$ for a suitable Coxeter system; this allows us to specialize the classifications to the module categories of such group algebras. △ Less

Submitted 17 January, 2021; originally announced January 2021.

Comments: 49 pages, 7 figures

MSC Class: Primary: 20C08; 16G20; Secondary: 16D60; 20C07; 20E06

Finite Planes, Zigzag Sequences, Fibonacci Numbers, Artin's Conjecture and Trinomials

Authors: H. E. A. Campbell, David L. Wehlau

Abstract: We begin by considering faithful matrix representations of elementary abelian groups in prime characteristic. The representations considered are seen to be determined up to change of bases by a single number. Studying this number leads to a new family of polynomials which exhibit a number of special properties. These polynomials satisfy a three term recursion and are closely related to zigzag zero… ▽ More We begin by considering faithful matrix representations of elementary abelian groups in prime characteristic. The representations considered are seen to be determined up to change of bases by a single number. Studying this number leads to a new family of polynomials which exhibit a number of special properties. These polynomials satisfy a three term recursion and are closely related to zigzag zero-one sequences. Interpreting the polynomials for the "prime" 1 yields the classical Morgan-Voyce polynomials, which form twoorthogonal families of polynomials and which have applications in the study of electrical resistance. Study of the general polynomials reveals deep connections with the Fibonacci series, the order of appearance of prime numbers in the Fibonacci sequence, the order of elements in cyclic groups, Artin's conjecture on primitive roots and the factorization of trinomials over finite fields. △ Less

Submitted 28 June, 2020; originally announced June 2020.

MSC Class: (Primary) 11B39 Secondary 11T06; 11A07; 11C08

Journal ref: Finite Fields and Their Applications, 89 (2023)

Modular invariants of finite gluing groups

Authors: Yin Chen, R. James Shank, David L. Wehlau

Abstract: We use the gluing construction introduced by Jia Huang to explore the rings of invariants for a range of modular representations. We construct generating sets for the rings of invariants of the maximal parabolic subgroups of a finite symplectic group and their common Sylow $p$-subgroup. We also investigate the invariants of singular finite classical groups. We introduce parabolic gluing and use th… ▽ More We use the gluing construction introduced by Jia Huang to explore the rings of invariants for a range of modular representations. We construct generating sets for the rings of invariants of the maximal parabolic subgroups of a finite symplectic group and their common Sylow $p$-subgroup. We also investigate the invariants of singular finite classical groups. We introduce parabolic gluing and use this construction to compute the invariant field of fractions for a range of representations. We use thin gluing to construct faithful representations of semidirect products and to determine the minimum dimension of a faithful representation of the semidirect product of a cyclic $p$-group acting on an elementary abelian $p$-group. △ Less

Submitted 22 October, 2019; v1 submitted 7 October, 2019; originally announced October 2019.

Comments: Example 5.12 has been corrected and expanded

MSC Class: 13A50

On invariant fields of vectors and covectors

Authors: Yin Chen, David L. Wehlau

Abstract: Let ${\mathbb{F}_{q}}$ be the finite field of order $q$. Let $G$ be one of the three groups ${\rm GL}(n, \mathbb{F}_q)$, ${\rm SL}(n, \mathbb{F}_q)$ or ${\rm U}(n, \mathbb{F}_q)$ and let $W$ be the standard $n$-dimensional representation of $G$. For non-negative integers $m$ and $d$ we let $mW\oplus d W^*$ denote the representation of $G$ given by the direct sum of $m$ vectors and $d$ covectors. W… ▽ More Let ${\mathbb{F}_{q}}$ be the finite field of order $q$. Let $G$ be one of the three groups ${\rm GL}(n, \mathbb{F}_q)$, ${\rm SL}(n, \mathbb{F}_q)$ or ${\rm U}(n, \mathbb{F}_q)$ and let $W$ be the standard $n$-dimensional representation of $G$. For non-negative integers $m$ and $d$ we let $mW\oplus d W^*$ denote the representation of $G$ given by the direct sum of $m$ vectors and $d$ covectors. We exhibit a minimal set of homogenous invariant polynomials $\{\ell_1,\ell_{2},\dots,\ell_{(m+d)n}\}\subseteq \mathbb{F}_q[mW\oplus d W^*]^G$ such that $\mathbb{F}_q(mW\oplus d W^*)^G=\mathbb{F}_q(\ell_1,\ell_2,\dots,\ell_{(m+d)n})$ for all cases except when $md=0$ and $G={\rm GL}(n, \mathbb{F}_q)$ or ${\rm SL}(n, \mathbb{F}_q)$. △ Less

Submitted 7 September, 2017; v1 submitted 4 August, 2017; originally announced August 2017.

Comments: Added a reference to the "No-name Theorem" and modified the introduction to account for this addition

MSC Class: 13A50

Degrees of regular sequences with a symmetric group action

Authors: Federico Galetto, Anthony V. Geramita, David L. Wehlau

Abstract: We consider ideals in a polynomial ring that are generated by regular sequences of homogeneous polynomials and are stable under the action of the symmetric group permuting the variables. In previous work, we determined the possible isomorphism types for these ideals. Following up on that work, we now analyze the possible degrees of the elements in such regular sequences. For each case of our class… ▽ More We consider ideals in a polynomial ring that are generated by regular sequences of homogeneous polynomials and are stable under the action of the symmetric group permuting the variables. In previous work, we determined the possible isomorphism types for these ideals. Following up on that work, we now analyze the possible degrees of the elements in such regular sequences. For each case of our classification, we provide some criteria guaranteeing the existence of regular sequences in certain degrees. △ Less

Submitted 20 October, 2016; originally announced October 2016.

Comments: 22 pages

MSC Class: 13A50

Journal ref: Can. J. Math.-J. Can. Math. 71 (2019) 557-578

Representations of elementary abelian p-groups and finite subgroups of fields

Authors: H. E. A. Campbell, J. Chuai, R. J. Shank, D. L. Wehlau

Abstract: Suppose $\mathbb{F}$ is a field of prime characteristic $p$ and $E$ is a finite subgroup of the additive group $(\mathbb{F},+)$. Then $E$ is an elementary abelian $p$-group. We consider two such subgroups, say $E$ and $E'$, to be equivalent if there is an $α\in\mathbb{F}^*:=\mathbb{F}\setminus\{0\}$ such that $E=αE'$. In this paper we show that rational functions can be used to distinguish equival… ▽ More Suppose $\mathbb{F}$ is a field of prime characteristic $p$ and $E$ is a finite subgroup of the additive group $(\mathbb{F},+)$. Then $E$ is an elementary abelian $p$-group. We consider two such subgroups, say $E$ and $E'$, to be equivalent if there is an $α\in\mathbb{F}^*:=\mathbb{F}\setminus\{0\}$ such that $E=αE'$. In this paper we show that rational functions can be used to distinguish equivalence classes of subgroups and, for subgroups of prime rank or rank less than twelve, we give explicit finite sets of separating invariants. △ Less

Submitted 3 August, 2018; v1 submitted 12 October, 2016; originally announced October 2016.

Comments: There has been a minor change of title from the previous version. We have expanded the introduction, simplified some of the proofs and corrected a number of minor errors. The document is now 25 pages

MSC Class: 13A50

Iterated Arc Graphs

Authors: Danny Rorabaugh, Claude Tardif, David Wehlau, Imed Zaguia

Abstract: The arc graph $δ(G)$ of a digraph $G$ is the digraph with the set of arcs of $G$ as vertex-set, where the arcs of $δ(G)$ join consecutive arcs of $G$. In 1981, Poljak and Rödl characterised the chromatic number of $δ(G)$ in terms of the chromatic number of $G$ when $G$ is symmetric (i.e., undirected). In contrast, directed graphs with equal chromatic numbers can have arc graphs with distinct chrom… ▽ More The arc graph $δ(G)$ of a digraph $G$ is the digraph with the set of arcs of $G$ as vertex-set, where the arcs of $δ(G)$ join consecutive arcs of $G$. In 1981, Poljak and Rödl characterised the chromatic number of $δ(G)$ in terms of the chromatic number of $G$ when $G$ is symmetric (i.e., undirected). In contrast, directed graphs with equal chromatic numbers can have arc graphs with distinct chromatic numbers. Even though the arc graph of a symmetric graph is not symmetric, we show that the chromatic number of the iterated arc graph $δ^k(G)$ still only depends on the chromatic number of $G$ when $G$ is symmetric. △ Less

Submitted 4 October, 2016; originally announced October 2016.

Comments: 7 pages

Logical compactness and constraint satisfaction problems

Authors: Danny Rorabaugh, Claude Tardif, David Wehlau

Abstract: We investigate a correspondence between the complexity hierarchy of constraint satisfaction problems and a hierarchy of logical compactness hypotheses for finite relational structures. It seems that the harder a constraint satisfaction problem is, the stronger the corresponding compactness hypothesis is. At the top level, the NP-complete constraint satisfaction problems correspond to compactness h… ▽ More We investigate a correspondence between the complexity hierarchy of constraint satisfaction problems and a hierarchy of logical compactness hypotheses for finite relational structures. It seems that the harder a constraint satisfaction problem is, the stronger the corresponding compactness hypothesis is. At the top level, the NP-complete constraint satisfaction problems correspond to compactness hypotheses that are equivalent to the ultrafilter axiom in all the cases we have investigated. At the bottom level, the simplest constraint satisfaction problems correspond to compactness hypotheses that are readily provable from the axioms of Zermelo and Fraenkel. △ Less

Submitted 20 January, 2017; v1 submitted 16 September, 2016; originally announced September 2016.

MSC Class: 03E65; 68Q19

Journal ref: Logical Methods in Computer Science, Volume 13, Issue 1 (January 23, 2017) lmcs:2603

Symmetric Complete Intersections

Authors: Federico Galetto, Anthony V. Geramita, David L. Wehlau

Abstract: We consider complete intersection ideals in a polynomial ring over a field of characteristic zero that are stable under the action of the symmetric group permuting the variables. We determine the possible representation types for these ideals, and describe formulas for the graded characters of the corresponding quotient rings. We consider complete intersection ideals in a polynomial ring over a field of characteristic zero that are stable under the action of the symmetric group permuting the variables. We determine the possible representation types for these ideals, and describe formulas for the graded characters of the corresponding quotient rings. △ Less

Submitted 23 August, 2017; v1 submitted 4 April, 2016; originally announced April 2016.

Comments: 14 pages, includes referee's suggestions for publication in Communications in Algebra

MSC Class: 13A50; 13D40; 05E10

Journal ref: Communications in Algebra, 46:5, 2194-2204, 2018

Topologically $4$-chromatic graphs and signatures of odd cycles

Authors: Gord Simons, Claude Tardif, David Wehlau

Abstract: We investigate group-theoretic "signatures" of odd cycles of a graph, and their connections to topological obstructions to 3-colourability. In the case of signatures derived from free groups, we prove that the existence of an odd cycle with trivial signature is equivalent to having the coindex of the hom-complex at least 2 (which implies that the chromatic number is at least 4). In the case of sig… ▽ More We investigate group-theoretic "signatures" of odd cycles of a graph, and their connections to topological obstructions to 3-colourability. In the case of signatures derived from free groups, we prove that the existence of an odd cycle with trivial signature is equivalent to having the coindex of the hom-complex at least 2 (which implies that the chromatic number is at least 4). In the case of signatures derived from elementary abelian 2-groups we prove that the existence of an odd cycle with trivial signature is a sufficient condition for having the index of the hom-complex at least 2 (which again implies that the chromatic number is at least 4). △ Less

Submitted 23 February, 2016; v1 submitted 28 January, 2016; originally announced January 2016.

Comments: Fixed an incorrect assertion in the abstract of the previous version

MSC Class: 05C15

Generalised Mycielski graphs and bounds on chromatic numbers

Authors: Gord Simons, Claude Tardif, David Wehlau

Abstract: We prove that the coindex of the box complex $\mathrm{B}(H)$ of a graph $H$ can be measured by the generalised Mycielski graphs which admit a homomorphism to it. As a consequence, we exhibit for every graph $H$ a system of linear equations solvable in polynomial time, with the following properties: If the system has no solutions, then $\mathrm{coind}(\mathrm{B}(H)) + 2 \leq 3$; if the system has s… ▽ More We prove that the coindex of the box complex $\mathrm{B}(H)$ of a graph $H$ can be measured by the generalised Mycielski graphs which admit a homomorphism to it. As a consequence, we exhibit for every graph $H$ a system of linear equations solvable in polynomial time, with the following properties: If the system has no solutions, then $\mathrm{coind}(\mathrm{B}(H)) + 2 \leq 3$; if the system has solutions, then $χ(H) \geq 4$. We generalise the method to other bounds on chromatic numbers using linear algebra. △ Less

Submitted 18 January, 2016; originally announced January 2016.

MSC Class: 05C15

Modular Invariants of a Vector and a Covector: a proof of a conjecture of Bonnafé and Kemper

Authors: Yin Chen, David L. Wehlau

Abstract: 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. 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. △ Less

Submitted 14 August, 2016; v1 submitted 11 November, 2015; originally announced November 2015.

Comments: A new correct proof of the main theorem is given

MSC Class: 13A50

Hilbert Functions of $\mathfrak S_n$-Stable Artinian Gorenstein Algebras

Authors: Anthony V. Geramita, Andrew H. Hoefel, David L. Wehlau

Abstract: 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. 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. △ Less

Submitted 20 March, 2016; v1 submitted 27 July, 2014; originally announced July 2014.

Comments: Changed the final word in the title. Extended the statement and proof of Proposition 14. 20 pages long

MSC Class: 13D40; 05E10

The Second Main Theorem Vector for the modular regular representation of $C_2$

Authors: H. E. A. Campbell, David L. Wehlau

Abstract: 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… ▽ More 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. △ Less

Submitted 16 August, 2013; originally announced August 2013.

MSC Class: 13A50 (Primary)

Rings of invariants for modular representations of elementary abelian p-groups

Authors: H. E. A. Campbell, R. J. Shank, D. L. Wehlau

Abstract: We initiate a study of the rings of invariants of modular representations of elementary abelian p-groups. With a few notable exceptions, the modular representation theory of an elementary abelian p-group is wild. However, for a given dimension, it is possible to parameterise the representations. We describe parameterisations for modular representations of dimension two and of dimension three. We c… ▽ More We initiate a study of the rings of invariants of modular representations of elementary abelian p-groups. With a few notable exceptions, the modular representation theory of an elementary abelian p-group is wild. However, for a given dimension, it is possible to parameterise the representations. We describe parameterisations for modular representations of dimension two and of dimension three. We compute the ring of invariants for all two dimensional representations; these rings are generated by two algebraically independent elements. We compute the ring of invariants of the symmetric square of a two dimensional representation; these rings are hypersurfaces. We compute the ring of invariants for all three dimensional representations of rank at most three; these rings are complete intersections with embedding dimension at most five. We conjecture that the ring of invariants for any three dimensional representation of an elementary abelian p-group is a complete intersection. △ Less

Submitted 10 May, 2012; v1 submitted 1 December, 2011; originally announced December 2011.

Comments: We have corrected the statement of Theorem 5.4 and the proofs of Theorems 7.4, 8.6, and 8.10

MSC Class: 13A50

Decomposing Inversion Sets of Permutations and Applications to Faces of the Littlewood-Richardson Cone

Authors: R. Dewji, I. Dimitrov, A. McCabe, M. Roth, D. Wehlau, J. Wilson

Abstract: If $α\in S_n$ is a permutation of $\{1, 2, \ldots, n\}$, the inversion set of $α$ is $Φ(α) = \{(i, j) \, | \, 1 \leq i < j \leq n, α(i) > α(j)\}$. We describe all $r$-tuples $α_1, α_2, \ldots, α_r \in S_n$ such that $Δ_n^+ = \{(i, j) \, | \, 1 \leq i < j \leq n\}$ is the disjoint union of $Φ(α_1), Φ(α_2), \ldots, Φ(α_r)$. Using this description we prove that certain faces of the Littlewood-Richard… ▽ More If $α\in S_n$ is a permutation of $\{1, 2, \ldots, n\}$, the inversion set of $α$ is $Φ(α) = \{(i, j) \, | \, 1 \leq i < j \leq n, α(i) > α(j)\}$. We describe all $r$-tuples $α_1, α_2, \ldots, α_r \in S_n$ such that $Δ_n^+ = \{(i, j) \, | \, 1 \leq i < j \leq n\}$ is the disjoint union of $Φ(α_1), Φ(α_2), \ldots, Φ(α_r)$. Using this description we prove that certain faces of the Littlewood-Richardson cone are simplicial and provide an algorithm for writing down their sets of generating rays. We also discuss analogous problems for the Weyl groups of root systems of types $B$, $C$ and $D$ providing solutions for types $B$ and $C$. Finally we provide some enumerative results and introduce a useful tool for visualizing inversion sets. △ Less

Submitted 3 September, 2014; v1 submitted 26 October, 2011; originally announced October 2011.

Comments: 43 pages

MSC Class: 05E15; 05A05; 05E10; 52B20

Resolutions of 2 and 3 dimensional rings of invariants for cyclic groups

Authors: John C. Harris, David L. Wehlau

Abstract: 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 generato… ▽ More 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. △ Less

Submitted 14 May, 2012; v1 submitted 23 October, 2011; originally announced October 2011.

Comments: We give a shorter, simpler proof of Proposition 5.3 and we have clarified some of the exposition. 14 pages

MSC Class: 13A50; 13D02

Cubic Curves, Finite Geometry and Cryptography

Authors: A. A. Bruen, J. W. P. Hirschfeld, D. L. Wehlau

Abstract: Some geometry on non-singular cubic curves, mainly over finite fields, is surveyed. Such a curve has 9,3,1 or 0 points of inflexion, and cubic curves are classified accordingly. The group structure and the possible numbers of rational points are also surveyed. A possible strengthening of the security of elliptic curve cryptography is proposed using a `shared secret' related to the group law. Cubic… ▽ More Some geometry on non-singular cubic curves, mainly over finite fields, is surveyed. Such a curve has 9,3,1 or 0 points of inflexion, and cubic curves are classified accordingly. The group structure and the possible numbers of rational points are also surveyed. A possible strengthening of the security of elliptic curve cryptography is proposed using a `shared secret' related to the group law. Cubic curves are also used in a new way to construct sets of points having various combinatorial and geometric properties that are of particular interest in finite Desarguesian planes. △ Less

Submitted 21 July, 2011; originally announced July 2011.

Comments: This is a version of our article to appear in Acta Applicandae Mathematicae. In this version, we have corrected a sentence in the third paragraph. The final publication is available at springerlink.com at http://www.springerlink.com/content/xh85647871215644/

Weitzenböck derivations of nilpotency 3

Authors: David L. Wehlau

Abstract: 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 se… ▽ More 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. △ Less

Submitted 14 March, 2012; v1 submitted 1 November, 2010; originally announced November 2010.

Comments: added a short section (#9) which outlines a limitation on the technique used in the paper; simplified some of the exposition; corrected a number of typos. [15 pages]

MSC Class: 13N15; 13A50; 13P10; 14E07

Invariants for the Modular Cyclic Group of Prime Order via Classical Invariant Theory

Authors: David L. Wehlau

Abstract: 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 equiv… ▽ More 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. △ Less

Submitted 14 October, 2011; v1 submitted 6 December, 2009; originally announced December 2009.

Comments: A few of the proofs in section 9 have been shortened and clarified. Various other changes have been made to improve the exposition

MSC Class: 13A50

Vector invariants for the two dimensional modular representation of a cyclic group of prime order

Authors: H. E. A. Campbell, R. J. Shank, D. L. Wehlau

Abstract: In this paper, we study the vector invariants, ${\bf{F}}[m V_2]^{C_p}$, of the 2-dimensional indecomposable representation $V_2$ of the cylic group, $C_p$, of order $p$ over a field ${\bf{F}}$ of characteristic $p$. This ring of invariants was first studied by David Richman \cite{richman} who showed that this ring required a generator of degree $m(p-1)$, thus demonstrating that the result of Noe… ▽ More In this paper, we study the vector invariants, ${\bf{F}}[m V_2]^{C_p}$, of the 2-dimensional indecomposable representation $V_2$ of the cylic group, $C_p$, of order $p$ over a field ${\bf{F}}$ of characteristic $p$. This ring of invariants was first studied by David Richman \cite{richman} who showed that this ring required a generator of degree $m(p-1)$, thus demonstrating that the result of Noether in characteristic 0 (that the ring of invariants of a finite group is always generated in degrees less than or equal to the order of the group) does not extend to the modular case. He also conjectured that a certain set of invariants was a generating set with a proof in the case $p=2$. This conjecture was proved by Campbell and Hughes in \cite{campbell-hughes}. Later, Shank and Wehlau in \cite{cmipg} determined which elements in Richman's generating set were redundant thereby producing a minimal generating set. We give a new proof of the result of Campbell and Hughes, Shank and Wehlau giving a minimal algebra generating set for the ring of invariants ${\bf{F}}[m V_2]^{C_p}$. In fact, our proof does much more. We show that our minimal generating set is also a SAGBI basis for ${\bf{F}}[m V_2]^{C_p}$. Further, our techniques also serve to give an explicit decomposition of ${\bf{F}}[m V_2]$ into a direct sum of indecomposable $C_p$-modules. Finally, noting that our representation of $C_p$ on $V_2$ is as the $p$-Sylow subgroup of $SL_2({\bf F}_p)$, we are able to determine a generating set for the ring of invariants of ${\bf{F}}[m V_2]^{SL_2({\bf F}_p)}$. △ Less

Submitted 19 November, 2009; v1 submitted 19 January, 2009; originally announced January 2009.

MSC Class: 13A50

Decomposing symmetric powers of certain modular representations of cyclic groups

Authors: R. J. Shank, D. L. Wehlau

Abstract: For a prime number p, we construct a generating set for the ring of invariants for the p+1 dimensional indecomposable modular representation of a cyclic group of order p^2. We then use the constructed invariants to describe the decomposition of the symmetric algebra as a module over the group ring, confirming the Periodicity Conjecture of Ian Hughes and Gregor Kemper for this case. For a prime number p, we construct a generating set for the ring of invariants for the p+1 dimensional indecomposable modular representation of a cyclic group of order p^2. We then use the constructed invariants to describe the decomposition of the symmetric algebra as a module over the group ring, confirming the Periodicity Conjecture of Ian Hughes and Gregor Kemper for this case. △ Less

Submitted 29 May, 2007; v1 submitted 2 September, 2005; originally announced September 2005.

Comments: The revised version of the paper includes a calculation of the Noether number of the p+1 dimensional modular indecomposable representation of the cyclic group of order p^2 and the Hilbert series of the corresponding ring of invariants

MSC Class: 13A50

Non-Negative Integer Linear Congruences

Authors: John C. Harris, David L. wehlau

Abstract: 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… ▽ More 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. △ Less

Submitted 24 September, 2004; originally announced September 2004.

Comments: 7 pages. This is the write up of some work we did 10 years ago and have not published up until now. It will be submitted for publication soon

MSC Class: 11D79

Journal ref: Indagationes Mathematicae 17 No. 1 (2006) 37-44

Complete caps in projective space which are disjoint from a subspace of codimension two

Authors: David L. Wehlau

Abstract: Working over the field of order 2 we consider those complete caps (maximal sets of points with no three collinear) which are disjoint from some codimension 2 subspace of projective space. We derive restrictive conditions which such a cap must satisfy in order to be complete. Using these conditions we obtain explicit descriptions of complete caps which do not meet every hyperplane in at least 5 p… ▽ More Working over the field of order 2 we consider those complete caps (maximal sets of points with no three collinear) which are disjoint from some codimension 2 subspace of projective space. We derive restrictive conditions which such a cap must satisfy in order to be complete. Using these conditions we obtain explicit descriptions of complete caps which do not meet every hyperplane in at least 5 points. In particular, we determine the set of cardinalities of all such complete caps in all dimensions. △ Less

Submitted 1 March, 2004; originally announced March 2004.

Comments: 13 pages. This is a corrected version of a paper that appeared in Finite Geometries, A. Blokhuis, J.W.P. Hirschfeld, D. Jungnickel and J.A. Thas, Editors, Kluwer Academic Publishing, Dordrecht, 2001, 347--361. The proof of Theorem 4.1 has been corrected as have the statements of Propositions 7.1 and 8.1

MSC Class: 51E22