Related papers: Homogeneous Systems and Euclidean Topology

Let $F$ be a nonlinear map in a real Hilbert space $H$. Suppose that $\sup_{u\in B(u_0,R)}$ $\|[F'(u)]^{-1}\|\leq m(R)$, where $B(u_0,R)=\{u:\|u-u_0\|\leq R\}$, $R>0$ is arbitrary, $u_0\in H$ is an element. If…

The embedding theorem arises in several problems from analysis and geometry. The purpose of this paper is to provide a deeper understanding of analysis and geometry with a particular focus on embedding theorems on spaces of homogeneous type…

A matrix formalism is proposed for computations based on Picard--Lefschetz theory in a 2D case. The formalism is essentially equivalent to the computation of the intersection indices necessary for the Picard--Lefschetz formula and enables…

Let M be an open, connected manifold. A classical theorem of McDuff and Segal states that the sequence of configuration spaces of n unordered, distinct points in M is homologically stable with coefficients in Z: in each degree, the integral…

A generalized-homology bordism-theory is constructed, such that for certain manifold homotopy stratified sets (MHSS; Quinn-spaces) homeomorphism-invariant geometric fundamental-classes exist. The construction combines three ideas: Firstly,…

We show, up to h-cobordism, that the existence and uniqueness of connected sum decompositions of oriented 4-dimensional manifolds is an invariant of homotopy equivalence, assuming that the fundamental group of each summand is "good" in the…

We combine Homotopy Type Theory with axiomatic cohesion, expressing the latter internally with a version of "adjoint logic" in which the discretization and codiscretization modalities are characterized using a judgmental formalism of "crisp…

Borsuk-Ulam's theorem is a useful tool of algebraic topology. It states that for any continuous mapping $f$ from the $n$-sphere to the $n$-dimensional Euclidean space, there exists a pair of antipodal points such that $f(x)=f(-x)$. As for…

In this paper, we show that the domain of attraction of a compact asymptotically stable submanifold of a finite-dimensional smooth manifold of an autonomous system is homeomorphic to its tubular neighborhood. The compactness of the…

A Riemann-Cartan manifold is a Riemannian manifold endowed with an affine connection which is compatible with the metric tensor. This affine connection is not necessarily torsion free. Under the assumption that the manifold is a homogeneous…

The classical Mazur map is a uniform homeomorphism between the unit spheres of $L_p$ spaces, and the version for noncommutative $L_p$ spaces has the same property. Odell and Schlumprecht used two types of generalized Mazur maps to prove…

This paper treats a holomorphic self-mapping f: Omega --> Omega of a bounded domain Omega in a separable Hilbert space H with a fixed point p. In case the domain is convex, we prove an infinite-dimensional version of the…

We extend the Boutet de Monvel Toeplitz index theorem to complex manifold with isolated singularities following the relative $K$-homology theory of Baum, Douglas, and Taylor for manifold with boundary. We apply this index theorem to study…

Motivated by analogies with basic density theorems in analytic number theory, we introduce a notion (and variations) of the homological density of one space in another. We use Weil's number field/ function field analogy to predict…

An important consequence of the Hahn-Banach Theorem says that on any locally convex Hausdorff topological space $X$, there are sufficiently many continuous linear functionals to separate points of $X$. In the paper, we establish a `local'…

For each sufficiently large integer $k$, we construct a domain in the round $2$-sphere with $k$ boundary components which is the link of a cone in $\mathbb{R}^3$ admitting a homogeneous solution to the one-phase free boundary problem. This…

We study proper holomorphic maps of annuli in complex Euclidean spaces, that is, domains with $U(n)$ as the automorphism group. By the Hartogs phenomenon and a result of Forstneri\v{c}, such maps are always rational and extend to proper…

We show that the size of codes in projective space controls structural results for zeros of odd maps from spheres to Euclidean space. In fact, this relation is given through the topology of the space of probability measures on the sphere…

We study the fixed point sets of holomorphic self-maps of a bounded domain in ${\Bbb C}^n$. Specifically we investigate the least number of fixed points in general position in the domain that forces any automorphism (or endomorphism) to be…

We prove that if two conformal embeddings between Riemann surfaces with finite topology are homotopic, then they are isotopic through conformal embeddings. Furthermore, we show that the space of all conformal embeddings in a given homotopy…