[논문 리뷰] The algebra generated by idempotents in a Fourier-Stieltjes algebra

Monica Ilie, Nico Spronk|ArXiv.org|2005. 10. 24.

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

한 줄 요약

이 논문은 국소 콪군 $G$의 푸리에-스틸티jes 대수에서의 등幂 원소들의 닫힌 선형 쌍법을 포함하는 대수 $\mathrm{B}_I(G)$를 도입하고, 이 대수가 $G$의 '등幂 컴acts화' $G^I$인 스펙트럼을 가진 정규 바나흐 대수임을 보여준다. 핵심 결과는 $\mathrm{B}_I(G) \cong \mathrm{B}_I(H)$가 완전 등거리적으로 동형임과 동시에 $G/G_e \cong H/H_e$이 되는 것과 동치임을 보여준다. 여기서 $G_e$와 $H_e$는 각각 $G$와 $H$의 항등원의 연결 성분이다.

ABSTRACT

We study the closed algebra B_I(G) generated by the idempotents in the Fourier-Stieltjes algebra of a locally compact group G. We show that it is a regular Banach algebra with computable spectrum G^I, which we call the idempotent compactification of G. For any locally compact groups G and H, we show that B_I(G) is completely isometrically isomorphic to B_I(H) exactly when G/G_e= H/H_e, where G_e and H_e are the connected components of the identities. We compute some examples to illustrate out results.

연구 동기 및 목표

• 국소 콪군 $G$의 푸리에-스틸티제스 대수 $\mathrm{B}(G)$에서 등幂 원소들에 의해 생성되는 닫힌 부분대수 $\mathrm{B}_I(G)$를 특성화하는 것.
• 스펙트럼 $\mathrm{B}_I(G)$를 위상적으로 기술하고, 이가 군의 구조적 의미에서 어떤지를 밝혀내는 것.
• $\mathrm{B}_I(G)$와 $\mathrm{B}_I(H)$가 완전 등거리적으로 동형임을 판별하는 조건을 규명하는 것.
• 특히 항등원의 연결 성분의 역할을 중심으로, 군의 위상과 몫을 통한 $\mathrm{B}_I(G)$의 구조 분석.
• $\mathbb{Z}^2$, $\mathbb{Q}$, 자유군 등의 구체적 예를 계산하여 일반 이론과 등幂 컴acts화의 행동을 설명하는 것.

제안 방법

• 저자들은 $\mathrm{B}_I(G)$를 $\mathrm{B}(G)$ 내에서 모든 등幂 원소들의 선형 쌍법의 노름 닫힘으로 정의한다. 이 등幂 원소들은 $\mathrm{B}(G)$의 원소로서 정확히 열린 쌍법의 특성 함수 $1_Y$ ($Y \in \Omega_o(G)$)이다.
• 그들은 $G$ 위의 위상 $\tau$ 이론을 사용하며, 이는 완비화 $G_\tau$가 국소 콱군이 되는 조건을 만족한다. 이를 모아서 $\mathcal{T}(G)$로 표기하고, 비 몫 위상들로 이루어진 부분집합인 $\mathcal{T}_{nq}(G)$에 집중한다.
• 각 $\tau \in \mathcal{T}_{nq}(G)$에 대해, 단위 표현 $\lambda_\tau = \lambda_{G_\tau} \circ \eta_\tau$의 행렬 계수들로 구성된 부분대수 $\mathrm{A}_\tau(G) \subset \mathrm{B}(G)$를 정의하고, 이를 통해 $\mathrm{B}_I(G)$를 $\Omega_o(G)$의 원소들에 대한 특성 함수들의 닫힌 스펙트럼으로 기술한다.
• 등幂 컴acts화 $G^I$를 $\mathrm{B}_I(G)$의 스펙트럼으로 정의하고, 이가 닫힌 하우스도르프 위상공간이며 대수를 분류하는 데 기여함을 보여준다.
• 등급 $\mathrm{B}_I(G)$는 $G$의 항등원의 연결 성분에 대한 몫만에 의존하므로, $\mathrm{B}_I(G) \cong \mathrm{B}_I(H)$가 완전 등거리적으로 동형임과 동시에 $G/G_e \cong H/H_e$임이 동치임을 증명한다.
• 특히 $\mathbb{Z}^2$, $\mathbb{Q}$, $\mathrm{F}_\infty$ 등의 예를 계산하며, $\mathcal{T}_{nq}^{td}(G)$ 내의 위상의 반순서 구조를 활용한다.

실험 결과

연구 질문

• RQ1 국소 콱군 $G$의 푸리에-스틸티제스 대수 $\mathrm{B}(G)$에서 등幂 원소들에 의해 생성되는 닫힌 부분대수 $\mathrm{B}_I(G)$의 구조는 어떻게 되는가?
• RQ2 스펙트럼 $\mathrm{B}_I(G)$는 위상적으로 어떻게 기술할 수 있으며, 군의 구조적 의미에서 어떤가?
• RQ3 두 국소 콱군 $G$와 $H$에 대해, 대수 $\mathrm{B}_I(G)$와 $\mathrm{B}_I(H)$가 완전 등거리적으로 동형임을 판별하는 조건은 무엇인가?
• RQ4 등幂 컴acts화 $G^I$는 군의 위상, 특히 항등원의 연결 성분과 어떻게 관련되어 있는가?
• RQ5 $\mathbb{Z}^2$, $\mathbb{Q}$, 자유군 등의 특정 군들에 대해 $\mathrm{B}_I(G)$의 명시적 기술은 무엇인가?

주요 결과

• 대수 $\mathrm{B}_I(G)$는 $G$의 '등幂 컴acts화' $G^I$인 스펙트럼을 가지며, 이는 닫힌 하우스도르프 위상공간으로서 $\mathrm{B}_I(G)$의 닫힌 아이디얼을 매개변수화한다. 이 대수는 정규 바나흐 대수이다.
• 대수 $\mathrm{B}_I(G)$는 $G/G_e \cong H/H_e$이면 완전 등거리적으로 $\mathrm{B}_I(H)$와 동형이 되며, 그 역도 성립한다. 여기서 $G_e$와 $H_e$는 각각 $G$와 $H$의 항등원의 연결 성분이다.
• $\mathbb{Z}^2$의 경우, $\mathcal{T}_{nq}^{td}(\mathbb{Z}^2)$는 위상 $\tau_{td}$, $\tau_\theta \vee \tau_{td}$, $\tau_d$로 이루어져 있으며, $\tan\theta \in \mathbb{Q} \cup \{\infty\}$인 $\theta$에 대해 정의된다. 이에 따라 $\mathrm{A}_{\tau_{\theta} \vee \tau_{td}}(\mathbb{Z}^2)$는 무한 차수의 무한 부분군 $H \leq \mathbb{Z}^2$에 대한 모든 등幂 원소 $1_H$를 포함한다.
• $\mathbb{Q}$의 경우, 전체 분리 부분 $\mathcal{T}_{nq}^{td}(\mathbb{Q})$는 단일 원소이므로 $\mathbb{Q}^{td}$는 자명하고, $\mathbb{Q}^{ap} \cong \widehat{\widehat{\mathbb{Q}}_d} \cong \widehat{\mathbb{Q}}^{\mathfrak{c}}$는 연결되어 있으므로 $\mathbb{Q}^{td}$는 자명하다.
• $\mathrm{B}_I(\mathbb{Z})$는 $\ell^1(\mathbb{Z}) \oplus_{\ell^1} \mathrm{L}^1(\mathbb{T})$와 동형이며, 이는 $\mathrm{B}(\mathbb{Z}) \cong \mathrm{M}(\mathbb{T})$의 푸리에-스틸티제스 변환에서 유래된다. 여기서 등幂 측도는 $\ell^1(\mathrm{t}(\mathbb{T})) \oplus_{\ell^1} \mathrm{L}^1(\mathbb{T})$에 대응한다.
• $\mathrm{F}_\infty$의 경우, $\mathcal{T}_{nq}^{td}(\mathrm{F}_\infty)$는 크고, 모든 분리 가능한 분리 위상군은 $\mathrm{F}_\infty^{td}$의 몫으로 나타나므로, 위상과 이에 대응하는 대수의 풍부한 구조를 시사한다.