相关论文: Non-finiteness properties of fundamental groups 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…

We show that the fundamental group of any smooth subelliptic variety is finite. Moreover, it is also proved that every finite group can be realized as the fundamental group of a smooth subelliptic variety. As a consequence, it follows that…

It is an important question whether it is possible to put a geometry on a given manifold or not. It is well known that any simply connected closed manifold admitting a real projective structure must be a sphere. Therefore, any simply…

A topological space (not necessarily simply connected) is said to have finite homotopy rank-sum if the sum of the ranks of all higher homotopy groups (from the second homotopy group onward) is finite. In this article, we consider Stein…

The set of unrestricted homotopy classes $[M,S^n]$ where $M$ is a closed and connected spin $(n+1)$-manifold is called the $n$-th cohomotopy group $\pi^n(M)$ of $M$. Moreover it is known that $\pi^n(M) = H^n(M;\mathbb Z) \oplus \mathbb Z_2$…

We show that almost nonnegatively curved m-dimensional manifolds are, up to finite cover, nilpotent spaces in the sense of homotopy theory and have C(m)-nilpotent fundamental groups. We also show that up to a finite cover almost…

We study complete, finite volume $n$-manifolds $M$ of bounded nonpositive sectional curvature. A classical theorem of Gromov says that if such $M$ has negative curvature then it is homeomorphic to the interior of a compact…

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 prove that the complex of proper non-trivial non-degenerate subspaces of a finite-dimensional vector space endowed with a non-degenerate sesquilinear form is homotopy equivalent to a wedge of spheres. Additionally, we show that the same…

Understanding the relationships between geometry and topology is a central theme in Riemannian geometry. We establish two results on the fundamental groups of open (complete and noncompact) $n$-manifolds with nonnegative Ricci curvature and…

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,…

Homotopy type theory is a version of Martin-L\"of type theory taking advantage of its homotopical models. In particular, we can use and construct objects of homotopy theory and reason about them using higher inductive types. In this…

Implementing an idea due to John Baez and James Dolan we define new invariants of Whitney stratified manifolds by considering the homotopy theory of smooth transversal maps. To each Whitney stratified manifold we assign transversal homotopy…

Using geometric arguments, we compute the group of homotopy classes of maps from a closed $(n+1)$-dimensional manifold to the $n$-sphere for $n \geq 3$. Our work extends results from Kirby, Melvin and Teichner for closed oriented…

Let $M$ be complete nonpositively curved Riemannian manifold of finite volume whose fundamental group $\Gamma$ does not contain a finite index subgroup which is a product of infinite groups. We show that the universal cover $\tilde M$ is a…

We show that the complex of free factors of a free group of rank n > 1 is homotopy equivalent to a wedge of spheres of dimension n-2. We also prove that for n > 1, the complement of (unreduced) Outer space in the free splitting complex is…

For any integer $n\geq 2$, we construct an infinite family of Stein fillable contact $(4n-1)$-manifolds each of which admits infinitely many pairwise homotopy inequivalent Stein fillings.

For each n greater than 7 we explicitly construct a sequence of Stein manifolds diffeomorphic to complex affine space of dimension n so that there is no algorithm to tell us in general whether a given such Stein manifold is symplectomorphic…

For each nonnegative integer m we show that any closed, oriented topological four-manifold with fundamental group Z_{4m+2} and odd intersection form, with possibly seven exceptions, either admits no smooth structure or admits infinitely…

We construct smooth bundles with base and fiber products of two spheres whose total spaces have non-vanishing $\hat{A}$-genus. We then use these bundles to locate non-trivial rational homotopy groups of spaces of Riemannian metrics with…