[논문 리뷰] Bounds for the rank of the finite part of operator $K$-Theory

Süleyman Kağan Samurkaş|arXiv (Cornell University)|2017. 05. 21.

Advanced Operator Algebra Research인용 수 1

한 줄 요약

이 논문은 유한 생성 군의 최대 및 축소 C*-대수에서 연산자 K-이론 군의 유한 부분의 질량에 대한 날카로운 하한과 상한을 확립한다. 유한체적 아벨 군을 포함하는 '다항식으로 포화된 군'이라는 클래스를 도입하여, 이들 군에서는 하한과 상한이 일치하고, 공액류 구조와 오일러의 타우 함수를 통해 아벨 군, 대칭 군, 딜레할 군에서 질량의 명시적 공식을 유도한다.

ABSTRACT

We derive a lower and an upper bound for the rank of the finite part of operator $K$-theory groups of maximal and reduced $C^*$-algebras of finitely generated groups. The lower bound is based on the amount of polynomially growing conjugacy classes of finite order elements in the group. The upper bound is based on the amount of torsion elements in the group. We use the lower bound to give lower bounds for the structure group $S(M)$ and the group of positive scalar curvature metrics $P(M)$ for an oriented manifold $M$. We define a class of groups called "polynomially full groups" for which the upper bound and the lower bound we derive are the same. We show that the class of polynomially full groups contains all virtually nilpotent groups. As example, we give explicit formulas for the ranks of the finite parts of operator $K$-theory groups for the finitely generated abelian groups, the symmetric groups and the dihedral groups.

연구 동기 및 목표

• 최대 및 축소 C*-대수에서 유한 생성 군의 연산자 K-이론 군의 유한 부분의 질량에 대한 하한과 상한을 유도하는 것.
• 이 경계들을 응용하여, 컴acts oriented 다성분 M 위의 구조 군 S(M)와 양의 스칼라 곡률 메트릭의 군 P(M)의 구조를 연구하는 것.
• 하한과 상한이 일치하는 군, 즉 '다항식으로 포화된 군'을 정의하고 특성화하는 것.
• 특정 군의 클래스, 특히 아벨 군, 대칭 군, 딜레할 군에서 K-이론의 유한 부분의 질량에 대한 명시적 공식을 계산하는 것.
• K₀(C*G) 내 선형 독립인 프로젝션들이 어셈블리 맵의 상과 자명하게 교차할 조건을 확립하여, S(M)와 P(M)에 대한 하한을 도출하는 것.

제안 방법

• g ∼fin h일 때 pg와 ph가 C*G에서 공액임을 조건으로 하여, 유한 차수 원소들의 동치류 수 FG를 정의한다.
• 군 대수 요소에 대한 트레이스 사상 τh: CG → ℂ를 정의하고, 이를 C*rG의 매끄러운 밀집 부분대수 A ⊆ C*rG로 확장하여, ρi: K₀(C*G) → ℂ의 호모모피즘을 유도한다.
• CG의 완비화에 대해 연속성과 매끄러움을 보장하는 세미노름에 대해 τh를 업그레이드하여, A로의 확장을 가능하게 한다.
• K₀(C*G) 내 {pg}g∈S의 선형 독립성은 ρi에 의한 그들의 상의 선형 독립성에 의해 유도되며, 이러한 트레이스 확장의 존재가 필요하다.
• 순서 d를 갖는 원소들에 대해 ∼d를 정의한다. g ∼d h일 때 어떤 a ∈ ℕ에 대해 ga ∈ C(h)를 만족한다. 이를 통해 |Gfin_d / ∼d|를 계산하고, FG = Σd≥1 |Gfin_d / ∼d|를 도출한다.
• 다항식으로 포화된 군에서 Kfin₀(C*G)의 질량에 대한 하한과 상한이 일치함을 증명하고, 유한체적 아벨 군이 다항식으로 포화된 군임을 보인다.

실험 결과

연구 질문

• RQ1 군론적 불변량을 기반으로 하여, Kfin₀(C*G)의 질량에 대한 날카로운 하한과 상한는 무엇인가?
• RQ2 K-이론의 유한 부분의 질량에 대한 하한과 상한이 일치하는 군의 어떤 클래스가 존재하는가?
• RQ3 K-이론 원소를 통해 다성분 M 위의 구조 군 S(M)와 양의 스칼라 곡률 메트릭의 군 P(M)를 어떻게 하한으로 제한할 수 있는가?
• RQ4 유한 생성 아벨 군, 대칭 군, 딜레할 군과 같은 특정 군에서 FG에 대한 명시적 공식을 어떻게 도출할 수 있는가?
• RQ5 CG 위의 트레이스 사상이 C*rG의 매끄러운 부분대수로 어떻게 확장되어 K₀(C*G) 내 선형 독립성을 감지할 수 있는가?

주요 결과

• Kfin₀(C*G)의 질량에 대한 하한은 ∼d-동치류의 수에 기반하여 FG = Σd≥1 |Gfin_d / ∼d|로 주어진다.
• Kfin₀(C*G)의 질량에 대한 상한 역시 FG이므로, 다항식으로 포화된 군에서는 질량이 정확히 FG임을 보여준다.
• G = ℤ/n₁ × ⋯ × ℤ/nₖ일 때, FG = Σ_{d₁|n₁}⋯Σ_{dₖ|nₖ} φ(d₁)⋯φ(dₖ)/φ(lcm(d₁,…,dₖ))이며, 여기서 φ는 오일러의 타우 함수이다.
• G = ℤ/n₁ × ⋯ × ℤ/nₖ × ℤ^m일 때, FG는 유한 아벨 군의 경우와 동일한 공식으로 주어진다. 이는 토퍼스 원소가 유한 부분에 의해 결정되기 때문이다.
• 디릴레 군 Dₙ에 대해, n이 홀수이면 FG = Fℤ/n + 1, n이 짝수이면 FG = Fℤ/n + 2이며, 여기서 Fℤ/n은 n의 약수의 수이다.
• 대칭 군 Sₙ에 대해, FG는 Sₙ 내 공액류의 수와 같다. 이 경우 ∼fin은 공액류와 일치하기 때문이다.