양의 스칼라 곡률, K‑면적과 본질성

초록

본 논문은 폐쇄된 스핀 다양체에서 양의 스칼라 곡률 존재 여부를 판단하는 로젠버그 지수의 최신 해석을 제시한다. 로젠버그 지수를 대규모 기하학 개념인 확대가능성(enlargeability)과 본질성(essentialness)과 연결시키고, 무한 K‑면적을 갖는 K‑동질류가 이러한 지수를 비소거하게 만든다는 사실을 증명한다.

상세 분석

논문은 먼저 고전적인 리히니코프 공식이 스핀 다양체의 디랙 연산자와 스칼라 곡률 사이의 관계를 통해 양의 스칼라 곡률을 금지하는 인덱스 이론적 장애물을 제공한다는 점을 상기한다. 로젠버그가 제시한 일반화된 장애물은 기본군의 군 C*‑대수 K‑이론에 값을 갖는 로젠버그 지수 α(M)∈Kₙ(C*π₁(M)) 로 정의된다. 이 지수는 기존의 아트야-시넬 지수와 달리 비가환적 구조를 포함하므로, 보다 넓은 클래스의 다양체에 적용 가능하다.

핵심은 ‘무한 K‑면적(infinite K‑area)’이라는 개념을 현대적인 K‑동질학 프레임워크 안에서 재정의하고, 이를 확대가능성(enlargeability)과 본질성(essentialness)이라는 대규모 기하학적 성질과 연결시키는 데 있다. Gromov가 처음 도입한 K‑면적은 벡터 번들의 차원과 커브의 상한을 비교하는 방식으로 정의되었으며, 무한 K‑면적을 가진 다양체는 임의의 작은 ε>0에 대해 ε‑평탄한 번들을 무한히 큰 차원으로 구성할 수 있음을 의미한다. 저자들은 이를 K‑동질류의 관점에서 ‘무한 K‑면적을 갖는 K‑동질 클래스’로 추상화하고, 이러한 클래스가 로젠버그 지수를 비소거하게 만든다.

구체적인 증명 전략은 다음과 같다. 첫째, 무한 K‑면적을 갖는 다양체 M에 대해, 적절히 선택된 고유한 차원 n의 K‑동질 클래스