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
5 votes
1 answer
185 views

Can we prescribe the $L^2$ norm of the scalar curvature on a four-manifold?

As mentioned by Willie Wong, I modified to the following version: Let $M$ be a closed smooth $4$ manifold. Q Suppose that $c>0$ is any positive number, can we find a Riemannian metric $g$ on $M$, ...
user avatar
  • 1,855
7 votes
0 answers
133 views

On exotic symplectic structures of smooth closed 4-manifolds

What are some known techniques and examples of exotic symplectic structures on a fixed smooth closed 4-manifolds [by exotic I mean two symplectic structures that are not symplectomorphic]. This sounds ...
user avatar
12 votes
1 answer
252 views

Does $(S^1\times S^3)\#(S^1\times S^3)\#(S^2\times S^2)$ admit a symplectic form?

This is a crosspost from this MSE question from a year ago. Consider the smooth four-manifold $M = (S^1\times S^3)\#(S^1\times S^3)\#(S^2\times S^2)$. Does $M$ admit a symplectic form? If $\omega$ ...
user avatar
8 votes
0 answers
217 views

A conjecture about homotopy $S^1\times B^3$'s

$\textbf{Conjecture}:$ Let $X^4$ be a homotopy $S^1\times B^3$ with the following properties: Attaching a four dimensional 2-handle gives a standard $B^4$. The $k$-fold cyclic cover is diffeomorphic ...
user avatar
9 votes
2 answers
367 views

A knot in the solid torus and a Mazur manifold

Part 1: The following picture is from Saveliev's book Lectures on Topology of 3-manifolds, page 130: He indicates that the knot drawn in the solid torus $S^1 \times D^2$ is homologous to $S^1 \times \...
user avatar
5 votes
1 answer
324 views

Kirby diagrams: sliding 1-handles over 1-handles and ribbon disks

Consider the Kirby diagram $ D$ given by a 2-component unlink, both dotted circles. In general, when performing a 1-handle slide over another 1-handle, the band chosen must not link any dotted circle,...
user avatar
8 votes
2 answers
192 views

Gordon's approach: slice knots and contractible $4$-manifolds

Let $K \subset S^3$ be a slice knot. Then it bounds a smooth embedded disk $D \subset B^4$. Let $S^3_{p/q}(K)$ denote a $3$-manifold obtained by $p/q$-surgery on $K \subset S^3$. The following theorem ...
user avatar
5 votes
1 answer
194 views

Computation of $\pi_1$ for a Mazur manifold and its boundary

If we attach a $4$-dimensional $1$-handle $D^1 \times D^3$ to a $4$-dimensional $0$-handle $B^4$, we obtain $S^1 \times D^3$. The null homologous knot in $S^1 \times S^2$ indicated in the picture ...
user avatar
5 votes
2 answers
361 views

Status of the Hopf-Thurston sign conjecture in dimension 4

A famous conjecture in topology asserts: The Euler characteristic of a closed aspherical $2n$-manifold $M$ satisfies $(-1)^n\chi(M) \geq 0$. This was conjectured by Hopf for manifolds with non-...
user avatar
6 votes
2 answers
205 views

Double ($p$-fold) coverings of $B^4$ along ribbon/slice disks

I have two questions that seem to be related. I wonder if there is a user-friendly algorithm (starting from ribbon/slice presentation of knots/disks) for the construction of double (in general $p$-...
user avatar
2 votes
0 answers
131 views

plumbing description of resolution of ADE singularities

Let $G$ be a finite subgroup of $SU(2)$ and consider the quotient of the unit ball $B\subset \mathbb{C}^{2}$ by $G$. The result, denoted by $V$, has a boundary $S^{3}/G$ and has an ADE singularity at $...
user avatar
  • 979
2 votes
0 answers
99 views

Seiberg Witten to Vortex equations

Looking for a reference which discusses vortex equations on a compact Riemann surface as dimensional reductions of the Seiberg-Witten equations on four manifolds.
user avatar
  • 435
9 votes
1 answer
326 views

Non-isotopic homology spheres in $S^4$ with equal complements?

Are there two diffeomorphic smoothly embedded homology 3-spheres $M_1^3, M_2^3 \subset S^4$ that have diffeomorphic complements but such that $M_1$ and $M_2$ are not isotopic? I would be interested in ...
user avatar
  • 5,201
4 votes
0 answers
281 views

Obstruction of smooth structure

The first 24 lectures of Jacob Lurie on Geometric Topology [1] gave a concise introduction to the comparison of smooth manifolds and piecewise-linear manifold. In the first five lectures, it is shown ...
user avatar
  • 4,005
10 votes
0 answers
294 views

Isotopy on embedded 3-manifolds in 4-manifolds

Suppose that $X$ be an oriented, closed four-manifold. Suppose that $Y$ is an oriented, closed three-manifold smoothly embedded in $X$. Suppose also that $f:X \to X$ is a diffeomorphism that fixes $Y$...
user avatar
5 votes
0 answers
143 views

Curvature of the line bundle $\mathcal{O}(2)$ on the twistor space

Let $M^4$ be a closed Riemannian manifold and $Z:=S\big(\Lambda^2_+(M)\big)$ denote the twistor space of $M,$ i.e., the sphere bundle of the self-dual 2-forms on $M$. Now at a point $(m,J)\in Z$ the ...
user avatar
  • 435
5 votes
0 answers
131 views

Are there connected closed 4-manifolds admitting a regular Almost Lagrangian distribution, and which are not Lorentzian?

In the category of real differential manifolds, connected (of $ C ^ {\infty} $ class in the sequel), closed of dimension 4, is there any manifold admitting a regular Almost Lagrangian distribution and ...
user avatar
4 votes
0 answers
118 views

Submanifolds of $4$-manifolds and their intersections

Suppose we have two (oriented) submanifolds $A,B$ of an oriented $4$-dimensional manifold $M$, that intersect transversally. Looking at the standard references for $4$-manifolds, I couldn't find a ...
user avatar
  • 203
5 votes
1 answer
315 views

Presentations of exotic 4-manifolds

TLDR I want to see more examples of exotic $4$-manifold (hopefully connected, simply connected, oriented, and closed). Are there known presentations of $4$-manifolds $M$ with exotic structures, ...
user avatar
  • 4,005
3 votes
0 answers
131 views

A circle action on the E8 manifold

In the paper "A survey of group actions on 4-manifolds" by Allan L. Edmonds on page 5 there is the remark "One should note that the coned-off E8-plumbing manifold admits a circle action ...
user avatar
  • 6,338
3 votes
0 answers
154 views

Bound of the spinor element in Seiberg-Witten equation for a Kähler surface

Let's say we want to solve a perturbed version of SW equations on a closed Kähler manifold $(X,\omega):$ \begin{align*} &D_A\phi=0\\ &F_A+it\omega=q(\phi)=\phi\otimes\phi^*-\frac{|\phi|^2}{2}\...
user avatar
  • 435
4 votes
0 answers
203 views

An Akbulut cork with a simple equation?

Is there an Akbulut cork that is diffeomorphic to a complex affine surface that can be given by a simple equation? (for example a surface given by zeros of a low-degree polynomial in $\mathbb C^3$) ...
user avatar
  • 13.2k
5 votes
1 answer
251 views

Understanding the quadratic part in Seiberg Witten equation

Lets take a closed four manifold $M:=\Sigma_1\times \Sigma_2,$ where $\Sigma_i$s are compact Riemann surfaces. Now if $V$ and $W$ are Spin$^\mathbb{C}$ bundles on $\Sigma_1$ and $\Sigma_2$ ...
user avatar
  • 435
6 votes
0 answers
163 views

A generalized Dirac operator

Let $(M^4,g)$ be a closed four-dimensional Riemannian manifold and $J$ be an almost complex structure on $M$. Then for normal coordinate $e_1,\dots e_4$ at a point $m,$ and for a section $\alpha$ of a ...
user avatar
  • 435
8 votes
0 answers
119 views

Configuration space of 4 points as an orbifold

Setup: Consider the braid group $B_n$. One way to define this is as the fundamental group of the unordered configuration space $UC_n(\mathbb{C}) = \{\{z_1,\dotsc,z_n\}\subset \mathbb{C} \mid z_i \not= ...
user avatar
4 votes
1 answer
277 views

h-cobordisms between non-simply-connected 4-manifolds

Let $M_0^4$ and $M_1^4$ be two closed smooth 4-manifolds and let $M$ be an $h$-cobordism between them (i.e., a compact smooth 5-manifold with boundary the disjoint union of $M_0$ and $M_1$ and with ...
user avatar
  • 5,201
1 vote
0 answers
155 views

Contractible four-manifold which admits a decomposition

Let $M^4$ be a noncompact, contractible, smooth manifold. Suppose there exists an exhaustion $M=\bigcup_{i\ge 1} U_i$ by open sets such that (1) $\bar U_i \subset U_{i+1}$ and (2) each $U_i$ is ...
user avatar
  • 407
2 votes
0 answers
102 views

Characteristic disks in $S^2 \times S^2$ for knots

I'm studying the article Genera and degrees of Torus Knots in $\mathbb{CP}^2$ and I ended up with a question. We know that every knot is slice (i.e. bounds properly embedded smooth disk) in $S^2 \...
user avatar
2 votes
0 answers
110 views

Kahler surface with certain topology

Let $P^2 \mathrel{\tilde \times} \mathbb{R}^2$ be the $\mathbb{Z}_2$-quotient of $S^2 \times \mathbb{R}^2$, where the $\mathbb{Z}_2$ action on $S^2 \times \mathbb{R}^2$ is antipodal on $S^2$ and a ...
user avatar
  • 407
6 votes
1 answer
226 views

Contractible 4-manifold with an exhaustion

Let $M^4$ be a noncompact, contractible, 4-dimensional, topological manifold. Suppose there exists an exhaustion $M=\bigcup_{i\ge 1} U_i$ by open sets such that (1) $\bar U_i \subset U_{i+1}$ and (2) ...
user avatar
  • 1,087
4 votes
0 answers
80 views

Surgery diagrams of 3-dim abstract open books

Starting with an abstract open book $(\Sigma,\phi)$, I would like to understand some of the manifolds that I could obtain. Given a surface $\Sigma$ and monodromy $\phi$, it is not hard to find a Kirby ...
user avatar
  • 399
5 votes
0 answers
75 views

Generators of the automorphism group of a quadratic form

Suppose that $q$ is an integral quadratic form, not necessarily unimodular or even non-degenerate, and write $O_q(\mathbb{Z})$ for its automorphism group. According to this question this group is ...
user avatar
6 votes
1 answer
307 views

Invertible 2-knots in $S^4$

Q1: Is it true that a knot $S^2\hookrightarrow S^4$ has an inverse iff it is trivial? Or it is also an open question? See relatedly Unknotted $S^{n-2}$ in $S^n$. Q2: It is easy to see that if a knot $...
user avatar
  • 1,676
12 votes
1 answer
457 views

Unknotted $S^{n-2}$ in $S^n$

I wonder is it still an open question that a smooth sphere $\Sigma^{2}\subset S^4$ is unknotted in $S^4$ iff its complement is homotopy equivalent to $S^1$? If it is an open question, how is it ...
user avatar
  • 1,676
1 vote
0 answers
53 views

Classification of genus 1 Lefschetz fibration over a disk with 6 singular fibers

For a genus 1 Lefschetz fibration over a sphere, there is a good classification in B. Moishezon, Complex surfaces and connected sums of complex projective planes. In this case, the number $K$ of ...
user avatar
  • 385
4 votes
1 answer
123 views

Concordance classes of diffeomorphisms of $D^4$

Is anything known about the set of concordance classes (also called pseudoisotopy classes) of the relative to the boundary diffeomorphisms of $D^4$?
user avatar
  • 1,676
1 vote
0 answers
72 views

Do different decompositions of Dehn twists induce the same cobordisms between mapping tori?

Suppose $Y=T^2\times I/f$ is a mapping torus, where $f$ is a diffeomorphism of $T^2$. Suppose $c$ is a curve on $T^2\times \{1\}$ with surface framing and suppose $D_c$ is the positive Dehn twist ...
user avatar
  • 385
2 votes
0 answers
118 views

The Kirby diagram of a manifold glued along the lens space $L(p,1)$

Suppose $K$ is a knot in $S^3$ with any framing and $m=m_0$ is its meridian with $-1$ framing. Suppose $m_1,\dots,m_{p-1}$ are unknots with framings $-2$, such that $m_{i-1}$ and $m_i$ are linked as a ...
user avatar
  • 385
6 votes
0 answers
227 views

Questions about a paper by Laudenbach and Poénaru

I am working on the 1972 paper A Note on 4-Dimensional Handlebodies by F. Laudenbach and V. Poénaru, and I had two questions. I will use their notations to simplify things, since the paper is very ...
user avatar
4 votes
0 answers
112 views

Involutions on $D^4$ with a fixed arc

By a theorem of Livesay, the 3-sphere has a unique (up to equivariant diffeomorphism) smooth involution with exactly two fixed points. Thinking of $S^3$ as the unit sphere in $\mathbb{R}^4$, this ...
user avatar
6 votes
0 answers
161 views

Can $X_4 \times S^1$, $X_4 \times I^1$, or $X_4 \times \mathbb{R}^1$ be a triangulable, PL or DIFF manifold, if $X_4$ is a non-triangulable manifold? [duplicate]

Question: If $X_4$ is a non-triangulable topological (TOP) manifold, can $X_4 \times S^1$, $X_4 \times I^1$, or $X_4 \times \mathbb{R}^1$ be a triangulable manifold? can $X_4 \times S^1$, $X_4 \...
user avatar
  • 9,976
6 votes
1 answer
256 views

Characteristic class that cannot be represented by disjoint tori

Is there a simply-connected smooth closed 4-manifold with a characteristic class $x \in H_2(X; \mathbb{Z})$ such that $x$ can not be represented by a disjoint union of tori in $X$? I would not know ...
user avatar
  • 5,201
4 votes
1 answer
144 views

Minimal genus of characteristic surfaces?

Let $X^4$ be a simply-connected closed smooth 4-manifold. Then every element $x \in H_2(X; \mathbb{Z})$ can be represented by an embedded orientable surface and the minimal genus of such a surface is ...
user avatar
  • 5,201
4 votes
1 answer
260 views

Mazur homology spheres

This is Example 6.47 in Saveliev's book Invariants for homology $3$-spheres: Let us consider a two-component link $\mathcal L = L_1 \cup L_2$ in $S^3$ such that $\mathrm{lk}(L_1,L_2) = \pm 1$ and the ...
user avatar
4 votes
1 answer
329 views

Exotic $\mathbb{R}^4$ with a complex structure?

Is there an exotic $\mathbb{R}^4$ admitting an integrable almost complex structure?
user avatar
  • 1,353
3 votes
1 answer
259 views

$0$-surgery of slice knots and contractible manifolds

We know that if we attach $4$-dimensional $2$-handle $D^2 \times D^2$ to $S^1 \times S^2$, then we produce a contractible $4$-manifold. In this case, $S^1 \times S^2$ is $0$-surgery on the unknot. If ...
user avatar
15 votes
1 answer
864 views

Atiyah's proof of the moduli space of SD irreducible YM connections

In the paper "Self-duality in Four-dimensional Riemannian Geometry" (1978), Atiyah, Hitchin and Singer present a proof that the space of self-dual irreducible Yang-Mills connections is a ...
user avatar
10 votes
2 answers
540 views

Homotopy equivalent smooth 4-manifolds which are not stably diffeomorphic?

Recall that two 4-manifolds $M$ and $N$ are stably diffeomorphic if there exist $m,n$ such that $$M \#_n (S^2 \times S^2) \cong N \#_n (S^2 \times S^2).$$ That is, they become diffeomorphic after ...
user avatar
2 votes
0 answers
138 views

On the smoothness of plumbed $4$-manifolds and $E_8$ manifold

The $E_8$ manifold can be constructed by plumbing together disk bundles of Euler number $2$ over $2$-sphere $S^2$ according to the Dynkin diagram for $E_8$. In Smooth 4-manifolds with $E_8$ ...
user avatar
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 ...
user avatar
  • 321

1
2 3 4 5