# Questions tagged [embeddings]

The embeddings tag has no usage guidance.

**0**

votes

**0**answers

83 views

### Intrinsic Reach for a Riemannian manifold

The reach of a set $X\subseteq \mathbb{R}^d$ is the supremum of all $r \geq 0$ such that for all $y\in X^c$ with $dist(y,X)<r$ there is a unique $x\in X$ with $dist(y,x)= dist(y,X)$.
My question: ...

**-3**

votes

**1**answer

188 views

### Can there be elementary embedding between a universe and a universe inside it?

[EDIT] the prior question was trivially false, however the intention is to arrange a possible world of such universes, in other words the question is about if it is possible to have a proper class $\...

**9**

votes

**1**answer

394 views

### A wild embedding of $\mathbb{S}^1$ into $\mathbb{R}^3$

Can one construct an embedding of $\mathbb{S}^1$ into $\mathbb{R}^3$
so that every orthogonal projection onto a two dimensional plane
is a unit disc?
It is easy to construct an embedding of $\...

**2**

votes

**0**answers

215 views

### Embedding of $CP^2/CP^1$ into euclidean space [closed]

Is there a "nice" embedding of $\mathbb{C}\mathbb{P}^2/\,\mathbb{C}\mathbb{P}^1$ into $\mathbb{R}^8$?

**6**

votes

**2**answers

125 views

### Embedding open connected Riemann Surfaces in $\mathbb{C}^2$

This question arises in the context of a question asked on MSE: Are concrete Riemann surfaces Riemann domains over $\mathbb{C}$. Part of the answer to that question is the question above which is ...

**0**

votes

**1**answer

105 views

### $f_n$ is bounded in $C(0,T;H^2(0,L))$ so is $f_n^p$?

Let $1<p<\infty$, and $f_n$ be a bounded sequence in $C(0,T;H^2(0,L))$. It looks obvious to me that $f_n^p$ is also bounded in $C(0,T;H^2(0,L))$. When we take the derivative of $f^p(t)$ twice we ...

**12**

votes

**1**answer

368 views

### Embedding Riemannian manifolds into some infinite dimensional manifolds?

First of all I am new to the field of embedding one manifold into another other.
I have recently come across with the paper "Embedding Riemannian manifolds by their heat kernel" by P. BERARD, G. ...

**4**

votes

**0**answers

40 views

### Theoretical justification of time-series forecasting using Takens' embedding

This is a cross-posting
where I couldn't get an answer. In the meantime I have tried to improve the original logic:
As in Takens original paper about his embedding theorem, consider a compact $m$-...

**1**

vote

**1**answer

127 views

### Trouble with plane embedding

Let $C$ be the middle-thirds Cantor set. Obviously $C\times [0,1]$ embeds into the plane. But $C\times D$ does not, $D$ being a closed disc in the plane.
Are there any general results which can be ...

**1**

vote

**0**answers

84 views

### Max-min genus of a bipartite graph

As usual, the genus of a graph with a prescribed circular ordering of the edges at each vertex is defined as the minimum genus of an orientable surface in which the graph can be drawn without edge ...

**3**

votes

**1**answer

225 views

### Generalizations of Abhyankar-Moh theorem (embeddings of the line in the plane)

Abhyankar-Moh theorem says that if $L$ is a complex line in the complex affine plane $\mathbb{C}^2$, then every embedding of $L$ into $\mathbb{C}^2$ extends to an automorphism of the plane.
It seems ...

**13**

votes

**2**answers

723 views

### When does homology represent an embedded sphere?

If we have a triangulation of a manifold $M$ of dimension $i$ and we have simplicial homology $H_i(M)=\mathbb{Z}$, what is the condition than there exists an embedded sphere $S^i$ that generates the ...

**4**

votes

**1**answer

370 views

### Is the space of tangents actually the tangent space?

This is a crosspost of this MSE question.
Given a locally Euclidean (locally homeomorphic to some Euclidean space) topological subspace $X\subset\mathbb R^n$ and $p\in X$, let $\mathrm{T}_pX$ denote ...

**11**

votes

**1**answer

207 views

### Can $\Delta_1$ (or $\Delta_0$)-elementary embeddings from $V$ to $V$ exist?

Suppose V is a model of Godel-Berney's set theory with the axiom of choice. A well-known result of Kunen says that there can be no elementary embedding $V$ to itself. This result further implies that ...

**2**

votes

**1**answer

229 views

### Second fundamental form and embeddings

Let $\Sigma$ be a smooth hypersurface of a $d$ dimensional smooth Riemannian manifold $(\mathcal M, G)$;
we may see $G_x$ as a mapping from $T_x(\mathcal M)$ into $T_x^*(\mathcal M)$ so that
$$
\...

**1**

vote

**1**answer

96 views

### On graph imbedding genus clarification

Given a graph the minimum genus $g$ is the minimum number of handles needed so that there an imbedding of the graph on the surface with no edge crossings.
If the graph is of genus $g$ then is there ...

**4**

votes

**2**answers

140 views

### Number of non-equivalent graph embeddings

Given a graph $G$, there is a minimal integer $g$ associated with it which captures the minimum genus a surface needs to have so that $G$ embeds in the surface without edge crossings.
Is there a way ...

**8**

votes

**0**answers

77 views

### Is there a quaternionic analogue of Kodaira's embedding theorem?

Let $M$ be a $4m$-dimensional Quaternion-Kähler manifold of positive scalar curvature. Does there exist an $n$ large enough, so that $M$ can be embedded inside $\mathbb{H}P^n$ via a quaternionic ...

**4**

votes

**0**answers

146 views

### Whitney-like embedding theorem for posets?

The Whitney embedding theorem says that any finite-dimensional smooth manifold can be embedded into $\mathbb{R}^n$ for some $n$. Is anything like this true for posets?
I'm looking for conditions on a ...

**4**

votes

**1**answer

135 views

### Embedding spaces and surface knots in high dimensional manifolds

This is a variation of Craig's Knot complement diffeomorphism groups and embedding spaces for a different type of very simple manifold (surfaces which have a 1-relator fundamental group instead of ...

**1**

vote

**0**answers

32 views

### Realizing set systems in real space

Let $\mathcal{S} = \{S_i\}$ be a collection of subsets of the same size $s$, all drawn from the universe $[n]$, with the property that $|S_i \cap S_j| \le 1$ for all $ i \ne j$. Let us say that $\...

**5**

votes

**0**answers

294 views

### Noncompactness of the Sobolev embedding in the critical exponent case

Let $\Omega \subset \mathbb R^n$ be a bounded domain with a Lipschitz boundary and $n > p \ge 1$.
It is well known that up to the critical exponent $p^* = pn/(n − p)$, i.e. $q < p^*$, the ...

**4**

votes

**0**answers

132 views

### Amalagamation of a sequence of closed immersions of schemes

Let $(X_n)_{n \geq 0}$ be a family of schemes. Let $$X_0 \to X_1 \to X_2 \to \dotsc$$ be a sequence of closed immersions (which therefore gives rise to an ind-scheme). Under which (necessarly and/or ...

**0**

votes

**0**answers

123 views

### Intersection of weighted Sobolev spaces

Consider the Sobolev spaces with $p=2$, defined for $s \in \mathbb{R}$ as
\begin{equation}
W^{s} = \left\{ u \in \mathcal{S}', \ (1 + \lvert \cdot \rvert^2)^{{s}/{2}} \widehat{u} \in L_2 \right\}.
\...

**0**

votes

**0**answers

402 views

### Can some exotic sphere be diffeomorphically embedded into some $R^n$?

Can some (or perhaps every) exotic sphere be diffeomorphically embedded into some $R^n$? How does such an embedding (if it exists) look like? I.e., what are the equations for a particular embedding?
...

**21**

votes

**2**answers

2k views

### Questions on J. F. Nash's answer about his errors in the proof of embedding theorem

In the interview of John Nash taken by Christian Skau and Martin Gaussen, in EMS Newsletter, September, 2015 when asked
Is it true, as rumours have it, that
you started to work on the embedding ...

**0**

votes

**2**answers

131 views

### Normal variation of embedded surfaces [closed]

Let $M^3$ be a complete riemannian manifold and $\Sigma ^2\subset M^3$ a embedded minimal compact surface. Consider the normal variation $\phi: \Sigma \times \Bbb{R}\to M$ given by
$$\phi(p,t)=\exp_p(...

**3**

votes

**1**answer

124 views

### Do Morse functions induce embeddings?

Does the existence of Morse functions on smooth manifolds imply Whitney's embedding theorem?
(That is, given a smooth manifold $M$, does the existence of a Morse function $f:M \to \mathbb{R}$ imply ...

**1**

vote

**0**answers

99 views

### “Nice” limits of sequences of smooth embeddings

Consider smooth embeddings of a manifold $M$ into some $\mathbb{R}^n$. If a sequence $f_k : M \to \mathbb{R}^n$ of such embeddings converges to some continuous function $f : M \to \mathbb{R}^n$, then ...

**4**

votes

**0**answers

64 views

### Obstructions to symplectically embedding compact manifolds of dimension $4$ or higher

It is known in Li's paper (http://arxiv.org/pdf/0812.4929v1.pdf) that in compact symplectic manifolds $(X^{2n},\omega)$ of dimension at least $2n\geq 4$, an immersed symplectic surface represents a $2$...

**1**

vote

**1**answer

160 views

### Isotopy class of closed 2-ball embedded in R^3

My intuition tells me that any two topological embeddings of the closed 2-ball (aka unit disk) into $R^3$ are isotopic in $R^3$. Is this correct? Maybe easy to prove?
It seems like it should be easy ...

**1**

vote

**1**answer

101 views

### Nash-type theorems for Poisson manifolds

My question comes as a natural follow-up of the previous one which concerned symplectic manifolds: if $(M, P)$ is a Poisson manifold, what embedding theorems are there into some target space (I am ...

**8**

votes

**1**answer

538 views

### Is there a Nash-type theorem for symplectic manifolds?

If $(M, \omega)$ is a symplectic manifold, is it possible to embed (or injectively immerse) it symplectically into a sufficiently large $(\Bbb R ^{2N}, \Omega)$, (with the usual symplectic structure)?
...

**9**

votes

**1**answer

325 views

### embedding of quaternionic projective spaces

Let $\mathbb{H}P^m$ be the $m$-th quaternionic projective space. What is the smallest integer $N$ such that there exists an embedding
$$
\mathbb{H}P^2\longrightarrow \mathbb{R}^N?
$$
Are there any ...

**2**

votes

**0**answers

90 views

### Besov regularity of càdlàg functions?

Let $D(\mathbb{R})$ be the space of functions from $\mathbb{R}$ to $\mathbb{R}$ that are right continuous with left limits (also referred to as càdlàg functions). $D(\mathbb{R})$ is often called the ...

**2**

votes

**1**answer

634 views

### embeddings of product of spheres in Euclidean spaces [closed]

I notice that $T^2=S^1\times S^1$ can be embedded in $\mathbb{R}^3$ as a hypersurface (submnaifolds of codimension 1).
In general,
(1). could the product of spheres $S^{m_1}\times\cdots\times S^{...

**2**

votes

**0**answers

142 views

### obstructions to embeddings of manifolds into Grassmannians

Let $G_k(\mathbb{R}^n)$ be the Grassmannian consisting of $k$-dimensional subspaces in $\mathbb{R}^n$ and $AG_k(\mathbb{R}^n)$ the "affine Grassmannian" consisting of $k$-dimensional planes in $\...

**3**

votes

**0**answers

180 views

### Compact embedding of ${\rm L}^1_{loc}$ space

I was reading one preprint and stumbled upon a part in the proof where one particular embedding was used. Namely:
Let $\Omega\subset{\bf R}^2$ be open and bounded and let $p\in\langle
1,2\rangle$. ...

**2**

votes

**1**answer

115 views

### VLSI circuit embeddings

In the following paper by Valiant
http://www.computer.org/csdl/trans/tc/1981/02/06312176.pdf
He shows under theorem 2 (at the bottom of the second page) that any planar graph $G$ of degree 3 or 4 ...

**4**

votes

**0**answers

188 views

### Embeddings between weighted Besov spaces

Consider the Besov spaces $B_{p,q}^s(\mathbb{R}^d)$ for parameters $0<p,q\leq \infty$ and $s\in \mathbb{R}$. The weighted Besov space $B_{p,q}^s(\mathbb{R}^d;\mu)$ is defined for $\mu \in \mathbb{R}...

**5**

votes

**0**answers

144 views

### Equivariant isometric embedding of manifolds in a Hilbert space under a noncompact group action

Given a Riemannian manifold $M$ and a group of isometries $G$ of $M$, I am interested in when there exists a isometric embedding $\iota : M \to H$, where $H$ is a Hilbert space and a representation $\...

**0**

votes

**1**answer

191 views

### When is the identity Hilbert-Schmidt between weighted Sobolev spaces?

Set $w(x) = (1 + |x|^2)^{1/2}$ with $|\cdot|$ the Euclidian norm on $\mathbb{R}^n$. For $s,\mu \in \mathbb{R}$, we define the Sobolev space
$$H_2^{s}(\mathbb{R}^n) = \left\{f : \lVert f \rVert_{s} := \...

**3**

votes

**1**answer

379 views

### Embedding graphs into hyperbolic spaces

Do we know of a characterization as to when does a graph have a "good" embedding into a hyperbolic space? (And does having such an embedding have a spectral or wavelet analysis signature?)
I don't ...

**1**

vote

**2**answers

192 views

### Transformations that leave the Plucker embedding of G(2,4) invariant

I am interested in a group of transformations that leave the Plucker embedding of complex Grassmannian $G(2,4)$ into $CP^5$ given by $\lambda_{12}\lambda_{34}-\lambda_{13}\lambda_{24}+\lambda_{14}\...

**9**

votes

**1**answer

215 views

### Complements of unknotted tori (higher dimensions)

It is well-known that an unknotted 2-torus in $S^3$ provides the standard Heegaard splitting, in particular its complement consists of two solid tori.
It is also known that an unknotted 3-torus in $S^...

**1**

vote

**1**answer

425 views

### Condition to obtain a not compact embedding

I have the two spaces $W_0^{1,p}$ with the norme $$||u||^p=||u||^p_{L^p}+||\nabla u||^p_{L^p}$$ and $$L^{p^*}_{\alpha}=\{ u~\text{measurable}, \int_{\Omega} (|x|^{\alpha} u(x)|)^{p^*} dx<\infty\}$$ ...

**1**

vote

**1**answer

188 views

### Global geometry measures for Riemannian manifolds

I'm working on a stochastic algorithm and considering it to apply in case of any curved space (manifolds). But in order to make the algorithm as efficient as possible I want to include in it some ...

**8**

votes

**3**answers

541 views

### Mathematical value of constructing sphere eversions

I am extremely impressed by the work that has been done constructing sphere eversions, and other similar explicit geometrical proofs. In particular, surely nobody can fail to be impressed by the ...

**6**

votes

**1**answer

288 views

### Embedding Euclidean buildings into products of trees

A Euclidean building has a natural metric space structure. (A definition of Euclidean building can be found on Wikipedia, or, more expansively, in Section 4 of Kleiner-Leeb.)
Question: Is it true ...

**10**

votes

**1**answer

308 views

### Are there non-trivial graphs that uniquely embed to hypercubes?

The $n$-dimensional hypercube is the graph formed by $0$-$1$ sequences of length $n$ where two vertices are adjacent if they differ at only one place.
The weight of a sequence is the number of $1$'s ...