[논문 리뷰] Smooth and non-smooth $AF$-algebras and problem on invariant measures

A. M. Vershik|arXiv (Cornell University)|2013. 04. 08.

Advanced Operator Algebra Research참고 문헌 5인용 수 11

한 줄 요약

이 논문은 AF 대수의 추적과 불변 측도의 구조에 기반하여 그들을 '완전히 매끄럽다' 또는 '완전히 비매끄럽다'로 분류하는 이분법을 제안한다. 매끄러운 AF 대수, 예를 들어 무한 대칭군의 군 대수와 같이, 기약 추적(에르고딕 불변 측도)에 대한 보렐 매개변수화를 허용하는 반면, 특정 국소 유한 아벨 군에서 유래한 비매끄러운 대수는 보렐 매개변수화가 없는 푸아젠 심플렉스의 구조를 가진다. 주요 기여는 가산 분배 격자(예: 고차원 양 그래프)의 하세 다이어그램에서 유래하는 모든 AF 대수는 완전히 매끄럽다라는 추측을 제기하는 것이다.

ABSTRACT

We separate the $AF$-algebras (correspondingly action of the countable groups on Cantor sets) onto two classes ---- "completely smooth" for which the set of all indecomposable traces (correspondingly list of all invariant ergodic measures) has nice parametrization, and the second class --- "completely non-smooth" for which the set of all traces (correspondingly set of all invariant measures) is Poulsen simplex and therefore there is no suitable parametrization of indecomposable traces, (ergodic measures) e.g.Choquet boundary. Important example of the first type of $AF$-algebra is group algebra of infinite symmetric group, and of the second type --- group algebra of some locally finite solvable group. The questions of recognition of those cases are closely related to the orbit theory of dynamical systems and theory of filtrations of sigma-fields in measure spaces and Borel spaces.

연구 동기 및 목표

• . AF 대수의 추적과 불변 측도의 구조에 기반하여 '완전히 매끄럽다' 또는 '완전히 비매끄럽다'로 분류하는 것을 목적으로 한다.
• . 기약 추적(에르고딕 불변 측도)의 집합이 보렐 매개변수화를 갖는 조건을 명확히 하는 것을 목적으로 한다.
• . 매끄럽거나 비매끄럽다의 이분법을 보렐 공간과 측도 공간에서의 궤도 이론 및 시그마 대수의 필터레이션과 연결하는 것을 목적으로 한다.
• . 고차원 양 그래프(Yₙ, n ≥ 3)와 관련된 AF 대수의 매끄러움에 대한 추측을 제안하고 그 동기를 부여하는 것을 목적으로 한다.
• . 필터레이션과 표준성의 관점에서 K-이론, 동역계 이론, 불변 측도를 연결하는 개념적 프레임워크를 제공하는 것을 목적으로 한다.

제안 방법

• . Bratteli 다이어그램에서의 중심 측도 개념과 AF 대수의 추적과의 대응을 사용한다.
• . 캄토르 공간에서의 尾 등가 관계와 관련된 필터레이션을 분석하여, 필터레이션의 표준성에 의해 매끄러움을 정의한다.
• . 서로 다른 Bratteli 다이어그램에서 유래한 필터레이션을 비교하기 위해 '간격이 있는 보렐 동치 관계'의 개념을 도입한다.
• . 감소하는 시그마 대수의 수열(필터레이션) 이론을 적용하여 표준(매끄럽다)과 비표준(비매끄럽다) 사례를 구분한다.
• . 분배 격자를 순서 집합의 아이디얼로 표현하기 위해 비르코프의 정리를 활용하여, 하세 다이어그램을 Bratteli 다이어그램으로 간주할 수 있도록 한다.
• . 가산 분배 격자의 하세 다이어그램에서 유래한 AF 대수(예: Yₙ)가 모두 완전히 매끄럽다라는 추측을 제기하며, 최소 아이디얼에 대한 빈도 벡터의 존재에 기반한다.

실험 결과

연구 질문

• RQ1 . 어떤 조건에서 AF 대수의 기약 추적 집합이 보렐 매개변수화를 갖는가?
• RQ2 . 캄토르 공간에서의 필터레이션의 표준성 또는 비표준성은 해당 AF 대수의 매끄러움 또는 비매끄러움과 어떻게 관련되는가?
• RQ3 . n차원 양 그래프(Yₙ, n ≥ 3)와 관련된 AF 대수는 n = 2일 때와 마찬가지로 완전히 매끄럽다 할 수 있는가?
• RQ4 . 국소 유한 군의 작용에 대한 불변 측도의 구조는 매끄럽거나 비매끄럽다의 이분법을 통해 분류될 수 있는가?
• RQ5 . 비매끄러운 AF 대수의 추적 분류에서 콜레주 경계와 푸아젠 심플렉스의 역할은 무엇인가?

주요 결과

• . 무한 대칭군의 군 대수는 완전히 매끄러운 AF 대수의 표준적 예로, 기약 추적은 토마 심플렉스에 의해 매개변수화된다.
• . 국소 유한 아벨 군에서 유래한 AF 대수는 완전히 비매끄러운 AF 대수의 표준적 예로, 추적의 집합은 푸아젠 심플렉스를 이룬다.
• . n = 2일 때, A(Y₂)의 매끄러움에 대한 추측은 참이며, 토마의 정리와 동치이다.
• . 추측은 가산 분배 격자의 하세 다이어그램에서 유래한 모든 AF 대수(예: n ≥ 3인 Yₙ)가 완전히 매끄럽다라고 주장한다.
• . 본 논문은 AF 대수의 추적 분류 문제와 고전 해석학에서의 푸리에 이중성 간의 개념적 이중성을 확립한다.
• . 기반 순서 집합의 최소 아이디얼에 대한 빈도 벡터의 존재는 매끄러움에 대한 추측을 증명하는 데 핵심적인 요소로 제안된다.