Related papers: Pro-algebraic homotopy types
Let $F$ and $k$ be perfect fields. The main goal of this paper is to investigate algebraic models for the Morel-Voevodsky unstable motivic homotopy category $\mathrm{Ho}(F)$ after $\mathbf{H}^{\mathbb{A}^1}k$ localization. More…
The aim of this paper is to show that homotopy pro-nilpotent structured ring spectra are TQ-local, where structured ring spectra are described as algebras over a spectral operad O. Here, TQ is short for topological Quillen homology, which…
The purpose of this memoir is to study pre-Lie algebras up to homotopy with divided powers, and to use this algebraic structure for the study of mapping spaces in the category of operads. We define a new notion of algebra called…
Noncommutative K\"ahler structures were recently introduced as an algebraic framework for studying noncommutative complex geometry on quantum homogeneous spaces. In this paper, we introduce the notion of a \emph{compact quantum homogeneous…
Greenlees has conjectured that the rational stable equivariant homotopy category of a compact Lie group always has an algebraic model. Based on this idea, we show that the category of rational local systems on a connected finite loop space…
Many important theorems in differential topology relate properties of manifolds to properties of their underlying homotopy types -- defined e.g. using the total singular complex or the \v{C}ech nerve of a good open cover. Upon embedding the…
These notes contain a brief introduction to rational homotopy theory: its model category foundations, the Sullivan model and interactions with the theory of local commutative rings.
We show the vanishing of the second homotopy group of the \'etale homotopy type of a smooth connected algebraic group over a separably closed field, completed away from the characteristic. This is an algebraic analogue of a classical…
We develop the basic theory of Maurer-Cartan simplicial sets associated to (shifted complete) $L_\infty$ algebras equipped with the action of a finite group. Our main result asserts that the inclusion of the fixed points of this equivariant…
Building on work of Marta Bunge in the one-categorical case, we characterize when a given model category is Quillen equivalent to a presheaf category with the projective model structure. This involves introducing a notion of homotopy atoms,…
Recently there has been growing interest in discrete homotopies and homotopies of graphs beyond treating graphs as 1-dimensional simplicial spaces. One such type of homotopy is $\times$-homotopy. Recent work by Chih-Scull has developed a…
We study extensively the homotopy theory of coalgebras. By coalgebras, we mean the full theory of coalgebras: with counits and not necessarily locally conilpotent. For example $\mathcal E_\infty$-coalgebras, $\mathcal A_\infty$-coalgebras,…
In the paper "The Second cohomology of nilpotent orbits in classical Lie algebras, Kyoto J. Math. 60 (2020), no. 2, 717-799" by I. Biswas, P. Chatterjee and C. Maity homotopy types of nilpotent orbits are explicitly described in the case of…
We study here some aspects of the topology of the space of smooth, stable, genus 0 curves in a Riemannian manifold $X$, i.e. the Kontsevich stable curves, which are not necessarily holomorphic. We use the Hofer-Wysocki-Zehnder polyfold…
This paper is the second in a series exploring the properties of a functor which assigns a homotopy double groupoid with connections to a Hausdorff space. We show that this functor satisfies a version of the van Kampen theorem, and so is a…
Category theory provides a means through which many far-ranging fields of mathematics can be related by their similar structure. In a paper by Robinson [2], this interconnectivity afforded by categorical perspectives allowed for the…
Pursuing a generalization of group symmetries of modular categories to category symmetries in topological phases of matter, we study linear Hopf monads. The main goal is a generalization of extension and gauging group symmetries to category…
Formality is a topological property, defined in terms of Sullivan's model for a space. In the simply-connected setting, a space is formal if its rational homotopy type is determined by the rational cohomology ring. In the general setting,…
Inspired by a remarkable work of F\'{e}lix, Halperin and Thomas on the asymptotic estimation of the ranks of rational homotopy groups, and more recent works of Wu and the authors on local hyperbolicity, we prove two asymptotic formulae for…
We give necessary conditions for the existence of a compact manifold locally modelled on a given homogeneous space, which generalize some earlier results, in terms of relative Lie algebra cohomology. Applications include both reductive and…