[论文解读] Zero divisors and L^p(G), II

Peter A. Linnell, Michael J. Puls|ArXiv.org|Mar 28, 2000

Rings, Modules, and Algebras参考文献 10被引用 7

一句话总结

本论文研究在群代数 ℂG 中是否存在非零元通过卷积在 L^p(G) 上非平凡作用，聚焦于自由阿贝尔群与自由群。论文确定了此类零因子存在的精确 p 阈值：对于 ℤ^d，当 p ≤ 2d/(d−1) 时不存在 p-零因子；对于自由群 F_k，阈值取决于傅里叶变换的谱性质，表明 L^2 的结果无法推广至 p > 2。

ABSTRACT

Let G be a discrete group, let $p \ge 1$, and let $L^p(G)$ denote the Banach space $\{\sum_{g\in G} a_g g \mid \sum_{g\in G} |a_g|^p < \infty\}$. The following problem will be studied: given $0 e α\in CG$ and $0 e β\in L^p(G)$, is $α* β e 0$? We will concentrate on the case G is a free abelian or free group.

研究动机与目标

• 确定对于哪些 p ≥ 1 及非零 α ∈ ℂG 和 β ∈ L^p(G)，卷积 α*β 非零。
• 解决离散群（特别是 ℤ^d 和 F_k）上 L^p(G) 的零因子问题。
• 通过傅里叶变换的零点集与相对亏格等几何性质，刻画 p-零因子。
• 通过显式构造证明，自由群的 L^2 结果无法推广至 p > 2。

提出的方法

• 在 d 维环面 𝕋^d 上使用傅里叶分析，研究 α ∈ ℂℤ^d 的傅里叶变换零点集 Z(α)。
• 应用几何分析，将 Z(α) 特征化为具有常数相对亏格 ν 的光滑 (d−1)-维子流形。
• 基于 ν 推导出 ℤ^d 中 p-零因子的精确阈值 p > 2(d−ν)/(d−1−ν)。
• 通过群嵌入与径向函数在自由群 F_k 中构造显式例子，证明当 p > 2 时 L^p(β) 非退化性不成立。
• 利用正定函数与巴拿赫空间单同态，将零因子从更大群提升至 F_k。
• 基于 α 的谱隙定义 p(α) 函数，以确定 α 在 L^1_r(F_k) 中为 p-零因子的 p 范围。

实验结果

研究问题

• RQ1 对于哪些 p，有 α * β ≠ 0 对所有非零 α ∈ ℂℤ^d 和 β ∈ L^p(ℤ^d) 成立？
• RQ2 在 𝕋^d 中，傅里叶变换零点集 Z(α) 的哪些几何条件决定了 α 是 ℤ^d 中的 p-零因子？
• RQ3 自由群的 L^2 非退化性结果能否推广至 p > 2？
• RQ4 自由群 F_k 中 p-零因子的精确阈值是什么？其如何依赖于谱数据？
• RQ5 如何通过 α 的谱隙表征 L^1_r(F_k) 中 p-零因子的存在性？

主要发现

• 对于 d ≥ 2 的 ℤ^d，若 p ≤ 2d/(d−1)，则对所有非零 α ∈ ℂℤ^d 和 β ∈ L^p(ℤ^d)，有 α * β ≠ 0。
• α ∈ ℂℤ^d 是一致非零因子，当且仅当其傅里叶变换零点集 Z(α) 位于 𝕋^d 中有限个超平面的并集中。
• 若 Z(α) 是具有常数相对亏格 ν ≤ d−2 的光滑 (d−1)-维子流形，则 α 是 p-零因子当且仅当 p > 2(d−ν)/(d−1−ν)。
• 对于 k ≥ 2 的自由群 F_k，存在非零 α ∈ ℂF_k 和 β ∈ L^p(F_k)，使得对所有 p > 2 有 α * β = 0，表明 L^2 结果无法推广。
• 通过单同态 θ: F_k → F_{k+1} 的显式构造，将更大自由群中的 p-零因子提升至 F_k，证明当 p > 2 时 L^p 非退化性不成立。
• 对于 L^1_r(F_k) 中的径向函数，阈值 p(α) 由谱隙 m(α) 定义，且 α 是所有满足 p > p(α) 的 p-零因子，其中 p(α) 由包含 (2k−1)^{1/p} 的非线性方程确定。