Higher-dimensional Virasoro algebras

기술 요약: 고차원 비라소로 대수 (Higher-dimensional Virasoro algebras)

문제 정의
본 논문은 $d > 2$인 경우, 구멍 뚫린 형식 $d$-디스크(punctured formal $d$-disk) 상의 접촉 층(tangent sheaf)의 유도된 전역 단면(derived global sections)에 대응하는 미분 그레이드(differential graded, dg) 리 대수 $\mathfrak{witt}_d \simeq R\Gamma(\mathring{D}^d, T)$의 중심 확장(central extensions) 분류 문제를 다룬다. $d=2$인 경우는 [GW26]에서 이미 확립되었으나, $d>2$인 고차원의 경우 구멍 뚫린 형식 디스크의 비아핀(non-affine) 성질로 인해 상당한 구조적 난관이 존재한다. 또한, 저자들은 이 결과를 $\mathfrak{witt}_d \ltimes \mathfrak{gl}_r(J_d)$ (여기서 $J_d$는 구조 층의 주올루(Jouanolou) 모델)로 확장하고, $d$차원 복소 다양체 족(families)에 대한 국소적이고 보편적인 그로텐디크-리만-로흐(Grothendieck–Riemann–Roch, GRR) 정리를 정식화하고자 한다.

방법론
저자들은 호몰로지 대수, 표현론, 그리고 변형 양자화(deformation quantization) 및 순환 호몰로지(cyclic homology) 기법을 결합하여 연구를 수행한다.

1. 보편적 천-바일 호모모피즘 (Universal Chern–Weil Homomorphism): 핵심 도구는 불변 다항식의 환(Chern character $ch_i$와 trace invariant $\mathfrak{t}_j$에 의해 생성됨)에서 $\mathfrak{witt}_d$(및 그 확장)의 제2 리 대수 하이퍼코호몰로지로 매핑되는 보편적 천-바일 호모모피즘 $cw_d$이다. 이 사상은 첼리-아이렌버그(Chevalley–Eilenberg) 코체인 복합체, 코네스(Connes)의 축약된 순환 복합체, 그리고 벡터장들의 야코비안으로부터 유도된 보편적 원소 $\mathfrak{c}$를 사용하여 구축된다.
2. 강하(Descent)와 페어링을 통한 단사성 증명: $cw_d$가 동형 사상임을 증명하기 위해, 저자들은 먼저 단사성을 확립한다. 이들은 천-바일 클래스에 대응하는 명시적인 코체인 사이클들을 구축하는 "강하" 논증을 사용한다. 이 사이클들은 오일러 벡터장과 주올루 모델의 생성자 $P$를 포함하는 특정 쐐기 곱(wedge products)으로부터 구성된다. $d+1$의 분할(partitions)에 대한 특정 순서를 정의함으로써, 저자들은 천-바일 클래스와 이 사이클들 사이의 페어링 행렬이 0이 아닌 대각 성분을 가진 상삼각 행렬임을 보여줌으로써 선형 독립성을 증명한다.
3. 스펙트럴 시퀀스를 통한 전사성 증명: $cw_d$가 동형 사상(즉, 전사)임을 증명하기 위해, 저자들은 제2 리 대수 코호몰로지를 직접 계산한다. 이들은 푹스(Fuks) [Fuk86]와 최근의 연구 [HK23]에서 영감을 얻은 첼리-아이렌버그 복합체의 "대각 필트레이션(diagonal filtration)"을 활용한다. 이 필트레이션은 코체인이 탐지하는 "다중 국소성(multi-locality, 얼마나 많은 서로 다른 점들을 탐지하는가)"을 측정한다. 이차적인 "제트 필트레이션(jet filtration)"은 소멸 차수(order of vanishing)를 측정한다. 연관된 그레이드 복합체(associated graded complex)는 형식 벡터장의 리 대수 코호몰로지와 상대적 커런트 호몰로지(relative current homology)를 포함하는 텐서 곱과 준동형(quasi-isomorphic)임을 보인다.
4. 잔여 트레이스를 통한 그로텐디크-리만-로흐 정리: GRR 정리를 위해, 저자들은 $\mathfrak{witt}_d$의 리 대수 코호몰로지를 미분 연산자 대수 $\mathfrak{D}_d$의 코호몰로지와 연결한다. 저자들은 Wick 유형의 전개와 파인만 다이어그램 기법(특히 1-루프 그래프)을 사용하여 주올루 모델의 미분 연산자 상에 정의된 "대수적 잔여 트레이스($ResTr^S_1$)"를 도입한다. 이 트레이스는 리 미분 작용을 통한 보편적 클래스의 풀백(pullback)과 비교된다.

주요 기여 및 결과

• 중심 확장 분류: 본 논문은 $d$차원 위트 대수(Witt algebra) $\mathbb{H}^2_{Lie}(\mathfrak{witt}_d)$가 총 차수가 $d+1$인 Chern character $ch_1, \dots, ch_d$의 다항식 공간과 동형임을 증명한다. 이 공간의 차원은 $p(d+1) - 1$이며, 여기서 $p(k)$는 $k$의 분할 수이다. 이는 [GW26]의 $d=2$ 결과를 일반화한 것이다.
• 커런트로의 확장: 이 분류는 준직적(semi-direct) 곱 $\mathfrak{witt}_d \ltimes \mathfrak{gl}_r(J_d)$로 확장된다. 저자들은 제2 코호몰로지가 Chern character와 trace invariant $\mathfrak{t}_j$의 총 차수가 $d+1$인 다항식들과 동형임을 보여준다. 이는 위트 대수에 의해 확장된 고차원 카츠-무디(Kac–Moody) 대수의 중심 확장에 대한 분류를 제공한다.
• 국소적 보편적 그로텐디크-리만-로흐 정리: 저자들은 임의의 유한 차원 텐서 모듈 $V$에 대하여, 리 미분 사상 $L_V$를 통한 $\mathbb{H}^2_{Lie}(\text{End}(V))$의 선호되는 생성원(Tate class)의 풀백이 Todd class와 $V$의 Chern character의 곱의 $2d+2$ 차수 성분임을 증명한다:
  $$L_V^* [z_1 \wedge \dots \wedge z_d \wedge P] = [Td \cdot Ch(V)|_{2d+2}] \in \mathbb{H}^2_{Lie}(\mathfrak{witt}_d).$$
  이 결과는 [Kap21]의 추측을 국소적이고 보편적인 설정에서 확인해 준다.
• 미분 연산자와의 관계: 본 논문은 $\mathfrak{witt}_d$의 코호몰로지가 미분 연산자 대수 $\mathfrak{D}_d$의 코호몰로지 내에서 가지는 상(image)이 1차원임을 확립한다. 이는 리 대수 호몰로지의 주 심볼(principal symbol)을 분석하고 푹스-페이진(Fuks–Feigin) 코사이클을 활용함으로써 달성된다.

의의
본 논문은 고차원 위트 대수 및 그 커런트 확장에 대한 중심 확장의 결정적인 분류를 제공한다고 주장하며, $d=2$ 사례에서 남겨진 공백을 메운다. Chern-Weil 사상과 코호몰로지 사이의 동형 관계를 확립함으로써, 이러한 확장들을 지배하는 정확한 대수적 구조를 식별한다. 나아가, 국소적 보편적 GRR 정리를 정식화함으로써, 이러한 무한 차원 리 대수의 추상적 코호몰로지를 고전적인 특성 클래스(Todd 및 Chern)와 정밀하고 계산 가능한 방식으로 연결한다. 이 연구는 럼퍼트 곡면의 모듈라이 공간 상의 멈포드 결정다발(Mumford determinant line bundle)과 컨포멀 장론(CFT)의 중심 전하(central charge) 사이의 관계에 대한 고차원적 아날로그 역할을 한다. 개발된 방법론, 특히 대각 필트레이션과 주올루 모델 상의 잔여 트레이스 사용은 비아핀 형식 스킴(non-affine formal schemes) 상의 유도된 전역 단면을 연구하기 위한 강력한 프레임워크를 제공한다.