Related papers: Places, cuts and orderings of function fields

We consider the algebraic curve defined by $y^m = f(x)$ where $m \geq 2$ and $f(x)$ is a rational function over $\mathbb{F}_q$. We extend the concept of pure gap to {\bf c}-gap and obtain a criterion to decide when an $s$-tuple is a {\bf…

Let K be an algebraically closed field of characteristic zero. Given a polynomial f(x,y) in K[x,y] with one place at infinity, we prove that either f is equivalent to a coordinate, or the family (f+c) has at most two rational elements. When…

In engineering practice one often encounters planar problems, where the corresponding vector space of forces, velocities or (infinitesimal) displacements is three dimensional. This paper shows how these spaces can be factorized, such that…

We study maps from a 2D world-sheet to a 2D target space which include folds. The geometry of folds is discussed and a metric on the space of folded maps is written down. We show that the latter is not invariant under area preserving…

Stone's representation theorem asserts a duality between Boolean algebras on the one hand and Stone space, which are compact, Hausdorff, and totally disconnected, on the other. This duality implies a natural isomorphism between the…

This is an experimental case study in real algebraic geometry, aimed at computing the image of a semialgebraic subset of 3-space under a polynomial map into the plane. For general instances, the boundary of the image is given by two highly…

We show that for any two convex curves $C_1$ and $C_2$ in $\mathbb R^d$ parametrized by $[0,1]$ with opposite orientations, there exists a hyperplane $H$ with the following property: For any $t\in [0,1]$ the points $C_1(t)$ and $C_2(t)$ are…

We study the relationship between many natural conditions that one can put on a diffeological vector space: being fine or projective, having enough smooth (or smooth linear) functionals to separate points, having a diffeology determined by…

The papers \cite{O1,O2} are the first works to apply the theory of fiber bundles in the study of the quaternionic slice regular functions. The main goal of the present work is to extend the results given in \cite{O1}, where the quaternionic…

Motivated by the recent connection between pole-skipping phenomena of two point functions and four point out-of-time-order correlators (OTOCs), we study the pole structure of thermal two-point functions in $d$-dimensional conformal field…

We give a geometric description of the parabolic bifurcation locus in the space $\operatorname{Rat}_d$ of all rational functions on $\mathbb{P}^1$ of degree $d>1$, generalizing the study by Morton and Vivaldi in the case of monic…

An elegant description of the general form of order automorphisms of effect algebras has been known in the complex case. We present a much simpler proof based on the projective geometry which works also in the real case. As an application…

We explicitly construct an Archimedean order unit space whose state space is affinely isomorphic to the set of quantum commuting correlations. Our construction only requires fundamental techniques from the theory of order unit spaces and…

We investigate when a computable automorphism of a computable field can be effectively extended to a computable automorphism of its (computable) algebraic closure. We then apply our results and techniques to study effective embeddings of…

In this paper, a study of topological and algebraic properties of two families of functions from the unit interval $I$ into the plane $\mathbb{R}^2$ is performed. The first family is the collection of all Peano curves, that is, of those…

We prove that the pointwise product of two holomorphic functions of the upper half-plane, one in the Hardy space $\mathcal H^1$, the other one in its dual, belongs to a Hardy type space. Conversely, every holomorphic function in this space…

Cylindrical algebraic decomposition (CAD) is a key tool for problems in real algebraic geometry and beyond. When using CAD there is often a choice over the variable ordering to use, with some problems infeasible in one ordering but simple…

We study the spaces of stable real and quaternionic vector bundles on a real algebraic curve. The basic relationship is established with unitary representations of an extension Z/2 by the fundamental group. By comparison with the space of…

Space-filling curves like the Hilbert-curve, Peano-curve and Z-order map natural or real numbers from a two or higher dimensional space to a one dimensional space preserving locality. They have numerous applications like search structures,…

We provide criteria for deciding whether a given planar curve is an image of a given spatial curve, obtained by a central or a parallel projection with unknown parameters. These criteria reduce the projection problem to a certain…