[논문 리뷰] Lie, associative and commutative quasi-isomorphism

Ricardo Campos, Dan Petersen외 2명|arXiv (Cornell University)|2019. 04. 07.

Homotopy and Cohomology in Algebraic Topology참고 문헌 43인용 수 9

한 줄 요약

이 논문은 특성 0의 체 위에서 두 가환 미분적 가환 대수는 결합 대수로서의 준동형성과 가환 대수로서의 준동형성이 동시에 성립함을 보여주며, 이는 유리수 호모토피 이론에서 오랫동안 남아 있던 문제를 해결한다. 또한, 코스줄 쌍대성에 해당하는 결과를 증명한다: 두 호모토피 완비 미분적 리 대수의 보편 포괄 대수가 결합 대수로서 준동형이면, 원래의 리 대수 역시 준동형임을 보이며, 이는 노름 가능 리 대수에 응용된다.

ABSTRACT

Over a field of characteristic zero, we show that two commutative differential graded (dg) algebras are quasi-isomorphic if and only if they are quasi-isomorphic as associative dg algebras. This answers a folklore problem in rational homotopy theory, showing that the rational homotopy type of a space is determined by its associative dg algebra of rational cochains. We also show a Koszul dual statement, under an additional completeness hypothesis: two homotopy complete dg Lie algebras whose universal enveloping algebras are quasi-isomorphic as associative dg algebras must themselves be quasi-isomorphic. The latter result applies in particular to nilpotent Lie algebras (not differential graded), in which case it says that two nilpotent Lie algebras whose universal enveloping algebras are isomorphic as associative algebras must be isomorphic.

연구 동기 및 목표

• 유리수 호모토피 이론에서 공간의 유리수 호모토피 유형이 그 공간의 유리수 코체인의 결합 대수로서 결정되는지 여부에 관한 민간 문제를 해결하기 위해.
• 특성 0의 체 위에서 결합 대수의 범주에서의 준동형성이 가환 대수의 범주에서의 준동형성으로 이어지는지 조사하기 위해.
• 미분적 리 대수에 대해 코스줄 쌍대성 결과를 확립하여, 보편 포괄 대수가 결합 대수로서 준동형이면 원래의 리 대수가 준동형임을 보이며, 호모토피 완비성 조건을 가정한다.
• 노름 가능 리 대수가 그 보편 포괄 대수로서의 결합 대수에 의해 완전히 동형 사상 이하로 결정됨을 보여주기 위해.

제안 방법

• 저자들은 ∞-코알구조체의 변형 이론과 호모토피 전달 정리(호모토피 전달 정리)를 활용하여 가환 대수와 결합 대수의 구조를 연결한다.
• 바-코바-해소와 완비화된 코바-구성법을 적용하여, 미분적 리 대수와 그 보편 포괄 대수 간의 관계를 규명한다.
• 핵심 기술 도구로는 완비화된 코바-구성법의 내림 필터링을 통한 필터링 준동형을 사용하여 준동형성이 유지됨을 증명한다.
• 증명은 파르코에-비르크호프-윌러 정리와 보편 포괄 대수의 원소들 중 근본 원소들로 이루어진 리 대수가 원래 리 대수를 복원한다는 사실에 기반한다.
• 무한수의 나무에 대한 호모토피 전달 공식에서의 수렴 문제로 인해, 국소 유한성이 아닌 일반적인 ∞-코알구조체의 범주에서 작업한다.
• 저자들은 미분적 리 대수의 호모토피 완비화 개념을 도입하고, 이를 통해 정리 B에서 코스줄 쌍대성 결과를 기술한다.

실험 결과

연구 질문

• RQ1 특성 0의 체 위에서 결합 대수의 범주에서의 준동형성이 가환 대수의 범주에서의 준동형성으로 이어지는가?
• RQ2 공간의 유리수 호모토피 유형은 그 공간의 유리수 코체인의 결합 대수로부터 복원될 수 있는가?
• RQ3 두 개의 미분적 리 대수의 보편 포괄 대수가 결합 대수로서 준동형이면, 리 대수 자체도 준동형인가?
• RQ4 노름 가능 리 대수의 보편 포괄 대수로는 원래의 리 대수를 동형 사상 이하로 복원할 수 있는가?
• RQ5 미분적 리 대수의 호모토피 완비화 과정은 보편 포괄 대수를 거쳐 준동형 정보를 유지하는가?

주요 결과

• 정리 A는 특성 0의 체 위에서 두 가환 미분적 대수가 결합 대수로서 준동형이면, 가환 대수로서도 준동형임을 보여준다.
• 논문은 공간의 유리수 호모토피 유형이 그 공간의 유리수 코체인의 결합 대수에 의해 결정됨을 보이며, 유리수 호모토피 이론의 핵심 문제에 답한다.
• 호모토피 완비인 미분적 리 대수에 대해, 그 보편 포괄 대수가 결합 대수로서 준동형이면, 리 대수 자체도 준동형임을 정리 B에서 보여준다.
• 이 결과는 노름 가능 리 대수가 그 보편 포괄 대수로서의 결합 대수에 의해 완전히 동형 사상 이하로 결정됨을 시사한다.
• 완비화된 코바-구성법은 준동형성을 유지하며, 원래의 ∞-코알구조체의 사상이 준동형이면, 완비화된 코바-구성법에 유도된 사상 역시 준동형이 된다.
• 미분적 리 대수의 호모토피 완비화는 준동형 사상에 대해 잘 정의되어 있으며, 완비화 과정은 준동형 정보를 유지한다.