Eigentliche Modellstruktur

Eine eigentliche Modellstruktur ist im mathematischen Teilgebiet der Höheren Kategorientheorie eine Modellstruktur, welche zusätzlich deren schwache Äquivalenzen bei Faserprodukten entlang von Faserungen, genannt linkseigentlich, oder Kofaserprodukten entlang von Kofaserungen, genannt rechtseigentlich, erhält. Hilfreich ist diese Eigenschaft vor allem bei der Konstruktion von schwachen Äquivalenzen und dadurch der Suche nach isomorphen Objekten in der Homotopiekategorie der Modellkategorie.

Für jede Modellkategorie gilt:^[1]

• Kofaserprodukte von schwachen Äquivalenzen zwischen kofasernden Objekten entlang von Kofaserungen sind wieder schwache Äquivalenzen.
• Faserprodukte von schwachen Äquivalenzen zwischen fasernden Objekten entlang von Faserungen sind wieder schwache Äquivalenzen.

Eine Modellkategorie wird:^[2]

• linkseigentlich genannt, wenn Kofaserprodukte von schwachen Äquivalenzen entlang von Kofaserungen wieder schwache Äquivalenzen sind.
• rechtseigentlich genannt, wenn Faserprodukte von schwachen Äquivalenzen entlang von Faserungen wieder schwache Äquivalenzen sind.
• eigentlich genannt, wenn sie linkseigentlich und rechtseigentlich ist.

• Eine Modellkategorie, in der alle Objekte kofasernd sind, ist linkseigentlich.^[3]
• Eine Modellkategorie, in der alle Objekte fasernd sind, ist rechtseigentlich.^[3]

Für eine Modellkategorie ${\displaystyle {\mathcal {M}}}$ und einen Morphismus ${\displaystyle f\colon X\rightarrow Y}$ in dieser gibt es durch Vorkomposition einen Funktor ${\displaystyle f^{*}\colon Y\backslash {\mathcal {M}}\rightarrow X\backslash {\mathcal {M}}}$ und durch Nachkomposition einen Funktor ${\displaystyle f_{*}\colon {\mathcal {M}}/X\rightarrow {\mathcal {M}}/Y}$. Zudem definiert das Kofaserprodukt einen Funktor ${\displaystyle Y+_{X}-\colon X\backslash {\mathcal {M}}\rightarrow Y\backslash {\mathcal {M}}}$ und das Faserprodukt einen Funktor ${\displaystyle X\times _{Y}-\colon {\mathcal {M}}/Y\rightarrow {\mathcal {M}}/X}$. Es gilt:^[4]

• ${\displaystyle {\mathcal {M}}}$ ist linkseigentlich genau dann wenn für jede schwache Äquivalenz ${\displaystyle f\colon X\rightarrow Y}$ die Adjunktion ${\displaystyle f_{*}\colon {\mathcal {M}}/X\rightarrow {\mathcal {M}}/Y\colon X\times _{Y}-}$ eine Quillen-Adjunktion ist.
• ${\displaystyle {\mathcal {M}}}$ ist rechtseigentlich genau dann wenn für jede schwache Äquivalenz ${\displaystyle f\colon X\rightarrow Y}$ die Adjunktion ${\displaystyle Y+_{X}-\colon X\backslash {\mathcal {M}}\rightarrow Y\backslash {\mathcal {M}}\colon f^{*}}$ eine Quillen-Adjunktion ist.

• Die Joyal-Modellstruktur ist linkseigentlich,^[5] aber nicht rechtseigentlich.^[6] Linkseigentlichkeit folgt daraus, dass alle Objekte kofasernd sind.
• Die Kan-Quillen-Modellstruktur ist eigentlich.^[7][8] Linkseigentlichkeit folgt daraus, dass alle Objekte kofasernd sind.

• Charles Rezk: Every homotopy theory of simplicial algebras admits a proper model. In: Topology and Its Applications. 119. Jahrgang, 2000, S. 65–94, doi:10.48550/arXiv.math/0003065, arxiv:math/0003065 (englisch). 
• Philip Hirschhorn: Model Categories and Their Localizations. Mathematical Surveys and Monographs, 2002, ISBN 978-0-8218-4917-0 (englisch, ed.ac.uk [PDF]). 
• André Joyal: The Theory of Quasi-Categories and its Applications. 2008; abgerufen im 1. Januar 1 (englisch). 
• Jacob Lurie: Higher Topos Theory (= Annals of Mathematics Studies. Band 170). Princeton University Press, 2009, ISBN 978-0-691-14049-0, doi:10.48550/arXiv.math/0608040, arxiv:math/0608040v1 (englisch, ias.edu [PDF]). 
• Denis-Charles Cisinski: Higher Categories and Homotopical Algebra. In: Cambridge Studies in Advanced Mathematics. Band 180. Cambridge University Press, 2019, ISBN 978-1-108-47320-0, doi:10.1017/9781108588737 (englisch, uni-regensburg.de [PDF]). 

• proper model category auf nLab (englisch)

1. ↑ Hirschhorn 2002, Proposition 13.1.2
2. ↑ Rezk 2000, 2.1. Definition of properness
3. ↑ ^{a b} Rezk 2000, Remark 2.8.
4. ↑ Rezk 2000, Proposition 2.7.
5. ↑ Lurie 2009, Higher Topos Theory, Proposition A.2.3.2.
6. ↑ Lurie 2009, Higher Topos Theory, Remark 1.3.4.3.
7. ↑ Joyal 2008, Theorem 6.1. auf S. 293
8. ↑ Cisinki 2019, Corollary 3.1.28.