[논문 리뷰] A Lichnerowicz Vanishing Theorem for the Maximal Roe Algebra

Hao Guo, Zhizhang Xie외 1명|arXiv (Cornell University)|2019. 05. 29.

Advanced Operator Algebra Research참고 문헌 12인용 수 7

한 줄 요약

이 논문은 군 작용이 올바르고 등거리인 조건에서, 균일하게 양의 스칼라 곡률을 가진 스피너 다양체의 최대 등변 Roe 대수에 대해 Lichnerowicz 소멸 정리를 확립한다. 최대 균일 Roe 대수에서 디라크 연산자의 함수 해석학을 구성하고 최대 균일 지수의 소멸을 증명함으로써, 저자들은 cocompactness 조건 없이도 $K$-이론에서 디라크 연산자의 최대 고차 지수가 소멸한다는 것을 보여준다.

ABSTRACT

We show that if a countable discrete group acts properly and isometrically on a spin manifold of bounded Riemannian geometry and uniformly positive scalar curvature, then, under a suitable condition on the group action, the maximal higher index of the Dirac operator vanishes in K-theory of the maximal equivariant Roe algebra. The group action is not assumed to be cocompact. A key step in the proof is to establish a functional calculus for the Dirac operator in the maximal equivariant uniform Roe algebra. This allows us to prove vanishing of the index of the Dirac operator in K-theory of this algebra, which in turn yields the result for the maximal higher index.

연구 동기 및 목표

• 군 작용이 cocompact가 아님을 요구하지 않는 최대 등변 Roe 대수 설정으로 Lichnerowicz 소멸 정리를 확장한다.
• 이전의 Lichnerowicz 유형의 추론을 방해했던 최대 Roe 대수 프레임워크 내의 분석적 과제를 다룬다.
• 균일하게 양의 스칼라 곡률 조건 하에서 $K$-이론에서 디라크 연산자의 최대 고차 지수가 소멸함을 확립한다.
• 핵심 기술적 도구로 최대 등변 균일 Roe 대수 내에서 디라크 연산자에 대한 함수 해석학을 개발한다.
• cocompact가 아닌 설정에서도 최대 고차 지수가 소멸함을 보여주며, 이는 이전에 감소된 설정에서 제한된 결과들을 일반화한다.

제안 방법

• 기하적 조건(유계 리만 기하학 및 특정 $\Gamma$-작용 조건, 가정 2.6)을 사용하여 최대 등변 균일 Roe 대수를 정의한다.
• 디라크 연산자가 정칙이고 본질적으로 자기수반인 연산자로 작용하는 최대 균일 Roe 대수 위에 힐베르트 모듈러 구조를 수립한다.
• 정칙성과 본질적 자기수반성에 기반하여 최대 등변 균일 Roe 대수 내에서 디라크 연산자에 대한 함수 해석학을 수립한다.
• 傅里葉 변환의 컴actsupport을 가진 정규화 함수 $χ$를 사용하여 $χ(D)$로부터 유도된 프로젝션을 통해 최대 균일 지수를 정의한다.
• 함수 해석학을 활용하여 균일하게 양의 스칼라 곡률 조건 하에서 최대 균일 지수가 소멸함을 증명한다.
• 자연적 포함과 $K$-이론 호모모르피즘을 통해 균일 Roe 대수의 소멸 결과를 전체 최대 등변 Roe 대수로 옮긴다.

실험 결과

연구 질문

• RQ1 만약 다양체가 균일하게 양의 스칼라 곡률을 가지며 기하적 조건을 만족한다면, 최대 등변 Roe 대수의 $K_0$-이론에서 디라크 연산자의 최대 고차 지수가 소멸하는가?
• RQ2 감소된 경우에 존재하지 않는 분석적 과제들로 인해 최대 Roe 대수 프레임워크 내에서 Lichnerowicz 유형의 소멸 정리를 확립할 수 있는가?
• RQ3 디라크 연산자에 대한 함수 해석학이 최대 균일 Roe 대수로 어떻게 확장될 수 있는가? 이는 기하적 및 군 이론적 조건에 따라 달라진다.
• RQ4 최대 균일 지수가 소멸한다는 것은 전체 최대 Roe 대수에서 최대 고차 지수의 소멸을 충분히 보장하는가?
• RQ5 결과는 cocompact가 아닌 군 작용으로까지 확장될 수 있는가? 이는 이전에 cocompact 설정에 국한된 결과들을 일반화한다.

주요 결과

• 다양체 $M$가 균일하게 양의 스칼라 곡률을 가지며 기하적 조건을 만족할 경우, $K_0(C^*_{\text{max}}(M)^\Gamma)$에서 디라크 연산자의 최대 고차 지수가 소멸한다.
• 소멸은 균일하게 양의 스칼라 곡률 조건 하에서 $K_0(C^*_{\text{max},u}(M;L^2(S))^\Gamma)$에서 최대 균일 지수가 소멸함을 통해 확립된다.
• 디라크 연산자에 대한 함수 해석학은 최대 등변 균일 Roe 대수 내에서 정칙성과 본질적 자기수반성에 기반하여 구성된다.
• 군 작용의 cocompactness 조건을 가정하지 않아도 결과가 성립하며, 이는 이전에 cocompact 설정에 국한된 정리들을 일반화한다.
• 최대 균일 Roe 대수는 최대 등변 Roe 대수의 부분대수이며, 균일 지수의 소멸은 전체 최대 지수의 소멸을 암시한다.
• 증명은 비cocompact 설정에서 $K$-이론적 불변량을 계산하는 데 새로운 방법을 제공하며, 비콤팩트 다양체에서의 지수 이론에 적용 가능하다.