총합(functor) 이미지와 반자유 DG 모듈의 구조
본 논문은 차수가 0인 미분을 갖는 DG 대수 A에 대해, 등급화된 자유 A‑모듈 복합체의 총합(functor) Tot가 만들 수 있는 DG A‑모듈을 조사한다. 반자유 DG 모듈이 “교차(crossing) 없는” 반기저를 가질 때와 그때만 Tot의 이미지에 속함을 정리하고, 다변수 다항식 링에서는 Tot가 전사적이지 않으며, 한 변수 다항식 링에서는 파생 범주 수준에서 전사임을 보인다.
저자: Kristen A. Beck
논문은 차수가 0인 미분을 갖는 DG 대수 A를 전제로, 등급화된 자유 A‑모듈 복합체(Ch Gr(A))와 DG A‑모듈(DG(A)) 사이의 전역적인 사상인 총합(functor) Tot를 정의한다. Tot는 복합체 X의 내부 등급을 Σ⁻ⁱXⁱ 로 뒤섞어 새로운 등급 구조를 만들고, A‑액션을 (σ⁻ⁱxᵢ)↦σ⁻ⁱ(−1)^{|a|i}axᵢ 로 정의해 DG 구조를 부여한다. 이때 Tot는 범주론적으로 완전한 사상이며, 복합체 사이의 사상 μ에 대해 Tot μ를 자연스럽게 정의한다.
주된 연구 질문은 “Tot가 전사적인가?” 즉, 모든 DG A‑모듈이 어떤 복합체의 Tot으로 표현될 수 있는가이다. 이를 위해 저자는 반자유(DG) 모듈의 핵심 개념인 ‘반기저(semi‑basis)’를 도입한다. 반기저 E는 두 조건을 만족한다: (1) E는 A⁰‑모듈 M⁰의 기저이고, (2) E를 단계별로 E₀, E₁,… 로 분리했을 때 ∂(E_d)⊆A·(∪_{i
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기