Questions tagged [embeddings]
The embeddings tag has no usage guidance.
191 questions
6
votes
1
answer
962
views
Can a smooth manifold be realised as the image of a smooth function?
Consider, $M$, a smooth $m$ dimensional submanifold of $\mathbf R^n$. Does there exist a smooth map $X: \mathbf{R}^m\to\mathbf R^n$ such that $M=X(\mathbf R^m)$?
$X$ may have points at which the ...
- 521
1
vote
2
answers
284
views
Ricci scalar of submanifold of $\mathbf R^n$
Let $M$ be an $n-m$ dimensional sub-manifold of $\mathbf R^n$ defined by the following set of equations:
\begin{equation}
f_1(\vec x)=0, \\
\vdots \\
f_m(\vec x)=0,
\end{equation}
where $\vec x$ are ...
- 521
2
votes
1
answer
354
views
Volume of submanifold as integral of delta-function
Let $M$ be an $n-m$ dimensional sub-manifold of $\mathbf R^n$ defined by the following set of equations:
\begin{equation}
f_1(\vec x)=0, \\
\vdots \\
f_m(\vec x)=0,
\end{equation}
(where $\vec x$ are ...
- 521
3
votes
0
answers
208
views
Volume of sub-manifold of $\mathbf R^n$
Let $M$ be an $n-m$ dimensional sub-manifold of $\mathbf R^n$ defined by the following set of polynomial equations:
\begin{equation}
P_1(\vec x)=0, \\
\vdots \\
P_m(\vec x)=0,
\end{equation}
(where $\...
- 521
4
votes
1
answer
217
views
Topologically embed Klein bottle into $\mathbb{R}^4$ projecting to usual "beer-bottle" surface in $\mathbb{R}^3$
(Originally asked in 2018 at https://math.stackexchange.com/questions/2946505/topological-embedding-of-klein-bottle-into-mathbbr4-that-projects-to-usual?noredirect=1#comment9514257_2946505;cross-...
- 163
4
votes
1
answer
219
views
Does a smooth relative curve $X/S$ embed into $\mathbb{P}^3_S$?
Suppose that $\pi:X\to S$ is a smooth projective morphism of relative dimension 1. If $S$ is the spectrum of an algebraically closed field, then it is known that $X$ embeds into $\mathbb{P}^3_S$.
...
- 1,142
3
votes
0
answers
158
views
Constant in Naor and Neiman's Assouad Theorem
In Naor and Neiman's Assouad embedding theorem - "Assouad’s theorem with dimension independent of the snowflaking" Revisita Mathematica, the authors derive quantitative estimates on the ...
- 5,405
3
votes
0
answers
88
views
Is the thickening of a PL 2-disc in $\Bbb R^4$ a 4-ball?
Let $D\subset\Bbb R^4$ be a PL-embedded 2-dimensional disc. Let $N=D+K$ be a thickening of the disc, where $K$ is some sufficiently small 4-dimensional PL-ball and "$+$" means Minkowski ...
- 13.6k
1
vote
0
answers
136
views
Realization of a subgroup in a maximal subgroup of a classical group
$\DeclareMathOperator\Sp{Sp}\DeclareMathOperator\SL{SL}$In the finite group $G = \operatorname{PGL}_8(5)$, there is an elementary abelian $2$-subgroup $E$ of rank 5. $E = A_{1} \times A_{2} $ where $...
- 501
4
votes
0
answers
183
views
In how far does the Whitney trick work in the piecewise linear setting in $\Bbb R^4$?
I usually read about the Whitney trick in the context of smooth manifolds, but I wonder in how far it works in the piecewise linear (PL) category as well. I have a specific setting in mind that I will ...
- 13.6k
3
votes
1
answer
129
views
Holomorphic/Symplectic embedding of Riemann surfaces
Let $\Sigma_g$ denote a Riemann surface and let $X$ denote the complex surface $\Sigma_g \times \Sigma_g$. Then can there exist holomorphic embeddings of $\Sigma_l$ into $X$ for $l < g$?
What about ...
- 755
3
votes
0
answers
115
views
Isometric embeddings of $c_0$ into metric spaces
Are there any nice and useful criteria or theorems which assert when a given metric space $M$ contains an isometric (not necessarily linear) copy of the Banach space $c_0$ or its unit ball $B_{c_0}$? (...
- 1,151
4
votes
0
answers
227
views
To what extent is the Nash embedding not unique?
Consider a smooth Nash embedding, $f$, of a Riemannian manifold $Σ$ into Euclidean space $\mathbb R^n$. To what extent is this embedding not unique?
It is clear that the set of all such embeddings ...
- 521
2
votes
2
answers
387
views
Under what conditions can an orientable Riemannian 3-manifold be defined implicitly?
Under what conditions can an orientable Riemannian 3-manifold $\Sigma$ be defined implicitly?
What I mean by implicitly is that there exists a smooth function $f:\mathbb{R}^n\to \mathbb{R}^m$, such ...
- 521
5
votes
0
answers
126
views
Metric under Ricci flow on a 2-sphere can be realized by embedding
I am sorry if this is a silly question, but I am new to Ricci flows.
Let $\Sigma \subset \mathbb{R}^3$ be a smoothly embedded sphere, and denote its metric (induced by $\mathbb{R}^3$) by $g$. Suppose ...
- 2,095
0
votes
0
answers
155
views
Prove that Takens' embedding is a smooth one-to-one map with a smooth inverse
Let $f: \mathcal{M} \rightarrow \mathcal{M}$ be a smooth diffeomorphism and $\phi: \mathcal{M} \rightarrow \mathbb{R}$ be a smooth function, where $\mathcal{M}$ is a $d$-dimensional manifold (which we ...
- 297
9
votes
0
answers
125
views
Is every simplicial $d$-sphere linearly embeddable in $\Bbb R^{d+1}$?
A simplicial $d$-sphere is a simplicial complex homeomorphic to the $d$-sphere. It is known that not every such complex can be embedded into $\Bbb R^{d+1}$ as the boundary complex of a convex ...
- 13.6k
8
votes
0
answers
298
views
A conjecture about homotopy $S^1\times B^3$'s
$\textbf{Conjecture}:$
Let $X^4$ be a homotopy $S^1\times B^3$ with the following properties:
Attaching a four dimensional 2-handle gives a standard $B^4$.
The $k$-fold cyclic cover is diffeomorphic ...
0
votes
0
answers
242
views
Can a non-reflexive space embed into a reflexive space?
My question is inspired from the concept of super-reflexivity which was defined by James here: https://www.cambridge.org/core/journals/canadian-journal-of-mathematics/article/superreflexive-banach-...
- 11
10
votes
1
answer
207
views
The knot $K\subset \Bbb S^3$ is smoothly slice, but the disc $D\subset \Bbb D^4$ is only locally flat. Can $D$ be smoothed?
Suppose I am given a smoothly slice knot $K\subset\Bbb S^3$. But I am only given a locally flat disc $D\subset \Bbb D^4$ with boundary $K$.
Question: Is there a smooth disc $D'\subset\Bbb D^4$ with ...
- 13.6k
0
votes
0
answers
162
views
Compact embedding of anisotropic Sobolev space
I am wondering if the embedding from $W^{2,1}_p(\Omega \times [0,T])$ to $C^{\alpha,\alpha/2}(\Omega \times [0,T])$ is compact, for some suitable domain, $p$ and $\alpha$. I have found some results. I ...
- 54
6
votes
1
answer
383
views
Sobolev embedding theorems on manifolds
I had asked the following question on math.stackexchange but did not get any response:
I'm looking for a reference which states the Sobolev embedding theorems on Riemann manifolds for fractional ...
- 131
2
votes
0
answers
93
views
Finite approximations to the Kuratowski/Fréchet embedding
Let $(X,d)$ be a compact doubling metric space with doubling constant $C>0$. Let $\{\mathbb{X}_n\}_{n=0}^{\infty}$ be a sequences of finite subsets of $X$ with
$$
\left\{B\left(x_k,\frac1{n}\right)...
- 195
1
vote
0
answers
106
views
Best estimate on doubling constant of a finite metric space
Let $(X,d)$ be a finite metric space. Clearly, $(X,d)$ is a doubling metric space but is there a 'best' estimate of $(X,d)$'s doubling constant?
Probability based on its cardinality, diameter, and ...
- 195
2
votes
1
answer
115
views
Completing a tree to a 2-connected outerplanar graph
Let $T$ be a given (finite) tree.
Question 1: Is it always possible to add edges to $T$ to obtain a $2$-connected outerplanar supergraph $G$?
Question 2: If the answer to Question #1 is negative, can ...
- 6,962
12
votes
3
answers
639
views
Embedding of a bundle with connection into a bundle with flat connection?
I'm looking for a generalization of Nash's embedding theorem (for Riemannian manifolds) to vector bundles with a connection.
Given a smooth manifold $M$ together with a vector bundle $V$ on $M$ ...
- 617
1
vote
0
answers
31
views
Separability of graph component embeddings
I have an undirected graph. I also have an embedding of the graph in $\mathbb{R}^3$. Assume that the graph has 2 connected components. I want to know whether there exists a plane (or better - any ...
- 283
1
vote
0
answers
112
views
The best lower bound for isometric immersions
I just read Azov's article in the considered two classes of Riemannian metrics,
\begin{align*}
ds^2&=du_1^2+f(u_1)\sum_{i=2}^ldu_i,&f>0\\
ds^2&=g^2(u_1)\sum_{i=2}^ldu_i^2
,&g>0\...
- 143
3
votes
0
answers
149
views
Approximating maps by embedding
A continuous map $f$ between two metric spaces is said to be a $r$-map if preimage of each point under $f$ has diameter atmost $r$. Suppose $D^n=\{x\in \mathbb{R}^n\mid ||x||\leq 1\}\subset \mathbb{R}^...
- 125
11
votes
2
answers
517
views
Given a 2-disc embedded in $\Bbb R^4$, can I fit another 2-disc with the same boundary?
I am given a 2-disc $D^2$ embedded into $\Bbb R^4$, that is, I have an injective continuous map $\phi:D^2\to\Bbb R^4$. I want to "double" this disc in the sense that I am looking for a ...
- 13.6k
11
votes
1
answer
453
views
Haefliger trefoil $S^3\hookrightarrow S^6$
It is known that the Haefliger trefoil $S^3\hookrightarrow S^6$ is PL trivial but non-trivial smoothly. I wonder, where exactly does the problem come? Consider its tubular neighborhood $T\cong S^3\...
- 1,875
4
votes
0
answers
382
views
Reference Aubin T.- Espaces de Sobolev sur les varietes Riemanniennes. Bull. Sc. Math. 100, (1976) 149-173
I have been searching without success for the reference:
Aubin T.- Espaces de Sobolev sur les varietes Riemanniennes. Bull. Sc. Math. 100, (1976) 149-173
It is cited in many related works. In ...
- 201
4
votes
0
answers
181
views
Specify the embedding of special unitary group in a Spin group via their representation map
How do we specify the embedding of a Lie group $G_1$ as a subgroup into a larger Lie group $G_2$, with $G_1 \subset G_2$ that agree with a constraint on the mapping between their representations?
By ...
- 10.5k
1
vote
1
answer
115
views
Does the rational normal curve embedding extend as a mapping from the "bulk" to some bigger ambient space?
The complex projective line $\mathbb{P}^1(\mathbb{C})$ can be identified with the sphere at infinity of hyperbolic $3$-space, modeled say by the Poincare open $3$-ball in $\mathbb{R}^3$ (the sphere at ...
- 5,215
1
vote
1
answer
156
views
Necessary and sufficient conditions for the Lie group embedding $G \supset J$ can be lifted to $G$'s covering space [closed]
Suppose the Lie group $G$ contains the Lie group $J$ as a subgroup, so
$$
G \supset J.
$$
If $G$ has a nontrivial first homotopy group $\pi_1(G) \neq 0$.
If $G$ has a universal cover $\widetilde{G}$, ...
- 317
2
votes
0
answers
94
views
Almost Lipschitz embedding of compact metric measure spaces into Euclidean spaces
Let $(X,d)$ be a compact metric space, $m$ be a metric outer-measure on $X$. Are there 'mild conditions' on $X$ ensuring the existence of a positive integer $N\geq 3$ such that there exist $x_1,\dots,...
- 109
6
votes
1
answer
588
views
$H_0^1(\Omega, D) \hookrightarrow L^2(D)$ is compact, for $\Omega$ quasi-open in $D$ - Proof verification
In their paper The spectral drop problem, Buttazzo and Velichkov state that the embedding $H_0^1(\Omega, D) \hookrightarrow L^2(D)$ is compact, where $\Omega \subset D$ is quasi-open, $D \subset \...
1
vote
0
answers
70
views
Injectivity of post-composition operator
Let $X$, $Y_1,Y_2$, and $Z$ be separable metric spaces. Let $C(X,Y)$ be the topological space of continuous functions from $X$ to $Y$ equipped with its compact-open topologies. Fix a continuous ...
1
vote
1
answer
83
views
Finite graph not embeddable in $H(n,2)$
Let $n\in\mathbb{N}$ and consider $x,y \in\{0,1\}^n$. The Hamming distance of $x,y$ is defined by $$d_H(x,y) = |\{i\in \{0,\ldots, n-1\}:x_i\neq y_i\}|.$$
For $n\geq 2$ let $H(n,2)$ be the graph given ...
- 48.9k
3
votes
1
answer
267
views
Embedding CW-complexes into infinite-dimensional topological vector spaces
Sometimes it is desirable to embed CW-complexes into real vector spaces, to use a simple linear algebra to work with them. Result on embedding into Euclidean spaces are well known, check Hatcher‘s ...
- 519
7
votes
1
answer
591
views
When is a metric space a snowflake?
Let $(X,d)$ be a metric space. For any $0<\epsilon<1$, we call the metric space $(X,d^{\epsilon})$; where $d^{\epsilon}(x,y)\triangleq (d(x,y))^{\epsilon}$ the $\epsilon$-snowflake of $(X,d)$.
...
4
votes
3
answers
432
views
How to show that random graphs cannot be embedded with short edges
For each (not necessarily planar) embedding of a graph in $\mathbb{R}^k$ one can calculate the ratio
$$\gamma = \frac{\textsf{mean Euclidean length of edges}}{\textsf{mean Euclidean distance between ...
- 9,720
2
votes
0
answers
536
views
Interpolation inequality involving negative Sobolev space
$\newcommand\norm[1]{\left\|#1\right\|}\newcommand\inner[2]{\langle #1,#2\rangle}$
Let $u\in \dot{H}^1(\mathbb{R}^n)$ for $n\geq 3$ where $\dot{H}^{1}$ denotes the homogeneous Sobolev space that is ...
- 547
3
votes
1
answer
183
views
Is this sequence of embeddings possible?
Working in a suitable extension of $\sf Z$ like $\sf ZfC + wholeness \ axiom$, or $\sf ZFj + Reinhardt \ axiom$.
Can we have a sequence $(j_n)_{n \in \mathbb N} $ of nontrivial elementary embeddings ...
- 11.3k
7
votes
1
answer
479
views
Do holomorphic symplectic manifolds admit (high codimension) embeddings in some standard space?
Per the Whitney embedding theorem, any manifold $M$ can be embedded into a sufficiently high dimensional Euclidean space.
According to Gromov's h-principle for contact embeddings, any contact manifold ...
- 8,723
0
votes
0
answers
94
views
Reflective embeddings outside separation?
One of the known ways to axiomatize ZF is via these two axiom schemata:
Separation: $\forall \vec{w} \forall A \exists! x: x=\{y \in A: \phi\}$
Reflection: $\forall \vec{w} \exists \alpha: \phi \to \...
- 11.3k
6
votes
1
answer
632
views
Can there exist such a sequence of elementary embeddings of the universe to itself?
Working in ZfC + Wholeness:
Can we have a countable sequence of non-trivial elementary embeddings of the universe to itself, such that the range of each embedding is a subclass of the range of its ...
- 11.3k
25
votes
1
answer
2k
views
On a curious map from the complex projective plane into $S^5$
I have heavily edited the post (including the title), based on a comment by @GregoryArone that my map $f$ is not injective. In an earlier version of this post, I had thought to have constructed a ...
- 5,215
3
votes
1
answer
206
views
Does the Hawaiian Earring Group embed into the permutation group of $\mathbb N$?
Recall that the Hawaiian earring group, $\mathbb G$, is the fundamental group of the Hawaiian Earing using the point at the origin. It can be understood more combinatorially as a subgroup of the ...
- 1,882
2
votes
0
answers
1k
views
Compact embedding of the Sobolev space $H^m(\Omega)$ and $L^2(\Omega)$ from Rellich-Kondrachov theorem
From the Rellich-Kondrachov theorem we know that $H^m(\Omega)\hookrightarrow_c L^2(\Omega)$ when $\Omega$ is bounded of class $C^1$ and $m\geq 1$ is an integer. Also this is not true if $\Omega:=\...
- 657