DG 대수의 히르주베르크‑리만‑로치 정리와 호몰로지 페어링

초록

저자들은 유한 차원 전체 코호몰로지를 갖는 적절한 DG 대수 A에 대해 Hochschild 동류에 정의된 새로운 페어링을 제시하고, 완전 A‑모듈의 Chern‑type 특성자를 이 페어링으로 표현한다. HRR 공식은 두 완전 모듈 사이의 Hom‑복합체의 Euler 특성을 그들의 Chern 특성자의 페어링으로 계산한다. 또한, 부드러운 DG 대수에서는 이 페어링이 비퇴화함을 증명하고, Calabi‑Yau 경우의 TFT와의 일치를 conjecture한다. 구체적인 예로 Ringel의 quiver 공식과 V/G 형태의 궤도 특이점이 제시된다.

상세 분석

본 논문은 현대 대수적 위상수학과 비가환 기하학 사이의 교차점에 위치한 문제를 다룬다. 먼저 “proper” DG 대수 A를 정의한다. 여기서 proper란 A의 전체 코호몰로지 H⁎(A) 가 유한 차원이라는 의미이며, 이는 전통적인 유한형 대수와 유사한 finiteness 조건을 제공한다. 저자들은 Hochschild 동류 HHₙ(A) 위에 이중 선형 페어링 ⟨‑,‑⟩을 구축한다. 이 페어링은 A‑모듈의 차원과 차수를 고려한 복합적인 트레이스 형태로, Connes‑B operator와 cyclic homology 구조를 활용한다.

다음으로 완전 A‑모듈 M∈Perf(A)에 대해 Chern‑type 특성자 ch(M)∈HH₀(A) 를 정의한다. 이 특성자는 M의 프로젝트ive 해석을 통해 얻어지는 차원‑차수 행렬을 Hochschild‑체인 복합에 삽입함으로써 명시적인 식 (∑(-1)ⁱ tr(∂ⁱ)) 로 표현된다. 핵심은 ch(M) 가 K₀(Perf(A)) → HH₀(A) 사이의 그룹 동형을 제공한다는 점이다.

HRR 공식은 두 완전 모듈 M, N 에 대해
χ(Hom_A(M,N)) = ⟨ch(M), ch(N)⟩
이라는 형태로 제시된다. 여기서 χ는 Hom‑복합체의 Euler 특성(총 차원)이며, 좌변은 DG 카테고리의 삼각구조를 통해 정의된다. 이 식은 전통적인 Hirzebruch‑Riemann‑Roch 를 비가환 DG 환경으로 일반화한 것으로, Hochschild 동류가 차원‑차수 정보를 동시에 담고 있기 때문에 가능한 것이다.

논문은 두 가지 구체적인 사례를 제시한다. 첫 번째는 Ringel이 제시한 quiver with relations 의 경우로, A를 경로 대수와 관계 아이디얼의 차분 DG 대수로 모델링한다. 여기서 HRR 공식은 quiver의 대표적인 Euler‑form 과 일치한다. 두 번째는 V/G 형태의 orbifold singularity 로, V는 복소수 벡터 공간, G는 SL(V) 의 유한 부분군이다. 이 경우 A는 G‑불변 함수대수의 Koszul‑dual DG 대수이며, HRR 은 McKay correspondence 와 연결된 차원‑차수 공식으로 귀결된다.

부드러운 DG 대수(즉, A가 완전한 bimodule 해석을 갖는 경우)에서는 ⟨‑,‑⟩ 가 비퇴화함을 증명한다. 이는 Hochschild‑Kostant‑Rosenberg 정리와 유사한 비가환 버전이며, 페어링이 완전 대수의 Hochschild 동류와 그 쌍대 사이의 완전한 비쌍대성을 제공한다는 의미다.

마지막으로 저자들은 Calabi‑Yau DG 대수에 대해, 위에서 정의한 페어링이 해당 대수에서 유도되는 2‑차원 Topological Field Theory(TFT)의 상태공간 내의 Poincaré‑duality 페어링과 동일하다는 conjecture 를 제시한다. 이 conjecture 는 Frobenius 대수(0‑차원 Calabi‑Yau)의 경우에 직접 검증되며, TFT 관점에서 HRR 공식이 물리적 상호작용(경로 적분)의 대수적 표현임을 시사한다. 전체적으로 이 연구는 DG 대수의 K‑이론, Hochschild 동류, 그리고 물리적 TFT 사이의 깊은 연관성을 새롭게 조명한다.