[논문 리뷰] Pulling back noncommutative associated vector bundles and constructing quantum quaternionic projective spaces

Piotr M. Hajac, Tomasz Maszczyk|arXiv (Cornell University)|2015. 12. 31.

Algebraic structures and combinatorial models참고 문헌 26인용 수 5

한 줄 요약

이 논문은 양자 주요 다발 간의 등변 매핑을 통해 유도된 비가환 벡터 다발의 역상이 동일한 유한차원 양자군 표현에 관련된 비가환 벡터 다발로 남아 있음을 증명한다. 명시적인 행렬 프로jections을 통해 K₀군에 유도된 사상의 실현을 이루었으며, 이 틀을 적용하여 안정적으로 비자명한 타우토로지컬 라인 다발과 그 쌍대를 가지는 양자 헤이비쿠아트릭 프로젝티브 공간을 구성한다.

ABSTRACT

Our main theorem is that the pullback of an associated noncommutative vector bundle induced by an equivariant map of quantum principal bundles is a noncommutative vector bundle associated via the same finite-dimensional representation of the structural quantum group. On the level of $K_{0}$-groups of vector bundles, we realize the induced map by the pullback of explicit matrix idempotents. We also show how to extend our result to the case when the quantum-group representation is infinitely dimensional, and then apply it to the Ehresmann-Schauenburg quantum groupoid. Finally, we construct quantum quaternionic projective spaces together with noncommutative tautological quaternionic line bundles and their duals. As a key application of the main theorem, we show that these bundles are stably non-trivial as noncommutative complex vector bundles.

연구 동기 및 목표

• 비가환 벡터 다발의 역상 구성을 양자 주요 다발과 그 사이의 등변 매핑의 설정으로 일반화한다.
• 양자군 표현 이론에서 유도된 명시적인 행렬 프로jections을 사용하여 K₀군에 유도된 사상의 기술을 수행한다.
• 에르헤스만-슈아우엔부르그 양자군의 구조를 활용하여 역상 구성법을 무한차원 표현으로 확장한다.
• 양자 헤이비쿠아트릭 프로젝티브 공간을 고전적 헤이비쿠아트릭 프로젝티브 공간의 비가환 대응체로 구성한다.
• 이러한 양자 공간 위의 타우토로지컬 라인 다발과 그 쌍대가 비가환 복소 벡터 다발로서 안정적으로 비자명한가를 입증한다.

제안 방법

• 양자 주요 다발 이론과 그 사이의 등변 매핑을 활용하여 관련된 비가환 벡터 다발의 역상을 정의한다.
• 양자군 표현 이론을 적용하여 동일한 유한차원 표현 아래에서 역상이 관련 다발의 구조를 유지함을 보장한다.
• K₀군에서의 역상 사상을 명시적으로 실현하기 위해 다발을 나타내는 구체적인 행렬 프로jections을 구성한다.
• 에르헤스만-슈아우엔부르그 양자군의 구조를 활용하여 무한차원 표현으로의 틀을 확장한다.
• 주요 정리를 양자 플래그 다양체의 비가환 프로젝티브 극한으로서의 양자 헤이비쿠아트릭 프로젝티브 공간을 구성하는 데 적용한다.
• 풀백 함자를 사용하여 비가환 설정에서 타우토로지컬 라인 다발과 그 쌍대의 안정성을 분석한다.

실험 결과

연구 질문

• RQ1 양자 주요 다발 간의 등변 매핑에 의한 관련 비가환 벡터 다발의 역상은 어떻게 행동하는가?
• RQ2 비가환 설정에서 K₀군에 유도된 사상은 표현 이론에서 유도된 행렬 프로jections을 통해 명시적으로 실현될 수 있는가?
• RQ3 역상 구성법은 유한차원 표현을 초월하여 무한차원 표현까지 얼마나 일반화될 수 있는가?
• RQ4 양자 헤이비쿠아트릭 프로젝티브 공간은 비가환 다양체로서 어떤 구조를 지니는가?
• RQ5 양자 헤이비쿠아트릭 프로젝티브 공간 위의 타우토로지컬 라인 다발과 그 쌍대는 비가환 복소 벡터 다발로서 안정적으로 비자명한가?

주요 결과

• 양자 주요 다발 간의 등변 매핑을 통해 유도된 관련 비가환 벡터 다발의 역상은 동일한 유한차원 양자군 표현에 관련된 것으로 유지된다.
• K₀군에 유도된 사상은 표현에서 유도된 행렬 프로jections의 역상에 의해 명시적으로 실현된다.
• 에르헤스만-슈아우엔부르그 양자군의 구조를 통해 무한차원 표현으로의 확장이 이루어지며, 다발의 구조가 유지된다.
• 양자 헤이비쿠아트릭 프로젝티브 공간은 고전적 헤이비쿠아트릭 프로젝티브 공간의 비가환 대응체로서 성공적으로 구성된다.
• 이러한 양자 공간 위의 타우토로지컬 헤이비쿠아트릭 라인 다발과 그 쌍대는 비가환 복소 벡터 다발로서 안정적으로 비자명한 것으로 밝혀진다.
• 주요 정리는 비가환 기하학에서 풀백 함자와 K-이론을 통해 다발을 분석하는 데 기초적인 도구를 제공한다.