[논문 리뷰] Positive scalar curvature, higher rho invariants and localization algebras

Zhizhang Xie, Guoliang Yu|arXiv (Cornell University)|2013. 02. 18.

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

한 줄 요약

이 논문은 경계를 가진 스플린 다양체 위의 딜라 연산자의 고차 지수 클래스와 경계 딜라 연산자의 고차 로타 불변량 사이의 정확한 연결을 수립한다. 국소화 대수를 사용하여 후자를 정의하고 계산함으로써, 주요 결과는 다양체 위의 고차 지수 클래스의 $K$-이론적 경계가 경계 위의 고차 로타 불변량과 일치함을 보여주며, 피아자와 슈이크의 작업을 확장하고 비가환 위상수학을 통한 양의 스칼라 곡률 장애 연구를 위한 새로운 프레임워크를 제공한다.

ABSTRACT

In this paper, we use localization algebras to study higher rho invariants of closed spin manifolds with positive scalar curvature metrics. The higher rho invariant is a secondary invariant and is closely related to positive scalar curvature problems. The main result of the paper connects the higher index of the Dirac operator on a spin manifold with boundary to the higher rho invariant of the Dirac operator on the boundary, where the boundary is endowed with a positive scalar curvature metric. Our result extends a theorem of Piazza and Schick.

연구 동기 및 목표

• 이론적 국소화 대수를 사용하여 아티야-패토디-식링의 고차 지수 이론을 경계를 가진 다양체로 확장한다.
• 양의 스칼라 곡률 조건 하에서 경계 딜라 연산자의 고차 로타 불변량을 정의하고 계산한다.
• 다양체 위의 고차 지수 클래스와 경계 위의 고차 로타 불변량 사이의 정확한 관계를 확립한다.
• 경계를 가진 다양체 위에서 양의 스칼라 곡률 메트릭의 장애를 연구하기 위한 $K$-이론적 프레임워크를 제공한다.

제안 방법

• 이산군 $\Gamma$ 가 적절하고 코컴 pact한 등거리 작용을 하는 적절한 거리 공간 $X$ 와 관련된 국소화 대수 $C^\bullet_{L,0}(X)^\flat$ 와 $C^\bullet_L(X)^\flat$ 를 사용한다.
• 짧은 정확한 $C^*$-대수의 열 $0 \to C^\bullet_{L,0}(X)^\Gamma \to C^\bullet_L(X)^\Gamma \to C^\bullet(X)^\Gamma \to 0$ 에 $K$-이론의 여섯 항 연속성을 적용한다.
• $K$-이론에서의 표준 경계 사상 $\partial_i$ 를 구성하여 $K_*(D^*(X)^\Gamma)$ 와 $K_{*-1}(C^\bullet_{L,0}(X)^\Gamma)$ 를 연결한다.
• 고차 로타 불변량 $\rho(D_{\partial M}, h)$ 를 $K_{m-1}(C^\bullet_{L,0}(\partial M)^\Gamma)$ 에 속하는 원소로 정의한다.
• 메이어-비에토리스와 오비트 레미네이션의 논리적 추론을 통해 $\alpha_i: K_i(D^*(X)^\Gamma) \to K_{i-1}(C^\bullet_{L,0}(X)^\Gamma)$ 와 $\beta_i: K_i(D^*(X)^\Gamma / C^\bullet(X)^\Gamma) \to K_{i-1}(C^\bullet_L(X)^\Gamma)$ 의 동형사상을 확립한다.
• 고차 로타 불변량을 기하학적으로 해석하기 위해 $K_*(C^\bullet_L(X)^\Gamma)$ 와 등변 $K$-호모로지 $K_*^\Gamma(X)$ 사이의 자연스러운 동형을 이용한다.

실험 결과

연구 질문

• RQ1 양의 스칼라 곡률 조건을 만족하는 스플린 다양체의 경계에서 고차 로타 불변량은 전체 다양체 위의 딜라 연산자의 고차 지수 클래스와 어떻게 관련이 있는가?
• RQ2 국소화 대수는 군 작용과 양의 스칼라 곡률 조건 하에서 고차 로타 불변량을 정의하고 계산하는 데 있어 강력한 프레임워크를 제공할 수 있는가?
• RQ3 경계를 가진 다양체 위의 고차 지수 클래스에서 경계의 고차 로타 불변량으로 가는 표준 경계 사상이 존재하는가?
• RQ4 고차 로타 불변량은 고차 에타 불변량이 양의 스칼라 곡률에 대한 장애를 같은 방식으로 캡처하지만, $K$-이론적 설정에서 수행되는가?
• RQ5 $K_*(D^*(X)^\Gamma)$ 와 $K_{*-1}(C^\bullet_{L,0}(X)^\Gamma)$ 사이의 동형사상은 기존의 정의와 일치하는 표준 고차 로타 불변량을 정의하는 데 사용될 수 있는가?

주요 결과

• 스플린 다양체 $M$ 의 경계 $\partial M$ 을 가진 딜라 연산자 $D_M$ 의 고차 지수 클래스 $\mathrm{Ind}(D_M)$ 는 표준 경계 사상에 의해 $K_{m-1}(C^\bullet_{L,0}(\partial M)^\Gamma)$ 에 속하는 고차 로타 불변량 $\rho(D_{\partial M}, h)$ 로 매핑된다.
• $\partial_1: K_1(C^\bullet_L(M)^\Gamma) \to K_0(C^\bullet_{L,0}(M)^\Gamma)$ 는 고차 지수 클래스의 경계를 경계 위의 고차 로타 불변량과 일치시킨다.
• $\alpha_1: K_1(D^*(\partial M)^\Gamma) \to K_0(C^\bullet_{L,0}(\partial M)^\Gamma)$ 의 동형사상은 고차 로타 불변량의 $K$-이론적 실현을 제공한다.
• 고차 로타 불변량 $\rho(D_{\partial M}, h)$ 는 동형사상 $\alpha_i$ 를 통해 히그슨과 로에의 정의 [18, 정의 7.1] 과 동치이다.
• 이 구성은 자연스럽고 $K$-이론의 여섯 항 연속성과 일치하여 프레임워크 전반에서 일관성을 보장한다.
• 결과는 피아자와 슈이크의 정리 1.17 을 일반화하여 군 작용과 국소화 대수의 설정으로 경계 관계를 확장한다.