Questions tagged [4-manifolds]

A smooth 4-manifold is a 4-manifold with a smooth structure. In dimension four, in marked contrast with lower dimensions, topological and smooth manifolds are quite different.

Filter by
Sorted by
Tagged with
14 votes
2 answers
1k views

Very particular kind of 4-manifolds. Classification

Let $M$ be a smooth orientable compact connected (with boundary) manifold of dimension $4$. In addition $M$ is assumed to be aspherical and acyclic. Question: is there a "classification" of ...
GSM's user avatar
  • 343
17 votes
2 answers
986 views

Homotopy groups of Diff(X) and Homeo(X)

For a compact closed smooth manifold $X$, the group Diff(X) has a natural homomorphism $\Phi$ to the homeomorphism group Homeo(X). If $X$ has dimension at least $5$, I'm looking for some general ...
Danny Ruberman's user avatar
6 votes
1 answer
668 views

Mazur and contractible manifolds

A Mazur manifold is a contractible, compact, smooth $4$-manifold with boundary a homology $3$-sphere. It is built from a single $0$-handle, a single $1$-handle and single $2$-handle. It is equivalent ...
user avatar
10 votes
2 answers
670 views

4-dimensional cohomology $\mathbb{CP}^2$'s

Let $M$ be a closed, smooth $4$-manifold with integral cohomology ring isomorphic to that of $\mathbb{CP}^2$, is it diffeomorphic to it?
Nick L's user avatar
  • 6,923
6 votes
1 answer
512 views

Akbulut's cork involution

Akbulut's cork is the Mazur manifold $W$ shown in the picture below, This manifold carries an involution of it's boundary $f:\partial W\to \partial W$ that exchanges a meridian of the 0-framed curve ...
Overflowian's user avatar
  • 2,523
0 votes
0 answers
110 views

May this slice disk for the unknot be pushed into the boundary?

Write the 4-ball as $\mathbb{D}^4=\mathbb{D}^2\times \mathbb{D}^2$. Then its boundary $\mathbb{S}^3\simeq \mathbb{S}^1\times \mathbb{D}^2\cup \mathbb{D}^2\times \mathbb{S}^1$. We will use implicitely ...
Overflowian's user avatar
  • 2,523
9 votes
2 answers
518 views

Rational slice knot that is not slice

Does there exists a knot $K\subset \mathbb{S}^3$ such that $K$ is not slice $\exists W^4$, $\partial W = \mathbb{S}^3$ rational homology ball $\exists $ properly embedded smooth disk $(D,\partial D)\...
Overflowian's user avatar
  • 2,523
8 votes
0 answers
403 views

Integer surgeries along links yielding lens spaces

Does there exist an integer $N$ such that any lens space $L(p,q)$ can be obtained by integer surgery from $S^3$ along a link $L$ with at most $N$ components? EDIT: I have worked out the comment by ...
Marc Kegel's user avatar
  • 1,314
3 votes
1 answer
221 views

Codimension two foliations with transverse surfaces

Suppose I have some closed $4$-manifold $X$ and a codimension-two foliation $\mathcal{F}$, as well as a closed surface $\Sigma$ of nonnegative self-intersection that is everywhere transverse to $\...
Rohil Prasad's user avatar
  • 1,591
15 votes
1 answer
429 views

Status of a conjecture of C.T.C. Wall?

In Wall's paper Unknotting tori in codimension one and spheres in codimension two, he states the following conjecture: Any $h$-cobordism of $S^3 \times S^1$ to itself is diffeomorphic to $S^3 \times ...
user124543's user avatar
10 votes
0 answers
203 views

Find a 4-manifold bounding a 3-torus with any abelian representation in SL_2

Fix $x,y,z\in \mathbb{C}^*$ and let $M=S^1\times S^1\times S^1$ with $\rho:\pi_1(M)\to \operatorname{SL}_2(\mathbb{C})$ mapping the three generators to diagonal matrices with entries $(x,x^{-1})$, $(y,...
Julien Marché's user avatar
10 votes
1 answer
417 views

Is a gluing of homeomorphic Mazur manifolds diffeomorphic to $S^4$?

A recent paper proves the existence of homeomorphic but not diffeomorphic Mazur manifolds (see also examples of exotic pairs of contractible Stein manifolds). Let's call them $M_1$ and $M_2$. If we ...
Ian Agol's user avatar
  • 66.8k
5 votes
1 answer
297 views

Example of closed 4 manifold with $\mathbb{S}^1$ action with 1 fixed point and free away from it

I am looking for a smooth closed 4-manifold $M$ with a distinguished point $x\in M$, endowed with an $\mathbb{S}^1$ action such that the stabilizer of $p\in M\setminus\{x\}$ is trivial and $x$ is ...
Overflowian's user avatar
  • 2,523
4 votes
0 answers
320 views

Smoothability of open 4-manifolds

F. Quinn proved that any open topological 4-manifold admits a smooth structure in Ends of maps III: dimensions 4 and 5. He first proves the generalized annulus conjecture: Suppose $h:D^j\times \...
cork_twist's user avatar
6 votes
1 answer
266 views

3-balls with the same boundary in $S^4$ differ up to diffeomorphism

I am looking at this recent paper by Budney and Gabai and I am confused by a certain sentence in it. Theorem 4.7 states that if $\Delta_1$ and $\Delta_2$ are two 3-balls smoothly embedded in $S^4$ ...
user101010's user avatar
  • 5,319
10 votes
1 answer
583 views

Index of Dirac operator and Chern character of symmetric product twisting bundle

I am having trouble understanding a couple of lines of computation from Theorem 13.30 in Besse's Einstein Manifolds text We are twisting the spinor bundle (on Einstein 4-manifold) $\Sigma$ with an ...
Guest123412341234's user avatar
8 votes
0 answers
434 views

Self diffeomorphism of $S^2\times S^2$

The main question is motivated from the answer of this question https://math.stackexchange.com/questions/2481200/finite-groups-gs-which-acts-freely-on-s2-times-s2 Is it true that every self ...
Anubhav Mukherjee's user avatar
8 votes
1 answer
447 views

Topological mapping class groups of 4-manifolds

It is a classical result of Quinn that for a simply-connected closed $4$-manifold $X$ the isometries of its intersection form are in one-to-one correspondence with $\pi_0 \text{Homeo}(X)$. (Isotopy ...
Enumerator's user avatar
3 votes
1 answer
367 views

Gauss-Bonnet-Chern Theorem [closed]

I am currently doing an undergraduate project about Gauss-Bonnet-Chern Theorem. Is there any particular books/papers regarding the application of the theorem in the theory of general relativity?
Nothing's user avatar
  • 159
5 votes
0 answers
302 views

Homotopy type of a $4$-manifold with finite fundamental group (paper by S. Bauer)

I'm studying Stefan Bauer's paper The homotopy type of a 4-manifold with finite fundamental group. In: tom Dieck T. (eds) Algebraic Topology and Transformation Groups. Lecture Notes in Mathematics,...
user267839's user avatar
  • 5,948
9 votes
1 answer
305 views

Genus 2 3-manifolds bounding only $X^4$ with $b_2(X^4)$ big?

The genus of a closed orientable 3-manifold $M^3$ is the minimum genus among all Heegaard splitting surfaces for $M$. Every such 3-manifold bounds a compact 4-manifold. Let $I(M)$ denote the ...
user101010's user avatar
  • 5,319
4 votes
0 answers
109 views

A 4-manifold with a special non-free circle action?

Let $X$ be an oriented closed 4 manifold, with a nontrivial orientation-preserving circle action. Question Is there an example such that $X/S^1$ is an orbifold (not a manifold), with a trivial first ...
user146582's user avatar
1 vote
0 answers
192 views

The effect of the Hodge $\star$ operator on the symplectic structure of a Kahler $4$ manifold

Let $(M,\omega, J, g)$ be a $4$ dimensional Kahler manifold. Put $\omega'=\star \omega$ where $\star$ is the Hodge operator associated the metric $g$. Is $(M,\omega ')$ a symplectic manifold? Is it ...
Ali Taghavi's user avatar
3 votes
0 answers
126 views

$\exists X$?(No basis for $H_2(X)$ contains spheres)

Does there exist a smooth simply connected closed 4-manifold $X$ with the property below? Every smooth basis for $H_2(X)$ contains a surface with genus $\geq 1$. I understand that in general the ...
Prototank's user avatar
  • 151
4 votes
0 answers
159 views

(Non-)Orientability of non-triangulable manifolds

We heard and learned from Mike Miller's answer to Not all manifolds can be triangulated: In which dimensions? that "All orientable 5-dimensional manifolds are triangulable. In dimensions at least ...
annie marie cœur's user avatar
2 votes
1 answer
281 views

Flat scalar curvature on 4 manifold

Let $(M,g)$ be a closed(oriented) Riemannian 4 manifold. It is well-known that, if $scal^g\geq0$ and not identically zero, then $M$ admits a PSC metric by conformal transformation. Q Is $T^4$ the ...
DLIN's user avatar
  • 1,905
7 votes
1 answer
265 views

ASD connection for Line bundle over $4$-manifold

Let $(M,g)$ be an oriented closed Riemannian $4$ manifold. Let $L\to M$ be a complex line bundle. Q Under what condition, we can find an ASD connection of $L$, i.e. a connection $A$ such that $F^+...
DLIN's user avatar
  • 1,905
4 votes
1 answer
182 views

Self-dual differential on $4$-manifold with boundary

Let $(M,g)$ be an oriented compact Riemannian $4$-manifold with boundary $\partial M$. Let $a\in \Omega^1$ such that $*a\big|_{\partial M}=0$, i.e. $a(\nu)=0$ on $\partial M$, where $\nu$ denotes the ...
DLIN's user avatar
  • 1,905
8 votes
0 answers
296 views

Lusternik-Schnirelmann Category of 4-Manifolds

Whilst reading 'the book' I stumbled across the following elegant little theorem, due to Gómez-Larrañaga and González-Acuña. Let $M$ be a closed $3$-dimensional manifold. Then its Lusternik-...
Tyrone's user avatar
  • 5,016
10 votes
1 answer
401 views

Can an exotic diffeomorphism of the 4-ball change the isotopy class of an embedded surface?

Let $W$ be $B^4$ or $S^3 \times I$. Let $Y$ be a properly embedded surface in $W$. Let $f : W \to W$ be a diffeomorphism which is the identity near $\partial W$. Very little is known about $\pi_0(\...
Kevin Walker's user avatar
  • 12.3k
3 votes
1 answer
289 views

Obtaining the bounding 4-manifold from the Heegaard diagram

It is well known that any orientable closed 3-manifold $M$ admits an Heegaard splitting $M = H_1\cup H_2$ where $H_i$ is an handlebody of genus $g$. It is also well known that such an $M$ is the ...
Overflowian's user avatar
  • 2,523
13 votes
2 answers
871 views

Example of two exotic closed 4-manifolds s.t. SW(X)=0

I am interested in seeing examples of two closed 4-manifolds $X_1,X_2$ such that $SW(X_i)=0$ and they are homeomorphic but not diffeomorphic. So far in the literature I've only found examples which ...
Anubhav Mukherjee's user avatar
4 votes
0 answers
244 views

Are triangulations with common refinements PL-homeomorphic?

Do there exist simplicial triangulations $K_1$ and $K_2$ of a topological manifold $M$ such that $K_1$ and $K_2$ have a common subdivision but they are not PL-homeomorphic? Ideally, I would like an ...
user136604's user avatar
3 votes
0 answers
356 views

A user guide to the theory on Corks

I am trying to digest the meanings of the corks from the both: algebraic topology and geometry topology perspectives. Studying corks is important for understanding the exotic phenomenon of 4-...
wonderich's user avatar
  • 10.3k
3 votes
0 answers
87 views

Handlesliding a two component, linking number 1 link

Let $L = K_1 \cup K_2 \subset S^3$ be a two component framed link with $lk(K_1,K_2) = 1$. Let $\hat{L}$ denote the set of all links obtained by handlesliding $L$ around an an arbitrary number of ...
user101010's user avatar
  • 5,319
14 votes
0 answers
316 views

Are there exotic twisted doubles of 4-manifolds?

Take a smooth 4-manifold $X$ whose boundary has a diffeomorphism $\tau: \partial X \to \partial X$ that extends to a homeomorphism but not a diffeomorphism of $X$. (By Matveyev and Curtis-Freedman-...
Kyle Hayden's user avatar
16 votes
1 answer
687 views

Is there a constructive proof that in four dimensions, the PL and the smooth category are equivalent?

Summary Famously, the categories of 4-dimensional smooth manifolds and 4-dimensional piecewise linear manifolds are equivalent. Is there a constructive proof for this theorem or does it depend on the ...
Manuel Bärenz's user avatar
10 votes
1 answer
514 views

Relation between the Casson-Gordon invariants $\sigma(M, \chi)$ and $\sigma_r(M, \chi)$

Setting: There are two objects in knot theory that are commonly referred to as the Casson-Gordon invariants: the invariant $\sigma$, and the invariant $\tau$ (see for example A. Conway’s notes ...
user331406's user avatar
7 votes
0 answers
1k views

Applications of E8 manifold

The $E_8$ Cartan matrix is given by, $$ K_{E_8}=\begin{pmatrix} 2 & -1 & 0 & 0 & 0 & 0 & 0 & 0 \\ -1 & 2 & -1& 0 & 0 & 0 & 0 & 0 \\ ...
wonderich's user avatar
  • 10.3k
6 votes
1 answer
299 views

Homology spheres bounding homology balls but not embedding into $S^4$

Are there any examples of integer homology spheres $Y^3$ that bound smooth integer homology balls but that do not smoothly embeded into $S^4$?
user101010's user avatar
  • 5,319
6 votes
1 answer
513 views

smooth homotopy 4-balls with sphere boundary in dimension 4

What follows is, as far as I can tell, totally standard folklore. I have one particular point of confusion, other than that, I wanted to confirm that I am uttering the incantations correctly. The ...
user101010's user avatar
  • 5,319
6 votes
1 answer
347 views

Framings for 2-surgeries on 4-manifolds

I'm interested in doing $2$-surgeries to $\sharp^k S^1 \times S^3$. That is to the manifold obtained from applying $1$-surgeries to $S^4$. Since $\pi_1(O(3)) = \mathbb{Z}_2$, there are two possible ...
mathquest's user avatar
  • 313
4 votes
1 answer
183 views

Simple invariants to detect concordance in general 3-manifolds

Let $Y$ be a closed, connected, orientable 3-manifold. We call to oriented knots $K_1, K_2$ in $Y$ (smoothly) concordant if there is a smoothly, properly embedded annulus in $Y \times I$ such that ...
user101010's user avatar
  • 5,319
2 votes
1 answer
291 views

Embedding problem for 3-manifolds attacked via 4-manifolds

In this archiv paper which is continuation of following: Borodzik, Maciej; Némethi, András; Ranicki, Andrew, Morse theory for manifolds with boundary, Algebr. Geom. Topol. 16, No. 2, 971-1023 (2016). ...
user avatar
45 votes
1 answer
2k views

Exotic $R^4$ as the universal covering space

Is there a smooth compact 4-manifold whose universal covering is an exotic $R^4$, i.e. is homeomorphic but not diffeomorphic to $R^4$? Remark. I am aware of examples (due to Mike Davis) of compact $...
Moishe Kohan's user avatar
  • 9,664
10 votes
1 answer
761 views

Which 3-manifolds are known to admit exotic pairs of bounding 4-manifolds?

Let $M$ be a compact connected three manifold. By an exotic pair of bounding 4-manifolds, I mean two smooth 4-manifolds $X_1,X_2$ such that $X_1$ and $X_2$ are homeomorphic but not diffeomorphic, and ...
user101010's user avatar
  • 5,319
7 votes
1 answer
172 views

Minimum number of double points over all immersed disks

Let $K$ be a knot in the boundary of a compact smooth 4-manifold $X$, and suppose that $K$ is the the kernel of $\pi_1(\partial X) \to \pi_1(X)$. Then $K$ is the boundary of some immersed disk $D \to ...
user101010's user avatar
  • 5,319
10 votes
3 answers
1k views

Is there a closed non-smoothable 4-manifold with zero Euler characteristic?

I will just repeat the title: Is there a closed non-smoothable 4-manifold with zero Euler characteristic? I am guessing yes simply based on other existence theorems I have seen for 4-manifolds.
Cihan's user avatar
  • 1,586
25 votes
1 answer
1k views

What can we say about the Cartesian product of a manifold with its exotic copy?

Let $M$ be a smooth oriented manifold, and let $M^E$ be an exotic copy, i.e homeomorphic but not diffeomorphic to $M$. Is it true that $M\times M$ is diffeomorphic to $M\times M^E$? I am ...
Anubhav Mukherjee's user avatar
18 votes
2 answers
669 views

Behavior of genus function on a 4-manifold for sums

Let $X$ be a smooth compact 4-manifold. Then every element of $H_2(X;\mathbb{Z})$ can be represented by a smooth embedded orientable surface and we have the so called genus function $G: H_2(X; \...
user101010's user avatar
  • 5,319