Questions tagged [embeddings]
The embeddings tag has no usage guidance.
188
questions
2
votes
1
answer
165
views
Can a nontrivial $n$-sphere bundle over $M$ embed in $M\times \mathbb{R}^{n+1}$?
Let $\pi\colon E\to M$ be a smooth $S^n$-bundle with structure group $\text{Diff}(S^n)$.
Assume there is a smooth embedding $f:E\to M \times \mathbb{R}^{n+1}$ such that $\text{pr}_1 \circ f = \pi$, ...
- 577
4
votes
0
answers
142
views
Is there a notion of "locally flat" for CW complexes?
A submanifold $X^n\subset Y^m$ is locally flat if each point $x\in X$ has a neighborhood $U\subset Y$ so that $(U,U\cap X)\simeq (\Bbb R^m, \Bbb R^n)$ with the standard embedding $\Bbb R^n\...
- 13.1k
1
vote
0
answers
40
views
Compact embeddings RKHSs into Sobolev Spaces
Let $\mathcal{H}$ be an RKHS over an open domain $\Omega \subseteq \mathbb{R}^d$. Are there conditions under which $\mathcal{H}$ can be compactly embedded in a Sobolev space $W^{s,p}(\Omega)$ for ...
3
votes
1
answer
148
views
How to properly define a slice knot (or a locally flat disk)?
A knot $K\subset\Bbb S^3=\partial \Bbb D^4$ is said to be (topolopgically) slice if there is a locally flat disk $D\subset\Bbb D^4$ with $\partial D=D\cap \Bbb S^3=K$. As far as I understand, locally ...
- 13.1k
0
votes
0
answers
24
views
Closed regular monomorphism and closed subspace
I have read the categorical definition of embedding, which is that of regular monomorphism. In the case of the category of locally ringed space, is it true that closer subspaces are defined by closed ...
- 67
3
votes
0
answers
98
views
Embeddings of Bochner-Sobolev spaces with second time derivative
NOTE: I also asked this question here in MSE.
In the weak theory of evolution PDEs, the Bochner-Sobolev spaces are frequently used. For $a,b \in \mathbb{R}$ and $X,Y$ banach spaces, we define these ...
- 91
4
votes
1
answer
137
views
"Almost embedding" the complete 2-dimensional complex $\mathcal K_7^2$ into $\Bbb R^4$
Let $\mathcal K_7^2$ be the complete 2-dimensional simplicial complex on seven vertices, i.e. it has all $7\choose 2$ edges and all $7\choose 3$ 2-simplices (and no higher-dimensional simplices).
I ...
- 13.1k
0
votes
1
answer
128
views
Local embedding and disk in domain perturbation
Consider say $M=(\mathbb{S}^1\times\dotsb\times \mathbb{S}^1)-q$ ($n$-times). Assume that $B$ is an $n$ disk in $M$ (for instance, thinking of $\mathbb{S}^1$ as gluing $-1$ and $1$, the cube $B=[-\...
1
vote
0
answers
77
views
Is there a variant of the crossing lemma for multigraphs with arbitrary embedding?
Suppose $G$ is a graph embedded in the plane with $m=|E(G)|$ edges and $n=|V(G)|$ vertices.
Suppose $\operatorname{sim}(G)$, the simplification of $G$ contains $ m' \gg 3n $ edges.
Call the set of ...
- 111
5
votes
0
answers
196
views
"separators" for nonplanar graphs embedded in the plane
Given a nonplanar graph $G$ drawn in the plane with crossings.
Does there exist a small ($o(|V(G)|$) subset $S$ of edges of $G$ such that after the removal of all edges that intersect or share an ...
- 111
0
votes
0
answers
60
views
Constants in the entropy number of the Sobolev space
For a Sobolev space with $W^s(\Omega)$, where $\Omega\subset R^d$ is a compact space with smooth boundary, we know that the entropy number satisfies $e(\delta, W^s(\Omega, 1),\|\cdot\|_{L_\infty})\leq ...
- 39
0
votes
0
answers
127
views
Embedding of the first Hirzebruch surface in $\mathbb{P}^4$ as a cubic surface
The first Hirzebruch surface (the blow-up of $\mathbb{P}^2$ at one point) is a projective toric surface that naturally embeds into $\mathbb{P}^4$ as a cubic surface (sometimes called the cubic scroll)....
- 173
1
vote
0
answers
134
views
Can a closed null-homotopic curve be filled in by a disc?
Let $U\subseteq\Bbb R^n$ be an open set and $\gamma\subset U$ a closed null-homotopic curve in $U$ (i.e. it can be contracted to a point). Then is there an embedded disc $D\subset U$ with boundary $\...
- 13.1k
8
votes
1
answer
258
views
Does the continuous image of a disc contain an embedded disc?
Let $\phi:\Bbb D^2\to\Bbb R^n$ be a continuous mapping of the 2-disc $\Bbb D^2$ that is injective on the boundary $\partial\Bbb D^2=\Bbb S^1$. Does its image contain an embedded disc with the same ...
- 13.1k
1
vote
0
answers
114
views
Dependence of Sobolev embedding theorem constant on smoothness
Assume that $\Omega \subset \mathbb{R}^d$ is "nice" enough and $k$ is a positive real number. Using the Sobolev embedding theorem, we can get that
$$
\|f\|_{W^{0,2d/(d-2k)}\ \ \ \ \ (\Omega)}...
- 11
3
votes
0
answers
118
views
Is it consistent to have an infinite antitone sequence of elementary embeddings such that the involved models include iterated sharps?
$\DeclareMathOperator\crit{crit}$Background essays (the material I've tried to understand in leading up to this question):
Daghighi, et. al. [2014], "The foundation axiom and elementary self-...
0
votes
1
answer
98
views
Does $c$ in the embedding inequality $\|P^\kappa_t \|_{L^p \to L^{p'}} \le c t^{-\frac{d(p'-p)}{2pp'}}$ depend on $\kappa$?
For any $\kappa>0$, we consider the Gaussian heat kernel
$$
p^\kappa_t (x) := (\kappa \pi t)^{-\frac{d}{2}} e^{-\frac{|x|^2}{\kappa t}},
\quad t>0, x \in {\mathbb R}^d.
$$
Let $L^0 := L^0 (\...
- 1,209
6
votes
1
answer
359
views
Different flavours of Vassiliev Conjecture
There is something that puzzles me about "Vassiliev's Conjecture". I am sure I am missing some detail which is obvious to the community, since there are several tightly related kind of ...
- 2,084
4
votes
0
answers
223
views
stating large cardinal axioms in ZF
Can I ask whether there is a good reference for how to state the standard large cardinal axioms in the context of $ZF$? My concern is that it seems that the usual proof that embeddings defined from ...
- 2,075
1
vote
0
answers
123
views
Do cycle graphs embed isometrically in spheres?
I recently came across, what seems to be a folklore. Namely, that cycle graphs embeds isometrically into spheres $S^n(r)$, for some $n\in \mathbb{N}_+$ and some $r>0$. However, I could not track ...
- 169
3
votes
0
answers
69
views
Is every weakly $1$-dimensional space embeddable in the plane?
A $1$-dimensional (separable metric) space $X$ is weakly $1$-dimensional if $$\Lambda(X)=\{x\in X:X\text{ is 1-dimensional at }x\}$$
is zero-dimensional (i.e. the space $\Lambda(X)$ has a basis of ...
- 3,177
4
votes
2
answers
355
views
Knot theory in handlebodies of arbitrary genus
It is well known that not all graphs embed on the plane (e.g. the graph $K_{3,3}$). However, every finite graph embeds into a surface of some genus. One can think of this procedure as starting with a ...
6
votes
0
answers
152
views
Metric spaces containing a topological disc
It is well-known that every connected, locally connected compact metrizable space $X$ contains an arc, that is, a subspace homeomorphic to $[0,1]$. Are there topological properties we can add to these ...
- 6,863
4
votes
0
answers
62
views
Which cellular embeddings of Eulerian graphs have bipartite duals?
It is well-known that a plane graph $G$ is Eulerian if and only if its (geometric) dual $G^*$ is bipartite.
I am interested in generalisations of this result to cellular embeddings of Eulerian graphs ...
- 191
5
votes
3
answers
539
views
If a polyhedron in $\mathbb{R}^3$ has local intersections, does it also have more global intersections?
Consider a simplicial complex $K$. A piecewise linear map $f: K \to \mathbb{R}^n$ is an almost-embedding if $f(\sigma) \cap f(\tau) = \emptyset$ for any two disjoint simplices $\sigma,\tau$ in $K$.
...
- 141
2
votes
1
answer
297
views
Sufficient condition for the union of two submanifolds to be a submanifold
I have two smoothly embedded orientable surfaces $S_1,S_2\subset S^3 \times [0,1]$ with boundary such that
$(i)$ $S_1\cap S_2$ is a smoothly embedded surface without boundary and
$(ii)$ $\overline{...
4
votes
0
answers
155
views
Applications of Strong Whitney Embedding
I am looking for applications of the strong Whitney's embedding theorem that have an advantage over weak theorems. That is, applications where it's important that the dimension of the Euclidian space ...
- 237
4
votes
0
answers
263
views
Does this "join-like complex" of $K_5$ and $K_3$ embed in $\Bbb R^4$?
Consider the following 2-dimensional CW-complex: its 1-skeleton is $K_8$, which we write as an edge-disjoint union $K_5\cup K_{5,3}\cup K_3$.
Then for any two edges $ab\in E(K_5)$ and $cd\in E(K_3)$ ...
- 13.1k
2
votes
0
answers
117
views
How to express Kunen's inconsistency, Reinhardt and Wholeness axioms, by single sentences?
Working in $\sf NBG, $ can we express the property of a class being set theoretically definable, by a single sentence? Like for example, the following way:
$$\operatorname {std}(X) \iff \exists x_1 \...
- 10.5k
-3
votes
1
answer
72
views
Sobolev embedding [closed]
I was trying to understand Sobolev embedding, some results about this topic are not clear to me.
My question is the following:
what are the condition on $p_1 , \alpha_1, p_2 $and $\alpha_2$ for
$W^{...
- 35
4
votes
0
answers
256
views
Can we have full choice prior to Reinhardt cardinals?
Working in $\sf ZF + Reinhardt \ cardinal$, can we have full choice over all stages $V_{\alpha < \kappa}$ where $\kappa$ is the Reinhardt cardinal, i.e., the critical point of the elementary ...
- 10.5k
1
vote
0
answers
76
views
Can this method let choiceless large cardinals be smaller than cardinals compatible with choice?
Recall question "Can we have this sequence where choice fails and returns?"
Can that theory be extended with requiring the $\mathcal V_n$'s to fulfill a choiceless large cardinal extension ...
- 10.5k
2
votes
1
answer
350
views
Can we interpret Reinhardt cardinals this way?
To the language of set theory add a primitive unary predicate $\operatorname {Universe}$ and a primitive total unary function $j$. Add all axioms of $\sf ZF$ in the language of this theory, i.e. the ...
- 10.5k
1
vote
2
answers
270
views
Can we iteratively reflect on self elementary embeddable stages of the cumulative hierarchy?
Is it possible to iterate elementary embeddability and reflect on those stages that are elementary embeddable to themselves?
The following is a formal capture of that idea:
To the language of $\sf ZF$...
- 10.5k
8
votes
1
answer
1k
views
Is there a form of choice that can elude Kunen's inconsistency theorem?
When it is said that Kunen inconsistency theorem proves that given $\sf ZFC$ no elementary embedding can exist from the universe to itself. Most references quote full choice in stating that result, ...
- 10.5k
0
votes
0
answers
107
views
Name for homotopy totalization of Goodwillie tower (in embedding calculus)
Let $M,N$ be a manifold and consider the presheaf of spaces $\textrm{Emb}(-, N)$ on the open sets of $M$. Classical embedding calculus produces a goodwillie tower
$$ \ldots \rightarrow T_{k+1} \textrm{...
- 2,084
0
votes
1
answer
92
views
Hadamard submanifolds of $k$-fold product of hyperbolic plane
Let $\kappa>0$ and $d,k$ be a positive integers with $k\ge d$. For $k\in \mathbb{Z}^+$ large enough, can one find a geodesically complete and simply connected $d$-dimensional Riemannian ...
- 372
6
votes
0
answers
147
views
What is the minimum $n$ for which $\Bbb H^3$ can be isometrically embedded in $\Bbb R^n$ as a bounded set?
Consider the hyperbolic $3$-space $\Bbb H^3$ (i.e., the unique, simply-connected, $3$-dimensional complete Riemannian manifold with a constant negative sectional curvature equal to $-1$). The Nash ...
- 1,097
3
votes
1
answer
272
views
If we add stratified\acyclic replacement to the wholeness axiom, would that increase its consistency strength?
If we add to the wholeness axiom, the axiom of stratified\acyclic replacement, what would be the consistency state and strength of the resulting theory?
The wholeness axiom $\sf WA$, introduced by ...
- 10.5k
7
votes
1
answer
327
views
Can we have mutual elementary embeddability between distinct transitive sets?
Is it consistent with $\sf ZFC$ to have mutual elementary embeddability between distinct transitive sets?
Formally, is the following theory consistent? $${\sf ZFC} + \exists M \exists N: M,N \text { ...
- 10.5k
5
votes
1
answer
211
views
How to formalize this isotopy?
I'm studying the H-Cobordism theorem following the Lectures of John Milnor, and in the proof of the Whitney trick for cancel pairs of self-intersection points I have the next problem with an isotopy ...
- 237
4
votes
0
answers
104
views
Mostow-Palais equivariant embedding for manifolds with corners
Let $M$ be a compact smooth manifold and let $G$ be a connected compact Lie group acting on $M$. According to an old theorem of Mostow and Palais, there exists a $G$-equivariant embedding of $M$ into ...
- 373
4
votes
0
answers
304
views
Explicit formula for embedding of real projective spaces into Euclidean spaces
I am interested in representing vectors in $\mathbb{R}^n$ in a sign-invariant and efficient manner. That is, I am looking for a function
$$f:\mathbb{R}^{n+1}\rightarrow\mathbb{R}^d$$
such that for $v\...
- 133
5
votes
1
answer
242
views
Space of spacelike embeddings as infinite-dimensional manifold
Consider a four-dimensional Lorentzian manifold $(\mathcal{M},g)$ and a $3$-dimensional compact manifold $\Sigma$, such that there exists a spacelike embedding $i:\Sigma\to\mathcal{M}$ so that $h:=i^{\...
- 1,299
3
votes
1
answer
226
views
Adding a self-intersection point to an immersion
I'm currently working on strong Whitney's embedding theorem, using Adachi's notes on Embeddings and Immersions. But I am stuck on a statement that Adachi comments without proof about adding a unique ...
- 237
1
vote
0
answers
116
views
Embedding (Kronecker product) preserves the structure?
In PGL$_{n}(\textbf{C})$, conjugacy classes of toral involutions can be represented by $$s_{i} = \begin{pmatrix}
-I_{i} & 0\\
0 & I_{n-i}
\end{pmatrix}.$$ for $1 \leqslant i \leqslant [n/2]$. ...
- 501
8
votes
1
answer
380
views
Whitney embedding theorem for Hölder manifolds
According to a result of Whitney any $C^r$-manifold, $r\geq 1$, is $C^r$-homeomorphic to a smooth embedded submanifold of some Euclidean space; see Theorem 1 in
Hassler Whitney, "Differentiable ...
- 508
1
vote
0
answers
109
views
Exists $G$-equivariant embedding with faithful representation of $G$?
Let $k$ be a field of characteristic zero and $G$ a reductive group over $k$. Furthermore, let $X$ be a projective $k$-variety with a $G$-action. Then we know, for example from Mumfords book about GIT,...
- 473
5
votes
1
answer
904
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 ...
- 423
1
vote
2
answers
257
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 ...
- 423