环的导数何时容许指数映射？
When does a derivation of a ring admit the exponential?
浏览论文内容
中文总结 AI 辅助
本文针对三类环，研究x-adic幂零导数ξ对应的指数算子e^ξ何时作用于环R、何时e^ξx属于R，给出代数幂级数等环的判据，赋范域幂级数的肯定结论，以及光滑函数芽商环的完全否定结果。
中文摘要 AI 辅助
（实/复）向量场的指数映射经典上通过向量场积分定义。设k是包含有理数域ℚ的局部整环，k-代数k[x]⊂R⊂k[[x]]，假设导数ξ是x-adic幂零的，通过泰勒展开定义指数算子：e^ξ:=∑ξ^j/j!，它是形式自同构，即e^ξ∈Aut_k(k[[x]])。本文研究两个核心问题：一是e^ξ何时作用于R，二是形式幂级数e^ξx∈k[[x]]何时属于R。针对三类环分别分析：i. 代数幂级数R=k⟦x⟧、微分有限（完整）幂级数D(k[x])及其高阶版本皮卡-维西奥扩展D^•(k[x])、皮卡-维西奥闭包D^∞(k[x])、微分代数幂级数D^{alg}(k[x])；ii. 赋范域上的幂级数，特别是系数具受控增长的幂级数，如解析类、登努瓦-卡勒曼类、格夫雷类；iii. 光滑函数芽C^∞(ℝⁿ,o)/J，其中J是C^∞(ℝⁿ,o)的任意理想。对i类环，e^ξ是超越的，幂级数e^ξx通常远非代数，本文给出e^ξx属于k⟦x⟧、D(k[x])、D(R)或D^{alg}(k[x])的各类判据；对ii类环，在R的相当弱的假设下，答案为肯定（即e^ξ作用于R）；对iii类环，答案为“完全否定”：对任意ξ≠0，按前述定义的算子e^ξ不作用于光滑函数芽环的商环C^∞(ℝⁿ,o)/J。
英文摘要
Exponentials of (real/complex) vector fields are classically defined via the vector field integration. Take a k-algebra k[x] \subset R\subset k[[x]], where k\supseteq \Q is a local domain. Suppose a derivation ξis x-adically nilpotent. Define the exp-operator via the Taylor expansion, e^ξ:=\sum \frac{ξ^j}{j!}. It is a formal automorphism, e^ξ\in Aut_k(k[[x]]). When does e^ξact on R? When does the formal power series e^ξx\in k[[x]] belong to R? We address this question for the following rings. i. The algebraic power series, R=k\bl x\br, differentially finite (holonomic) power series, D(k[x]), and their higher versions, Picard-Vessiot extensions D^\bullet(k[x]), Picard-Vessiot closure D^\infty(k[x]), and differentially-algebraic power series D^{alg}(k[x]). ii. Power series over normed fields. In particular, power series with coefficients of controlled growth, e.g. analytic/Denjoy-Carleman/Gevrey classes. iii. Germs of smooth functions C^\infty(\R^n,o)/J, for arbitrary ideal J\subset C^\infty(\R^n,o). In case i. the operator e^ξis transcendental, and the power series e^ξx is ``usually" far from being algebraic. We give various criteria on e^ξx to belong to k\bl x\br, D(k[x]), D(R), or D^{alg}(k[x]). In case ii. the answer is positive (i.e. e^ξacts on R ) under rather weak assumptions on R. In case iii. the answer is ``totally negative". For any ξ\neq0 the operator e^ξ(defined as before) does not act on the quotients of the ring of germs of smooth functions, C^\infty(\R^n,o)/J.
