Derived equivalences for Cohen–Macaulay Auslander algebras

Let $A$ and $B$ be Gorenstein Artin algebras of finite Cohen–Macaulay type. We prove that, if $A$ and $B$ are derived equivalent, then their Cohen–Macaulay Auslander algebras are also derived equivalent.     

Higman ideal, stable Hochschild homology and Auslander-Reiten conjecture

Let A and B be two finite dimensional algebras over an algebraically closed field, related to each other by a stable equivalence of Morita type. We prove that A and B have the same number of isomorphism classes of simple modules if and only if their 0-degree Hochschild Homology groups HH ₀(A) and HH ₀(B) have the same dimension. The first of these two equivalent conditions is claimed by the Auslander-Reiten conjecture. For symmetric algebras we will show that the Auslander-Reiten conjecture is equivalent to other dimension equalities, involving the centers and the projective centers of A and B. This motivates our detailed study of the projective center, which now appears to contain the main obstruction to proving the Auslander-Reiten conjecture for symmetric algebras. As a by-product, we get several new invariants of stable equivalences of Morita type.     

On equivalence of derived categories

Let A be an Abelian category and B be a thick subcategory of A. Let D ^b(B) denote the derived category of cohomologically bounded chain complexes of objects in A and D _B ^b (A) denote the derived category of cohomologically bounded chain complexes of objects in A with cohomology in B. We give two if and only if conditions for equivalence of D(B) and D _B ^b (A), and we give an example where D ^b (B) and D _B ^b (A) are not equivalent.     

Algebraic properties of isometries between groups of invertible elements in Banach algebras

We prove that an isometry T between open subgroups of the invertible groups of unital Banach algebras A and B is extended to a real-linear isometry up to translation between these Banach algebras. While a unital isometry between unital semisimple commutative Banach algebras need not be multiplicative, we prove in this paper that if A is commutative and A or B are semisimple, then (T(eA))⁻¹T is extended to an isometric real algebra isomorphism from A onto B. In particular, A−1 is isometric as a metric space to B−1 if and only if they are isometrically isomorphic to each other as metrizable groups if and only if A is isometrically isomorphic to B as a real Banach algebra; it is compared by the example of ?elazko concerning on non-isomorphic Banach algebras with the homeomorphically isomorphic invertible groups. Isometries between open subgroups of the invertible groups of unital closed standard operator algebras on Banach spaces are investigated and their general forms are given.     

Normal Subalgebras, I

We extend the notions of normal subalgebras, clots and ideals of an algebra A in a variety of (universal) algebras, from the familiar case of a single constant to the case of any number of constants. The first idea is that a subalgebra of A is normal when it is the inverse image under some morphism of the subalgebra generated by constants in the target. We argue that a better approach is obtained by considering pullbacks of γ _B and g?:?A?→?B, where g?:?A?→?B is some morphism and γ _B is the morphism from the initial algebra of the variety to B. Examples are shown in Heyting algebras, boolean algebras and unitary rings. Ideals and clots are generalizations of this notion, defined instead by closure under derived operations which have the right behavior on constants. There are several characterizations of these notions; some of them aiming at a categorical generalization. We deal with an (extended) notion of subtractivity, showing that it implies that ideals coincide with normal subalgebras, and it is connected with notions of coherence of congruences, allowing a characterization of protomodular varieties.     

The bar complex of an E-infinity algebra

The standard reduced bar complex B(A) of a differential graded algebra A inherits a natural commutative algebra structure if A is a commutative algebra. We address an extension of this construction in the context of E-infinity algebras. We prove that the bar complex of any E-infinity algebra can be equipped with the structure of an E-infinity algebra so that the bar construction defines a functor from E-infinity algebras to E-infinity algebras. We prove the homotopy uniqueness of such natural E-infinity structures on the bar construction.We apply our construction to cochain complexes of topological spaces, which are instances of E-infinity algebras. We prove that the n-th iterated bar complexes of the cochain algebra of a space X is equivalent to the cochain complex of the n-fold iterated loop space of X, under reasonable connectedness, completeness and finiteness assumptions on X.     

Periodic resolutions and self-injective algebras of finite type

We say that an algebra A is periodic if it has a periodic projective resolution as an (A,A)-bimodule. We show that any self-injective algebra of finite representation type is periodic. To prove this, we first apply the theory of smash products to show that for a finite Galois covering B→A, B is periodic if and only if A is. In addition, when A has finite representation type, we build upon results of Buchweitz to show that periodicity passes between A and its stable Auslander algebra. Finally, we use Asashiba’s classification of the derived equivalence classes of self-injective algebras of finite type to compute bounds for the periods of these algebras, and give an application to stable Calabi-Yau dimensions.     

Nakayama oriented pullbacks and stably hereditary algebras

We introduce a new class of algebras, the Nakayama oriented pullbacks, obtained from pullbacks of surjective morphisms of algebras A?C and B?C. We prove that such a pullback is tilted when A and B are hereditary. We also show that stably hereditary algebras respecting the clock condition are Nakayama oriented pullbacks, and we use results about these pullbacks to show when a stably hereditary algebra is tilted or iterated tilted.     

On the finitistic dimension conjecture II: Related to finite global dimension

In this paper, we study the finitistic dimensions of artin algebras by establishing a relationship between the global dimensions of the given algebras, on the one hand, and the finitistic dimensions of their subalgebras, on the other hand. This is a continuation of the project in [J. Pure Appl. Algebra 193 (2004) 287-305]. For an artin algebra A we denote by gl.dim(A), fin.dim(A) and rep.dim(A) the global dimension, finitistic dimension and representation dimension of A, respectively. The Jacobson radical of A is denoted by rad(A). The main results in the paper are as follows: Let B be a subalgebra of an artin algebra A such that rad(B) is a left ideal in A. Then (1) if gl.dim(A)?4 and rad(A)=rad(B)A, then fin.dim(B)<∞. (2) If rep.dim(A)?3, then fin.dim(B)<∞. The results are applied to pullbacks of algebras over semi-simple algebras. Moreover, we have also the following dual statement: (3) Let ?:B?A be a surjective homomorphism between two algebras B and A. Suppose that the kernel of ? is contained in the socle of the right B-module B_B. If gl.dim(A)?4, or rep.dim(A)?3, then fin.dim(B)<∞. Finally, we provide a class of algebras with representation dimension at most three: (4) If A is stably hereditary and rad(B) is an ideal in A, then rep.dim(B)?3.     

Derived-tame Tree Algebras

In this note we classify the derived-tame tree algebras up to derived equivalence. A tree algebra is a basic algebra A = kQ/I whose quiver Q is a tree. The algebra A is said to be derived-tame when the repetitive category  of A is tame. We show that the tree algebra A is derived-tame precisely when its Euler form _A is non-negative. Moreover, in this case, the derived equivalence class of A is determined by the following discrete invariants: The number of vertices, the corank and the Dynkin type of _A . Representatives of these derived equivalence classes of algebras are given by the following algebras: the hereditary algebras of finite or tame type, the tubular algebras and a certain class of poset algebras, the so-called semichain-algebras which we introduce below.     

On a Regev-Seeman conjecture about ℤ2-graded tensor products

If A,B are superalgebras then, besides A?B, a ?₂-graded tensor product A $ \bar \otimes $ B arises. Kemer proved that if A,B are T-prime algebras then A? B is multi-linear equivalent to a suitable T-prime algebra C. Regev and Seeman conjectured that this holds for A $ \bar \otimes $ B as well. In this paper we prove their conjecture is true indeed, by means of G-graded polynomial identities. The results obtained are valid over any infinite field of characteristic ≠ 2.     

Jordan zero-product preserving additive maps on operator algebras

Let Φ:A→B be an additive surjective map between some operator algebras such that AB+BA=0 implies Φ(A)Φ(B)+Φ(B)Φ(A)=0. We show that, under some mild conditions, Φ is a Jordan homomorphism multiplied by a central element. Such operator algebras include von Neumann algebras, C^∗-algebras and standard operator algebras, etc. Particularly, if H and K are infinite-dimensional (real or complex) Hilbert spaces and A=B(H) and B=B(K), then there exists a nonzero scalar c and an invertible linear or conjugate-linear operator U:H→K such that either Φ(A)=cUAU⁻¹ for all A∈B(H), or Φ(A)=cUA^∗U⁻¹ for all A∈B(H).     

Representation Dimension and Quasi-hereditary Algebras

We study Auslander's representation dimension of Artin algebras, which is by definition the minimal projective dimension of coherent functors on modules which are both generators and cogenerators. We show the following statements: (1) if an Artin algebra A is stably hereditary, then the representation dimension of A is at most 3. (2) If two Artin algebras are stably equivalent of Morita type, then they have the same representation dimension. Particularly, if two self-injective algebras are derived equivalent, then they have the same representation dimension. (3) Any incidence algebra of a finite partially ordered set over a field has finite representation dimension. Moreover, we use results on quasi-hereditary algebras to show that (4) the Auslander algebra of a Nakayama algebra has finite representation dimension.     

Koszulity and Koszul modules of dual extension algebras

Let A and B be algebras, and let T be the dual extension algebra of A and B. We provide a different method to prove that T is Koszul if and only if both A and B are Koszul. Furthermore, we prove that an algebra is Koszul if and only if one of its iterated dual extension algebras is Koszul, if and only if all its iterated dual extension algebras are Koszul. Finally, we give a necessary and sufficient condition for a dual extension algebra to have the property that all linearly presented modules are Koszul modules, which provides an effective way to construct algebras with such a property.     

Derived Equivalence Classification of the Cluster-Tilted Algebras of Dynkin Type E

We obtain a complete derived equivalence classification of the cluster-tilted algebras of Dynkin type E. There are 67, 416, 1574 algebras in types E ₆, E ₇ and E ₈ which turn out to fall into 6, 14, 15 derived equivalence classes, respectively. This classification can be achieved computationally and we outline an algorithm which has been implemented to carry out this task. We also make the classification explicit by giving standard forms for each derived equivalence class as well as complete lists of the algebras contained in each class; as these lists are quite long they are provided as supplementary material to this paper. From a structural point of view the remarkable outcome of our classification is that two cluster-tilted algebras of Dynkin type E are derived equivalent if and only if their Cartan matrices represent equivalent bilinear forms over the integers which in turn happens if and only if the two algebras are connected by a sequence of “good” mutations. This is reminiscent of the derived equivalence classification of cluster-tilted algebras of Dynkin type A, but quite different from the situation in Dynkin type D where a far-reaching classification has been obtained using similar methods as in the present paper but some very subtle questions are still open.     

Broué's conjecture for non-principal 3-blocks of finite groups

In representation theory of finite groups, there is a well-known and important conjecture due to M. Broué. He conjectures that, for any prime p, if a p-block A of a finite group G has an abelian defect group D, then A and its Brauer correspondent p-block B of N_G(D) are derived equivalent. We demonstrate in this paper that Broué's conjecture holds for two non-principal 3-blocks A with elementary abelian defect group D of order 9 of the O'Nan simple group and the Higman-Sims simple group. Moreover, we determine these two non-principal block algebras over a splitting field of characteristic 3 up to Morita equivalence.     

Calabi–Yau Algebras Viewed as Deformations of Poisson Algebras

From any algebra A defined by a single non-degenerate homogeneous quadratic relation f, we prove that the quadratic algebra B defined by the potential w?=?fz is 3-Calabi–Yau. The algebra B can be viewed as a 3-Calabi–Yau completion of Keller. The algebras A and B are both Koszul. The classification of the algebras B in three generators, i.e., when A has two generators, leads to three types of algebras. The second type (the most interesting one) is viewed as a deformation of a Poisson algebra S whose Poisson bracket is non-diagonalizable quadratic. Although the potential of S has non-isolated singularities, the homology of S is computed. Next the Hochschild homology of B is obtained.     

Power boundedness in Fourier and Fourier-Stieltjes algebras and other commutative Banach algebras

We study power boundedness in the Fourier and Fourier-Stieltjes algebras, A(G) and B(G), of a locally compact group G as well as in some other commutative Banach algebras. The main results concern the question of when all elements with spectral radius at most one in any of these algebras are power bounded, the characterization of power bounded elements in A(G) and B(G) and also the structure of the Gelfand transform of a single power bounded element.     

Constructions of stable equivalences of Morita type for finite dimensional algebras II

Suppose k is a field. Let A and B be two finite dimensional k-algebras such that there is a stable equivalence of Morita type between A and B. In this paper, we prove that (1) if A and B are representation-finite then their Auslander algebras are stably equivalent of Morita type; (2) The n-th Hochschild homology groups of A and B are isomorphic for all n≥1. A new proof is also provided for Hochschild cohomology groups of self-injective algebras under a stable equivalence of Morita type.     

Some model-theoretic correspondences between dimension groups and AF algebras

If A⊆B are structures for a first-order language S, A is said to be algebraically (existentially) closed in B just in case every positive existential (existential) S_A-sentence true in B_A is true in A_A. In 1976 Elliott showed that unital AF (‘approximately finite-dimensional’) algebras are classified up to isomorphism by corresponding dimension groups with order unit. This paper shows that one dimension group with order unit is algebraically (existentially) closed in another just in case the corresponding AF algebras, viewed as metric structures, fall in the same relation.