Related papers: Positive semidefinite analytic functions on real a…
We construct examples of complex algebraic surfaces not admitting normal embeddings (in the sense of semialgebraic or subanalytic sets) with image a complex algebraic surface.
We define an analogue of the Baernstein star function for a meromorphic function f in several complex variables. This function is subharmonic on the upper half-plane and encodes some of the main functionals attached to f.We then…
A real seminormed involutive algebra is a real associative algebra ${\mathcal A}$ endowed with an involutive antiautomorphism $*$ and a submultiplicative seminorm $p$ with $p(a^*) =p(a)$ for $a\in {\mathcal A}$. Then ${\mathop{\tt…
In this paper we study the pluripolar hulls of analytic sets. In particular, we show that hulls of graphs of analytic functions can be multiple sheeted and sheets can be separated by a set of zero dimension.
We prove that the subdifferential of any semi-algebraic extended-real-valued function on $\R^n$ has $n$-dimensional graph. We discuss consequences for generic semi-algebraic optimization problems.
Suppose that $F$ is a smooth and connected complex surface (not necessarily compact) containing a smooth rational curve $C$ with positive self-intersection. We prove that there exists a neighborhood $U\supset C$ such that any meromorphic…
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,…
It is shown that a real-valued formal meromorphic function on a formal generic submanifold of finite Kohn-Bloom-Graham type is necessarily constant.
We prove inequalities on non-integer powers of products of generalized matrices functions on the sum of positive semi-definite matrices. For example, for any real number $r \in \{1\} \cup [2, \infty)$, positive semi-definite matrices $A_i,\…
We prove a new bound on the number of shared values of distinct meromorphic functions on a compact Riemann surface, explain a mistake in a previous paper on this topic, and give a survey of related questions.
A realization is a triple, $(A,b,c)$, consisting of a $d-$tuple, $A= (A =_1, \cdots, A_d )$, $d\in \mathbb{N}$, of bounded linear operators on a separable, complex Hilbert space, $\mathcal{H}$, and vectors $b,c \in \mathcal{H}$. Any such…
We classify real-analytic $\mathrm{SL}(n,\mathbb{R})$-actions on closed manifolds of dimension m for $3\leq n\leq m\leq2n-3$, which extends Fisher--Melnick's work for $\mathrm{SL}(n,\mathbb{R})$-actions on closed n-manifolds. Additionally,…
This memoir is devoted to the study of formal-analytic arithmetic surfaces. These are arithmetic counterparts, in the context of Arakelov geometry, of germs of smooth complex-analytic surfaces along a projective complex curve.…
In this paper, by making use of properties of elliptic functions, we describe meromorphic solutions of Fermat-type functional equations $f(z)^{n}+f(L(z))^{m}=1$ over the complex plane $\mathbb{C}$, where $L(z)$ is a nonconstant entire…
The aim of this article is to complete results of [M.00] and [B.08] and to show that they imply a rather general existence theorem for meromorphic quotient of strongly quasi-proper meromorphic equivalence relations. In this context, generic…
We introduce the concept of disjunctive sum of squares for certifying nonnegativity of polynomials. Unlike the popular sum of squares approach where nonnegativity is certified by a single algebraic identity, the disjunctive sum of squares…
We derive an explicit simple formula for expectations of all Schur functions in the real Ginibre ensemble. It is a positive integer for all entries of the partition even and zero otherwise. The result can be used to determine the average of…
The functional equation f(p(z))=g(q(z)) is studied, where p,q are polynomials and f,g are trancendental meromorphic functions in C. We find all the pairs p,q for which there exist nonconstant f,g satisfying our equation and there exist no…
Many algorithms for determining properties of real algebraic or semi-algebraic sets rely upon the ability to compute smooth points. Existing methods to compute smooth points on semi-algebraic sets use symbolic quantifier elimination tools.…
Given a non-negative weight $v$, not necessarily bounded or strictly positive, defined on a domain $G$ in the complex plane, we consider the weighted space $H_v^\infty(G)$ of all holomorphic functions on $G$ such that the product $v|f|$ is…