Related papers: Formal Contact Categories

Using contact homology, we reobtain some recent results of Geiges and Gonzalo about the fundamental group of the space of contact structures on some 3-manifolds. We show that our techniques can be used to study higher dimensional contact…

This paper is an expository account of the theory of stable infinity categories. We prove that the homotopy category of a stable infinity category is triangulated, and that the collection of stable infinity categories is closed under a…

We classify the normal CR structures on $S^3$ and their automorphism groups. Together with [3], this closes the classification of normal CR structures on contact 3-manifolds. We give a criterion to compare 2 normal CR structures, and we…

We show that the homotopy type of a finite oriented Poincar\'{e} 4-complex is determined by its quadratic 2-type provided its fundamental group is finite and has a dihedral Sylow 2-subgroup. By combining with results of Hambleton-Kreck and…

A model category is called combinatorial if it is cofibrantly generated and its underlying category is locally presentable. As shown in recent years, homotopy categories of combinatorial model categories share useful properties, such as…

The vector space of the tensors $\mathcal F$ of type (0,3) having the same symmetries as the covariant derivative of the fundamental form of an almost contact metric manifold is considered. A scheme of decomposition of $\mathcal F$ into…

For a closed oriented 3-manifold Y, we define an absolute grading on the Heegaard Floer homology groups of Y by homotopy classes of oriented 2-plane fields. We show that this absolute grading refines the relative one and that it is…

A cocycle category H(X,Y) is defined for objects X and Y in a model category, and it is shown that the set of morphisms [X,Y] is isomorphic to the set of path components of H(X,Y) provided the ambient model category is right proper and…

The homotopy category of complexes of projective left-modules over any reasonably nice ring is proved to be a compactly generated triangulated category, and a duality is given between its subcategory of compact objects and the finite…

We establish a parametric extension $h$-principle for overtwisted contact structures on manifolds of all dimensions, which is the direct generalization of the $3$-dimensional result from \cite{Eli89}. It implies, in particular, that any…

We give an alternative to Postnikov's homotopy classification of maps from 3-dimensional CW-complexes to homogeneous spaces G/H of Lie groups. It describes homotopy classes in terms of lifts to the group G and is suitable for extending the…

This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…

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…

Classification questions are often about understanding components of a category. It is much more desirable however to be able to understand the entire homotopy type of this category and not just the set of its components. In this paper we…

In this article we build a Quillen model category structure on the category of sequentially complete l.m.c.-C*-algebras such that the corresponding homotopy classes of maps Ho(A,B) for separable C*-algebras A and B coincide with the…

In this paper we study the groups of contactomorphisms of a closed contact manifold from a topological viewpoint. First we construct examples of contact forms on spheres whose Reeb flow has a dense orbit. Then we show that the unitary group…

We introduce fibred type-theoretic fibration categories which are fibred categories between categorical models of Martin-L\"{o}f type theory. Fibred type-theoretic fibration categories give a categorical description of logical predicates…

We introduce the notion of homotopically discrete n-fold category as an n-fold generalization of a groupoid with no non-trivial loops. We give two equivalent descriptions of this structure: in terms of a Segal-type model and in terms of…

It is shown that the homotopy classification of textures defined on physical domains with multiple ends at infinity reduces to that of textures on compact domains if the target space is simply connected. The result is applied to the O(3)…

We establish the stable homotopy classification of elliptic pseudodifferential operators on manifolds with corners and show that the set of elliptic operators modulo stable homotopy is isomorphic to the K-homology group of some stratified…