Related papers: Towards a Model Theory for Transseries
We construct a Hardy field that contains Ilyashenko's class of germs at infinity of almost regular functions as well as all log-exp-analytic germs. In addition, each germ in this Hardy field is uniquely characterized by an asymptotic…
The Dulac series are the asymptotic expansions of first return maps in a neighborhood of a hyperbolic polycycle. In this article, we consider two algebras and of power-log transseries (generalized series) which extend the algebra of Dulac…
We study some series expansions for the Lambert $W$ function. We show that known asymptotic series converge in both real and complex domains. We establish the precise domains of convergence and other properties of the series, including…
Vertex algebras can be defined over any differential commutative ring. We develop the general descent theory for vertex algebras over such bases. We apply this to the classification of twisted forms of affine and Heisenberg vertex algebras,…
Throughout the paper, an analytic field means a non-archimedean complete real-valued one, and our main objective is to extend to these fields the basic theory of transcendental extensions. One easily introduces a topological analogue of the…
We consider special Lambert series as generating functions of divisor sums and determine their complete transseries expansion near rational roots of unity. Our methods also yield new insights into the Laurent expansions and modularity…
We develop a categorical framework for reasoning about abstract properties of differentiation, based on the theory of fibrations. Our work encompasses the first-order fragments of several existing categorical structures for differentiation,…
We define and study the theory of derivation-based connections on a recently introduced class of bimodules over an algebra which reduces to the category of modules whenever the algebra is commutative. This theory contains, in particular, a…
Vector fields and line fields, their counterparts without orientations on tangent lines, are familiar objects in the theory of dynamical systems. Among the techniques used in their study, the Morse--Smale decomposition of a (generic) field…
The aim of this note is to determine whether certain non-o-minimal expansions of o-minimal theories which are known to be NIP, are also distal. We observe that while tame pairs of o-minimal structures and the real field with a discrete…
Given an o-minimal expansion $\mathbb{R}_{\mathcal{A}}$ of the real ordered field, generated by a generalized quasianalytic class $\mathcal{A}$, we construct an explicit truncation closed ordered differential field embedding of the Hardy…
We show that maximal analytic Hardy fields are $\eta_1$ in the sense of Hausdorff. We also prove various embedding theorems about analytic Hardy fields. For example, the ordered differential field $\mathbb T$ of transseries is shown to be…
Generalizing Atiyah extensions, we introduce and study differential abelian tensor categories over differential rings. By a differential ring, we mean a commutative ring with an action of a Lie ring by derivations. In particular, these…
This is the first paper in a series in which we lay down the foundations of the theory of interpretations. We systematically study different types of interpretations and their properties. Some of these interpretations are known, while…
We define vector fields, leaves and trajectories for schemes. With these tools, we are able to give a geometrical interpretation and to generalize several results of differential Galois theory and constructions on differential schemes. We…
We develop a first-order theory of ordered transexponential fields in the language $\{+,\cdot,0,1,<,e,T\}$, where $e$ and $T$ stand for unary function symbols. While the archimedean models of this theory are readily described, the study of…
Extensions of previous linear regression models for interval data are presented. A more flexible simple linear model is formalized. The new model may express cross-relationships between mid-points and spreads of the interval data in a…
We present an axiomatic approach to finite- and infinite-dimensional differential calculus over arbitrary infinite fields (and, more generally, suitable rings). The corresponding basic theory of manifolds and Lie groups is developed.…
A supersymmetric theory with several scalar superfields generically has several domain wall type classical configurations which interpolate between various supersymmetric vacua of the scalar fields. Depending on the couplings, some of these…
We employ resurgent transseries as algebraic tools to investigate two self-consistent Dyson-Schwinger equations, one in Yukawa theory and one in quantum electrodynamics. After a brief but pedagogical review, we derive fixed point equations…