I am a postdoc in the group of Damien Calaque at the Université de Montpellier, as part of the ERC project `Derived Symplectic Geometry and Applications'. Previously, I was a postdoc at the MPIM Bonn and a PhD student with Ieke Moerdijk at the Universiteit Utrecht.
I am interested in homotopy theory and derived algebraic geometry, in particular deformation theory and its relation to Lie algebroids. My work also tends to involve the theory of operads and algebras over them.
Moduli problems for operadic algebras (with D. Calaque, R. Campos). pdf, arXiv.
Abstract: A theorem of Pridham and Lurie provides an equivalence between formal moduli problems and Lie algebras in characteristic zero. We prove a generalization of this correspondence, relating formal moduli problems parametrized by algebras over a Koszul operad to algebras over its Koszul dual operad. In particular, when the Lie algebra associated to a deformation problem is induced from a pre-Lie structure it corresponds to a permutative formal moduli problem. As another example we obtain a correspondence between operadic formal moduli problems and augmented operads.
Abstract: Given an ∞-category with a set of weak equivalences which is stable under pullback, we show that the mapping spaces of the corresponding localization can be described as group completions of ∞-categories of spans. Furthermore, we show how these ∞-categories of spans are the mapping objects of an (∞,2)-category, which yields a Segal space model for the localization after a Kan fibrant replacement.
An extension of Quillen's Theorem B (with I. Moerdijk). pdf, arXiv.
In: Algebr. Geom. Topol. (to appear).
Abstract: We prove a general version of Quillen's Theorem B, for actions of simplicial categories, in an arbitrary left Bousfield localization of the homotopy theory of simplicial presheaves over a site. As special cases, we recover a version of the group completion theorem in this general context, as well a version of Puppe's theorem on the stability of homotopy colimits in an ∞-topos, due to Rezk.
In: Israel J. Math. 234(2):691-742, 2019.
Abstract: Given an ∞-operad, the stabilization of its ∞-category of algebras in a stable ∞-category admits a simple description in terms of operadic modules, Basterra-Mandell, Schwede and Lurie. In this paper we develop a model-categorical counterpart of this identification and extend it to the case of algebras over an enriched operad, taking values in a model category which is not necessarily stable.
In: Theory Appl. Categ. 34(33):1039-1072, 2019.
Abstract: This paper studies the homotopy theory of parametrized spectrum objects in a model category from a global point of view. More precisely, for a model category M satisfying suitable conditions, we construct a map of model categories TM → M, called the tangent bundle, whose fiber over an object in M is a model category for spectra in its over-category. We show that the tangent bundle is a relative model category and presents the ∞-categorical tangent bundle.
In: Adv. Math. 354:106750, 63, 2019.
Abstract: This paper studies the role of dg-Lie algebroids in derived deformation theory. More precisely, we provide an equivalence between the homotopy theories of formal moduli problems and dg-Lie algebroids over a commutative dg-algebra of characteristic zero. At the level of linear objects, we show that the category of representations of a dg-Lie algebroid is an extension of the category of quasi-coherent sheaves on the corresponding formal moduli problem. We describe this extension geometrically in terms of pro-coherent sheaves.
In: Appl. Categ. Structures, 27(5):493-534, 2019.
Abstract: We construct Quillen equivalent semi-model structures on the categories of dg-Lie algebroids and L-infinity-algebroids over a commutative dg-algebra in characteristic zero. This allows one to apply the usual methods of homotopical algebra to dg-Lie algebroids: for example, every Lie algebroid can be resolved by dg-Lie algebroids that arise from dg-Lie algebras, i.e. that have a null-homotopic anchor map. As an application, we show how Lie algebroid cohomology is represented by an object in the homotopy category of dg-Lie algebroids.
In: Higher Structures, 3(1):17-66, 2019.
Abstract: In this paper we study the homotopy theory of parameterized spectrum objects in the ∞-category of (∞ ,2)-categories, as well as the Quillen cohomology of an (∞,2)-category with coefficients in such a parameterized spectrum. More precisely, we construct an analogue of the twisted arrow category for an (∞,2)-category C and prove that parameterized spectrum objects over C are equivalent to diagrams of spectra indexed by its `twisted 2-cell ∞-category'. As an application, we provide an alternative, obstruction-theoretic proof of the fact that adjunctions between (∞,1)-categories are uniquely determined at the level of the homotopy (3,2)-category of ∞-categories.
The abstract cotangent complex and Quillen cohomology of enriched categories (with Y. Harpaz, M. Prasma). pdf, doi, arXiv.
In: J. Topol. 11(3):752-798, 2018.
Abstract: We give new and explicit computations of the cotangent complex and Quillen cohomology of categories enriched over (not necessarily stable) model categories. In particular, we present the cotangent complex of an ∞-category as a spectrum valued functor on its twisted arrow category, and consider the associated obstruction theory in some examples of interest.
Minimal fibrations of dendroidal sets (with I. Moerdijk). pdf, doi, arXiv.
In: Algebr. Geom. Topol. 16(6): 3581-3614, 2016.
Abstract: We prove the existence of minimal models for fibrations between dendroidal sets in the model structure for infinity-operads, as well as in the covariant model structure for algebras and in the stable one for connective spectra. In an appendix, we explain how our arguments can be used to extend the results of Cisinski, giving the existence of minimal fibrations in model categories of presheaves over generalised Reedy categories of a rather common type. Besides some applications to the theory of algebras over infinity-operads, we also prove a gluing result for parametrized connective spectra (or Gamma-spaces).
PhD. thesis, Universiteit Utrecht. (Supervisor: I. Moerdijk)
Abstract: A classical principle in deformation theory asserts that any formal deformation problem is controlled by a differential graded Lie algebra. This thesis studies a generalization of this principle to Lie algebroids, and uses this to examine the interactions between the theory of Lie algebroids and the derived geometry of moduli spaces. The first half of the thesis develops the homotopy theory of differential graded Lie algebroids over a fixed affine derived manifold. We prove that any deformation problem over such a derived manifold is controlled by a Lie algebroid, by constructing an equivalence between the homotopy theory of Lie algebroids and the homotopy theory of formal moduli problems. This equivalence furthermore extends to an equivalence between representations of Lie algebroids and quasi-coherent sheaves over formal moduli problems.
In the second half of the thesis, we develop the theory of derived differential topology and apply it to study Lie algebroids arising from derived differentiable stacks. Using the results of the first half, we show that the relative tangent bundle of a derived manifold over a derived stack has a Lie algebroid structure. We then provide a criterion for maps between Lie algebroids to integrate to maps between stacks, generalizing classical theorems of Lie and Van Est. This result is applied to show that finite-dimensional L-infinity algebras can be integrated to higher Lie groups.
Higher stacks as a category of fractions. pdf.
Abstract: A note on presenting ∞-categories of higher differentiable/derived stacks in terms of higher groupoids, i.e. using simplicial homotopy theory.
Master thesis, Universiteit Utrecht. (Supervisor: U. Schreiber)
Abstract: We discuss how local prequantum field theories with boundaries can be described in terms of n-fold correspondence diagrams in the ∞-category of smooth stacks equipped with higher circle bundles. We are particularly interested in the case of 2d boundary field theories, for which there is a `pull-push quantization' taking values in the twisted K-theory of differentiable stacks.