비가환 미정칙 공간의 de Rham 동형 이론과 폐쇄 dg‑범주

본 논문은 Sullivan이 제시한 유리 동형 이론을 비 nilpotent(비가환) 위상공간으로 확장하고, 이를 두 종류의 대수적 객체—폐쇄 dg‑범주(closed dg‑category)와 가환적 π₁‑불변 dg‑대수(equivariant dg‑algebra)—를 통해 체계화한다. 1. **배경 및 동기** Sullivan의 이론은 nilpotent 공간에 대해 다항식 de Rham 복합체와 커뮤터티브 dg‑대수 사이의 동등성을 이용해 호모토피 군과 k‑불변량을 계산한다. 비 nilpotent 경우, 전통적인 유리화는 기본군의 비가환성을 무시하게 되므로, Bousfield–Kan의 섬유별 유리화와 Toën이 제안한 스키마틱 동형화(schematic homotopy types)가 대안으로 제시된다. 그러나 이들 방법은 고차 구조를 충분히 포착하지 못하거나 계산이 어려운 문제가 있다. 2. **폐쇄 dg‑범주의 정의와 기본 성질** 폐쇄 dg‑범주는 k‑선형 dg‑범주에 텐서 구조와 내부 호몰을 동시에 부여한 것으로, 정의 2.1.1에서 정확히 규정한다. 객체는 유한 차원 로컬 시스템이며, 사상 복합체는 다항식 de Rham 복합체와 로컬 계수를 결합한다. 이 범주는 모델 범주 구조를 갖으며, 작은 폐쇄 dg‑범주의 완비화(completion)와 Tannakian 이론을 통해 ‘완전성(completeness)’을 정의한다(섹션 2.2). 3. **Tannakian dg‑범주와 가환적 π₁‑불변 dg‑대수의 대응** Tannakian dg‑범주(Tan)은 T PL(K)와 동형인 특수한 폐쇄 dg‑범주로, 정의 3.1.1에서 제시한다. 이 범주는 기본군의 친환원적 완성 π₁^{red}와 그 좌·우 작용을 이용해 정의된 가환적 π₁‑불변 dg‑대수 A_red(K)와 정확히 대응한다(Prop. 3.3.4, Thm. 3.4.5). A_red(K)는 다항식 de Rham 복합체에 O(π₁^{red})라는 로컬 시스템을 텐서한 형태이며, 기본군 작용을 좌측 전이로, 텐서 구조를 우측 전이로 해석한다. 4. **스키마틱 동형 유형과 폐쇄 dg‑범주의 동등성** 스키마틱 동형 유형(SHT*)은 Toën이 정의한 ∞‑스택의 한 부분군으로, k‑선형 호모토피 쉐이브를 만족한다. Theorem 1.0.1(Thm. 5.2.1)은 Ho(SHT*)와 Ho(Tan)^{op} 사이에 반대 동등성을 구축한다. 구체적으로, (−⊗k)^{sch}∘T PL은 sSet_* → Ho(SHT*) → Ho(Tan)^{op}와 자연 동형을 이룬다. 이는 기존에 스키마틱 동형화가 A_red(K)의 호모토피 쿼오티언트으로 구현된다는 사실을 범주론적으로 정리한 것이다. 5. **최소 모델을 통한 고차 호모토피 군과 k‑불변량의 복원** A_red(K)는 전통적인 의미의 최소 모델(M)을 갖는다. M은 V_i(=π_i⊗k의 반단순화)와 차동 d로 생성되며, d|_{V_i}=d_{M^1⊗k}+d_{M^{(i-1)}} 로 분해된다. 여기서 d_{M^1⊗k}는 기본군의 작용을, d_{M^{(i-1)}}는 i‑번째 Postnikov 단계의 k‑불변량을 기술한다(Theorem 1.0.2, Lem. 3.3.9, Thm. 4.1.3). 이 구조는 π_i(K) (i≥2)를 완전히 복원하고, π₁‑모듈 구조와 고차 k‑불변량을 동시에 파악한다. 6. **섬유별 유리화와 폐쇄 dg‑범주의 부가 데이터** 섬유별 유리화는 기본군을 친환원적 완성으로 교체하고, 고차 호모토피를 유리화한다. 그러나 폐쇄 dg‑범주만으로는 기본군 자체를 복원할 수 없으며, 프로‑대수적 완성만을 얻는다. 이를 보완하기 위해 Theorem 1.0.4는 ‘섬유함수(fiber functor)’와 ‘대표성 동형(φ)’라는 부가 데이터를 포함한 카테고리 Tan^{+}_{gd}를 정의하고, (T_PL(K), π₁(K), φ_K)와 섬유별 유리화 사이에 동등성을 증명한다. 이때 algebraically good 그룹(Def. 4.1.1)과 유한 차원 Q‑벡터 공간으로 구성된 고차 호모토피 군을 가정한다. 7. **예시와 응용** - Example 1.0.3에서는 Z와 M이 작용하는 반단순·비단순 부분을 이용해 구체적인 최소 모델을 계산한다. - 자유 루프 공간, 셀 부착 등 전통적인 위상학적 구성에 대한 최소 모델을 제시하고, 기존 문헌(