Related papers: Maximal immediate extensions of valued differentia…
Let D be a bounded, finitely connected domain in the complex plane without isolated points in the boundary and let f be a continuous function on the boundary bD. Let F be a continuous extension of f to the closure of D. We prove that f…
In this paper we define a notion of S-extension for a metric space and study minimality and coherence of S-extensions. We show that every S-extension can be identified with an algebraic object. We use this algebraic representation to give a…
An abstract theory of ultradifferentiable sheafs is developed. Moreover, various applications to the theory of linear partial differential equations, differential geometry and, in particular, CR geometry are discussed.
This paper deals with valuations of fields of formal meromorphic functions and their residue fields. We explicitly describe the residue fields of the monomial valuations. We also classify all the discrete rank one valuations of fields of…
We show that constructible models of arbitrary complete continuous first-order theories are unique up to isomorphism.
We study semantic and syntactic properties of spherical orders and their elementary theories, including finite and dense orders and their theories. It is shown that theories of dense $n$-spherical orders are countably categorical and…
We establish that all rings of $S$-integers are universally definable in function fields in one variable over certain ground fields including global and non-archimedean local fields. That is, we show that the complement of such a ring of…
Any unital separable continuous C(X)-algebra with properly infinite fibres is properly infinite as soon as the compact Hausdorff space X has finite topological dimension. We study conditions under which this is still the case in the…
In this paper we obtain the extended genus field of a finite abelian extension of a global rational function field. We first study the case of a cyclic extension of prime power degree. Next, we use that the extended genus fields of a…
We use the notion of universal extension in a linear abelian category to study extensions of variations of mixed Hodge structure and convergent and overconvergent isocrystals. The results we obtain apply, for example, to prove the exactness…
We formulate the full bosonic SL(5) exceptional field theory in a coordinate-invariant manner. Thereby we interpret the 10-dimensional extended space as a manifold with $\mathrm{SL}(5)\times\mathbb{R}^+$-structure. We show that the algebra…
Let $V$ be a left vector space over a division ring and let ${\mathcal P}(V)$ be the associated projective space. We describe all finite subsets $X\subset V$ such that every permutation on $X$ can be extended to a linear automorphism of $V$…
The main goal of this paper is to study some properties of an extension of valuations from classical invariants. More specifically, we consider a valued field $(K,\nu)$ and an extension $\omega$ of $\nu$ to a finite extension $L$ of $K$.…
We study objects in triangulated categories which have a two-dimensional graded endomorphism algebra. Given such an object, we show that there is a unique maximal triangulated subcategory, in which the object is spherical. This general…
We consider the spherical integral of real symmetric or Hermitian matrices when the rank of one matrix is one. We prove the existence of the full asymptotic expansions of these spherical integrals and derive the first and the second term in…
We study existential theories of henselian valued fields of positive characteristic with parameters from a trivially valued subfield. Compared to previous work, we relax perfectness and separability assumptions, and instead work with the…
We prove that for every field k and every positive integer n, there exists an absolutely simple n-dimensional abelian variety over k. We also prove an asymptotic result for finite fields: For every finite field k and positive integer n, we…
A complete first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition.…
As shown in a previous paper, whenever a rational vector field on $\mathbb C^n$, $n>2$, is Liouvillian integrable, then it admits a first integral obtained by two successive integrations from a one-form with coefficients in a finite…
The problem of representation of elements of weighted space of infinitely differentiable functions on real line by exponential series is considered.