Related papers: D\'etermination finie sur un espace de Stein

Let $R\subset F$ be an extension of real closed fields and ${\mathcal S}(M,R)$ the ring of (continuous) semialgebraic functions on a semialgebraic set $M\subset R^n$. We prove that every $R$-homomorphism $\varphi:{\mathcal S}(M,R)\to F$ is…

We fix $z_0\in\mathbb C$ and a field $\mathbb F$ with $\mathbb C\subset \mathbb F \subset \mathcal M_{z_0}:=$ the field of germs of meromorphic functions at $z_0$. We fix $f_1,\ldots,f_r\in \mathcal M_{z_0}$ and we consider the $\mathbb…

Let $\mathscr J$ be the space of inner functions of finite entropy endowed with the topology of stable convergence. We prove that an inner function $F \in \mathscr J$ possesses a radial limit (and in fact, a minimal fine limit) in the unit…

By applying holomorphic motions, we prove that a parabolic germ is quasiconformally rigid, that is, any two topologically conjugate parabolic germs are quasiconformally conjugate and the conjugacy can be chosen to be more and more near…

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…

Bounded holomorphic functions on the disk have radial limits in almost every direction, as follows from Fatou's theorem. Given a zero-measure set $E$ in the torus $\mathbb T$, we study the set of functions such that $\lim_{r \to 1^{-}} f(r…

Suppose that $G$ is a finite group and $k$ is a field of characteristic $p >0$. Let $\mathcal{M}$ be the thick tensor ideal of finitely generated modules whose support variety is in a fixed subvariety $V$ of the projectivized prime ideal…

This paper considers the problems of finite determinacy and approximation of flat analytic maps from germs of real or complex analytic spaces. It is shown that the flatness of analytic maps from germs of real or complex analytic spaces…

Let M be a finite Riemann surface and let A(bM) be the algebra of all continuous functions on bM which extend holomorphically through M. We prove that a continuous function F on bM belongs to A(bM) if for each f, g in A(bM) such that fF+g…

For given integers $m,n \geq 2$ there are examples of ideals $I$ of complete determinantal local rings $(R,\mathfrak{m}), \dim R = m+n-1, \operatorname{grade} I = n-1,$ with the canonical module $\omega_R$ and the property that the socle…

We introduce the multigraded Hilbert scheme, which parametrizes all homogeneous ideals with fixed Hilbert function in a polynomial ring that is graded by any abelian group. Our construction is widely applicable, it provides explicit…

We consider matrices with entries in a local ring, Mat(m,n;R). Fix an action of group G on Mat(m,n;R), and a subset of allowed deformations, \Sigma in Mat(m,n;R). The standard question (along the lines of Singularity Theory) is the…

The set of all maximal ideals of the ring $\mathcal{M}(X,\mathcal{A})$ of real valued measurable functions on a measurable space $(X,\mathcal{A})$ equipped with the hull-kernel topology is shown to be homeomorphic to the set $\hat{X}$ of…

Let $f \in C^2(\mathbb{T}^2)$ have mean value 0 and consider $$ \sup_{\gamma~{\tiny \mbox{closed geodesic}}}{~~~ \frac{1}{|\gamma|} \left| \int_{\gamma}{ f ~~d\mathcal{H}^1}\right| },$$ where $\gamma$ ranges over all closed geodesics…

Using nonstandard analysis we define a topology on the ring of germs of functions: $(mathbb R^n,0)\rightarrow(mathbb R,0)$. We prove that this topology is absolutely convex, Hausdorff, that convergent nets of continuous germs have…

We study the ring of all functions from the positive integers to some field. This ring, which we call \emph{the ring of number-theoretic functions}, is an inverse limit of the ``truncations'' \Gamma_n consisting of all functions f for which…

We prove that every reduced Stein space admits a holomorphic function without critical points. Furthermore, any closed discrete subset of such a space is the critical locus of a holomorphic function. We also show that for every complex…

For a compact smooth manifold $M$ (with boundary) we prove that the topological rank of the diffeomorphism group Diff$_0^k(M)$ is finite for all $k\geq 1$. This extends a result from [2] where the same claim is proved in the special case of…

In 1980s, Thurston established a topological characterization theorem for postcritically finite rational maps. In this paper, a decomposition theorem for a class of postcritically infinite branched covering termed `Herman map' is developed.…

We give an infinitesimal criterion, in the analytic setting, for a vector space to be locally homogeneous under some group action. Our approach differs from those which resort to an inverse function theorem (e.g. those of Moser, Zehnder or…