$K$-Equivalence and Integral Cohomology

기술 요약: K-동치성과 정수 코호몰로지

문제 정의
1995년, 콘트세비치(Kontsevich)는 K-동치인 매끄러운 사영 다양체들이 동일한 호지 수(Hodge numbers)를 공유한다는 것을 확립했다. 이 결과는 유리 또는 복소 코호몰로지 불변량(구체적으로 호지 분해)을 다루었으나, K-동치가 정수 코호몰로지 군 $H^i(X, \mathbb{Z})$의 동형 사상까지 함의하는지에 대한 의문은 남아 있었다. 호지 수와 달리, 정수 코호몰로지는 표준 호지 다항식에 의해 포착되지 않는 비틀림(torsion) 정보를 포함한다. 본 논문은 이 간극을 해결하기 위해 콘트세비치의 결과를 정수 수준으로 확장하여, K-동치인 매끄러운 사영 다양체들이 동형인 정수 코호몰로지 군을 가짐을 증명한다.

방법론
저자들은 새로운 불변량인 정수 가상 호지 함수(integral virtual Hodge function), $H_{\text{vir}, \mathbb{Z}}$를 도입한다. 이 구성는 다음과 같은 몇 가지 기술적 단계로 진행된다:

1. 정수 호지 함수($H_{\mathbb{Z}}$)의 정의:
   매끄러운 사영 다양체 $X$에 대하여, 저자들은 자유 부분과 비틀림 부분을 모두 인코딩하는 함수 $H_{\mathbb{Z}}(X)$를 정의한다.

   • 자유 부분: 변수 $u$와 $v$에 의해 가중치가 부여된 통상적인 호지 수 $h^{p,q}(X)$에 의해 포착된다.
   • 비틀림 부분: "비틀림 포앵카레 함수(torsion Poincaré function)" $T(X)$에 의해 포착된다. 이는 불변량 $a_{p,i,j}(X)$를 포함하며, 이는 $\mathbb{Z}/p\mathbb{Z}$-벡터 공간인 몫 $p^j H^i(X, \mathbb{Z})_{\text{tors}} / p^{j+1} H^i(X, \mathbb{Z})_{\text{tors}}$의 계수를 나타낸다.
   • 대상 환(Target Ring): 이 함수는 변수 $s_p, r_j, u, v, t, x$에 의해 생성되고 함수의 곱셈적 성질을 보장하는 관계식을 갖는 특정 환 $R$의 값을 갖는다. 결정적으로, 이 환은 비틀림의 조합적 구조와 쿤네스 공식(Künneth formula) 하에서의 자유 부분과 비틀림 부분 사이의 상호작용을 처리하기 위해 $tx^2 = tx - x$ 및 $s_p^2 = s_p$와 같은 관계식을 포함한다.

2. 그로텐디크 환으로의 확장:
   저자들은 $H_{\mathbb{Z}}$가 그로텐디크 다양성 환 $K_0(\text{Var}_{\mathbb{C}})$ 상에서 잘 정의된 함수 $H_{\text{vir}, \mathbb{Z}}$로 확장됨을 증명한다. 이를 위해서는 두 가지 핵심 속성을 입증해야 한다:

   • 곱셈성: $H_{\mathbb{Z}}(X \times Y) = H_{\mathbb{Z}}(X)H_{\mathbb{Z}}(Y)$. 증명 과정은 정수 코호몰로지에 대한 쿤네스 공식을 상세히 분석하여, 곱의 비틀림 항이 개별 인자들의 비틀림 항의 곱과 일치하며, 자유 성분과 비틀림 성분 사이의 상호작용을 고려함을 보여준다.
   • 블로우업 관계: 함수는 $X$의 매끄러운 중심 $Z$와 예외적 잉여물(exceptional divisor) $E$에 대한 블로우업에 대해 $H_{\mathbb{Z}}(X) - H_{\mathbb{Z}}(Z) = H_{\mathbb{Z}}(\text{Bl}_Z(X)) - H_{\mathbb{Z}}(E)$라는 관계를 만족한다. 이를 통해 이 함수는 매끄러운 사영 다양체들에 의해 생성되고 이러한 관계식들에 의해 모듈로(modulo) 처리되는 그로텐디크 환으로 내려갈 수 있다.

3. 차수 여과 및 완비화:
   K-동치를 다루기 위해 저자들은 완비된 그로텐디크 환 $\widehat{K_0(\text{Var}_{\mathbb{C}})}[L^{-1}]$를 활용한다. 저자들은 대상 환 $R$에 대해 차수를 정의하고 $H_{\text{vir}, \mathbb{Z}}$가 완비화를 통과함을 보여준다. 이를 통해 K-동치인 다양체들이 완비된 환에서 동일한 클래스를 가진다는 콘트세비치의 결과를 적용할 수 있다.

주요 기여 및 결과

• 정리 1.1: 주요 결과는 만약 $X$와 $X'$가 $\mathbb{C}$ 위의 K-동치인 매끄러운 사영 다양체라면, 모든 $i$에 대해 $H^i(X, \mathbb{Z}) \simeq H^i(X', \mathbb{Z})$임을 명시한다. 이는 $H_{\text{vir}, \mathbb{Z}}(X) = H_{\text{vir}, \mathbb{Z}}(X')$임을 보임으로써 달성되며, $\phi_i$를 통해 $H_{\text{vir}, \mathbb{Z}}$의 계수로부터 정수 코호몰로지 군을 복구할 수 있으므로, 두 군은 동형이어야 한다.
• 비틀림의 복구: 논문은 정수 호지 함수의 계수로부터 비틀림 부분군을 포함한 정수 코호몰로지 군을 직접 재구성하는 메커니즘을 제공한다.
• 셀 분해를 갖는 비틀림 없는 코호몰로지: 따름정리로, 저자들은 매끄러운 사영 다양체가 대수적 셀 분해(예: 유한한 고정점을 갖는 $\mathbb{C}^*$-작용을 가진 다양체)를 허용할 경우, 그 정수 코호몰로지가 비틀림이 없음을 보여주는 새로운 증명을 제공한다. 이는 해당 경우 함수가 표준 호지 다항식으로 축소되기 때문이다.
• 크레판트 해상(Crepant Resolutions)의 독립성: 본 논문은 고린슈타인 정규 특이점(Gorenstein canonical singularities)을 최대 $X$를 갖는 사영 다양체에 대하여, 임의의 크레판트 해상 $Y \to X$의 정수 코호몰로지는 해상의 선택에 독립적임을 확립한다.

의의 및 주장
본 논문은 콘트세비치의 1995년 결과를 호지 수에서 전체 정수 코호몰로지 군으로 확장한다고 주장한다. 그 의의는 가상 호지 이론에서 결여되었던 기능인, 비틀림에 민감한 그로텐디크 환 상의 곱셈적 불변량을 구축했다는 점에 있다.

저자들은 정리 1.1이 구세인-자데(Gusein-Zade)와 사이토(Saito) [GS96], 그리고 야스다(Yasuda)와 시에(Xie) [XY18]의 연구에서 이미 제시되었음을 인지하고 있으나(초기 버전을 게시한 후 알게 됨), 자신들의 기여는 정수 가상 호지 함수 $H_{\text{vir}, \mathbb{Z}}$의 도입이라고 밝힌다. 이 함수는 단순히 정리를 증명할 뿐만 아니라, 정수 코호몰로지 구조를 그로텐디크 환 상에서 잘 정의된 방식으로 인코딩하는 도구 역할을 한다. 저자들은 이 프레임워크가 고린슈타인 측도(Gorenstein measure)를 이용한 스트링 불변량(stringy invariants)이나 스택(stack)의 그로텐디크 군으로의 추가적인 일반화를 허용할 수 있음을 시사한다.