Delphi.science

When does a derivation of a ring admit the exponential?

Genrich Belitskii, Alberto F. Boix, Dmitry Kerner

arXivarxiv/2607.27279Jul 29, 2026math.ACscore 0

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]),…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2607.27279
curl -X POST /api/v1/records/arxiv/2607.27279/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.27279/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'