Representations of rational Cherednik algebras of rank one in positive characteristic

In this paper, we classify the irreducible representations of the rational Cherednik algebras of rank 1 in characteristic p>0. There are two cases. One is the “quantum” case, where “Planck's constant” is nonzero and generic irreducible representations have dimension pr, where r is the order of the cyclic group contained in the algebra. The other is the “classical” case, where “Planck's constant” is zero and generic irreducible representations have dimension r.     

Wild cluster tilted algebras of rank 3

Let H be a connected wild hereditary algebra of rank 3, T a square-free tilting H-module and the endomorphism ring of T in the cluster category C_H of H. It is shown that the Loewy length of the cluster tilted algebra Γ is 3+r, where r denotes the number of regular indecomposable direct summands of T.     

Constructing cell data for diagram algebras

We show how the treatment of cellularity in families of algebras arising from diagram calculi, such as Jones’ Temperley-Lieb wreaths, variants on Brauer’s centralizer algebras, and the contour algebras of Cox et al. (of which many algebras are special cases), may be unified using the theory of tabular algebras. This improves an earlier result of the first author (whose hypotheses covered only the Brauer algebra from among these families).     

Large indecomposables over representation-infinite orders and algebras

Let R be a complete discrete valuation domain with quotient field K, and let be an R-order in a semisimple K-algebra. Butler, Campbell, and Kovács have shown that R-free -modules decompose into -lattices when is representation-finite. Using the theory of ladder functors, we prove the converse by constructing indecomposable R-free -modules of infinite rank if is not representation-finite.Received: 23 March 2004     

Rational Cherednik algebras and Hilbert schemes

Let H_c be the rational Cherednik algebra of type A_n-1 with spherical subalgebra U_c=eH_ce. Then U_c is filtered by order of differential operators, with associated graded ring where W is the nth symmetric group. We construct a filtered Z-algebra B such that, under mild conditions on c:• the category B-qgr of graded noetherian B-modules modulo torsion is equivalent to U_c-mod;• the associated graded Z-algebra has grB-lqgr?coh Hilb(n), the category of coherent sheaves on the Hilbert scheme of points in the plane.This can be regarded as saying that U_c simultaneously gives a non-commutative deformation of h⊕h^*/W and of its resolution of singularities Hilb(n)→h⊕h^*/W. As we show elsewhere, this result is a powerful tool for studying the representation theory of H_c and its relationship to Hilb(n).     

Skew differential operator algebras of twisted Hopf algebras

By introducing a twisted Hopf algebra we unify several important objects of study. Skew derivations of such an algebra are defined and the corresponding skew differential operator algebras are studied. This generalizes results in the Weyl algebra. Applying this investigation to the twisted Ringel-Hall algebra we get, in particular, a natural realization of the non-positive part of a quantized generalized Kac-Moody algebra, by identifying the canonical generators with some linear, skew differential operators. This also induces some algebras which are quantum-group like.     

Combinatorial derived invariants for gentle algebras

We define derived equivalent invariants for gentle algebras, constructed in an easy combinatorial way from the quiver with relations defining these algebras. Our invariants consist of pairs of natural numbers and contain important information about the algebra and the structure of the stable Auslander-Reiten quiver of its repetitive algebra. As a by-product we obtain that the number of arrows of the quiver of a gentle algebra is invariant under derived equivalence. Finally, our invariants separate the derived equivalence classes of gentle algebras with at most one cycle.     

From iterated tilted algebras to cluster-tilted algebras

In this paper the relationship between iterated tilted algebras and cluster-tilted algebras and relation extensions is studied. In the Dynkin case, it is shown that the relationship is very strong and combinatorial.     

Parabolic decomposition for properly stratified algebras

We generalize the machinery of exact Borel subalgebras of quasi-hereditary algebras on properly stratified algebras.     

Cellularity of twisted semigroup algebras

In this paper, the cellularity of twisted semigroup algebras over an integral domain is investigated by introducing the concept of cellular twisted semigroup algebras of type JH. Partition algebras, Brauer algebras and Temperley-Lieb algebras all are examples of cellular twisted semigroup algebras of type JH. Our main result shows that the twisted semigroup algebra of a regular semigroup is cellular of type JH with respect to an involution on the twisted semigroup algebra if and only if the twisted group algebras of certain maximal subgroups are cellular algebras. Here we do not assume that the involution of the twisted semigroup algebra induces an involution of the semigroup itself. Moreover, for a twisted semigroup algebra, we do not require that the twisting decomposes essentially into a constant part and an invertible part, or takes values in the group of units in the ground ring. Note that trivially twisted semigroup algebras are the usual semigroup algebras. So, our results extend not only a recent result of East, but also some results of Wilcox.     

The Carlitz algebras

The Carlitz F_q-algebra C=C_ν, ν∈N, is generated over an algebraically closed field K (which contains a non-discrete locally compact field of positive characteristic p>0, i.e. K?F_q[[x,x⁻¹]], q=p^ν), by the (power of the) Frobenius map X=X_ν:f?f^q, and by the Carlitz derivativeY=Y_ν. It is proved that the Krull and global dimensions of C are 2, classifications of simple C-modules and ideals are given, there are only countably many ideals, they commute (IJ=JI), and each ideal is a unique product of maximal ones. It is a remarkable fact that any simple C-module is a sum of eigenspaces of the element YX (the set of eigenvalues for YX is given explicitly for each simple C-module). This fact is crucial in finding the group of F_q-algebra automorphisms of C and in proving that any two distinct Carlitz rings are not isomorphic (C_ν?C_μ if ν≠μ). The centre of C is found explicitly, it is a UFD that contains countably many elements.     

Tame strongly simply connected algebras form an open scheme

Using van den Dries’s test and Brüstle, de la Peña and Skowroński’s characterization of tame strongly simply connected algebras we prove that such algebras of fixed dimension form an open Z-scheme. There is also an open Z-scheme of all strongly simply connected algebras.     

Derived equivalences and Gorenstein algebras

We introduce a notion of Gorenstein R-algebras over a commutative Gorenstein ring R. Then we provide a necessary and sufficient condition for a tilting complex over a Gorenstein R-algebra A to have a Gorenstein R-algebra B as the endomorphism algebra and a construction of such a tilting complex. Furthermore, we provide an example of a tilting complex over a Gorenstein R-algebra A whose endomorphism algebra is not a Gorenstein R-algebra.     

Hochschild cohomology for periodic algebras of polynomial growth

We describe the dimensions of low Hochschild cohomology spaces of exceptional periodic representation-infinite algebras of polynomial growth. As an application we obtain that an indecomposable non-standard periodic representation-infinite algebra of polynomial growth is not derived equivalent to a standard self-injective algebra.     

Vanishing of self-extensions over symmetric algebras

We study self-extensions of modules over symmetric artin algebras. We show that non-projective modules with eventually vanishing self-extensions must lie in AR components of stable type Z_A∞$\mathbb{Z}{A}_{\infty }$. Moreover, the degree of the highest non-vanishing self-extension of these modules is determined by their quasilength. This has implications for the Auslander–Reiten Conjecture and the Extension Conjecture.     

Isomorphism classes of finite dimensional connected Hopf algebras in positive characteristic

We classify all finite-dimensional connected Hopf algebras with large abelian primitive spaces. We show that they are Hopf algebra extensions of restricted enveloping algebras of certain restricted Lie algebras. For any abelian matched pair associated with these extensions, we construct a cohomology group, which classifies all the extensions up to equivalence. Moreover, we present a 1–1 correspondence between the isomorphism classes and a group quotient of the cohomology group deleting some exceptional points, where the group respects the automorphisms of the abelian matched pair and the exceptional points represent those restricted Lie algebra extensions.     

A remark on rank varieties for a class of local algebras

We answer a question raised in [9] by showing the equality of two different definitions of rank variety for finitely generated modules over truncated polynomial algebras. We do this by establishing an isomorphism of algebras used in the two definitions of rank variety. Received: 23 April 2007     

Rings of matrix invariants in positive characteristic

Denote by R_n,m the ring of invariants of m-tuples of n×n matrices (m,n?2) over an infinite base field K under the simultaneous conjugation action of the general linear group. When char(K)=0, Razmyslov (Izv. Akad. Nauk SSSR Ser. Mat. 38 (1974) 723) and Procesi (Adv. Math. 19 (1976) 306) established a connection between the Nagata-Higman theorem and the degree bound for generators of R_n,m. We extend this relationship to the case when the base field has positive characteristic. In particular, we show that if 0<char(K))?n, then R_n,m is not generated by its elements whose degree is smaller than m. A minimal system of generators of R_2,m is determined for the case char(K)=2: it consists of 2^m+m−1 elements, and the maximum of their degrees is m. We deduce a consequence indicating that the theory of vector invariants of the special orthogonal group in characteristic 2 is not analogous to the case char(K)≠2. We prove that the characterization of the R_n,m that are complete intersections, known before when char(K)=0, is valid for any infinite K. We give a Cohen-Macaulay presentation of R_2,4, and analyze the difference between the cases char(K)=2 and char(K)≠2.