Suslin's cancellation conjecture on smooth real affine varieties with few real points

기술적 요약: 실수점(Real Points)이 적은 매끄러운 실 아핀 다양체 상의 서슬린 취소 추측 (Suslin's Cancellation Conjecture)

문제 정의
본 논문은 매끄러운 실 아핀 대수 위의 사영 모듈(projective module)에 대한 취소 문제(cancellation problem)를 다룬다. 구체적으로, rank $r$인 사영 모듈 $P$가 *취소 가능(cancellative)*하다는 조건, 즉 임의의 사영 모듈 $Q$에 대해 $P \oplus A^{\oplus m} \cong Q \oplus A^{\oplus m}$이면 $P \cong Q$가 성립하는 조건을 조사한다. 서슬린(Suslin)은 대수적으로 닫힌 체 위에서의 차원이 $d$인 매끄러운 아핀 대수 상에서 모든 rank $d$ 사영 모듈은 취소 가능하다는 것을 증명했으나, 실수체 $\mathbb{R}$ 상에서의 상황은 더 까다롭다. 기존 연구들은 실체(real locus) $X(\mathbb{R})$이 공집합이거나, $X(\mathbb{R})$이 컴팩트 연결 성분을 갖지 않을 때 rank $d$ 모듈에 대해 취소가 성립함을 밝혀냈다. 본 논문의 핵심 질문은 $X(\mathbb{R})$의 특정 코호몰로지 군이 소멸하는 경우, 즉 $X(\mathbb{R})$이 "코호몰로지적으로 작을" 때, 이러한 결과가 모든 rank $d$ (및 rank $d-1$) 사영 모듈으로 확장될 수 있는지 여부이다.

방법론
저자들은 $\mathbb{A}^1$-호모토피 이론의 틀 안에서 **모티빅 장애 이론(motivic obstruction theory)**을 채택한다. 핵심 전략은 분류 공간(classifying spaces)으로의 $\mathbb{A}^1$-호모토피 클래스 집합 사이의 안정화 사상(stabilization maps)의 단사성을 환원하는 것이다.

1. 모티빅 호모토피 설정: 매끄러운 아핀 스킴 $X$ 상의 rank $n$ 벡터 번들의 동형 클래스 집합 $V_n(X)$를 점이 있는 $\mathbb{A}^1$-호모토피 클래스 $[X_+, BGL_n]_{\mathbb{A}^1}$와 동일시한다. 취소 문제는 안정화 사상 $s_{n,\infty}: [X_+, BGL_n]_{\mathbb{A}^1} \to [X_+, BGL]_{\mathbb{A}^1}$의 단사성에 대응한다.
2. 장애 이론: 저자들은 사상 $\pi_n: BGL_n \to BGL$에 대한 Moore–Postnikov 타워를 활용한다. 사상들을 리프트(lift)하는 것에 대한 장애(obstructions), 즉 안정화 사상의 단사성에 대한 장애는 Nisnevich 코호몰로지 군 $H^i_{\text{Nis}}(X, \pi^{\mathbb{A}^1}_j(F)(\xi))$에 존재하며, 여기서 $F$는 분류 공간들 사이의 사상의 호모토피 파이버(homotopy fiber)이고 $\xi$는 번들에 의해 결정되는 트위스트(twist)이다.
3. 핵심 기술적 환원: 문제는 특정 코호몰로지 군의 소멸을 증명하는 것으로 환원된다. Rank $d$ 취소의 경우, 결정적인 군은 $H^d_{\text{Nis}}(X, \pi^{\mathbb{A}^1}_d(\mathbb{A}^d \setminus \{0\})(L))$이다. Rank $d-1$의 경우, 분석에는 $H^d_{\text{Nis}}(X, \pi^{\mathbb{A}^1}_d(F_{d-1})(L))$ 및 $H^{d-1}_{\text{Nis}}(X, \pi^{\mathbb{A}^1}_{d-1}(F_{d-1})(L))$이 포함된다.
4. 코호몰로지 계산: 저자들은 Milnor–Witt K-이론($K^{MW}_*$), Milnor K-이론($K^M_*$), 그리고 Grothendieck–Witt 군($GW$)을 포함하는 완전열을 사용하여 이 호모토피 층(homotopy sheaves)들을 계산한다. 이들은 Rost–Schmid 복합체를 활용하여 Nisnevich 코호몰로지를 계산하고, Jacobson의 정리 및 [CS96]의 결과들을 통해 이 군들을 실체 $X(\mathbb{R})$의 위상과 연결한다.

주요 가설
결과는 $X(\mathbb{R})$(유클리드 위상을 가진)의 특정 코호몰로지 군의 소멸에 의존한다:

• 가설 (*): $H^d(X(\mathbb{R}), \mathbb{Z}/2) = 0$. 이는 $X(\mathbb{R})$이 컴팩트 연결 성분을 갖지 않는 것과 동치이다.
• 가설 ():** 가설 (*)이 성립하고, 모든 라인 번들 $L$에 대해 $H^{d-1}(X(\mathbb{R}), \mathbb{Z}(L)) = 0$이다 (여기서 $\mathbb{Z}(L)$은 $L$에 연관된 토르소에 의한 상수 층의 트위스트이다).
• 가설 ('):** $H^d(X(\mathbb{R}), \mathbb{Z}/2) = 0$ 이고 $H^{d-1}(X(\mathbb{R}), \mathbb{Z}/2) = 0$ 이다.

주요 결과

1. 정리 1 (주요 취소 정리): $A$를 차원이 $d \geq 3$인 매끄러운 $\mathbb{R}$-대수, $X = \text{Spec}(A)$라 하자.

   • 만약 $H^d(X(\mathbb{R}), \mathbb{Z}/2) = 0$이면 (가설 *), 모든 rank $d$ 사영 $A$-모듈은 취소 가능하다.
   • 만약 $H^d(X(\mathbb{R}), \mathbb{Z}/2) = 0$이고 모든 라인 번들 $L$에 대해 $H^{d-1}(X(\mathbb{R}), \mathbb{Z}(L)) = 0$이면 (가설 **), 모든 rank $d-1$ 사영 $A$-모듈은 취소 가능하다.

2. 정리 3 (기술적 소멸): 가설 (*) 하에서, 모든 라인 번들 $L$에 대해 $H^d_{\text{Nis}}(X, \pi^{\mathbb{A}^1}_d(\mathbb{A}^d \setminus \{0\})(L)) = 0$이다. 이는 rank $d$ 취소 결과를 가능하게 하는 결정적인 기술적 단계이다.

3. 따름정리 4.6: 가설 (*) 하에서 corank 0 (rank $d$)에서 취소가 성립한다. 이는 [DTZ18] 및 [Ban25]의 기존 결과들을 일반화한 것이다.

4. 정리 5.5: 가설 (**) 하에서, 약 오일러 클래스 군(weak Euler class group) $E^0_{d-1}(X)$, 오일러 클래스 군 $E_{d-1}(X)$, Chow–Witt 군 $\widetilde{CH}_{d-1}(X)$, 그리고 Chow 군 $CH_{d-1}(X)$는 모두 서로 동형이다. 이는 코호몰로지 소멸 조건이 존재하는 상황에서 오일러 클래스에 의한 벡터 번들의 강력한 분류를 확립한다.

의의 및 주장
본 논문은 실수체 상의 서슬린 취소 추측의 알려진 범위를 확장한다고 주장한다. 이전의 결과들은 실체가 공집합이거나, $H^d(X(\mathbb{R}), \mathbb{Z}/2)$의 소멸을 함의하는 특정한 비컴팩트성을 요구했으나, 본 연구는 이 특정 코호몰로지 군의 소멸이 모든 rank $d$ 사영 모듈의 취소를 보장하기에 충분함을 보여준다.

나아가, 본 논문은 코호몰로지 차원이 충분히 작을 때 (가설 **) rank $d-1$ 모듈에 대해서도 취소 성질이 성립함을 입증하며, 이를 통해 대수적 성질인 취소를 실체의 위상적 성질과 직접 연결한다. 저자들은 차원이 $p+2$인 복소 대수에서 rank $p$ 모듈이 취소 가능하지 않을 수 있다는 Mohan Kumar의 반례를 인용하며, 본 결과가 일반적으로 개선될 수 없음을 언급한다.

이 연구는 이전의 이질적인 결과들(예: 공집합인 실체 vs. 방향성이 결정된 비컴팩트 실체에 대한 결과)을 단일한 코호몰로지 프레임워크 아래 통합하며, $\mathbb{R}$ 상에서의 분할(splitting)과 취소의 "까다로운" 성질이 마치 대수적으로 닫힌 체에서 Chern 클래스가 그러하듯, 실점들의 특정 코호몰로지 군의 소멸에 의해 제어됨을 보여준다.