[논문 리뷰] Properness conditions for actions and coactions

S. Kaliszewski, Magnus B. Landstad외 1명|arXiv (Cornell University)|2015. 04. 14.

Advanced Operator Algebra Research참고 문헌 23인용 수 4

한 줄 요약

이 논문은 C*-대수 위의 작용과 코작용에 대해 s-적절, w-적절, 점별 적절이라는 세 가지 적절성 조건을 도입하고 분석하며, 위상수학적 역학에서의 고전적 개념을 일반화한다. w-적절성은 계수 함수가 C₀(G)에 속한다는 것을 보이며, 가산기수 공간에 대해 점별 적절한 작용은 전체 및 축소된 교차곱을 동형으로 이어진다는 것을 증명한다. 주요 기여는 푸리에-스틸티jes 대수 B(G)의 큰 아이디얼과 교차곱 안의 작은 아이디얼 사이의 갈로아 대응으로, 이는 이국적 교차곱을 코작용의 적절성과 연결한다.

ABSTRACT

Three properness conditions for actions of locally compact groups on C*-algebras are studied, as well as their dual analogues for coactions. To motivate the properness conditions for actions, the commutative cases (actions on spaces) are surveyed; here the conditions are known: proper, locally proper, and pointwise properness, although the latter property has not been so well studied in the literature. The basic theory of these properness conditions is summarized, with somewhat more attention paid to pointwise properness. C*-characterizations of the properties are proved, and applications to C*-dynamical systems are examined. This paper is partially expository, but some of the results are believed to be new.

연구 동기 및 목표

• 군 작용의 고전적 적절성 조건—적절, 국소적 적절, 점별 적절—을 공간 위의 작용으로부터 C*-다이나믹스 시스템으로 일반화하기 위해.
• C*-공변 시스템에 대해 s-적절성과 w-적절성을 정의하고 연구하며, w-적절성이 새로운 초점이 되도록 하기 위해.
• 푸리에-스틸티제스 대수 B(G)의 큰 아이디얼과 교차곱 안의 작은 아이디얼 사이의 갈로아 대응을 수립하여, 이국적 교차곱의 분류를 가능하게 하기 위해.
• 바움-콘스 의문과 정확하고 모리타 호환 가능한 교차곱 함수자에 대한 이 적절성 조건의 역할을 조사하기 위해.
• 최소 정확하고 모리타 호환 가능한 교차곱 함수자 [BGW]가 어떤 큰 아이디얼 E ⊂ B(G)에 대해 E-교차곱으로 나타나는지 여부를 규명하기 위해.

제안 방법

• 모든 a, b ∈ A에 대해 g ↦ α_g(a)b가 C₀(G, A)에 속한다는 조건을 통해 s-적절성을 정의한다.
• 모든 a ∈ A와 φ ∈ A*에 대해 g ↦ φ(α_g(a))가 C₀(G)에 속한다는 조건을 통해 w-적절성을 정의한다.
• 국소적으로 컴acts한 하우스도르프 공간 위의 작용의 고전적 사례를 통해 C*-일반화의 동기를 제공하고 이를 정당화한다.
• 적절성과 코작용 사이의 이중성을 수립하며, 교차곱 위의 쌍대 코작용을 통해 개념을 코작용으로 확장한다.
• B(G)의 큰 아이디얼 E로부터 유도되는 아이디얼 J(E)를 사용하여 전체 교차곱의 몫으로서 E-교차곱을 구성한다. 이때 앙annihiator 구성 기법을 사용한다.
• w-적절성 하에서, E ↦ J(E)와 J ↦ E(J)를 통해 큰 아이디얼 E ⊂ B(G)와 작은 아이디얼 J ⊂ A 사이의 갈로아 대응을 증명하며, 상호 역 포함 관계를 보인다.

실험 결과

연구 질문

• RQ1 G-공간 X가 가산기수일 때, G-작용이 점별 적절하다면 C₀(X) ⋊_α G ≅ C₀(X) ⋊_α,r G가 성립하는가?
• RQ2 C*-공변 시스템 (A, G, α)의 w-적절성은 단위 코호몰로지의 계수 함수가 C₀(G)에 속한다는 것으로 특징지을 수 있는가?
• RQ3 w-적절 코작용 하에서, 푸리에-스틸티제스 대수 B(G)의 큰 아이디얼과 교차곱 대수 A ⋊ G의 작은 아이디얼 사이에 갈로아 대응이 존재하는가?
• RQ4 모든 이국적 교차곱은 어떤 큰 아이디얼 E ⊂ B(G)에 대해 B ⋊_α,E G 형태로 표현되는가, 아니면 예외가 존재하는가?
• RQ5 최소 정확하고 모리타 호환 가능한 교차곱 함수자 [BGW]는 어떤 큰 아이디얼 E ⊂ B(G)에 대해 E-교차곱과 동일한가?
• RQ6 리에플 및 다른 이들의 적분 가능성 조건은 일반적인 C*-다이나믹스 시스템에서 s-적절성 또는 w-적절성을 유도하는가?

주요 결과

• 가산기수인 G-공간 X에 대해, 작용이 점별 적절하다면 C₀(X) ⋊_α G ≅ C₀(X) ⋊_α,r G가 성립하며, 이는 고전적 결과의 확장이다.
• w-적절성은 임의의 표현 π와 단위 코호몰로지 (U_s)에 대해 π(α_s(a)) = U_s π(a) U_s*를 만족할 때, 계수 함수 s ↦ ⟨U_s ξ, η⟩가 C₀(G)에 속한다는 것을 의미한다.
• w-적절 코작용 하에서, B(G)의 큰 아이디얼 E ⊂ B(G)와 A의 작은 아이디얼 J ⊂ A 사이에 갈로아 대응이 존재한다. 이때 J = J(E), E = E(J)이며, E ⊂ E(J(E))와 J ⊂ J(E(J))를 만족한다.
• E-교차곱 구성(B ⋊_α,E G)은 [BGW]의 의미에서 교차곱 함수자를 제공하며, 자동으로 모리타 호환성을 가진다.
• 최소 정확하고 모리타 호환 가능한 교차곱 함수자 [BGW]는 어떤 큰 아이디얼 E에 대해서도 E-교차곱으로 표현되는지 알려져 있지 않지만, 추측으로서 존재한다.
• 반례들이 존재한다 (예: Buss–Echterhoff), 이에 따라 일부 이국적 교차곱은 E-교차곱이 아니지만, 아직까지는 기능적 실현 가능성은 배제하지 못한다.