Source author record

Jan Trlifaj

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.RA math.RT math.AC math.CT math.AG math.LO

Catalog footprint

Research overview

9works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Closure properties of $\varinjlim\mathcal C$

Let $\mathcal C$ be a class of modules and $\mathcal L = \varinjlim \mathcal C$ the class of all direct limits of modules from $\mathcal C$ . The class $\mathcal L$ is well understood when $\mathcal C$ consists of finitely presented modules: $\mathcal L$ then enjoys various closure properties. We study the closure properties of $\mathcal L$ in the general case when $\mathcal C \subseteq \mathrm{Mod-}R$ is arbitrary. Then we concentrate on two important particular cases, when $\mathcal C = \operatorname{add} M$ and $\mathcal C = \operatorname{Add} M$ , for an arbitrary module $M$ . In the first case, we prove that $\varinjlim \operatorname{add} M = \{ N \in \mathrm{Mod-} R \mid \exists F \in \mathcal F_S: N \cong F \otimes_S M \}$ where $S = \operatorname{End} M$ , and $\mathcal F_S$ is the class of all flat right $S$ -modules. In the second case, $\varinjlim \operatorname{Add} M = \{ \mathfrak F \odot _{\mathfrak S} M \mid \mathfrak F \in \mathcal F_{\mathfrak S} \}$ where $\mathfrak S$ is the endomorphism ring of $M$ endowed with the finite topology, $\mathcal F_{\mathfrak S}$ is the class of all right $\mathfrak S$ -contramodules that are direct limits of direct systems of projective right $\mathfrak S$ -contramodules, and $\odot_{\mathfrak S}$ denotes the contratensor product. For various classes of modules $\mathcal D$ , we show that if $M \in \mathcal D$ then $\varinjlim \operatorname{add} M = \varinjlim \operatorname{Add} M$ (e.g., when $\mathcal D$ consists of pure projective modules), but the equality for an arbitrary module $M$ remains open. Finally, we deal with the question of whether $\varinjlim \operatorname{Add} M = \widetilde{\operatorname{Add} M}$ where $\widetilde{\operatorname{Add} M}$ is the class of all pure epimorphic images of direct sums of copies of a module $M$ . We show that the answer is positive in several particular cases, but it is negative in general.

preprint2022arXiv

Weak diamond, weak projectivity, and transfinite extensions of simple artinian rings

We apply set-theoretic methods to study projective modules and their generalizations over transfinite extensions of simple artinian rings R. When R is hereditary and of cardinality at most $2^ω$ , we prove that the Weak Diamond and CH imply that projectivity of an arbitrary module can be tested at the layer epimorphisms of R.

preprint2022arXiv

Weak diamond, weak projectivity, and transfinite extensions of simple artinian rings

We apply set-theoretic methods to study projective modules and their generalizations over transfinite extensions of simple artinian rings R. We prove that if R is small, then the Weak Diamond implies that projectivity of an arbitrary module can be tested at the layer epimorphisms of R.

preprint2019arXiv

The Dual Baer Criterion for non-perfect rings

Baer's Criterion for Injectivity is a basic tool of the theory of modules and complexes of modules. Its dual version (DBC) is known to hold for all right perfect rings, but its validity for non-right perfect rings is a complex problem (first formulated by Faith in 1976 \cite{F}). Recently, it has turned out that there are two classes of non-right perfect rings: 1. those for which DBC fails in ZFC, and 2. those for which DBC is independent of ZFC. First examples of rings in the latter class were constructed in \cite{T4}; here, we show that this class contains all small semiartinian von Neumann regular rings with primitive factors artinian.

preprint2016arXiv

Approximations and Mittag-Leffler conditions --- the applications

A classic result by Bass says that the class of all projective modules is covering, if and only if it is closed under direct limits. Enochs extended the if-part by showing that every class of modules $\mathcal C$ , which is precovering and closed under direct limits, is covering, and asked whether the converse is true. We employ the tools developed in [18] and give a positive answer when $\mathcal C = \mathcal A$ , or $\mathcal C$ is the class of all locally $\mathcal A ^{\leq ω}$ -free modules, where $\mathcal A$ is any class of modules fitting in a cotorsion pair $(\mathcal A, \mathcal B)$ such that $\mathcal B$ is closed under direct limits. This setting includes all cotorsion pairs and classes of locally free modules arising in (infinite-dimensional) tilting theory. We also consider two particular applications: to pure-semisimple rings, and artin algebras of infinite representation type.

preprint2013arXiv

Cotilting modules over commutative noetherian rings

Recently, tilting and cotilting classes over commutative noetherian rings have been classified in arXiv:1203.0907. We proceed and, for each n-cotilting class C, construct an n-cotilting module inducing C by an iteration of injective precovers. A further refinement of the construction yields the unique minimal n-cotilting module inducing C. Finally, we consider localization: a cotilting module is called ample, if all of its localizations are cotilting. We prove that for each 1-cotilting class, there exists an ample cotilting module inducing it, but give an example of a 2-cotilting class which fails this property.

preprint2012arXiv

Tilting, cotilting, and spectra of commutative noetherian rings

We classify all tilting and cotilting classes over commutative noetherian rings in terms of descending sequences of specialization closed subsets of the Zariski spectrum. Consequently, all resolving subcategories of finitely generated modules of bounded projective dimension are classified. We also relate our results to Hochster's conjecture on the existence of finitely generated maximal Cohen-Macaulay modules.

preprint2011arXiv

Descent of restricted flat Mittag-Leffler modules and generalized vector bundles

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évissage 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 $κ$ -restricted Drinfeld vector bundles for each infinite cardinal $κ$ . We give a positive answer here by replacing the d\' evissage with its recent refinement involving $\mathcal C$ -filtrations and the Hill Lemma.

preprint2010arXiv

Tilting via torsion pairs and almost hereditary noetherian rings

We generalize the tilting process by Happel, Reiten and Smalø to the setting of finitely 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.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Jan Trlifaj

Research overview

Is this your work?

9 publications

Closure properties of $\varinjlim\mathcal C$

Weak diamond, weak projectivity, and transfinite extensions of simple artinian rings

Weak diamond, weak projectivity, and transfinite extensions of simple artinian rings

The Dual Baer Criterion for non-perfect rings

Approximations and Mittag-Leffler conditions --- the applications

Cotilting modules over commutative noetherian rings

Tilting, cotilting, and spectra of commutative noetherian rings

Descent of restricted flat Mittag-Leffler modules and generalized vector bundles

Tilting via torsion pairs and almost hereditary noetherian rings

See the researcher in context

Building this map preview

Jan Trlifaj

Research overview

Is this your work?

9 publications

Closure properties of lim→⁡C\varinjlim\mathcal Clim​C

Weak diamond, weak projectivity, and transfinite extensions of simple artinian rings

Weak diamond, weak projectivity, and transfinite extensions of simple artinian rings

The Dual Baer Criterion for non-perfect rings

Approximations and Mittag-Leffler conditions --- the applications

Cotilting modules over commutative noetherian rings

Tilting, cotilting, and spectra of commutative noetherian rings

Descent of restricted flat Mittag-Leffler modules and generalized vector bundles

Tilting via torsion pairs and almost hereditary noetherian rings

See the researcher in context

Building this map preview

Closure properties of $\varinjlim\mathcal C$