On de Rham--Witt Cohomology of Classifying Stacks

1. 연구 배경 및 문제 제기 (Problem)

• 배경: 양의 표수에서의 대수기하학에서, De Rham-Witt 복합체 (Illusie, 1979) 는 크리실린 코호몰로지를 연구하는 핵심 도구입니다. 이로부터 유도되는 Hodge-Witt 수 $h_{W}^{i,j}(X)$는 고전적인 Hodge 수 $h^{i,j}(X)$의 양의 표수 버전으로 간주됩니다.
• 기존 결과: Ekedahl 은 $X$가 매끄러운 사영 다양체일 때, Serre 쌍대성에 해당하는 대칭성 $h_{W}^{i,j} = h_{W}^{N-i, N-j}$가 성립함을 증명했습니다. 또한, 차원 $N \le 3$이거나 $i+j \le 2$인 경우 Hodge 대칭성 ($h_{W}^{i,j} = h_{W}^{j,i}$) 이 성립함을 보였습니다.
• 문제: 고차원 ($N \ge 4$) 이나 고차 코호몰로지 ($i+j \ge 3$) 에서 Hodge-Witt 대칭성 ($h_{W}^{i,j} = h_{W}^{j,i}$) 이 성립하는지는 알려지지 않았습니다. Ekedahl 은 이것이 일반적으로 성립할 이유가 없다고 언급했으나, 구체적인 반례는 존재하지 않았습니다.
• 목표: Hodge-Witt 대칭성이 깨지는 최소 차원과 총 차수를 가진 반례를 구성하고, 이를 통해 Hodge-Witt 수의 비대칭성을 증명하는 것.

2. 방법론 (Methodology)

저자들은 Antieau-Bhatt-Mathew (ABM21) 의 접근법을 차용하여 다음과 같은 단계를 거쳤습니다.

1. 스택 (Stack) 의 코호몰로지 계산:

   • 매끄러운 기하학적 Artin 스택 (smooth geometric Artin stacks) 에 대한 De Rham-Witt 코호몰로지를 정의하고 그 기본 성질을 확립했습니다.
   • 특히, $\alpha_p$의 분류 스택 $B\alpha_p$와 $\mathbb{G}_m$의 분류 스택 $B\mathbb{G}_m$의 De Rham-Witt 코호몰로지를 정밀하게 계산했습니다.
   • $B\alpha_p$의 경우, 초특이 타원곡선 (supersingular elliptic curve) $E$와 $\alpha_p$-토르소 (torsor) $E \to E^{(1)}$를 이용하여 Čech 신경 (Čech nerve) 을 통해 코호몰로지를 근사하고 계산했습니다.

2. $\infty$-범주론적 구조의 확장:

   • Illusie-Raynaud 와 Ekedahl 의 고전적인 호몰로지 대수 이론을 현대적인 $\infty$-범주 (stable $\infty$-categories) 언어로 재해석하고 확장했습니다.
   • graded left R-modules ($R$은 Cartier-Dieudonné-Raynaud 환) 에 대한 **대칭 모노이달 구조 (star product, $\star$)**를 $\infty$-범주 수준에서 구성하여 Künneth 공식을 일반화했습니다.
   • Diagonal t-structure를 $DGr_c(R)$ 전체로 확장하여, Hodge-Witt 수와 Hodge 수 사이의 관계를 분석하는 도구를 마련했습니다.

3. 다양체로의 근사 (Approximation):

   • 계산된 스택 $B\alpha_p \times B\mathbb{G}_m$의 코호몰로지 정보를 바탕으로, 이를 **매끄러운 사영 다양체 (smooth projective variety)**로 근사하는 방법을 사용했습니다.
   • ABM21 의 결과를 활용하여, 임의의 $d$에 대해 $d$-Hodge 동치 (Hodge $d$-equivalence) 인 사영 다양체 $X$와 스택 $B\alpha_p \times B\mathbb{G}_m$ 사이의 사상이 존재함을 이용했습니다. 이를 통해 스택의 코호몰로지 불변량이 실제 다양체 $X$로 전이되도록 했습니다.

3. 주요 기여 및 이론적 발전 (Key Contributions)

• De Rham-Witt 코호몰로지의 스택 일반화: De Rham-Witt 코호몰로지를 스택의 범위로 확장하고, Hodge-proper 조건 하에서 코호몰로지 군이 Illusie-Raynaud 의미의 coherent함을 증명했습니다 (Theorem 4.9).
• $\infty$-범주론적 재구성: Ekedahl 의 복잡한 호몰로지 대수 구조 (dualizing functor, star product, diagonal t-structure) 를 $\infty$-범주 언어로 체계화하여, 계산의 엄밀성과 일반성을 높였습니다.
• Künneth 공식의 확장: 매끄러운 스택에 대한 De Rham-Witt 코호몰로지에 대한 Künneth 공식을 증명하여, 스택의 곱에 대한 코호몰로지 계산을 가능하게 했습니다.

4. 주요 결과 (Results)

이 논문의 핵심 정리는 다음과 같습니다.

• Theorem 1.1 (Corollary 5.12): 임의의 표수 $p > 0$인 완전체 $k$ 위에서, 매끄러운 사영 4 차원 다양체 $X$가 존재하며, 그 Hodge-Witt 수는 다음과 같습니다 (총 차수 $i+j \le 3$ 기준):

  • $h_{W}^{0,0} = 1$
  • $h_{W}^{1,1} = 0$
  • $h_{W}^{0,2} = 1$
  • $h_{W}^{2,0} = 0$
  • $h_{W}^{0,3} = 1$
  • $h_{W}^{1,2} = -2$
  • $h_{W}^{2,1} = 1$
  • $h_{W}^{3,0} = 0$

• 비대칭성 증명: 위 결과에서 $h_{W}^{1,2} = -2$이고 $h_{W}^{2,1} = 1$이므로, $h_{W}^{1,2} \neq h_{W}^{2,1}$입니다. 즉, Hodge-Witt 대칭성이 깨집니다.

• 최적성 (Sharpness): Ekedahl 의 기존 결과 ($i+j \le 2$ 또는 차원 $\le 3$에서는 대칭성이 성립) 를 고려할 때, 이 반례는 차원 4와 총 차수 3에서 발생하는 첫 번째 반례이므로, 차원과 총 차수 모두에서 최적 (sharp) 입니다.

5. 의의 및 중요성 (Significance)

1. Hodge-Witt 대칭성 가설의 부인: 양의 표수에서 Hodge-Witt 수가 고전적인 Hodge 수처럼 $i, j$에 대해 대칭적일 것이라는 기대를 완전히 깨뜨렸습니다. 이는 양의 표수에서의 코호몰로지 이론이 0 표수 (characteristic 0) 와 근본적으로 다른 구조를 가짐을 다시 한번 보여줍니다.
2. 차원적 한계의 명확화: Hodge-Witt 대칭성이 성립하지 않는 최소 차원이 4 임을 증명함으로써, 해당 현상이 발생하는 임계점을 정확히 규명했습니다.
3. 계산 도구의 발전: $\alpha_p$와 같은 유한군 스택의 코호몰로지를 De Rham-Witt 이론을 통해 정밀하게 계산하는 새로운 방법론을 제시했습니다. 이는 향후 양의 표수에서의 기하학적 객체 (특히 특이점이 있거나 스택인 경우) 연구에 중요한 도구가 될 것입니다.
4. $\infty$-범주론의 적용: 고전적인 대수기하학의 깊은 결과들을 현대적인 $\infty$-범주론 언어로 재해석하여, 더 복잡한 구조를 다룰 수 있는 유연한 프레임워크를 제공했습니다.

요약하자면, 이 논문은 De Rham-Witt 코호몰로지의 심오한 구조를 분석하고, 이를 스택 이론과 $\infty$-범주론을 통해 확장함으로써, 양의 표수 대수기하학의 한 핵심 미해결 문제 (Hodge-Witt 대칭성) 에 대한 결정적인 반례를 제시한 획기적인 연구입니다.