[논문 리뷰] Topological obstructions to embedding of a matrix algebra bundle into a trivial one

А. В. Ершов|arXiv (Cornell University)|2008. 07. 22.

Homotopy and Cohomology in Algebraic Topology참고 문헌 12인용 수 5

한 줄 요약

이 논문은 복소수 행렬 대수 번들의 삽입에 대한 위상수학적 장벽을, 대수적 조건 하에서 차원에 대해 규명하며, 이 문제를 구조 군이 군의 족인 주요 번들의 문제로 연결하고, 무한 순환 공간과 사영 유니터리 군의 분류 공간의 작용을 통해 비틀린 K-이론과 연결한다.

ABSTRACT

In the present paper we describe topological obstructions to embedding of a (complex) matrix algebra bundle into a trivial one under some additional arithmetic condition on their dimensions. We explain a relation between this problem and some principal bundles with structure groupoid. Finally, we briefly discuss a relation of our results to the twisted K-theory.

연구 동기 및 목표

• 지역적으로 자명한 복소수 행렬 대수 번들이 언제 자명한 번들에 삽입될 수 있는지 규명하는 것.
• 행렬 대수의 차원에 대해 산술 조건이 만족될 때 이러한 삽입에 대한 위상수학적 장벽을 특정하는 것.
• 삽입 문제를 구조 군의 족을 가진 주요 번들과 연결하는 것.
• 무한 순환 공간과 사영 유니터리 군의 분류 공간의 작용을 통해 비틀린 K-이론과의 연결 고리를 탐색하는 것.

제안 방법

• 형식 $X \times M_n(\mathbb{C})$의 자명한 번들에 대한 섬유별 삽입을 분석함으로써 삽입 문제를 다룸.
• 서로소 차원을 가진 행렬 대수 간의 삽입 관계를 모델링하기 위해 군의 족 $\mathfrak{G}_{k,l}$ 를 도입함.
• 서로소 쌍 $(k,l)$ 에 대한 직접 극한을 통해 무한 차원 작용 군의 족 $\mathfrak{G} = \varinjlim \mathfrak{G}_{k,l}$ 를 구성함.
• 무한 순환 공간 $\mathop{\rm Fr}\nolimits$ 의 호모토피 이론적 구조를 이용하여 그라스만이안과 분류 공간에 대한 보편적 작용을 모델링함.
• $\mathop{\rm BSU}\nolimits_{\otimes}$, $\mathop{\rm BFr}\nolimits$, 및 $\mathop{\rm B}\nolimits\widetilde{\mathop{\rm Fr}\nolimits}$ 를 포함하는 피브레이션을 구성하여 보편적 비틀린 K-이론 분류 공간을 묘사함.
• $\mathop{\rm Fr}\nolimits$ 가 $K$-이론 스펙트럼에 작용하는 것과 $\mathop{\rm Fred}\nolimits(\mathcal{H})$-번들이 $\mathop{\rm BFr}\nolimits$ 위에 구성되는 것 사이의 대응관계를 확립함. 이는 표준 비틀린 K-이론 설정과 유사함.

실험 결과

연구 질문

• RQ1 행렬 대수의 차원이 특정 산술 조건을 만족할 때, 자명한 번들에 삽입되지 못하는 위상수학적 장벽은 무엇인가?
• RQ2 삽입 문제는 표준 리 군 작용이 아닌, 구조 군의 족을 가진 주요 번들과 어떻게 관련되어 있는가?
• RQ3 직접 극한 $\mathfrak{G}_{k,l}$ 의 역할은 그라스만이안과 분류 공간에 대한 보편적 작용을 모델링하는 데 어떻게 기여하는가?
• RQ4 무한 순환 공간 $\mathop{\rm Fr}\nolimits$ 가 $K$-이론 스펙트럼에 작용하는 방식은 비틀린 K-이론과 어떻게 관련되어 있는가?
• RQ5 맵 $[X, \prod_{n\geq 2} K(\mathbb{Q}, 2n)] \to [X, \mathop{\rm B}\nolimits\widetilde{\mathop{\rm Fr}\nolimits}]$ 의 코어널을 통해 비교적 비가환 브라우어 군을 정의할 수 있는가?

주요 결과

• 행렬 대수 번들을 자명한 번들에 삽입하는 데 있어 위상수학적 장벽은 그 군의 차원에 대한 산술 조건에 의해 결정된다.
• 서로소 차원을 가진 행렬 대수의 텐서곱에서 유도된 군의 족 $\mathfrak{G}_{k,l}$ 는 삽입 관계를 모델링하며, 이는 리 군 작용에 의해 유도되지 않는다.
• 직접 극한 $\mathfrak{G} = \varinjlim \mathfrak{G}_{k,l}$ 는 무한 순환 공간 $\mathop{\rm Fr}\nolimits$ 가 그라스만이안 $\mathop{\rm Gr}\nolimits$ 에 작용하는 것으로 해석되며, 이는 피브레이션 $\mathop{\rm BSU}\nolimits_{\otimes} \to \mathop{\rm BFr}\nolimits$ 를 이끌어냄.
• 분류 공간 $\mathop{\rm BFr}\nolimits$ 는 $K(\mathbb{Q}/\mathbb{Z}, 2) \times \mathop{\rm B}\nolimits\widetilde{\mathop{\rm Fr}\nolimits}$ 로 분해되며, 이는 브라우어 군의 토르션 및 나누어지는 부분을 반영한다.
• 비가환 브라우어 군은 맵 $[X, \prod_{n\geq 2} K(\mathbb{Q}, 2n)] \to [X, \mathop{\rm B}\nolimits\widetilde{\mathop{\rm Fr}\nolimits}]$ 의 코어널을 통해 정의되며, 이는 고전적 유한 브라우어 군을 일반화한다.
• $\mathop{\rm Fr}\nolimits$ 가 $K$-이론 스펙트럼에 작용하는 것은 $\mathop{\rm BFr}\nolimits$ 위에 $\mathop{\rm Fred}\nolimits(\mathcal{H})$-번들을 유도하며, 이는 표준 비틀린 K-이론 구성 방식과 유사하다.