Related papers: A Characterization of regular points by $L^2$ Exte…

In this paper we examinate some phenomena arising when a holomorphic germ is analytically continued.

If $R$ is a real analytic set in $\C^n$ (viewed as $\R^{2n}$), then for any point $p\in R$ there is a uniquely defined germ $X_p$ of the smallest complex analytic variety which contains $R_p$, the germ of $R$ at $p$. It is shown that if $R$…

We prove a singular version of the Engel theorem. We prove a normal form theorem for germs of holomorphic singular Engel systems with good conditions on its singular set. As an application, we prove that there exists an integral analytic…

We prove the existence (and give a characterization) of a germ of complex analytic set left invariant by an abelian group of germs of holomorphic diffeomorphisms at a common fixed point.We also give condition that ensure that such a group…

We give conditions under which a germ of a holomorphic mapping in $\Bbb C^N$, mapping an irreducible real algebraic set into another of the same dimension, is actually algebraic. Let $A\subset \bC^N$ be an irreducible real algebraic set.…

Let M be a real analytic manifold modeled on a locally convex space and K be a non-empty compact subset of M. We show that if an open neighborhood of K in M admits a complexification which is a regular topological space, then the germ of…

We classify generic unfoldings of germs of antiholomorphic diffeomorphisms with a parabolic point of codimension 1 (i.e. a double fixed point) under conjugacy. These generic unfolding depend on one real parameter. The classification is done…

We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…

We prove that any complex or real analytic set or function germ is topologically equivalent to a germ defined by polynomial equations whose coefficients are algebraic numbers.

We consider germs of holomorphic vector fields at a fixed point having a nilpotent linear part at that point, in dimension $n \geq 3$. Based on Belitskii's work, we know that such a vector field is formally conjugate to a (formal) normal…

Brehm's extension theorem states that a non-expansive map on a finite subset of a Euclidean space can be extended to a piecewise-linear map on the entire space. In this note, it is verified that the proof of the theorem is constructive…

Employing Morse theory for the global control of monodromy and the method of analytic discs for local extension, we establish a version of the global Hartogs extension theorem in a singular setting: for every domain D of an (n-1)-complete…

In this article we prove that every germ of analytic meromorphic function at $(\mathbb{C}^{2},0)$ is equivalent, under the right composition by a germ of biholomorphism, to a germ of algebraic meromorphic function. An analogous result is…

The germ of the universal isomonodromic deformation of a logarithmic connection on a stable n-pointed genus g curve always exists in the analytic category. The first part of this paper investigates under which conditions it is the analytic…

We prove that a meromorphic mapping, which sends a peace of a real analytic strictly pseudoconvex hypersurface in $\cc^2$ to a compact subset of $\cc^N$ which doesn't contain germs of non-constant complex curves is continuous from the…

Following Favre, we define a holomorphic germ f:(C^d,0) -> (C^d,0) to be rigid if the union of the critical set of all iterates has simple normal crossing singularities. We give a partial classification of contracting rigid germs in…

In this paper, we discuss the concept of $\rho$-regularity of analytic map germs and its close relationship with the existence of locally trivial smooth fibrations, known as the Milnor fibrations. The presence of a Thom regular…

We prove that the linearization of a germ of holomorphic map of the type $F_\lambda(z)=\lambda(z+O(z^2))$ has a $ C^1$--holomorphic dependence on the multiplier $\lambda$. $C^1$--holomorphic functions are $ C^1$--Whitney smooth functions,…

We classify generic unfoldings of germs of antiholomorphic diffeomorphisms with a parabolic point of codimension~$k$ (i.e.~a fixed point of multiplicity $k+1$) under conjugacy. Such generic unfoldings depend real analytically on $k$ real…

Given a real analytic set X in a complex manifold and a positive integer d, denote by A(d) the set of points p in X at which there exists a germ of a complex analytic set of dimension d contained in X. It is proved that A(d) is a closed…