[논문 리뷰] Amenability properties of Banach algebra valued continuous functions

Reza Ghamarshoushtari, Yong Zhang|arXiv (Cornell University)|2020. 01. 22.

Advanced Operator Algebra Research참고 문헌 9인용 수 3

한 줄 요약

이 논문은 컴팩트 하우스도르프 공간 $ X $ 위의 $ A $-값을 가진 연속 함수들의 바나흐 대수 $ C(X,A) $ 가 약간의 조건을 만족할 때, 계수 대수 $ A $ 가 약간이면 $ C(X,A) $ 도 약간임을 보이며, 그 증명에 고로텐벡의 부등식을 사용하여 유계 근사 대각선을 구성한다. 또한 $ A $ 가 컴팩트 중심 근사 대각선을 지닐 경우 $ C(X,A) $ 는 컴팩트 근사 대각선을 물려받으며, $ A $ 가 가환, 약간이면서 유계 근사 항등원을 지닐 경우 $ C(X,A) $ 는 약간의 약간성을 갖는다.

ABSTRACT

Let $X$ be a compact Hausdorff space and $A$ a Banach algebra. We investigate amenability properties of the algebra $C(X,A)$ of all $A$-valued continuous functions. We show that $C(X,A)$ has a bounded approximate diagonal if and only if $A$ has a bounded approximate diagonal; if $A$ has a compactly central approximate diagonal (unbounded) then $C(X,A)$ has a compactly approximate diagonal. Weak amenability of $C(X,A)$ for commutative $A$ is also considered.

연구 동기 및 목표

• 컴팩트 하우스도르프 공간 $ X $ 위의 $ A $-값을 가진 연속 함수들의 바나흐 대수 $ C(X,A) $ 의 약간성 성질을 규명하는 것.
• $ C(X,A) $ 가 유계 근사 대각선, 컴팩트 근사 대각선, 또는 약간의 약간성을 갖는 조건을 특성화하는 것.
• $ C(X) $ 의 약간성에 관한 기존 결과를 임의의 바나흐 대수 $ A $ 를 값으로 가지는 더 일반적인 설정인 $ C(X,A) $ 로 확장하는 것.
• 계수 대수 $ A $ 에서 함수 대수 $ C(X,A) $ 로의 약간성 유형 성질의 물려받는 방식을 조사하는 것.

제안 방법

• 프로젝티브 텐서 곱 노름을 제어하기 위해 고로텐벡의 부등식을 사용하여 $ C(X) \hat{\otimes} C(X) $ 내의 기본 텐서의 프로젝티브 노름을 제어함으로써 근사 대각선의 균일한 유계성을 확보한다.
• 프로젝티브 노름과 텐서 곱 기법을 사용하여 $ A $ 에서의 유계 근사 대각선을 올려 $ C(X,A) $ 에 대한 유계 근사 대각선을 구성한다.
• 계수 대수 $ A $ 의 컴팩트 중심 근사 대각선을 이용하여 $ C(X,A) $ 에 대한 컴팩트 근사 대각선을 정의함으로써, $ C(X,A) $ 의 컴팩트 부분집합에서의 균일한 근사가 이루어지도록 한다.
• 존슨에 의해 확립된 유계 근사 대각선에 의한 약간성의 특성화를 적용하여 문제를 $ C(X,A) \hat{\otimes} C(X,A) $ 내의 그러한 넷(net)의 구성으로 환원한다.
• 약간이면서 가환인 $ A $ 에서 유도가 존재할 경우, 유계 근사 항등원을 따라 유도의 약한* 극한을 사용하여 $ C(X,A) $ 의 모든 연속 유도가 내부 유도임을 보인다.
• 이중성 $ C(X,A)^* \cong I_1(C(X), A^*) $ 을 활용하여 유도를 이중 공간으로 분석하고, 약간의 약간성을 확립한다.

실험 결과

연구 질문

• RQ1 $ C(X,A) $ 가 언제 약간이며, 이 약간성은 계수 대수 $ A $ 의 약간성과 어떻게 관련이 있는가?
• RQ2 $ C(X,A) $ 가 컴팩트 근사 대각선을 갖는 조건은 무엇이며, 이는 $ A $ 의 구조와 어떻게 관련되는가?
• RQ3 $ A $ 의 약간의 약간성이 $ C(X,A) $ 로 옮겨질 수 있는가? 추가로 필요한 가정은 무엇인가?
• RQ4 고로텐벡의 부등식과 프로젝티브 텐서 노름은 $ C(X,A) $ 내의 근사 대각선 구성에 어떻게 기여하는가?

주요 결과

• $ C(X,A) $ 가 약간임은 계수 대수 $ A $ 가 약간임과 동치이며, 고로텐벡의 부등식을 사용하여 $ C(X,A) \hat{\otimes} C(X,A) $ 내에 유계 근사 대각선을 구성함으로써 증명된다.
• 만약 $ A $ 가 컴팩트 중심 근사 대각선을 지닐 경우, $ C(X,A) $ 는 컴팩트 근사 대각선을 지니며, 이는 $ C(X,A) $ 의 컴팩트 부분집합에서 균일한 근사를 보장한다.
• 가환인 $ A $ 에 대해, 만약 $ A $ 가 약간이면서 유계 근사 항등원을 지닐 경우, $ C(X,A) $ 는 약간의 약간성을 지닌다. 이는 모든 연속 유도가 이중 공간에 대해 내부 유도이기 때문이다.
• $ C(X,A) $ 내의 근사 대각선 구성은 $ A $ 에서의 유계 근사 대각선을 텐서 곱 사상으로 올려내고, 고로텐벡 상수 $ K_G^\mathbb{C} $ 를 사용하여 프로젝티브 노름을 제어함으로써 이루어진다.
• 약간의 약간성의 증명은 유계 근사 항등원을 따라 유도의 약한* 극한을 사용하며, $ C(X) $ 에서의 유도가 $ C(X) $ 의 약간성으로 인해 0이 됨을 보여준다.
• $ C(X,A)^* $ 는 $ C(X) $ 에서 $ A^* $ 로의 1-적분 연산자 공간과 등급 등장하는 등장하는 등장성으로 표현되며, 이는 약간의 약간성 증명에서 유도 분석에 필수적이다.