{"id":"arxiv/2607.27279","url":"https://arxiv.org/abs/2607.27279","tags":["math.AC","math.DS"],"score":0,"title":"When does a derivation of a ring admit the exponential?","domain":"math.AC","source":"arxiv","authors":["Genrich Belitskii","Alberto F. Boix","Dmitry Kerner"],"reviews":0,"subject":"math.AC","summary":"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]),…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-29","reactions":{}}