동형 이론의 동형 이론 워크숍

초록

**
이 강의록은 2010년 이스라엘 카에사레아에서 열린 “동형 이론의 동형 이론” 워크숍에서 발표된 내용을 정리한 것으로, 동형 이론을 모델 범주, 심플렉셜 범주, 완전 세갈 공간, 쿼시-카테고리 등 다양한 모델로 구현하고 이들 사이의 비교와 최신 응용을 조망한다.

**

상세 분석

**
본 논문은 동형 이론을 “약한 동형 사상(weak equivalences)”을 지정한 범주로 정의하고, 이러한 구조를 모델 범주(Quillen model category)로 승격시키는 전통적 방법을 먼저 설명한다. Dwyer‑Kan의 심플렉셜 로컬라이제이션 이론을 도입해 약한 동형 사상이 주어지면 이를 심플렉셜 범주로 전환할 수 있음을 보이며, 이때 동형 이론 자체가 또 다른 동형 이론이 되는 ‘동형 이론의 동형 이론’ 구조가 형성된다.

그러나 심플렉셜 범주의 기존 모델 구조는 모노이달 구조와 호환되지 않고, 심플렉셜 집합으로의 완전 세갈 공간(complete Segal space) 모델이 더 나은 특성을 제공한다는 점을 강조한다. 완전 세갈 공간은 심플렉셜 집합들의 심플렉셜 다이어그램으로, 레이디(Reedy) 모델 구조를 로컬라이즈함으로써 얻어지며, 여기서 약한 동형 사상은 레벨별 동형 사상과 일치한다.

다음으로 (∞,1)-카테고리 모델들의 비교가 상세히 전개된다. 심플렉셜 범주, 완전 세갈 공간, 쿼시-카테고리(weak Kan complexes) 사이의 Quillen 등가와 그 증명 방법(예: Joyal‑Tierney, Lurie, Dugger‑Spivak 등)을 도표와 함께 제시한다. 또한 Segal n‑카테고리와 Θₙ‑공간 등 고차원 (∞,n)-카테고리 모델들의 현재 진행 중인 연구와 Barwick의 n‑fold 완전 세갈 공간, Rezk의 Θₙ‑공간 모델을 언급하며, 이들 사이의 비교가 아직 완전히 정립되지 않았음을 지적한다.

응용 부분에서는 대수기하, K‑이론, 표현 이론, 변형 이론, 안정 동형 이론, 그리고 위상장 이론 등 다양한 분야에서 위 모델들이 어떻게 활용되는지를 구체적인 참고문헌과 함께 나열한다. 특히 Lurie가 완전 세갈 공간을 이용해 Cobordism 가설을 증명하고, 고차원 (∞,n)-카테고리를 통해 Goodwillie 미적분과 같은 심층 결과를 얻은 사례가 강조된다.

전체적으로 논문은 동형 이론을 모델 범주론적 관점에서 체계화하고, 여러 현대적 (∞,1)-모델들의 상호 변환 구조와 실제 수학적 활용을 폭넓게 조망함으로써, 동형 이론 자체와 그 응용을 이해하려는 연구자들에게 포괄적인 로드맵을 제공한다.

**