Related papers: Derived mapping spaces of $\infty$-categories

We revisit the entire framework of group classification of differential equations. After introducing the notion of weakly similar classes of differential equations, we develop the mapping method of group classification for such classes,…

We redefine the Baum-Connes assembly map using simplicial approximation in the equivariant Kasparov category. This new interpretation is ideal for studying functorial properties and gives analogues of the assembly maps for all equivariant…

We prove that the homotopy theory of parametrized spaces embeds fully and faithfully in the homotopy theory of simplicial presheaves, and that its essential image consists of the locally homotopically constant objects. This gives a…

Gillam proved that the category of locally ringed spaces admits a fully faithful embedding into a certain category, which has a right adjoint that maps some simple objects to the spectra of rings. In this paper, we use condensed mathematics…

This is the first paper in the sequence devoted to derived category of moduli spaces of curves of genus $0$ with marked points. We develop several approaches to describe it equivariantly with respect to the action of the symmetric group…

The diagonal lemma asserts that if a map of bisimplicial sets is a levelwise weak equivalence in the Kan-Quillen model structure, then it induces a weak equivalence of the diagonal simplicial sets. In this short note, we observe that the…

We define a trace map for every cohomological correspondence in the motivic stable homotopy category over a general base scheme, which takes values in the twisted bivariant groups. Local contributions to the trace map give rise to quadratic…

We prove a strengthened sector lemma for irreducible, finite-dimensional, locally finite, essential, cocompact CAT(0) cube complexes under the additional hypothesis that the complex is \emph{hyperplane-essential}; we prove that every…

We prove a theorem that generalizes Schmidt's Subspace Theorem in the context of metric diophantine approximation. To do so we reformulate the Subspace theorem in the framework of homogeneous dynamics by introducing and studying a slope…

We show that the canonical map from the associative operad to the unital associative operad is a homotopy epimorphism for a wide class of symmetric monoidal model categories. As a consequence, the space of unital associative algebra…

The usual Gromoll-Meyer's generalized Morse lemma near degenerate critical points on Hilbert spaces, so called splitting lemma, is stated for at least $C^2$-smooth functionals. In this paper we establish a splitting theorem and a shifting…

We give a new description of Rosenthal's generalized homotopy fixed point spaces as homotopy limits over the orbit category. This is achieved using a simple categorical model for classifying spaces with respect to families of subgroups.

We observe that on the level of derived categories, representations of the Lie algebra of a semisimple algebraic group over a field of characteristic $p> h$ (where $h$ is the Coxeter number), with a given (generalized) central character are…

Derivations provide a way of transporting ideas from the calculus of manifolds to algebraic settings where there is no sensible notion of limit. In this paper, we consider derivations in certain monoidal categories, called codifferential…

Constructing and manipulating homotopy types from categorical input data has been an important theme in algebraic topology for decades. Every category gives rise to a `classifying space', the geometric realization of the nerve. Up to weak…

We prove a $C^\infty$ closing lemma for Hamiltonian diffeomorphisms of closed surfaces. This is a consequence of a $C^\infty$ closing lemma for Reeb flows on closed contact three-manifolds, which was recently proved as an application of…

Families of objects appear in several contexts, like algebraic topology, theory of deformations, theoretical physics, etc. An unified coordinate-free algebraic framework for families of geometrical quantities is presented here, which allows…

We construct an injective map from the set of holomorphic equivalence classes of neighborhoods $M$ of a compact complex manifold $C$ into ${\mathbb C}^m$ for some $m<\infty$ when $(TM)|_C$ is fixed and the normal bundle of $C$ in $M$ is…

Given a small category C, we show that there is a universal way of expanding C into a model category, essentially by formally adjoining homotopy colimits. The technique of localization becomes a method for imposing `relations' into these…

We generalize the concept of global moment maps to local moment maps, whose different branches are labelled by the elements of the fundamental group of the underlying symplectic manifold. These branches can be smoothly glued together by…