Smooth flat maps over commutative DG-rings

DOI10.1007/S00209-021-02748-0MaRDI QIDQ6348242arXivFDO

Authors Liran Shaul

Publication date 2 September 2020

Published in arXiv

Full work available at URL https://doi.org/10.1007/S00209-021-02748-0

Mathematics Subject Classification ID

Derived categories and commutative rings (13D09) Fundamental constructions in algebraic geometry involving higher and derived categories (homotopical algebraic geometry, derived algebraic geometry, etc.) (14A30) Local structure of morphisms in algebraic geometry: étale, flat, etc. (14B25) Differential graded algebras and applications (associative algebraic aspects) (16E45)

arXiv classification

math.ACmath.AG

Abstract: We study smooth maps that arise in derived algebraic geometry. Given a map $AoB$ between non-positive commutative noetherian DG-rings which is of flat dimension $0$, we show that it is smooth in the sense of To"{e}n-Vezzosi if and only if it is homologically smooth in the sense of Kontsevich. We then show that $B$, being a perfect DG-module over $Botime{s}_A^{mathrmL}B$ has, locally, an explicit semi-free resolution as a Koszul complex. As an application we show that a strong form of Van den Bergh duality between (derived) Hochschild homology and cohomology holds in this setting.

This page was built for publication: Smooth flat maps over commutative DG-rings

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