주 메뉴 열기

호모토피 이론에서, 모형 범주(模型範疇, 영어: model category)는 호모토피 이론을 전개할 수 있기에 충분한 구조가 갖추어져 있는 추상적인 범주이다.[1][2][3][4] 위상 공간의 범주와 단체 집합의 범주, 아벨 군사슬 복합체의 범주 따위의 일반화이다.

목차

정의편집

모형 범주  는 다음과 같은 데이터로 구성된다.

  •  완비 범주이자 쌍대 완비 범주이다.
  •   의 사상들의 모임이다.  의 원소를 약한 동치(영어: weak equivalence)라고 한다.
  •   의 사상들의 모임이다.  의 원소를 올뭉치(영어: fibration)라고 하고,  의 원소는 자명한 올뭉치(영어: trivial fibration)라고 한다.
  •   의 사상들의 모임이다.  의 원소를 쌍대올뭉치(영어: cofibration)라고 하고,  의 원소는 자명한 쌍대올뭉치(영어: trivial cofibration)라고 한다.

이들은 다음 두 공리들을 만족시켜야 한다.

  • 3개 가운데 2개 조건(영어: two out of three): 임의의 사상  에 대하여, 만약  ,  ,   가운데 적어도 두 개가 약한 동치라면, 나머지 하나도 약한 동치이다.
  • 약분해계:   는 각각 약분해계를 이룬다. 즉, 구체적으로 다음이 성립한다.
    • 올림 조건(영어: lifting): 임의의 대상  ,  ,  ,  에 대하여, 만약   가 주어졌고,  이며,  가 올뭉치이며,  가 쌍대올뭉치이며,   또는   가운데 하나가 자명하다면,  이며  인 사상  가 존재한다. 즉, 다음과 같다.
       
    • 분해 조건(영어: factorization):
      •  의 임의의 사상   와 같이 쓸 수 있다. 여기서  는 올뭉치이며,  는 자명한 쌍대올뭉치이다.
      •  의 임의의 사상   와 같이 쓸 수 있다. 여기서  는 자명한 올뭉치이며,  는 쌍대올뭉치이다.
       

쌍대올 생성 모형 범주편집

쌍대완비 범주  의 사상들의 모임  에 대한 상대적 세포 복합체(영어: relative cell complex)  는 다음 연산들에 대하여 닫힌 가장 작은 사상들의 모임이다.

  •  
  • (항등 사상에 대한 닫힘) 임의의 대상  에 대하여,  
  • (쌍대곱에 대한 닫힘) 임의의 대상들의 집합  쌍대곱  에 대하여,  
  • (밂에 대한 닫힘) 임의의  에 대하여, 만약  라면,
     
에 대하여  
  • (초한 합성에 대한 닫힘) 임의의 순서수   및 대상들의 초한열   및 사상  에 대하여, 만약  라면 쌍대극한   역시  

  의 원소들의 (화살표 범주  에서의) 수축들의 모임이라고 하자.

모형 범주  가 다음 조건을 만족시킨다면,  쌍대올 생성 모형 범주(영어: cofibrantly generated model category)라고 한다.

  •  인 사상 모임  가 존재한다.  의 원소를 쌍대올뭉치 생성원(영어: generating cofibration)라고 한다.
  •  인 사상 모임  가 존재한다.  의 원소를 자명 쌍대올뭉치 생성원 (영어: generating trivial cofibration)라고 한다.

연산편집

반대 범주편집

임의의 모형 범주  에 대하여, 그 반대 범주  에 모형 구조  를 주면, 이 역시 모형 범주를 이룬다.

조각 범주편집

임의의 모형 범주   및 대상  이 주어졌다고 하자. 그렇다면, 조각 범주  쌍대 조각 범주  를 정의할 수 있으며, 망각 함자

 
 

가 존재한다.

이제,   위에 다음과 같은 모형 범주 구조를 줄 수 있다.

  •  의 약한 동치는 (망각 함자 아래)  에서의 약한 동치이다.
  •  의 올뭉치는 (망각 함자 아래)  에서의 올뭉치이다.
  •  의 쌍대올뭉치는 (망각 함자 아래)  에서의 쌍대올뭉치이다.

그렇다면, 조각 범주  는 모형 범주를 이룬다. 마찬가지로, 쌍대 조각 범주   역시 모형 범주를 이룬다.

호모토피 범주편집

모형 범주  에서, 모형 범주 구조를 사용하여 두 사상 사이의 왼쪽 호모토피(영어: left homotopy) 및 오른쪽 호모토피(영어: right homotopy)를 정의할 수 있다. 정의역이 쌍대올대상이며 공역이 올대상일 경우 왼쪽 호모토픽 관계와 오른쪽 호모토픽 관계는 서로 일치하며, 동치 관계를 이루어 그 호모토피류를 정의할 수 있다.

모형 범주  에 대응하는 호모토피 범주를 정의할 수 있다. 호모토피 범주의 대상은 올대상이자 쌍대올대상인 대상들이며, 사상은 원래 모형 범주의 호모토피류이며, 호모토피 범주에서 원래 모형 범주의 약한 동치는 실제 동형 사상이 된다.

성질편집

데이터의 중복편집

약분해계의 일반적인 이론에 따라서, 모형 범주의 구조의 데이터는 중복된다. 구체적으로, 모형 범주의 다음과 같은 데이터만으로 모형 범주 구조를 재구성할 수 있다.

구체적으로, 임의의 범주  의 사상 모임  이 주어졌을 때,  에 대하여 오른쪽 올림 성질을 만족시키는 사상 모임을  으로,  에 대하여 왼쪽 올림 성질을 만족시키는 사상 모임을  으로 표기하자.

그렇다면, 모형 범주에서 약한 동치의 모임   · 쌍대올뭉치의 모임   · 올뭉치의 모임   사이에는 다음과 같은 관계가 성립한다.

 
 
 
 
 

따라서, 약한 동치 · 쌍대올뭉치 · 올뭉치 가운데 2개가 주어지면 나머지 하나를 재구성할 수 있다.

수축에 대한 닫힘편집

모든 모형 범주  에서,   ·   ·  는 모두 수축에 대하여 닫혀 있다. 즉, 구체적으로 다음과 같은 성질을 만족시킨다.

  • 임의의 사상  ,  에 대하여, 만약 화살표 범주  에서 분할 단사 사상  이 존재한다고 하자. 만약   ,  , 또는   가운데 하나라고 할 때, 만약  라면  이다. 화살표 범주에서의 분할 단사 사상은 구체적으로  이며  이며  이며  인 사상  ,  ,  ,  가 존재하는 것이다.
     

일부 문헌에서 이는 모형 범주의 정의의 일부로 등장하지만, 이는 사실 다른 공리들로부터 함의된다.[7][5]:Proposition E.1.3

편집

자명한 모형 구조편집

임의의 완비 쌍대 완비 범주  가 주어졌다고 하자. 그렇다면, 그 위에 다음과 같은 자명한 세 가지의 모형 구조를 줄 수 있다.

약한 동치 올뭉치 쌍대올뭉치 올대상 쌍대올대상 호모토피 범주
동형 사상 모든 사상 모든 사상 모든 대상 모든 대상 원래 범주  
모든 사상 동형 사상 모든 사상 끝 대상 모든 대상  로부터 생성되는 준군
모든 사상 모든 사상 동형 사상 모든 대상 시작 대상  로부터 생성되는 준군

보다 일반적으로,   위에 약분해계  이 주어졌다고 하자. 그렇다면, 모든 사상을 약한 동치로 삼고,  의 원소를 올뭉치로,  의 원소를 쌍대올뭉치로 삼으면 이는 모형 구조를 이룬다. 이 경우 역시 호모토피 범주는  로부터 생성되는 준군이다.

위상 공간의 범주편집

위상 공간연속 함수의 범주   위에는 다음과 같은 세 개의 모형 범주 구조가 흔히 쓰인다.[8]:§17

모형 범주 구조 약한 동치 올뭉치 쌍대올뭉치 올대상 쌍대올대상 인용
퀼런(Quillen) 약한 호모토피 동치 세르 올뭉치 상대적 세포 복합체의 수축(retract) 모든 위상 공간 세포 복합체 [9]
후레비치(Hurewicz)
또는 스트룀(Strøm)
호모토피 동치 후레비치 올뭉치 닫힌집합인 후레비치 쌍대올뭉치 모든 위상 공간 모든 위상 공간 [10]
혼합(mixed) 약한 호모토피 동치 후레비치 올뭉치 쌍대올이 상대적 세포 복합체호모토피 동치인 후레비치 쌍대올뭉치[11]:Example 3.8 모든 위상 공간 세포 복합체호모토피 동치인 위상 공간 [11]

이들을 구별하기 위하여, 간혹 q-올대상(영어: q-fibrant object) · h-올대상 · m-올대상 따위의 용어를 사용하기도 한다. 여기서 q · h · m은 대응하는 모형 구조의 영어명의 머릿글자이다.

단체 집합편집

단체 집합의 범주  에는 역시 표준적인 모형 구조가 존재한다. 또한, 이 모형 구조는 위상 공간의 범주의 퀼런 모형 구조와 퀼런 동치이며, 따라서 동치인 호모토피 범주를 갖는다. 단체 집합의 범주에서 모든 대상은 쌍대올대상이며, 올대상칸 복합체이다.

사슬 복합체의 범주편집

아벨 범주   위에서, 자연수 (음이 아닌 정수) 등급의 사슬 복합체의 범주  자연수 등급의 공사슬 복합체의 범주  를 생각하자.

만약  단사 대상을 충분히 가지는 범주라면, 공사슬 복합체 범주   위에는 약한 동치가 공사슬 복합체유사동형이며, 쌍대올뭉치가 양수 성분이 모두 단사 사상공사슬 사상으로 구성되는 모형 범주 구조가 존재한다. 이 모형 범주에서 모든 공사슬 복합체쌍대올대상이며, 올대상단사 대상으로 구성된 공사슬 복합체이며, 올대상 분해는 공사슬 복합체단사 분해이다.

반대로, 만약  사영 대상을 충분히 가지는 범주라면, 사슬 복합체 범주   위에는 약한 동치가 사슬 복합체유사동형이며, 올뭉치가 양수 성분이 모두 전사 사상사슬 사상으로 구성되는 모형 범주 구조가 존재한다. 이 모형 범주에서 모든 사슬 복합체올대상이며, 쌍대올대상사영 대상으로 구성된 사슬 복합체이며, 쌍대올대상 분해는 사슬 복합체사영 분해이다.

집합의 범주편집

집합함수의 범주   위에는 정확히 9개의 모형 범주 구조가 존재한다.[12]

쌍대올뭉치 올뭉치 약한 동치 쌍대올대상 올대상
전단사 함수 함수 함수 공집합 집합
전사 함수 단사 함수 함수 공집합 공집합 또는 한원소 집합
정의역이 공집합이 아닌 단사 함수 또는 공집합 위의 항등 함수 전사 함수 또는 정의역이 공집합인 함수 함수 공집합 집합
정의역이 공집합이 아닌 함수 또는 공집합 위의 항등 함수 전단사 함수 또는 정의역이 공집합인 함수 함수 공집합 공집합 또는 한원소 집합
단사 함수 전사 함수 함수 집합 공집합이 아닌 집합
함수 전단사 함수 함수 집합 한원소 집합
단사 함수 전사 함수 또는 정의역이 공집합인 함수 정의역이 공집합이 아닌 함수 또는 공집합 위의 항등 함수 집합 집합
함수 전단사 함수 또는 정의역이 공집합인 함수 정의역이 공집합이 아닌 함수 또는 공집합 위의 항등 함수 집합 공집합 또는 한원소 집합
함수 함수 전단사 함수 집합 집합

이에 따른 호모토피 범주는 다음과 같다.

  • 만약 약한 동치가 임의의 함수라면, 호모토피 범주는 하나의 대상 및 하나의 사상만을 갖는 범주와 동치이다.
  • 만약 약한 동치가 정의역이 공집합이 아닌 함수 또는 공집합 위의 항등 함수라면, 호모토피 범주는 두 개의 대상 (공집합 · 공집합이 아닌 집합) 및 이들의 항등 사상만을 갖는 범주와 동치이다.
  • 만약 약한 동치가 전단사 함수라면, 호모토피 범주는 집합과 함수의 범주와 동치이다.

미분 등급 대수편집

표수 0인 체   위에서, 다음과 같은 범주들을 생각하자.

이 네 범주 위에는 각각 자연스러운 모형 범주 구조를 줄 수 있으며, 모든 경우 약한 동치는 유사동형(코호몰로지의 동형)이다.

작은 범주의 범주편집

작은 범주함자의 범주   위에서, 호모토피 동치가 범주의 동치가 되는 모형 범주 구조는 유일하다.[13] 이 모형 범주 구조는 다음과 같다.

  • 약한 동치인 함자는 범주의 동치이다. 즉, 다음 조건을 만족시키는 함자  이다.
    • 충실충만한 함자이다.
    • 임의의  에 대하여,  인 대상  동형 사상  가 존재한다.
  • 쌍대올뭉치인 함자  는 대상에 대하여 단사 함수함자이다. 즉, 임의의  에 대하여  라면  이다.
  • 올뭉치인 함자  는 다음 조건을 만족시키는 함자이다.
    • 임의의  ,   -동형 사상  에 대하여,  이자  가 되는  -동형 사상  가 존재한다.

동치 관계편집

동치 관계의 범주에 흥미로운 모형 범주 구조를 부여할 수 있다.[14]

역사편집

대니얼 퀼런이 1967년에 도입하였다.[9]

참고 문헌편집

  1. Hovey, Mark (1999). 《Model categories》. Mathematical Surveys and Monographs (영어) 63. American Mathematical Society. ISBN 978-0-8218-4361-1. 
  2. Hirschhorn, Philip S. (2003). 《Model categories and their localizations》. Mathematical Surveys and Monographs (영어) 99. American Mathematical Society. ISBN 978-0-8218-4917-0. 
  3. Goerss, Paul G.; Schemmerhorn, Kristen (2007). 〈Model categories and simplicial methods〉. 《Interactions between Homotopy Theory and Algebra. Papers from the Summer School held at the University of Chicago, Chicago, IL, July 26–August 6, 2004》. Contemporary Mathematics (영어) 436. American Mathematical Society. 3–49쪽. Bibcode:2006math......9537G. ISBN 978-0-8218-3814-3. MR 2355769. arXiv:math/0609537. doi:10.1090/conm/436/08403. 
  4. Riehl, Emily (2014년 5월). 《Categorical homotopy theory》 (PDF). New Mathematical Monographs (영어) 24. Cambridge University Press. ISBN 978-110704845-4. doi:10.1017/CBO9781107261457. 2015년 5월 1일에 원본 문서 (PDF)에서 보존된 문서. 2016년 2월 11일에 확인함. 
  5. Joyal, André. 《The theory of quasi-categories and its applications》 (PDF) (영어). 
  6. Joyal, André. “Model categories”. 《Joyal’s CatLab》 (영어). 
  7. Riehl, Emily (2009년 9월 3일). “A concise definition of a model category” (PDF) (영어). 
  8. May, Peter; Ponto, Kathleen (2012년 2월). 《More concise algebraic topology: localization, completion, and model categories》 (PDF). Chicago Lectures in Mathematics (영어). University of Chicago Press. ISBN 978-022651178-8. 
  9. Quillen, Daniel G. (1967). 《Homotopical algebra》. Lecture Notes in Mathematics (영어) 43. Springer. MR 0223432. doi:10.1007/BFb0097438. 
  10. Strøm, Arne (1972년 12월 1일). “The homotopy category is a homotopy category” (PDF). 《Archiv der Mathematik》 (영어) 23 (1): 435–441. ISSN 0003-889X. doi:10.1007/BF01304912. 
  11. Cole, Michael (2006년 1월 1일). “Mixing model structures”. 《Topology and its Applications》 (영어) 153 (7): 1016–1032. doi:10.1016/j.topol.2005.02.004. 
  12. Camarena, Omar Antolín. “The nine model category structures on the category of sets” (영어). 2016년 2월 15일에 원본 문서에서 보존된 문서. 2016년 2월 11일에 확인함. 
  13. Schommer-Pries, Chris (2012년 11월 16일). “The canonical model structure on Cat”. 《Secret Blogging Seminar》 (영어). 
  14. Larusson, Finnur (2006). “The homotopy theory of equivalence relations” (영어). Bibcode:2006math.....11344L. arXiv:math/0611344. 

외부 링크편집