DG대수와 파생 A‑무한대 대수

초록

미분 그레이드 대수(dga)는 A‑무한대 대수로 볼 수 있다. 케이디시빌리의 정리에 따르면, 필드 위의 dga는 최소 A‑무한대 대수와의 준동형 사상이 존재한다. 우리는 파생 A‑무한대 대수라는 개념을 도입하고, 임의의 교환적 기본환 k 위의 dga A가 최소 파생 A‑무한대 대수와 동등함을 보인다. 이러한 최소 파생 A‑무한대 대수 모델은 A의 동류 대수에 대한 k‑프로젝트 해석과 적절한 관계를 만족하는 일련의 사상들을 포함한다. A‑무한대 대수의 경우와 마찬가지로, 최소 파생 A‑무한대 대수 모델로부터 dga를 준동형 동형사상까지 복원할 수 있다. 따라서 우리가 기술하는 구조는 dga의 준동형 동형류를 완전하게 기술한다.

상세 요약

이 논문은 전통적인 미분 그레이드 대수(dga)와 현대 대수적 위상수학에서 중요한 역할을 하는 A‑∞(A‑무한대) 대수 사이의 관계를 새로운 관점에서 재조명한다. 기존에는 Kadeishvili 정리를 통해, 필드 위의 dga가 최소 A‑∞ 대수와 준동형 사상(quasi‑isomorphism)으로 연결될 수 있음을 알고 있었다. 그러나 이 정리는 기본환이 필드일 때만 적용 가능하다는 제한이 있다. 저자들은 이 제한을 극복하기 위해 “파생 A‑∞ 대수(derived A‑∞ algebra)”라는 개념을 도입한다. 여기서 ‘파생’이라는 용어는 기본환 k가 일반적인 교환환(commutative ring)일 때도 적용될 수 있도록, 해석적(projective) 해상도와 고차 연산을 동시에 고려한다는 의미를 담고 있다.

핵심 결과는 두 가지이다. 첫째, 임의의 교환환 k 위의 dga A는 언제든지 최소 파생 A‑∞ 대수와 동등(equivalent)하다는 것. 여기서 최소라는 조건은 고차 연산 μ₁이 0인, 즉 가장 단순한 형태의 파생 A‑∞ 구조를 의미한다. 둘째, 이러한 최소 파생 A‑∞ 모델은 A의 호몰로지 대수 H*(A)의 k‑프로젝트 해석(resolution)과, μ₂, μ₃, …와 같은 고차 연산들의 집합으로 완전히 기술된다. 이 연산들은 전통적인 A‑∞ 대수에서 나타나는 Stasheff 관계를 일반화한 ‘파생 Stasheff 관계’를 만족한다.

이 구조가 제공하는 가장 큰 장점은 ‘완전성’이다. 즉, 최소 파생 A‑∞ 모델만 알면 원래의 dga를 준동형 동형사상(quasi‑isomorphism)까지 복원할 수 있다. 이는 기존의 최소 A‑∞ 모델이 필드 위에서만 완전성을 보였던 것과 대조적이다. 따라서 연구자는 dga의 동형류를 연구할 때, 기본환이 정수환 ℤ이든, 다항식환 k