[论文解读] A note on weak amenability for reduced free products of discrete quantum groups

Amaury Freslon|arXiv (Cornell University)|Nov 22, 2011

Advanced Operator Algebra Research参考文献 21被引用 3

一句话总结

该论文证明，若每个因子的Cowling-Haagerup常数均为1，则离散量子群的约化自由积的Cowling-Haagerup常数仍保持为1。通过使用量子群的Khintchine不等式的推广版本以及Daws对完全有界乘子的刻画，作者在完全有界算子范数下构造了一个单位元完全正逼近，从而证明在此设定下弱殆合性在自由积下保持不变。

ABSTRACT

We prove that the Cowling-Haagerup constant of a reduced free product of weakly amenable discrete quantum groups with Cowling-Haagerup constant equal to 1 is again equal to 1.

研究动机与目标

• 将Ricard与Xu关于离散群自由积中弱殆合性的结果推广至离散量子群的设定。
• 证明当所有因子的Cowling-Haagerup常数均为1时，该常数在约化自由积下保持不变。
• 利用Daws对量子群上完全有界乘子的刻画，构造范数逼近序列。
• 证明具有Cowling-Haagerup常数1的弱殆合离散量子群的约化自由积本身也是弱殆合的，且常数相同。

提出的方法

• 利用Daws通过取值于希尔伯特空间的映射α和β，对离散量子群上的完全有界乘子进行刻画。
• 在ℓ∞(Ĝi)中构造一个紧支撑元素的网，其点态收敛于单位元，且cb-范数趋近于1。
• 应用量子版本的Khintchine不等式，以控制乘子逼近的范数。
• 使用单位元完全正映射Mγ̃，在标准与对偶L²范数下同时逼近乘子ma。
• 验证逼近映射的τ-不变性，以确保其与冯诺依曼代数上的迹相容。
• 应用定理4.1，得出自由积的Cowling-Haagerup常数为1。

实验结果

研究问题

• RQ1 当每个因子的Cowling-Haagerup常数均为1时，离散量子群的约化自由积下该常数是否仍保持为1？
• RQ2 Ricard与Xu对群所采用的经典证明技术能否推广至非交换的离散量子群设定？
• RQ3 是否存在一个量子群的Khintchine不等式类比，可用来控制自由积中乘子的完全有界范数？
• RQ4 能否在完全有界算子范数和L²范数下，为量子群乘子构造单位元完全正逼近？
• RQ5 逼近映射的τ-不变性是否能确保其与自由积的冯诺依曼代数上的迹相容？

主要发现

• 若每个因子的Cowling-Haagerup常数均为1，则离散量子群的约化自由积的Cowling-Haagerup常数也为1。
• 该证明依赖于在完全有界算子范数下对乘子构造单位元完全正逼近。
• 该逼近在标准与对偶L²范数下均有效，误差被控制在6ε以内。
• 逼近映射Mγ̃被证明是τ-保持的，从而确保其与冯诺依曼代数上的迹相容。
• 通过量子群对偶性与Daws的乘子刻画，该结果将Ricard与Xu对群的定理推广至离散量子群设定。
• 具体例子包括自由正交与单位酉量子群，其对偶的Cowling-Haagerup常数为1，且其自由积继承了这一性质。