Folding derived categories with Frobenius functors

Following the work [B. Deng, J. Du, Frobenius morphisms and representations of algebras, Trans. Amer. Math. Soc. 358 (2006) 3591-3622], we show that a Frobenius morphism F on an algebra A induces naturally a functor F on the (bounded) derived category D^b(A) of , and we further prove that the derived category D^b(A^F) of for the F-fixed point algebra A^F is naturally embedded as the triangulated subcategory D^b(A)^F of F-stable objects in D^b(A). When applying the theory to an algebra with finite global dimension, we discover a folding relation between the Auslander-Reiten triangles in D^b(A^F) and those in D^b(A). Thus, the AR-quiver of D^b(A^F) can be obtained by folding the AR-quiver of D^b(A). Finally, we further extend this relation to the root categories ?(A^F) of A^F and ?(A) of A, and show that, when A is hereditary, this folding relation over the indecomposable objects in ?(A^F) and ?(A) results in the same relation on the associated root systems as induced from the graph folding relation.     

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.     

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.     

The representation dimension of Hecke algebras and symmetric groups

We establish a lower bound for the representation dimension of all the classical Hecke algebras of types A, B and D. For all the type A algebras, and “most” of the algebras of types B and D, we also establish upper bounds. Moreover, we establish bounds for the representation dimension of group algebras of some symmetric groups.     

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.     

Algebras having bases that consist solely of strongly regular elements

“Locally invertible” algebras, those algebras which have a basis consisting solely of strongly regular elements, are introduced as a generalization of “invertible algebras,” that is, algebras which have a basis consisting solely of units. While this new family properly contains the family of (necessarily unital) invertible algebras, its definition does not assume the existence of a multiplicative identity. Because of this, we consider both unital and non-unital examples of locally invertible algebras. In particular, we show that under a mild condition on the basis of a not necessarily unital R-algebra A, the R-algebras $M_n(A)$ of finite matrix rings over the R-algebra A. Furthermore, many infinite matrix algebras are also locally invertible, but not all. Also it is shown that all semiperfect D-algebras over a division ring D are locally invertible.     

Isomorphic trivial extensions of finite dimensional algebras

Let Λ be a finite dimensional algebra over an algebraically closed field such that any oriented cycle in the ordinary quiver of Λ is zero in Λ. Let T(Λ)=Λ?D(Λ) be the trivial extension of Λ by its minimal injective cogenerator D(Λ). We characterize, in terms of quivers and relations, the algebras Λ^′ such that T(Λ)?T(Λ^′).     

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.     

Co-local subgroups of abelian groups II

In [J. Buckner, M. Dugas, Co-local subgroups of abelian groups, in: Abelian Groups, Rings, Modules, and Homological Algebra, in: Lect. Notes Pure and Applied Math., vol. 249, Taylor and Francis/CRC Press, pp. 25-33] the notion of a co-local subgroup of an abelian group was introduced. A subgroup K of A is called co-local if the natural map is an isomorphism. At the center of attention in [J. Buckner, M. Dugas, Co-local subgroups of abelian groups, in: Abelian Groups, Rings, Modules, and Homological Algebra, in: Lect. Notes Pure and Applied Math., vol. 249, Taylor and Francis/CRC Press, pp. 25-33] were co-local subgroups of torsion-free abelian groups. In the present paper we shift our attention to co-local subgroups K of mixed, non-splitting abelian groups A with torsion subgroup t(A). We will show that any co-local subgroup K is a pure, cotorsion-free subgroup and if D/t(A) is the divisible part of A/t(A)=D/t(A)⊕H/t(A), then K∩D=0, and one may assume that K⊆H. We will construct examples to show that K need not be a co-local subgroup of H. Moreover, we will investigate connections between co-local subgroups of A and A/t(A).     

Lengths of central linear generalized polynomials in matrix algebras

Let D be a division algebra finite-dimensional over its center C and let A=M_m(D), the m×m matrix ring over D. By the length of a linear generalized polynomial (GP) ?(X), we mean the least positive integer n such that ?(X) can be represented in the form for some . We denote by L(?)=n the length of ?. By a central linear GP for A we mean a nonzero linear GP with central values on A. In this paper we characterize all central linear GPs for A and determine the lengths of all central linear GPs for A.     

Relative uniform completeness and order-convex representations of archimedean ?-groups and f-rings

Results of Henriksen and Johnson, for archimedean f-rings with identity, and of Aron and Hager, for archimedean ?-groups with unit, relating uniform completeness to order-convexity of a representation in a D(X) (the lattice of almost real continuous functions on the space X) are extended to situations without identity or unit. For an archimedean ?-group, G, we show: if G admits any representation G?D(X) in which G is order-convex, then G is divisible and relatively uniformly complete. A converse to this would seem to require some sort of canonical representation of G, which seems not to exist in the ?-group case. But for a reduced archimedean f-ring, A, there is the Johnson representation A?D(XA), and we show: A is divisible, relatively uniformly complete and square-dominated if and only if A is order-convex in D(XA) and square-root-closed. Also, we expand on the situation with unit, where we have the Yosida representation, G?D(YG): if G is divisible, relatively uniformly complete, and the unit is a near unit, then G is order-convex in D(YG).     

On derived equivalences of categories of sheaves over finite posets

A finite poset X carries a natural structure of a topological space. Fix a field k, and denote by D^b(X) the bounded derived category of sheaves of finite dimensional k-vector spaces over X. Two posets X and Y are said to be derived equivalent if D^b(X) and D^b(Y) are equivalent as triangulated categories.We give explicit combinatorial properties of X which are invariant under derived equivalence; among them are the number of points, the Z-congruency class of the incidence matrix, and the Betti numbers. We also show that taking opposites and products preserves derived equivalence.For any closed subset Y⊆X, we construct a strongly exceptional collection in D^b(X) and use it to show an equivalence D^b(X)?D^b(A) for a finite dimensional algebra A (depending on Y). We give conditions on X and Y under which A becomes an incidence algebra of a poset.We deduce that a lexicographic sum of a collection of posets along a bipartite graph S is derived equivalent to the lexicographic sum of the same collection along the opposite .This construction produces many new derived equivalences of posets and generalizes other well-known ones.As a corollary we show that the derived equivalence class of an ordinal sum of two posets does not depend on the order of summands. We give an example that this is not true for three summands.     

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.     

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.     

Cyclotomic Solomon algebras

This paper introduces an analogue of the Solomon descent algebra for the complex reflection groups of type G(r,1,n). As with the Solomon descent algebra, our algebra has a basis given by sums of ‘distinguished’ coset representatives for certain ‘reflection subgroups.’ We explicitly describe the structure constants with respect to this basis and show that they are polynomials in r. This allows us to define a deformation, or q-analogue, of these algebras which depends on a parameter q. We determine the irreducible representations of all of these algebras and give a basis for their radicals. Finally, we show that the direct sum of cyclotomic Solomon algebras is canonically isomorphic to a concatenation Hopf algebra.     

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.     

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.     

Igusa–Todorov functions for Artin algebras

In this paper we study the behavior of the Igusa–Todorov functions for Artin algebras A with finite injective dimension, and Gorenstein algebras as a particular case. We show that the ?-dimension and ψ-dimension are finite in both cases. Also we prove that monomial, gentle and cluster tilted algebras have finite ?-dimension and finite ψ-dimension.