[논문 리뷰] Pseudo-amenability of Brandt semigroup algebras

Maysam Maysami Sadr|arXiv (Cornell University)|2019. 07. 29.

Advanced Algebra and Logic참고 문헌 8인용 수 10

한 줄 요약

이 논문은 이산군 $G$ 위에서 정의된 Brandt 반군 $S$에 대한 Banach 반군 대수 $\pi^1(S)$가, 인덱스 집합 $I$가 유한하거나 무한한지에 관계없이 군 $G$가 애매성(amenability)을 갖는 한 항상 가짜-애매성(pseudo-amenable)임을 증명한다. 증명은 $\ell^1(G)$의 유계 근사 대각선과 유한 부분집합에 대한 평균을 취하여 $\ell^1(T)\hat{\otimes}\ell^1(T)$ 내의 근사 대각선을 구성함으로써, 가짜-애매성의 모듈러 작용 및 노름 수렴 조건이 만족됨을 보여준다.

ABSTRACT

The pseudo-amenability of Brandt Banach semigroup algebras is considered.

연구 동기 및 목표

• 임의의 인덱스 집합 $I$에 대해 Brandt 반군 대수 $\ell^1(S)$의 가짜-애매성 조사.
• 군 $G$의 애매성이 $\ell^1(S)$의 가짜-애매성으로 이어지는지, $I$가 무한할 경우에도 성립하는지 규명.
• 이전의 $\ell^1(S)$의 애매성 및 근사 애매성 결과를 더 약한 개념인 가짜-애매성으로 확장.
• 군의 애매성과 반군 대수의 대수적 성질 간의 관계 명확화.

제안 방법

• 유한 부분집합 $F \subset I$와 $\ell^1(G)\hat{\otimes}\ell^1(G)$ 내의 유계 근사 대각선 $m_\lambda$에 대해 $E^{m_\lambda}_{(i,j,j,k)}$의 원소를 평균하여 $\ell^1(T)\hat{\otimes}\ell^1(T)$ 내의 넷 $(W_{F,\lambda})$를 구성.
• $\ell^1(S) \cong \ell^1(T) \oplus \mathbb{C}$의 식별을 통해 문제를 $\ell^1(T)$ 분석으로 환원하고, 레마 1과 짧은 정확수열의 분해를 활용.
• 모듈러 작용 공식 (2)와 (3)을 적용하여 $\delta_{(u,g,v)} \cdot W_{F,\lambda} - W_{F,\lambda} \cdot \delta_{(u,g,v)}$를 계산하고, $F$와 $I \setminus F$에 대한 분해를 통해 노름을 통제.
• 모든 $a \in \ell^1(T)$에 대해 $\|a \cdot W_{F,\lambda} - W_{F,\lambda} \cdot a\| \to 0$의 노름 수렴을 보이기 위해, $F \times F$, $F \times (I \setminus F)$, $(I \setminus F) \times F$ 항의 기여도를 $\|m_\lambda\|$의 균일한 유계성으로 제한.
• $\pi(W_{F,\lambda})a$를 $i \in F$와 $u \in I \setminus F$에 대한 성분으로 분해하고, 군 대수에서 $\pi(m_\lambda) \to 1$의 수렴을 이용하여 $\|\pi(W_{F,\lambda})a - a\| \to 0$를 증명.
• 군 $G$가 애매성일 경우 $\ell^1(T)$가 가짜-애매성임을 이용하고 레마 2를 적용하여 $\ell^1(S)$가 가짜-애매성임을 결론내림.

실험 결과

연구 질문

• RQ1 군 $G$의 애매성이 임의의 인덱스 집합 $I$에 대해 Brandt 반군 대수 $\ell^1(S)$의 가짜-애매성으로 이어지는가?
• RQ2 $\ell^1(G)$에 대한 근사 대각선 구성이 유한 부분집합 $I$에 대한 평균을 통해 $\ell^1(T)$로, 그리고 그 다음 $\ell^1(S)$로 올라갈 수 있는가?
• RQ3 Brandt 반군 설정에서 $\ell^1(S)$의 가짜-애매성은 애매성 또는 근사 애매성보다 엄밀히 더 약한가?
• RQ4 $\ell^1(S)$의 구조가 $\ell^1(T) \oplus \mathbb{C}$임을 감안할 때, $\ell^1(T)$가 가짜-애매성일 경우 가짜-애매성이 유지되는가?

주요 결과

• 군 $G$가 애매성일 경우, 인덱스 집합 $I$가 유한하거나 무한한지에 관계없이 $\ell^1(S)$는 가짜-애매성이다.
• 근사 대각선 $W_{F,\lambda} = \frac{1}{\#F} \sum_{i,j \in F} E^{m_\lambda}_{(i,j,j,i)}$는 $\ell^1(G)\hat{\otimes}\ell^1(G)$ 내의 유계 근사 대각선 $m_\lambda$를 사용하여 $\ell^1(T)$에 구성된다.
• 모든 $a \in \ell^1(T)$에 대해 넷 $(W_{F,\lambda})$는 $F$와 $I \setminus F$에 대한 노름 추정을 통해 $\|a \cdot W_{F,\lambda} - W_{F,\lambda} \cdot a\| \to 0$을 만족한다.
• 또한 모든 $a \in \ell^1(T)$에 대해 $\|\pi(W_{F,\lambda})a - a\| \to 0$을 만족하며, 이는 $\pi(m_\lambda) \to 1$의 수렴에 의해 통제된다.
• 결과는 $I$의 기수에 관계없이 균일하게 성립하여, 가짜-애매성이 애매성 또는 근사 애매성과 달리 $I$의 유한성 조건이 필요하지 않음을 보여준다.
• 논문은 $\ell^1(S)$의 가짜-애매성이 군 $G$의 애매성을 함의하는지 여부를 열려 있는 문제로 남기며, 향후 연구에 자연스러운 질문으로 제기한다.