相关论文: Spaces of knotted circles and exotic smooth struct…

Let Emb(S^j,S^n) denote the space of C^infty-smooth embeddings of the j-sphere in the n-sphere. This paper considers homotopy-theoretic properties of the family of spaces Emb(S^j,S^n) for n >= j > 0. There is a homotopy-equivalence of…

We consider closed topological 4-manifolds $M$ with universal cover ${S^2\times{S^2}}$ and Euler characteristic $\chi(M) = 1$. All such manifolds with $\pi=\pi_1(M)\cong {\mathbb Z}/4$ are homotopy equivalent. In this case, we show that…

Let Diff(N) and Homeo(N) denote the smooth and topological group of automorphisms respectively that fix the boundary of the n-manifold N, pointwise. We show that the (n-4)-th homotopy group of Homeo(S^1 \times D^{n-1}) is not…

Given a closed $n$-manifold, we consider the set of simple homotopy types of $n$-manifolds within its homotopy type, called its simple homotopy manifold set. We characterise it in terms of algebraic K-theory, the surgery obstruction map,…

We work in the smooth category. Let $N$ be a closed connected orientable 4-manifold with torsion free $H_1$, where $H_q := H_q(N; \mathbb Z)$. Our main result is a readily calculable classification of embeddings $N\to\mathbb R^7$ up to…

We work in the smooth category. If there are knotted embeddings S^n\to R^m, which often happens for 2m<3n+4, then no concrete complete description of embeddings of n-manifolds into R^m up to isotopy was known, except for disjoint unions of…

Given a closed smooth manifold $M$ of even dimension $2n\ge6$ with finite fundamental group, we show that the classifying space ${\rm BDiff}(M)$ of the diffeomorphism group of $M$ is of finite type and has finitely generated homotopy groups…

For each integer n\ge 2, we construct an irreducible, smooth, complex projective variety M of dimension n, whose fundamental group has infinitely generated homology in degree n+1 and whose universal cover is a Stein manifold, homotopy…

The trace of $n$-framed surgery on a knot in $S^3$ is a 4-manifold homotopy equivalent to the 2-sphere. We characterise when a generator of the second homotopy group of such a manifold can be realised by a locally flat embedded 2-sphere…

We work in the smooth category. Let $N$ be a closed connected orientable 4-manifold with torsion free $H_1$, where $H_q:=H_q(N;Z)$. Our main result is a complete readily calculable classification of embeddings $N\to R^7$, up to the…

We present two models for the space of knots which have endpoints at fixed boundary points in a manifold with boundary, one model defined as an inverse limit of spaces of maps between configuration spaces and another which is cosimplicial.…

We show that if $N$ is a closed manifold of dimension $n=4$ (resp. $n=5$) with $\pi_2(N) = 0$ (resp. $\pi_2(N)=\pi_3(N)=0$) that admits a metric of positive scalar curvature, then a finite cover $\hat N$ of $N$ is homotopy equivalent to…

We show that if $M$ and $N$ have the same homotopy type of simply connected closed smooth $m$-manifolds such that the integral and mod-$2$ cohomologies of $M$ vanish in odd degrees, then their homotopy inertia groups are equal. Let $M^{2n}$…

Let L be an exact Lagrangian submanifold inside the cotangent bundle of a closed manifold N. We prove that if N satisfies a mild homotopy assumption then the image of \pi_2(L) in \pi_2(N) has finite index. We make no assumption on the…

Let $\mathcal {M}$ be the space of all, including singular, long knots in 3-space and for which a fixed projection into the plane is an immersion. Let $cl(\Sigma^{(1)}_{iness})$ be the closure of the union of all singular knots in $\mathcal…

Let $S$ be a complete flat surface, such as the Euclidean plane. We determine the homeomorphism class of the space of all curves on $S$ which start and end at given points in given directions and whose curvatures are constrained to lie in a…

For any smooth manifold $M$ of dimension $d\geq4$ we construct explicit classes in homotopy groups of spaces of embeddings of either an arc or a circle into $M$, in every degree that is a multiple of $d-3$, and show that they are detected…

We study how to construct explicit deformations of generic smooth maps from closed $n$--dimensional manifolds $M$ with $n \geq 2$ to the $2$--sphere $S^2$ and show that every smooth map $M \to S^2$ is homotopic to a $C^\infty$ stable map…

The goal of this thesis is to prove that $\pi_4(S^3) \simeq \mathbb{Z}/2\mathbb{Z}$ in homotopy type theory. In particular it is a constructive and purely homotopy-theoretic proof. We first recall the basic concepts of homotopy type theory,…

Given smooth manifolds $M$ and $N$, manifold calculus studies the space of embeddings $\operatorname{Emb}(M,N)$ via the "embedding tower", which is constructed using the homotopy theory of presheaves on $M$. The same theory allows us to…