Search

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., Comment: Example 5.12 has been corrected and expanded

We prove a derived version of the Gabriel-Popescu theorem in the framework of dg-categories and t-structures. This exhibits any pretriangulated dg-category with a suitable t-structure (such that its heart is a Grothendieck abelian category) as a t-exact localization of a derived dg-category of dg-modules. We give an original proof based on a generalization of Mitchell's argument in "A quick proof of the Gabriel-Popesco theorem" and involving derived injective objects. As an application, we also give a short proof that derived categories of Grothendieck abelian categories have a unique dg-enhancement., 43 pages, comments are welcome

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 $\alpha\in\mathbb{F}^*:=\mathbb{F}\setminus\{0\}$ such that $E=\alpha 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., Comment: 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

Tauvel's height formula, which provides a link between the height of a prime ideal and the Gelfand-Kirillov dimension of the corresponding factor algebra, is verified for quantum nilpotent algebras.

Quispel-Roberts-Thompson (QRT) maps are a family of birational maps of the plane which provide the simplest discrete analogue of an integrable Hamiltonian system, and are associated with elliptic fibrations in terms of biquadratic curves. Each generic orbit of a QRT map corresponds to a sequence of points on an elliptic curve. In this preliminary study, we explore versions of the elliptic curve method (ECM) for integer factorization based on performing scalar multiplication of a point on an elliptic curve by iterating three different QRT maps with particular initial data. Pseudorandom number generation and other possible applications are briefly discussed.

In a finite projective plane PG(2; q), a set K of k points is a (k; n)-arc for 2 ≤ n ≤ q - 1 if the following two properties hold:\ud \ud 1. Every line intersects K in at most n points.\ud 2. There exists a line which intersects K in exactly n points.\ud \ud Algebraic curves of degree n give examples of (k; n)-arc; the parameter n is called the degree of the arc. In PG(2; q); the problem of finding mn(2; q) and tn(2; q) (the maximum and the minimum value of k for which a complete (k; n)-arc exists) and the problem of classifying such arcs up to projective equivalence, are crucial problems in finite geometry. One of the important application of these arcs in coding theory are projective codes that cannot be extended to larger codes.\ud \ud The aim of this project is to classify (k; n)-arcs if possible for 3 ≤ n ≤ 5 and to construct large arcs in PG(2; 11): Algebraic and new combinatorial methods are used to perform the classification and the construction of such arcs with different degrees. Those procedures are implemented using different open-source software packages such as GAP [35] and Orbiter [10].\ud \ud We were successful in obtaining new isomorphism types of (k; 5)-arcs for k = 5,…, 13 in PG(2; 11): We have also developed a new classification algorithm for cubic curves in small projective planes. Moreover, a new upper bound is proved for the number of 5-secants of (45; 5)-arc. In addition to proving our new lower bound for the complete (k; 5)-arc in PG(2; 11): The non existence of (44; 5)-arc and (45; 5)-arc is formulated as a new conjecture for q = 11: Using an arc of degree 2 and exploiting the complement relation between arcs and blocking sets we find new 134 isomorphism types of (77; 8)-arcs in PG(2; 11)

Let G be a Sylow p -subgroup of the unitary groups GU(3,q2)GU(3,q2), GU(4,q2)GU(4,q2), the symplectic group Sp(4,q)Sp(4,q) and, for q odd, the orthogonal group O+(4,q)O+(4,q). In this paper we construct a presentation for the invariant ring of G acting on the natural module. In particular we prove that these rings are generated by orbit products of variables and certain invariant polynomials which are images under Steenrod operations, applied to the respective invariant form defining the corresponding classical group. We also show that these generators form a SAGBI basis and the invariant ring for G is a complete intersection.

Cluster algebras are a class of commutative algebras whose generators are defined by a recursive process called mutation. We give a brief introduction to cluster algebras, and explain how discrete integrable systems can appear in the context of cluster mutation. In particular, we give examples of birational maps that are integrable in the Liouville sense and arise from cluster algebras with periodicity, as well as examples of discrete Painleve equations that are derived from Y-systems.

We introduce a path-theoretic framework for understanding the representation theory of (quantum) symmetric and general linear groups and their higher level generalisations over fields of arbitrary characteristic. Our first main result is a "super-strong linkage principle" which provides degree-wise upper bounds for graded decomposition numbers (this is new even in the case of symmetric groups). Next, we generalise the notion of homomorphisms between Weyl/Specht modules which are "generically" placed (within the associated alcove geometries) to cyclotomic Hecke and diagrammatic Cherednik algebras. Finally, we provide evidence for a higher-level analogue of the classical Lusztig conjecture over fields of sufficiently large characteristic., 38 pages, 9 figures

Motivated by Weyl algebra analogues of the Jacobian conjecture and the Tame Generators problem, we prove quantum versions of these problems for a family of analogues to the Weyl algebras. In particular, our results cover the Weyl-Hayashi algebras and tensor powers of a quantization of the first Weyl algebra which arises as a primitive factor algebra of U + q (so5). Mathematics Subject Classification (2010). 16W35, 16S32, 16W20, 17B37.

We study the geometry of non-homogeneous horospherical varieties. These have been classified by Pasquier and include the well-known odd symplectic Grassmannians. We focus our study on quantum cohomology, with a view towards Dubrovin's conjecture. In particular, we describe the cohomology groups of these varieties as well as a Chevalley formula, and prove that many Gromov-Witten invariants are enumerative. This enables us to prove that in many cases the quantum cohomology is semisimple. We give a presentation of the quantum cohomology ring for odd symplectic Grassmannians. The final section is devoted to the derived categories of coherent sheaves on horospherical varieties. We first discuss a general construction of exceptional bundles on these varieties. We then study in detail the case of the horospherical variety associated to the exceptional group $G_2$, and construct a full rectangular Lefschetz exceptional collection in the derived category., 71 pages

The notion of commutative integro-differential algebra was introduced for the algebraic study of boundary problems for linear ordinary differential equations. Its noncommutative analog achieves a similar purpose for linear systems of such equations. In both cases, free objects are crucial for analyzing the underlying algebraic structures, e.g. of the (matrix) functions. In this paper we apply the method of Grobner–Shirshov bases to construct the free (noncommutative) integro-differential algebra on a set. The construction is from the free Rota–Baxter algebra on the free differential algebra on the set modulo the differential Rota–Baxter ideal generated by the noncommutative integration by parts formula. In order to obtain a canonical basis for this quotient, we first reduce to the case when the set is finite. Then in order to obtain the monomial order needed for the Composition-Diamond lemma, we consider the free Rota–Baxter algebra on the truncated free differential algebra. A Composition-Diamond lemma is proved in this context, and a Grobner–Shirshov basis is found for the corresponding differential Rota–Baxter ideal.

Human identification protocols are challenge-response protocols that rely on human computational ability to reply to random challenges from the server based on a public function of a shared secret and the challenge to authenticate the human user. One security criterion for a human identification protocol is the number of challenge-response pairs the adversary needs to observe before it can deduce the secret. In order to increase this number, protocol designers have tried to construct protocols that cannot be represented as a system of linear equations or congruences. In this paper, we take a closer look at different ways from algebra, lattices, and coding theory to obtain the secret from a system of linear congruences. We then show two examples of human identification protocols from literature that can be transformed into a system of linear congruences. The resulting attack limits the number of authentication sessions these protocols can be used before secret renewal. Prior to this paper, these protocols had no known upper bound on the number of allowable sessions per secret.

Protoadditive functors are designed to replace additive functors in a non-abelian setting. Their properties are studied, in particular in relationship with torsion theories, Galois theory, homology and factorisation systems. It is shown how a protoadditive torsion-free reflector induces a chain of derived torsion theories in the categories of higher extensions, similar to the Galois structures of higher central extensions previously considered in semi-abelian homological algebra. Such higher central extensions are also studied, with respect to Birkhoff subcategories whose reflector is protoadditive or, more generally, factors through a protoadditive reflector. In this way we obtain simple descriptions of the non-abelian derived functors of the reflectors via higher Hopf formulae. Various examples are considered in the categories of groups, compact groups, internal groupoids in a semi-abelian category, and other ones.

Rota-Baxter operators are an algebraic abstraction of integration. Following this classical connection, we study the relationship between Rota-Baxter operators and integrals in the case of the polynomial algebra $\mathbf{k}[x]$. We consider two classes of Rota-Baxter operators, monomial ones and injective ones. For the first class, we apply averaging operators to determine monomial Rota-Baxter operators. For the second class, we make use of the double product on Rota-Baxter algebras., Comment: 20 pages

The quadratic Poisson Gel'fand-Kirillov problem asks whether the field of fractions of a Poisson algebra is Poisson birationally equivalent to a Poisson affine space, i.e. to a polynomial algebra $\K[X_1,..., X_n]$ with Poisson bracket defined by $\{X_i,X_j\}=\lambda_{ij} X_iX_j$ for some skew-symmetric matrix $(\lambda_{ij}) \in M_n(\K)$. This problem was studied in \cite{GL} over a field of characteristic 0 by using a Poisson version of the deleting-derivations algorithm of Cauchon. In this paper, we study the quadratic Poisson Gel'fand-Kirillov problem over a field of arbitrary characteristic. In particular, we prove that the quadratic Poisson Gel'fand-Kirillov problem is satisfied for a large class of Poisson algebras arising as semiclassical limits of quantised coordinate rings. For, we introduce the concept of {\it higher Poisson derivation} which allows us to extend the Poisson version of the deleting-derivations algorithm from the characteristic 0 case to the case of arbitrary characteristic. When a torus is acting rationally by Poisson automorphisms on a Poisson polynomial algebra arising as the semiclassical limit of a quantised coordinate ring, we prove (under some technical assumptions) that quotients by Poisson prime torus-invariant ideals also satisfy the quadratic Poisson Gel'fand-Kirillov problem. In particular, we show that coordinate rings of determinantal varieties satisfy the quadratic Poisson Gel'fand-Kirillov problem., Comment: 39 pages, revised version (typo correction and more details in the introduction)

We present a result characterising iterated inflations of cellular algebras, derived from the work of König and Xi. This result is intended to replace an incorrect proposition in the literature, and gives explicit and readily checked conditions which establish that an algebra is an iterated inflation of cellular algebras, and hence is cellular, with cellular data directly related to the cellular data of the constituent cellular algebras.

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)}$.

We consider quantum Schubert cells in the quantum grassmannian and give a cell decomposition of the prime spectrum via the Schubert cells. As a consequence, we show that all primes are completely prime in the generic case where the deformation parameter q is not a root of unity. There is a torus H that acts naturally on the quantum grassmannian and the cell decomposition of the set of H-primes leads to a parameterisation of the H-spectrum via certain diagrams on partitions associated to the Schubert cells. Interestingly, the same parameterisation occurs for the non-negative cells in recent studies concerning the totally non-negative grassmannian. Finally, we use the cell decomposition to establish that the quantum grassmannian satisfies normal separation and catenarity., 25 pages

We study the permutation module arising from the action of the symmetric group S 2 n on the conjugacy class of fixed-point-free involutions, defined over an arbitrary field. The indecomposable direct summands of these modules are shown to possess filtrations by Specht modules and also filtrations by dual Specht modules. We see that these provide counterexamples to a conjecture by Hemmer. Twisted permutation modules are also considered, as is an application to the Brauer algebra.

Let k be a field of positive characteristic p and let G be a finite group. In this paper we study the category TsG of finitely generated commutative k-algebras A on which G acts by algebra automorphisms with surjective trace. If A = k[X], the ring of regular functions of a variety X, then trace-surjective group actions on A are characterized geometrically by the fact that all point stabilizers on X are p'-subgroups or, equivalently, that A is a Galois extension of the ring of P invariants for every Sylow p-group P of G. We investigate categorical properties, using a version of Frobenius-reciprocity for group actions on k-algebras, which is based on tensor induction for modules. We also describe projective generators in TsG , extending and generalizing the investigations started in [8], [7] and [9] in the case of p-groups. As an application we show that for an abelian or p-elementary group G and k large enough, there is always a faithful (possibly nonlinear) action on a polynomial ring such that the ring of invariants is also a polynomial ring. This would be false for linear group actions by a result of Serre. For p-solvable groups we obtain a structure theorem on trace-surjective algebras, generalizing the corresponding result for p-groups in [8]., 23 pages, accepted by J. of Algebra

The purpose of this article is to prove that the category of cocommutative Hopf $K$-algebras, over a field $K$ of characteristic zero, is a semi-abelian category. Moreover, we show that this category is action representable, and that it contains a torsion theory whose torsion-free and torsion parts are given by the category of groups and by the category of Lie $K$-algebras, respectively.

© Laura Bocchi, Julien Lange, and Nobuko Yoshida; licensed under Creative Commons License CC-BY.This paper studies safety, progress, and non-zeno properties of Communicating Timed Automata (CTAs), which are timed automata (TA) extended with unbounded communication channels, and presents a procedure to build timed global specifications from systems of CTAs. We define safety and progress properties for CTAs by extending properties studied in communicating finitestate machines to the timed setting. We then study non-zenoness for CTAs; our aim is to prevent scenarios in which the participants have to execute an infinite number of actions in a finite amount of time. We propose sound and decidable conditions for these properties, and demonstrate the practicality of our approach with an implementation and experimental evaluations of our theory.

We study the fields of fractions and the Poisson spectra of polynomial Poisson algebras.\ud \ud First we investigate a Poisson birational equivalence problem for polynomial Poisson algebras over a field of arbitrary characteristic. Namely, the quadratic Poisson Gel'fand-Kirillov problem asks whether the field of fractions of a Poisson algebra is isomorphic to the field of fractions of a Poisson affine space, i.e. a polynomial algebra such that the Poisson bracket of two generators is equal to their product (up to a scalar). We answer positively the quadratic Poisson Gel'fand-Kirillov problem for a large class of Poisson algebras arising as semiclassical limits of quantised coordinate rings, as well as for their quotients by Poisson prime ideals that are invariant under the action of a torus. In particular, we show that coordinate rings of determinantal Poisson varieties satisfy the quadratic Poisson Gel'fand-Kirillov problem. Our proof relies on the so-called characteristic-free Poisson deleting derivation homomorphism. Essentially this homomorphism allows us to simplify Poisson brackets of a given polynomial Poisson algebra by localising at a generator.\ud \ud Next we develop a method, the characteristic-free Poisson deleting derivations algorithm, to study the Poisson spectrum of a polynomial Poisson algebra. It is a Poisson version of the deleting derivations algorithm introduced by Cauchon [8] in order to study spectra of some noncommutative noetherian algebras. This algorithm allows us to define a partition of the Poisson spectrum of certain polynomial Poisson algebras, and to prove the Poisson Dixmier-Moeglin equivalence for those Poisson algebras when the base field is of characteristic zero. Finally, using both Cauchon's and our algorithm, we compare combinatorially spectra and Poisson spectra in the framework of (algebraic) deformation theory. In particular we compare spectra of quantum matrices with Poisson spectra of matrix Poisson varieties.

Brown and Gordon asked whether the Poisson Dixmier-Moeglin equivalence holds for any complex affine Poisson algebra; that is, whether the sets of Poisson rational ideals, Poisson primitive ideals, and Poisson locally closed ideals coincide. In this article a complete answer is given to this question using techniques from differential-algebraic geometry and model theory. In particular, it is shown that while the sets of Poisson rational and Poisson primitive ideals do coincide, in every Krull dimension at least four there are complex affine Poisson algebras with Poisson rational ideals that are not Poisson locally closed. These counterexamples also give rise to counterexamples to the classical (noncommutative) Dixmier-Moeglin equivalence in finite $\operatorname{GK}$ dimension. A weaker version of the Poisson Dixmier-Moeglin equivalence is proven for all complex affine Poisson algebras, from which it follows that the full equivalence holds in Krull dimension three or less. Finally, it is shown that everything, except possibly that rationality implies primitivity, can be done over an arbitrary base field of characteristic zero., 28 pages; v2: minor changes; accepted for publication in Journal of the European Mathematical Society

Chaput, Manivel and Perrin proved a formula describing the quantum product by Schubert classes associated to cominuscule weights in a rational projective homogeneous space X. In the case where X has Picard rank one, we link this formula to the stratification of X by P-orbits, where P is the parabolic subgroup associated to the cominuscule weight. We deduce a decomposition of the Hasse diagram of X, i.e the diagram describing the cup-product with the hyperplane class., 19 pages, 3 figures

The article concerns the existence and uniqueness of quantisations of cluster algebras. We prove that cluster algebras with an initial exchange matrix of full rank admit a quantisation in the sense of Berenstein-Zelevinsky and give an explicit generating set to construct all quantisations.

We consider nonlinear recurrences generated from cluster mutations applied to quivers that have the property of being cluster mutation-periodic with period 1. Such quivers were completely classified by Fordy and Marsh, who characterised them in terms of the skew-symmetric matrix that defines the quiver. The associated nonlinear recurrences are equivalent to birational maps, and we explain how these maps can be endowed with an invariant Poisson bracket and/or presymplectic structure. Upon applying the algebraic entropy test, we are led to a series of conjectures which imply that the entropy of the cluster maps can be determined from their tropical analogues, which leads to a sharp classification result. Only four special families of these maps should have zero entropy. These families are examined in detail, with many explicit examples given, and we show how they lead to discrete dynamics that is integrable in the Liouville-Arnold sense., Comment: 49 pages, 3 figures. Reduced to satisfy journal page restrictions. Sections 2.4, 4.5, 6.3, 7 and 8 removed. All other results remain, with minor editing

The article concerns the subalgebra U_v^+(w) of the quantized universal enveloping algebra of the complex Lie algebra sl_{n+1} associated with a particular Weyl group element of length 2n. We verify that U_v^+(w) can be endowed with the structure of a quantum cluster algebra of type A_n. The quantum cluster algebra is a deformation of the ordinary cluster algebra Geiss-Leclerc-Schroeer attached to w using the representation theory of the preprojective algebra. Furthermore, we prove that the quantum cluster variables are, up to a power of v, elements in the dual of Lusztig's canonical basis under Kashiwara's bilinear form., 48 pages

We consider a family of nonlinear recurrences with the Laurent property. Although these recurrences are not generated by mutations in a cluster algebra, they fit within the broader framework of Laurent phenomenon algebras, as introduced recently by Lam and Pylyavskyy. Furthermore, each member of this family is shown to be linearisable in two different ways, in the sense that its iterates satisfy both a linear relation with constant coefficients and a linear relation with periodic coefficients. Associated monodromy matrices and first integrals are constructed, and the connection with the dressing chain for Schrodinger operators is also explained., 13 pages, LMS style file

Derived A-infinity algebras were developed recently by Sagave. Their advantage over classical A-infinity algebras is that no projectivity assumptions are needed to study minimal models of differential graded algebras. We explain how derived A-infinity algebras can be viewed as algebras over an operad. More specifically, we describe how this operad arises as a resolution of the operad dAs encoding bidgas, ie bicomplexes with an associative multiplication. This generalises the established result describing the operad A-infinity as a resolution of the operad As encoding associative algebras. We further show that Sagave’s definition of morphisms agrees with the infinity- morphisms of dA-infinity –algebras arising from operadic machinery. We also study the operadic homology of derived A-infinity algebras.

We review our algebraic framework for linear boundary problems (concentrating on ordinary differential equations). Its starting point is an appropriate algebraization of the domain of functions, which we have named integro-differential algebras. The algebraic treatment of boundary problems brings up two new algebraic structures whose symbolic representation and computational realization is based on canonical forms in certain commutative and noncommutative polynomial domains. The first of these, the ring of integro-differential operators, is used for both stating and solving linear boundary problems. The other structure, called integro-differential polynomials, is the key tool for describing extensions of integrodifferential algebras. We use the canonical simplifier for integro-differential polynomials for generating an automated proof establishing a canonical simplifier for integro-differential operators. Our approach is fully implemented in the THEOREMA system; some code fragments and sample computations are included.

We consider nonlinear recurrences generated from the iteration of maps that arise from cluster algebras. More precisely, starting from a skew-symmetric integer matrix, or its corresponding quiver, one can define a set of mutation operations, as well as a set of associated cluster mutations that are applied to a set of affine coordinates (the cluster variables). Fordy and Marsh recently provided a complete classification of all such quivers that have a certain periodicity property under sequences of mutations. This periodicity implies that a suitable sequence of cluster mutations is precisely equivalent to iteration of a nonlinear recurrence relation. Here we explain briefly how to introduce a symplectic structure in this setting, which is preserved by a corresponding birational map (possibly on a space of lower dimension). We give examples of both integrable and non-integrable maps that arise from this construction. We use algebraic entropy as an approach to classifying integrable cases. The degrees of the iterates satisfy a tropical version of the map.

The article concerns the dual of Lusztig's canonical basis of a subalgebra of the positive part U_q(n) of the universal enveloping algebra of a Kac-Moody Lie algebra of type A_1^{(1)}. The examined subalgebra is associated with a terminal module M over the path algebra of the Kronecker quiver via an Weyl group element w of length four. Geiss-Leclerc-Schroeer attached to M a category C_M of nilpotent modules over the preprojective algebra of the Kronecker quiver together with an acyclic cluster algebra A(C_M). The dual semicanonical basis contains all cluster monomials. By construction, the cluster algebra A(C_M) is a subalgebra of the graded dual of the (non-quantized) universal enveloping algebra U(n). We transfer to the quantized setup. Following Lusztig we attach to w a subalgebra U_q^+(w) of U_q(n). The subalgebra is generated by four elements that satisfy straightening relations; it degenerates to a commutative algebra in the classical limit q=1. The algebra U_q^+(w) possesses four bases, a PBW basis, a canonical basis, and their duals. We prove recursions for dual canonical basis elements. The recursions imply that every cluster variable in A(C_M) is the specialization of the dual of an appropriate canonical basis element. Therefore, U_q^+(w) is a quantum cluster algebra in the sense of Berenstein-Zelevinsky. Furthermore, we give explicit formulae for the quantized cluster variables and for expansions of products of dual canonical basis elements., 32 pages

For a prime p>3, we compute a finite generating set for the\ud SL_2(F_p)-invariants of the third symmetric power representation. The proof relies on the construction of an infinite SAGBI basis and uses the Hilbert series calculation of Hughes and Kemper.

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, and show that the Noether number for the representation is p 2 + p−3. We then use the constructed invariants to explicitly 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. In the final section, we use our results to compute the Hilbert series for the corresponding ring of invariants together with some other related generating functions.

The class of cellularly stratified algebras is defined and shown to include large classes of diagram algebras. While the definition is in combinatorial terms, by adding extra structure to Graham and Lehrer’s definition of cellular algebras, various structural properties are established in terms of exact functors and stratifications of derived categories. The stratifications relate ‘large’ algebras such as Brauer algebras to ‘smaller’ ones such as group algebras of symmetric groups. Among the applications are relative equivalences of categories extending those found by Hemmer and Nakano and by Hartmann and Paget, as well as identities between decomposition numbers and cohomology groups of ‘large’ and ‘small’ algebras.

This article is dedicated to the memory of Vadim Kuznetsov, and begins with some of the author's recollections of him. Thereafter, a brief review of Somos sequences is provided, with particular focus being made on the integrable structure of Somos-4 recurrences, and on the Laurent property. Subsequently a family of fourth-order recurrences that share the Laurent property are considered, which are equivalent to Poisson maps in four dimensions. Two of these maps turn out to be superintegrable, and their iteration furnishes infinitely many solutions of some associated quartic Diophantine equations., Comment: This is a contribution to the Vadim Kuznetsov Memorial Issue on Integrable Systems and Related Topics, published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA/

We consider the ring of coinvariants for modular representations of cyclic groups of prime order. For all cases for which explicit generators for the ring of invariants are known, we give a reduced Gröbner basis for the Hilbert ideal and the corresponding monomial basis for the coinvariants. We also describe the decomposition of the coinvariants as a module over the group ring. For one family of representations, we are able to describe the coinvariants despite the fact that an explicit generating set for the invariants is not known. In all cases our results confirm the conjecture of Harm Derksen and Gregor Kemper on degree bounds for generators of the Hilbert ideal. As an incidental result, we identify the coefficients of the monomials appearing in the orbit product of a terminal variable for the three-dimensional indecomposable representation.

We consider a one-parameter family of third order nonlinear recurrence relations. Each member of this family satisfies the singularity confinement test, has a conserved quantity, and moreover has the Laurent property: all of the iterates are Laurent polynomials in the initial data. However, we show that these recurrences are not Diophantine integrable according to the definition proposed by Halburd. Explicit bounds on the asymptotic growth of the heights of iterates are obtained for a special choice of initial data. As a by-product of our analysis, infinitely many solutions are found for a certain family of Diophantine equations, studied by Mordell, that includes Markoff's equation., Comment: 7 pages; statement of Proposition 2 and minor typos corrected. To appear in J. Phys. A: Math. Gen

We prove that every endomorphism of a simple quantum generalized Weyl algebra $A$ over a commutative Laurent polynomial ring in one variable is an automorphism. This is achieved by obtaining an explicit classification of all endomorphisms of $A$. Our main result applies to minimal primitive factors of the quantized enveloping algebra of $U_q(\mathfrak{sl}_2)$ and certain minimal primitive quotients of the positive part of $U_q(\mathfrak{so}_5)$., 11 pages

Analysis of the identifiability of a given model system is an essential prerequisite to the determination of model parameters from physical data. However, the tools available for the analysis of non-linear systems can be limited both in applicability and by computational intractability for any but the simplest of models. The input–output relation of a model summarises the input–output structure of the whole system and as such provides the potential for an alternative approach to this analysis. However for this approach to be valid it is necessary to determine whether the monomials of a differential polynomial are linearly independent. A simple test for this property is presented in this work. The derivation and analysis of this relation can be implemented symbolically within Maple. These techniques are applied to analyse classical models from biomedical systems modelling and those of enzyme catalysed reaction schemes.