Related papers: Instructive examples of smooth, complex differenti…

We construct certain non-degenerate maps and sets, mainly in the complex-analytic category. For example, we show that for every countable subset S in an irreducible complex space X there exists a holomorphic map from the unit disk to X such…

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…

In this brief note, we provide an example of non complete locally convex space $E$ with a $\sigma(E, E^*)$ closed bounded subset $C\subset E$, which is not $\sigma(E, E^*)$-compact, even if every $\varphi\in E^*$ attains its sup over $C$.

We give several versions of local and global inverse mapping theorem for tame non necessarily smooth, mappings. Here tame mapping means a mapping which is subanalytic or, more generally, definable in some o-minimal structure. Our sufficient…

In this work we study the space complexity of computable real numbers represented by fast convergent Cauchy sequences. We show the existence of families of trascendental numbers which are logspace computable, as opposed to algebraic…

In this survey, we report on the state of the art of some of the fundamental problems in the Lie theory of Lie groups modeled on locally convex spaces, such as integrability of Lie algebras, integrability of Lie subalgebras to Lie…

A topological space $X$ is called $\Cal A$-real compact, if every algebra homomorphism from $\Cal A$ to the reals is an evaluation at some point of $X$, where $\Cal A$ is an algebra of continuous functions. Our main interest lies on…

This paper concerns analytic free maps. These maps are free analogs of classical analytic functions in several complex variables, and are defined in terms of non-commuting variables amongst which there are no relations - they are free…

If a real analytic nonexpansive map on a polyhedral normed space has a nonempty fixed point set, then we show that there is an isometry from an affine subspace onto the fixed point set. As a corollary, we prove that for any real analytic…

Let $f:\mathbb{K}^n\rightarrow\mathbb{K}^m$ be a generically finite polynomial map of degree $d$ between affine spaces. In arXiv:1411.5011 we proved that if $\mathbb{K}$ is the field of complex or real numbers, then the set $S_f$ of points…

We show that one can lift locally real analytic curves from the orbit space of a compact Lie group representation, and that one can lift smooth curves even globally, but under an assumption.

We introduce the notion of a logarithmic stable map from a minimal log prestable curve to a log twisted semi-stable variety of form $xy=0$. We study the compactification of the moduli spaces of such maps and provide a perfect obstruction…

We give some results concerning the smoothness of the image of a real-analytic submanifold in complex space under the action of a finite holomorphic mapping. For instance, if the submanifold is not contained in a proper complex subvariety,…

Let $C$ be a convex subset of a locally convex space. We provide optimal approximate fixed point results for sequentially continuous maps $f\colon C\to\bar{C}$. First we prove that if $f(C)$ is totally bounded, then it has an approximate…

We generalize the classical construction principles of infinite-dimensional real (and complex) Lie groups to the case of Lie groups over non-discrete topological fields. In particular, we discuss linear Lie groups, mapping groups, test…

A linear map between matrix spaces is positive if it maps positive semidefinite matrices to positive semidefinite ones, and is called completely positive if all its ampliations are positive. In this article quantitative bounds on the…

We use a well known problem in discrete and computational geometry (partitions of measures by $k$-fans) as a motivation and as a point of departure to illustrate many aspects, both theoretical and computational, of the problem of…

We present an axiomatic approach to finite- and infinite-dimensional differential calculus over arbitrary infinite fields (and, more generally, suitable rings). The corresponding basic theory of manifolds and Lie groups is developed.…

Paradigms of bilinear maps f between locally convex spaces (like evaluation or composition) are not continuous, but merely hypocontinuous. We describe situations where, nonetheless, compositions of f with Keller C^n_c-maps (on suitable…

We consider two classes of smooth maps M^n\to C ^N. Definition. A map f:M^n\to C^N is called an independent map if df_1(p)\wedge...\wedge df_N (p)\neq 0. We are interested in the optimal value of N for all manifolds of dimension n for…