2025/08/01 by Lorenzo Martini, Carlos E. Parra, Martini, Lorenzo +5 · 1 citation
Mathematics · #18C35 #18E10 #18E35 #18G25 #Algebraic Geometry (math.AG) #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Representation Theory (math.RT) #Rings and Algebras (math.RA) #Rings, Modules, and Algebras
paper · pdf · doi:10.48550/arxiv.2508.00670
openalex publication_date 2025/08/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
A problem raised by Cuadra and Simson in 2007 asks whether any locally finitely presented Grothendieck category with enough flat objects also has enough projectives. In this paper, we start from a key observation: a locally finitely presented Grothendieck category has enough flat objects if, and only if, it has exact products. This enables several equivalent reformulations of the problem, allowing us to identify a counterexample (thus providing a negative solution to the problem), while also connecting it to a classical ring-theoretical question posed by Miller in 1975, and even to the Telescope Conjecture for compactly generated triangulated categories. Moreover, we describe several classes of Grothendieck categories where the problem can be answered affirmatively. For example, we show that a locally finitely presented Grothendieck category whose category of finitely presented objects is Krull--Schmidt has enough flats if, and only if, it is generated by a family of finitely generated projectives.