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

Efroymson's approximation theorem asserts that if $f$ is a $\mathcal{C}^0$ semialgebraic mapping on a $\mathcal{C}^\infty$ semialgebraic submanifold $M$ of $\mathbb{R}^n$ and if $\varepsilon:M\to \mathbb{R}$ is a positive continuous…

We show that Berkovich analytic geometry can be viewed as relative algebraic geometry in the sense of To\"{e}n--Vaqui\'{e}--Vezzosi over the category of non-Archimedean Banach spaces. For any closed symmetric monoidal quasi-abelian category…

Let $\phi \colon \Gamma_2 \rightarrow \Gamma_1$ be a harmonic morphism of connected graphs. We show that an arithmetical structure on $\Gamma_1$ can be pulled back via $\phi$ to an arithmetical structure on $\Gamma_2$. We then show that…

Let $(K,|\cdot|)$ be a complete discretely valued field and $f:{\mathbb B}_1(K,1) \to {\mathbb B}_1(K,1)$ a nonconstant analytic map from the unit back to itself. We assume that 0 is an attracting fixed point of $f$. Let $a \in K$ with…

For $-1\le B<A\le 1$, let $\mathcal{S}^*(A,B)$ denote the class of normalized analytic functions $f(z)= z+\sum_{n=2}^{\infty}a_n z^n$ in $|z|<1$ which satisfy the subordination relation $zf'(z)/f(z)\prec (1+Az)/(1+Bz)$ and $\Sigma^*(A,B)$…

Let $X\subset{\mathbb R}^n$ be a (global) real analytic surface. Then every positive semidefinite meromorphic function on $X$ is a sum of $10$ squares of meromorphic functions on $X$. As a consequence, we provide a real Nullstellensatz for…

Let X be a separable Banach space which admits a separating polynomial; in particular X a separable Hilbert space. Let $f:X \rightarrow R$ be bounded, Lipschitz, and $C^1$ with uniformly continuous derivative. Then for each {\epsilon}>0,…

In this paper we prove an inverse function theorem in derived differential geometry. More concretely, we show that a morphism of curved $L_\infty$ spaces which is a quasi-isomorphism at a point has a local homotopy inverse. This theorem…

We consider the behaviour of holomorphic functions on a bounded open subset of the plane, satisfying a Lipschitz condition with exponent $\alpha$, with $0<\alpha<1$, in the vicinity of an exceptional boundary point where all such functions…

This paper studies homeomorphisms of surfaces isotopic to the identity by means of purely topological methods and Brouwer theory. The main development is a novel theory of orbit forcing using maximal isotopies and transverse foliations.…

Milnor's fibration theorem and its generalizations play a central role in the study of singularities of complex and real analytic maps. In the complex analytic case, the Milnor fibration on the sphere is always given by the normalized map…

Analytic torsion is a functional on graphs which only needs linear algebra to be defined. In the continuum it corresponds to the Ray-Singer analytic torsion. We have formulas for analytic torsion if the graph is contractible or if it is a…

Let $(M,g)$ be a simple Riemannian manifold. Under the assumption that the metric $g$ is real-analytic, it is shown that if the geodesic ray transform of a function $f\in L^{2}(M)$ vanishes on an appropriate open set of geodesics, then…

Using only basic topological properties of real algebraic sets and regular morphisms we show that any injective regular self-mapping of a real algebraic set is surjective. Then we show that injective morphisms between germs of real…

The Arnold conjecture states that a Hamiltonian diffeomorphism of a closed and connected symplectic manifold must have at least as many fixed points as the minimal number of critical points of a smooth function on the manifold. It is well…

Building on the work of the fourth author in math.AG/9904074, we prove the weak factorization conjecture for birational maps in characteristic zero: a birational map between complete nonsingular varieties over an algebraically closed field…

Since the Hadamard Theorem, several metric and topological conditions have emerged in the literature to date, yielding global inversion and implicit theorems for functions in different settings. Relevant examples are the mappings between…

We study power series and analyticity in the quaternionic setting. We first consider a function f defined as the sum of a quaternionic power series centered at 0 in its domain of convergence (which is a ball B(0,R) centered at 0). At each…

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…

This paper studies homeomorphisms of the closed annulus that are isotopic to the identity from the viewpoint of rotation theory, using a newly developed forcing theory for surface homeomorphisms. Our first result is a solution to the so…