Showing 1–9 of 9 results for author: González, J R

The snail lemma and the long homology sequence

Authors: Julia Ramos González, Enrico Vitale

Abstract: In the first part of the paper, we establish an homotopical version of the snail lemma (which is a generalization of the classical snake lemma). In the second part, we introduce the category $\mathbf{Seq}(\mathcal A)$ of sequentiable families of arrows in a category $\mathcal A$ and we compare it with the category of chain complexes in $\mathcal A.$ We apply the homotopy snail lemma to a morphism… ▽ More In the first part of the paper, we establish an homotopical version of the snail lemma (which is a generalization of the classical snake lemma). In the second part, we introduce the category $\mathbf{Seq}(\mathcal A)$ of sequentiable families of arrows in a category $\mathcal A$ and we compare it with the category of chain complexes in $\mathcal A.$ We apply the homotopy snail lemma to a morphism in $\mathbf{Seq}(\mathcal A)$ obtaining first a six-term exact sequence in $\mathbf{Seq}(\mathcal A)$ and then, unrolling the sequence in $\mathbf{Seq}(\mathcal A),$ a long exact sequence in $\mathcal A.$ When $\mathcal A$ is abelian, this sequence subsumes the usual long homology sequence obtained from an extension of chain complexes. △ Less

Submitted 9 March, 2025; originally announced March 2025.

Comments: 31 pages

MSC Class: 18G50; 18G35; 18N40

A derived Gabriel-Popescu theorem for t-structures via derived injectives

Authors: Francesco Genovese, Julia Ramos González

Abstract: We prove a derived version of the Gabriel-Popescu theorem in the framework of dg-categories and t-structures. This exhibits any pretriangulated dg-category with a suitable t-structure (such that its heart is a Grothendieck abelian category) as a t-exact localization of a derived dg-category of dg-modules. We give an original proof based on a generalization of Mitchell's argument in "A quick proof… ▽ More We prove a derived version of the Gabriel-Popescu theorem in the framework of dg-categories and t-structures. This exhibits any pretriangulated dg-category with a suitable t-structure (such that its heart is a Grothendieck abelian category) as a t-exact localization of a derived dg-category of dg-modules. We give an original proof based on a generalization of Mitchell's argument in "A quick proof of the Gabriel-Popesco theorem" and involving derived injective objects. As an application, we also give a short proof that derived categories of Grothendieck abelian categories have a unique dg-enhancement. △ Less

Submitted 6 May, 2021; originally announced May 2021.

Comments: 43 pages, comments are welcome

MSC Class: 18E10; 18E35; 18N55; 18G05; 18G35; 18G80

Exponentiable Grothendieck categories in flat Algebraic Geometry

Authors: Ivan Di Liberti, Julia Ramos González

Abstract: We introduce and describe the $2$-category $\mathsf{Grt}_{\flat}$ of Grothendieck categories and flat morphisms between them. First, we show that the tensor product of locally presentable linear categories $\boxtimes$ restricts nicely to $\mathsf{Grt}_{\flat}$. Then, we characterize exponentiable objects with respect to $\boxtimes$: these are continuous Grothendieck categories. In particular, loca… ▽ More We introduce and describe the $2$-category $\mathsf{Grt}_{\flat}$ of Grothendieck categories and flat morphisms between them. First, we show that the tensor product of locally presentable linear categories $\boxtimes$ restricts nicely to $\mathsf{Grt}_{\flat}$. Then, we characterize exponentiable objects with respect to $\boxtimes$: these are continuous Grothendieck categories. In particular, locally finitely presentable Grothendieck categories are exponentiable. Consequently, we have that, for a quasi-compact quasi-separated scheme $X$, the category of quasi-coherent sheaves $\mathsf{Qcoh}(X)$ is exponentiable. Finally, we provide a family of examples and concrete computations of exponentials. △ Less

Submitted 2 May, 2022; v1 submitted 14 March, 2021; originally announced March 2021.

Comments: Final version. Accepted for publication

MSC Class: 14A22; 14F06; 18B25; 18C35; 18F10; 18M05; 18E10

Filtered bicolimit presentations of locally presentable linear categories, Grothendieck categories and their tensor products

Authors: J. Ramos González

Abstract: We investigate two different ways of recovering a Grothendieck category as a filtered bicolimit of small categories and the compatibility of both with the tensor product of Grothendieck categories. Firstly, we show that any locally presentable linear category (and in particular any Grothendieck category) can be recovered as the filtered bicolimit of its subcategories of $α$-presentable objects, wi… ▽ More We investigate two different ways of recovering a Grothendieck category as a filtered bicolimit of small categories and the compatibility of both with the tensor product of Grothendieck categories. Firstly, we show that any locally presentable linear category (and in particular any Grothendieck category) can be recovered as the filtered bicolimit of its subcategories of $α$-presentable objects, with $α$ varying in the family of small regular cardinals. We then prove that the tensor product of locally presentable linear categories (and in particular the tensor product of Grothendieck categories) can be recovered as a filtered bicolimit of the Kelly tensor product of $α$-cocomplete linear categories of the corresponding subcategories of $α$-presentable objects. Secondly, we show that one can recover any Grothendieck category as a filtered bicolimit of its linear site presentations. We then prove that the tensor product of Grothendieck categories, in contrast with the first case, cannot be recovered in general as a filtered bicolimit of the tensor product of the corresponding linear sites. Finally, as a direct application of the first presentation, we translate the functoriality, associativity and symmetry of the Kelly tensor product of $α$-cocomplete linear categories to the tensor product of locally presentable linear categories. △ Less

Submitted 30 August, 2022; v1 submitted 11 March, 2020; originally announced March 2020.

MSC Class: 18E10; 18C35; 18N10; 14A22

On the tensor product of well generated dg categories

Authors: Wendy Lowen, Julia Ramos González

Abstract: We endow the homotopy category of well generated (pretriangulated) dg categories with a tensor product satisfying a universal property. The resulting monoidal structure is symmetric and closed with respect to the cocontinuous RHom of dg categories (in the sense of Toën [26]). We give a construction of the tensor product in terms of localisations of dg derived categories, making use of the enhanced… ▽ More We endow the homotopy category of well generated (pretriangulated) dg categories with a tensor product satisfying a universal property. The resulting monoidal structure is symmetric and closed with respect to the cocontinuous RHom of dg categories (in the sense of Toën [26]). We give a construction of the tensor product in terms of localisations of dg derived categories, making use of the enhanced derived Gabriel-Popescu theorem [21]. Given a regular cardinal alpha, we define and construct a tensor product of homotopically alpha-cocomplete dg categories and prove that the well generated tensor product of alpha-continuous derived dg categories (in the sense of [21]) is the alpha-continuous dg derived category of the homotopically alpha-cocomplete tensor product. In particular, this shows that the tensor product of well generated dg categories preserves alpha-compactness. △ Less

Submitted 22 July, 2021; v1 submitted 23 February, 2020; originally announced February 2020.

MSC Class: 18G80; 18G35; 18M05; 18E35

Gabriel-Ulmer duality for topoi and its relation with site presentations

Authors: Ivan Di Liberti, Julia Ramos González

Abstract: Let $κ$ be a regular cardinal. We study Gabriel-Ulmer duality when one restricts the 2-category of locally $κ$-presentable categories with $κ$-accessible right adjoints to its locally full sub-2-category of $κ$-presentable Grothendieck topoi with geometric $κ$-accessible morphisms. In particular, we provide a full understanding of the locally full sub-2-category of the 2-category of $κ$-small coco… ▽ More Let $κ$ be a regular cardinal. We study Gabriel-Ulmer duality when one restricts the 2-category of locally $κ$-presentable categories with $κ$-accessible right adjoints to its locally full sub-2-category of $κ$-presentable Grothendieck topoi with geometric $κ$-accessible morphisms. In particular, we provide a full understanding of the locally full sub-2-category of the 2-category of $κ$-small cocomplete categories with $κ$-colimit preserving functors arising as the corresponding 2-category of presentations via the restriction. We analyse the relation of these presentations of Grothendieck topoi with site presentations and we show that the 2-category of locally $κ$-presentable Grothendieck topoi with geometric $κ$-accessible morphisms is a reflective sub-bicategory of the full sub-2-category of the 2-category of sites with morphisms of sites genearated by the weakly $κ$-ary sites in the sense of Shulman [37]. △ Less

Submitted 3 July, 2019; v1 submitted 25 February, 2019; originally announced February 2019.

Comments: 25 pages

MSC Class: 18B25; 18C35; 18C10; 18C30; 18F10; 18D05

Grothendieck categories as a bilocalization of linear sites

Authors: Julia Ramos González

Abstract: We prove that the 2-category Grt of Grothendieck abelian categories with colimit preserving functors and natural transformations is a bicategory of fractions in the sense of Pronk of the 2-category Site of linear sites with continuous morphisms of sites and natural transformations. This result can potentially be used to make the tensor product of Grothendieck categories from earlier work by Lowen,… ▽ More We prove that the 2-category Grt of Grothendieck abelian categories with colimit preserving functors and natural transformations is a bicategory of fractions in the sense of Pronk of the 2-category Site of linear sites with continuous morphisms of sites and natural transformations. This result can potentially be used to make the tensor product of Grothendieck categories from earlier work by Lowen, Shoikhet and the author into a bi-monoidal structure on Grt. △ Less

Submitted 31 July, 2017; v1 submitted 24 July, 2017; originally announced July 2017.

Journal ref: Appl Categor Struct (2018)

On the tensor product of linear sites and Grothendieck categories

Authors: Wendy Lowen, Julia Ramos González, Boris Shoikhet

Abstract: We define a tensor product of linear sites, and a resulting tensor product of Grothendieck categories based upon their representations as categories of linear sheaves. We show that our tensor product is a special case of the tensor product of locally presentable linear categories, and that the tensor product of locally coherent Grothendieck categories is locally coherent if and only if the Deligne… ▽ More We define a tensor product of linear sites, and a resulting tensor product of Grothendieck categories based upon their representations as categories of linear sheaves. We show that our tensor product is a special case of the tensor product of locally presentable linear categories, and that the tensor product of locally coherent Grothendieck categories is locally coherent if and only if the Deligne tensor product of their abelian categories of finitely presented objects exists. We describe the tensor product of non-commutative projective schemes in terms of Z-algebras, and show that for projective schemes our tensor product corresponds to the usual product scheme. △ Less

Submitted 15 March, 2017; v1 submitted 13 July, 2016; originally announced July 2016.

Comments: New sections 5.3 on the alpha-Deligne tensor product and 5.4 on future prospects

MSC Class: 18E15; 18E35; 16D90

A negative answer to the question of the linearity of Tate's Trace for the sum of two endomorphisms

Authors: Julia Ramos González, Fernando Pablos Romo

Abstract: The aim of this note is to solve a problem proposed by J. Tate in 1968 by offering a counter-example of the linearity of the trace for the sum of two finite potent operators on an infinite-dimensional vector space. The aim of this note is to solve a problem proposed by J. Tate in 1968 by offering a counter-example of the linearity of the trace for the sum of two finite potent operators on an infinite-dimensional vector space. △ Less

Submitted 19 September, 2012; originally announced September 2012.

MSC Class: 15A03; 15A04

Journal ref: Linear and Multilinear Algebra (2014)