David Carchedi Postdoc in Mathematics

I am a postdoc in mathematics at the Max Planck Institute for Mathematics. I co-organize the Higher Differential Geometry seminar here, together with Christian Blohmann and Peter Teichner.

Before this appointment, I was a PhD student of Ieke Moerdijk at Utrecht University. My thesis title was "Categorical Properties of Topological and Differentiable Stacks."

Click here for a PDF version



Categorical Properties of Topological and Diffentiable Stacks


A prezi outlining some of my research areas. It was part of my presentation in MPI's Oberseminar in 2012


Curriculum vitae




A central theme of my research is applications of higher category theory to topology and differential geometry, and most recently, to field theory. Specifically, I have constructed a higher category of derived smooth manifolds using differential graded supergeometry, I have developed a universal framework to study higher (derived) orbifolds applicable in differential topology, and algebraic geometry over commutative classical rings, simplicial rings, and E-ring spectra, and finally, I am investigating the use of transgression in twisted generalized cohomology theories as a means to quantize field theories.

Description of Research

Together with Dmitry Roytenberg, I have constructed a simple model for derived manifolds using differential graded manifolds. This model is geometric in nature and allows one to explicitly calculate derived pullbacks of smooth maps between manifolds by an easy formula. Moreover, we have nearly finished showing that our higher category of dg-manifolds is equivalent to the models of derived manifolds proposed by Spivak, and Borisov-Noel (these two models are known to be equivalent).

I have developed a universal framework to study smooth higher orbifolds, on the one hand, and (higher) algebraic Deligne-Mumford stacks, as well as their derived and spectral analogues, on the other. The framework yields a new characterization of classical Deligne-Mumford stacks, which extends to the derived and spectral setting as well. In the differentiable setting, this characterization shows that there is a natural correspondence between n-dimensional smooth higher orbifolds, and classical fields for n-dimensional field theories. I have also found a simple formula for the weak homotopy type of smooth higher orbifolds, which gives a new way of expressing the weak homotopy types of certain classifying spaces arising in foliation theory and classical differential topology (preprints to appear soon).


I recently became involved in a project with Joost Nuiten and Urs Schreiber on the quantization of local prequantum field theories. The latter are, in a precise sense, field theories arising from a process of prequantization of geometric data, and encode (fully transgressed) action functionals. They are modeled as n-dimensional fully extended topological quantum field theories. Following ideas of Freed, we are attempting to formalize Feynman's "path integral" approach to quantization through transgression in twisted generalized cohomology. It is our hope to arrive at field theories which describe actual physics, and at the same time lead to interesting manifold invariants.


Published Papers

On Theories of Superalgebras of Differentiable Functions. Theory and Applications of Categories, Vol. 28, 2013, No. 30, pp 1022-1098.

An Étalé Space Construction for Stacks. Journal of Algebraic and Geometric Topology 13(2):831-903, 2013

Compactly Generated Stacks: A Cartesian closed theory of topological stacks. Advances in Mathematics, Volume 229, Issue 6, April 1 2012, Pages 3339-3397 arXiv link


Higher Orbifolds and Deligne-Mumford Stacks as Structured Infinity Topoi

Homological Algebra for Superalgebras of Differentiable Functions

Étalé Stacks as Prolongations

Sheaf Theory for Étale Geometric Stacks

Articles in Preparation

A simple formula for the weak homotopy type of Haefliger classifying spaces.

Homotopy theory of orbispaces (with D. Gepner and A. Henriques)

Additional Material

Informal notes about Étale stacks I wrote for Alan Weinstein: A Quick Note on Étale Stacks

PhD Thesis



I will be a Visiting Scholar at Berkeley from Jan.-May of 2014 with Alan Weinstein.

I was a Visiting Scholar at MIT during the summers of 2009, 2010, 2012, and 2013

Before starting my PhD at Utrecht, I spent a year in Utrecht as a participant in the Master Class in Symplectic Geometry from 2006-2007.

I also participated quite a bit in the Master Class in Calabi-Yau Geometry from 2008-2009.

In Fall of 2002, I was a participant in the "Math in Moscow Program"


                                                                                    ©2013 David Carchedi     ©2013 Smoking Hen Studios