nLab minimal fibration

Contents

This entry is about the concept in homotopy theory. For the concept if conformal field theory see at minimal model CFT.


Context

Homotopy theory

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

Contents

Idea

In models of homotopy theory by homotopical categories it is a common concept that morphisms may be replaced by fibrant resolutions or cofibrant resolutions. These are in general far from being unique. Moreover, generic ways of constructing them, notably via a small object argument, yield resolutions which are “very large” in that they are relative cell complexes (or co-cell complexes, respectively) with large transfinite cardinality of the set of cell attachments.

In contrast, a minimal (co-)fibration is one which is “as small as possible” in some precise sense. Typically this minimality is witnessed by the property that any weak equivalence between minimal (co-)fibrations is already an isomorphism.

If one thinks of objects in the given homotopical category as “models” (namely as models for homotopy types as in the usage of “model category”) then one often speaks of “minimal models”.

The discussion of the concept of minimal (co-)fibrations is often restricted to particular choices of ambient homotopical categories (see the list of Examples below), prominent examples being the minimal Kan fibrations in the classical model structure on simplicial sets and the minimal Sullivan algebras in the projective model structure on dgc-algebras. A general concept of minimal models is considered in Roig 93.

Examples

References

A general concept of minimal fibrations and minimal models (in general model categories) is discussed in

  • Agustí Roig, Minimal resolutions and other minimal models, Publicacions Matemàtiques Vol. 37, No. 2 (1993), pp. 285-303 (JSTOR)

and with an eye specifically towards minimal dg-modules in

  • Agustí Roig, section 1 of Formalizability of dg modules and morphisms of cdg algebras, Volume 38, Issue 3 (1994), 434-451 (euclid)

For discussion in rational homotopy theory see at Sullivan minimal model.

Discussion in equivariant rational homotopy theory is in

  • Georgia Triantafillou, Equivariant minimal models, Trans. Amer. Math. Soc. vol 274 pp 509-532 (1982) (jstor)

Last revised on September 29, 2018 at 08:45:31. See the history of this page for a list of all contributions to it.