[논문 리뷰] $p$-Operator space structure on Feichtinger--Fig\`{a}-Talamanca--Herz Segal algebras

Serap Öztop, Nico Spronk|arXiv (Cornell University)|2012. 08. 10.

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

한 줄 요약

이 논문은 국소 콪그룹 $G$의 Figà-Talamanca–Herz 대수 $A^p(G)$의 최소 Segal 대수인 Feichtinger–Figà-Talamanca–Herz Segal 대수 $S^p_0(G)$에 p-연산자 공간 구조를 도입한다. 이 구조가 약한 완전 유계 사상들을 통해 자연스럽다는 것을 증명하며, 프로젝티브 텐서 곱, 부분군으로의 제한, 정규 부분군에 대한 평균화 등의 함자적 성질을 입증한다. 주요 기여는 약한 완전 등거리 텐서 곱 공식 $S^p_0(G) \hat{\otimes}_p S^p_0(H) \cong S^p_0(G \times H)$ 이며, 이는 $G$와 $H$가 가군일 경우 성립하며, $p=2$의 경우에 대한 고전적 결과를 일반화한다.

ABSTRACT

We consider the minimal boundedly-translation-invariant Segal algebra $S_0^p(G)$ in the Fig\`{a}-Talamanca--Herz algebra $A_p(G)$ of a locally compact group $G$. In the case that $p=2$ and $G$ is abelian this is the classical Segal algebra of Feichtinger. Hence we call this the Feichtinger--Fig\`{a}-Talamanca--Herz Segal algebra of $G$. Remarkably, this space is also a Segal algebra in $L^1(G)$ and is, in fact, the minimal such algebra which is closed under pointwise multiplication by $\apg$. Even for $p=2$, this result is new for non-abelian $G$. We place a $p$-operator space structure on $S_0^p(G)$, and demonstrate the naturality of this by showing that it satisfies all natural functiorial properties: projective tensor products, restriction to subgroups and averaging over normal subgroups. However, due to complications arising within the theory of $p$-operator spaces, we are forced to work with weakly completely bounded maps in many of our results.

연구 동기 및 목표

• 임의의 국소 콩그룹 $G$에 대해 Figà-Talamanca–Herz 대수 $A^p(G)$의 최소 Segal 대수인 $S^p_0(G)$에 자연스러운 p-연산자 공간 구조를 정의한다.
• 이 구조가 프로젝티브 텐서 곱, 부분군으로의 제한, 정규 부분군에 대한 평균화와 같은 핵심 함자적 성질를 만족함을 보인다.
• 특히 자연스러운 포함 사상 $V \to V^{**}$가 완전 등거리 사상이 아님에도 불구하고 p-연산자 공간 이론에서 발생하는 기술적 과제를 해결하기 위해 약한 완전 유계 사상들을 도입한다.
• $S^p_0(G)$가 $L^1(G)$의 최소 Segal 대수이자 $A^p(G)$의 원소에 대한 점별 곱에 대해 닫혀 있음을 증명한다. 이 결과는 $p=2$와 비아벨 $G$에 대해서조차 새로운 것이다.
• Daws [5]의 p-연산자 공간 이론을 바탕으로 약한 완전 유계 사상 이론을 정교화하여, [29]의 $p=2$ 경우에 대한 연산자 공간 프레임워크를 일반적인 $1 < p < \infty$로 확장한다.

제안 방법

• $S^p_0(G) = A^p(G)_{\min}$로 정의하여 $A^p(G)$ 내의 최소 Segal 대수로 일반화하며, 이는 $p=2$와 아벨 $G$에 대해 Feichtinger의 고전적 $S_0(G)$를 일반화한다.
• Daws [5]의 p-연산자 공간 이론을 수용하면서, 표준 p-연산자 공간 프레임워크의 한계를 극복하기 위해 약한 완전 유계 사상 이론을 통합한다.
• $N^p(G) = L^{p'}(G)^r \hat{\otimes}_p L^p(G)^c$의 식별을 사용하여 $S^p_0(G)$의 원소들을 행과 열의 연산자 공간의 프로젝티브 텐서 곱의 원소로 표현한다.
• 콤���된 지지집합을 가진 $L^p$-함수의 구조를 이용하여, $L^1(G) \hat{\otimes}_p M_p(K) \to S^p_0(G)$의 몫 사상 $Q'_{Mp(K)}$가 약한 완전 전성임을 증명한다.
• 몫 사상과 텐서 곱을 포함하는 교환 다이어그램을 구성하여, $M_p(K) \to A^p(G/N)$의 사상 $\tau_N$이 약한 완전 수축임을 보이고, 이로써 제한 및 평균화 정리의 구축을 가능하게 한다.
• 가군인 $G$와 $H$에 대해 약한 완전 등거리 텐서 곱 공식 $S^p_0(G) \hat{\otimes}_p S^p_0(H) \cong S^p_0(G \times H)$를 약한 완전 몫 사상과 $N^p(G)$의 구조를 이용하여 확립한다.

실험 결과

연구 질문

• RQ1 일반적인 $1 < p < \infty$와 임의의 국소 콩그룹 $G$에 대해, Figà-Talamanca–Herz 대수 $A^p(G)$의 최소 Segal 대수인 $S^p_0(G)$에 자연스러운 p-연산자 공간 구조를 정의할 수 있는가?
• RQ2 p-연산자 공간 이론에서 자연스러운 포함 사상 $V \to V^{**}$가 완전 등거리 사상이 아니라는 실패 문제를 해결하기 위해, 함자적 성질을 유지하기 위해 어떤 방법을 써야 하는가?
• RQ3 $p \neq q$일 때, $S^p_0(G) \subset S^q_0(G)$의 포함 사상은 약한 완전 유계인가? 특히 $L^p$-기반 연산자 공간 구조의 맥락에서?
• RQ4 $G$가 아벨일 경우 푸리에 변환이 $S^p_0(G)$의 내재된 구조를 유지하는가? 그리고 $p \neq 2$일 때 $F(S^p_0(G))$는 $A^2(\hat{G})$ 내에서 어떻게 특징지을 수 있는가?
• RQ5 $S^p_0(G)$의 함자적 성질—예를 들어 부분군으로의 제한과 정규 부분군에 대한 평균화—는 약한 완전 유계 사상들을 통해 어떻게 확립할 수 있는가?

주요 결과

• $S^p_0(G)$는 $L^1(G)$의 최소 Segal 대수이자 $A^p(G)$의 원소에 의한 점별 곱에 대해 닫혀 있으며, 이는 정리 2.7에서 입증되었으며, $p=2$와 비아벨 $G$에 대해서조차 새로운 결과이다.
• $S^p_0(G)$에 대한 p-연산자 공간 구조는 약한 완전 유계 사상들을 통해 자연스럽게 정의되며, 이는 부분군으로의 제한 및 정규 부분군에 대한 평균화와 같은 함자적 성질의 복원을 가능하게 한다.
• 가군인 $G$와 $H$에 대해 프로젝티브 텐서 곱 공식 $S^p_0(G) \hat{\otimes}_p S^p_0(H) \cong S^p_0(G \times H)$가 약한 완전 등거리로 성립하며, 이는 [29]의 $p=2$ 결과를 일반화한다.
• 몫 사상 $Q'_{Mp(K)}: L^1(G) \hat{\otimes}_p M_p(K) \to S^p_0(G)$는 약한 완전 전성으로서, 연산자 공간 구조를 구성하는 데 핵심적인 기술적 도구를 제공한다.
• $\tau_N: M_p(K) \to A^p(G/N)$는 약한 완전 수축이며, 이는 $\tau_N(M_p(K)) \subset A^p(G/N)$에 약한 수축적 p-연산자 Segal 이상수의 구조를 가능하게 한다.
• $p \neq q$일 때 포함 사상 $S^p_0(G) \subset S^q_0(G)$는 유계이며, 특정 조건 하에서는 약한 완전 유계일 수 있다. 이는 $p \neq 2$로의 쌍대성 프레임워크 확장 가능성을 시사한다.