I use the notation of this question. A non-decreasing continuous bijection from $[0,a]$ to $[0,b]$ where $a,b\geq 0$ are two real numbers is denoted by $[0,a] \cong^+ [0,b]$. If $\phi:[0,a]\to U$ and $\psi:[0,b]\to U$ are two continuous maps for some topological space $U$ with $\phi(a)=\psi(0)$, the map $\phi*\psi:[0,a+b]\to U$ is the composition of the paths, $\phi$ on $[0,a]$ and $\psi$ on $[a,a+b]$. All topological spaces are $\Delta$-generated. Therefore all following categories are locally presentable.

A multipointed $d$-space $X$ is a variant of Marco Grandis' $d$-spaces. It consists of a topological space $|X|$, a subset $X^0$ (of states) of $|X|$ and a set of continuous maps (called execution paths) $\mathbb{P}^{top}X$ from $[0,1]$ to $|X|$ satisfying the following axioms:

  1. for any $\phi\in \mathbb{P}^{top}X$, $\phi(0)$ and $\phi(1)$ belong to $X^0$
  2. for any $\phi\in \mathbb{P}^{top}X$, a composite $[0,1] \cong^+ [0,1] \stackrel{\phi}\longrightarrow |X|$ belongs to $\mathbb{P}^{top}X$
  3. if $\phi$ and $\psi$ are two execution paths, all composites like $[0,1] \cong^+ [0,2] \stackrel{\phi*\psi}\longrightarrow |X|$ are execution paths.

Tu summarize, a multipointed $d$-space has not only a distinguished set of continuous paths but also a distinguished set of points (the other points are intuitively not interesting). Unlike Grandis' notion, the constant paths are not necessarily execution paths. It is one of the role of the cofibrant replacement of the model category structure constructed in Homotopical interpretation of globular complex by multipointed d-space to remove from a multipointed $d$-space all points which do not belong to an execution path. The cofibrant replacement cleans up the underlying space by removing the useless topological structure.

It turns out that the model structure constructed in Homotopical interpretation of globular complex by multipointed d-space is the left determined model category with respect to the set of generating cofibrations $\mathrm{Glob}(\mathbf{S}^{n-1}) \subset \mathrm{Glob}(\mathbf{D}^{n})$ for $n\geq 0$ and the map $\{0,1\} \to \{0\}$ identifying two points where $\mathbf{S}^{n-1}$ is the $(n-1)$-dimensional sphere, $\mathbf{D}^{n}$ the $n$-dimensional disk, and where $\mathrm{Glob}(Z)$ is the multipointed $d$-space whose definition is explained in the paper (I don't think that it is important to recall it in this post).

Now here is the question. I would be interested in considering the multipointed $d$-spaces $\vec{[0,1]^n}$ defined as follows

  1. The underlying space is the $n$-cube $[0,1]^n$
  2. The set of distinguished states is the set of vertices $\{0,1\}^n \subset [0,1]^n$
  3. The set of execution paths is generated by the continuous maps from $[0,1]$ to $[0,1]^n$ such that of course $0$ and $1$ are mapped to a point of $\{0,1\}^n$ and such that these maps are nondecreasing with respect to each axis of coordinates.

The multipointed $d$-space $\partial\vec{[0,1]^n}$ is defined in the same way by removing the interior of the $n$-cube.

Using Vopenka's principle and a result of Tholen and Rosicky, there exists a left determined model category structure with respect to the set of generating cofibrations $\partial\vec{[0,1]^n} \subset \vec{[0,1]^n}$ with $n\geq 0$ and $R:\{0,1\}\to \{0\}$.

How is it possible to remove Vopenka's principle from this statement ?

This question is probably too complicated for a post but if someone could give me a starting point, I would be very grateful. It is the reason why I ask the question anyway. Note: the presence of the map $\{0,1\}\to \{0\}$ in the set of generating cofibrations is not mandatory because I start considering in other parts of my work model structures where I remove this map from the set of generating cofibrations.

  • 2
    $\begingroup$ Today on arxiv, Simon Henry proved that left determined model structures exist even without Vopenka. I'll alert him to this question so he can answer it if he wants to arxiv.org/pdf/2011.13408.pdf $\endgroup$ – David White Dec 1 '20 at 17:26

As mentioned by David White in the comment, I've recently proved that left induced model structure exists (without any kind of large cardinal axiom) for any "tractable" class of cofibrations on a locally presentable category.

Tractable means that the class of cofibration is generated by a set of cofibration with cofibrant domain. It seems to me that the $\partial [0,1]^n$ can be obtained by gluing of their faces and so are cofibrant, so I think this applies to your category.

However I should also say that my construction isn't much more explicit than the one using Vopenka's principle, so I'm not sure it is very helphful for your question: it does not tell you anything about the model structure structure itself, like a nice cylinder functor would, except maybe a bound on the size of the generating trivial cofibrations.

A bit more precisely, you consider $W$ the "smallest Cisinski localizer", i.e. the smallest class of maps containing "trivial fibrations" closed under 2-out-of-3 and such that $W$ intersected with your class of cofibration is clsoed under pushout and transfinite composition, and you take for J (the generating trivial cofibrations) all cofibrations that are in $W$ and between $\kappa$-presentable object for some large enough cardinal $\kappa$ (I think in your case $\kappa = 2^\omega$ might work, though it might be $(2^\omega)^+$ depending on what is the presentability rank of the $[0,1]^n$ in your category, which I'm not quite sure about).

Then you have a model structure with $W$ as the weak equivalences, your cofibrations and $J$ as the generating trivial cofibration.

  • $\begingroup$ I was not (yet) aware. The euclidian n-cube is the "superposition" of all globular realizations of the n-cube in the sense that the execution paths in the euclidian order are the union of all possible execution paths coming from globes. And I don't know what to do with this geometric observation. The euclidian n-cubes are not cofibrant for the "globular" model structure, that I call the q-model structure now, because they contain too many execution paths to be q-cofibrant. $\endgroup$ – Philippe Gaucher Dec 3 '20 at 13:47

Note that category you've described is not locally presentable, but this is not a big deal -- if you use Delta-generated spaces (or some variant thereof) instead of general topological spaces, you're back in the locally presentable world.

On getting by without Vopenka in general:

In Tholen and Rosicky's paper they say (paragraph before Theorem 2.2) that Jeff Smith has claimed that left-determined model structures exist for locally presentable categories without Vopenka's principle. I'm not sure Smith has published his argument.

Existence of a left-determined model structure is essentially an "absolute" version of existence of Bousfield localizations. So some of the existing work on existence of Bousfield localizations under weaker hypotheses may be relevant.

More to the point:

But surely this misses the point, which is that you have a very specific category in front of you and it seems unlikely that the existence of this particular left-determined model structure really depends on set theory. In order to validate this argument, one needs a more detailed understanding of how the model structure works.

Unfortunately Olschok's theory doesn't apply since not every object is cofibrant, if I understand correctly.

It seems remarkable to me that in the related case you discuss, there is a reasonable description of a model structure which can be shown to be left-determined. I would think the way to proceed is to try to imitate whatever happens in that case.

Use an adjunction:

Is there a "geometric realization / nerve" adjunction between the old model category to the new one? I might suspect that if you projectively-induce the old left-determined model structure along such an adjunction, the result may be also left-determined, and in this case you would have a nice description of the model structure.

A Reservation:

I actually don't know whether the Quillen model structure on $\mathsf{Top}$ is left-determined (the one on $\mathsf{sSet}$, of course, is not). If it isn't, then my sense is it's unlikely that the left-determined model structure on multipointed $d$-spaces is actually what you want! I would suspect that the model structure you want is the projectively-induced model structure along some geometric realization adjunction with a more combinatorial category. Then if it turns out that the result is also left-determined, that's great, but if not, it's not a big deal.

  • $\begingroup$ I do use $\Delta$-generated spaces, it is written in the post and therefore all categories are locally presentable. Noone never saw Jeff Smith's argument and some mathematicians I know doubt that he has such an argument. And indeed not all objects are cofibrant, So Olschok's theory cannot be applied. It is a different configuration. $\endgroup$ – Philippe Gaucher May 14 '18 at 2:13
  • $\begingroup$ The two cited papers with "Bousfield localizations under weaker hypotheses" still use hypotheses not known to be within the scope of classical set theory. So, if Philippe is trying to avoid Vopenka's principle, he'd probably want to avoid those too. Unfortunately, I still don't know how to! $\endgroup$ – David White May 14 '18 at 8:47
  • $\begingroup$ I am 100% (well 99.99%) sure that there is no need of any large cardinal axiom because it is a purely geometric problem on a very specific category. If I could at least have a geometric intuition of what the cylinder could be... The cylinder can be found by the usual functorial factorization of the codiagonal map of course but that does not help very much. By asking this question, I hoped that someone could have a geometric intuition which could be a starting point. $\endgroup$ – Philippe Gaucher May 14 '18 at 10:05
  • 1
    $\begingroup$ @TimCampion The Quillen model structure on $\mathrm{Top}$ is left determined. This result is due to Mark Olschok. By adapting his argument, I can prove that the model structure with the $\mathrm{Glob}$ is left determined as well. The result is not in the paper I mentioned, maybe I'll write a short note about that one day. $\endgroup$ – Philippe Gaucher May 15 '18 at 7:33
  • 1
    $\begingroup$ @TimCampion The model category constructed in my paper "A model category for the homotopy theory of concurrency" on the category of flows (which are morally speaking multipointed $d$-spaces without underlying topological space) is left determined too. This can be proved also by using Mark Olschok's argument. $\endgroup$ – Philippe Gaucher May 15 '18 at 7:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.