homotopy theory, (∞,1)-category theory, homotopy type theory
flavors: stable, equivariant, rational, p-adic, proper, geometric, cohesive, directed…
models: topological, simplicial, localic, …
see also algebraic topology
Introductions
Definitions
Paths and cylinders
Homotopy groups
Basic facts
Theorems
The hypothèse inspiratrice or inspiring assumption is an assumption formulated by Grothendieck in Pursuing Stacks, that the category of auto-equivalences of the classical homotopy category is equivalent to the final category. See below for Grothendieck’s own formulation of it. It has not been proven in its original form.
The hypothèse inspiratrice can be proven relatively easily if one re-formulates the question for a lift of the homotopy category to derivators, (∞,1)-category theory, or some other such setting for homotopy theory. One such proof is given in Cisinski 08. A different proof is given in Toën-Vezzosi 02, as the case of Corollary 5.2.2.
The category of auto-equivalences of Set is equivalent to the final category.
Any equivalence of categories preserves colimits. Since Set is the free co-completion of the final category , and since is sent to under the Yoneda embedding, any auto-equivalence of Set is determined uniquely, up to isomorphism, by .
Now, equivalences of categories also preserve final objects. Thus we have that for all .
The proposition follows immediately from these two observations.
This argument is rather canonical. In principle, it ‘should’ lift to a proof of the hypothèse inspiratrice, simply by replacing set-theoretic notions by homotopy-theoretic ones: colimits by homotopy colimits, and so on. And this does work, but with the caveat that such a proof can only be formulated if one works inside ‘homotopy category theory’ rather than ordinary category theory.
The original hypothèse inspiratrice is about the homotopy 1-category, and its lifted versions are about the corresponding -category of homotopy types (-groupoids). One might formulate an analogous conjecture about the -groupoid of -groupoids (or about its 0-truncation, the set of equivalence classes of -groupoids). But here the situation is rather different.
If we assume the law of excluded middle, then there definitely exist nontrivial automorphisms of the -groupoid of homotopy types. For instance, if and are two homotopy types that themselves have no nontrivial automorphisms (such as the empty set and the terminal set?), then there is an automorphism of the -groupoid of homotopy types that switches and and leaves everything else fixed. See for instance Voevodsky‘s comment in this thread on the HoTT mailing list. This requires excluded middle because we have to decide, for each homotopy type, whether it is equivalent to or to or to neither.
It is not known whether any nontrivial automorphisms of the -groupoid of homotopy types can be constructed without excluded middle. (To talk about homotopy types without assuming excluded middle, it is best to work in constructive homotopy type theory.) But it is known that certain kinds of such automorphisms (e.g. those that move the empty set) do imply excluded middle or some other nonconstructive axiom; see BELS.
The original formulation in Pursuing Stacks (page 30 in the pagination of the original document, section 28, 8th of March 1983) is preceded by
Now this maybe isnt [sic] so silly after all, in view of the following
Assumption: The category of equivalences of with itself, and of natural isomorphisms (possibly even any morphisms) between such, is equivalent to the one point category.
This means 1) any equivalence is isomorphic to the identity functor, and 2) any automorphism of the identity functor (possibly even any endomorphism ?) is the identity.
Maybe these are facts well-known to the experts, maybe not - it is not my business here anyhow to prove such kind of things. It looks pretty plausible , because if there was any non trivial autoequivalence of , or automorphism of its identity functor, I guess I would have heard about it, or something of the sort would flip to my mind. It would not be so if we abelianized some way or other, as there would be the loop and suspension functor, and homotheties by of .
In most copies of Pursuing Stacks available, the assumption itself is blacked out. Tim Porter suggests that this is likely due to the text having been highlighted, probably in yellow, leading to the blacking out upon photocopying. Because of the blacking out, the assumption is also not available in circulating typed versions of Pursuing Stacks. Happily, Tim Porter has scanned here the relevant page from his personal copy of Pursuing Stacks. The assumption is about mid-page.
Later on (page 71 in the pagination of the original document, section 41, around the 24th of March 1983), Grothendieck writes the following.
One comment still, upon the role played in the theory I am developing of the assumption (p.30) that the category of autoequivalences of is equivalent to the final category. This assumption has been a crucial guide for putting the emphasis where it really belongs, namely upon the set of weak equivalences within a category [letter is a bit illegible] which one would like to take in some sense as a category of models for homotopy types - the functors following along automatically. However, in no statement whatever I proved so far, was this assumption ever used. On the other hand, the notion of a modelizer introduced in the wake of the ‘assumption’ (of p.31) [this seems like a typo, presumably it should be p.30] was tacitly changed during the reflection, …
Slightly later again (page 73, section 42, 25th of March 1983), the following is written, introducing the phrase “inspiring assumption”:
This is indeed very much in the spirit of the “inspiring assumption” of p.30, that the category of autoequivalences of is equivalent to the unit category, which implies indeed that for two categories equivalent to , there is a unique isomorphism between them.
A further reference comes on page 80-81, section 44, 26th of March 1983.
But it is so if we grant the “inspiring assumption”, implying that any autoequivalence of is isomorphic to the identity functor
And again on page 86, still on the same day.
If we admit the “inspiring assumption” that any autoequivalence of is uniquely isomorphic to the identity functor, it will follow that the autoequivalence induced by (11) (where again is any weak test functor) is canonically isomorphic to the identity.
Next is a reference on pg.93, section 46, probably the 28th or 29th of March 1983.
(If we admit the “inspiring assumption”, there is no real choice, as a matter of fact - but we don’t want to use this in a technical sense, but only as a guide and motivation.)
There is also a reference on pg.216-217, section 72, 10th of June 1983.
This is of course very much in keeping with the “inspiring assumption” (section 28), which just means that up to unique isomorphism, there is indeed but one equivalence from to (both categories being equivalent to . Here we are thinking of the extension of the “assumption” contemplated earlier, when usual weak equivalence is replaced by a basic localizer as above. It seems plausible that the assumption holds true in all cases - anyhow we did’nt [sic] have at any moment to make explicit use of it (besides at a moment drawing inspiration from it…).
The final reference is on pg.273, section 83, probably the 27th or 28th of June 1983.
Here also arises the question whether a functor stemming from a contractibility structure on can have non trivial automorphisms - a question closely connected to the “inspiring assumption” of section 28.
Denis-Charles Cisinski, Propriétés universelles et extensions de Kan dérivées, Theory Appl. Categ. 20, 605-649 (2008). Link to article
Bertrand Toën and Gabriele Vezzosi, Segal topoi and Segal stacks over them, arXiv:math/0212330.
Auke Booij, Martín Escardó, Peter Lumsdaine, Michael Shulman. Parametricity, automorphisms of the universe, and excluded middle, arXiv:1701.05617
Last revised on July 17, 2019 at 06:11:53. See the history of this page for a list of all contributions to it.