총합(functor) 이미지와 반자유 DG 모듈의 구조

초록

본 논문은 차수가 0인 미분을 갖는 DG 대수 A에 대해, 등급화된 자유 A‑모듈 복합체의 총합(functor) Tot가 만들 수 있는 DG A‑모듈을 조사한다. 반자유 DG 모듈이 “교차(crossing) 없는” 반기저를 가질 때와 그때만 Tot의 이미지에 속함을 정리하고, 다변수 다항식 링에서는 Tot가 전사적이지 않으며, 한 변수 다항식 링에서는 파생 범주 수준에서 전사임을 보인다.

상세 분석

이 논문은 DG 대수 A가 차수가 0인 미분을 가질 때, 두 범주 사이의 차이를 최소화하는 “총합(functor) Tot”를 정의한다. Tot는 복합체 X∈Ch Gr(A)의 내부 등급을 뒤집어 Σ⁻ⁱXⁱ 로 합친 뒤, A‑액션을 적절히 삽입해 DG A‑모듈을 만든다. 핵심 질문은 “Tot가 전사인가?”이며, 이를 해결하기 위해 저자는 반자유(DG) 모듈의 반기저(semi‑basis)를 세밀히 분석한다.

반기저 E를 단계별로 E₀, E₁,… 로 분류하고, 각 단계에서 미분 ∂(e) 가 이전 단계의 원소들의 A‑선형 결합으로만 표현되는지를 검사한다. 만약 어떤 단계 ℓ에 대해 E_ℓ이 이전 단계들의 A‑스팬에 완전히 포함되지 않으면, 즉 “교차(crossing)”가 존재하면, 해당 DG 모듈은 Tot의 이미지에 속하지 않는다. 반대로 교차가 없을 경우, 저자는 E_ℓ을 이용해 복합체 X를 직접 구성한다. 구체적으로 X⁰=AE₀, X¹=AE₁, … 로 두고, 차동 ∂_X를 ∂_M(e) 의 A‑계수들을 그대로 옮겨 정의함으로써 Tot X≅M 를 얻는다. 이 과정은 정량적이며, 반기저가 교차 없이 정렬될 때만 가능함을 보인다(정리 2.4).

다변수 다항식 링 A=k