Source author record

Jan Šaroch

Jan Šaroch appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.RA math.RT math.LO

Catalog footprint

What is connected

8works

3topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2021arXiv

Pure semisimplicity conjecture and Artin problem for dimension sequences

Inspired by a recent paper due to José Luis García, we revisit the attempt of Daniel Simson to construct a counterexample to the pure semisimplicity conjecture. Using compactness, we show that the existence of such counterexample would readily follow from the very existence of certain (countable set of) hereditary artinian rings of finite representation type. The existence of such rings is then proved to be equivalent to the existence of special types of embeddings, which we call tight, of division rings into simple artinian rings. Using the tools by Aidan Schofield from 1980s, we can show that such an embedding $F\hookrightarrow M_n(G)$ exists provided that $n<5$. As a byproduct, we obtain a division ring extension $G\subseteq F$ such that the bimodule ${}_GF_F$ has the right dimension sequence $(1,2,2,2,1,4)$. Finally, we formulate Conjecture A, which asserts that a particular type of adjunction of an element to a division ring can be made, and demonstrate that its validity would be sufficient to prove the existence of tight embeddings in general, and hence to disprove the pure semisimplicity conjecture.

preprint2020arXiv

Finitistic Dimension Conjectures via Gorenstein Projective Dimension

It is a well-known result of Auslander and Reiten that contravariant finiteness of the class $\mathcal{P}^{\mathrm{fin}}_\infty$ (of finitely generated modules of finite projective dimension) over an Artin algebra is a sufficient condition for validity of finitistic dimension conjectures. Motivated by the fact that finitistic dimensions of an algebra can alternatively be computed by Gorenstein projective dimension, in this work we examine the Gorenstein counterpart of Auslander--Reiten condition, namely contravariant finiteness of the class $\mathcal{GP}^{\mathrm{fin}}_\infty$ (of finitely generated modules of finite Gorenstein projective dimension), and its relation to validity of finitistic dimension conjectures. It is proved that contravariant finiteness of the class $\mathcal{GP}^{\mathrm{fin}}_\infty$ implies validity of the second finitistic dimension conjecture over left artinian rings. In the more special setting of Artin algebras, however, it is proved that the Auslander--Reiten sufficient condition and its Gorenstein counterpart are virtually equivalent in the sense that contravariant finiteness of the class $\mathcal{GP}^{\mathrm{fin}}_\infty$ implies contravariant finiteness of the class $\mathcal{P}^{\mathrm{fin}}_\infty$ over any Artin algebra, and the converse holds for Artin algebras over which the class $\mathcal{GP}^{\mathrm{fin}}_0$ (of finitely generated Gorenstein projective modules) is contravariantly finite.

preprint2018arXiv

Singular compactness and definability for $Σ$-cotorsion and Gorenstein modules

We introduce a general version of singular compactness theorem which makes it possible to show that being a $Σ$-cotorsion module is a property of the complete theory of the module. As an application of the powerful tools developed along the way, we give a new description of Gorenstein flat modules which implies that, regardless of the ring, the class of all Gorenstein flat modules forms the left-hand class of a perfect cotorsion pair. We also prove the dual result for Gorenstein injective modules.

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.

preprint2016arXiv

Approximations and Mittag-Leffler conditions --- the tools

Mittag-Leffler modules occur naturally in algebra, algebraic geometry, and model theory, [18], [12], [17]. If $R$ is a non-right perfect ring, then it is known that in contrast with the classes of all projective and flat modules, the class of all flat Mittag-Leffler modules is not deconstructible [14], and it does not provide for approximations when $R$ has cardinality $\leq \aleph_0$, [6]. We remove the cardinality restriction on $R$ in the latter result. We also prove an extension of the Countable Telescope Conjecture [21]: a cotorsion pair $(\mathcal A,\mathcal B)$ is of countable type whenever the class $\mathcal B$ is closed under direct limits. In order to prove these results, we develop new general tools combining relative Mittag-Leffler conditions with set-theoretic homological algebra. They make it possible to trace the facts above to their ultimate, countable, origins in the properties of Bass modules. These tools have already found a number of applications: e.g., they yield a positive answer to Enochs' problem on module approximations for classes of modules associated with tilting [4], and enable investigation of new classes of flat modules occurring in algebraic geometry [24]. Finally, the ideas from Section 3 have led to the solution of a long-standing problem due to Auslander on the existence of right almost split maps [20].

preprint2015arXiv

On the non-existence of right almost split maps

We show that, over any ring, a module $C$ is a codomain of a right almost split map if and only if $C$ is a finitely presented module with local endomorphism ring; thus we give an answer to a 40 years old question by M. Auslander. Using the tools developed, we also provide a useful sufficient condition for a class of modules to be non-precovering. Finally, we show a non-trivial application in the general context of morphisms determined by object.

preprint2014arXiv

$Σ$-algebraically compact modules and $\mathbf L_{ω_1ω}$-compact cardinals

We prove that the property Add$(M)\subseteq$ Prod$(M)$ characterizes $Σ$-algebraically compact modules if $|M|$ is not $ω$-measurable. Moreover, under a large cardinal assumption, we show that over any ring $R$ where $|R|$ is not $ω$-measurable, any free module $M$ of $ω$-measurable rank satisfies Add$(M)\subseteq$ Prod$(M)$, hence the assumption on $|M|$ cannot be dropped in general (e.g. over small non-right perfect rings). In this way, we extend results from a recent paper by Simion Breaz.