Related papers: On functions given by algebraic power series over …
The main results of this paper are a Cell Decomposition Theorem for Henselian valued fields with analytic structure in an analytic Denef-Pas language, and its application to analytic motivic integrals and analytic integrals over…
Let $\sum a_nx^n\in\bar{\mathbb{Q}}[[x]]$ be the power series representation of a rational function and let $f:\ \{0,1,\ldots\}\rightarrow \bar{\mathbb{Q}}$ be a so-called almost quasi-polynomial. Under a necessary stability condition, we…
We explain how to encode an algebraic series by finite data and how to do effective arithmetic on the level of these encodings. The reasoning is based on the Newton-Puiseux algorithm and an effective equality test for algebraic series.…
We consider the theory of algebraically closed fields of characteristic zero with multivalued operations $x\mapsto x^r$ (raising to powers). It is in fact the theory of equations in exponential sums. In an earlier paper we have described…
Let $K$ be a Henselian, non-trivially valued field with separated analytic structure. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$. Hence directly follow definable non-Archimedean…
We prove a number of p-adic congruences for the coefficients of powers of a multivariate polynomial f(x) with coefficients in a ring R of characteristic zero. If the Hasse--Witt operation is invertible, our congruences yield p-adic limit…
In this technical report, certain interesting classification of arithmetical functions is proposed. The notion of additively decomposable and multiplicatively decomposable arithmetical functions is proposed. The concepts of arithmetical…
Consider a fibered power of an elliptic surface. We characterize its subvarieties that contain a Zariski dense set of points that are torsion points in fibers with complex multiplication. This result can be viewed as a mix of the…
We construct an explicit filtration of the ring of algebraic power series by finite dimensional constructible sets, measuring the complexity of these series. As an application, we give a bound on the dimension of the set of algebraic power…
The paper proves that all power series over a maximal ordered Cauchy complete non-Archimedean field satisfy the intermediate value theorem on every closed interval. Hensel's Lemma for restricted power series is the main tool of the proof.
Recently, the conception of slice regular functions was allowed to introduce a new quaternionic functional calculus, among which the theory of semigroups of linear operators was developed into the quaternionic setting, even in a more…
We prove an algebraicity result for the central critical value of certain Rankin-Selberg L-functions for GL(n) x GL(n-1). This is a generalization and refinement of some results of Harder, Kazhdan-Mazur-Schmidt, Mahnkopf, and…
Notions of rank abound in the literature on tensor decomposition. We prove that strength, recently introduced for homogeneous polynomials by Ananyan-Hochster in their proof of Stillman's conjecture and generalised here to other tensors, is…
We investigate the computability-theoretic properties of valued fields, and in particular algebraically closed valued fields and $p$-adically closed valued fields. We give an effectiveness condition, related to Hensel's lemma, on a valued…
In this paper we prove a functional limit theorem for the weighted profile of a $b$-ary tree. For the proof we use classical martingales connected to branching Markov processes and a generalized version of the profile-polynomial martingale.…
We give an automata-theoretic description of the algebraic closure of the rational function field F_q(t) over a finite field, generalizing a result of Christol. The description takes place within the Hahn-Mal'cev-Neumann field of…
We prove that the standard conjecture of Hodge type holds for powers of abelian threefolds. Along the way, we also prove the conjecture for powers of simple abelian variety of prime dimension over finite fields, and in other related cases…
Let K be an algebraically closed field of characteristic p. We exhibit a counterexample against a theorem asserted in one of our earlier papers, which claims to characterize the integral closure of K((t)) within the field of…
We give a criterion for maps on ultrametric spaces to be surjective and to preserve spherical completeness. We show how Hensel's Lemma and the multi-dimensional Hensel's Lemma follow from our result. We give an easy proof that the latter…
We work with semi-algebraic functions on arbitrary real closed fields. We generalize the notion of critical values and prove a Sard type theorem in our framework.