Related papers: Semi-algebraic geometry with rational continuous f…
We expand our previously founded basic theory of equiresidual algebraic geometry over an arbitrary commutative field, to a well-behaved theory of (equiresidual) algebraic varieties over a commutative field, thanks to the generalisation of…
Given a generic semidefinite program, specified by matrices with rational entries, each coordinate of its optimal solution is an algebraic number. We study the degree of the minimal polynomials of these algebraic numbers. Geometrically,…
This paper develops the geometry of locally bounded rational functions on non-singular real algebraic varieties. First various basic geometric and algebraic results regarding these functions are established in any dimension, culminating…
We continue, in this second article, the study of the the algebraic tools which play a role in tropical algebra. We especially examine here the polynomial algebras over idempotent semi-fields. this work is motivated by the development of…
We study the algebraic boundary of a convex semi-algebraic set via duality in convex and algebraic geometry. We generalize the correspondence of facets of a polytope to the vertices of the dual polytope to general semi-algebraic convex…
We report on implementations for algorithms treating algebraic and arithmetic properties of hypergeometric functions in the computer algebra system SageMath. We treat hypergeometric series over the rational numbers, over finite fields, and…
The numerical range of a matrix is studied geometrically via the cone of positive semidefinite matrices (or semidefinite cone for short). In particular it is shown that the feasible set of a two-dimensional linear matrix inequality (LMI),…
The numerical range of a matrix is studied geometrically via the cone of positive semidefinite matrices (or semidefinite cone for short). In particular it is shown that the feasible set of a two-dimensional linear matrix inequality (LMI),…
A hyperbolic algebraic curve is a bounded subset of an algebraic set. We study the function theory and functional analytic aspects of these sets. We show that their function theory can be described by finite codimensional subalgebras of the…
We give complete, finite quasiequational axiomatisations for algebras of unary partial functions under the operations of composition, domain, antidomain, range and intersection. This completes the extensive programme of classifying algebras…
We give a combinatorial interpretation for the hypergeometric functions associated with tuples of rational numbers.
This is a survey article on the currently very active research area of free (=non-commutative) real algebra and geometry. We first review some of the important results from the commutative theory, and then explain similarities and…
Let k be an algebraically closed field of characteristic zero. An element F from k(x_1,...,x_n) is called a closed rational function if the subfield k(F) is algebraically closed in the field k(x_1,...,x_n). We prove that a rational function…
Given any arbitrary semi-algebraic set $X$, any two points in $X$ may be joined by a piecewise $C^2$ path $\gamma$ of shortest length. Suppose $\mathcal{A}$ is a semi-algebraic stratification of $X$ such that each component of $\gamma \cap…
A toral algebraic set $A$ is an algebraic set in $\C^n$ whose intersection with $\T^n$ is sufficiently large to determine the holomorphic functions on $A$. We develop the theory of these sets, and give a number of applications to function…
An important result in real algebraic geometry is the projection theorem: every projection of a semialgebraic set is again semialgebraic. This theorem and some of its conclusions lie at the basis of many other results, for example the…
In the paper, I considered construction of algebra of fractions of algebra with conjugation. I also considered algebra of polynomials and algebra of rational mappings over algebra with conjugation.
In our previous work, we have constructed explicit smooth real algebraic functions which may have both compact and non-compact preimages on smooth real algebraic manifolds. This paper presents its variant. Our result is new in obtaining…
We characterize pairs of rational functions $A$, $B$ such that $A$ is semiconjugate to $B$, and $B$ is semiconjugate to $A$.
Let $(K,\nu)$ be a real closed valued field, and let $S\subseteq K^n$ be a definable open semi-algebraic set. We find an algebraic characterization of rational functions which are OVF-integral on $S$. We apply the existing model theoretic…