Related papers: Inverse Function Theorems for Arc-analytic Homeomo…

Every countable directed graph generates a Fock space Hilbert space and a family of partial isometries. These operators also arise from the left regular representations of free semigroupoids derived from directed graphs. We develop a…

Let $U \subseteq \mathbb C$ be bounded and open. For $0 < \alpha < 1$, $A_\alpha(U)$ is the set of functions in the little Lipschitz class with exponent $\alpha$ that are analytic in a neighborhood of $U$. We consider three conditions,…

In a previous paper \cite{ref1} we produced a sequence of analytic functions $\{\alpha \uparrow^n z\}_{n=0}^\infty$ when $1 \le \alpha \le e^{1/e}$ and $z$ was in the right half of the complex plane, the \emph{bounded analytic…

In this paper, we prove metric analogues, in any dimension and in any co-dimension, of the famous Theorem of Mumford on smoothness of normal surfaces and the beautiful Theorem of Ramanujam that gives a topological characterization of…

We introduce new tools for analytic microlocal analysis on K\"ahler manifolds. As an application, we prove that the space of Berezin-Toeplitz operators with analytic contravariant symbol is an algebra. We also give a short proof of the…

We prove that a linear mapping on the algebra \(\mathfrak{sl}_n\) of all trace zero complex matrices is a local automorphism if and only if it is an automorphism or an anti-automorphism. We also show that a linear mapping on a simple…

Let C be real-analytic simple closed curve in the complex plane which is symmetric with respect to the real axis. Let r>0 be such that C+ir misses C-ir. We prove that if a continuous function f extends holomorphically from C+it for each t…

Let $L$ be an algebra over a field $F$ with the binary operations $+$ and $[,]$. Then $L$ is called a left Leibniz algebra if it satisfies the left Leibniz identity: $[[a,b],c]=[a,[b,c]]-[b,[a,c]]$ for all elements $a,b,c\in L$. A linear…

A primary goal in this paper is to study the question that asks when a real analytic submanifold $M$ in ${\mathbb{C}}^{n+1}$ bounds a real analytic (up to $M$) Levi-flat hypersurface $\hat{M}$ near $p\in M$ such that $\hat{M}$ is foliated…

Recent proofs of classical theorems in polynomial algebra and functional analysis are discussed, which use tools from the topology of real manifolds. Simpler proofs were discovered in the new century, of the Hilbert Nullstellensatz, and the…

Let $(\varphi_t)$, $(\phi_t)$ be two one-parameter semigroups of holomorphic self-maps of the unit disc $\mathbb D\subset \mathbb C$. Let $f:\mathbb D \to \mathbb D$ be a homeomorphism. We prove that, if $f \circ \phi_t=\varphi_t \circ f$…

A classical theorem of Lusin states that all analytic sets are Lebesgue-measurable. In this article we established the reverse mathematical strength of Lusin's theorem, which depends on how precisely it is formalized. By doing so, we answer…

We define $\partial$-biLipschitz homeomorphisms between uniform metric spaces and show that these maps are always quasim\"obius. We also show that a homeomorphism being $\partial$-biLipschitz is equivalent to the map biLipschitz in the…

Consider a homeomorphism h of the closed annulus S^1*[0,1], isotopic to the identity, such that the rotation set of h is reduced to a single irrational number alpha (we say that h is an irrational pseudo-rotation). For every positive…

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.…

We prove that for a dense set of irrational numbers $\alpha$, the analytic centraliser of the map $e^{2\pi i \alpha} z+ z^2$ near $0$ is trivial. We also prove that some analytic circle diffeomorphisms in the Arnold family, with irrational…

Consider an analytic Hamiltonian system near its analytic invariant torus $\mathcal T_0$ carrying zero frequency. We assume that the Birkhoff normal form of the Hamiltonian at $\mathcal T_0$ is convergent and has a particular form: it is an…

We give sufficient conditions for a metric space to bilipschitz embed in L_1. In particular, if X is a length space and there is a Lipschitz map u:X--->R such that for every interval I in R, the connected components of the inverse image…

Let $X$ be a separable Banach space with a separating polynomial. We show that there exists $C\geq 1$ (depending only on $X$) such that for every Lipschitz function $f:X\rightarrow\mathbb{R}$, and every $\epsilon>0$, there exists a…

For the defocusing Nonlinear Schr\"odinger equation on the circle, we construct a Birkhoff map $\Phi$ which is tame majorant analytic in a neighborhood of the origin. Roughly speaking, majorant analytic means that replacing the coefficients…