Counterexamples in scale calculus
Counterexamples in scale calculus
复制标题
尺度微积分中的反例
DOI：
10.1073/pnas.1811701116
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Wehrheim, Katrin
中科院分区：
文献类型：
--
作者：
Filippenko, Benjamin;Zhou, Zhengyi;Wehrheim, Katrin
我们构造反例经典微积分的事实，如逆和隐函数定理的规模演算多变量微积分的推广到无限维向量空间，其中有关辛几何的重新参数化映射是光滑的。标度演算是多重折叠理论的基石，由霍费尔，Wysocki和Zehnder引入，作为一种广泛适用的工具来正则化伪全纯曲线的模空间。我们展示了新的非线性标度Fredholm概念在多重折叠理论克服了缺乏隐函数定理，正式建立一个经常隐含使用的事实：基本芽的微分-局部模型的标度Fredholm映射-不断变化的空间中的有界算子时，基点的变化。此外，我们证明，这种连续性只在特定的坐标，通过构建一个例子的规模-非同态和规模-Fredholm映射的不连续微分。这证明了多重褶皱理论基础的高技术复杂性。
We construct counterexamples to classical calculus facts such as the inverse and implicit function theorems in scale calculus—a generalization of multivariable calculus to infinite-dimensional vector spaces, in which the reparameterization maps relevant to symplectic geometry are smooth. Scale calculus is a corner stone of polyfold theory, which was introduced by Hofer, Wysocki, and Zehnder as a broadly applicable tool for regularizing moduli spaces of pseudoholomorphic curves. We show how the novel nonlinear scale-Fredholm notion in polyfold theory overcomes the lack of implicit function theorems, by formally establishing an often implicitly used fact: The differentials of basic germs—the local models for scale-Fredholm maps—vary continuously in the space of bounded operators when the base point changes. We moreover demonstrate that this continuity holds only in specific coordinates, by constructing an example of a scale-diffeomorphism and scale-Fredholm map with discontinuous differentials. This justifies the high technical complexity in the foundations of polyfold theory.
一般 Fredholm 理论 I：基于拼接的微分几何
影响因子：
2.6
作者：
H. Hofer;K. Wysocki;E. Zehnder
通讯作者：
E. Zehnder
多折：第一眼和第二眼
影响因子：
2.3
作者：
Fabert, Oliver;Fish, Joel;Golovko, Roman;Wehrheim, Katrin
通讯作者：
Wehrheim, Katrin