De Rham Theory in Derived Differential Geometry

TL;DR

This paper develops a de Rham theory for singular differentiable spaces, establishing conditions for isomorphisms and proposing a version of the de Rham theorem applicable to a broad class of spaces, including singular and analytic cases.

Contribution

It introduces a de Rham cohomology framework for singular differentiable spaces and constructs a de Rham stack with an isomorphism to constant sheaf cohomology, extending classical results.

Findings

De Rham cohomology using cotangent complex detects local invariants in singular spaces.

Conditions identified for de Rham isomorphism to hold in singular contexts.

A de Rham theorem for singular differentiable spaces is established, with extensions to analytic functions.

Abstract

This paper addresses the question: What is the de Rham theory for general differentiable spaces? We identify two potential answers and study them. In the first part, we show that the de Rham cohomology calculated using (the completion of) the exterior algebra of the cotangent complex yields non-trivial local invariants for singular differentiable spaces. In particular, in some cases, it differs from the constant sheaf cohomology, which provides an obstruction for the de Rham comparison map to be an equivalence. Moreover, we provide conditions under which this local invariant trivializes, yielding a de Rham-type isomorphism. In the second part, we show that for a suitably defined de Rham stack, there is always an isomorphism between functions on it and constant sheaf cohomology of the underlying topological space. Consequently, there exists a version of the de Rham theorem for singular differentiable spaces which holds with almost no restrictions. Finally, we sketch a generalization of this result to other theories of smooth functions, such as holomorphic or analytic functions. The last part is thus related to analytic de Rham stacks of Rodriguez Camargo used by Scholze to geometrize the local Langlands correspondence.