Gelfand-Fuks cohomology of vector fields on algebraic varieties

기술 요약: 대수적 다양체 상의 벡터장들에 대한 겔판트-푹스 코호몰로지 (Gelfand-Fuks Cohomology)

문제 정의
벡터장의 리 대수(Lie algebra) 연구는 오랜 역사를 가지고 있으나, 그 일반적인 코호몰로지를 계산하는 것은 단순한 예외를 넘어서는 한 매우 다루기 어려운 과제로 남아 있다. 겔판트와 푹스는 $C^\infty$ 다양체에 대해 해석적 설정에서 겔판트-푹스 코호몰로리를 도입하였고, 이후의 연구(예: Tsujishita)는 복소 설정에서 대각 복합체(diagonal complexes)를 탐구하였다. 그러나 기존의 접근 방식들은 역사적으로 계산이 매우 어려웠다. 최근의 진전에는 인수 분해 대수(factorization algebras)를 사용하여 매끄러운 아핀 다양체 상의 리 대수 코호몰로지의 유한 차원성을 증명한 Hennion과 Kapranov의 연구, 그리고 국소 코호몰로지를 대각 복합체와 연결한 Williams의 연구가 포함된다.

본 논문은 순수하게 대수적인 틀 안에서 발생하는 간극을 다룬다. 저자들은 다항식 벡터장에 대한 대수적 겔판트-푹스 코호몰로지를 개발하는 것을 목표로 한다. 구체적인 과제는 미분 가능한 $AV$-모듈(벡터장의 작용이 그로텐디크의 의미에서 미분 연산자인 모듈)을 계수로 갖는 코호몰로지를 정의하고, 균질 매개변수(uniformizing parameters)를 갖는 다양체에 대해 이를 명시적으로 계산하는 것이다.

방법론
저자들은 표현론과 제트(jet) 이론의 최근 발전을 활용하여 다단계의 대수적 접근 방식을 채택한다:

1. 대수적 정의: 저자들은 리네어 쌍(Rinehart pair) $(A, V)$ (여기서 $A$는 좌표환이고 $V$는 벡터장의 리 대수임)와 미분 가능한 $AV$-모듈$M$에 대하여 대수적 겔판트-푹스 코호몰로지$H^*_{GF}(V, M)$를 정의한다. 코체인 복합체는 인자의 유한 차이(finite differences)와 관련된 특정 소멸 조건을 만족하는, 그로텐디크 의미에서의 미분 연산자인 코체인들로 구성된다.
2. 제트 동형 사상 (Jet Isomorphism): 핵심적인 기술적 도구는 겔판트-푹스 복합체를 다항식 제트의 리 대수 $A^\#V$ 상의 유한 코체인(finite cochains) 복합체와 식별하는 것이다. 저자들은 미분 가능한 $AV$-모듈$M$에 대하여,$H^(V, M)$가$A$-선형 코호몰로지$H^_A(A^#V, M)$와 동형임을 증명한다.
3. 완성 및 분해 (Completion and Decomposition): 제트 대수의 완성인 $\hat{A}^\#V$ ($\infty$-제트의 리 대수)를 고려함으로써, 저자들은 [BI22]의 구조적 결과를 활용한다. 균질 매개변수를 가진 다양체(하나의 에탈레 차트(étale chart)에 의해 덮이는 경우)의 경우, $\hat{A}^\#V$는 다음과 같이 반직합(semi-direct product)으로 분해된다:
   $$\hat{A}^\#V \cong V \ltimes (\hat{A} \otimes L_+)$$
   여기서 $L_+$는 원점에서 소멸하는 벡터장들의 리 대수(등급화된 유도(derivations)의 양의 부분)이다.
4. 퀴네스 공식 (Künneth Formula): 저자들은 반직합 $V \ltimes (A \otimes \mathfrak{g})$에 대한 퀴네스 공식을 확립한다. 저자들은 이러한 곱의 텐서 모듈 $S \otimes W$에 대한 $A$-선형 코호몰로지가 다음과 같이 분해됨을 증명한다:
   $$H^*_A(V \ltimes (A \otimes \mathfrak{g}), S \otimes W) \cong H^*_A(V, S) \otimes H^*(\mathfrak{g}, W)$$
   이는 저자들이 $E_2$ 항에서 안정화됨을 보인 Hochschild-Serre 스펙트럴 시퀀스에 의존한다.
5. 드 람 식별 (De Rham Identification): 저자들은 함수 대수 $A$를 계수로 갖는 벡터장의 $A$-선형 코호몰로지가 다양체의 드 람 코호몰로지와 동형임을 보여준다: $H^*_A(V, A) \cong H^*_{dR}(X)$.

주요 기여 및 결과

• 대수적 겔판트-푹스 코호몰로지의 정의: 본 논문은 미분 가능한 $AV$-모듈에 대한 코호몰로리 이론을 공식적으로 도입하고 검증하며, 이것이 체발리-아이렌버그(Chevalley-Eilenberg) 복합체의 잘 정의된 부분 복합체를 형성함을 보여준다.
• 주요 분해 정리 (정리 1.1 및 6.1): 균질 매개변수를 가진 아핀 대수적 다양체 $X$와 텐서 모듈 $M = A \otimes W$ ($W$는 $L_+$의 유한 차원 모듈)에 대하여, 겔판트-푹스 코호몰로지는 다음과 같은 텐서 곱으로 분해된다:
  $$H^*_{GF}(V, A \otimes W) \cong H^*_{dR}(X) \otimes H^*(L_+, W)$$
  이 결과는 $C^\infty$ 설정에서 알려진 결과들과 일치한다.
• 명시적 계산: 저자들은 이 프레임워크를 특정 사례를 계산하는 데 적용한다:
  • 아핀 공간 ($A^n$): 코호몰로지는 $H^*(L_+, W)$로 축소된다. 이는 아핀 공간의 드 람 코호몰로지가 양의 차수에서 자명하기 때문이다. 이는 다항식 벡터장 $W_n$에 대한 알려진 결과들을 회복한다.
  • 토러스 ($T^n$): 코호몰로지는 토러스 차원의 이항 계수와 $L_+$의 코호몰로지를 포함하는 합으로 표현된다.
  • 크리체비치-노보코프(Krichever-Novikov) 대수: 구멍 뚫린 리만 구면 상의 유리 함수 벡터장에 대하여, 코호몰로지는 구멍 뚫린 구면의 드 람 코호몰로지와 $L_+$의 코호몰로지를 포함하는 직합으로 계산된다.

의의 및 주장
저자들은 이 작업을 겔판트-푹스 코호몰로지에 대한 "새로운 대수적 접근법"의 발전으로 위치시킨다. 저자들은 얻어진 결과들이 해석적($C^\infty$) 설정에서 얻어진 결과들과 일치한다는 점에서 "놀랍지 않다"고 명시적으로 밝힌다. 그 의의는 다음과 같다:

1. 순수 대수적 프레임워크: 제트, $AV$-모듈, 리네어 쌍과 같은 대수적 도구들을 사용하여 이론을 해석적 다양체에서 아핀 대수적 다양체로 이동시켰다.
2. 계산적 용이성: 문제를 다양체의 드 람 코호몰로지와 $L_+$의 알려진 코호몰로지로 환원함으로써, 광범위한 클래스의 다양체(균질 매개변수를 가진 경우)에 대해 이 코호몰로지를 계산하는 방법을 제공한다.
3. 통합: 벡터장의 대수적 이론을 드 람 코호몰로지 및 무한 차원 리 대수(특히 $L_+$ 및 그 모듈들)의 표현론과 연결한다.

본 논문은 제공된 아핀 공간, 토러스, 크리체비치-노보코프 대수의 명시적 계산 외에 새로운 실험적 응용이나 미래의 함의를 제안하지 않는다. 본 논문의 역할은 대수적 기구가 기존의 해석적 이론과 일치하는 결과를 낸다는 것을 검증함으로써 이론적 가교 역할을 하는 것이다.