Related papers: A proof of Kurdyka's conjecture on arc-analytic fu…
We prove that every arc-analytic semialgebraic function on an arc-symmetric set admits an arc-analytic semialgebraic extension to the whole ambient Euclidean space.
It is shown that every C-semianalytic arc-symmetric set can be realized as the zero locus of an arc-analytic function. As a consequence, a Nash globally subanalytic arc-symmetric set is the zero locus of a continuous globally-subanalytic…
We present a new notion of decomposition of semialgebraic sets by introducing a mode of irreducibility based on arc-analytic functions. The result is a refinement of the decomposition of such sets with respect to the Zariski topology as…
Kurdyka-{\L}ojasiewicz (K{\L}) functions are real-valued functions characterized by a differential inequality involving the norm of their gradient. This class of functions is quite rich, containing objects as diverse as subanalytic,…
In this paper we show that the non-analyticity locus of an arc-analytic function is arc-symmetric. Recall that a function is called arc-analytic if it is real analytic on each real analytic arc. By a result of Bierstone and Milman a big…
We show that a function is real analytic at the origin iff it is arc-analytic, has a subanalytic graph, and its restriction to every monomial curve is analytic. This complements recent results of Kucharz and Kurdyka.
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…
We show that the zero locus of a normal function on a smooth complex algebraic variety S is algebraic provided that the normal function extends to a admissible normal function on a smooth compactification of S with torsion singularity. This…
Let K be an algebraically closed field of characteristic zero, endowed with a complete nonarchimedean norm. Let X be a K-rigid analytic variety and \Sigma a semianalytic subset of X. Then the closure of \Sigma in X with respect to the…
A hyperbolic transcendental entire function with connected Fatou set is said to be "of disjoint type". It is known that a disjoint-type function provides a model for the dynamics near infinity of all maps in the same parameter space; hence…
In this paper, we prove Fukui-Kurdyka-Paunescu's Conjecture, which says that subanalytic arc-analytic bi-Lipschitz homeomorphisms preserve the multiplicities of real analytic sets. We also prove several other results on the invariance of…
Basic properties of symplectic reflection algebras over an algebraically closed field k of positive characteristic are laid out. These algebras are always finite modules over their centres, in contrast to the situation in characteristic 0.…
This paper focuses on a class of zero-norm composite optimization problems. For this class of nonconvex nonsmooth problems, we establish the Kurdyka-Lojasiewicz property of exponent being a half for its objective function under a suitable…
We prove that the zero locus of an admissible normal function over an algebraic parameter space S is algebraic in the case where S is a curve.
We prove Veech's conjecture on the equivalence of Sarnak's conjecture on M\"obius orthogonality with a Kolmogorov type property of Furstenberg systems of the M\''obius function. This yields a combinatorial condition on the M\"obius function…
We show that the zero locus of an admissible normal function on a smooth complex algebraic variety is algebraic.
Semi-algebraic set is a subset of the real space defined by polynomial equations and inequalities. In this paper, we consider the problem of deciding whether two given points in a semi-algebraic set are connected. We restrict to the case…
Arakelian's classical approximation theorem \cite{Ar} gives necessary and sufficient conditions such that functions can be uniformly approximated in (unbounded) closed sets $F\subset \mathbb{C}$ by entire functions. The conditions are…
This paper is devoted to study multiplicity and regularity as well as to present some classifications of complex analytic sets. We present an equivalence for complex analytical sets, namely blow-spherical equivalence and we receive several…
A brief proof of the statement that the zero-set of a nontrivial real-analytic function in $d$-dimensional space has zero measure is provided.