Questions tagged [embeddings]
The embeddings tag has no usage guidance.
191 questions
4
votes
1
answer
164
views
Explicit example of an equivariant embedding of $U(n)/( U(k) \times U(n-k))$ into a finite dimensional $U(n)$-representation
We know that if $H$ is a closed subgroup of a compact Lie group $G$ one can find a finite dimensional $G$-representation $V$ and an element $v_0 \in V$ such that $\textrm{Stab}(v_0)= H$. This gives a $...
- 73
2
votes
1
answer
235
views
Fast algorithm for computing $\sum_m (n \mod m)/m!$
I'm interested in quickly computing an embedding of the profinite integers $\widehat{\mathbb{Z}}$ into the unit interval $\left[0,1\right]$.
$\widehat{\mathbb{Z}}$ can be represented as compatible ...
- 571
2
votes
0
answers
677
views
Embeddings of Hirzebruch surfaces $\mathbb{P}(\mathcal{O}_{\mathbb{P}^1}\oplus\mathcal{O}_{\mathbb{P}^1}(n))$
Let $X_n=\mathbb{P}(\mathcal{O}_{\mathbb{P}^1}\oplus\mathcal{O}_{\mathbb{P}^1}(n))$ be the $n-$th Hirzebruch surface. We know that for $d>0$ and higher $k>>0$ the linear system $$\mathcal{L}_{...
- 1,343
5
votes
0
answers
178
views
Correspondence between Riemannian metrics and Euclidean embeddings
Given a sufficiently smooth manifold M,
a Riemannian metric on M induces an isometric embedding into Euclidean space by Nash's theorem, (non-canonically, non-uniquely)
an embedding of M into ...
0
votes
2
answers
323
views
Is the restriction map $C^1\ni f\mapsto\left.f\right|_K$ a continuous map?
Let $E$ be a $\mathbb R$-Banach space, $\Theta\subseteq C^{0,\:1}(E,E)$ be a $\mathbb R$-Banach space and $\iota$ be a continuous embedding of $\Theta$ into $C^1(E,E)$.
I would like to show that, ...
- 167
0
votes
0
answers
378
views
Examples of (infinite) graphs which cannot be embedded into 3d space?
I was thinking about the concept of embedding graphs into Euclidean spaces. Specifically, i was looking for examples of infinite graphs which cannot be embedded in $\mathbb{R}^3$ but can be embedded ...
- 11
3
votes
1
answer
138
views
Banach embedding of finite dimensional spaces
Recall that: let $0<r<s<2$, then $\ell_r$ uniformly contains a subspace isomorphic to $\ell_s^m$, $m\ge 1$ (see [JS]).
I am wondering whether are any result for the case when $r>s>2$?
...
- 617
2
votes
0
answers
77
views
Dense embeddings into Euclidean space
The question is a follow-up on this old post. Fix a positive integer $d$ and consider $\mathbb{R}^d$ with its usual Euclidean topology. Given a metric space $(X,\delta_X)$, what conditions are ...
- 5,405
9
votes
1
answer
334
views
Can a knotted sphere isometrically embed into $\mathbb R^3$?
All smooth simple closed curves in $\mathbb R^3$ (knotted or not) can be isometrically embedded into $\mathbb R^2$ as a circle of equal arclength.
The situation for knotted spheres seems more ...
- 459
5
votes
1
answer
321
views
Is identification of double points of an immersion smooth?
Let $f:M^m\to N^n$ be a generic map between smooth manifolds $n>m$. Depending on the pair $(m,n)$ generic maps will have a singular set of double points $\Sigma_2\subset M$.
Let $\phi:\Sigma_2\to \...
- 2,533
1
vote
0
answers
109
views
What is known about this generalization of planar dual?
So it is well known that given a planar graph, $G$, embedded in the plane (without edge crossing, so a planar embedding). One can construct the planar dual, $G^*$. What is perhaps slightly less well-...
- 461
3
votes
0
answers
165
views
Which metric spaces embed isometrically in $\ell_p$?
It is known that each metric space $X$ embeds isometrically in the Banach space
$\ell_\infty(X)$ of bounded (not necessarily continuous) functions $X \to \mathbb R$. Since $\ell_\infty(X)$ does not ...
- 1,955
2
votes
1
answer
650
views
Compact embedding of space of signed Radon measures into Sobolev space $W^{-1,q}$ from Evans paper; Does it work in one space dimension?
Background: I work on a PDE problem where I have some approximating sequence of measure-valued functions and I need to compactly embed it into some negative Sobolev space $W^{-m,q}$ on the bounded ...
- 657
2
votes
1
answer
298
views
complemented subspace of the direct sum of two Banach spaces
When I was reading a paper, I saw something like:
If $F$ and $E$ are Banach spaces with symmetric bases (precisely, they are symmetric sequence spaces), and $F$ is isomorphic to a complemented ...
- 617
5
votes
0
answers
84
views
subanalytic realization of smooth abstract stratification
Consider an $C^\infty$ abstract stratification $A$ (in the Thom-Mather sense, see Mather's note).
Can we embed $A$ in some $\mathbb{R}^n$ (or in an analytic manifold) as a subanalytic set?
If not, ...
- 83
3
votes
0
answers
83
views
Embedding abelian categories into abelian sheaves
The Yoneda functor from an abelian category into sheaves of abelian groups is shown to be exact in The Stacks Project, Lemma 19.9.2. I like this proof because it is constructive and it doesn't use ...
10
votes
1
answer
1k
views
An orientable surface that cannot be embedded into $\Bbb R^3$? [duplicate]
I previously asked this question on MSE, without success.
By Whitney's embedding theorem, every 2-dimensional manifold (aka. a surface) can be embedded into $\Bbb R^4$.
Now, Wikipedia states in this ...
- 283
2
votes
0
answers
108
views
Open embedding of non-separable infinite dimensional manifolds
It is well-known (see here) that separable infinite-dimensional topological Hilbert manifolds can be embedded as open sets of the modeling separable Hilbert space. Using that separable Fréchet (in ...
4
votes
1
answer
456
views
Which topological spaces admit embeddings into Euclidean spaces
I'm interested in the dual question to:
continuous images of open intervals, about surjections onto open intervals.
Namely, if $X$ is a topological space, when can we guarantee that there exists a ...
- 5,405
2
votes
0
answers
131
views
Embedding a binary subspace to $l_2$ in a much lower dimension
I'm trying to find a way to embed a binary linear subspace of dimension $n$ (a linear code) to the Euclidian space while reducing the dimension significantly.
The subspace (or code) contains points ...
- 301
2
votes
1
answer
170
views
subelliptic Sobolev compact embedding theorem
Consider the smooth vector fields $X=(X_1,X_2,...,X_m)$ defined in a open bounded set $\Omega\in R^n$. And the non-isotropic dimension is $Q$ (see https://arxiv.org/pdf/1502.06332.pdf page 398)
In the ...
- 561
3
votes
0
answers
132
views
Embedding a continuous-time martingale in Brownian motion
Using the Skorohod embedding, we can embed any square-integrable discrete time martingale $(M_n)$ into a Brownian motion, obtaining times $(T_n)$ such that $(B(T_n))_{n\ge 0}$ is a version of $(M_n)$. ...
- 349
10
votes
1
answer
1k
views
Normal bundle of Whitney embedding
Let $X$ be a real $n$ dimensional manifold. One knows that it can be embedded into $\mathbb{R}^{2n}$ by the Whitney embedding theorem. The normal bundle for such an embedding will be a rank $n$ real ...
- 988
5
votes
1
answer
395
views
Generalization of Gagliardo-Nirenberg Inequality
The standard Gagliardo-Nirenberg Inequality is
$$
\Vert u\Vert_{L^{\frac{n}{n-1}}(\mathbb R^n)}\le C_n \Vert \nabla u\Vert_{L^{1}(\mathbb R^n)},
\tag{$\ast$}$$
and constitutes a key step to proving ...
- 16.2k
0
votes
1
answer
83
views
Lower Estimate of A Lipschitz Map
Suppose that $(X,d_X)$ and $(Y,d_Y)$ are complete doubling metric spaces and let $f:X\rightarrow Y$ be a non-constant Lipschitz map. Then can does there exist a lsc function
$\rho:(0,\infty)\...
- 5,405
3
votes
2
answers
727
views
Is Cohen immersion conjecture (theorem) known for vector bundles?
R. Cohen proved the immersion conjecture in a 1985 Annals paper:
Cohen, Ralph L., The immersion conjecture for differentiable manifolds, Ann. Math. (2) 122, 237-328 (1985). ZBL0592.57022.
Any smooth ...
- 131
3
votes
1
answer
971
views
Local diffeomorphism on a neighborhood of an embedding
In my reading of the (excellent!) paper of Grabowski and Rotkiewicz on higher vector bundles (https://arxiv.org/abs/math/0702772), I have encountered the following argument which I do not understand. ...
- 113
7
votes
2
answers
838
views
Transitive embedding of the projective plane $\Bbb R P^2$ into the $4$-sphere
Is there an embedding (i.e. injective continuous map)
$$\phi:\Bbb R \Bbb P^2\hookrightarrow S^4\subseteq\Bbb R^5$$
of the projective plane $\Bbb R\Bbb P^2$ into the $4$-sphere, that is ...
- 13.6k
1
vote
1
answer
393
views
Hyperbolic embedding of a directed acyclic graph defined over strings
For integer $n$ and alphabet $\Sigma$ we construct a DAG (directed acyclic graph) $G=(V,E)$ over strings $s\in\Sigma^\star$ as follows:
$$V = \{s\in\Sigma^\star\colon |s|\le n\}$$
$$E = \{(s_1,s_2)\...
- 187
7
votes
2
answers
3k
views
Embeddings of flag manifolds
Consider the flag manifold $\mathbb{F}(a_1,\dots,a_k)$ parametrizing flags of type $F^{a_1}\subseteq\dots\subseteq F^{a_k}\subseteq V$ in a vector spaces $V$ of dimension $n+1$, where $F^{a_i}$ is a ...
user61586
9
votes
2
answers
423
views
About the commutativity of the $1^\text{st}$ homotopy group of the space of knots
I would like to know if the fundamental group of the connected component of a knot space could be non commutative. I am specially interested in the case of $\mathbb{R}^3$, $\mathbb{S^3}$ or some other ...
- 325
1
vote
0
answers
212
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,574
-3
votes
1
answer
363
views
Can there be elementary embedding between a universe and a universe inside it?
[EDIT] the prior question (see the second section below) 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 ...
- 11.3k
9
votes
1
answer
669
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 $\...
- 28k
2
votes
0
answers
405
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$?
- 517
8
votes
2
answers
531
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 ...
- 1,566
0
votes
1
answer
131
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 ...
- 395
13
votes
1
answer
619
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. ...
- 1,173
5
votes
0
answers
197
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$-...
- 51
1
vote
1
answer
158
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 ...
- 3,317
1
vote
0
answers
159
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 ...
- 1,389
4
votes
1
answer
496
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 ...
- 2,837
13
votes
3
answers
2k
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 ...
- 1,465
4
votes
1
answer
544
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 ...
- 10.5k
12
votes
1
answer
424
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 nontrivial elementary embedding $V$ to itself. This result further ...
- 2,221
2
votes
1
answer
2k
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
$$
\...
- 16.2k
1
vote
1
answer
116
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 ...
- 13.9k
4
votes
2
answers
232
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 ...
- 13.9k
8
votes
0
answers
93
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 ...
- 5,215
4
votes
0
answers
272
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 ...
- 8,669