[论文解读] Nilpotent Gelfand pairs and spherical transforms of Schwartz functions III. Isomorphisms between Schwartz spaces under Vinberg's condition

Fischer, Fulvio Ricci+1 more|arXiv (Cornell University)|May 15, 2014

Advanced Algebra and Geometry参考文献 15被引用 5

一句话总结

该论文在Vinberg条件之下证明了，球面变换在尼尔波蒂夫李群N上的K-不变施瓦茨函数空间与R^d上施瓦茨函数在Gelfand谱S_D上的限制空间之间诱导出一个拓扑同构。该同构通过使用K-不变微分算子代数的一组形式自伴生成元的典范对应关系构造而成。

ABSTRACT

Let (N,K) be a nilpotent Gelfand pair, i.e., N is a nilpotent Lie group, K a compact group of automorphisms of N, and the algebra D(N)^K of left-invariant and K-invariant differential operators on N is commutative. In these hypotheses, N is necessarily of step at most two. We say that (N,K) satisfies Vinberg's condition if K acts irreducibly on $n/[n,n]$, where n= Lie(N). Fixing a system D of d formally self-adjoint generators of D(N)^K, the Gelfand spectrum of the commutative convolution algebra L^1(N)^K can be canonically identified with a closed subset S_D of R^d. We prove that, on a nilpotent Gelfand pair satisfying Vinberg's condition, the spherical transform establishes an isomorphism from the space of $K$-invariant Schwartz functions on N and the space of restrictions to S_D of Schwartz functions in R^d.

研究动机与目标

• 刻画满足Vinberg条件的尼尔波蒂夫Gelfand对上K-不变施瓦茨函数的结构。
• 通过一组形式自伴生成元D，将Gelfand谱S_D与R^d的一个闭子集进行典范识别。
• 证明球面变换在N上的施瓦茨空间与R^d上施瓦茨函数在S_D上的限制空间之间构成拓扑同构。
• 在Vinberg条件之下，将球面变换理论扩展至完整的施瓦茨空间框架，推广了尼尔波蒂夫群上调和分析的早期结果。

提出的方法

• 固定D(N)^K中d个形式自伴生成元的系统D，该代数为N上K-不变左 invariant 微分算子的交换代数。
• 通过D中算子的联合谱，将卷积代数L^1(N)^K的Gelfand谱识别为R^d中的闭子集S_D。
• 利用对K-不变矩阵系数的积分定义球面变换，将N上的K-不变施瓦茨函数映射到S_D上的函数。
• 证明球面变换是单射且连续的，其像在R^d上施瓦茨函数在S_D上的限制空间中稠密。
• 建立逆变换的连续性，从而在两个施瓦茨空间之间实现拓扑同构。
• 利用Vinberg条件——即K在n/[n,n]上的作用不可约——确保Gelfand谱S_D性质良好，并支持该同构成立。

实验结果

研究问题

• RQ1 球面变换是否在N上的K-不变施瓦茨函数空间与R^d上施瓦茨函数在S_D上的限制空间之间诱导出拓扑同构？
• RQ2 选择一组形式自伴生成元D如何影响Gelfand谱S_D的识别？
• RQ3 Vinberg条件在确保球面变换在施瓦茨函数层面上为同构的过程中起什么作用？
• RQ4 在给定假设下，球面变换能否被扩展为两个完整施瓦茨空间之间的连续同构？
• RQ5 N上的施瓦茨空间与R^d上施瓦茨函数在Gelfand谱S_D上的限制空间之间的确切关系是什么？

主要发现

• 球面变换在N上的K-不变施瓦茨函数空间与R^d上施瓦茨函数在S_D上的限制空间之间建立了拓扑同构。
• 通过D(N)^K的一组d个形式自伴生成元D的联合谱，Gelfand谱S_D被典范地识别为R^d的一个闭子集。
• Vinberg条件确保了K在n/[n,n]上的作用不可约，这对同构的成立至关重要。
• 球面变换是单射且连续的，其逆变换也连续，因此构成拓扑同构。
• 该同构保持弗雷chet空间结构，确认N上的施瓦茨空间与R^d上施瓦茨函数在S_D上的限制空间同构。
• 该结果在Vinberg条件下将经典球面变换结果推广至完整的施瓦茨空间框架。