Related papers: Check of reality for complex algebraic functions

Let f:X-->R be a function defined on a connected nonsingular real algebraic set X in R^n. We prove that regularity of f can be detected on either algebraic curves or surfaces in X. If dimX>1 and k is a positive integer, then f is a regular…

The main result of the paper is the following generalization of Forelli's theorem: Suppose F is a holomorphic vector field with singular point at p, such that F is linearizable at p and the matrix is diagonalizable with the eigenvalues…

Let $E$ be an elliptic curve defined over a real quadratic field $F$. Let $p > 5$ be a rational prime that is inert in $F$ and assume that $E$ has split multiplicative reduction at the prime $\mathfrak{p}$ of $F$ dividing $p$. Let…

Let k be a field of characteristic zero, V a smooth, positive-dimensional, quasiprojective variety over k, and D a nonempty effective divisor on V. Let K be the function field of V, and A the semilocal ring of D in K. In this paper, we…

Student appreciation of a function is enhanced by understanding the graphical representation of that function. From the real graph of a polynomial, students can identify real-valued solutions to polynomial equations that correspond to the…

Let f : (M,p)\to (M',p') be a formal biholomorphic mapping between two germs of real analytic hypersurfaces in \C^n, p'=f(p). Assuming the source manifold to be minimal at p, we prove the convergence of the so-called reflection function…

Let $p(w)=(w-w_{1})(w-w_{2})(w-w_{3}),$with $\func{Re}w_{1}<\func{Re}w_{2}<\func{Re}w_{3}$. Assume that if the critical points of $p$ are not identical, then they cannot have equal real parts. Define the ratios…

Computing the real solutions to a system of polynomial equations is a challenging problem, particularly verifying that all solutions have been computed. We describe an approach that combines numerical algebraic geometry and sums of squares…

We prove the real non-attractive fixed point conjecture for complex polynomial and rational harmonic functions. A harmonic function $f=h+\overline{g}$ is polynomial (rational) if both $h$ and $g$ are polynomials (rational functions) of…

A linear operator on a finite dimensional nonzero real vector space may not have an eigenvalue. We define a related notion of a true-pair of a linear operator, and then show that each linear operator on a finite dimensional nonzero real…

We prove the following CR version of Artin's approximation theorem for holomorphic mappings between real-algebraic sets in complex space. Let $M\subset \C^N$ be a real-algebraic CR submanifold whose CR orbits are all of the same dimension.…

Let C be an algebraic curve in a power of an elliptic curve, both defined over the algebraic numbers. We show that the set of algebraic points of C which satisfy certain conditions is a finite set. This result has implications with the…

A rational function is the ratio of two complex polynomials in one variable without common roots. Its degree is the maximum of the degrees of the numerator and the denominator. Rational functions belong to the same class if one turns into…

Let $k$ be an algebraically closed field of characteristic zero and $P(x,y)\in k[x,y]$ be a polynomial which depends on all its variables. $P$ has an algebraic constraint if the set $\{(P(a,b),(P(a',b'),P(a',b),P(a,b')\,|\,a,a',b,b'\in k\}$…

We establish the exact overlaps conjecture for iterated functions systems on the real line with algebraic contractions and arbitrary translations.

On logarithmic paper some real algebraic curves look like smoothed broken lines. Moreover, the broken lines can be obtained as limits of those curves. The corresponding deformation can be viewed as a quantization, in which the broken line…

This is the third of a series of papers studying real algebraic threefolds, but the methods are mostly independent from the previous two. Let $f:X\to S$ be a map of a smooth projective real algebraic 3-fold to a surface $S$ whose general…

This paper is concerned with rational curves on real classical groups. Our contributions are three-fold: (i) We determine the structure of quadratic rational curves on real classical groups. As a consequence, we completely classify…

We consider the structure of rational points on elliptic curves in Weierstrass form. Let x(P)=A_P/B_P^2 denote the $x$-coordinate of the rational point P then we consider when B_P can be a prime power. Using Faltings' Theorem we show that…

For any real polynomial $p(x)$ of even degree $n$, Shapiro [{\it Arnold Math. J.} 1(1) (2015), 91--99] conjectured that the sum of the number of real zeros of $(n-1)(p')^2 - np p''$ and the number of real zeros of $p$ is positive. We…