Skip to main content
Jan Trlifaj

    Jan Trlifaj

    ABSTRACT
    A basic question for any property of quasi--coherent sheaves on a scheme $X$ is whether the property is local, that is, it can be defined using any open affine covering of $X$. Locality follows from the descent of the corresponding module... more
    A basic question for any property of quasi--coherent sheaves on a scheme $X$ is whether the property is local, that is, it can be defined using any open affine covering of $X$. Locality follows from the descent of the corresponding module property: for (infinite dimensional) vector bundles and Drinfeld vector bundles, it was proved by Kaplansky's technique of d\'evissage already in \cite[II.\S3]{RG}. Since vector bundles coincide with $\aleph_0$-restricted Drinfeld vector bundles, a question arose in \cite{EGPT} of whether locality holds for $\kappa$-restricted Drinfeld vector bundles for each infinite cardinal $\kappa$. We give a positive answer here by replacing the d\' evissage with its recent refinement involving $\mathcal C$-filtrations and the Hill Lemma.
    We show that the concept of an Abstract Elementary Class (AEC) provides a unifying notion for several properties of classes of modules and discuss the stability class of these AEC. An abstract elementary class consists of a class of... more
    We show that the concept of an Abstract Elementary Class (AEC) provides a unifying notion for several properties of classes of modules and discuss the stability class of these AEC. An abstract elementary class consists of a class of models K and a strengthening of the notion of submodel K such that (K, K) satisfies the properties described below. Here we deal with various classes (?N, N); the precise definition of the class of modules ?N is given below. A key innovation is that A NB means A B and B/A 2 ?N. We define in the text the main notions used here; important background defini- tions and proofs from the theory of modules can be found in (EM02) and (GT06); concepts of AEC are due to Shelah (e.g. (She87)) but collected in (Bal). The surprising fact is that some of the basic model theoretic properties of the class (?N, N) translate directly to algebraic properties of the class ?N and the module N over the ring R that have previously been studied in quite a different context (approximation theory of modules, infinite dimensional tilting theory etc.). Our main results, stated with increasingly strong conditions on the ring R, are: Theorem 0.1. (1) Let R be any ring and N an R-module. If (?N, N) is an AEC then N is a cotorsion module. Conversely, if N is pure-injective, then the class (?N, N) is an AEC.
    We generalize two major ways of obtaining derived equivalences, the tilting process by Happel, Reiten and Smal and Happel's Tilting The- orem, to the setting of nitely presented modules over right coherent rings. Moreover, we extend... more
    We generalize two major ways of obtaining derived equivalences, the tilting process by Happel, Reiten and Smal and Happel's Tilting The- orem, to the setting of nitely presented modules over right coherent rings. Moreover, we extend the characterization of quasi{tilted artin algebras as the almost hereditary ones to all right noetherian rings. We also give a streamlined and general presentation of how to obtain derived equivalences without tilting objects, using torsion pairs instead.
    Let R be a right noetherian ring and let P<1 be the class of all nitely presented modules of nite projective dimension. We prove that ndimR = n< 1 i there is an (innitely generated) tilting module T such that pdT = n and T? =(... more
    Let R be a right noetherian ring and let P<1 be the class of all nitely presented modules of nite projective dimension. We prove that ndimR = n< 1 i there is an (innitely generated) tilting module T such that pdT = n and T? =( P<1)? .I fR is an artin algebra, then T can be taken to be
    ABSTRACT We generalize Hill’s lemma,in order to obtain a large family of C- filtered submodules,from a single C-filtration of a module. We use this to prove the following generalization of Kaplansky’s structure theorem for projective... more
    ABSTRACT We generalize Hill’s lemma,in order to obtain a large family of C- filtered submodules,from a single C-filtration of a module. We use this to prove the following generalization of Kaplansky’s structure theorem for projective modules: for any ring R, a cotorsion pair (A,B) in Mod-R is of countable type if and only if every module M 2 A is A,!-filtered. We also prove rank versions of these results for torsion-free modules over commutative domains. As an application, we solve a problem of Bazzoni and Salce [3] by showing that strongly flat modules over any valuation domain coincide with the exten- sions of free modules,by divisible torsion-free modules. Another application yields a short proof of the structure of Matlis localizations of commutative rings.
    ABSTRACT
    ABSTRACT A right R-module M is torsion-free (in the sense of Hattori) if for all r ∈ R. The class of torsion-free modules is a cotilting class if and only if R is a left p.p.-ring. This paper investigates how the class of torsion-free... more
    ABSTRACT A right R-module M is torsion-free (in the sense of Hattori) if for all r ∈ R. The class of torsion-free modules is a cotilting class if and only if R is a left p.p.-ring. This paper investigates how the class of torsion-free modules is related to the cotilting classes arising from embeddings of a right (left) non-singular ring R into its maximal right (left) ring of quotients. Several applications are given.
    ABSTRACT
    We study a duality between (infinitely generated) cotilting and tilting modules over an arbitrary ring. Dualizing a result of Bongartz, we show that a module P is partial cotilting iff P is a direct summand of a cotilting module C such... more
    We study a duality between (infinitely generated) cotilting and tilting modules over an arbitrary ring. Dualizing a result of Bongartz, we show that a module P is partial cotilting iff P is a direct summand of a cotilting module C such that the left Ext-orthogonal class ⊥P coincides with ⊥C. As an application, we characterize all cotilting torsion-free classes. Each partial cotilting module P defines a lattice L = [Cogen P1P] of torsion-free classes. Similarly, each partial tilting module P′ defines a lattice L′ = [[Gen P′,P′⊥]] of torsion classes. Generalizing a result of Assem and Kerner, we show that the elements of L are determined by their Rejp-torsion parts, and the elements of L′ by their Trp-torsion-free parts.
    ABSTRACT
    Let R be a ring and T be a 1-tilting right R-module. Then T is of countable type. Moreover, T is of finite type in case R is a Prufer domain.
    We relate the theory of envelopes and covers to tilting and cotilting theory, for (infinitely generated) modules over arbitrary rings. Our main result characterizes tilting torsion classes as the pretorsion classes providing special... more
    We relate the theory of envelopes and covers to tilting and cotilting theory, for (infinitely generated) modules over arbitrary rings. Our main result characterizes tilting torsion classes as the pretorsion classes providing special preenvelopes for all modules. A dual characterization is proved for cotilting torsion-free classes using the new notion of a cofinendo module. We also construct unique representing modules for these classes.
    We show that the concept of an Abstract Elementary Class (AEC) provides a unifying notion for several properties of classes of modules and discuss the stability class of these AEC. An abstract elementary class consists of a class of... more
    We show that the concept of an Abstract Elementary Class (AEC) provides a unifying notion for several properties of classes of modules and discuss the stability class of these AEC. An abstract elementary class consists of a class of models K and a strengthening of the notion of submodel K such that (K, K) satisfies the properties described below. Here we deal with various classes (?N, N); the precise definition of the class of modules ?N is given below. A key innovation is that A NB means A B and B/A 2 ?N. We define in the text the main notions used here; important background defini- tions and proofs from the theory of modules can be found in (EM02) and (GT06); concepts of AEC are due to Shelah (e.g. (She87)) but collected in (Bal). The surprising fact is that some of the basic model theoretic properties of the class (?N, N) translate directly to algebraic properties of the class ?N and the module N over the ring R that have previously been studied in quite a different context (approximation theory of modules, infinite dimensional tilting theory etc.). Our main results, stated with increasingly strong conditions on the ring R, are: Theorem 0.1. (1) Let R be any ring and N an R-module. If (?N, N) is an AEC then N is a cotorsion module. Conversely, if N is pure-injective, then the class (?N, N) is an AEC.
    ABSTRACT

    And 1 more