activity
20092025
most citedKato-Nakayama spaces, infinite root stacks, and the profinite homotopy type of log schemes

14 citations · 38 across the 10 of their papers we have counts for

collaborators

14 papers

math.DG2025

Quasi-coherent sheaves and D-modules in Derived Differential Supergeometry

David Carchedi

Derived geometry provides powerful tools to handle non-transverse intersections and singular moduli problems arising in geometry and theoretical physics. While derived algebraic ge…

math.DG2023

Derived Manifolds as Differential Graded Manifolds

David Carchedi

On one hand, together with Pelle Steffens, we recently characterized the infinity category of derived manifolds up to equivalence by a universal property. On the other hand, it is…

math.AG2019★ 1 cited

On the profinite homotopy type of log schemes

David Carchedi, Sarah Scherotzke, Nicolò Sibilla +1

We complete the program, initiated in [6], to compare the many different possible definitions of the underlying homotopy type of a log scheme. We show that, up to profinite complet…

math.AT2019★ 2 cited

On the Universal Property of Derived Manifolds

David Carchedi, Pelle Steffens

It is well known that any model for derived manifolds must form a higher category. In this paper, we propose a universal property for this higher category, classifying it up to equ…

math.AG2018★ 1 cited

Relative Étale Realizations of Motivic Spaces and Dwyer-Friedlander -Theory of Noncommutative Schemes

David Carchedi, Elden Elmanto

In this paper, we construct a refined, relative version of the étale realization functor of motivic spaces, first studied by Isaksen and Schmidt. Their functor goes from the $\inft…

math.AG2015

On the étale homotopy type of higher stacks

David Carchedi

A new approach to étale homotopy theory is presented which applies to a much broader class of objects than previously existing approaches, namely it applies not only to all schemes…