[논문 리뷰] Review of deformation theory II: a homotopical approach

Ai Guan, Andrey Lazarev외 2명|arXiv (Cornell University)|2019. 11. 29.

Homotopy and Cohomology in Algebraic Topology참고 문헌 20인용 수 6

한 줄 요약

이 논문은 특성 0에서의 호모토피적 프레임워크를 제시하여, 임의의 변형 함수가 호모토피적 동치에 대해 미분형 리 대수(dg-Lie 대수)에 의해 제어됨을 보여준다. 모델 범주 이론과 코즐 듀얼리티를 사용하여, 국소 프세우도콤���트 dg 대수의 호모토피 범주에서 변형 함수의 표류성(표현 가능성)을 증명하며, 고전 결과를 호모토피적으로 일관된 설정으로 확장한다.

ABSTRACT

We give a general treatment of deformation theory from the point of view of homotopical algebra following Hinich, Manetti and Pridham. In particular, we show that any deformation functor in characteristic zero is controlled by a certain differential graded Lie algebra defined up to homotopy, and also formulate a noncommutative analogue of this result valid in any characteristic.

연구 동기 및 목표

• 모델 범주와 브라운 표류성 표현을 사용하여 변형 이론에 대한 엄밀한 호모토피적 기초를 제공한다.
• 고전적 결과인 변형 함수가 dg-Lie 대수에 의해 제어됨을 호모토피 불변 설정으로 일반화한다.
• 결합적 dg 대수를 사용하여 임의의 특성에서 유효한 비가환적 대응체를 수립한다.
• 국소 프세우도콤팩트 dg 대수에서의 변형 함수가 적절한 조건 하에 호모토피 범주에서 표류 가능하다는 것을 보인다.
• 코즐 듀얼리티와 바-코바르 구성법을 통해 가환 및 결합적 변형 이론을 비교한다.

제안 방법

• 국소 프세우도콤팩트 dg 대수에서의 변형 함수를 형식화하기 위해 쿨렌의 닫힌 모델 범주를 활용한다.
• 콤���하게 생성된 모델 범주에서의 브라운 표류성 표현을 적용하여 변형 함수의 호모토피 표류 가능성을 확립한다.
• 힌히의 프레임워크를 통해 dg 리 대수와 코가환 dg 코알제브라 간의 코즐 듀얼리티를 사용하여 변형 함수를 dg-Lie 대수와 연결한다.
• 바-코바르 구성법을 사용하여 결합적 dg 대수와 dg-Lie 대수 간의 관계를 설정하고, 변형 제어의 전달을 가능하게 한다.
• 국소 프세우도콤팩트 dg 대수의 호모토피 범주에서의 함수가 표류 가능한 조건을 제시한다: 호모토피 불변성, 정규화, 곱의 보존, 피복 맵의 상사상성.
• 아벨화 함수와 셰바레-일리베르 건축 간의 수반 관계를 활용하여 결합적 및 가환 변형 함수를 연결한다.

실험 결과

연구 질문

• RQ1 국소 프세우도콤팩트 dg 대수에서의 변형 함수가 호모토피 범주에서 언제 표류 가능할까?
• RQ2 특성 0에서 변형 함수가 호모토피 동치에 대해 어떤 dg-Lie 대수에 의해 제어될 수 있을까?
• RQ3 호모토피 설정에서 결합적 및 가환 변형 이론 간의 관계는 무엇인가?
• RQ4 바-코바르 듀얼리티를 사용하여 결합적 dg 대수에 의해 제어되는 변형 함수를 dg-Lie 대수에 의해 제어되는 함수와 연결할 수 있는가?
• RQ5 국소 프세우도콤팩트 dg 대수의 호모토피 범주에서의 함수가 표류 가능하기 위한 필요 및 충분 조건은 무엇인가?

주요 결과

• 호모토피 불변성, 정규화, 곱의 보존, 그리고 피어리 프로덕트에 대한 상사상성 조건을 만족하는 국소 프세우도콤팩트 dg 대수의 호모토피 범주에서의 임의의 변형 함수는 표류 가능하다.
• 특성 0에서, 모든 변형 함수는 변형 대수의 바 구성법을 통해 호모토피 동치에 대해 정의된 dg-Lie 대수에 의해 제어된다.
• dg 대수 𝔤에 대응하는 변형 함수는 바 구성법 Bar(𝔤)에 의해 표류 가능하며, 이는 리 대수 Lie(𝔤)의 마우러-카르탕 함수와 동형이다.
• 결합적 변형 함수를 국소 프세우도콤팩트 가환 dg 대수의 범주로 제한하면, 이는 해당 결합적 대수의 리 대수에 의해 제어되는 변형 함수와 대응된다.
• 셰바레-일리베르 건축은 바 구성법에서 가환 dg 대수로의 사상의 호모토피 클래스와 관련된 리 대수의 마우러-카르탕 원소 사이에 자연스러운 동형을 제공한다.
• 모듈러의 유도 내부 사상의 비단위 dg 대수는 그 변형을 제어하며, 이는 가환 설정으로 제한되었을 때 해당 내부 사상 대수의 리 대수와 대응된다.