[논문 리뷰] Homotopy Theory of linear cogebras

Brice Le Grignou, Damien Lejay|arXiv (Cornell University)|2018. 03. 04.

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

한 줄 요약

이 논문은 완비 곡선 대수의 범주를 도입함으로써, $σ\mathcal{E}_\infty$, $σ\mathcal{A}_\infty$, 및 $σ\mathcal{L}_\infty$와 같은 코대수에 대한 호모토피 이론을 수립한다. 이 범주는 코대수의 모델 범주 구조와 준동치인 구조를 지닌다. 주요 기여는 국소 코노일포텐트성 또는 곡률이 없는 준동치 이론이 필요하지 않은 코대수에 대한 호모토피 이론 프레임워크를 제공하는 것이다.

ABSTRACT

We study extensively the homotopy theory of cogebras. By cogebras, we mean the full theory of cogebras: with counits and not necessarily locally conilpotent. For example $\mathcal E_\infty$-cogebras, $\mathcal A_\infty$-cogebras, $\mathcal L_\infty$-cogebras etc. To do so, we define the category of complete curved algebras --- where the notion of quasi-isomorphims does not make sense --- and endow it with a model category structure, equivalent to that of the category of cogebras.

연구 동기 및 목표

• 국소 코노일포텐트성이 보장되지 않는 코대수를 포함한 포괄적인 코대수의 호모토피 이론을 개발하기 위해.
• 곡선 대수에서 의미 있는 준동치 이론의 부재를 해결하기 위해 새로운 범주를 도입하기 위해.
• 완비 곡선 대수에서 코대수의 호모토피 이론과 동치인 모델 범주 구조를 구축하기 위해.
• 대수의 기존 호모토피 이론 프레임워크를 코모듈러스와 코단위를 지닌 코대수의 이중 설정으로 일반화하기 위해.
• 비코노일포텐트 코대수, 예를 들어 $σ\mathcal{E}_\infty$-코대수에서 파생 및 호모토피 방법론의 기초를 제공하기 위해.

제안 방법

• 곡률과 비코노일포텐트성의 자연스러운 수용이 가능한 완비 곡선 대수의 범주를 정의하기 위해.
• 곡선 구조에 적합한 필라션, 코필라션, 약한 동치를 사용하여 완비 곡선 대수에서 모델 범주 구조를 도입하기 위해.
• 완비 곡선 대수의 모델 범주와 코대수의 범주 사이의 퀼렌 동치를 확립하기 위해.
• 곡선 미분가환 구조를 사용하여 코대수의 고차 호모토피 호환성 구조를 모델링하기 위해.
• 유도 대수학과 호모로지 대수학 기법을 활용하여 비코노일포텐트 및 비코프레임 오브제크트를 다루기 위해.
• 대수와 코대수 간의 이중성을 활용하여 대수에서의 호모토피 구조를 코대수로 이행하기 위해.

실험 결과

연구 질문

• RQ1 국소 코노일포텐트성이 아니거나 표준적인 방식으로 곡률을 지닌 코대수에 대해 어떻게 호모토피 이론을 개발할 수 있는가?
• RQ2 어떤 곡선 대수의 범주가 코대수의 호모토피 이론과 등가인 잘 정의된 모델 구조를 지닐 수 있는가?
• RQ3 곡선 대수에서 준동치의 부재를 새로운 모델 범주 프레임워크를 도입함으로써 극복할 수 있는가?
• RQ4 코대수의 호모토피 이론과 완비 곡선 대수의 범주 간의 관계는 무엇인가?
• RQ5 코노일포텐트성이 없는 환경에서 $σ\mathcal{E}_\infty$-코대수와 같은 고차 대수적 구조를 어떻게 호모토피적으로 다룰 수 있는가?

주요 결과

• 완비 곡선 대수의 범주는 준동치 이론의 부재를 해결하는 잘 정의된 모델 범주 구조를 지닌다.
• 이 모델 범주는 코대수의 범주와 퀄렌 동치이며, 코대수의 호모토피 이론 기초를 확립한다.
• 이 프레임워크는 $σ\mathcal{E}_\infty$, $σ\mathcal{A}_\infty$, 및 $σ\mathcal{L}_\infty$-코대수를 포함한 다양한 코대수에 균일하게 적용된다.
• 이 구조는 국소 코노일포텐트성의 필요성을 제거하여 더 넓은 범주의 코대수로 호모토피 이론을 확장한다.
• 완비 곡선 대수의 모델 구조는 코대수 설정에서 호모토피 극한, 극대, 유도 함자를 정의하는 표준적 방법을 제공한다.
• 대수와 코대수 간의 이중성은 호모토피 설정에서도 유지되며, 대수의 결과를 코대수로 이행하는 데 기여한다.