Locally finitely presented categories with no flat objects

DOI10.1515/FORUM-2012-0054MaRDI QIDQ487130zbMATH OpenOpenAlexFDO

Authors S. Estrada, Manuel Saorín

Publication date 19 January 2015

Published in Forum Mathematicum (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1204.5681

zbMATH Keywords

Flat objectGrothendieck categorylocally finitely presented categoryprojective schemequasi-coehrent sheafquiverquotient category

Mathematics Subject Classification ID

Representations of quivers and partially ordered sets (16G20) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Accessible and locally presentable categories (18C35) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Abstract: If $X$ is a quasi-compact and quasi-separated scheme, the category $Qcoh(X)$ of quasi-coherent sheaves on $X$ is locally finitely presented. Therefore categorical flat quasi-coherent sheaves naturally arise. But there is also the standard definition of flatness in $Qcoh(X)$ from the stalks. So it makes sense to wonder the relationship (if any) between these two notions. In this paper we show that there are plenty of locally finitely presented categories having no other categorical flats than the zero object. As particular instance, we show that $Qcoh(mathbf{P}^n(R)))$ has no other categorical flat objects than zero, where $R$ is any commutative ring.

Review text

Es sei \(\mathcal{A}\) eine endlich präsentierte abelsche Kategorie. Wir erinnern daran, daß ein Objekt \(F\) in \(\mathcal{A}\) \textit{flach} genannt wird, wenn jeder Epimorphismus \( f: X\twoheadrightarrow F\) \textit{rein} ist (das heisst: \(f\) induziert eine Surjektion \(\text{Hom}_\mathcal{A}(T,X)\to \text{Hom}_\mathcal{A}(T,F)\) für jedes endlich präsentiere Objekt \(T\) von \(\mathcal{A}\)). Wenn die Kategorie \(\mathcal{A}\) aus einem geometrischen Kontext herkommt, kann ein anderer Begriff Flachheit bestehen; der Artikel zeigt, daß der kategorische Begriff Flachheit sich anders verhält. Vor allem gibt die Arbeit von Estrada und Saorín weite Klassen von schönen endlich präsentierten Grothendieck Kategorien ohne flache Objekte (bis auf \(0\)). Das erste Kriterium dafür ist das Vorhandensein einer geeigneten Stratifikation in einer Menge von endlich präsentierten Erzeugern der Kategorie. Dieses allgemeine Kriterium wird zuerst auf gewisse Quotientkategorien von graduierten Moduln angewandt. Ein Theorem von Serre, das eine Äquivalenz zwischen einer solchen Quotientkategorie und der Kategorie der quasikohärenten Garben über einem projektiven Schema gibt, erlaubt geometrische Beispiele zu erhalten. So enthält die Kategorie der quasikohärenten Garben über \(\mathbb{P}^n(R)\), wo \(n>0\) eine ganze Zahl und \(R\) ein kommutativer Ring ist, kein (kategorisch) flaches Objekt bis auf \(0\) (Corollary 4.6 im Artikel). Danach gibt der Artikel Anwendungen des allgemeinen Kriteriums in der Köcherdarstellungstheorie, mit konkreten kombinatorischen Kriterien.

Recommendations

• The homotopy category of cotorsion flat quasi-coherent sheaves over quasi-compact and quasi-separated schemes
• Flat quasi-coherent sheaves of finite cotorsion dimension
• Relative homological algebra in the category of quasi-coherent sheaves.
• Locally torsion-free quasi-coherent sheaves
• Flat and cotorsion quasi-coherent sheaves. Applications

Cited in

(10)

• Locally finitely presented categories of sheaves
• Exponentiable Grothendieck categories in flat algebraic geometry
• Direct limits in the heart of a t-structure: the case of a torsion pair
• Flat quasi-coherent sheaves of finite cotorsion dimension
• scientific article; zbMATH DE number 5919847 (Why is no real title available?)
• Bounded complexes of cotorsion sheaves
• Cartesian modules over representations of small categories
• Pure exact structures and the pure derived category of a scheme
• Locally finitely presented Grothendieck categories and the pure semisimplicity conjecture
• Bounded complexes of objects of finite flat dimensions

This page was built for publication: Locally finitely presented categories with no flat objects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q487130)