Related papers: Dynamic Newton-Puiseux Theorem
We generalize Iskovskih's theorem about surfaces without irregularity and bigenus from the smooth case to regular surfaces over arbitrary fields, with special focus on the case of imperfect fields. This includes surfaces that are…
I provide a systematic construction of points, defined over finite radical extensions, on any Legendre curve over any field of characteristic not equal two. This includes as special case Douglas Ulmer's construction of rational points over…
We show that algebraic formulas and constant-depth circuits are closed under taking factors. In other words, we show that if a multivariate polynomial over a field of characteristic zero has a small constant-depth circuit or formula, then…
A few generalizations of a Poisson algebra to field theory canonically formulated in terms of the polymomentum variables are discussed. A graded Poisson bracket on differential forms and an $(n+1)$-ary bracket on functions are considered.…
Many proofs of the fundamental theorem of algebra rely on the fact that the minimum of the modulus of a complex polynomial over the complex plane is attained at some complex number. The proof then follows by arguing the minimum value is…
The aim of this paper is to unify the points of view of three recent and independent papers (Ventura 1997, Margolis, Sapir and Weil 2001 and Kapovich and Miasnikov 2002), where similar modern versions of a 1951 theorem of Takahasi were…
Galois theory is developed using elementary polynomial and group algebra. The method follows closely the original prescription of Galois, and has the benefit of making the theory accessible to a wide audience. The theory is illustrated by a…
We study nonconstant rational solutions of \[ x'=A_3(t)x^{n_3}+A_2(t)x^{n_2}+A_1(t)x^{n_1}, \qquad 1<n_1<n_2<n_3, \] with $A_i\in\Bbbk[t]$, $\Bbbk\in\{\mathbb R,\mathbb C\}$. We prove that every such solution is of the form $x=1/p(t)$, and…
Dynamical systems with quadratic or polynomial drift exhibit complex dynamics, yet compared to nonlinear systems in general form, are often easier to analyze, simulate, control, and learn. Results going back over a century have shown that…
We establish algebraicity criteria for formal germs of curves in algebraic varieties over number fields and apply them to derive a rationality criterion for formal germs of functions, which extends the classical rationality theorems of…
We consider the family of dynamical modular curves associated to quadratic polynomial maps and determine precisely which of these curves have infinitely many cubic points. We use this to prove a classification statement on preperiodic…
Sturm's theorem (1829/35) provides an elegant algorithm to count and locate the real roots of any real polynomial. In his residue calculus (1831/37) Cauchy extended Sturm's method to count and locate the complex roots of any complex…
In this paper we study division algebras over the function fields of curves over $\Q_p$. The first and main tool is to view these fields as function fields over nonsingular $S$ which are projective of relative dimension 1 over the $p$ adic…
We give a combinatorial upper bound for the gonality of a curve that is defined by a bivariate Laurent polynomial with given Newton polygon. We conjecture that this bound is generically attained, and provide proofs in a considerable number…
In this paper, we study some of the factorization aspects of rational multicyclic monoids, that is, additive submonoids of the nonnegative rational numbers generated by multiple geometric sequences. In particular, we provide a complete…
We show how the size of the Galois groups of iterates of a quadratic polynomial $f(x)$ can be parametrized by certain rational points on the curves $C_n:y^2=f^n(x)$ and their quadratic twists. To that end, we study the arithmetic of such…
We formulate Yang-Mills theory in terms of the large-N limit, viewed as a classical limit, of gauge-invariant dynamical variables, which are closely related to Wilson loops, via deformation quantization. We obtain a Poisson algebra of these…
The image of a polynomial map is a constructible set. While computing its closure is standard in computer algebra systems, a procedure for computing the constructible set itself is not. We provide a new algorithm, based on algebro-geometric…
From the works of Rauzy and Thurston, we know how to construct (multiple) tilings of some Euclidean space using the conjugates of a Pisot unit $\beta$ and the greedy $\beta$-transformation. In this paper, we consider different…
A two-dimensional Gauss-Kuzmin theorem for $N$-continued fraction expansions is shown. More exactly, we obtain a Gauss-Kuzmin theorem related to the natural extension of the measure-dynamical system corresponding to these expansions. Then,…