[논문 리뷰] Maurer-Cartan moduli and theorems of Riemann-Hilbert type

Joseph Chuang, Julian J. Holstein외 1명|arXiv (Cornell University)|2018. 02. 07.

Homotopy and Cohomology in Algebraic Topology참고 문헌 37인용 수 8

한 줄 요약

이 논문은 dg 대수와 카테고리에서 Mauer-Cartan 모듈리 공간에 대한 새로운 프레임워크를 수립하며, 그것이 단지 준동형에 대한 불변량이 아니라 강한 호모토피 유형의 불변량임을 보여준다. 분석적 및 대수적 설정에서 양자역학적 및 호모토피 동치성의 MC 원소에 대해 Schlessinger-Stasheff 유형의 정리를 증명하고, 이를 통해 다양체, 단순 복합체 및 위상공간에 대해 고차원 Riemann-Hilbert 대응관계를 재증명하고 일반화한다. 이는 난이도 조절된 dg 대수의 이중 모듈러 카테고리들을 통해 이루어진다.

ABSTRACT

We study Maurer-Cartan moduli spaces of dg algebras and associated dg categories and show that, while not quasi-isomorphism invariants, they are invariants of strong homotopy type, a natural notion that has not been studied before. We prove, in several different contexts, Schlessinger-Stasheff type theorems comparing the notions of homotopy and gauge equivalence for Maurer-Cartan elements as well as their categorified versions. As an application, we re-prove and generalize Block-Smith's higher Riemann-Hilbert correspondence, and develop its analogue for simplicial complexes and topological spaces.

연구 동기 및 목표

• dg 대수와 그 모듈러를 분석하여 고차원 Riemann-Hilbert 대응관계를 더 단순한 언어로 이해하는 것.
• Mauer-Cartan 모듈리 공간이 준동형보다 더 세밀한 강한 호모토피 유형의 불변량임을 보여주는 것.
• dg 대수에서 MC 원소의 호모토피 동치성과 게이지 동치성 간 비교를 위한 Schlessinger-Stasheff 유형의 정리를 수립하는 것.
• Block-Smith의 고차원 Riemann-Hilbert 대응관계를 단순 복합체와 위상공간으로 일반화하는 것.
• K_{\bullet}^*-대수를 사용하여 dg 대수의 호모토피 이론을 개발하고 K_{\bullet}-호모토피 카테고리의 정의를 내리는 것.

제안 방법

• dg 대수 A에 대해 이중 A-모듈러의 카테고리 Tw(A)를 도입하며, 이는 유도 카테고리 D(A)보다 더 세밀한 불변량이다.
• dg 대수에 대한 강한 호모토피 동치성을 정의하며, 이는 곱 구조를 유지하고 준동형보다 엄밀히 더 세밀한 개념이다.
• K_{\bullet}^* 대수, 특히 \bullet = \infty, 0 인 K_{\bullet}^*를 사용하여 호모토피를 모델링하고, K_{\bullet}-호모토피 클래스의 사상으로 정의한다.
• K_{\infty}^* 가 특정 관계와 미분을 갖는 생성자 e,f,s,t로 생성되며, 약한 계수를 갖는다. 이를 통해 약한 계수를 갖는다.
• K_{\bullet}-호모토피 사상 클래스를 사상으로 삼아 dg 대수의 K_{\bullet}-호모토피 카테고리를 구성한다.
• 이 이론을 \Omega(M) 위의 dg 모듈러에 대해 층화에 적용하고, 적절한 조건 하에서 해당 층이 코homologically 국소적으로 상수임을 보인다.

실험 결과

연구 질문

• RQ1 Mauer-Cartan 모듈리 공간이 준동형이 아니라 강한 호모토피 유형의 불변량인가?
• RQ2 어떤 조건에서 호모토피 동치인 MC 원소들이 게이지 동치가 되며, 그 반대의 경우도 성립하는가?
• RQ3 고차원 Riemann-Hilbert 대응관계는 다양체를 초월해 단순 복합체와 위상공간으로 일반화될 수 있는가?
• RQ4 K_{\infty}^*와 K_0^* 대수는 dg 대수에서 곱의 호모토피를 어떻게 모델링하는가?
• RQ5 카테고리 Tw(A)는 유도 카테고리 D(A)보다 더 세밀한 불변량인가? 그 호모토피 이론은 어떠한가?

주요 결과

• 카테고리 Tw(A)는 A의 준동형 불변량이 아니지만, 강한 호모토피 동치에 대해 불변이다.
• Mauer-Cartan 모듈리 공간은 dg 대수에 대한 새로운 비자명한 호모토피 개념인 강한 호모토피 유형의 불변량이다.
• 분석적 및 대수적 설정 모두에서 Schlessinger-Stasheff 유형의 정리가 성립하며, 적절한 조건 하에서 MC 원소의 호모토피 동치성과 게이지 동치성이 일치한다.
• 고차원 Riemann-Hilbert 대응관계는 dg 이중 모듈러 카테고리를 통해 단순 복합체와 위상공간으로 재증명되고 일반화된다.
• dg 대수 K_{\infty}^* 는 생성자 e,f,s,t와 관계를 명시적으로 기술하며, 약한 계수를 갖는다. 이는 호모토피를 모델링하는 데 이상적이다.
• dg 대수의 K_{\bullet}-호모토피 카테고리는 잘 정의되어 있으며, K_{\infty}-호모토피 동치는 K_0-동치보다 엄밀히 더 세밀하다.