The Cohen–Macaulay property of separating invariants of finite groups

In the case of finite groups, a separating algebra is a subalgebra of the ring of invariants which separates the orbits. Although separating algebras are often better behaved than the ring of invariants, we show that many of the criteria which imply the ring of invariants is non-Cohen–Macaulay actually imply that no graded separating algebra is Cohen–Macaulay. For example, we show that, over a field of positive characteristic p, given sufficiently many copies of a faithful modular representation, no graded separating algebra is Cohen–Macaulay. Furthermore, we show that, for a p-group, the existence of a Cohen–Macaulay graded separating algebra implies the group is generated by bireections. Additionally, we give an example which shows that Cohen–Macaulay separating algebras can occur when the ring of invariants is not Cohen–Macaulay.     

A Hilbert-Nagata theorem in noncommutative invariant theory

Nagata gave a fundamental sufficient condition on group actions on finitely generated commutative algebras for finite generation of the subalgebra of invariants. In this paper we consider groups acting on noncommutative algebras over a field of characteristic zero. We characterize all the T-ideals of the free associative algebra such that the algebra of invariants in the corresponding relatively free algebra is finitely generated for any group action from the class of Nagata. In particular, in the case of unitary algebras this condition is equivalent to the nilpotency of the algebra in Lie sense. As a consequence we extend the Hilbert-Nagata theorem on finite generation of the algebra of invariants to any finitely generated associative algebra which is Lie nilpotent. We also prove that the Hilbert series of the algebra of invariants of a group acting on a relatively free algebra with a non-matrix polynomial identity is rational, if the action satisfies the condition of Nagata.

     

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.     

Lie algebras in symmetric monoidal categories

We study the algebras that are defined by identities in the symmetric monoidal categories; in particular, the Lie algebras. Some examples of these algebras appear in studying the knot invariants and the Rozansky-Witten invariants. The main result is the proof of the Westbury conjecture for a K3-surface: there exists a homomorphism from a universal simple Vogel algebra into a Lie algebra that describes the Rozansky-Witten invariants of a K3-surface. We construct a language that is necessary for discussing and solving this problem, and we formulate nine new problems.     

Growth of codimensions of metabelian algebras

Numerical invariants of identities of nonassociative algebras are considered. It is proved that the codimension sequence of any finitely generated metabelian algebra has an exponentially bounded codimension growth. It is shown that the upper PI-exponent increases at most by 1 after adjoining an external unit. It is proved that for two-step left-nilpotent algebras the lower PI-exponent increases at least by 1.     

Classification theorems for central simple algebras with involution (with an appendix by R. Parimala)

The involutions in this paper are algebra anti-automorphisms of period two. Involutions on endomorphism algebras of finite-dimensional vector spaces are adjoint to symmetric or skew-symmetric bilinear forms, or to hermitian forms. Analogues of the classical invariants of quadratic forms (discriminant, Clifford algebra, signature) have been defined for arbitrary central simple algebras with involution. In this paper it is shown that over certain fields these invariants are sufficient to classify involutions up to conjugation. For algebras of low degree a classification is obtained over an arbitrary field. Received: 29 April 1999     

Multiplicative Invariants and Semigroup Algebras

Let G be a finite group acting by automorphism on a lattice A, and hence on the group algebra S=k[A]. The algebra of G-invariants in S is called an algebra of multiplicative invariants. We present an explicit version of a result of Farkas stating that multiplicative invariants of finite reflection groups are semigroup algebras.     

Completely Simple Semigroups,Lie Algebras,and the Road Coloring Problem

Consider a semigroup generated by matrices associated with an edge-coloring of a strongly connected, aperiodic digraph. We call the semigroup Lie-solvable if the Lie algebra generated by its elements is solvable. We show that if the semigroup is Lie-solvable then its kernel is a right group. Next, we study the Lie algebra generated by the kernel. Lie algebras generated by two idempotents are analyzed in detail. We find that these have homomorphic images that are generalized quaternion algebras. We show that if the kernel is not a direct product, then the Lie algebra generated by the kernel is not solvable by describing the structure of these algebras. Finally, we discuss an infinite class of examples that are shown to always produce strongly connected aperiodic digraphs having kernels that are not right groups.     

On Spin Models,Triply Regular Association Schemes,and Duality

Motivated by the construction of invariants of links in 3-space, we study spin models on graphs for which all edge weights (considered as matrices) belong to the Bose-Mesner algebra of some association scheme. We show that for series-parallel graphs the computation of the partition function can be performed by using series-parallel reductions of the graph appropriately coupled with operations in the Bose-Mesner algebra. Then we extend this approach to all plane graphs by introducing star-triangle transformations and restricting our attention to a special class of Bose-Mesner algebras which we call exactly triply regular. We also introduce the following two properties for Bose-Mesner algebras. The planar duality property (defined in the self-dual case) expresses the partition function for any plane graph in terms of the partition function for its dual graph, and the planar reversibility property asserts that the partition function for any plane graph is equal to the partition function for the oppositely oriented graph. Both properties hold for any Bose-Mesner algebra if one considers only series-parallel graphs instead of arbitrary plane graphs. We relate these notions to spin models for link invariants, and among other results we show that the Abelian group Bose-Mesner algebras have the planar duality property and that for self-dual Bose-Mesner algebras, planar duality implies planar reversibility. We also prove that for exactly triply regular Bose-Mesner algebras, to check one of the above properties it is sufficient to check it on the complete graph on four vertices. A number of applications, examples and open problems are discussed.     

Algebras and differential equations with additive symmetry

The set of all m-ary algebra structures on a given vector space affords, by the change of basis action, a representation of the general linear group. The invariants of a given subgroup are identified with those algebras admitting that subgroup as algebra automorphisms. Any finite dimensional representation of the additive group as automorphisms is obtained as the exponential of a nilpotent derivation. The latter can be embedded in the Lie algebra sl(2) so that the maximal vectors in an irreducible decomposition of the set of algebras as an sl(2) module are the invariants of the given action of the additive group. Dimension formulas and explicit bases are computed for the space of algebras with certain additive group actions. Employing the equivalence of the categories of m-ary algebras and systems of autonomous mth order homogeneous differential equations, the algebraic results are connected to the construction of first integrals and semi-invariants.     

Poincaré duality algebras mod two

We study Poincaré duality algebras over the field F₂ of two elements. After introducing a connected sum operation for such algebras we compute the corresponding Grothendieck group of surface algebras (i.e., Poincaré algebras of formal dimension 2). We show that the corresponding group for 3-folds (i.e., algebras of formal dimension 3) is not finitely generated, but does have a Krull-Schmidt property.We then examine the isomorphism classes of 3-folds with at most three generators of degree 3, provide a complete classification, settle which such occur as the cohomology of a smooth 3-manifold, and list separating invariants.The closing section and Appendix A provide several different means of constructing connected sum indecomposable 3-folds.     

Symbolic powers of monomial ideals and vertex cover algebras

We introduce and study vertex cover algebras of weighted simplicial complexes. These algebras are special classes of symbolic Rees algebras. We show that symbolic Rees algebras of monomial ideals are finitely generated and that such an algebra is normal and Cohen-Macaulay if the monomial ideal is squarefree. For a simple graph, the vertex cover algebra is generated by elements of degree 2, and it is standard graded if and only if the graph is bipartite. We also give a general upper bound for the maximal degree of the generators of vertex cover algebras.     

Brauer-Thrall Type Theorems for Derived Module Categories

The numerical invariants (global) cohomological length, (global) cohomological width, and (global) cohomological range of a complex (an algebra) are introduced. Cohomological range leads to the concepts of derived bounded algebra and strongly derived unbounded algebra naturally. The first and second Brauer-Thrall type theorems for the bounded derived category of a finite-dimensional algebra over an algebraically closed field are obtained. The first Brauer-Thrall type theorem says that derived bounded algebras are just derived finite algebras. The second Brauer-Thrall type theorem says that an algebra is either derived discrete or strongly derived unbounded, but not both. Moreover, piecewise hereditary algebras and derived discrete algebras are characterized as the algebras of finite global cohomological width and the algebras of finite global cohomological length respectively.     

Classification of solvable Lie algebras with a given nilradical by means of solvable extensions of its subalgebras

We construct all solvable Lie algebras with a specific n-dimensional nilradical n_n,3 which contains the previously studied filiform (n-2)-dimensional nilpotent algebra n_n-2,1 as a subalgebra but not as an ideal. Rather surprisingly it turns out that the classification of such solvable algebras can be deduced from the classification of solvable algebras with the nilradical n_n-2,1. Also the sets of invariants of coadjoint representation of n_n,3 and its solvable extensions are deduced from this reduction. In several cases they have polynomial bases, i.e. the invariants of the respective solvable algebra can be chosen to be Casimir invariants in its enveloping algebra.     

Ideals of Finite-Dimensional Pointed Hopf Algebras of Rank One

Let H be a finite-dimensional pointed Hopf algebra of rank one over an algebraically closed field of characteristic zero.In this paper we show that any finite-dimensional indecomposable H-module is generated by one element.In particular,any indecomposable submodule of H under the adjoint action is generated by a special element of H.Using this result,we show that the Hopf algebra H is a principal ideal ring,i.e.,any two-sided ideal of H is generated by one element.As an application,we give explicitly the generators of ideals,primitive ideals,maximal ideals and completely prime ideals of the Taft algebras.     

Strongly regular graphs and spin models for the Kauffman polynomial

We study spin models for invariants of links as defined by Jones [22]. We consider the two algebras generated by the weight matrices of such models under ordinary or Hadamard product and establish an isomorphism between them. When these algebras coincide they form the Bose-Mesner algebra of a formally self-dual association scheme. We study the special case of strongly regular graphs, which is associated to a particularly interesting link invariant, the Kauffman polynomial [27]. This leads to a classification of spin models for the Kauffman polynomial in terms of formally self-dual strongly regular graphs with strongly regular subconstituents [7]. In particular we obtain a new model based on the Higman-Sims graph [17].     

A complete set of numerical invariants for a subfactor

We show that certain numerical invariants associated naturally to a subfactor planar algebra constitute a complete family in the sense of determining the isomorphism class of the subfactor planar algebra.In the course of the proof, we show also that planar algebra isomorphisms of subfactor planar algebras can always be chosen to be ∗-preserving. This latter statement generalises the fact that ‘Hopf algebra isomorphisms of finite-dimensional Kac algebras can be chosen to be ∗-preserving’.     

并素元有限生成格的弱直积分解

本文建立了并素元有限生成格的弱直积分解,并给出一个解决并素元生成的完全Heyting代数的直积分解问题的新方法;作为弱直积分解的应用,证明了并素元有限生成的完全Heyting代数必然同构于有限个既约的完全Heyting代数的直积,证明了并素元有限生成格是Boole代数的充要条件是它同构于某有限集的幂集格.     

JORDAN–KRONECKER INVARIANTS OF FINITE-DIMENSIONAL LIE ALGEBRAS

For any finite-dimensional Lie algebra we introduce the notion of Jordan–Kronecker invariants, study their properties, and discuss examples. These invariants naturally appear in the framework of the bi-Hamiltonian approach to integrable systems on Lie algebras and are closely related to Mischenko–Fomenko’s argument shift method. We also state a generalised argument shift conjecture and prove it for many series of Lie algebras.     

Isotopy and invariants of Albert algebras

Let k be a field with characteristic different from 2 and 3. Let B be a central simple algebra of degree 3 over a quadratic extension K/k, which admits involutions of second kind. In this paper, we prove that if the Albert algebras and have same and invariants, then they are isotopic. We prove that for a given Albert algebra J, there exists an Albert algebra J' with , and . We conclude with a construction of Albert division algebras, which are pure second Tits' constructions. Received: December 9, 1997.