실제 서명 지도와 차이‑윗 군의 이미지에 관한 새로운 예측

초록

**
저자는 실수체 위의 매끄러운 다양체 (X)와 라인 번들 (\mathcal L)에 대해 차이‑윗 군 (\widetilde{\mathrm{CH}}^{c}(X,\mathcal L))에서 실수점 집합 (X(\mathbb R))의 로컬 계수계 (\mathbb Z(L))로 가는 이차 실수 사이클 클래스 사상 (\widetilde\gamma_{\mathbb R}^{c})의 이미지를 조사한다. 특히 차원 (d)인 경우 (c\in{0,d-2,d-1,d})에 대해, 이미지가 전체 코호몰로지의 (2^{,d-c})배를 포함한다는 정밀한 추측을 제시하고, 곡선·곡면·일부 3차원 다양체에 대해 이를 검증한다.

**

상세 분석

**
이 논문은 실수대수기하학에서 복소수 경우의 호지 사상에 대응하는 ‘이차 실수 사이클 클래스 사상’ (\widetilde\gamma_{\mathbb R}^{c})를 정의하고, 그 이미지의 구조를 정밀히 파악하려는 시도이다. 기존에 알려진 Borel–Haefliger 사상 (\gamma^{\mathrm{BH}}_{c})는 (\mathbb Z/2) 계수를 사용해 모듈러 정보를 제공하지만, 정수 계수까지 끌어올리면 방향 문제와 위상적 장애가 발생한다. 이를 극복하기 위해 차이‑윗 군 (\widetilde{\mathrm{CH}}^{c}(X,\mathcal L))을 도입하고, 라인 번들 (\mathcal L)에 의해 결정되는 로컬 시스템 (\mathbb Z(L))와의 결합을 통해 정수 계수 사상을 얻는다.

핵심 결과는 네 가지 코다멘션에 대한 이미지의 하한을 제시한다.

• (c=0)에서는 (\widetilde\gamma_{\mathbb R}^{0})가 연결 성분의 수와 직접 연결되며, 이미지가 (2^{d})배를 포함한다는 것이 증명된다.
• (c=d)에서는 차이‑윗 군이 라인 번들의 ‘차이’ 정보를 담고 있어, 사상이 실제 차원과 일치하는 정수 코호몰로지를 거의 완전하게 포착한다. Lemma 3.2를 이용해 모듈 2 사상과 비교함으로써, 이미지가 (2^{0}=1)배, 즉 전사임을 확인한다.
• (c=d-1)과 (c=d-2)에 대해서는 복소수 경우의 호지 이론과 실수 위의 가환 대수적 위상학을 결합한 ‘실수 적분 호지 추측’의 부분적 증명을 제공한다. 특히, 차원 2인 경우(곡면)에는 모든 차이‑윗 클래스가 이미지에 포함됨을 보이며, 차원 3인 경우에도 특정 ‘정규성’ 가정 하에 (2^{1})배가 보존되는 것을 확인한다.

논문은 또한 기존의 Galois‑equivariant 사상 (\gamma^{G}{c})와의 관계를 명시한다. (\widetilde\gamma{\mathbb R}^{c})는 (\gamma^{G}{c})를 정수 계수 로컬 시스템으로 ‘내려받은’ 형태이며, (\pi)라는 사상을 통해 (\mathbb Z/2)‑이미지와 연결된다. 이를 통해 ‘실수 적분 호지 추측’이 실패하는 경우에도 (\widetilde\gamma{\mathbb R}^{c})가 제공하는 정수‑계수 정보가 어떻게 보강되는지를 설명한다.

마지막으로, 2를 역원화하면 사상이 전사함을 보이는 Jacobson‑정리의 정량적 버전을 증명한다(정리 6.3). 이는 차이‑윗 군이 2‑torsion을 제외하고는 모든 정수 코호몰로지를 포착한다는 강력한 결과이며, 제시된 추측이 ‘2‑지수’에 한정된 최적의 형태임을 뒷받침한다.

**