Showing 1–10 of 10 results for author: Bagayoko, V

Formal conjugacy and asymptotic differential algebra

Authors: Vincent Bagayoko

Abstract: We study conjugacy of formal derivations on fields of generalised power series in characteristic 0. Casting the problem of Poincaré resonance in terms of asymptotic differential algebra, we give conditions for conjugacy of parabolic flat log-exp transseries, flat grid-based transseries, logarithmic transseries, power series with exponents and coefficients in an ordered field, and formal Puiseux se… ▽ More We study conjugacy of formal derivations on fields of generalised power series in characteristic 0. Casting the problem of Poincaré resonance in terms of asymptotic differential algebra, we give conditions for conjugacy of parabolic flat log-exp transseries, flat grid-based transseries, logarithmic transseries, power series with exponents and coefficients in an ordered field, and formal Puiseux series. △ Less

Submitted 28 February, 2025; v1 submitted 25 September, 2024; originally announced September 2024.

Comments: 17 pages

Hyperseries subfields of surreal numbers

Authors: Vincent Bagayoko

Abstract: We study subfields of surreal numbers, called hyperseries fields, that are suited to be equipped with derivations and composition laws. We show how to define embeddings on hyperseries fields that commute with transfinite sums and all hyperexponential and hyperlogarithmic functions. We study subfields of surreal numbers, called hyperseries fields, that are suited to be equipped with derivations and composition laws. We show how to define embeddings on hyperseries fields that commute with transfinite sums and all hyperexponential and hyperlogarithmic functions. △ Less

Submitted 4 October, 2024; v1 submitted 24 September, 2024; originally announced September 2024.

Comments: 31 pages

Equations over valued groups

Authors: Vincent Bagayoko

Abstract: We study groups, exponential groups and ordered groups equipped with valuations. We investigate algebraic and topological features of such valued structures, and apply our findings in order to solve regular equations over groups using simple valuation theoretic arguments. We study groups, exponential groups and ordered groups equipped with valuations. We investigate algebraic and topological features of such valued structures, and apply our findings in order to solve regular equations over groups using simple valuation theoretic arguments. △ Less

Submitted 23 September, 2024; originally announced September 2024.

Comments: 40 pages

Groups with infinite linearly ordered products

Authors: Vincent Bagayoko

Abstract: We introduce a formalism for considering infinite, linearly ordered products in groups. Using this, we define infinite compositions in certain groups of formal power series and show that such series can sometimes be represented as infinite, linearly ordered, semidirect products of ordered Abelian groups. We introduce a formalism for considering infinite, linearly ordered products in groups. Using this, we define infinite compositions in certain groups of formal power series and show that such series can sometimes be represented as infinite, linearly ordered, semidirect products of ordered Abelian groups. △ Less

Submitted 12 March, 2024; originally announced March 2024.

Comments: 30 pages

Automorphisms and derivations on algebras endowed with formal infinite sums

Authors: Vincent Bagayoko, Lothar Sebastian Krapp, Salma Kuhlmann, Daniel Panazzolo, Michele Serra

Abstract: We establish a correspondence between automorphisms and derivations on certain algebras of generalised power series. In particular, we describe a Lie algebra of derivations on a field $k(\!(G)\!)$ of generalised power series, exploiting our knowledge of its group of valuation preserving automorphisms. The correspondence is given by the formal Taylor expansion of the exponential. In order to define… ▽ More We establish a correspondence between automorphisms and derivations on certain algebras of generalised power series. In particular, we describe a Lie algebra of derivations on a field $k(\!(G)\!)$ of generalised power series, exploiting our knowledge of its group of valuation preserving automorphisms. The correspondence is given by the formal Taylor expansion of the exponential. In order to define the exponential map, we develop an appropriate notion of summability of infinite families in algebras. We show that there is a large class of algebras in which the exponential induces the above correspondence. △ Less

Submitted 9 March, 2024; originally announced March 2024.

Comments: 38 pages, 2 figures

Sign sequences of log-atomic numbers

Authors: Vincent Bagayoko

Abstract: Log-atomic numbers are surreal numbers whose iterated logarithms are monomials, and consequently have a trivial expansion as transseries. Presenting surreal numbers as sign sequences, we give the sign sequence formula for log-atomic numbers. To that efect, we relate log-atomic numbers to fixed-points of certain surreal functions. Log-atomic numbers are surreal numbers whose iterated logarithms are monomials, and consequently have a trivial expansion as transseries. Presenting surreal numbers as sign sequences, we give the sign sequence formula for log-atomic numbers. To that efect, we relate log-atomic numbers to fixed-points of certain surreal functions. △ Less

Submitted 24 February, 2024; originally announced February 2024.

Comments: 17 pages

On ordered groups of regular growth rates

Authors: Vincent Mamoutou Bagayoko

Abstract: We introduce an elementary class of linearly ordered groups, called growth order groups, encompassing certain groups under composition of formal series (e.g. transseries) as well as certain groups $\mathcal{G}_{\mathcal{M}}$ of infinitely large germs at infinity of unary functions definable in an o-minimal structure $\mathcal{M}$. We study the algebraic structure of growth order groups and give me… ▽ More We introduce an elementary class of linearly ordered groups, called growth order groups, encompassing certain groups under composition of formal series (e.g. transseries) as well as certain groups $\mathcal{G}_{\mathcal{M}}$ of infinitely large germs at infinity of unary functions definable in an o-minimal structure $\mathcal{M}$. We study the algebraic structure of growth order groups and give methods for constructing examples. We show that if $\mathcal{M}$ expands the real ordered field and germs in $\mathcal{G}_{\mathcal{M}}$ are levelled in the sense of Marker & Miller, then $\mathcal{G}_{\mathcal{M}}$ is a growth order group. △ Less

Submitted 26 May, 2025; v1 submitted 1 February, 2024; originally announced February 2024.

Comments: 42 pages, Comments are welcome

Surreal numbers as hyperseries

Authors: Vincent Bagayoko, Joris van der Hoeven

Abstract: Surreal numbers form the ultimate extension of the field of real numbers with infinitely large and small quantities and in particular with all ordinal numbers. Hyperseries can be regarded as the ultimate formal device for representing regular growth rates at infinity. In this paper, we show that any surreal number can naturally be regarded as the value of a hyperseries at the first infinite ordina… ▽ More Surreal numbers form the ultimate extension of the field of real numbers with infinitely large and small quantities and in particular with all ordinal numbers. Hyperseries can be regarded as the ultimate formal device for representing regular growth rates at infinity. In this paper, we show that any surreal number can naturally be regarded as the value of a hyperseries at the first infinite ordinal $ω$. This yields a remarkable correspondence between two types of infinities: numbers and growth rates. △ Less

Submitted 23 October, 2023; originally announced October 2023.

Comments: 62 pages, 4 figures, comments are welcome

The hyperserial field of surreal numbers

Authors: Vincent Bagayoko, Joris van der Hoeven

Abstract: For any ordinal $α> 0$, we show how to define a hyperexponential $E_{ω^α}$ and a hyperlogarithm $L_{ω^α}$ on the class $\mathbf{No}^{>, \succ}$ of positive infinitely large surreal numbers. Such functions are archetypes of extremely fast and slowly growing functions at infinity. We also show that the surreal numbers form a so-called hyperserial field for our definition. For any ordinal $α> 0$, we show how to define a hyperexponential $E_{ω^α}$ and a hyperlogarithm $L_{ω^α}$ on the class $\mathbf{No}^{>, \succ}$ of positive infinitely large surreal numbers. Such functions are archetypes of extremely fast and slowly growing functions at infinity. We also show that the surreal numbers form a so-called hyperserial field for our definition. △ Less

Submitted 23 October, 2023; originally announced October 2023.

Comments: 44 pages, comments are welcome

Surreal substructures

Authors: Vincent Bagayoko, Joris van der Hoeven

Abstract: Conway's field No of surreal numbers comes both with a natural total order and an additional "simplicity relation" which is also a partial order. Considering No as a doubly ordered structure for these two orderings, an isomorphic copy of No into itself is called a surreal substructure. It turns out that many natural subclasses of No are actually of this type. In this paper, we study various constr… ▽ More Conway's field No of surreal numbers comes both with a natural total order and an additional "simplicity relation" which is also a partial order. Considering No as a doubly ordered structure for these two orderings, an isomorphic copy of No into itself is called a surreal substructure. It turns out that many natural subclasses of No are actually of this type. In this paper, we study various constructions that give rise to surreal substructures and analyze important examples in greater detail. △ Less

Submitted 3 May, 2023; originally announced May 2023.