## Flat resolutions of DG-schemes

Recall that a DG-scheme is a pair (X,OX), where (X,O0X) is a scheme, OX is a sheaf of commutative DG-algebras over (X,O0X), and each OiX is a quasi-coherent O0X-module. I would like to know if in this generality (without assuming things like X being quasi-projective over a field of characteristic zero), is it known that … Read more

## Reference request: category of sheaves of O-modules with coherent cohomology

Suppose X is a smooth algebraic variety (say, in characteristic 0). It’s a folklore result that DbCoh(X) is equivalent to the derived category of complexes of sheaves of OX-modules whose cohomology is coherent. The only reference I could find are these notes, which are written in some exotic language I can’t parse. Does anyone know … Read more

## Motivic Interpretation of Rationally Trivial Cycles

The Chow groups are defined by taking groups of cycles modulo rationally trivial cycles. One then has a cycle class map to etale cohomology (over the base field), and for a number field, one expects this to be an isomorphism after tensoring appropriately. On the other hand, there seems to be no clear way to … Read more

## Why do motivic stacks make sense?

In the paper “Motivic model categories and motivic derived algebraic geometry”, Yuki Kato, whose email-address I sadly couldn’t find out, describes a procedure to “motivy” the objects of any (∞,1)-category by doing the construction used to get motivic spaces over an arbitrary base. He then applies this construction to (∞,1)-Cat itself to get motivic categories … Read more

## The lisse-etale site and derived algebraic geometry

If one reads say Olsson’s book on algebraic stacks or Laumon-Moret-Bailly. The lisse-etale topology is used to define quasi-coherent sheaves and the cotangent complex (or rather cutoff’s of the cotangent complex). Now it could well be that I did not read close enough, but my impression is that in Toen-Vezzosi’s Homotopical Algebraic Geometry II and … Read more

## Global functions algebra of formal (infinity) groupoid associated to Lie (infinity) algebroid

I was wondering if there is a smooth (sophisticated) way to associate the algebra of global functions of formal groupoid associated to Lie-Rinehart algebra (considered as 1-stack) to its Chevalley-Eilenberg complex, that could be generalized to Lie algebroids and even Lie infinity algebroids. So far, (at least when a Lie-Rinehart A-algebra L is free as … Read more

## Homotopy colimit description of stacks

Let F be an Artin stack. If p:X→F is an atlas for F, can we express F, in the ∞-category Shvet´ of higher stacks, as a homotopy colimit over the simplicial diagram … \rightrightarrows X \times_{F} X \rightrightarrows X in {\rm Shv} ^{\acute{et}}(k)? I ask this because we know that if U_{\bullet} \to X is … Read more

## Examples of non-hypercomplete sheaves on affine schemes

Let A be a commutative ring and let O be a sheaf of E∞-ring spectra on SpecA such that π0O=OSpecA. Lurie provides a criterion when (SpecA,O) coincides with SpecO(SpecA), namely if the homotopy groups πnO are quasi-coherent sheaves on SpecA and O is hypercomplete (Spectral Algebraic Geometry, Proposition 1.6.1.1). To get a better understanding why … Read more

## Does the ∞-category of Derived/Spectral schemes admit all colimits over constant diagrams?

In the case of ordinary schemes, all coproducts exist, so given any constant diagram $D_S:C\to \operatorname{Sch}$, the colimit over $D_S$ is isomorphic to the coproduct of $S$ over the connected components of $C$. In the homotopical setting, colimits over constant diagrams are much more interesting, representing tensors by homotopy types. Do all colimits over constant … Read more

## Derived category of a fiber product

Let X=Y×ZW, where X,Y,Z,W are Noetherian schemes, and consider the pullback diagram associated to X,Y,Z,W. We have a diagram \require{AMScd} \begin{CD} D(Z) @>>> D(Y)\\ @VVV @VVV\\ D(W) @>>> D(X) \end{CD}, where D(-) means either the bounded derived category of coherent sheaves, or the unbounded category of quasi coherent sheaves, and the maps are given by … Read more