Showing 1–9 of 9 results for author: Slávik, A

Countably generated flat modules are quite flat

Authors: Michal Hrbek, Leonid Positselski, Alexander Slávik

Abstract: We prove that if $R$ is a commutative Noetherian ring, then every countably generated flat $R$-module is quite flat, i.e., a direct summand of a transfinite extension of localizations of $R$ in countable multiplicative subsets. We also show that if the spectrum of $R$ is of cardinality less than $κ$, where $κ$ is an uncountable regular cardinal, then every flat $R$-module is a transfinite extensio… ▽ More We prove that if $R$ is a commutative Noetherian ring, then every countably generated flat $R$-module is quite flat, i.e., a direct summand of a transfinite extension of localizations of $R$ in countable multiplicative subsets. We also show that if the spectrum of $R$ is of cardinality less than $κ$, where $κ$ is an uncountable regular cardinal, then every flat $R$-module is a transfinite extension of flat modules with less than $κ$ generators. This provides an alternative proof of the fact that over a commutative Noetherian ring with countable spectrum, all flat modules are quite flat. More generally, we say that a commutative ring is CFQ if every countably presented flat $R$-module is quite flat. We show that all von Neumann regular rings and all $S$-almost perfect rings are CFQ. A zero-dimensional local ring is CFQ if and only if it is perfect. A domain is CFQ if and only if all its proper quotient rings are CFQ. A valuation domain is CFQ if and only if it is strongly discrete. △ Less

Submitted 1 June, 2022; v1 submitted 30 June, 2019; originally announced July 2019.

Comments: 17 pages. v2: a new author joined, Remark 3.7 inserted, the paper grew in size by a factor of more than two with a treatment of non-Noetherian rings added in new Sections 4 and 5. v.3: small improvements, abstract updated, the former Example 4.21 moved to Section 5 and details added in Section 5 (Theorem 5.1 inserted); v.4: small things corrected, a reference updated -- this is the final version

Journal ref: Journ. of Commutative Algebra 14 (2022), #1, p.37-54

On flat generators and Matlis duality for quasicoherent sheaves

Authors: Alexander Slávik, Jan Stovicek

Abstract: We show that for a quasicompact quasiseparated scheme $X$, the following assertions are equivalent: (1) the category $\operatorname{QCoh}(X)$ of all quasicoherent sheaves on $X$ has a flat generator; (2) for every injective object $\mathcal E$ of $\operatorname{QCoh}(X)$, the internal hom functor into $\mathcal E$ is exact; (3) the scheme $X$ is semiseparated. We show that for a quasicompact quasiseparated scheme $X$, the following assertions are equivalent: (1) the category $\operatorname{QCoh}(X)$ of all quasicoherent sheaves on $X$ has a flat generator; (2) for every injective object $\mathcal E$ of $\operatorname{QCoh}(X)$, the internal hom functor into $\mathcal E$ is exact; (3) the scheme $X$ is semiseparated. △ Less

Submitted 19 July, 2019; v1 submitted 15 February, 2019; originally announced February 2019.

Comments: 8 pages, added Section 3

MSC Class: 14F05; 13C11

Journal ref: Bull. Lond. Math. Soc. 53 (2021), no. 1, 63-74

Purity in categories of sheaves

Authors: Alexander Slavik, Mike Prest

Abstract: We consider categorical and geometric purity for sheaves of modules over a scheme satisfying some mild conditions, both for the category of all sheaves and for the category of quasicoherent sheaves. We investigate the relations between these four purities and compute a number of examples, in particular describing both the geometric and categorical Ziegler spectra for the category of quasicoherent… ▽ More We consider categorical and geometric purity for sheaves of modules over a scheme satisfying some mild conditions, both for the category of all sheaves and for the category of quasicoherent sheaves. We investigate the relations between these four purities and compute a number of examples, in particular describing both the geometric and categorical Ziegler spectra for the category of quasicoherent sheaves over the projective line over a field. △ Less

Submitted 5 June, 2019; v1 submitted 24 September, 2018; originally announced September 2018.

MSC Class: 14A15; 18E15; 18F20; 03C60; 16G20

On strongly flat and weakly cotorsion modules

Authors: Leonid Positselski, Alexander Slavik

Abstract: The aim of this paper is to describe the classes of strongly flat and weakly cotorsion modules with respect to a multiplicative subset or a finite collection of multiplicative subsets in a commutative ring. The strongly flat modules are characterized by a set of conditions, while the weakly cotorsion modules are produced by a generation procedure. Passing to the collection of all countable multipl… ▽ More The aim of this paper is to describe the classes of strongly flat and weakly cotorsion modules with respect to a multiplicative subset or a finite collection of multiplicative subsets in a commutative ring. The strongly flat modules are characterized by a set of conditions, while the weakly cotorsion modules are produced by a generation procedure. Passing to the collection of all countable multiplicative subsets, we define quite flat and almost cotorsion modules, and show that, over a Noetherian ring with countable spectrum, all flat modules are quite flat and all almost cotorsion modules are cotorsion. △ Less

Submitted 8 August, 2018; v1 submitted 22 August, 2017; originally announced August 2017.

Comments: LaTeX 2e, 51 pages; v.3: section 0.0 inserted in the introduction, some details added in the proofs of theorems 2.6 and 7.7, several references added; v.4: small changes in section 0.1, a reference added at the end of section 0.2; v.5: several misprints corrected, references updated, the numbering of sections shifted to agree with the journal version

Journal ref: Math. Zeitschrift 291 (2019), #3-4, p.831-875

Quillen equivalent models for the derived category of flats and the resolution property

Authors: Sergio Estrada, Alexander Slavik

Abstract: We investigate under which assumptions a subclass of flat quasi-coherent shea\-ves on a quasi-compact and semi-separated scheme allows to "mock" the homotopy category of projective modules. Our methods are based on module theoretic properties of the subclass of flat modules involved as well as their behaviour with respect to Zariski localizations. As a consequence we get that, for such schemes, th… ▽ More We investigate under which assumptions a subclass of flat quasi-coherent shea\-ves on a quasi-compact and semi-separated scheme allows to "mock" the homotopy category of projective modules. Our methods are based on module theoretic properties of the subclass of flat modules involved as well as their behaviour with respect to Zariski localizations. As a consequence we get that, for such schemes, the derived category of flats is equivalent to the derived category of very flats. If, in addition, the scheme satisfies the resolution property then both derived categories are equivalent to the derived category of infinite-dimensional vector bundles. The equivalences are inferred from a Quillen equivalence between the corresponding models. △ Less

Submitted 4 March, 2018; v1 submitted 19 August, 2017; originally announced August 2017.

Flat morphisms of finite presentation are very flat

Authors: Leonid Positselski, Alexander Slavik

Abstract: Principal affine open subsets in affine schemes are an important tool in the foundations of algebraic geometry. Given a commutative ring $R$, $\,R$-modules built from the rings of functions on principal affine open subschemes in $\operatorname{Spec}R$ using ordinal-indexed filtrations and direct summands are called very flat. The related class of very flat quasi-coherent sheaves over a scheme is i… ▽ More Principal affine open subsets in affine schemes are an important tool in the foundations of algebraic geometry. Given a commutative ring $R$, $\,R$-modules built from the rings of functions on principal affine open subschemes in $\operatorname{Spec}R$ using ordinal-indexed filtrations and direct summands are called very flat. The related class of very flat quasi-coherent sheaves over a scheme is intermediate between the classes of locally free and flat sheaves, and has serious technical advantages over both. In this paper we show that very flat modules and sheaves are ubiquitous in algebraic geometry: if $S$ is a finitely presented commutative $R$-algebra which is flat as an $R$-module, then $S$ is a very flat $R$-module. This proves a conjecture formulated in the February 2014 version of the long preprint arXiv:1209.2995. We also show that the (finite) very flatness property of a flat module satisfies descent with respect to commutative ring homomorphisms of finite presentation inducing surjective maps of the spectra. △ Less

Submitted 25 September, 2019; v1 submitted 2 August, 2017; originally announced August 2017.

Comments: LaTeX 2e, 56 pages; v.2: small additions in sections 0.1, 0.7, 1.1, 1.7, 5.3, and 5.4, several references added; v.3: small expositional improvements, particularly in section 2; v.4: abstract expanded, section 0.12 inserted; v.5: two references added, several misprints corrected

Journal ref: Annali di Matem. Pura ed Appl. 199 (2020), #3, p.875-924

Very flat, locally very flat, and contraadjusted modules

Authors: Alexander Slavik, Jan Trlifaj

Abstract: Very flat and contradjusted modules naturally arise in algebraic geometry in the study of contraherent cosheaves over schemes. Here, we investigate the structure and approximation properties of these modules over commutative noetherian rings. Using an analogy between projective and flat Mittag-Leffler modules on one hand, and very flat and locally very flat modules on the other, we prove that each… ▽ More Very flat and contradjusted modules naturally arise in algebraic geometry in the study of contraherent cosheaves over schemes. Here, we investigate the structure and approximation properties of these modules over commutative noetherian rings. Using an analogy between projective and flat Mittag-Leffler modules on one hand, and very flat and locally very flat modules on the other, we prove that each of the following statements are equivalent to the finiteness of the Zariski spectrum Spec(R) of a noetherian domain R: (i) the class of all very flat modules is covering, (ii) the class of all locally very flat modules is precovering, and (iii) the class of all contraadjusted modules is enveloping. We also prove an analog of Pontryagin's criterion for locally very flat modules over Dedekind domains. △ Less

Submitted 6 May, 2016; v1 submitted 5 January, 2016; originally announced January 2016.

MSC Class: Primary: 13C11. Secondary: 14F05; 16D70; 13E05; 13G05

Journal ref: J. Pure Appl. Algebra 220(2016), 3910-3926

On summability, multipliability, product integrability and parallel translation

Authors: Seppo Heikkilä, Antonín Slavík

Abstract: In this paper we provide necessary and sufficient conditions for the existence of the Kurzweil, McShane and Riemann product integrals of step mappings with well-ordered steps, and for right regulated mappings with values in Banach algebras. Our basic tools are the concepts of summability and multipliability of families in normed algebras indexed by well-ordered subsets of the real line. These conc… ▽ More In this paper we provide necessary and sufficient conditions for the existence of the Kurzweil, McShane and Riemann product integrals of step mappings with well-ordered steps, and for right regulated mappings with values in Banach algebras. Our basic tools are the concepts of summability and multipliability of families in normed algebras indexed by well-ordered subsets of the real line. These concepts also lead to the generalization of some results from the usual theory of infinite series and products. Finally, we present two applications of product integrals: First, we describe the relation between Stieltjes-type product integrals, Haahti products, and parallel translation operators. Second, we provide a link between the theory of strong Kurzweil product integrals and strong solutions of linear generalized differential equations. △ Less

Submitted 14 August, 2015; v1 submitted 7 October, 2014; originally announced October 2014.

Comments: 45 pages, 1 figure

MSC Class: 28B05; 46G10; 26A39; 26A42; 40A05; 40A20; 34G10

Journal ref: Journal of Mathematical Analysis and Applications 433 (2016), 887-934

Approximations and locally free modules

Authors: Alexander Slavik, Jan Trlifaj

Abstract: For any set of modules S, we prove the existence of precovers (right approximations) for all classes of modules of bounded C-resolution dimension, where C is the class of all S-filtered modules. In contrast, we use infinite dimensional tilting theory to show that the class of all locally free modules induced by a non-sum-pure-split tilting module is not precovering. Consequently, the class of all… ▽ More For any set of modules S, we prove the existence of precovers (right approximations) for all classes of modules of bounded C-resolution dimension, where C is the class of all S-filtered modules. In contrast, we use infinite dimensional tilting theory to show that the class of all locally free modules induced by a non-sum-pure-split tilting module is not precovering. Consequently, the class of all locally Baer modules is not precovering for any countable hereditary artin algebra of infinite representation type. △ Less

Submitted 26 October, 2012; originally announced October 2012.

Comments: 14 pages

MSC Class: 16D70 (Primary) 03E75; 13F05; 16G10; 18G25

Journal ref: Bull. London Math. Soc. 46(2014), 76-90