Related papers: Localization of $(\infty, 1)$-categories and spect…

In this paper, we address the construction of homotopy bicategories of $(\infty,2)$-categories, which we take as being modeled by 2-fold Segal spaces. Our main result is the concrete construction of a functor $h_2$ from the category of…

We show that Segal spaces, and more generally category objects in an $\infty$-category $\mathcal{C}$, can be identified with associative algebras in the double $\infty$-category of spans in $\mathcal{C}$. We use this observation to prove…

We construct a configuration space model for a particular 2-colored differential graded operad encoding the structure of two $A_\infty$ algebras with two $A_\infty$ morphisms and a homotopy between the morphisms. The cohomology of this…

We show that the homotopy theories of differential graded categories and $\mathrm{A}_\infty$-categories over a field are equivalent at the $(\infty,1)$-categorical level. The results are corollaries of a theorem of Canonaco-Ornaghi-Stellari…

Semi-simplicial and semi-cubical sets are commonly defined as presheaves over respectively, the semi-simplex or semi-cube category. Homotopy Type Theory then popularized an alternative definition, where the set of n-simplices or n-cubes are…

Fix a prime $p$. Since their definition in the context of Localization Theory, the homotopy functors $P_{B\Z/p}$ and $CW_{B\Z/p}$ have shown to be powerful tools to understand and describe the mod $p$ structure of a space. In this paper, we…

The author proposes a method for investigating actions of finite groups on aspherical spaces. Complete homotopy classification of free actions of finite groups on aspherical spaces is obtained. Also there are some results about non-free…

We prove that a model structure on a relative $\infty$-category $(M,W)$ gives an efficient and computable way of accessing the hom-spaces $hom_{M[[W^{-1}]]}(x,y)$ in the localization. More precisely, we show that when the source $x \in M$…

Given an algebraic theory $\ct$, a homotopy $\ct$-algebra is a simplicial set where all equations from $\ct$ hold up to homotopy. All homotopy $\ct$-algebras form a homotopy variety. We give a characterization of homotopy varieties…

We provide two Mayer-Vietoris-like spectral sequences related to the localization over the complement of a closed subvariety of an algebraic variety by using techniques from $\mathcal{D}$-modules and homological algebra. We also give, as an…

Given a map of simplicial topological spaces, mild conditions on degeneracies and the levelwise maps imply that the geometric realization of the simplicial map is a cofibration. These conditions are not formal consequences of model category…

We give describe several models for $(\infty,n)$-categories, with an emphasis on models given by diagrams of sets and simplicial sets. We look most closely at the cases when $n \leq 2$, then summarize methods of generalizing for all $n$.

We describe how the result in [1] extends to prove the existence of a Serre type spectral sequence converging to the symplectic homology SH_*(M) of an exact Sub-Liouville domain M in a cotangent bundle T*N. We will define a notion of a…

For a topological space $X$, we introduce a criterion for the $\rm FI$ module $H^i({\rm Conf}_n(X))$ to be finitely generated and give several applications. For instance, if $C$ is a finite connected $CW$ complex, then $X = C \times…

We construct a new type of spectral sequences for the mixed Hodge structures on the cohomology of locally symmetric varieties. These spectral sequences converge to the edge components in the Hodge triangles, and the E1-terms are expressed…

In this paper we lay the foundations of an $\infty$-categorical theory of Stokes data.

We establish two spectral sequences in knot Floer homology associated to a directed strongly invertible knot K: one from the knot Floer homology of K to a two dimensional vector space, and one from the singular knot Floer homology of a…

We describe all the localization observables of a quantum particle in a one-dimensional box in terms of sequences of unit vectors in a Hilbert space. An alternative representation in terms of positive semidefinite complex matrices is…

Given a locally presentable category together with a suitable functorial cylinder object, we construct model structures which are sensitive to the `direction' of the cylinder. We show that the Covariant and Contravariant model structures on…

We prove a coherence theorem for invertible objects in a symmetric monoidal category. This is used to deduce associativity, skew-commutativity, and related results for multi-graded morphism rings, generalizing the well-known versions for…