Questions tagged [smoothing-theory]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
6 votes
0 answers
121 views

Smoothing tame topological knots, from an analytic perspective

A tame topological knot (for the purpose of this question) is a topological embedding of $S^1 \times D^2$ into $\Bbb R^3$. Tame topological knots are known to be isotopic to smooth knots. This ...
  • 41.1k
2 votes
1 answer
156 views

Markov triples and Newton-Okounkov bodies of $\mathbb{P}^2$

I am working on symplectic geometry and I have some questions about a degeneration of $\mathbb{P}^2$. Question: Can we obtain the moment polytope (or the polytope associated with the anti-canonical ...
  • 1,017
6 votes
1 answer
372 views

Knots: locally flat, PL and smooth

In the classical dimension (knots in $S^3$), it is considered standard (I think?) that the following sets are in bijective correspondence: locally flat knots up to ambient isotopy; PL-knots up to PL ...
11 votes
1 answer
363 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,676
1 vote
1 answer
164 views

Is $\operatorname{PL}_{n,n-1}$ contractible?

$\DeclareMathOperator\PL{PL}$Consider the group $\PL_{n,n-1}$ of orientation preserving PL self-homeomorphisms of $\mathbb R^n$ that also preserve $\mathbb R^{n-1}$ pointwise. It is usually understood ...
  • 1,676
5 votes
1 answer
154 views

$\operatorname{STop}_{n,n-2}\simeq S^1$?

$\DeclareMathOperator\STop{STop}$I am interested in any information about the homotopy type of the groups $\STop_{n,j}$ of homeomorphisms of $R^n$ preserving orientation and pointwise $R^j\subset R^n$....
  • 1,676
2 votes
0 answers
189 views

Existence of smooth structures on topological $3$-manifolds with boundary

It is said in this thread Unique smooth structure on $3$-manifolds that every topological $3$-manifold admits a smooth structure. However it is not specified whether the manifolds are allowed to have ...
  • 21
3 votes
1 answer
218 views

Smoothing a periodic function of two variables

Let $F \colon \mathbb{R}^2 \to \mathbb{R}^n$ be a $C^{1}$-function 1-periodic in each variable, so it can be considered as a function on the flat torus $\mathbb{T}^2 = \mathbb{R}^2 / \mathbb{Z}^2$. We ...
1 vote
1 answer
150 views

log-convexity of Mollified function?

Let $f:{\mathbb R}\rightarrow{\mathbb R}_+$ be a log-convex function. Suppose that $f_{\epsilon}$ is the smoothed version of $f$: $$f_{\epsilon}(x)=\int \varphi_{\epsilon}(x-y)f(y)dy,$$ where $\...
  • 21
3 votes
0 answers
211 views

smoothing a current

Let $M$ be a smooth oriented manifold of dimension $n$ and $T$ a current of dimension $k$ on $M$. Let $\phi:P\times M \to M$ be a proper smooth family of diffeomorphisms of $M$ (i.e. $P$ is a smooth ...
  • 340
22 votes
2 answers
3k views

Isotopy extension theorems

I'm looking for the origins of the isotopy extension theorem in categories other than the smooth category. Precisely, in the smooth category, the isotopy extension theorem says that if $f : [0,1] \...
  • 41.1k
12 votes
1 answer
909 views

Are there non-compact, non-smoothable manifolds?

There do exist manifolds which do not admit any smooth structure at all. But the only examples I've heard of are all compact. Are there any non-compact, non-smoothable manifolds?
  • 2,716
18 votes
1 answer
1k views

Diffeomorphisms vs homeomorphisms of 3-manifolds

For a smooth 3-manifold $M$, is the natural map from the space of diffeomorphisms of $M$ to the space of homeomorphisms of $M$, $${\sf Diff}(M) \longrightarrow {\sf Top}(M),$$ a weak homotopy ...