거친 지수의 경계동형 불변성

초록

본 논문은 복소수 타원형 의사미분 연산자의 거친 지수(coarse index)가 경계동형(bordism) 아래에서 불변임을 증명한다. 이를 위해 새로운 개념인 방향성 c‑bordism을 정의하고, 이 구조가 개방 다양체에서 균일하게 양의 스칼라 곡률 메트릭 존재 여부를 판단하는 데 어떻게 활용되는지를 보여준다.

상세 분석

논문은 먼저 거친 기하학(coarse geometry)에서 정의되는 코시 지수의 기본적 성질을 정리한다. 복소수 타원형 의사미분 연산자 D는 비압축적인 거리 공간 X 위에 정의될 때, Roe algebra C∗(X)에 귀속되는 K‑이론 원소 ind D를 갖는다. 기존 연구에서는 이 지수가 대칭성, 푸앵카레 대수와의 관계 등 여러 불변성을 가졌음이 알려졌지만, 경계동형에 대한 직접적인 불변성은 아직 증명되지 않았다. 저자는 여기서 ‘c‑bordism’이라는 개념을 도입한다. 이는 두 거리 공간 X₀, X₁ 사이에 존재하는 ‘c‑controlled’ 매끄러운 매니폴드 W와 경계 포함 i₀: X₀→W, i₁: X₁→W가 존재함을 의미한다. 특히 ‘방향성(directed)’을 부여함으로써, W가 X₀에서 X₁으로 흐르는 일종의 흐름(flow) 구조를 갖도록 설정한다. 이 구조는 Roe algebra의 전이(map)와 K‑이론 전이 사이에 자연스러운 연산자를 만들 수 있게 해준다.

주요 정리(Theorem 1.1)는 다음과 같다. 만약 (W,i₀,i₁)가 방향성 c‑bordism이라면, X₀와 X₁에 정의된 복소수 타원형 의사미분 연산자 D₀, D₁에 대해 ind D₀ = ind D₁ 가 Roe algebra의 K‑이론에서 동일하게 된다. 증명은 크게 두 단계로 나뉜다. 첫째, W 위에 적절히 확장된 연산자 D̃를 구성하고, 그에 대응하는 Roe algebra C∗(W)와 경계 포함에 의해 유도되는 C∗(X₀), C∗(X₁) 사이의 정확한 시퀀스를 구축한다. 둘째, 이 시퀀스가 K‑이론에서 장거리 장벽(long exact sequence)을 형성함을 보이고, 경계 지도(boundary map)가 ind D₀와 ind D₁ 사이의 차이를 측정한다는 점을 이용한다. 방향성 가정은 경계 지도가 0이 되게 하여 두 지수가 일치함을 보장한다.

응용 부문에서는 개방 다양체 M에 균일하게 양의 스칼라 곡률(Uniformly Positive Scalar Curvature, UPSC) 메트릭이 존재하는지를 판단하는 데 이 이론을 활용한다. 기존에는 스위치(M. Gromov, H. Lawson)의 스칼라 곡률 차단법이 폐 다양체에만 적용 가능했으나, 여기서는 M을 무한히 확장한 ‘끝(end)’ 구조를 갖는 거리 공간으로 보고, 해당 끝에 대한 c‑bordism을 구성한다. 만약 M이 UPSC 메트릭을 갖는다면, 그에 대응하는 디랙 연산자의 거친 지수가 영이 된다. 반대로, 특정 c‑bordism을 통해 ind D가 비영임을 보이면, M은 UPSC 메트릭을 가질 수 없다는 부정 결과를 얻는다. 이는 특히 비압축적인 열린 4‑차원 다양체나, 고차원 비정상적인 끝을 가진 경우에 강력한 제약을 제공한다.

마지막으로 저자는 향후 연구 방향으로, 실수 계수 버전의 코시 지수, 비가환적 거리 공간, 그리고 K‑호몰로지 이론과의 연계 가능성을 제시한다. 특히, 방향성 c‑bordism이 고전적인 위상수학적 경계동형 이론과 어떻게 교차하는지에 대한 심층적인 탐구가 필요함을 강조한다.