[논문 리뷰] All automorphisms of the Calkin algebra are inner

Ilijas Farah|arXiv (Cornell University)|2007. 05. 22.

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

한 줄 요약

이 논문은 분리 가능 힐버트 공간 위의 Calkin 대수의 모든 자가동형사상이 내부 자가동형사상임을 증명한다. 이는 1977년 브라운–더글라스–필모어가 제기한 문제를 해결한다. 이는 이전에 필립스와 웨이버가 연속체 가설을 가정할 경우 외부 자가동형사상이 존재한다는 결과를 내놓은 바가 있는데, 이는 ZFC에 대해 독립적인 내부/외부 자가동형사상의 이분법을 입증한다. 즉, TA는 모든 자가동형사상이 내부임을, CH는 일부 자가동형사상이 외부임을 암시한다.

ABSTRACT

We prove that it is relatively consistent with the usual axioms of mathematics that all automorphisms of the Calkin algebra are inner. Together with a 2006 Phillips--Weaver construction of an outer automorphism using the Continuum Hypothesis, this gives a complete solution to a 1977 problem of Brown-Douglas-Fillmore. We also give a simpler and self-contained proof of the Phillips--Weaver result.

연구 동기 및 목표

• 1977년 브라운–더글라스–필모어 문제를 해결한다. 즉, Calkin 대수의 모든 자가동형사상이 내부인지 여부를 밝힌다.
• Todorcevic의 공리(TA) 하에서 모든 자가동형사상이 내부임이 일관됨을 입증한다. 이는 ZFC와 독립적인 집합론적 원리이다.
• 연속체 가설을 사용하여 필립스–웨이버의 외부 자가동형사상에 대한 결과를 자가완비적으로 재구성한다.
• Calkin 대수의 자가동형사상의 구조가 집합론적 공리에 민감함을 입증한다. TA는 오직 내부 자가동형사상만 존재하게 하고, 이를 통해 자가동형사상의 성질을 규명한다.

제안 방법

• Todorcevic의 공리(TA)를 사용한다. 이는 보일 카테고리 정리의 강화된 형태로, Calkin 대수의 자가동형사상의 구조를 제약한다.
• 유니터리의 일관된 가닥을 이용하여, 특정 유한加성 조건을 만족하는 모든 자가동형사상은 내부임을 보인다.
• 힐버트 공간 H의 코유한차원 부분공간 위에서의 부분 등장사상에 의한 자가동형사상의 표현을 적용한다.
• 특정 스펙트럼 불변량을 유지하는 자가동형사상은 인덱스 불변량도 유지하며, 이는 오직 내부 자가동형사상에서만 유지됨을 이용한다.
• 투영의 유한 간격에 대한 표현을 통한 자가동형사상의 리프팅을 사용하여 일관된 유니터리 가닥을 도출한다.
• 조합론적 구조 정리(정리 7.1)에 의존하여, 전역 유니터리로 올라가는 부분 등장사상을 구성함으로써 내부 자가동형사상임을 증명한다.

실험 결과

연구 질문

• RQ1 ZFC 하에서 Calkin 대수의 모든 자가동형사상이 내부일 수 있는가?
• RQ2 외부 자가동형사상의 존재는 추가적인 집합론적 공리에 의존하는가?
• RQ3 다른 포스팅 공리 하에서 Calkin 대수의 자가동형사상군을 완전히 특징지울 수 있는가?
• RQ4 Calkin 대수에서 유니터리 동치(콤��� 편향에 대해)와 자가동형사상 동치가 동일한가?
• RQ5 Calkin 대수의 자가동형사상은 단일 이동 연산자를 그 수반으로 보낼 수 있는가?

주요 결과

• Todorcevic의 공리(TA) 하에서, 분리 가능 힐버트 공간 위의 Calkin 대수의 모든 자가동형사상은 내부이다.
• 이 결과는 완전한 이분법을 제공한다. TA 하에서는 모든 자가동형사상이 내부이며, 연속체 가설 하에서는 외부 자가동형사상이 존재한다.
• 논문은 필립스–웨이버의 외부 자가동형사상 구성 결과를 연속체 가설을 사용하여 자가완비적으로 재구성한다.
• TA 하에서는 Calkin 대수의 자가동형사상군이 강하게 고정되어 있으며, 이는 외부 자가동형사상이 존재하지 않음을 의미한다.
• 증명은 인덱스 보존 제약 조건으로 인해, 프레드홀름 인덱스 구조를 보존하는 모든 자가동형사상은 내부여야 한다고 보여준다.
• 결과적으로, TA 하에서는 B(H) 전체에서 유니터리 동치(콤팩트 편향에 대해)와 자가동형사상 동치가 일치함을 암시한다.