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

DOI10.1007/S10485-013-9314-YzbMATH Open1305.18054arXiv1210.1425OpenAlexW1965928238MaRDI QIDQ2014740FDOQ2014740

Markus Lange-Hegermann, Mohamed Barakat

Publication date: 16 June 2014

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

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$.

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

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

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)

Cites Work

• Toric varieties
• Sur quelques points d'algèbre homologique
• Cox Rings
• Cox rings and combinatorics II
• Des catégories abéliennes
• Endlich präsentierbare Moduln
• Title not available (Why is that?)
• Faisceaux algébriques cohérents
• Vanishing theorems on toric varieties.
• Title not available (Why is that?)
• The spectrum of a locally coherent category
• AN AXIOMATIC SETUP FOR ALGORITHMIC HOMOLOGICAL ALGEBRA AND AN ALTERNATIVE APPROACH TO LOCALIZATION
• Equivariant primary decomposition and toric sheaves
• On monads of exact reflective localizations of abelian categories
• A lifting functor for toric sheaves

Cited In (9)

• The Eilenberg-Watts theorem over schemes
• Linear systems over localizations of rings
• Gauge backgrounds and zero-mode counting in F-theory
• A Constructive Approach to the Module of Twisted Global Sections on Relative Projective Spaces
• 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

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)