커뮤터티브 대수의 3 교차 모듈

본 논문은 커뮤터티브(또는 리) 대수에 대한 3‑교차 모듈(3‑crossed module)의 개념을 체계적으로 정립하고, 이를 기존의 교차 모듈·2‑교차 모듈 이론과 연결시키는 동시에, 고차 동형론적 정보를 얻기 위한 프로젝트적 3‑교차 해상도(projective 3‑crossed resolution)의 존재성을 증명한다. **1. 서론 및 배경** 교차 모듈은 Whitehead이 도입한 2‑차 동형론적 구조이며, 이후 Conduché와 Arvasi‑Porter 등에 의해 2‑교차 모듈이 정의되었다. 이들은 각각 그룹·대수의 2‑차 동형론을 모델링하고, Moore 복합이 길이 1·2인 단순대수와 동등함을 보였다. 또한, 이러한 구조는 Andre‑Quillen 동형론과 Koszul 복합을 연결하는 매개체로 활용되었다. 본 연구는 이러한 흐름을 확장하여 3‑차 차원으로 일반화하고, 커뮤터티브 대수에 적용한다. **2. 사전 지식** - **단순대수와 Moore 복합**: 단순대수 E는 {Eₙ}와 face, degeneracy 사상 dᵢ, sᵢ 로 구성되며, Moore 복합 N E는 N Eₙ = ⋂_{i=0}^{n-1} ker dᵢ 로 정의된다. 길이 k인 Moore 복합은 N Eₙ=0 (n≥k+1)인 경우를 의미한다. - **Semidirect decomposition**: Eₙ은 N Eₙ와 그 이하 차원의 N Eₖ들을 반복적인 반직접곱으로 분해할 수 있다. 이는 Peiffer lifting을 정의하는 데 필수적인 구조이다. - **Hyper‑crossed complex와 Peiffer pairing**: Carrasco‑Cegarra가 제시한 하이퍼크로스드 복합은 S(n)라는 서브셋을 이용해 N Eₙ⊗N Eₘ → N E_{n+m} 형태의 연산 C_{α,β}를 정의한다. 이 연산들은 이후 3‑교차 모듈의 고차 Peiffer 항등식에 대응한다. **3. 교차 모듈·2‑교차 모듈 복습** 교차 모듈 (C,R,∂)는 R‑대수 C와 R‑작용, 사상 ∂:C→R가 CM1, CM2(피퍼 식)를 만족한다. 2‑교차 모듈은 C₂→C₁→C₀ 복합에 Peiffer lifting {·⊗·}:C₁⊗C₀C₁→C₂를 추가하고, 2CM1~2CM5 네 개의 항등식으로 제어한다. Porter와 Grandjean‑Vale는 이 구조와 길이 2인 Moore 복합을 갖는 단순대수 사이의 동등성을 증명하였다. **4. 3‑교차 모듈 정의** 길이 3인 Moore 복합 N E={C₀,C₁,C₂,C₃}을 갖는 단순대수 E를 시작점으로, 다음과 같은 데이터를 추가한다. - **작용**: C₀가 C₁, C₂, C₃에 작용하고, C₁이 C₂·C₃에, C₂가 C₃에 작용한다. 작용은 degeneracy 사상 sᵢ를 통해 명시적으로 정의된다(예: x₀·x₁ = s₀x₀ x₁ 등). - **Peiffer lifting**: 세 종류를 도입한다. 1. {·⊗·}: C₁⊗C₁→C₂, {x₁⊗y₁}=s₁x₁·(s₀y₁−s₁y₁). 2. {·⊗·}(1,0)(2): C₁⊗C₂→C₃, {x₁⊗y₂}=(s₁s₀x₁−s₂s₀x₁)·s₂y₂. 3. {·⊗·}(2,0)(1): C₁⊗C₂→C₃, {x₁⊗y₂}=(s₂s₀x₁−s₁x₁)·s₂y₂. 이 외에도 대칭적인 형태와 고차 Peiffer 항등식(3CM1~3CM5)을 만족하도록 추가 연산을 정의한다. - **고차 Peiffer 항등식**: - 3CM1: ∂₃{x₁⊗y₂}=x₁·y₂−∂₂(y₂)·x₁ 등, - 3CM2~3CM5는 2‑교차 모듈의 항등식을 한 차원 끌어올린 형태이며, 각 항등식은 degeneracy와 face 사상의 관계식으로부터 직접 증명된다. **5. 3‑교차 모듈 ↔ 단순대수 동등성** - **단순대수 → 3‑교차 모듈**: 주어진 단순대수 E에서 Moore 복합 N E와 위에서 정의한 Peiffer lifting을 추출하면 3‑교차 모듈 구조가 자동으로 얻어진다. - **3‑교차 모듈 → 단순대수**: 반대로, C₀ → C₁ → C₂ → C₃와 Peiffer lifting을 가지고 자유 대수에 degeneracy 사상을 부여하면, 복합을 만족하는 단순대수 E를 재구성할 수 있다. 이 변환은 서로 역함수이며, 카테고리 동등성을 형성한다. **6. 프로젝트적 3‑교차 해상도** 임의의 k‑대수 A에 대해 다음 과정을 수행한다. 1. 자유 대수 F₀와 사상 ε:F₀→A를 선택해 0‑차 교차 모듈 (Ker ε → F₀) 를 만든다. 2. Ker ε에 대해 자유 1‑차 대수 F₁을 잡고, Peiffer lifting {·⊗·}:F₁⊗F₁→F₂를 정의해 2‑교차 모듈을 만든다. 3. 위 과정을 한 차원 더 끌어올려 자유 2‑차 대수 F₂와 Peiffer lifting {·⊗·}:F₁⊗F₂→F₃을 도입한다. 4. 이렇게 얻은 (F₃→F₂→F₁→F₀) 복합이 정확히 3‑교차 모듈의 정의를 만족하도록 사상들을 조정한다. 5. 각 단계에서 사상이 전사이며, 자유 대수이므로 프로젝트적이다. 결과적으로, 모든 k‑대수는 위와 같은 프로젝트적 3‑교차 해상도를 갖는다는 정리를 증명한다. 이는 2‑교차 해상도(Grandjean‑Vale)의 고차 버전이며, 고차 Andre‑Quillen 동형론을 계산하는 새로운 도구가 된다. **7. 리 대수 버전** 마지막 절에서는 위의 전 과정을 리 대수에 그대로 적용한다. Lie 대수의 경우 곱셈 대신 Lie 괄호를 사용하고, Peiffer lifting은 괄호와 대수적 작용을 조합해 정의한다. 동일한 동등성 및 프로젝트적 해상도 존재 결과가 성립한다. **8. 결론 및 전망** 논문은 3‑교차 모듈이라는 고차 대수적 구조를 명확히 정의하고, 단순대수와의 동등성을 통해 계산 가능한 모델을 제공한다. 또한 프로젝트적 3‑교차 해상도의 존재는 고차 Andre‑Quillen 동형론, 고차 Koszul 복합, 그리고 고차 호몰로지 이론을 연구하는 데 새로운 접근법을 제시한다. 향후 연구에서는 4‑교차 모듈 이상의 일반화, 비커뮤터티브 대수에 대한 확장, 그리고 구체적인 동형론적 계산 사례를 다루는 것이 기대된다.