대수적 겔판드 푸크스 동시성 연구

초록

이 논문은 아핀 대수다양체 위의 다항 벡터장에 대해 AV‑모듈을 계수로 하는 대수적 겔판드‑푸크스(cohomology)를 정의하고, 제트 이론을 이용해 균일 매개변수를 갖는 경우에 이를 de Rham 동시성과 원점에서 사라지는 아핀 공간 벡터장 리대수의 동시성의 텐서곱으로 분해함을 증명한다. 구체적으로 아핀공간, 토러스, Krichever‑Novikov 대수에 대한 계산을 제시한다.

상세 분석

논문은 먼저 Rinehart 쌍 (A,V)를 도입하고, A는 좌표환, V는 다항 벡터장(=Der A)으로 설정한다. AV‑모듈은 A‑모듈과 V‑모듈 구조가 Leibniz 법칙 η(f m)=η(f) m+f η(m) 로 호환되는 객체이며, 차분가능성(differentiable)은 표현이 Grothendieck 의미의 미분 연산자임을 뜻한다. 저자는 이러한 AV‑모듈 위에서 Chevalley‑Eilenberg 복합을 구성하고, Gelfand‑Fuks(co)체인이라는 추가 조건(다항식 차수에 대한 제한)을 부과해 하위 복합 C⁎_{GF}(V,M)을 만든다. 핵심 정리는 이 복합의 동시성이 A‑선형 코호몰로지 H⁎_A(A#V,M)와 동형이라는 점이다. 여기서 A#V는 다항식 제트의 리대수이며, 완성된 제트 리대수 Â#V는 무한 제트를 포함한다.

다음 단계에서는 균일 매개변수(x₁,…,x_n)를 갖는 아핀 다양체 X에 대해 Â#V가 반직접곱 V ⋉ (Â⊗L₊)와 동형임을 인용한다. L₊는 원점에서 사라지는 아핀 공간의 벡터장 리대수이다. 이 구조에 대해 저자는 Künneth 공식(정리 5.2)을 증명하여
H⁎{fin}(V ⋉ (Â⊗L₊),A⊗W) ≅ H⁎A(V,A) ⊗ H⁎{fin}(L₊,W)
를 얻는다. 여기서 W는 L₊‑모듈이며, A⊗W는 텐서 모듈이다. 이후 두 항을 각각 해석한다. 첫 번째는 A‑선형 코호몰로지가 X의 de Rham 동시성과 일치함을 보이며(H⁎A(V,A)≅H⁎{dR}(X)). 두 번째는 완성된 제트가 유한 차원이라서 H⁎{fin}(L₊,W)=H⁎(L₊,W)임을 확인한다. 따라서 최종 동시성 분해식
H⁎{GF}(V, A⊗W) ≅ H⁎{dR}(X) ⊗ H⁎(L₊,W)
가 성립한다.

구체적인 계산에서는 (1) X=𝔸ⁿ인 경우, de Rham 동시성이 외부 대수 Λ⁎(dx₁,…,dx_n)와 동형이므로 전체 동시성은 Λ⁎ ⊗ H⁎(L₊,W)이다. (2) 토러스 (𝔾ₘ)ⁿ에서는 좌표 로그 형태의 1‑형식이 de Rham 동시성을 생성하고, L₊는 다변수 다항식 벡터장 리대수이므로 기존 결과와 일치한다. (3) Krichever‑Novikov 대수에 대해서는 곡면의 구멍 수와 마크오프 점에 따라 L₊의 구조가 변하고, 그 동시성은 전통적인 Krichever‑Novikov 동시성 공식과 동일하게 도출된다. 전체적으로 이 연구는 기존 C^∞‑설정의 결과를 순수 대수적 맥락으로 옮기면서, AV‑모듈과 제트 이론을 결합한 새로운 계산 도구를 제공한다.