Related papers: Check of reality for complex algebraic functions

As a pioneering work we construct explicit real algebraic functions which may have both compact and non-compact preimages. The author has obtained explicit real algebraic functions with preimages satisfying some nice conditions. More…

The multiplicity of an algebraic curve $C$ in the complex plane at a point $p$ on that curve is defined as the number of points that occur at the intersection of $C$ with a general complex line that passes close to the point $p$. It is…

We verify that a large portion of the theory of complex operator spaces and operator algebras (as represented by the 2004 book by the author and Le Merdy for specificity) transfers to the real case. We point out some of the results that do…

Let X be a non-singular projective hypersurface of degree 4, which is defined over the rational numbers. Assume that X has dimension 39 or more, and that X contains a real point and p-adic points for every prime p. Then X is shown to…

Let f : (M,p)\to (M',p') be a formal (holomorphic) nondegenerate map, i.e. with formal holomorphic Jacobian J_f not identically vanishing, between two germs of real analytic generic submanifolds in \C^n, p'=f(p). Assuming the target…

Let $(P, Q)$ be a pair of Jacobian polynomials. We can show that $ <P, Q>+l+2g(P)-2= 0= <P, [P,Q]>$, where $<f, g>$ is the intersection number of $f, g\in \CC[x, y]$ in the affine plane, $l$ is the number of branch at point at infinity and…

Given a real closed polytope $P$, we first describe the Fourier transform of its indicator function by using iterations of Stokes' theorem. We then use the ensuing Fourier transform formulations, together with the Poisson summation formula,…

A positive integer $n$ is practical if every $m \leq n$ can be written as a sum of distinct divisors of $n$. One can generalize the concept of practical numbers by applying an arithmetic function $f$ to each of the divisors of $n$ and…

In this paper, the proof of the existence of a rational point on an elliptic curve is transformed into the proof of the existence of an integer solution for a Diophantine equation. By a new formula for calculating the number of elements in…

We formalize the quantum arithmetic, i.e. a relationship between number theory and operator algebras. Namely, it is proved that rational projective varieties are dual to the $C^*$-algebras with real multiplication. Our construction fits all…

We prove a $p$-converse theorem for elliptic curves $E/\mathbb{Q}$ with complex multiplication by the ring of integers $\mathcal{O}_K$ of an imaginary quadratic field $K$ in which $p$ is ramified. Namely, letting $r_p =…

We present here "the" cartesian closed theory for real analytic mappings. It is based on the concept of real analytic curves in locally convex vector spaces. A mapping is real analytic, if it maps smooth curves to smooth curves and real…

In physics, Lie groups represent the algebraic structure that describes symmetry transformations of a given system. Then, the descending Lie algebra of those groups are necessarily real. In most cases, the complexification of those Lie…

In this article, we study some potential theoretical and topological aspects of the generalized Mandelbrot set introduced by Baker and DeMarco. For $\alpha$ real, we study the set of all totally real algebraic parameters $c$ such that…

Let f and g two rational functions having the same Julia set J_f. Lets suppose that f has a rational indifferent periodic point and that the critical set of f is disjoint of J_f. Then or J_f has to be equal to P^1, a circle, an arc of a…

Let G be a linear algebraic group over the field of real numbers R, and let Y be a right homogeneous space of G. We wish to find a real point of Y or to prove that Y has no real points. We describe a method to do that, implicitly using…

Many proofs of the Fundamental Theorem of Algebra, including various proofs based on the theory of analytic functions of a complex variable, are known. To the best of our knowledge, this proof is different from the existing ones.

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 study natural additional structures on real algebraic surfaces with trivial first homology mod 2 of the complexification. If the set of real points realizes the zero of the second homology mod 2 of the complexification, then the set of…

Many combinatorial problems can be formulated as a polynomial optimization problem that can be solved by state-of-the-art methods in real algebraic geometry. In this paper we explain many important methods from real algebraic geometry, we…