상대 체르니 캐릭터와 레귤레이터의 새로운 연결

초록

이 논문은 복소수 위의 매끄러운 다양체와 p‑adic 정수환 위의 스키마에 대해 카루비의 상대 체르니 캐릭터를 변형하여 정의하고, 이를 델린–베일린슨 체르니 캐릭터 및 Huber‑Kings가 구축한 p‑adic Borel 레귤레이터와 비교한다. 비교 결과를 이용해 Burgos의 정리, 즉 Borel 레귤레이터가 Beilinson 레귤레이터의 두 배임을 새로운 방식으로 증명한다.

상세 분석

본 연구는 두 주요 축을 중심으로 전개된다. 첫 번째는 카루비(Karoubi)의 상대 체르니 캐릭터(relative Chern character)를 복소수 매끄러운 다양체와 p‑adic 정수환(정수환 O_K) 위의 스키마에 맞게 일반화·수정한 것이다. 기존의 상대 체르니 캐릭터는 K‑이론과 연속적 차동 형태 사이의 사상으로, 복소수 경우에는 Deligne‑Beilinson 복합체와 자연스럽게 연결된다. 저자는 이 사상을 ‘수정된 상대 체르니 캐릭터’라 명명하고, 차동 대수적 K‑이론의 상대 버전인 K^{rel}∗(X) → H^{2∗‑1}\mathcal{D}(X,ℝ(∗))를 정확히 정의한다. 여기서 핵심은 복소수 경우에 Hodge 이론을 이용해 필터드 복소수 대수 형태를 구성하고, p‑adic 경우에는 Hyodo‑Kato 이론과 Fontaine‑Jannsen의 비교 정리를 활용해 p‑adic Hodge 구조를 도입한 점이다.

두 번째 축은 이러한 상대 체르니 캐릭터와 이미 알려진 레귤레이터 사이의 비교이다. Deligne‑Beilinson 체르니 캐릭터는 복소수 경우에 Beilinson‑Bloch‑Gillet‑Soulé 이론에서 핵심적인 역할을 하며, Borel 레귤레이터는 고전적인 K‑이론에서 실수값을 내는 사상이다. Huber와 Kings는 p‑adic Borel 레귤레이터를 정의하면서, 이를 p‑adic étale 코호몰로지와 연관시켰다. 논문은 먼저 수정된 상대 체르니 캐릭터가 Deligne‑Beilinson 캐릭터와 동일함을 동형 사상과 사상 사슬을 통해 증명한다. 이어서 p‑adic 상황에서는 이 사상이 Huber‑Kings의 p‑adic Borel 레귤레이터와 정확히 일치함을, 특히 정수환 O_K 위의 정규 모델을 취한 경우에 한정하여 보인다.

핵심 정리는 두 사상의 비교 동형성을 이용해 Burgos가 제시한 “Borel 레귤레이터는 Beilinson 레귤레이터의 두 배이다”는 명제를 새로운 관점에서 재증명한다. 기존 증명은 복소수와 p‑adic 경우를 별도로 다루었으나, 본 논문은 상대 체르니 캐릭터라는 통합된 사상을 매개로 두 경우를 동시에 처리한다는 점에서 혁신적이다. 또한, 이 과정에서 얻은 비교 사상은 K‑이론의 정수형 버전과 실수·p‑adic 실수값 레귤레이터 사이의 교량 역할을 하며, 향후 고차 K‑이론과 특수값 이론 사이의 깊은 관계를 탐구하는 데 유용한 도구가 될 것으로 기대된다.