[논문 리뷰] $C^*$-algebras generated by projective representations of free nilpotent groups

Tron Omland|arXiv (Cornell University)|2013. 01. 14.

Advanced Operator Algebra Research인용 수 6

한 줄 요약

이 논문은 계수 2의 자유 노름군 $G(n)$의 두 코호몰로지 군을 계산하며, 그들의 날카로운 군 $C^*$-대수들이 $\mathbb{T}^{n(n-1)/2}$ 위의 연속적 장으로서 비가환 $n$-토러스를 섬유로 가지며, 이는 헤이젠베르크 군의 경우를 일반화한다. 이 $C^*$-대수들의 단순성 조건을 확립하고, $\mathrm{GL}(n,\mathbb{Z})$와 $V(n)^n$이 코호몰로지 위에 작용하는 자동형사상으로서의 역할을 규명하며, $K$-이론 분류와 연결된 동형 불변량을 제공한다.

ABSTRACT

We compute the two-cocycles (or multipliers) of the free nilpotent groups of class $2$ and rank $n$ and give conditions for simplicity of the corresponding twisted group $C^*$-algebras. These groups are representation groups for $\mathbb{Z}^n$ and can be considered as a family of generalized Heisenberg groups with higher-dimensional center. Their group $C^*$-algebras are in a natural way isomorphic to continuous fields over $\mathbb{T}^{\frac{1}{2}n(n-1)}$ with the noncommutative $n$-tori as fibers. In this way, the twisted group $C^*$-algebras associated with the free nilpotent groups of class $2$ and rank $n$ may be thought of as "second order" noncommutative $n$-tori.

연구 동기 및 목표

• 자유 노름군 $G(n)$의 계수 2와 랭크 $n$에 대해 두 번째 코호몰로지 군 $H^2(G(n), \mathbb{T})$를 계산한다.
• 특정 두 코호몰로지 $\sigma$에 대응하는 날카로운 군 $C^*$-대수 $C^*(G(n), \sigma)$의 구조를 규명하며, 특히 그들의 단순성을 특성화한다.
• $\mathrm{Aut}(G(n))$가 $H^2(G(n), \mathbb{T})$ 위에 작용하는 방식을 묘사하고, 날카로운 $C^*$-대수의 동형 불변량을 유도한다.
• $C^*(G(n), \sigma)$가 비가환 $n$-토러스를 섬유로 가지며 $\mathbb{T}^{n(n-1)/2}$ 위의 연속적 장으로 표현될 수 있으며, 이는 헤이젠베르크 군의 경우를 일반화한다.

제안 방법

• 군 $G(n)$을 준직접곱으로 분해하여 매크시의 유도 표현 기법을 두 코호몰로지 계산에 적용한다.
• 행렬 $T \in \mathrm{Mat}_{n \times n}(\mathbb{Z})$를 통해 두 코호몰로지를 명시적으로 매개변수화하며, $T_{jk} = -T_{kj}$ 조건을 만족시켜 $H^2(G(n), \mathbb{T}) \cong \mathbb{T}^{n(n-1)(n+1)/6}$를 도출한다.
• 일반화된 $C^*$-대수로서 $C^*(G(n), \sigma)$를 유니터리 원소들로 생성되며, $\sigma$를 포함하는 특정 교환관계를 만족시키며, 그 관계는 군의 구조에서 유도된다.
• $C^*(G(n), \sigma)$가 $H^2(G(n), \mathbb{T}) \cong \mathbb{T}^{n(n-1)(n+1)/6}$ 위의 연속적 장과 동형이며, 섬유로 비가환 $n$-토러스를 가짐을 증명한다.
• $\mathrm{GL}(n,\mathbb{Z})$가 $H^2(G(n), \mathbb{T})$ 위에 작용하는 방식을 분석하며, $A \mapsto \widetilde{A}$로 정의된 사상에서 $\widetilde{A}_{jk,lm} = \det\begin{pmatrix} a_{jk} & a_{jl} \\ a_{lk} & a_{ll} \end{pmatrix}$이며, $\varphi \in V(n)^n$에 대해 $\sigma_\varphi \sim \sigma$임을 증명함으로써, 유니포텐트 부분군의 작용이 자명하다는 것을 보인다.
• 패커와 레버너의 동치와 $K$-이론 결과를 적용하여 $K_i(C^*(G(n), \sigma)) \cong K^{i + n(n-1)/2}_{\text{top}}(G(n,\mathbb{R})/G(n))$를 도출하고, 이로써 $C^*(G(n), \sigma)$가 UCT 클래스 내에서 분류됨을 보인다.

실험 결과

연구 질문

• RQ1 자유 노름군 $G(n)$의 계수 2와 랭크 $n$에 대해 두 번째 코호몰로지 군 $H^2(G(n), \mathbb{T})$의 구조는 무엇인가?
• RQ2 날카로운 군 $C^*$-대수 $C^*(G(n), \sigma)$가 단순해지기 위한 조건은 무엇인가?
• RQ3 $\mathrm{Aut}(G(n))$가 $H^2(G(n), \mathbb{T})$ 위에 어떻게 작용하며, 그로 인해 유도되는 $C^*(G(n), \sigma)$의 동형 불변량은 무엇인가?
• RQ4 $C^*(G(n), \sigma)$는 비가환 $n$-토러스를 섬유로 가지며 $\mathbb{T}^{n(n-1)/2}$ 위의 연속적 장으로 표현될 수 있는가? 이는 헤이젠베르크 군의 경우를 어떻게 일반화하는가?
• RQ5 $C^*$-대수 $C^*(G(n), \sigma)$는 $K$-이론으로 분류될 수 있는가? 그리고 보편 계수 정리(UCT)는 이 분류 과정에서 어떤 역할을 하는가?

주요 결과

• 두 번째 코호몰로지 군은 $H^2(G(n), \mathbb{T}) \cong \mathbb{T}^{n(n-1)(n+1)/6}$로 계산되며, $n \times n$ 크기의 반대칭 정수 행렬을 통해 두 코호몰로지를 명시적으로 매개변수화한다.
• 날카로운 군 $C^*(G(n), \sigma)$는 비가환 $n$-토러스를 섬유로 가지며 $\mathbb{T}^{n(n-1)/2}$ 위의 연속적 장과 동형이며, 이는 헤이젠베르크 군의 경우를 일반화한다.
• 단순성 조건은 $C^*$-대수 $C^*(G(n), \sigma)$가 단순해지기 위한 필요충분조건으로, 관련 행렬 $T$가 정점 수 $n$을 가질 때 성립하며, 이는 비자명한 중심적 $\sigma$-정규 원소가 존재하지 않음을 보장한다.
• $V(n)^n \subset \mathrm{Aut}(G(n))$가 $H^2(G(n), \mathbb{T})$ 위에 작용하는 것은 자명하며, 모든 $\varphi \in V(n)^n$에 대해 $\sigma_\varphi \sim \sigma$이므로, 이 부분군은 동형류를 구별하지 못한다.
• $\mathrm{GL}(n,\mathbb{Z})$-작용은 $A \cdot T = A T \widetilde{A}$로 주어지며, $A \cdot T = T'$이면 $C^*(G(n), \sigma) \cong C^*(G(n), \sigma')$임을 보여, 이는 동형의 충분조건을 제공한다.
• $n=2$의 경우 $\mathrm{GL}(2,\mathbb{Z})$-작용이 동형류를 분류하는 데 충분하지만, $n \geq 3$의 경우 궤도가 동형류를 분류하는지 여부는 여전히 열려있다.