Compact DG modules and Gorenstein DG algebras

When the base connected cochain DG algebra is cohomologically bounded, it is proved that the difference between the amplitude of a compact DG module and that of the DG algebra is just the projective dimension of that module. This yields the unboundedness of the cohomology of non-trivial regular DG algebras. When A is a regular DG algebra such that H(A) is a Koszul graded algebra, H(A) is proved to have the finite global dimension. And we give an example to illustrate that the global dimension of H(A) may be infinite, if the condition that H(A) is Koszul is weakened to the condition that A is a Koszul DG algebra. For a general regular DG algebra A, we give some equivalent conditions for the Gorensteiness. For a finite connected DG algebra A, we prove that D^c(A) and D^c(A ^op) admit Auslander-Reiten triangles if and only if A and A ^op are Gorenstein DG algebras. When A is a non-trivial regular DG algebra such that H(A) is locally finite, D^c(A) does not admit Auslander-Reiten triangles. We turn to study the existence of Auslander-Reiten triangles in D_lf^b(A) and D_lf^b (A ^op) instead, when A is a regular DG algebra. This work was supported by the National Natural Science Foundation of China (Grant No. 10731070) and the Doctorate Foundation of Ministry of Education of China (Grant No. 20060246003)     

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.     

Zero cycles on homogeneous varieties

In this paper we study the group A₀(X) of zero-dimensional cycles of degree 0 modulo rational equivalence on a projective homogeneous algebraic variety X. To do this we translate rational equivalence of 0-cycles on a projective variety into R-equivalence on symmetric powers of the variety. For certain homogeneous varieties, we then relate these symmetric powers to moduli spaces of étale subalgebras of central simple algebras which we construct. This allows us to show A₀(X)=0 for certain classes of homogeneous varieties for groups of each of the classical types, extending previous results of Swan/Karpenko, of Merkurjev, and of Panin.     

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.     

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.     

Algebras Whose Coxeter Polynomials are Products of Cyclotomic Polynomials

Let A be a finite dimensional algebra over an algebraically closed field k. Assume A is basic connected with n pairwise non-isomorphic simple modules. We consider the Coxeter transformation ? _A as the automorphism of the Grothendieck group K ₀(A) induced by the Auslander-Reiten translation τ in the derived category Der(modA) of the module category modA of finite dimensional left A-modules. We say that A is an algebra of cyclotomic type if the characteristic polynomial χ _A of ? _A is a product of cyclotomic polynomials. There are many examples of algebras of cyclotomic type in the representaton theory literature: hereditary algebras of Dynkin and extended Dynkin types, canonical algebras, some supercanonical and extended canonical algebras. Among other results, we show that: (a) algebras satisfying the fractional Calabi-Yau property have periodic Coxeter transformation and are, therefore, of cyclotomic type, and (b) algebras whose homological form h _A is non-negative are of cyclotomic type. For an algebra A of cyclotomic type we describe the shape of the Auslander-Reiten components of Der(modA).     

Classifying tame blocks and related algebras up to stable equivalences of Morita type

We contribute to the classification of finite dimensional algebras under stable equivalence of Morita type. More precisely we give a classification of Erdmann’s algebras of dihedral, semi-dihedral and quaternion type and obtain as byproduct the validity of the Auslander-Reiten conjecture for stable equivalences of Morita type between two algebras, one of which is of dihedral, semi-dihedral or quaternion type.     

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.     

Homotopical Morita theory for corings

A coring (A,C) consists of an algebra A in a symmetric monoidal category and a coalgebra C in the monoidal category of A-bimodules. Corings and their comodules arise naturally in the study of Hopf–Galois extensions and descent theory, as well as in the study of Hopf algebroids. In this paper, we address the question of when two corings (A,C) and (B,D) in a symmetric monoidal model category V are homotopically Morita equivalent, i.e., when their respective categories of comodules V _A ^C and V _B ^D are Quillen equivalent. As an illustration of the general theory, we examine homotopical Morita theory for corings in the category of chain complexes over a commutative ring.     

Birational maps between generalized Severi-Brauer varieties

A conjecture of Amitsur states that two Severi-Brauer varieties V(A) and V(B) are birationally isomorphic if and only if the underlying algebras A and B are the same degree and generate the same cyclic subgroup of the Brauer group. We examine the question of finding birational isomorphisms between generalized Severi-Brauer varieties. As a first step, we exhibit a birational isomorphism between the generalized Severi-Brauer variety of an algebra and its opposite. We also extend a theorem of P. Roquette to generalized Severi-Brauer varieties and use this to show that one may often reduce the problem of finding birational isomorphisms to the case where each of the separable subfields of the corresponding algebras are maximal, and therefore to the case where the algebras have prime power degree. We observe that this fact allows us to verify Amitsur’s conjecture for many particular cases.     

Morita Equivalence of Operator Algebras and Their C*-Envelopes

If two operator algebras A and B are strongly Morita equivalent(in the sense of [5]), then their C*-envelopes C*(A) and C*(B)are strongly Morita equivalent (in the usual C*-algebraic sensedue to Rieffel). Moreover, if Y is an equivalence bimodule fora (strong) Morita equivalence of A and B, then the operation,Y_hA–, of tensoring with Y, gives a bijection between theboundary representations of C*(A) for A and the boundary representationsof C*(B) for B. Thus the ‘noncommutative Choquet boundaries’of Morita equivalent A and B are the same. Other important objectsassociated with an operator algebra are also shown to be preservedby Morita equivalence, such as boundary ideals, the Shilov boundaryideal, Arveson's property of admissability, and the latticeof C*-algebras generated by an operator algebra. 1991 MathematicsSubject Classification 47D25, 46L05, 46M99, 16D90.     

The Hilbert-Chow morphism and the incidence divisor: Zero-cycles and divisors

For a smooth projective variety X of dimension n, on the product of Chow varieties C_a(X)×C_n−a−1(X) parameterizing pairs (A,B) of an a-cycle A and an (n−a−1)-cycle B in X, Barry Mazur raised the problem of constructing a Cartier divisor supported on the locus of pairs with A∩B≠0?. We introduce a new approach to this problem, and new techniques supporting this approach.     

Gorenstein projective bimodules via monomorphism categories and filtration categories

We generalize the monomorphism category from quiver (with monomial relations) to arbitrary finite dimensional algebras by a homological definition. Given two finite dimension algebras A and B, we use the special monomorphism category $\mathsf{Mon}(B,A\text{-}\mathsf{Gproj})$ to describe some Gorenstein projective bimodules over the tensor product of A and B. If one of the two algebras is Gorenstein, we give a sufficient and necessary condition for $\mathsf{Mon}(B,A\text{-}\mathsf{Gproj})$ being the category of all Gorenstein projective bimodules. In addition, if both A and B are Gorenstein, we can describe the category of all Gorenstein projective bimodules via filtration categories. Similarly, in this case, we get the same result for infinitely generated Gorenstein projective bimodules.     

The Derived Picard Group is a Locally Algebraic Group

Let A be a finite-dimensional algebra over an algebraically closed field K. The derived Picard group DPic _K (A) is the group of two-sided tilting complexes over A modulo isomorphism. We prove that DPic _K (A) is a locally algebraic group, and its identity component is Out⁰ _K (A). If B is a derived Morita equivalent algebra then DPic _K (A)DPic _K (B) as locally algebraic groups. Our results extend, and are based on, work of Huisgen-Zimmermann, Saorín and Rouquier.     

Relatively stable equivalences of Morita type for blocks

Based on the fact that the relatively stable category of a p-block B is equivalent to the relatively stable category of its Brauer correspondent b as triangulated category, we introduce the notion of relatively stable equivalence of Morita type and show that there is a relatively stable equivalence of Morita type between B and b. Some invariants under stable equivalence of Morita type can be generalized to this relative case. In particular, we put forward the generalized Alperin–Auslander conjecture and prove it in special cases.     

Self-dual and quasi self-dual algebras

Self-dual algebras are ones with an A bimodule isomorphism A → A ^∨op, where A ^∨ = Hom _k (A, k) and A ^∨op is the same underlying k-module as A ^∨ but with left and right operations by A interchanged. These are in particular quasi self-dual algebras, i.e., ones with an isomorphism H*(A,A) ≌ H*(A,A ^{∨ op}). For all such algebras H*(A,A) is a contravariant functor of A. Finite-dimensional associative self-dual algebras over a field are identical with symmetric Frobenius algebras; an example of deformation of one is given. (The monoidal category of commutative Frobenius algebras is known to be equivalent to that of 1+1 dimensional topological quantum field theories.) All finite poset algebras are quasi self-dual.     

A note on the equivalence of m-periodic derived categories

Let A and B be finite-dimensional algebras over a field k of finite global dimension. Using some results of Gorsky in “Semi-derived Hall algebras and tilting invariance of Bridgeland-Hall algebras”, we prove that if A and B are derived equivalent, then the corresponding m-periodic derived categories are triangulated equivalent.