[논문 리뷰] The $C^*$-algebras of quantum lens and weighted projective spaces

Tomasz Brzeziński, Wojciech Szymański|arXiv (Cornell University)|2016. 03. 14.

Advanced Operator Algebra Research인용 수 1

한 줄 요약

이 논문은 연속 함수의 C*-대수인 양자 렌즈 공간과 양자 가중 프로젝티브 공간의 C*-대수들이 그래프 C*-대수임을 규명하며, 이로 인해 그들의 K-이론을 명시적으로 계산할 수 있게 되었다. 양자 구면의 그래프와 정수로 가중된 순환군 작용으로부터 스칼라곱 그래프를 구성함으로써, 일반적인 가중치에 대해 K-군을 도출하였으며, 양자 가중 프로젝티브 공간이 K₀가 Z^{1+∑mi}와 동형이고 K₁가 자명한 AF 대수임을 보였다. 이는 약간의 공약수 조건 하에서 성립한다.

ABSTRACT

It is shown that the algebra of continuous functions on the quantum $2n+1$-dimensional lens space $C(L^{2n+1}_q(N; m_0,\ldots, m_n))$ is a graph $C^*$-algebra, for arbitrary positive weights $ m_0,\ldots, m_n$. The form of the corresponding graph is determined from the skew product of the graph which defines the algebra of continuous functions on the quantum sphere $S_q^{2n+1}$ and the cyclic group $\mathbb{Z}_N$, with the labelling induced by the weights. Based on this description, the K-groups of specific examples are computed. Furthermore, the K-groups of the algebras of continuous functions on quantum weighted projective spaces $C(\mathbb{WP}_q^n(m_0,\ldots, m_n))$, interpreted as fixed points under the circle action on $C(S_q^{2n+1})$, are computed under a mild assumption on the weights.

연구 동기 및 목표

• . 이 논문은 양자 렌즈 공간과 가중 프로젝티브 공간의 C*-대수들이 그래프 C*-대수로 특성화되도록 하려 한다.
• . 이 대수들의 K-이론을 계산하고자 하며, 이는 가중치가 군의 순서와 서로소일 필요가 없도록 한다.
• . 그래프 C*-대수 프레임워크를 특이한 양자 렌즈 공간으로까지 확장하고자 한다.
• . K-이론적 불변량을 통해 양자 오르비폭의 비환원 위상수학을 명확히 하고자 한다.
• . 일반적인 가중치 조건 하에서 양자 가중 프로젝티브 공간의 구조적 및 K-이론적 성질을 연구하고자 한다.

제안 방법

• . 저자들은 표준 그래프 L2n+1를 사용하여 양자 구면의 C*-대수를 그래프 C*-대수로 식별한다.
• . 정수로 가중된 ZN 군 작용을 그래프 C*-대수로 확장하기 위해 가중 스칼라곱 그래프 L2n+1 ×cZN을 정의한다.
• . Crisp의 그래프 C*-대수 위의 군 작용 결과를 활용하여, 군 작용에 대한 고정점 대수와 스칼라곱 그래프의 그래프 C*-대수가 서로미분형임을 보인다.
• . 구성은 가중치가 군의 순서에 대해 모듈로로 정의되므로, 공약수 조건 없이 일반적인 가중치를 허용한다.
• . 그래프의 구조에 대한 정확한 수열과 귀납적 추론을 통해 K-이론을 계산한다.
• . 양자 가중 프로젝티브 공간 대수와 그래프 C*-대수 사이의 동형을 이용하여 K-군을 명시적으로 유도한다.

실험 결과

연구 질문

• RQ1 . 임의의 양수 가중치에 대해, 양자 렌즈 공간 C(L2n+1q(N;m0,...,mn)) 위의 연속 함수의 C*-대수를 그래프 C*-대수로 표현할 수 있는가?
• RQ2 . 가중치와 군의 순서 사이의 공약수 조건에 관계없이, 양자 가중 프로젝티브 공간의 K-이론이 통일된 기술을 갖는가?
• RQ3 . 가중치가 부여된 스칼라곱 그래프 구성은 원환면 작용이 양자 구면 위에 작용할 때의 고정점 대수를 어떻게 포괄하는가?
• RQ4 . 각 가중치에 대해 이전의 가중치와 공약수 조건을 만족하는 것이 존재할 조건 하에서, 양자 가중 프로젝티브 공간의 K-이론은 어떻게 되는가?
• RQ5 . 그래프 C*-대수 프레임워크는 특이한(비자유) 경우인 양자 오르비폭의 K₀ 및 K₁ 군을 계산하는 데 사용될 수 있는가?

주요 결과

• . 양자 렌즈 공간 C(L2n+1q(N;m0,...,mn)) 위의 연속 함수의 C*-대수는 임의의 양수 가중치 m0,...,mn에 대해 그래프 C*-대수와 동형이다.
• . 양자 가중 프로젝티브 공간 C(WPnq(m0,...,mn))의 K₀ 군은 조건이 만족될 경우, 즉 각 j ≥1에 대해 i < j 이면서 gcd(mi,mj)=1 인 mi 가 존재할 경우, Z^{1+∑_{i=0}^n mi}와 동형이다.
• . 동일한 대수의 K₁ 군은 자명하다. 즉, K1(C(WPnq(m))) = 0 이다.
• . 양자 가중 프로젝티브 선 WP1q(m0,m1)의 경우, 대수는 AF 대수이며 K₀ ≅ Z^{1 + m1/gcd(m0,m1)} 이고 K₁ = 0 이다.
• . 논문은 짧은 정확한 수열 0 → K_{m1/gcd(m0,m1)} → C(WP1q(m)) → C → 0 을 확립하여 AF 구조를 확인한다.
• . 동형 C(WPnq(m)) ≅ C*(L2n+1)̺m 을 통해, 정확한 수열과 이상 구조 분석을 통한 K-이론의 귀납적 계산이 가능하다.