곡선 dg 대수의 파생 범주와 그 소멸 현상

초록

곡선 dg 대수와 그 모듈은 미분의 제곱이 0이 아니므로 전통적인 코호몰로지를 가질 수 없으며, 기존 파생 범주가 정의되지 않는다. 최근 여러 변형된 “파생” 범주 개념이 제안됐지만, 본 논문에서는 특정 구체적인 곡선 dg 대수에 대해 이러한 파생 범주가 전부 사라짐을 보인다. 특히 초기 곡선 dg 대수(전복 복합체 범주)와 일부 dg 대수의 변형에서 파생 범주가 자명한 영 범주가 된다는 결과를 제시한다.

상세 분석

본 논문은 곡선 dg 대수(curved differential graded algebra, CDGA)와 그 모듈 범주가 전통적인 코호몰로지 이론을 적용할 수 없다는 점에서 출발한다. 미분 d가 d²≠0인 경우, 일반적인 호몰로지 군을 정의할 수 없으므로 고전적인 파생 범주 D(A)도 존재하지 않는다. 이러한 상황을 극복하고자 문헌에서는 “절대 파생 범주”(absolute derived category), “코호몰로지 자유 파생 범주”(cohomology‑free derived category), “A‑∞ 파생 범주” 등 여러 변형 개념을 제시했으며, 각각은 특정 종류의 사상(예: A‑acyclic, h‑projective, h‑injective)을 강제하여 삼각 구조를 회복한다.

논문은 먼저 가장 단순한 예인 초기 곡선 dg 대수 A₀를 고려한다. A₀의 모듈 범주는 전복 복합체(precomplex)라 불리는, 미분이 제곱해서 0이 되지 않는 복합체들의 범주와 동형이다. 여기서 정의된 절대 파생 범주는 모든 사상이 동형이 되는 트리비얼한 삼각 범주가 된다. 구체적으로, A₀‑모듈 M에 대해 d_M²는 곧바로 A₀의 곡률(curvature)와 일치하므로, 어떠한 사상도 비자명한 사상으로 남지 못하고 모두 동형 사상으로 귀결된다. 따라서 D_abs(A₀)≅0이 된다.

다음으로 저자는 일반적인 dg 대수 B에 곡률을 추가한 변형 B_ε을 구성한다. 여기서 ε는 중앙 원소이며 ε²=0인 경우를 주로 다룬다. B_ε‑모듈은 B‑모듈에 ε‑작용을 부가한 구조이며, 이때도 d²=ε·id와 같은 형태가 된다. 논문은 ε가 비자명한 경우, 절대 파생 범주뿐 아니라 코호몰로지 자유 파생 범주, 그리고 A‑∞ 파생 범주까지 모두 영이 됨을 증명한다. 핵심 아이디얼은 “curvature kills homotopies”: 곡률 항이 존재하면 모든 사상은 곧바로 동형 사상으로 사라지며, 이는 삼각 구조를 유지하기 위해 필요한 비자명한 사상의 부재를 의미한다.

또한 저자는 이러한 소멸 현상이 단순히 특정 예에 국한되지 않음을 보인다. 곡률이 비자명하고, 그 곡률이 모듈의 차원에 비례하는 경우, 어떤 파생 범주 정의를 시도하더라도 그 결과는 항상 영 범주가 된다. 이는 곡률이 “전역적인” 장애물로 작용해, 어떠한 호몰로지 자유 사상도 존재하지 못하게 만든다.

결과적으로, 논문은 곡선 dg 대수에 대한 기존 파생 범주 이론이 보편적으로 적용될 수 없으며, 특히 초기 곡선 dg 대수와 곡률이 비자명한 변형에서는 모든 파생 범주가 사라진다는 강력한 반례를 제공한다. 이는 향후 곡선 dg 대수의 호몰로지 이론을 구축하기 위해 새로운 접근법이 필요함을 시사한다.