A note on gluing: a pillar of algebraic geometry
This paper examines the concept of gluing, placing it within its most general categorical context and tracing its foundational role in the broader architecture of algebraic geometry.
arXiv subjects
Publications and source records attributed to Damas Mgani.
This paper examines the concept of gluing, placing it within its most general categorical context and tracing its foundational role in the broader architecture of algebraic geometry.
We present a novel approach to the concept of gluing in mathematics by introducing the notions of a gluing data category and a gluing data functor. Our work provides a formal categorical characterization of the notion of gluing in algebraic geometry. By using this characterization, we are able to describe gluing in a unified way that applies to a wide range of mathematical structures, including topological spaces, presheaves, sheaves, ringed topological spaces, locally ringed topological spaces, and schemes. Our results provide a fresh perspective on gluing that is both abstract and formal, offering a deeper understanding of this fundamental concept in mathematics.
This paper introduces the concept of gluing in a general category, enabling us to define categories that admit glued-up objects. To achieve this, we introduce the notion of a gluing index category. Subsequently, we provide an entirely abstract definition of a gluing data functor requiring only the given category to admit pushouts. We explore various characterizations of cones and limits over these functors. We introduce the concept of refined gluing, which in turn enables us to combine different gluing data effectively. Furthermore, we demonstrate that several categories of topological spaces admit glued-up objects. This, in turn, allows us to establish a concept of gluing covering and to prove that the collection of those coverings forms a Grothendieck topology.