Related papers: Lifting generic maps to embeddings. Triangulation …
In an $\mathsf{L}$-embedding of a graph, each vertex is represented by an $\mathsf{L}$-segment, and two segments intersect each other if and only if the corresponding vertices are adjacent in the graph. If the corner of each…
We show that in codimension at least 3, spaces of locally flat topological embeddings of manifolds are correctly modelled by derived spaces of maps between their configuration categories (under mild smoothability conditions). That general…
Special generic maps are smooth maps at each singular point of which we can represent as $(x_1, \cdots, x_m) \mapsto (x_1,\cdots,x_{n-1},\sum_{k=n}^{m}{x_k}^2)$ for suitable coordinates. Morse functions with exactly two singular points on…
Consider a group $G$ of order $M$ acting unitarily on a real inner product space $V$. We show that the sorting based embedding obtained by applying a general linear map $\alpha : \mathbb{R}^{M \times N} \to \mathbb{R}^D$ to the invariant…
In this article we present a unified way to smooth certain multiple structures called ropes on smooth varieties. We prove that most ropes of arbitrary multiplicity, supported on smooth curves can be smoothed. By a rope being smoothable we…
We consider the problem of constructing a linear map from a Hilbert space $\mathcal{H}$ (possibly infinite dimensional) to $\mathbb{R}^m$ that satisfies a restricted isometry property (RIP) on an arbitrary signal model $\mathcal{S} \subset…
We give a necessary and sufficient condition for the mapping class group of the pair of the 3-sphere and a graph embedded in it to be isomorphic to the topological symmetry group of the embedded graph.
This paper explores the embedding of lattice structures $L \subseteq \mathbb{R}^n$ into smooth manifolds $M \subseteq \mathbb{R}^n$ through a rigorous mathematical framework. Building upon the foundational results established in "Embedding…
We consider the subspace of the homology of a covering space spanned by lifts of simple closed curves. Our main result is the existence of unbranched covers of surfaces where this is a proper subspace. More generally, for a fixed finite…
Let $M$ be a compact smooth manifold with corners and $N$ be a finite dimensional smooth manifold without boundary which admits local addition. We define a smooth manifold structure to general sets of continuous mapings $\mathcal{F}(M,N)$…
Let $\rho : G \to \operatorname{GL}(V)$ be a rational finite dimensional complex representation of a reductive linear algebraic group $G$, and let $\sigma_1,\sigma_n$ be a system of generators of the algebra of invariant polynomials…
In this paper, we present a polynomial dynamic programming algorithm that tests whether a $n$-vertex directed tree $T$ has an upward planar embedding into a convex point-set $S$ of size $n$. Further, we extend our approach to the class of…
We prove that given an open Riemann surface $N,$ there exists an open domain $M\subset N$ homeomorphic to $N$ which properly holomorphically embeds in $\mathbb{C}^2.$ Furthermore, $M$ can be chosen with hyperbolic conformal type. In…
We prove a rigidity theorem that shows that, under many circumstances, quasi-isometric embeddings of equal rank, higher rank symmetric spaces are close to isometric embeddings. We also produce some surprising examples of quasi-isometric…
Special generic maps are smooth maps between smooth manifolds with only definite fold points as their singularities. The problem of whether a closed $n$-manifold admits a special generic map into Euclidean $p$-space for $1 \leq p \leq n$…
We give necessary and sufficient conditions on a smooth local map of a Riemannian manifold $M^m$ into the sphere $S^m$ to be the Gauss map of an isometric immersion $u:M^m \to R^n$, $n=m+1$. We briefly discuss the case of general $n$ as…
We prove that for any Riemannian metric $g$ on a closed orientable surface $\Sigma$ and any spacelike embedding $f:\Sigma \rightarrow M$ in a pseudo-Riemannian manifold $(M,h)$, the embedding $f$ can be $C^{0}$-approximated by a smooth…
In this paper, we present a constructive and proof-relevant development of graph theory, including the notion of maps, their faces, and maps of graphs embedded in the sphere, in homotopy type theory. This allows us to provide an elementary…
The space of topological decompositions into triangulations of a surface has a natural graph structure where two triangulations share an edge if they are related by a so-called flip. This space is a sort of combinatorial Teichm\"uller space…
Pointed pseudo-triangulations are planar minimally rigid graphs embedded in the plane with pointed vertices (adjacent to an angle larger than 180 degrees. In this paper we prove that the opposite statement is also true, namely that planar…