K‑동등성과 적분 코호몰로지: 적분 호지 다항식의 새로운 구축

초록

본 논문은 매끄러운 사영다양체의 적분 코호몰로지를 인코딩하는 적분 버전 호지 다항식 (H_{\mathrm{vir},\mathbb Z})을 정의하고, 이를 Grothendieck 링 (K_0(\mathrm{Var}_\mathbb C))에 잘 정의된 함수로 확장한다. 이를 이용해 K‑동등인 두 매끄러운 사영다양체는 모든 차원에서 동일한 적분 코호몰로지 군을 가진다는 정리를 증명한다.

상세 분석

논문은 먼저 기존의 호지 다항식이 복소수 계수만을 다루는 한계를 지적하고, 정수 계수와 특히 torsion 정보를 포착할 필요성을 제시한다. 이를 위해 저자는 두 단계의 함수를 도입한다. 첫 번째는 “torsion Poincaré 함수” (T(X))이며, 이는 각 차원 (i)와 소수 (p)에 대해 (a_{p,i,j}(X)=\operatorname{rk}{\mathbb Z/p^j\mathbb Z}p^j H_i(X,\mathbb Z){\text{tors}}) 를 이용해 정의된다. 두 번째는 “integral Hodge function” (H_{\mathbb Z}(X)=T(X)+\sum_{p,q}(-1)^{p+q}h_{p,q}(X)u^pv^q)이며, 여기서 (h_{p,q}(X))는 전통적인 호지 수이다. 두 함수는 모두 다항식 형태의 큰 환 (R)에 값이 들어가며, 이 환은 변수 (s_p,r_j,t,x,u,v)에 대해 특정 관계((t x^2=t x-x) 등)를 만족하도록 설계되어 곱셈적 성질을 보장한다.

핵심 기술적 난관은 곱셈성, 즉 (H_{\mathbb Z}(X\times Y)=H_{\mathbb Z}(X)H_{\mathbb Z}(Y)) 를 어떻게 확보하느냐이다. 이를 위해 저자는 소수‑(p)‑torsion 모듈들의 가법·곱 연산에 대한 상세한 공식(예: (a_{p,j}(A\otimes B)=a_{p,j}(A)a_{p,j}(B)))을 증명하고, Künneth 정리와 torsion‑tensor 연산을 정밀히 추적한다. 결과적으로 (t)‑차수와 (u,v)‑차수가 적절히 조합되어 전체 식이 정확히 곱셈을 만족함을 보인다.

다음으로 저자는 블로업 관계 (