Related papers: Rigidification of higher categorical structures

We give a homotopy theoretic characterization of stacks on a site $\cC$ as the {\it homotopy sheaves} of groupoids on $\cC$. We use this characterization to construct a model category in which stacks are the fibrant objects. We compare…

The classical Cohn-Vossen theorem states that two isometric compact convex surfaces in $\mathbb{R}^{3}$ are congruent. In this short note, we generalize the classical Cohn-Vossen Theorem to higher dimensional surfaces in space form…

We develop the framework for augmented homotopical algebraic geometry. This is an extension of homotopical algebraic geometry, which itself is a homotopification of classical algebraic geometry. To do so, we define the notion of…

In this paper we define a rigid rational homotopy type, associated to any variety $X$ over a perfect field $k$ of positive characteristic. We prove comparison theorems with previous definitions in the smooth and proper, and log-smooth and…

In this paper we derive topological and number theoretical consequences of the rigidity of elliptic genera, which are special modular forms associated to each compact almost complex manifold. In particular, on the geometry side, we prove…

We define the class of high dimensional graph manifolds. These are compact smooth manifolds supporting a decomposition into finitely many pieces, each of which is diffeomorphic to the product of a torus with a finite volume hyperbolic…

We prove that the category of trees $\Omega$ is a test category in the sense of Grothendieck. This implies that the category of dendroidal sets is endowed with the structure of a model category Quillen-equivalent to spaces. We show that…

Perez proved some $L^2$ inequalities for closed convex hypersurfaces immersed in the Euclidean space $\mathbb{R}^{n+1}$, more generally, for closed hypersurfaces with non-negative Ricci curvature, immersed in an Einstein manifold. In this…

We consider overdetermined problems of Serrin's type in convex cones for (possibly) degenerate operators in the Euclidean space as well as for a suitable generalization to space forms. We prove rigidity results by showing that the existence…

We construct a Quillen model structure on the category of spectral categories, where the weak equivalences are the symmetric spectra analogue of the notion of equivalence of categories.

Convergence spaces are a generalization of topological spaces. The category of convergence spaces is well-suited for Algebraic Topology, one of the reasons is the existence of exponential objects provided by continuous convergence. In this…

For each $n \geq -1$, a quasi-category is said to be $n$-truncated if its hom-spaces are $(n-1)$-types. In this paper we study the model structure for $n$-truncated quasi-categories, which we prove can be constructed as the Bousfield…

We prove that any category of props in a symmetric monoidal model category inherits a model structure. We devote an appendix, about half the size of the paper, to the proof of the model category axioms in a general setting. We need the…

We use a classical result of McCord and reduction methods of finite spaces to prove a generalization of Thomason's theorem on homotopy colimits over posets. In particular this allows us to characterize the homotopy colimits of diagrams of…

We generalize the higher rank rigidity theorem to a class of Finsler spaces, i.e. Berwald spaces. More precisely, we prove that a complete connected Berwald space of finite volume and bounded nonpositive flag curvature with rank at least…

In the case of $(\infty,1)$-categories, the homotopy coherent nerve gives a right Quillen equivalence between the models of simplicially enriched categories and of quasi-categories. This shows that homotopy coherent diagrams of…

In this paper we establish a natural definition of Lusternik-Schnirelmann category for simplicial complexes via the well known notion of contiguity. This category has the property of being homotopy invariant under strong equivalences, and…

We study Serrin's overdetermined boundary value problems in bounded domains on weighted Riemannian manifolds. When the closure of the domain is compact, we establish a rigidity result that characterizes both the solution and the geometry of…

The purpose of this paper is to develop a homotopical algebra for graphs, relevant to zeta series and spectra of finite graphs. More precisely, we define a Quillen model structure in a category of graphs (directed and possibly infinite,…

We construct Quillen equivalences between the model categories of monoids (rings), modules and algebras over two Quillen equivalent model categories under certain conditions. This is a continuation of our earlier work where we established…