Related papers: On numbers, germs, and transseries

We prove that for every ordered abelian group $G$ there exists a non-trivial ordered abelian group $H$ such that $G\preccurlyeq H\oplus G$ with the lexicographic order, and give a first-order characterization of ordered abelian group $G$…

Sequences that are defined by multisums of hypergeometric terms with compact support occur frequently in enumeration problems of combinatorics, algebraic geometry and perturbative quantum field theory. The standard recipe to study the…

We define the universal exponential extension of an algebraically closed differential field and investigate its properties in the presence of a nice valuation and in connection with linear differential equations. Next we prove normalization…

We study the scheme of formal arcs on a singular algebraic variety and its images under truncations. We prove a rationality result for the Poincare series of these images which is an analogue of the rationality of the Poincare series…

We study homomorphisms of multiplicative groups of fields preserving algebraic dependence and show that such homomorphisms give rise to valuations.

We consider series of the form $$ \frac{p}{q} +\sum_{j=2}^\infty \frac{1}{x_j}, $$ where $x_1=q$ and the integer sequence $(x_n)$ satisfies a certain non-autonomous recurrence of second order, which entails that $x_n|x_{n+1}$ for $n\geq 1$.…

We extend the circle of ideas from a previous paper on hypersurfaces to functions $f \colon (\mathbb C^n, 0) \to (\mathbb C^k, 0)$ with an isolated singularity in a stratified sense on an arbitrary, but fixed complex analytic germ $(X, 0)$.…

This article initiates the study of topological transcendental fields $\FF$ which are subfields of the topological field $\CC$ of all complex numbers such that $\FF$ consists of only rational numbers and a nonempty set of transcendental…

Let K be a subfield of the real field, D be a discrete subset of K and f : D^n -> K be a function such that f(D^n) is somewhere dense. Then (K,f) defines the set of integers. We present several applications of this result. We show that K…

We present an overview of some recent developments in the theory of generalized formal series, grounded in diffeological geometric framework. These constructions aim to offer new tools for understanding infinite-dimensional phenomena in…

We construct a class of nonabelian superconformal (1,0) hypermultiplet theories in six dimensions by introducing an abelian auxiliary field. The gauge fields of this class of theories are non-dynamical, and this class of theories can be…

We present in this paper quantum real lines as quantum defomations of the real numbers $\R$.Upon deforming the Heisenberg algebra $\cL$ generated by $(a, a^\dagger)$ in terms of the Moyal $\ast$-product,we first construct q-deformed…

In this paper, we give a very general criterion for elimination of imaginaries using an abstract independent relation. We also study germs of definable functions at certain well-behaved invariant types. Finally we apply these tools to the…

I consider the expansion of transcendental functions in a small parameter around rational numbers. This includes in particular the expansion around half-integer values. I present algorithms which are suitable for an implementation within a…

We fix a counting function of multiplicities of algebraic points in a projective hypersurface over a number field, and take the sum over all algebraic points of bounded height and fixed degree. An upper bound for the sum with respect to…

We show that every henselian valued field $L$ of residue characteristic 0 admits a proper subfield $K$ which is dense in $L$. We present conditions under which this can be taken such that $L|K$ is transcendental and $K$ is henselian. These…

Given a complex algebraic variety X, we define a natural number called the motivic dimension which measures the amount of transcendental (co)homology of X. It is zero precisely when all the (co)homolgy is spanned by algebraic cycles. Most…

Using Serre's adelic interpretation of cohomology, we develop a `differential and integral calculus' on an algebraic curve X over an algebraically closed filed k of constants of characteristic zero, define algebraic analogs of additive…

In 1988, Andrews, Dyson and Hickerson initiated the study of q-hypergeometric series whose coefficients are dictated by the arithmetic in real quadratic fields. In this paper, we provide a dozen q-hypergeometric double sums which are…

Let $G$ be a linear algebraic group over a field $k$ of characteristic 0. We show that any two connected semisimple $k$-subgroups of $G$ that are conjugate over an algebraic closure of $k$ are actually conjugate over a finite field…