[논문 리뷰] Elliptic symbols, elliptic operators and Poincaré duality on conical pseudomanifolds

Jean-Marie Lescure|arXiv (Cornell University)|2006. 09. 12.

Advanced Operator Algebra Research참고 문헌 11인용 수 5

한 줄 요약

이 논문은 원뿔형 미분다양체에 대해 K-이론에서 Poincaré 쌍대성을 실현하는 비가환 기호 매핑을 수립한다. 이는 비가환 접속 군구조 $T^qX$ 상의 완전 타원형 미분연산자에 대한 기호 매핑으로서 $K_0(X)$와 $K_0(C^*(T^qX))$ 사이의 동형사상 $\Sigma^q$ 를 규명한다. 주요 기여는 리 군구조 위에서의 미분연산자 계산을 통해 특이 Poincaré 쌍대성을 기하학적·해석학적으로 해석하는 데 있다.

ABSTRACT

In a earlier work of Claire Debord and the author, a notion of noncommutative tangent space isdefined for a conical pseudomanifold and the Poincaré duality in $K$-theory is proved between this space and the pseudomanifold. The present paper continues this work. We show that an appropriate and natural presentation of the notion of symbols on a manifold generalizes right away to conical pseudomanifolds and that it enables us to interpret the Poincaré duality in the singular setting as a principal symbol map.

연구 동기 및 목표

• 원뿔형 미분다양체에 대해 K-이론에서 Poincaré 쌍대성을 비가환 기호 매핑으로서 구체적으로 실현하는 것.
• 기본적인 기호 매핑과 유사한 형태로, $\Sigma^q: K_0(X) \xrightarrow{\simeq} K_0(C^*(T^qX))$ 의 동형사상을 비가환 기호 매핑으로 해석하는 것.
• 비가환 접속 군구조 $T^qX$ 상의 미분연산자를 통해 내부 기호와 정규 기호의 개념을 통합하는 것.
• 계층적 공간 상의 완전 타원형 $b$-연산자의 지수는 $K(T^qX)$ 내의 $K$-이론적 기호 클래스로 표현됨을 보이는 것.

제안 방법

• 원뿔형 미분다양체 $X$ 의 비가환 접속 공간으로서의 리 군구조 $T^qX$ 의 $C^*$-대수 $C^*(T^qX)$ 를 사용하여, 스무스 접속 벡터장의 일반화를 수행한다.
• 특이 성분 근처에서 특정한 감쇠 조건을 만족하는 스무프트 핵을 갖는 $T^qX$ 상의 미분연산자로서 $X$ 상의 비가환 기호를 정의한다.
• Melrose와 Schulze의 $b$-계산과 $c$-계산을 적용하여, 완전 타원형 $b$-연산자를 통해 $X$ 상의 $K$-호모로지 클래스의 대표자를 구성한다.
• 카스파로프 곱과 모리타 동치를 이용하여 $D^q$ 전기 딜라스와 기호 매핑 $\mathbf{s}_X$ 를 활용해 동형사상 $\Sigma^q$ 를 수립한다.
• 비틀림 $K$-이론($KK$-이론)과 군구조 $C^*$-대수 체계를 활용하여 $X$ 의 $K$-호모로지와 $C^*(T^qX)$ 의 $K$-이론 간의 관계를 규명한다.
• 군구조 $\mathcal{G}^q$ 와 $t=1$ 에서의 평가 사상(evaluation map)을 이용하여 $K(T^qX)$ 내의 기호 클래스 $[a]$ 를 $X$ 상의 $KK$-사이클로 올리는 방법을 구성한다.

실험 결과

연구 질문

• RQ1 원뿔형 미분다양체에 대해 $K$-이론에서 Poincaré 쌍대성을 비가환 기호 매핑으로 어떻게 해석할 수 있는가?
• RQ2 비가환 접속 군구조 $T^qX$ 는 $C(X)$ 와 $C^*(T^qX)$ 간의 쌍대성을 실현하는 데 어떤 역할을 하는가?
• RQ3 비가환 접속 군구조 $T^qX$ 상의 미분연산자는 특이한 상황에서 내부 기호와 정규 기호를 어떻게 캡슐화하는가?
• RQ4 완전 타원형 $b$-연산자의 해석적 지수는 $K(T^qX)$ 내의 $K$-이론적 기호 클래스로 표현될 수 있는가?
• RQ5 $\Sigma^q$ 의 $KK$-이론적 구성과 스무스 경우의 고전적 주요 기호 매핑 간의 관계는 무엇인가?

주요 결과

• $\Sigma^q: K_0(X) \xrightarrow{\simeq} K_0(C^*(T^qX))$ 의 동형사상은 고전적 주요 기호 매핑을 일반화한 비가환 기호 매핑으로 식별된다.
• 완전 타원형 비가환 기호 $[a] \in K(T^qX)$ 의 Poincaré 쌍대는 $[a] \otimes_{T^qX} D^q$ 로 실현되며, 이는 완전 타원형 $b$-연산자 $P$ 의 클래스에 해당한다.
• 계층적 다양체 $M$ 상의 완전 타원형 $0$-차수 $b$-연산자 $P$ 의 지수는 $\mathrm{Ind}^q(\sigma(P)) = [\sigma(P)] \otimes \partial^q$ 와 같다. 여기서 $\partial^q$ 는 경계 클래스이다.
• $[P]$ 의 $KK$-사이클 구성은 $\mathcal{G}^q$ 에서 $T^qX$ 로의 올림을 통해 $t=1$ 에서의 평가 사상과 모리타 동치를 이용하여 달성된다.
• $K$-이론적 $T^qX$ 는 내부 기호와 정규 기호 데이터를 모두 포괄하여, 하나의 비가환 프레임워크 내에서 경계값 문제를 통합한다.
• $T^cX$ 와 $T^qX$ 의 두 접속 공간 정의 간의 동치성은 $K$-이론에서 결과들이 선택에 의존하지 않고 안정적임을 보장한다.