[논문 리뷰] Derivations in the Banach ideals of $τ$-compact operators

A. F. Ber, Fedor Sukochev|arXiv (Cornell University)|2012. 04. 18.

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

한 줄 요약

이 논문은 von Neumann 대수 𝒩에서 τ-콤팩트 연산자들의 대칭 연산자 공간 E(τ)로의 유도가, E(τ)가 약한 조건(예: 반사성)을 만족할 경우 내부적임을 확립한다. 핵심 방법은 유니터리 원소들의 군 작용을 E(τ) 위에서 애फ인等거리변환을 통해 정의하고, 고정점 정리(Namioka-Phelps 또는 Ryll-Nardzewski)를 적용하여 δ(x) = [d,x] 를 만족하는 구현 원소 d 를 구성하는 것이다. 중심 결과는 모든 유도가 L_p(𝒫,τ) (1 < p < ∞) 에로의 유도가 내부적임을 보여주며, 비상적 분석 분야에서 오랫동안 남아있던 문제를 해결한다.

ABSTRACT

Let $\mathcal{M}$ be a von Neumann algebra equipped with a faithful normal semi-finite trace $τ$ and let $S_0(τ)$ be the algebra of all $τ$-compact operators affiliated with $\mathcal{M}$. Let $E(τ)\subseteq S_0(τ)$ be a symmetric operator space (on $\mathcal{M}$) and let $\mathcal{E}$ be a symmetrically-normed Banach ideal of $τ$-compact operators in $\mathcal{M}$. We study (i) derivations $δ$ on $\mathcal{M}$ with the range in $E(τ)$ and (ii) derivations on the Banach algebra $\mathcal{E}$. In the first case our main results assert that such derivations are continuous (with respect to the norm topologies) and also inner (under some mild assumptions on $E(τ)$). In the second case we show that any such derivation is necessarily inner when $\mathcal{M}$ is a type $I$ factor. As an interesting application of our results for the case (i) we deduce that any derivation from $\mathcal{M}$ into an $L_p$-space, $L_p(\mathcal{M},τ)$, ($1

연구 동기 및 목표

• von Neumann 대수 𝒩에서 τ-콤팩트 연산자들의 대칭 연산자 공간 E(τ)로의 유도가 E(τ)의 노름 위상에 대해 연속적이고 내부적인지 판별하는 것.
• 특히 비상적 L_p-공간의 맥락에서 τ-측정 가능한 연산자 대수에서의 유도의 구조에 관한 열린 문제를 해결하는 것.
• C*-대수와 대칭 노름을 가진 이상에 대한 고전적 결과를 von Neumann 대수와 τ-콤팩트 연산자의 대칭 노름을 가진 바나흐 이상의 더 넓은 맥락으로 확장하는 것.
• 비상적 측도 이론에서 군 작용과 고정점 정리를 이용한 내부 유도를 증명하는 일반적 프레임워크를 제공하는 것.

제안 방법

• 𝒰(𝒫)의 유니터리 원소들에 대해 T_u(x) = uxu* + δ(u)u* 를 통해 E(τ) 위에 군 작용 T_u 를 정의하며, 이는 E(τ)의 바나흐 공간 위에서 애फ인 등거리변환을 이룬다.
• 반사성 또는 분리 가능성 조건 하에서, Banach-Alaoglu 정리를 활용하여 T(0)의 궤도와 그 볼록 hull 이 E(τ) 내에서 유계이자 약한* 컴팩트임을 보인다.
• Namioka-Phelps 고정점 정리를 co(T(0))의 약한* 닫힘에 적용하여, 모든 u ∈ 𝒰(𝒫)에 대해 d = T_u(d) 를 만족하는 고정점 d ∈ E(τ) 를 확보한다.
• 고정점 조건에서 모든 유니터리 u ∈ 𝒰(𝒫)에 대해 δ(u) = [d,u] 를 유도하고, 선형성에 의해 이를 모든 x ∈ 𝒩 로 확장한다.
• 𝒩의 임의의 원소가 유니터리 원소들의 선형 조합임을 이용하여, 모든 x ∈ 𝒩 에 대해 δ(x) = [d,x] 를 유도함으로써 유도가 내부적임을 증명한다.
• d 의 노름이 ‖d‖_E ≤ ‖δ‖ 를 만족함을 보여, 구현 원소에 대한 정량적 유계성을 확보한다.

실험 결과

연구 질문

• RQ1 von Neumann 대수 𝒩에서 τ-콤팩트 연산자들의 대칭 연산자 공간 E(τ)로의 유도는 E(τ)의 노름 위상에 대해 반드시 연속적인가?
• RQ2 어떤 조건에서 이러한 유도가 내부적일까, 즉 어떤 d ∈ E(τ) 가 존재하여 δ(x) = [d,x] 를 만족하는가?
• RQ3 모든 von Neumann 대수 𝒩에서 L_p(𝒫,τ) (1 < p < ∞) 로의 유도는 내부적인가?
• RQ4 비상적 L_p-공간에서 군 작용과 고정점 정리를 이용하여 내부 구현의 존재를 확보할 수 있는가?
• RQ5 L_∞(0,1) 위의 비자명한 유도의 범위는 S(τ) 내의 어떤 Banach 𝒫-양면 이상에도 포함되지 않는가?

주요 결과

• 반사성인 E(τ) 에 대해 모든 연속적 유도 δ: 𝒩 → E(τ) 는 내부적이다. 즉, 어떤 d ∈ E(τ) 가 존재하여 ‖d‖_E ≤ ‖δ‖ 를 만족하며 δ(x) = [d,x] 를 만족한다.
• 모든 1 < p < ∞ 에 대해 δ: 𝒩 → L_p(𝒫,τ) 는 내부적이다. 이는 비상적 분석 분야에서 핵심적인 열린 문제를 해결한다.
• 구현 원소 d 의 구성은 유니터리 군 작용 하에서 궤도 {T_u(0)} 의 볼록 hull 의 약한* 닫힘에 Namioka-Phelps 고정점 정리를 적용한 데 기반한다.
• 군 작용 T_u(x) = uxu* + δ(u)u* 는 E(τ) 위에서 애फ인 등거리변환이며, 고정점 d 는 모든 u ∈ 𝒰(𝒫) 에 대해 d = T_u(d) 를 만족한다.
• E(τ) 가 C*-대수일 필요가 없더라도 결과가 성립하여, 고전적 결과를 컴팩트 연산자에서 일반적인 대칭 노름을 가진 이상으로 확장한다.
• L_∞(0,1) 위의 비자명한 유도의 범위는 S(τ) 내의 어떤 Banach 𝒫-양면 이상에도 포함되지 않으며, 문헌에 있는 추측을 확인한다.