[논문 리뷰] Infinite connected sums, K-area and positive scalar curvature

Levi Lopes de Lima|arXiv (Cornell University)|2004. 08. 17.

Advanced Operator Algebra Research참고 문헌 10인용 수 3

한 줄 요약

이 논문은 유한하지 않은 연결합의 스피너 다양체 위에서 양의 스칼라 곡률이 존재하지 않는다는 새로운 차단 조건을, 유계 기하학에서의 유계 $K$-면적 불변량을 사용하여 설정한다. 특정한 다양체를 첨부할 때 그 다양체의 $K$-면적이 무한대가 되면, 그 연결합의 $K$-면적도 무한대가 되므로, 이는 유계 기하학 범주 내에서 양의 스칼라 곡률을 가진 메트릭이 존재할 수 없음을 증명하며, 이는 이전의 지수 이론 기반 결과를 일반화한다.

ABSTRACT

Whyte used the index theory of Dirac operators and Block-Weiberger uniformly finite homology to show that certain infinite connected sums do not carry a metric with nonnegative scalar curvature in their bounded geometry class. His proof uses a coarse version of the $\hat{A}$-class to obstruct such metrics. In this note we prove a version of Whyte's result where a variant of the notion of infinite $K$-area, originally due to Gromov, is used to obstruct metrics with positive scalar curvature.

연구 동기 및 목표

• 무한 연결합에서의 양의 스칼라 곡률에 대한 기존의 차단 조건을 지수 이론 외의 방법으로 확장하기.
• 유계 기하학 설정에서, 유계 $K$-면적 불변량이 더 강력하고 일반적인 차단 조건을 제공함을 입증하기.
• 무한 $K$-면적이 연결합에 존재하면, 양의 스칼라 곡률 메트릭이 존재하지 않음을 증명하기.
• 유계 $K$-면적 불변량 $K_{\rm area}^b(X) = +∞$이면, 임의로 큰 컴acts 집합 외부에서 스칼라 곡률이 비음성이 되는 메트릭이 존재하지 않음을 보여주기.
• 지수 이론 기반의 $˂ A$-클래스 차단 조건과 달리, 모든 짝수 차원에서 $K$-면적 차단 조건이 적용됨을 보여주기.

제안 방법

• 유계 기하학에 적합하게 조정된 그로모프의 $K$-면적 개념을 사용하며, 이는 $K_{\rm area}^b(X)$라는 불변량을 통해, 유계 미분구조에 대해 안정적이다.
• 유계 기하학 범주 ${\mathcal{B}\mathcal{G}}_{n}$를 아메노이드($H_0^{\rm uf}(X) \neq 0$) 및 비아메노이드 성분으로 분해하기.
• $K_{\rm area}(M) = +\infty$ 이고 $Y \in \mathcal{B}\mathcal{G}_{2k}^A$ 이며 $K_{\rm area}^b(Y)$ 가 유한할 경우, $K_{\rm area}^b(Y \sharp_S M) = +\infty$ 임을 증명하기.
• 벡터 번들의 애덤스 작용을 사용하여 찰스 캐릭터리스틱 계수를 분석하고, 유계 체르니 수의 소멸 결과를 도출하기.
• 스펙트럼 이론과 곡률 한계를 활용하여 큰 영역에서 디랙 연산자의 지수와 $L^2$-노름을 추정하기.
• 모든 유계 체르니 특성 및 계수의 소멸으로 문제를 축소하기 위해 일반 다항식 관계를 사용하기.

실험 결과

연구 질문

• RQ1 유계 기하학에서의 무한 연결합에 대해 $K$-면적 불변량을 사용하여 양의 스칼라 곡률을 차단할 수 있는가?
• RQ2 무한 연결합의 $K$-면적이, $K$-면적이 무한대인 다양체를 첨부할 경우에도 여전히 유한한가?
• RQ3 모든 짝수 차원에서 적용되며, $˂ A$-클래스 차단 조건보다 더 강력한 기하학적 차단 조건이 존재하는가?
• RQ4 $˂ A$-클래스가 0이 되더라도, $K$-면적 불변량이 양의 스칼라 곡률 메트릭의 부재를 감지할 수 있는가?
• RQ5 균일 유한 호모로지와 유계 기하학은 무한 연결합에서의 $K$-면적 안정성에 어떤 역할을 하는가?

주요 결과

• 만약 $Y \in \mathcal{B}\mathcal{G}_{2k}^A$ 가 유한한 $K_{\rm area}^b(Y)$ 와 $[S] \neq 0$ 이며 $H_0^{\rm uf}(Y)$ 에서 정의되면, $K_{\rm area}(M) = +\infty$ 이면 $Y \sharp_S M$ 에서 $K_{\rm area}^b(Y \sharp_S M) = +\infty$ 가 성립한다.
• 유계 기하학 범주 $\mathcal{B}\mathcal{G}_{2k}$ 에 속하는 다양체 $X$ 가 $K_{\rm area}^b(X) = +\infty$ 를 만족하면, 임의로 큰 컴팩트 집합 외부에서 스칼라 곡률이 비음성이 되는 메트릭을 가질 수 없다.
• 특히, 그러한 다양체는 그 유계 기하학 범주 내에서 양의 스칼라 곡률 메트릭을 가질 수 없다.
• $K$-면적 차단 조건은 $4$의 배수 뿐 아니라 모든 짝수 차원 $2k$ 에서 적용되므로, $˂ A$-클래스 차단 조건보다 더 일반적이다.
• 모든 유계 체르니 수 ${c}_I^b({\mathcal{E}})$ 의 소멸은 $K$-면적의 유한성에 의해 유도되며, 이는 $\mathcal{E}$ 가 $b$-호모로지적으로 자명함을 의미한다.
• 증명은 애덤스 작용과 곡률 제어 스펙트럼 추정을 기반으로 하며, $K_{\rm area}^b(X) < \infty$ 라면 감소된 체르니 특성 계수가 반드시 0이 되어야 하므로 모순이 발생한다.