Showing 1–6 of 6 results for author: Droz, J

Extending to a model structure is not a first-order property

Authors: Jean-Marie Droz, Inna Zakharevich

Abstract: Let $\mathcal{C}$ be a finitely bicomplete category and $\mathcal{W}$ a subcategory. We prove that the existence of a model structure on $\mathcal{C}$ with $\mathcal{W}$ as subcategory of weak equivalence is not first order expressible. Along the way we characterize all model structures where $\mathcal{C}$ is a partial order and show that these are determined by the homotopy categories. Let $\mathcal{C}$ be a finitely bicomplete category and $\mathcal{W}$ a subcategory. We prove that the existence of a model structure on $\mathcal{C}$ with $\mathcal{W}$ as subcategory of weak equivalence is not first order expressible. Along the way we characterize all model structures where $\mathcal{C}$ is a partial order and show that these are determined by the homotopy categories. △ Less

Submitted 23 February, 2021; v1 submitted 22 October, 2014; originally announced October 2014.

Comments: 26 pages

MSC Class: 55U35; 3B15; 18B35

Model categories with simple homotopy categories

Authors: Jean-Marie Droz, Inna Zakharevich

Abstract: In the present article, we describe constructions of model structures on general bicomplete categories. We are motivated by the following question: given a category $\mathcal{C}$ with a subcategory $w\mathcal{C}$ closed under retracts, when is there a model structure on $\mathcal{C}$ with $w\mathcal{C}$ as the subcategory of weak equivalences? We begin exploring this question in the case where… ▽ More In the present article, we describe constructions of model structures on general bicomplete categories. We are motivated by the following question: given a category $\mathcal{C}$ with a subcategory $w\mathcal{C}$ closed under retracts, when is there a model structure on $\mathcal{C}$ with $w\mathcal{C}$ as the subcategory of weak equivalences? We begin exploring this question in the case where $w\mathcal{C} = F^{-1}(\mathrm{iso}\, \mathcal{D})$ for some functor $F:\mathcal{C}\rightarrow \mathcal{D}$. We also prove properness of our constructions under minor assumptions and examine an application to the category of infinite graphs. △ Less

Submitted 25 September, 2014; v1 submitted 15 December, 2013; originally announced December 2013.

Comments: 25 pages, 1 figure

A subset of Euclidean space with large Vietoris-Rips homology

Authors: Jean-Marie Droz

Abstract: We construct a compact subset K of the four dimensional Euclidean space with the following property: For all values of the parameter in an interval, the Vietoris-Rips complex of K has uncountably generated first homology. This answers a question that arose in work on persistent homology. We construct a compact subset K of the four dimensional Euclidean space with the following property: For all values of the parameter in an interval, the Vietoris-Rips complex of K has uncountably generated first homology. This answers a question that arose in work on persistent homology. △ Less

Submitted 15 October, 2012; originally announced October 2012.

Comments: 3 pages

MSC Class: 55N99

Quillen model structures on the category of graphs

Authors: Jean-Marie Droz

Abstract: We present different ways of endowing a particular category of graphs with Quillen model structures. We show, among other things, that the core of a graph can be seen as its homotopy type in an appropriate Quillen model structure, and that an infinity of Quillen model structures exist for our particular category of graphs. We present different ways of endowing a particular category of graphs with Quillen model structures. We show, among other things, that the core of a graph can be seen as its homotopy type in an appropriate Quillen model structure, and that an infinity of Quillen model structures exist for our particular category of graphs. △ Less

Submitted 12 September, 2012; originally announced September 2012.

Comments: Article accepted for publication by "Homology, Homotopy and Applications"

MSC Class: 05C25; 18G55

Grid diagrams and Khovanov homology

Authors: Jean-Marie Droz, Emmanuel Wagner

Abstract: We explain how to compute the Jones polynomial of a link from one of its grid diagrams and we observe a connection between Bigelow's homological definition of the Jones polynomial and Kauffman's definition of the Jones polynomial. Consequently, we prove that the Maslov grading on the Seidel-Smith symplectic link invariant coincides with the difference between the homological grading on Khovanov… ▽ More We explain how to compute the Jones polynomial of a link from one of its grid diagrams and we observe a connection between Bigelow's homological definition of the Jones polynomial and Kauffman's definition of the Jones polynomial. Consequently, we prove that the Maslov grading on the Seidel-Smith symplectic link invariant coincides with the difference between the homological grading on Khovanov homology and the Jones grading on Khovanov homology. We give some evidence for the truth of the Seidel-Smith conjecture. △ Less

Submitted 19 February, 2009; originally announced February 2009.

MSC Class: 57M27

Journal ref: Algebr. Geom. Topol. 9 (2009) 1275-1297

Effective computation of knot Floer homology

Authors: Jean-Marie Droz

Abstract: We extend an approach of Beliakova for computing knot Floer homology and implement it in a publicly available computer program. We review the main programming and optimization methods used. Our program is then used to check that the Floer homology of a prime non-alternating knot with less than 12 crossings has no torsion. We extend an approach of Beliakova for computing knot Floer homology and implement it in a publicly available computer program. We review the main programming and optimization methods used. Our program is then used to check that the Floer homology of a prime non-alternating knot with less than 12 crossings has no torsion. △ Less

Submitted 16 March, 2008; originally announced March 2008.

Comments: 17 pages

MSC Class: 57M27