[논문 리뷰] Noncommutative Geometry Approach to Principal and Associated Bundles

Paul Baum, Piotr M. Hajac외 2명|ArXiv.org|2006. 12. 31.

Advanced Operator Algebra Research참고 문헌 25인용 수 46

한 줄 요약

이 논문은 C*-대수에서의 조밀성 조건과 섬유곱에 대한 조각별로 균질적인 성질을 도입하여, 주 및 관련 다발에 대한 비환원 기하학 프레임워크를 수립한다. 관련 벡터다발의 단면 모듈러는 코텐서 곱으로 표현되며, 호프 분할에서 딜라크 단극자에 대한 카른 특성 쌍대성은 표현의 음의 고리 수와 일치함을 보여준다.

ABSTRACT

We recast basic topological concepts underlying differential geometry using the language and tools of noncommutative geometry. This way we characterize principal (free and proper) actions by a density condition in (multiplier) C*-algebras. We introduce the concept of piecewise triviality to adapt the standard notion of local triviality to fibre products of C*-algebras. In the context of principal actions, we study in detail an example of a non-proper free action with continuous translation map, and examples of compact principal bundles which are piecewise trivial but not locally trivial, and neither piecewise trivial nor locally trivial, respectively. We show that the module of continuous sections of a vector bundle associated to a compact principal bundle is a cotensor product of the algebra of functions defined on the total space (that are continuous along the base and polynomial along the fibres) with the vector space of the representation. On the algebraic side, we review the formalism of connections for the universal differential algebras. In the differential geometry framework, we consider smooth connections on principal bundles as equivariant splittings of the cotangent bundle, as 1-form-valued derivations of the algebra of smooth functions on the structure group, and as axiomatically given covariant differentiations of functions defined on the total space. Finally, we use the Dirac monopole connection to compute the pairing of the line bundles associated to the Hopf fibration with the cyclic cocycle of integration over S^2.

연구 동기 및 목표

• 고전적 미분기하학과 비환원 기하학을 연결하기 위해 주 및 관련 다발을 C*-대수의 용어로 재구성하는 것.
• 다른 다발의 자유롭고 적절한 작용을 다중 C*-대수에서의 조밀성 조건을 통해 정의함으로써 고전적 자유롭고 적절한 작용의 개념을 일반화하는 것.
• 섬유곱의 C*-대수에서 국소 균질성의 대체로 조각별로 균질성을 도입하는 것.
• 연관된 벡터다발의 연속적 또는 매끄러운 단면 모듈러를 코대수 위의 코텐서 곱으로 특성화하는 것.
• S² 위에서 적분의 순환 코호몰로지 쐐기와 호프 분할에 관련된 선다발의 쌍대성을 계산하여 표현의 고리 수와 연결하는 것.

제안 방법

• 비환원 설정에서 주다발 및 벡터다발의 접속을 형식화하기 위해 보편 미분계산 및 대수의 사용.
• 유한생성 프로젝티브 모듈러와 컴acts 공간 위의 벡터다발을 연결하기 위해 세르-스완 정리와 피터-웨일 이론의 도입.
• C*-대수의 다중대수에서의 조밀성 조건을 통한 주행동의 정의로 고전적 자유롭고 적절한 작용의 개념을 일반화하는 것.
• 섬유곱의 C*-대수에서 국소 균질성의 일반화로 조각별로 균질성의 도입.
• 접속을 다발의 코접속다발의 등변 분할과 다발의 매끄러운 함수 대수 위의 1형식 값을 가진 도함수로 구성하는 것.
• 호프 분할에서의 딜라크 단극자 접속을 사용하여 S² 위에서의 적분 순환 코호몰로지 쐐기와의 카른 특성 쌍대성을 계산하는 것.

실험 결과

연구 질문

• RQ1 로컬 컴act 하우스도르프 공간 위에서 자유롭고 적절한 군 작용은 순수하게 C*-대수의 용어로 어떻게 특성화될 수 있는가?
• RQ2 C*-대수의 섬유곱에 대해 국소 균질성의 비환원 대응은 무엇이며, 고전적 균질성과의 관계는 어떠한가?
• RQ3 주다발에 관련된 다발의 단면 모듈러는 비환원 설정에서 어떻게 대수적으로 묘사될 수 있는가?
• RQ4 연관된 다발의 카른 특성과 비환원 프레임워크 내의 순환 코호몰로지 쌍대성 간의 관계는 무엇인가?
• RQ5 호프 분할에서의 딜라크 단극자 접속은 표현의 고리 수와 일치하는 위상수학적 불변량을 어떻게 도출하는가?

주요 결과

• 콤팩트 주다발에 관련된 다발의 연속 단면 모듈러는 총공간 위의 함수 대수(기저를 따라 연속적이고, 섬유를 따라 다항식적임)와 표현 공간의 코텐서 곱과 동형임을 보여준다.
• 연속적인 이동 함수를 가진 비적절한 자유 작용의 예를 구성하여, 표준적인 균질성 성질을 위해 적절성이 필수적임을 보여준다.
• 조각별로 균질이지만 국소적으로 균질이 아닌 콤팩트 주다발과, 둘 다 아닌 경우를 포함한 예를 제시하여 이 두 개념이 독립적임을 입증한다.
• 호프 분할에 관련된 선다발과 S² 위에서의 적분 순환 코호몰로지 쐐기의 카른 특성 쌍대성은 표현의 음의 고리 수를 도출하며, 위상수학적 불변성을 확인한다.
• 호프 분할에서의 접속 형식 ω는 그라스만 접속과 일치하는 코바리언트 도함수를 유도하며, 이는 비환원 형식주의의 일관성을 검증한다.