2024/12/12 by Abhishek Banerjee, Banerjee, Abhishek, Subhajit Das +3
Engineering · #14A30 #18M05 #Algebraic Geometry (math.AG) #BIM and Construction Integration #Category Theory (math.CT) #FOS: Mathematics
paper · pdf · doi:10.48550/arxiv.2412.08952
openalex publication_date 2024/12/12 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We use categorification of monoid actions to study algebraic geometry over symmetric monoidal categories. This brings together the relative algebraic geometry over symmetric monoidal categories developed by Toën and Vaquié, along with the theory of actegories over monoidal categories. We obtain schemes over a datum (\mathcal C,\mathcal M), where (\mathcal C,⊗,1) is a symmetric monoidal category and \mathcal M is an actegory over \mathcal C. One of our main tools is using the datum (\mathcal C,\mathcal M) to give a Grothendieck topology on the category of affine schemes over (\mathcal C,⊗,1) that we call the ``spectral \mathcal M-topology.'' This consists of ``fpqc \mathcal M-coverings'' with certain special properties. We provide a description of schemes over (\mathcal C,\mathcal M) in terms of quotients of disjoint unions of affine schemes over a certain equivalence relation. These categories of schemes are closed under pullbacks and coproducts, and are equipped with change of base functors induced by symmetric monoidal adjuctions accompanied by lax \mathcal C-linear functors.