[논문 리뷰] Approximately multiplicative maps between algebras of bounded operators on Banach spaces

Yemon Choi, Bence Horváth외 1명|arXiv (Cornell University)|2021. 10. 08.

Advanced Banach Space Theory참고 문헌 32인용 수 3

한 줄 요약

이 논문은 K(E)가 애매한 컴팩트 연산자를 가지며, 클론 체계가 비가чёт 가능한 바나흐 공간 E와 분리 가능이고 반사적인 바나흐 공간 X에 대해 B(E) → B(X) 연산자 대수에서 AMNM(약간의 곱셈성을 가진다는 것은 곱셈 준동형사상에 가까움) 성질을 확립한다. 주요 결과는 존슨과 하위의 ℓp 결과를 Lp[0,1] (1 < p < ∞), 올리츠 및 로렌츠 수열 공간, 티르셀슨 공간을 포함한 광범위한 공간 클래스로 일반화하며, 코homological 기법과 새로운 비선형 개선 연산자를 사용하여 변형을 제어한다.

ABSTRACT

We show that for any separable reflexive Banach space $X$ and a large class of Banach spaces $E$, including those with a subsymmetric shrinking basis but also all spaces $L_p$ for $1\leq p \leq \infty$, every bounded linear map ${\mathcal B}(E) o {\mathcal B}(X)$ which is approximately multiplicative is necessarily close in the operator norm to some bounded homomorphism ${\mathcal B}(E) o {\mathcal B}(X)$. That is, the pair $({\mathcal B}(E), {\mathcal B}(X))$ has the AMNM property in the sense of Johnson ( extit{J.~London Math.\ Soc.} 1988). Previously this was only known for $E=X=\ell_p$ with $1<p<\infty$; even for those cases, we improve on the previous methods and obtain better constants in various estimates. A crucial role in our approach is played by a new result, motivated by cohomological techniques, which establishes AMNM properties relative to an amenable subalgebra; this generalizes a theorem of Johnson ( extit{op cit.}).

연구 동기 및 목표

• 기존 ℓp 공간의 경우에 알려진 바와 같이, 약간의 곱셈성을 가진 사상이 실제 준동형사상에 가까운 AMNM 성질을, ℓp 공간에 국한되지 않는 더 넓은 범위의 바나흐 공간으로 확장하는 것.
• 특히 도메인 대수 B(E)가 ℓp 공간이 아닌 경우에 대해, 바나흐 공간의 유계 선형 연산자 대수 간의 유라姆 안정성 문제를 해결하는 것.
• E ≠ X 이며 E가 반드시 반사적이지 않은 경우에도, E에 구조적 조건이 만족되면 (B(E), B(X)) 쌍이 AMNM 성질을 가짐을 증명하는 것.
• 비선형 개선 연산자를 도입하여 변형 추정치를 정밀하게 제어하는 코homological 기반의 새로운 프레임워크를 개발하여 근사 준동형사상을 분석하는 것.

제안 방법

• 유계 선형 사상에서 곱셈의 실패를 모델링하기 위해 근사 코체인 복합체를 사용하는 새로운 코homological 프레임워크를 도입한다.
• 약간의 곱셈성을 가진 사상 φ를 새로운 사상 F(φ)로 매핑하는 비선형 개선 연산자 F를 정의하며, 이는 근사 항등원의 넷과 프로젝티브 텐서 tích 위의 유계 선형 함수형을 사용하여, φ에 비해 더 준동형사상에 가까운 사상이 되도록 한다.
• 기본적으로 하향적 수축 기저 또는 특정한 구조(예: 티르셀슨 공간)를 가진 바나흐 공간에 대해 ℕ의 부분집합들의 거의 분리된 가닥을 사용하여 비가산 클론 체계를 구성한다.
• 만약 컴팩트 연산자 K(E)가 애매하고 E가 비가산 클론 체계를 갖는다면, 임의의 분리 가능이고 반사적인 X에 대해 (B(E), B(X))는 AMNM 성질을 만족함을 증명한다.
• 다양한 상수 K와 ∥φ∥를 포함하는 명시적 상한을 제공하는, 곱셈 결함 def(φ)와 가장 가까운 준동형사상으로부터의 거리 dist(φ) 사이의 관계를 규명하기 위해 정밀화된 이분법 결과를 사용한다.
• 유니탈 확장을 통한 유니탈 환원 기법을 적용하여 정규화된 개선 연산자를 사용할 수 있도록 하고, 결함 전파 분석을 단순화한다.

실험 결과

연구 질문

• RQ1 E가 Lp[0,1] (1 < p < ∞) 또는 티르셀슨 공간과 같은 고전적인 비-ℓp 바나흐 공간일 때, X가 분리 가능이고 반사적이라면 B(E) → B(X)에 대해 AMNM 성질이 성립하는가?
• RQ2 E ≠ X 이며 E가 반사적이지 않은 경우에도, E에 적절한 구조적 조건이 만족되면 존슨–하위의 ℓp 공간 결과를 일반화할 수 있는가?
• RQ3 어떤 구조적 조건이 바나흐 공간 E에 대해, 모든 분리 가능이고 반사적인 X에 대해 (B(E), B(X))가 AMNM 성질을 가짐을 보장하는가?
• RQ4 코homological 기법을 어떻게 수정하여, 근사 곱셈성을 가진 사상의 곱셈 결함을 제어하는 비선형 개선 연산자를 구성할 수 있는가?
• RQ5 비가산 클론 체계의 존재가, 근사 곱셈성을 가진 사상이 준동형사상에 가까워지도록 보장하는 데 어떤 역할을 하는가?

주요 결과

• 모든 분리 가능하고 반사적인 바나흐 공간 X와 K(E)가 애매하고 비가산 클론 체계를 가진 바나흐 공간 E에 대해 쌍 (B(E), B(X))는 AMNM 성질을 가진다.
• 이 결과는 존슨과 하위의 ℓp 공간에 대한 AMNM 결과를 Lp[0,1], 올리츠 수열 공간, 로렌츠 수열 공간, 티르셀슨 공간를 포함한 광범위한 바나흐 공간 클래스로 일반화한다.
• E = 티르셀슨 공간일 경우, 이중 함수로 인덱싱된 재귀 수열을 사용하여 비가산 클론 체계를 명시적으로 구성하며, TM ∼= T를 증명하고 필요한 조건을 만족함을 보인다.
• 논문은 새로운 코homological 결과를 확립한다: A가 애매한 부분대수 D를 가지면, (A, B)에 대해 AMNM 성질은 D에 대한 상대적 AMNM 성질로부터 유도될 수 있으며, 이는 존슨의 원래 정리의 일반화이다.
• 비선형 개선 연산자 F를 구성하여 ∥F(φ) − φ∥ ≤ K∥φ∥defD×A(φ) 및 defD×A(F(φ)) ≤ 3K²∥φ∥²defD×D(φ)defD×A(φ)를 만족함으로써, 결함 감소에 대한 정량적 제어를 제공한다.
• 정교화된 코homological 프레임워크와 철저히 구성된 근사 호모토피를 사용함으로써, 이전 접근법에 비해 특히 ℓp 공간의 경우 AMNM 추정치에서 개선된 상수를 도출한다.