Characterizing Serre quotients with no section functor and applications to coherent sheaves

DOI10.1007/S10485-013-9314-YMaRDI QIDQ2014740zbMATH OpenOpenAlexFDO

Authors Mohamed Barakat, Markus Lange-Hegermann

Publication date 16 June 2014

Published in Applied Categorical Structures (Search for Journal in Brave)

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

zbMATH Keywords

exact functorsGabriel localizationSerre quotientcoherent sheavesabelian categoriesfundamental homomorphism theorem

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Localization of categories, calculus of fractions (18E35) Torsion theories, radicals (18E40) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Abstract: We prove an analogon of the the fundamental homomorphism theorem for certain classes of exact and essentially surjective functors of Abelian categories $mathscrQ:mathcalAomathcalB$. It states that $mathscrQ$ is up to equivalence the Serre quotient $mathcalAomathcalA/mathrmkermathscrQ$, even in cases when the latter does not admit a section functor. For several classes of schemes $X$, including projective and toric varieties, this characterization applies to the sheafification functor from a certain category $mathcalA$ of finitely presented graded modules to the category $mathcalB=mathfrakCohX$ of coherent sheaves on $X$. This gives a direct proof that $mathfrakCohX$ is a Serre quotient of $mathcalA$.

Recommendations

• Sections of quasi-coherent sheaves
• scientific article; zbMATH DE number 1054455
• On Noetherian schemes over (\mathcal{C},\otimes,1)$ and the category of quasi-coherent sheaves
• The \textit{quot} functor of a quasi-coherent sheaf
• Functorial desingularization of quasi-excellent schemes in characteristic zero: the nonembedded case
• Generalized Serre conditions and perverse coherent sheaves
• Grothendieck topology, coherent sheaves and Serre's theorem for schematic algebras
• A Lazard-like theorem for quasi-coherent sheaves
• On Serre-duality for coherent sheaves on rigid-analytic spaces
• A Krull-Schmdit type theorem for coherent sheaves

Cites work

• scientific article; zbMATH DE number 3297895 (Why is no real title available?)
• scientific article; zbMATH DE number 3322751 (Why is no real title available?)
• A lifting functor for toric sheaves
• An axiomatic setup for algorithmic homological algebra and an alternative approach to localization
• Cox rings
• Cox rings and combinatorics II
• Des catégories abéliennes
• Endlich präsentierbare Moduln
• Equivariant primary decomposition and toric sheaves
• Faisceaux algébriques cohérents
• On monads of exact reflective localizations of abelian categories
• Sur quelques points d'algèbre homologique
• The spectrum of a locally coherent category
• Toric varieties
• Vanishing theorems on toric varieties.

Cited in

(9)

• The Eilenberg-Watts theorem over schemes
• Linear systems over localizations of rings
• Gauge backgrounds and zero-mode counting in F-theory
• On the ext-computability of Serre quotient categories
• On subdirect factors of a projective module and applications to system theory.
• A constructive approach to Freyd categories
• Serre injective sheaves
• A lifting functor for toric sheaves
• A constructive approach to the module of twisted global sections on relative projective spaces

Describes a project that uses

Uses Software

• MathOverflow

This page was built for publication: Characterizing Serre quotients with no section functor and applications to coherent sheaves

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