[논문 리뷰] Simplicity of reduced group Banach algebras

N. Christopher Phillips|arXiv (Cornell University)|2019. 09. 25.

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

한 줄 요약

이 논문은 바나흐 공간의 보간과 Kalantar-Kennedy 및 Haagerup의 결과를 활용하여 이산군과 관련된 축소된 군 바나흐 대수의 단순성과 유일한 추적 성질을 확립한다. 만약 축소된 C*-대수 $ C^*_{\text{r}}(G) $ 가 단순하다(또는 유일한 추적을 가진다)면, $ p \in (1,\infty) $ 에 대해 $ L^p $-유사체인 $ F^p_{\text{r}}(G) $ 와 그 *-대수 $ B^{p,*}_{\text{r}}(G) $ 도 역시 단순하다(또는 유일한 추적을 가진다)는 것을 증명한다. 이 결과는 $ G $ 가 가산일 경우 반사적 올록스 및 로렌츠 수열 공간으로까지 확장된다.

ABSTRACT

Let G be a discrete group. Suppose that the reduced group C*-algebra of G is simple. We use results of Kalantar-Kennedy and Haagerup, and Banach space interpolation, to prove that, for p in (1,infinity), the reduced group L^p operator algebra F^p_r(G) and its *-analog B^{p,*}_r(G) are simple. If G is countable, we prove that the Banach algebras generated by the left regular representations on reflexive Orlicz sequence spaces and certain Lorentz sequence spaces are also simple. We prove analogous results with simplicity replaced by the unique trace property. For use in the Orlicz sequence space case, we prove that if p is in (1,infinity), then any reflexive Orlicz sequence space is isomorphic (not necessarily isometrically) to a space gotten by interpolation between l^p and some other Orlicz sequence space.

연구 동기 및 목표

• 축소된 군 C*-대수의 단순성과 유일한 추적 성질을 $ p \in (1,\infty) $ 에 대해 $ L^p $-유사체 바나흐 대수로 확장하는 것.
• 반사적 올록스 수열 공간과 로렌츠 수열 공간에서의 왼쪽 정규 표현에 의해 생성된 대수의 성질을 확립하는 것.
• 바나흐 공간 보간을 통한 일반적 프레임워크를 제공하여 $ C^*_{\text{r}}(G) $ 에서의 단순성과 추적 성질을 다른 군 바나흐 대수로 이행시키는 것.
• 모든 반사적 올록스 수열 공간이 $ \ell^p $ 와 다른 올록스 수열 공간 사이의 보간 공간과 동형임을 보여주는 것, 이를 통해 보간 기법을 적용할 수 있도록 하는 것.

제안 방법

• 보간된 공간들 사이에서 연산자 노름을 추정하기 위해 바나흐 공간 보간, 특히 Riesz-Thorin 정리와 일반화된 보간 정리들을 활용한다.
• 단순성의 핵심 기준으로서 Powers 성질(정의 2.1)을 적용하여 표현에서 군 원소의 볼록 조합의 노름이 작음을 보인다.
• 유일한 추적 성질을 분석하기 위해 $ g $-Powers 성질(정의 3.1)을 사용하여 $ C^*_{\text{r}}(G) $ 에서 $ F^p_{\text{r}}(G) $ 와 $ B^{p,*}_{\text{r}}(G) $ 로 확장한다.
• 로렌츠 수열 공간 $ l^{p,r}(G) $ 와 보간 공간 $ d^{\beta,r}(G) $ 를 연결하기 위해 특별한 수열 $ \beta_n = n^{r/p} - (n-1)^{r/p} $ 을 구성한다.
• 문헌 [4, 정리 1.4.19] 의 보간 정리를 활용하여 $ \theta = 1/2 $ 인 경우의 노름 추정식 $ \|T\|_{p,r} \leq R \|T\|_{p_0}^{1-\theta} \|T\|_{p_1}^{\theta} $ 을 유도함으로써 Powers 성질의 이행을 가능하게 한다.
• Kalantar-Kennedy 및 Haagerup의 결과를 포함한 $ C^*_{\text{r}}(G) $ 의 알려진 성질들을 바탕으로, $ F^p_{\text{r}}(G) $ 와 $ B^{p,*}_{\text{r}}(G) $ 로의 단순성 전이를 수행한다.

실험 결과

연구 질문

• RQ1 만약 $ C^*_{\text{r}}(G) $ 가 단순하다면, $ p \in (1,\infty) $ 에 대해 축소된 $ L^p $ 연산자 대수 $ F^p_{\text{r}}(G) $ 도 단순한가?
• RQ2 $ C^*_{\text{r}}(G) $ 의 유일한 추적 성질이 $ F^p_{\text{r}}(G) $ 와 $ B^{p,*}_{\text{r}}(G) $ 로까지 확장될 수 있는가?
• RQ3 만약 $ G $ 가 가산적이라면, 반사적 올록스 수열 공간에서의 왼쪽 정규 표현에 의해 생성된 바나흐 대수는 단순한가?
• RQ4 로렌츠 수열 공간 $ l^{p,r}(G) $ 에서 $ 1 < r < p < \infty $ 일 때, 동일한 단순성과 추적 성질이 유지되는가?
• RQ5 모든 반사적 올록스 수열 공간은 $ \ell^p $ 와 다른 올록스 수열 공간 사이의 보간 공간과 동형인가?

주요 결과

• 만약 $ C^*_{\text{r}}(G) $ 가 단순하다면, 보간과 Powers 성질을 통해 모든 $ p \in (1,\infty) $ 에 대해 $ F^p_{\text{r}}(G) $ 도 단순하다.
• 만약 $ C^*_{\text{r}}(G) $ 가 유일한 추적 상태를 가진다면, 모든 $ p \in (1,\infty) $ 에 대해 $ F^p_{\text{r}}(G) $ 는 유일한 단위 추적을 가진다.
• 모든 가산군 $ G $ 에 대해, $ 1 < r < p < \infty $ 인 로렌츠 수열 공간 $ l^{p,r}(G) $ 와 관련된 대수 $ F^p_{\text{r}}(G) $ 는 $ C^*_{\text{r}}(G) $ 가 단순하다면 단순하다.
• $ C^*_{\text{r}}(G) $ 가 단순하다면 $ B^{p,*}_{\text{r}}(G) $ 도 단순하며, $ C^*_{\text{r}}(G) $ 가 유일한 추적 상태를 가진다면 $ B^{p,*}_{\text{r}}(G) $ 도 유일한 단위 추적을 가진다.
• 모든 반사적 올록스 수열 공간은 $ p \in (1,\infty) $ 에 대해 $ \ell^p $ 와 다른 올록스 수열 공간 사이의 보간 공간과 동형이다(등장은 반드시 등장은 아님).
• $ p \in (1,\infty) $, $ r \in (1,p) $, $ \beta_n = n^{r/p} - (n-1)^{r/p} $ 일 때, 공간 $ d^{\beta,r}(G) $ 는 $ l^{p,r}(G) $ 와 일치하며, 노름은 $ \|\xi\|_{p,r} = (p/r)^{1/r} \|\xi\|_{\beta,r} $ 를 만족한다.