[论文解读] Gluing action groupoids: Fredholm conditions and layer potentials

Catarina Carvalho, Rémi Côme+1 more|arXiv (Cornell University)|Nov 16, 2018

Advanced Operator Algebra Research参考文献 12被引用 7

一句话总结

本文引入边界作用广群——通过粘合作用广群的约化构造而成——以在奇异空间（尤其是锥形区域）上建模分析。它为这些广群上的伪微分算子建立了弗雷德霍姆准则，并证明了锥形区域的层势广群是弗雷德霍姆广群，从而可通过锥点处的梅林卷积算子统一处理椭圆边界问题。

ABSTRACT

This paper is a merge of arXiv:1807.05418 and arXiv:1808.01442. We introduce a new class of groupoids, called "boundary action groupoids", which are obtained by gluing reductions of action groupoids. We show that such groupoids model the analysis on many singular spaces, and we give several examples. Under some conditions on the action of the groupoid, we obtain Fredholm criteria for the pseudodifferential operators generated by boundary action groupoids. Moreover, we show that layer potential groupoids for conical domains constructed in an earlier paper (Carvalho-Qiao, Central European J. Math., 2013) are both Fredholm groupoids and boundary action groupoids, which enables us to deal with many analysis problems on singular spaces in a unified way. As an application, we obtain Fredholm criteria for operators on layer potential groupoids.

研究动机与目标

• 开发一个统一的框架，用于分析具有锥形或多面体结构的奇异空间上的伪微分算子。
• 表征通过粘合作用广群形成的新型广群类——边界作用广群——上算子的弗雷德霍姆性质。
• 证明锥形区域的层势广群是弗雷德霍姆广群，从而可通过梅林卷积算子实现分析。
• 通过锥点处的梅林算子的正则性与可逆性，建立锥形区域上算子的显式弗雷德霍姆条件。

提出的方法

• 通过作用广群约化的粘合过程构造边界作用广群，以捕捉具有边界和锥点的奇异空间的几何结构。
• 利用弗雷德霍姆广群理论与正规表示，基于严格谱族与完全表示族分析弗雷德霍姆性质。
• 对锥形区域的边界进行去奇异化，将层势广群建模为在奇异集上的纤维对广群。
• 将广群上的算子表示为 $\mathbb{R}^+ \times \partial\omega_i$ 上的梅林卷积算子，其度量为 $g = r^{-2}_\Omega g_e$。
• 利用稳定子群 $\mathbb{R}^+$ 的阿梅尼特性，确保正规表示族为严格谱族且完全。
• 应用已知的弗雷德霍姆广群定理（例如来自 [CNQ]）将弗雷德霍姆条件简化为每个奇异面上梅林算子的椭圆性与可逆性。

实验结果

研究问题

• RQ1 在何种条件下，边界作用广群上的伪微分算子是弗雷德霍姆算子？
• RQ2 如何通过广群理论方法统一处理锥形区域上的椭圆边界问题？
• RQ3 在奇异空间背景下，层势广群与弗雷德霍姆广群之间存在何种关系？
• RQ4 锥点处的梅林卷积算子如何决定边界积分算子的弗雷德霍姆性质？
• RQ5 边界作用广群的粘合构造能否完整捕捉具有角点与锥形奇点的流形上算子的分析结构？

主要发现

• 当无穷远处的稳定子群为阿梅尼群时，边界作用广群是弗雷德霍姆广群，这在锥奇点上的 $\mathbb{R}^+$-作用下成立。
• 无裂纹的锥形区域的层势广群是弗雷德霍姆广群，因为它们由粘合弗雷德霍姆广群构造而成，并具有纤维对广群结构。
• 锥形区域上 $P \in L^m_s(\mathcal{G})$ 的弗雷德霍姆性质等价于 $P$ 为椭圆算子，且关联的梅林卷积算子 $P_i$ 在 $\mathbb{R}^+ \times \partial\omega_i$ 上可逆。
• $\mathbb{R}^+ \times \partial\omega_i$ 上的度量 $g = r^{-2}_\Omega g_e$ 确保了梅林算子结构的正确缩放。
• 对每个锥点 $p_i$，表示 $\pi_x(P)$ 产生一个梅林卷积算子 $P_i$，其可逆性是弗雷德霍姆性质的必要且充分条件。
• 该结果可推广至含裂纹的多边形区域，通过在裂纹点处的去奇异化引入额外的极限算子。