相关论文: Niemeier lattices, smooth 4-manifolds and instanto…

Using instanton Floer theory, extending methods due to Froyshov, we determine the definite lattices that arise from smooth 4-manifolds bounded by certain homology 3-spheres. For example, we show that for +1 surgery on the (2,5) torus knot,…

We show that, if a rational homology 3-sphere $Y$ bounds a positive definite smooth 4-manifold, then there are finitely many negative definite lattices, up to the stable-equivalence, which can be realized as the intersection form of a…

We produce a rational homology 3-sphere that does not smoothly bound either a positive or negative definite 4-manifold. Such a 3-manifold necessarily cannot be rational homology cobordant to a Seifert fibered space or any 3-manifold…

In this paper we construct families of homology spheres which bound 4-manifolds with intersection forms isomorphic to $-E_8$. We show that these families have arbitrary large correction terms. This result says that among homology spheres,…

In this note we study whether specific elements in the second homology of specific simply connected closed $4$-manifolds can be represented by smooth or topologically flat embedded spheres.

For every N > 0 there exists a group of deficiency less than -N that arises as the fundamental group of a smooth homology 4-sphere and also as the fundamental group of the complement of a compact contractible submanifold of the 4-sphere. A…

Let $G$ be a compact Lie group acting isometrically on a compact Riemannian manifold $M$ with nonempty fixed point set $M^G$. We say that $M$ is fixed-point homogeneous if $G$ acts transitively on a normal sphere to some component of $M^G$.…

We prove that for every natural number k there are simply connected topological four-manifolds which have at leat k distinct smooth structures supporting Einstein metrics, and also have infinitely many distinct smooth structures not…

We consider mapping class groups \Gamma(M) = pi_0 Diff(M fix \partial M) of smooth compact simply connected oriented 4-manifolds M bounded by a collection of 3-spheres. We show that if M contains CP^2 (with either orientation) as a…

Let L be a nonunimodular definite lattice. Using a theorem of Elkies we show that whether L embeds in the standard definite lattice of the same rank is completely determined by a collection of lattice correction terms, one for each…

For each rational homology 3-sphere $Y$ which bounds simply connected definite 4-manifolds of both signs, we construct an infinite family of irreducible rational homology 3-spheres which are homology cobordant to $Y$ but cannot bound any…

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 classify topological $4$-manifolds with boundary and fundamental group $\mathbb{Z}$, under some assumptions on the boundary. We apply this to classify surfaces in simply-connected $4$-manifolds with $S^3$ boundary, where the fundamental…

We classify the possible elementary amenable fundamental groups of compact aspherical 4-manifolds with boundary and conclude that they are either polycyclic or solvable Baumslag- Solitar. Since these groups are good and satisfy the…

We construct infinitely many smooth oriented 4-manifolds containing pairs of homotopic, smoothly embedded 2-spheres that are not topologically isotopic, but that are equivalent by an ambient diffeomorphism inducing the identity on homology.…

We prove that homological stability fails for the moduli space of any simply-connected closed smooth 4-manifold in any degree of homology, unlike what happens in all dimensions $\neq 4$. We detect also the homological discrepancy between…

This is a slightly altered version of the authors thesis from 2014. In the first main part we show that the quotient space of a compact, simply connected and nonnegatively curved Riemannian 4-manifold by an effective, isometric…

A nilmanifold resp. solvmanifold is a compact homogeneous space of a connected and simply-connected nilpotent resp. solvable Lie group by a lattice, i.e. a discrete co-compact subgroup. There is an easy criterion for nilpotent Lie groups…

In this note we derive an upper bound on the number of 2-spheres in the fixed point set of a smooth and homologically trivial cyclic group action of prime order on a simply-connected 4-manifold. This improves the a priori bound which is…

We point out that recent constructions of inequivalent smooth structures yield a manufacturing procedure of infinite sets of pairwise smoothly non-isotopic nullhomologous 2-tori and spheres inside a myriad of 4-manifolds. The corresponding…