Derived Logarithmic Geometry I
arXiv:1307.4246 · doi:10.1017/S1474748014000322
Abstract
In order to develop the foundations of logarithmic derived geometry, we introduce a model category of logarithmic simplicial rings and a notion of derived log étale maps and use this to define derived log stacks.
v3: 33 pages; adjusted title, to appear in J. Inst. Math. Jussieu