반위상 사이클 이론 I 새로운 호몰로지와 코호몰로지 체계

초록

본 논문은 위상공간에 의해 매개되는 대수다양체, 즉 반위상 프로젝트IVE 다양체의 사이클 이론을 구축한다. Lawson 호몰로지와 morphic 코호몰로지를 이 범주로 확장하고, Lawson 서스펜션 정리와 분해 정리를 증명한다. 또한 Friedlander‑Lawson 이동 보조정리를 반위상 상황에 맞게 일반화하여 매끄러운 반위상 프로젝트IVE 다양체에 대해 두 이론 사이의 이중성 정리를 얻는다. 마지막으로 반위상 프로젝트IVE 다양체의 K‑군과 그에 대응하는 Chern 클래스들을 정의한다.

상세 요약

논문은 먼저 “반위상 프로젝트IVE 다양체”라는 새로운 범주를 정의한다. 전통적인 대수기하학에서 복소수체 위의 대수다양체를 다루는 대신, 여기서는 복소수체 위의 대수다양체가 위상공간 T에 대해 연속적으로 변하는 가족으로서 생각한다. 구체적으로, T는 일반적인 위상공간이며, 각 점 t∈T에 대해 복소수체 위의 대수다양체 X_t가 주어지고, 이들의 전체 집합을 X:=⋃_{t∈T}X_t 로서 T‑위에 연속적인 구조를 갖는 반위상 다양체로 본다. 이러한 설정은 기존의 “semi‑topological” 개념을 일반화한 것으로, Lawson 호몰로지와 morphic 코호몰로지를 정의하기 위한 토대를 제공한다.

다음으로 저자는 Lawson 호몰로지 L_pH_n(X) 를 반위상 다양체 X에 대해 정의한다. 전통적인 정의는 정규 대수 사이클들의 위상적 군을 사용하지만, 여기서는 사이클들의 파라미터가 T에 따라 연속적으로 변함을 고려해, 사이클 공간 C_p(X) 를 T‑위에 연속적인 매핑 공간으로 구성하고, 그에 대한 동형 사상군을 취한다. 이 과정에서 사이클 공간에 대한 위상적 구조를 보존하기 위해 “정규화”와 “동등성”을 적절히 조정한다.

morphic 코호몰로지 M^qH^m(X) 역시 유사한 방식으로 확장된다. 원래는 대수적 코사이클들의 복소수 위상공간에 대한 매핑을 통해 정의되었으나, 여기서는 파라미터화된 코사이클 공간을 T‑위에 연속적인 사상으로 보고, 그 동형 사상군을 취함으로써 정의한다.

핵심 정리 중 하나는 Lawson 서스펜션 정리이다. 전통적인 경우, 서스펜션 ΣX에 대한 Lawson 호몰로지는 L_{p+1}H_{n+2}(ΣX) ≅ L_pH_n(X) 와 동형이다. 저자는 이를 반위상 상황으로 일반화하여, 파라미터 공간 T에 대해 Σ_T X 라는 T‑위 서스펜션을 정의하고, 동일한 동형 관계가 성립함을 보인다. 이 정리는 사이클 이론의 차원 이동을 가능하게 하며, 이후 분해 정리와 결합한다.

분해 정리는 L_pH_n(X) 가 직접합 형태로 분해될 수 있음을 보여준다. 구체적으로, X를 적절히 분해 가능한 반위상 다양체라면, 사이클 공간이 위상적 직접합으로 분해되고, 이에 따라 호몰로지 군도 직접합으로 분해된다. 이는 계산을 단순화하고, 복잡한 파라미터화된 상황에서도 호몰로지 군을 효과적으로 분석할 수 있게 한다.

Friedlander‑Lawson 이동 보조정리를 반위상 상황에 맞게 재구성한 “반위상 이동 보조정리”는 사이클을 일반 위치에 놓을 수 있음을 보장한다. 이를 통해 매끄러운 반위상 프로젝트IVE 다양체에 대해 Lawson 호몰로지와 morphic 코호몰로지 사이의 Poincaré‑type 이중성 정리를 증명한다. 구체적으로, L_pH_n(X) ≅ M^{\dim X - p}H^{2\dim X - n}(X) 가 성립한다.

마지막 장에서는 반위상 프로젝트IVE 다양체의 K‑군 K_i^{st}(X) 를 정의하고, 전통적인 알제브라적 K‑이론과 비교한다. 사이클 공간을 이용해 K‑이론의 기본 사상들을 구축하고, Chern 클래스 c_j : K_i^{st}(X) → H^{2j-i}(X) 를 정의한다. 이 Chern 클래스는 기존의 복소수 위상 K‑이론과 일치함을 보이며, 반위상 상황에서도 특성 클래스 이론을 전개할 수 있음을 시사한다. 전체적으로 논문은 기존 대수기하학적 사이클 이론을 위상적 파라미터화와 결합함으로써, 새로운 계산 도구와 이론적 틀을 제공한다.