[논문 리뷰] Homotopy theory of bundles with fiber matrix algebra

А. В. Ершов|arXiv (Cornell University)|2003. 01. 14.

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

한 줄 요약

이 논문은 서로소인 $k,l$에 대해 $M_k(\mathbb{C})$를 섬유로 가지며 $M_{kl}(\mathbb{C})$로의 임베딩을 갖는 국소적으로 자명한 복합수 행렬 대수 다발에 대한 안정 호모토피 이론을 개발한다. 이러한 다발을 분류하는 호모토피 함자 $\widetilde{\rm AB}^1$를 구성하며, 이가 감소된 $\rm KSU$-이론의 곱셈적 군과 동형임을 보여, $\rm BSU$ 위에 존재하는 $H$-공간의 구조 $\rm BSU_\otimes$가 행렬 대수 다발의 텐서곱을 통해 기하학적으로 실현됨을 제공한다.

ABSTRACT

In the present paper we consider a special class of locally trivial bundles with fiber a matrix algebra. On the set of such bundles over a finite $CW$-complex we define a relevant equivalence relation. The obtained stable theory gives us a geometric description of the H-space structure $\BSU_\otimes$ on $\BSU$ related to the tensor product of virtual $\SU$-bundles of virtual dimension 1.

연구 동기 및 목표

• 서로소인 $k,l$에 대해 $M_k(\mathbb{C})$를 섬유로 가지며 $M_{kl}(\mathbb{C})$로의 임베딩을 갖는 국소적으로 자명한 다발에 대한 안정 호모토피 이론을 개발하는 것.
• 이러한 다발에 대해 $K$-이론에서의 안정 동치와 유사한 안정 동치 관계를 정의하여, 행렬 그라스만이안 $\rm Gr_{k,l}$의 직접 극한으로 구성된 분류 공간을 만들기 위한 것.
• 이러한 다발을 이용하여 $\rm BSU$ 위의 $H$-공간의 구조 $\rm BSU_\otimes$에 대한 기하학적 기술을 확립하는 것.
• 결과적으로 얻어진 호모토피 함자 $\widetilde{\rm AB}^1$가 감소된 $\rm KSU$-함자의 곱셈적 군과 동형임을 보이는 것.
• 이 구조를 $\rm GL$-버전으로 확장하여 $\widehat{\rm Gr}$이 $\rm BU_\otimes$와 관련되고, 감소된 $\widetilde{\rm K}_{\mathbb{C}}$-이론의 곱셈적 군과 관련됨을 밝히는 것.

제안 방법

• 유한한 $CW$-복합체 $X$ 위에서 섬유가 $M_k(\mathbb{C})$인 다발 $A_k$의 범주 $\mathfrak{FAB}(X)$를 도입하며, 이는 크기가 $kl$인 자명한 다발 $\widetilde{M}_{kl}$로의 다발 사상 $\mu: A_k \to \widetilde{M}_{kl}$를 갖는다.
• 서로소인 $k,l$에 대해, $M_{kl}(\mathbb{C})$ 내부의 $M_k(\mathbb{C})$와 동형인 부분대수를 매개변수화하는 동차공간으로서의 분류 공간 $\rm Gr_{k,l}$를 정의한다.
• 직접 극한 $\lim_{\to\atop{(k,l)=1}} \rm Gr_{k,l}$를 통한 안정화 과정을 구성하여, 이러한 다발의 안정 동치류에 대한 분류 공간을 얻는다.
• 범주 $\mathfrak{FAB}(X)$에 대해 $K$-이론에서의 안정 동치와 유사한 안정 동치 관계를 정의하고, $\widetilde{\rm AB}^1(X)$를 안정 동치류의 집합으로 정의한다.
• $\rm GL$-버전에서 호모토피 군을 분석하기 위해 코흐라인 수치를 계산하며, $\widehat{\lambda}_{k,\ell*}$가 $\pi_{2r}$ 위에서 곱셈 $k$를 유도함을 보여, $k$에 대한 국소화를 이룬다.
• 등식 $\widehat{\rm Gr} \cong \rm Gr \times \mathbb{C}P^\infty$ 및 $\widehat{\rm Gr} \cong \rm BU_\otimes$를 $H$-공간으로서 확립하여, 이 구조가 곱셈적 $K$-이론과 연결됨을 보인다.

실험 결과

연구 질문

• RQ1 서로소인 $k,l$에 대해 $M_k(\mathbb{C})$를 섬유로 가지며 $M_{kl}(\mathbb{C})$로의 임베딩을 갖는 행렬 대수 다발에 대한 안정 호모토피 이론을 어떻게 구성할 수 있는가?
• RQ2 이러한 다발의 안정 동치류에 대한 분류 공간는 무엇이며, $\rm Gr_{k,l}$의 직접 극한과 어떻게 관련되는가?
• RQ3 이러한 다발의 텐서곱을 통해 $\rm BSU$ 위의 $H$-공간의 구조 $\rm BSU_\otimes$를 기하학적으로 실현할 수 있는가?
• RQ4 결과적으로 얻어진 호모토피 함자 $\widetilde{\rm AB}^1$는 감소된 $\rm KSU$-함자의 곱셈적 군과 동치인가?
• RQ5 $\rm GL$-버전의 이 구조와 감소된 $\widetilde{\rm K}_{\mathbb{C}}$-이론의 곱셈적 군 사이의 관계는 무엇인가?

주요 결과

• 서로소인 $k,l$에 대해 $M_k(\mathbb{C})$-다발과 $M_{kl}(\mathbb{C})$로의 임베딩을 갖는 안정 동치류는 직접 극한 $\lim_{\to\atop{(k,l)=1}} \rm Gr_{k,l}$로 분류되며, 이는 $\widetilde{\rm AB}^1$의 분류 공간로 기능한다.
• $\widetilde{\rm AB}^1$ 호모토피 함자는 감소된 $\rm KSU$-함자의 곱셈적 군과 동형이며, 군 연산은 $\xi * \eta = \xi + \eta + \xi\eta$로 주어진다.
• $\rm BSU$ 위의 $H$-공간의 구조 $\rm BSU_\otimes$는 이러한 행렬 대수 다발의 텐서곱을 통해 기하학적으로 실현되며, 구체적인 다발 이론적 모델을 제공한다.
• $\rm GL$-버전의 구조는 공간 $\widehat{\rm Gr} = \lim_{\to\atop{(k,l)=1}} \widehat{\rm Gr}_{k,l}$를 유도하며, 이는 $H$-공간으로서 $\rm BU_\otimes$와 동형이며, 감소된 $\widetilde{\rm K}_{\mathbb{C}}$-이론의 곱셈적 군을 나타낸다.
• $\pi_{2r}$ 위에서의 사상 $\widehat{\lambda}_{k,\ell*}$는 곱셈 $k$를 유도하므로, $\widehat{\rm Gr}$은 $\mathbb{Z}[1/k]$-국소화되어 있으며, $H$-공간으로서 $\widehat{\rm Gr} \cong \rm Gr \times \mathbb{C}P^\infty$임을 보였다.
• 역 다발의 코흐라인 수치는 $\widetilde{c}_i$를 포함하는 재귀적 공식을 통해 계산되며, 예를 들어 $\widetilde{c}_1(A_k)^{-1} = 1 - \widetilde{c}_1(A_k) + \widetilde{c}_2(A_k) - \cdots$와 같이 주어지며, 고차 수치는 유사하게 유도된다.