[논문 리뷰] Formal deformations of morphisms of associative algebras

Dennis Borisov|ArXiv.org|2005. 06. 23.

Advanced Topics in Algebra참고 문헌 5인용 수 6

한 줄 요약

이 논문은 dg 아벨리안 대수 사이의 사상과 그 정의역 및 치역의 동시에 변형을 제어하는 $\mathcal{L}_{\infty}$-대수를 구성한다. 이 $\mathcal{L}_{\infty}$-대수의 단순 체계 딜레인 군족이 변형 군족과 약하게 동치임을 증명하고, 그 코homology가 고전적 게르스텐하버-샤크 코homology와 일치함을 보여 이전의 구성과의 일致성을 확인한다.

ABSTRACT

The strong homotopy Lie algebra, controlling simultaneous deformations of a morphism of associative algebras and its domain and codomain is constructed. Isomorphism of the cohomology of this strong homotopy Lie algebra with the classical construction is shown.

연구 동기 및 목표

• dg 아벨리안 대수 사이의 사상의 형식적 변형 이론을 기술하며, 사상 자체와 그 정의역 및 치역의 동시에 변형을 포함한다.
• 사상의 복합 구조에서 유래하는 고차 연산으로 인해, 리 대수 대신 $\mathcal{L}_{\infty}$-대수를 사용하여 이러한 동시에 변형을 다루는 $\mathcal{L}_{\infty}$-대수를 구성한다.
• 이 $\mathcal{L}_{\infty}$-대수의 단순 체계 딜레인 군족이 실제 변형 군족과 약하게 동치임을 확립한다.
• 이 $\mathcal{L}_{\infty}$-대수의 코homology가 고전적 게르스텐하버-샤크 코homology와 일치함을 증명하여 이전 연구와의 일致성을 확인한다.

제안 방법

• dg 대수의 사상의 범주를 단순화하여, 호모토피적 변형을 단순화된 범주 간의 함자에 대한 섬세한 근원으로 모델링한다.
• 변형 문제를 호크시ลด 코호모로지 위에 $\mathcal{A}_{\infty}$-구조로 번역함으로써, 마우러-카르탕 방정식을 통한 $\mathcal{L}_{\infty}$-대수의 정의를 가능하게 한다.
• 코프리미티브 코알제브라의 코미터레이터와 사상의 조합 구조를 반영하는 연산을 사용하여 $\mathcal{L}_{\infty}$-대수를 정의한다.
• 바르-카보르 구조를 사용하여 $\mathcal{L}_{\infty}$-대수의 딜레인 군족에서 변형 군족으로의 단순 함자를 구성한다.
• 바르-카보르 구조가 사상 공간 위에서 약한 동치를 유도함을 보여, 딜레인 군족과 변형 군족 사이의 약한 동치를 증명한다.
• 거의 자유이고 음의 차수를 갖지 않는 대수의 코프리미티브 성질을 이용하여 모델 범주 이론에 기반해 근원 계산이 타당함을 보장한다.

실험 결과

연구 질문

• RQ1 dg 아벨리안 대수의 사상과 그 정의역 및 치역의 동시에 변형을 호모토피 대수학을 통해 어떻게 형식화할 수 있는가?
• RQ2 이 변형 문제에서 왜 리 대수 대신 $\mathcal{L}_{\infty}$-대수가 필요한가?
• RQ3 구성된 $\mathcal{L}_{\infty}$-대수의 단순 체계 딜레인 군족이 실제 변형 군족과 동치인가?
• RQ4 $\mathcal{L}_{\infty}$-대수의 코homology가 고전적 게르스텐하버-샤크 코homology와 일치하는가?
• RQ5 고차 연산(예: 삼항 연산)은 사상의 복합 구조에서 어떻게 자연스럽게 유도되는가?

주요 결과

• 구성된 $\mathcal{L}_{\infty}$-대수는 dg 아벨리안 대수 사이의 사상과 그 정의역 및 치역의 동시에 변형을 제어한다.
• 이 $\mathcal{L}_{\infty}$-대수의 딜레인 군족은 변형 군족과 약하게 동치이며, 이는 $\mathcal{L}_{\infty}$-대수가 정확한 변형 함수로 기능함을 입증한다.
• $\mathcal{L}_{\infty}$-대수의 코homology는 고전적 게르스텐하버-샤크 코호모로지와 동형이며, 이는 이전 연구와의 일치를 확인한다.
• $\mathcal{L}_{\infty}$-대수 복합체의 미분은 사상 $C^\bullet(A,A) \oplus C^\bullet(B,B) \to C^\bullet(A,B)$의 코너에 의해 변형된 것으로, 알려진 미분과 일致한다.
• 코호모로지 위의 리 대수의 구조는 $\mathcal{L}_{\infty}$-구조의 이항 연산에서 유래하며, 게르스텐하버-샤크 이론에서 사용된 원환형 곱의 교환자와 일致한다.
• 이 구성은 음의 차수를 갖지 않는 대수의 코프리미티브 성질에 의존하여, 모델 범주 설정에서의 근원 계산이 타당함을 보장한다.