Smoothness in relative geometry

DOI10.1017/IS013010008JKT242MaRDI QIDQ5401544zbMATH OpenOpenAlexFDO

Authors Florian Marty

Publication date 10 March 2014

Published in Journal of \(K\)-Theory (Search for Journal in Brave)

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

zbMATH Keywords

cohomologymodel categoryrelative geometrysimplicial categorysmoothnesssymmetric monoidal category

Mathematics Subject Classification ID

Étale and other Grothendieck topologies and (co)homologies (14F20)

Abstract: In cite{tva}, Bertrand Toen and Michel Vaquie defined a scheme theory for a closed monoidal category $(C,otimes,1)$. In this article, we define a notion of smoothness in this relative (and not necesarilly additive) context which generalizes the notion of smoothness in the category of rings. This generalisation consists practically in changing homological finiteness conditions into homotopical ones using Dold-Kahn correspondance. To do this, we provide the category $sC$ of simplicial objects in a monoidal category and all the categories $sA-mod$, $sA-alg$ ($ainsComm(C)$) with compatible model structures using the work of Rezk in cite{r}. We give then a general notions of smoothness in $sComm(C)$. We prove that this notion is a generalisation of the notion of smooth morphism in the category of rings and provide some examples of smooth morphisms in $N-alg$, $Comm(Set)$ and Comm(C).

Recommendations

• On the smoothness of functors
• Categories of abstract smooth models and their singular envelopes
• The relative Picard functor on schemes over a symmetric monoidal category
• Notes on formal smoothness
• Comparative smootheology

Cites work

• Au-dessous de Specℤ
• Deitmar's versus Toën-Vaquié's schemes over \({\mathbb{F}_{1}}\)
• Diagrams and torsors
• Enriched Reedy categories
• Every homotopy theory of simplicial algebras admits a proper model
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• Relative Zariski open objects
• Simplicial homotopy theory

Cited in

(9)

• Categories of abstract smooth models and their singular envelopes
• Derived logarithmic geometry. I.
• On the smoothness of functors
• Smoothness of sets in Euclidean spaces
• Smoothness is not an obstruction to realizability
• Notes on formal smoothness
• scientific article; zbMATH DE number 5722430 (Why is no real title available?)
• Smooth Approximations in PL Geometry
• scientific article; zbMATH DE number 5585653 (Why is no real title available?)

This page was built for publication: Smoothness in relative geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5401544)