BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
A new homological symmetry condition is exhibited that extends and unifies several recently defined and widely used concepts. Applications include general constructions of tilting modules and derived equivalences, and characterisations of Gorenstein properties of endomorphism rings.
For a recollement of derived module categories of rings, we provide sufficient conditions to guarantee the additivity formula of higher algebraic K-groups of the rings involved, and establish a long Mayer-Vietoris exact sequence of higher algebraic K-groups for homological exact contexts introduced in the first paper of this series. Our results are then applied to recollements induced from homological ring epimorphisms and noncommutative localizations. Consequently, we get an infinitely long Mayer-Vietoris exact sequence of K-theory for Milnor squares, re-obtain a result of Karoubi on localizations and a result on generalized free products pioneered by Waldhausen and developed by Neeman and Ranicki. In particular, we describe algebraic K-groups of the free product of two groups over a regular coherent ring as the ones of the noncommutative tensor product of an exact context. This yields a new description of algebraic K-theory of infinite dihedral group.
Given a good n-tilting module T over a ring A, let B be the endomorphism ring of T, it is an open question whether the kernel of the left-derived functor T⊗BL− between the derived module categories of B and A could be realized as the derived module category of a ring C via a ring epimorphism B→C for n≥2. In this paper, we first provide a uniform way to deal with the above question both for tilting and cotilting modules by considering a new class of modules called Ringel modules, and then give criterions for the kernel of T⊗BL− to be equivalent to the derived module category of a ring C with a ring epimorphism B→C. Using these characterizations, we display both a positive example of n-tilting modules from noncommutative algebra, and a counterexample of n-tilting modules from commutative algebra to show that, in general, the open question may have a negative answer. As another application of our methods, we consider the dual question for cotilting modules, and get corresponding criterions and counterexamples. The case of cotilting modules, however, is much more complicated than the case of tilting modules.
In this paper, we consider the endomorphism algebras of infinitely generated tilting modules of the form RU⊕RU/R over tame hereditary k-algebras R with k an arbitrary field, where RU is the universal localization of R at an arbitrary set U of simple regular R-modules, and show that the derived module category of $\End_R(R_{\mathcal U}\oplus R_{\mathcal U}/R)$ is a recollement of the derived module category $\D{R}$ of R and the derived module category $\D{{\mathbb A}_{\mathcal{U}}}$ of the adèle ring AU associated with U. When k is an algebraically closed field, the ring AU can be precisely described in terms of Laurent power series ring k((x)) over k. Moreover, if U is a union of finitely many cliques, we give two different stratifications of the derived category of $\End_R(R_{\mathcal U}\oplus R_{\mathcal U}/R)$ by derived categories of rings, such that the two stratifications are of different finite lengths.
Let T be an infinitely generated tilting module of projective dimension at most one over an arbitrary associative ring A, and let B be the endomorphism ring of T. In this paper, we prove that if T is good then there exists a ring C, a homological ring epimorphism $B\ra C$ and a recollement among the (unbounded) derived module categories $\D{C}$ of C, $\D{B}$ of B, and $\D{A}$ of A. In particular, the kernel of the total left derived functor T⊗BL− is triangle equivalent to the derived module category $\D{C}$. Conversely, if the functor T⊗BL− admits a fully faithful left adjoint functor, then T is a good tilting module. We apply our result to tilting modules arising from ring epimorphisms, and can then describe the rings C as coproducts of two relevant rings. Further, in case of commutative rings, we can weaken the condition of being tilting modules, strengthen the rings C as tensor products of two commutative rings, and get similar recollements. Consequently, we can produce examples (from commutative algebra and p-adic number theory, or Kronecker algebra) to show that two different stratifications of the derived module category of a ring by derived module categories of rings may have completely different derived composition factors (even up to ordering and up to derived equivalence),or different lengths. This shows that the Jordan-Hölder theorem fails even for stratifications by derived module categories, and also answers negatively an open problem by Angeleri-Hügel, König and Liu.
In this paper, we present two methods, induction and restriction procedures, to construct new stable equivalences of Morita type. Suppose that a stable equivalence of Morita type between two algebras A and B is defined by a B-A-bimodule N. Then, for any finite admissible set Φ and any generator X of the A-module category, the Φ-Auslander-Yoneda algebras of X and N⊗AX are stably equivalent of Morita type. Moreover, under certain conditions, we transfer stable equivalences of Morita type between A and B to ones between eAe and fBf, where e and f are idempotent elements in A and B, respectively. Consequently, for self-injective algebras A and B over a field without semisimple direct summands, and for any A-module X and B-module Y, if the Φ-Auslander-Yoneda algebras of A⊕X and B⊕Y are stably equivalent of Morita type for one finite admissible set Φ, then so are the Ψ-Auslander-Yoneda algebras of A⊕X and B⊕Y for {\it every} finite admissible set Ψ. Moreover, two representation-finite algebras over a field without semisimple direct summands are stably equivalent of Morita type if and only if so are their Auslander algebras. As another consequence, we construct an infinite family of algebras of the same dimension and the same dominant dimension such that they are pairwise derived equivalent, but not stably equivalent of Morita type. This answers a question by Thorsten Holm.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.