[논문 리뷰] Reductions of piecewise-trivial principal comodule algebras

Piotr M. Hajac, Jan Rudnik외 1명|arXiv (Cornell University)|2010. 12. 31.

Advanced Operator Algebra Research참고 문헌 22인용 수 3

한 줄 요약

이 논문은 조각별로 자명한 주 코모듈 대수의 축소를 위한 비가환 기하학적 기준을 수립하며, 고전적 번들의 축소 이론을 일반화한다. 주어진 코모듈 대수가 몫 호프 대수 위의 주 코모듈 대수가 되기 위한 조건은, 전이 함수가 호프 아이디얼을 소멸시키고, 그 아이디얼이 불변량 위에 작용하는 것이 자명한 조각별 자명화가 존재할 때이고, 이를 양자화된 $\mathbb{R}P^2$와 $\mathbb{Z}/2\mathbb{Z}$-번들의 비자명한 $U(1)$-연장에 의해 검증한다.

ABSTRACT

Let $G'$ be a closed subgroup of a topological group $G$. A principal $G$-bundle $X$ is reducible to a locally trivial principal $G'$-bundle $X'$ if and only if there exists a local trivialisation of $X$ such that all transition functions take values in $G'$. We prove a noncommutative-geometric counterpart of this theorem. To this end, we employ the concept of a piecewise-trivial principal comodule algebra as a replacement of a locally trivial compact principal bundle. To illustrate our theorem, first we define a new noncommutative deformation of the $\mathbb{Z}/2\mathbb{Z}$-principal bundle $S^2 ightarrow \mathbb{R}P^2$ that yields a piecewise-trivial principal comodule algebra. It is the C*-algebra of a quantum cube whose each face is given by the Toeplitz algebra. The $\mathbb{Z}/2\mathbb{Z}$-invariant subalgebra defines the C*-algebra of a quantum $\mathbb{R}P^2$. It is given as a triple-pullback of Toeplitz algebras. Next, we prolongate this noncommutative $\mathbb{Z}/2\mathbb{Z}$-principal bundle to a noncommutative $U(1)$-principal bundle, so that the former becomes a reduction of the latter thus instantiating our theorem. Moreover, using K-theory results, we prove that the prolongated noncommutative bundle is not trivial.

연구 동기 및 목표

• 조각별 자명한 주 코모듈 대수를 이용해 고전적 주 번들의 축소 이론을 비가환 기하학적 맥락으로 일반화하기.
• 해당 코모듈 대수가 몫 호프 대수 위의 주 코모듈 대수로 축소 가능할 조건을 제시하기.
• 양자 입방체와 토플리츠 대수를 통해 $\mathbb{Z}/2\mathbb{Z}$-주 번들 $S^2 \to \mathbb{R}P^2$의 비가환 변형을 구성하고 분석하기.
• K-이론을 적용하여 이 $\mathbb{Z}/2\mathbb{Z}$-번들을 연장한 양자 $U(1)$-번들의 비자명성을 입증하기.

제안 방법

• 코모듈 대수의 유한한 닫힌 커버링을 통해 비가환 리 군이 아닌 맥락에서 국소 자명성의 대체로 조각별 자명성을 정의한다.
• 호프-갈로아 축소 정리를 사용하여 축소 아이디얼과 등변 대수 준동형사상 간의 관계를 설정한다.
• 양자 입방체의 토플리츠 대수의 삼중 풀백으로 양자 $\mathbb{R}P^2$를 구성하며, 이는 양자 입방체의 $\mathbb{Z}/2\mathbb{Z}$-불변 부분대수로 실현된다.
• $\mathbb{Z}/2\mathbb{Z}$-번들을 $U(1)$-구조 대수로 확장함으로써 $U(1)$-번들로 연장한다.
• K-이론을 적용하여 연장된 번들이 비자명함을 증명하며, 전역 단면이 존재하지 않음을 보인다.
• Miyashita–Ulbrich 작용과 코작용 불변성을 사용하여 대수 준동형사상과 코인variants 위의 사상 간의 대응을 특성화한다.

실험 결과

연구 질문

• RQ1 조각별 자명한 주 코모듈 대수가 몫 호프 대수 위의 주 코모듈 대수로 축소될 수 있는 조건은 무엇인가?
• RQ2 전이 함수를 통한 고전적 번들 축소 개념을 비가환 기하학으로 일반화할 수 있는가? 이는 조각별 자명화를 통해 가능할까?
• RQ3 양자 입방체와 토플리츠 대수의 구조를 통해 $\mathbb{R}P^2$의 비가환 변형을 $\mathbb{Z}/2\mathbb{Z}$-작용과 함께 양자 번들로 구성할 수 있는가?
• RQ4 $U(1)$-연장된 이 양자 번들이 자명한가? K-이론은 이를 어떻게 비자명성으로 감지할 수 있는가?
• RQ5 호프 아이디얼이 코인variants 위에 작용하는 방식이 축소 가능성 결정에 어떤 역할을 하는가?

주요 결과

• 호프 대수 $H$ 위의 주 코모듈 대수 $P$는, 모든 전이 함수가 호프 아이디얼 $J$ 를 소멸시키는 조각별 자명화가 존재할 때이고, 그때에만 몫 호프 대수 $H/J$ 위의 주 코모듈 대수로 축소 가능하다.
• 그러한 축소가 존재하기 위해서는 $H$-코작용 불변량 위에 $J$ 가 작용하는 것이 자명해야 한다.
• 새로운 비가환 변형된 $S^2 \to \mathbb{R}P^2$가 양자 입방체의 $C^*$-대수로 구성되며, 각 면은 토플리츠 대수와 동형이다.
• $\mathbb{Z}/2\mathbb{Z}$-불변 부분대수는 이 양자 입방체로부터 $C^*$-대수로서 양자 $\mathbb{R}P^2$를 얻으며, 이는 토플리츠 대수의 삼중 풀백으로 실현된다.
• $\mathbb{Z}/2\mathbb{Z}$-주 번들은 $U(1)$-주 번들로 연장되며, K-이론을 통해 비자명함이 증명된다.
• $U(1)$-번들이 자명하지 않은 이유는 $\operatorname{Ker} \pi$-축소가 존재하기 위해서는 $q^3 = 1$ 이어야 하는데, 일반적인 $q$ 에서는 이를 만족하지 않기 때문이다.