[논문 리뷰] Differential modules with $\infty$-simplicial faces and $A_\infty$-algebras

С. В. Лапин|arXiv (Cornell University)|2018. 09. 06.

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

한 줄 요약

이 논문은 색칠된 코스줄 듀얼리티를 사용하여 ∞-단체 면을 갖는 미분 모듈러를 도입하고, 그들의 호모토피 불변성과 Aₙ-대수와의 연결을 확립한다. 주요 결과는 임의의 Aₙ-대수의 B-구성체가 ∞-단체 면을 갖는 텐서 미분 모듈러의 체인 실현과 미분 코알제브라로서 동형임을 보여주며, 체인 수준 모델을 통해 호모토피 이론적 구조와 대수적 구조를 통합한다.

ABSTRACT

In the present paper, by using the colored version of the Koszul duality, the concept of a differential module with $\infty$-simplicial faces is introduced. The homotopy invariance of the structure of a differential module with $\infty$-simplicial faces is proved. The relationships between differential modules with $\infty$-simplicial faces and $A_\infty$-algebras are established. The notion of a chain realization of a differential module with $\infty$-simplicial faces and the concept of a tensor product of differential modules with $\infty$-simplicial faces are introduced. It is proved that for an arbitrary $A_\infty$-algebra the chain realization of the tensor differential module with $\infty$-simplicial faces, which corresponds to this $A_\infty$-algebra, and the $B$-construction of this $A_\infty$-algebra are isomorphic differential coalgebras.

연구 동기 및 목표

• 색칠된 이차 대수와 코알제브라로 코스줄 듀얼리티를 일반화하기.
• 색칠된 코알제브라 위의 미분 리 모듈러로서 ∞-단체 면을 갖는 미분 모듈러를 정의하고 연구하기.
• B-구성체와 ∞-단체 면을 갖는 텐서 미분 모듈러의 체인 실현 사이의 체인 수준 동형성을 확립하기.
• B-구성체를 통해 Aₙ-대수를 Eₙ-코알제브라 구조와 스틴로드 연산자에 연결하기.
• ∞-단체 면 구조를 이용하여 Aₙ-대수에 대한 호모토피 불변 프레임워크 제공하기.

제안 방법

• 색칠된 코스줄 듀얼리티 이론을 사용하여 단체 면의 이차 색칠된 대수의 코-∞-단체 면 코알제브라를 정의한다.
• B-구성체의 쌍대 색칠된 코알제브라 (F^!, ∇) 위의 미분 리 모듈러로서 또는 등가로 B-구성체 위의 모듈러로서 ∞-단체 면을 갖는 미분 모듈러를 도입한다.
• ∞-단체 면을 갖는 미분 모듈러의 체인 실현을, B-구성체로의 자연스러운 동형사상에 의해 미분 코알제브라로 정의한다.
• 차수를 갖는 모듈러의 색칠된 텐서곱을 사용하여 ∞-단체 면을 갖는 미분 모듈러의 텐서곱을 구성한다.
• Aₙ-대수에 표준적인 B-구성체를 적용하고, 그 결과로 얻어진 B-구성체가 관련된 ∞-단체 면 모듈러의 체인 실현과 동형임을 증명한다.
• 다양한 미분과 코곱을 일치시키기 위해 차수와 코스줄 부호를 포함한 부호 규칙을 사용한다.

실험 결과

연구 질문

• RQ1 코스줄 듀얼리티를 사용하여 ∞-단체 면의 개념을 색칠된 대수와 코알제브라로 일반화할 수 있는가?
• RQ2 ∞-단체 면을 갖는 미분 모듈러의 호모토피 불변성은 무엇이며, 이는 호모토피 단체 면과 어떻게 관련되는가?
• RQ3 Aₙ-대수의 B-구성체는 그에 대응하는 ∞-단체 면을 갖는 텐서 미분 모듈러의 체인 실현과 동형인가?
• RQ4 Aₙ-대수의 B-구성체는 ∞-단체 면을 갖는 미분 모듈러의 체인 수준 모델로 해석될 수 있는가?
• RQ5 ∞-단체 면 구조는 Eₙ-코알제브라 구조를 통해 코homology 위의 스틴로드 연산자를 실현하는 데 어떤 역할을 하는가?

주요 결과

• 임의의 Aₙ-대수에 대응하는 ∞-단체 면을 갖는 텐서 미분 모듈러의 체인 실현은 그 Aₙ-대수의 B-구성체와 미분 코알제브라로서 동형이다.
• Aₙ-대수의 B-구성체는 체인 실현을 통해 Eₙ-코알제브라 구조를 상속하며, 이는 그 코homology 위에 아담 관계와 카르탕 공식을 만족하는 스틴로드 연산자가 존재함을 시사한다.
• B-구성체의 미분 코알제브라 구조는 자연스럽게 ∞-단체 면 모듈러의 체인 실현으로서 나타나며, 이는 정규화된 동형사상을 확립한다.
• ∞-단체 면 구조의 호모토피 불변성이 증명되어, 기저 Aₙ-대수의 호모토피 동치에 대해 안정함을 보장한다.
• 미분 결합 대수(즉, A₁-대수)의 경우, B-구성체는 이전 연구에서 정의된 고전적 B-구성체와 일치하며, 일관성의 타당성을 입증한다.
• 코곱 공식의 부호 규칙은 표준적인 코스줄 부호 규칙과 일치하여, 미분과 차수를 갖는 모듈러 구조와의 호환성을 보장한다.