[논문 리뷰] Fourier transforms of $C^*$-algebras of nilpotent Lie groups

Ingrid Beltiţă, Daniel Beltiţă외 1명|arXiv (Cornell University)|2014. 11. 12.

Advanced Operator Algebra Research참고 문헌 21인용 수 6

한 줄 요약

이 논문은 임의의 연결된 단순연결한 니이포텐트 리 군의 C*-대수에서 연산자 값 푸리에 변환의 상을 완전히 기술한다. 하우스도르프 스펙트럼과 자명한 캐논리컬 원소 C*-대수의 필드를 갖는 유한한 구성계열의 아이디얼을 구성하여, 푸리에 변환을 단위군 이중체 위의 조각 연속 연산자 필드의 C*-대수로 실현한다. 이는 연속적인 하향 부분군의 경계 행동에 의해 지배된다. 핵심 결과는 니이포텐트 군에 대한 푸리에 변환 상의 구조적 특성화이며, 고계수에서의 연속 추적 부분군과 3단계 니이포텐트 군의 비가чёт수 가족에 대해 딕스미에르-두아디 불변량이 0임을 포함한다.

ABSTRACT

For any nilpotent Lie group $G$ we provide a description of the image of its $C^*$-algebra through its operator-valued Fourier transform. Specifically, we show that $C^*(G)$ admits a finite composition series such that that the spectra of the corresponding quotients are Hausdorff sets in the relative topology, defined in terms of the fine stratification of the space of coadjoint orbits of $G$, and the canonical fields of elementary $C^*$-algebras defined by the successive subquotients are trivial. We give a description of the image of the Fourier transform as a $C^*$-algebra of piecewise continuous operator fields on the spectrum, determined by the boundary behavior of the restrictions of operator fields to the spectra of the subquotients in the composition series. For uncountable families of 3-step nilpotent Lie groups and also for a sequence of nilpotent Lie groups of arbitrarily high nilpotency step, we prove that every continuous trace subquotient of their $C^*$-algebras has its Dixmier-Douady invariant equal to zero.

연구 동기 및 목표

• 임의의 연결된 단순연결한 니이포텐트 리 군 G의 C*-대수에서 연산자 값 푸리에 변환의 상을 기술하는 것.
• C*-대수에서 두측 아이디얼의 유한한 구성계열을 확립하여, 연속적인 몫이 하우스도르프 스펙트럼과 자명한 캐논리컬 원소 C*-대수의 필드를 갖는 것.
• 푸리에 변환의 상을 단위군 이중체 위의 조각 연속 연산자 필드의 C*-대수로 특성화하는 것. 이는 구성계열의 연속적인 부분군 스펙트럼에서의 경계 행동에 의해 결정된다.
• 연속 추적 부분군이 비가산 3단계 니이포텐트 군의 가족과 임의로 높은 계수의 니이포텐트 군의 수열에 대해, C*(G)의 연속 추적 부분군의 딕스미에르-두아디 불변량이 0임을 증명하는 것.

제안 방법

• C*(G)에 닫힌 양측 아이디얼의 유한한 구성계열을 구성하여, 각 몫이 국소적으로 컴acts한, 반대칭 대수적 콘 유사 공간 Γj에 대해 C0(Γj, K(Hj))와 *-동형임을 보장한다.
• 공액동역의 캐논리컬 심플렉틱 좌표를 사용하여 리 대수 표현을 실현하고, 이를 전통적인 유도 표현 방법을 피하여 군 표현으로 통합한다.
• C*-대수 확장과 완전히 양성적인 사상의 성질을 활용하여 푸리에 변환 상의 구조를 분석한다.
• Γj의 분리합집합에서 단위군 이중체 Ĝ로의 연속 단사 사상 정의. 이는 각 Γj에서 위상동형이지만, 고차수 인덱스의 합집합에서의 상대적 조밀성으로 인해 전반적으로는 아님.
• 푸리에 변환의 상을 각 Γj에서 연속이고 Ĝ에서 조각 연속이며, 부분군 스펙트럼에서의 경계 극한에 의해 제어되는 연산자 필드의 C*-대수로 특성화한다.
• 노름 제어 이중 극한 기법과 적절히 수렴하는 표현의 수열의 극한 집합을 적용하여 연산자 필드 실현의 수렴성과 유일성을 분석한다.

실험 결과

연구 질문

• RQ1 일반적인 연결된 단순연결한 니이포텐트 리 군 G에 대해 C*(G)에서의 연산자 값 푸리에 변환의 상은 어떻게 기술할 수 있는가?
• RQ2 하우스도르프 스펙트럼과 자명한 캐논리컬 원소 C*-대수 필드를 갖는 유한한 아이디얼 구성계열을 통한 C*-대수 C*(G)는 어떤 구조적 성질을 갖는가?
• RQ3 구성계열에서 연속적인 부분군의 스펙트럼에 제한된 연산자 필드의 경계 행동과 푸리에 변환 상은 어떻게 관련되어 있는가?
• RQ4 비가산 3단계 니이포텐트 군의 가족과 임의로 높은 계수의 니이포텐트 군의 수열에 대해, C*(G)의 연속 추적 부분군의 딕스미에르-두아디 불변량은 무엇인가?
• RQ5 적절히 수렴하는 표현의 수열의 극한 집합은 연산자 필드 실현의 행동을 어느 정도 결정하는가?

주요 결과

• 임의의 연결된 단순연결한 니이포텐트 리 군 G의 C*-대수 C*(G)는 {0} = J0 ⊆ J1 ⊆ ⋯ ⊆ Jn = C*(G)의 유한한 구성계열을 갖는다. 각 몫 Jj/Jj−1는 국소적으로 컴팩트하고 반대칭 대수적 콘 Γj에 대해 C0(Γj, K(Hj))와 *-동형이다.
• 스펙트럼 Γj는 실수 반대칭 대수적 콘과 위상동형이며, Γ1은 일반적인 공액동역 궤도의 여차원에 해당하는 Rk의 자리지 열린 부분집합이다.
• 연속적인 몫의 스펙트럼 위에서의 캐논리컬 원소 C*-대수 필드는 자명하므로, 구성계열에서 특히 깔끔한 구조를 갖는다.
• 연산자 값 푸리에 변환의 상은 Ĝ 위의 조각 연속 연산자 필드의 C*-대수로 실현되며, 이는 부분군 스펙트럼 Γj에서의 경계 행동에 의해 연속성이 보장된다.
• 비가산 3단계 니이포텐트 리 군의 가족과 임의로 높은 계수의 니이포텐트 군의 수열에 대해, C*(G)의 모든 연속 추적 부분군은 딕스미에르-두아디 불변량이 0이다.
• 적절히 수렴하는 표현의 수열의 극한 집합은 연산자 필드 실현의 점근적 행동을 결정하며, 극한 집합이 동일한 것은 연산자 노름의 점근적 동치성과 동치이다.