The 4-manifolds tag has no wiki summary.

**11**

votes

**1**answer

485 views

### Thurston geometries in dimension 4

In the sense of W. Thurston here, there is 3 geometries in dimension 2 and there is 8 geometries in dimension 3.
Question: How many different geometries (in the sense of Thurston) do we have in ...

**14**

votes

**1**answer

257 views

### Shortest Casson tower containing a slice disk for the attaching curve

A Casson tower is obtained as follows: Start with a properly immersed disk in $\mathbb{B}^4$ - a regular neighborhood of such a disk is called a kinky handle. The boundary of the core disk ...

**0**

votes

**0**answers

110 views

### Calculation in From Seiberg Witten to pseudo-holomorphic curve

I am reading the Taubes's paper: From From Seiberg Witten to pseudo-holomorphic curve. I don't know how to get the result (2.17)
\begin{eqnarray*}
...

**8**

votes

**0**answers

127 views

### Excluding exotic PL structures on S^4

Suppose you have a finite group $G<SO(5)$ such that $S^4/G$ is homeomorphic to $S^4$ and such that $S^4/G$ is a PL manifold with respect to a PL structure induced by a standard structure on $S^4$. ...

**1**

vote

**0**answers

93 views

### Simply-connected 4-manifolds can be blown up and down to complex projective planes. How about non-simply-connected ones?

There is a nice theorem that for every simply connected, closed, smooth, oriented manifold $M$, we have for some $m \in \mathbb{N}$:
$$M \# \left(\mathop{\#}^m \left(\mathbb{C}\mathbb{P}^2 \# ...

**2**

votes

**2**answers

323 views

### Approximation theorem for Anti-Self-Dual Metrics

Rounge's Theorem states that any meromorphic function on a domain inside $\mathbb{C}$ can be approximated (over compact subsets) by a sequence of rational functions (meromorphic functions on ...

**2**

votes

**0**answers

104 views

### Definition of the dual spider number and the formula for the first chern class of the triangle

In the process of trying to understand various maps in Heegaard Floer homology I got stuck on the definition of the dual spider number, which, it seems to me, has a combinatorial definition directly ...

**12**

votes

**1**answer

461 views

### Handlebody decomposition of an open 4-manifold

Let $M$ be the fake $CP^2$ (namely the closed topological 4-manifold which is homotopy equivalent but not homeomorphic to the complex projective plan). It is well-known that $M$ admits no smooth ...

**2**

votes

**0**answers

235 views

### Closed 4-manifolds with uncountably many differentiable structures

I know that $\mathbb{R}^4$ admits uncountably many differentiable structures and I was wandering what happen if we consider closed 4-manifolds. Are there any closed 4-manifolds with uncountably many ...

**60**

votes

**8**answers

6k views

### Theoretical physics: Why not just R^4?

You and I are having a conversation:
"Okay," I say,"I think I get it. The gauge groups we know and love arise naturally as symmetries of state spaces of particles."
"Something like that"
"...And ...

**5**

votes

**1**answer

216 views

### How to embed genus 4 surface inside $\mathbb{C}P^2\# \mathbb{C}P^2$ representing nontrivial homology class

As the title says, I want to embed the genus 4 surface inside $\mathbb{C}P^2\# \mathbb{C}P^2$ representing a nontrivial homology class.
I know that $H_2(\mathbb{C}P^2 \# \mathbb{C}P^2; ...

**7**

votes

**1**answer

250 views

### Are 4-dimensional mapping tori always spin?

We know that all compact orientable manifolds of dimension 3 are spin.
In 4 dimensions, $CP^2$ is not spin. I would like to ask if
all 4-dimensional compact orientable mapping tori are spin?
See ...

**0**

votes

**0**answers

100 views

### filling by holomorphic disks method

Can you give me a reference for the proof of the filling by holomorphic disks method, besides Bishop's original paper?

**4**

votes

**1**answer

117 views

### 0-homologous surface bounds

Given a map $f : S \to M^4$ from a compact closed not necessarily connected oriented surface to a compact oriented 4-manifold, such that $f_*([S])$ is zero in $H_2(M)$, is there a compact oriented ...

**10**

votes

**0**answers

180 views

### Fox re-imbedding theorem in dimension four

Fox re-imbedding theorem states the following:
A compact 3-manifold $M$ with boundary that embeds in the three-sphere $S^3$, can be re-imbedded in $S^3$ so that its complement is a union of ...

**11**

votes

**1**answer

1k views

### What does Yang-Mills and mass gap problem has to do with mathematics?

I'm not very experienced in this topic, but I read a short description of the Yang-Mills existence and mass gap problem, and as long as I understood it has mainly physical consequences and ...

**5**

votes

**1**answer

279 views

### What are Kirby diagrams of candidate exotic 4-manifolds?

It is an open problem whether there exist smooth manifolds homeomorphic, but not diffeomorphic to the standard $S^4$. The same is true for the 4-torus and several other manifolds. Handle ...

**10**

votes

**1**answer

255 views

### Visualising locally flat embeddings of surfaces in R^4

As far as I understand it follows from the work of M. Freedman that there exist locally flat embeddings of two dimensional surfaces in $\mathbb R^4$ that can not be smoothed in the class of locally ...

**4**

votes

**2**answers

245 views

### Does the 4-sphere have a nonzero Poisson structure as a Poisson homogeneous space?

It is known that the 4-sphere does not have a symplectic structure. However, it does admit Poisson structures, for example the zero Poisson structure, which is quite boring. Does it have other, more ...

**3**

votes

**0**answers

145 views

### Compact self-dual Einstein metrics of negative scalar curvature

Does a compact four-dimensional self-dual Einstein manifold with negative scalar curvature have negative sectional curvature?
This would be true if we believe the folklore conjecture that a compact ...

**6**

votes

**2**answers

248 views

### Knotted projective planes and fake complex projective space

Paul Melvin gave a talk at Knots in Washington last year in which he asked whether the connected sum of an odd twist-spin of a classical knot and a standard cross-cap embedding of ${\mathbb R}P^2$ is ...

**0**

votes

**0**answers

104 views

### K3 surface minus finite set

Let $S$ be a complex K3 surface, and $P\subset S$ a finite set of points in $S$. It is known that
$$
H^i(S,\mathbb{Z})\cong H^i(S\setminus P,\mathbb{Z})
$$
for $0\le i \le 2$. Then the Euler ...

**4**

votes

**1**answer

243 views

### Casson invariant and signature

In W. Neumann, J. Wahl, "Casson invariant of links of singularities",
Comment. Math. Helv.,1990, Vol. 65, Issue 1, pp 58-78 some connection between the Casson invariant and the signature is ...

**8**

votes

**2**answers

735 views

### When is the connected sum of manifolds orientation-independent?

Given $M$ and $N$, two connected orientable manifolds of the same dimension, when is $M$ # $N$ diffeomorphic to $M$ # $\overline{N}$, where $\overline{N}$ is $N$ with the orientation reversed?
If $N$ ...

**18**

votes

**0**answers

878 views

### When is a compact topological 4-manifold a CW complex?

Freedman's $E_8$-manifold is nontriangulable, as proved on page (xvi) of the Akbulut-McCarthy 1990 Princeton Mathematical Notes "Casson's invariant for oriented homology 3-spheres".
Kirby showed that ...

**3**

votes

**1**answer

301 views

### Boundaries of smooth manifolds

If one has a smooth simply connected manifold $M^n$ which we know to bound an $n+1$ dimensional manifold $N$, what can be said about a handle decomposition for one in terms of a handle decomposition ...

**18**

votes

**0**answers

676 views

### Almost complex 4-manifolds with a “holomorphic” vector field

Main question. What is the class of smooth orientable 4-dimensional manifolds that admit an almost complex structure $J$ and a vector field v, that preserves $J$?
The following sub question is ...

**2**

votes

**0**answers

151 views

### complex Morse function on a four-manifold

If we have a complex Morse function on a complex four-manifold, $f: X\to \mathbb{C} $, can we tell from the function how the genus of inverse images $f^{-1}(z)$ (for regular values) may change? under ...

**0**

votes

**1**answer

434 views

### Stein manifolds definiton

There are a few equivalent definitions of Stein manifolds. As far as I know they were initially defined as holomorphically convex complex manifolds, and then the other definitions (e.g. complex ...

**0**

votes

**0**answers

130 views

### Affine varieties as Stein surfaces

I have a somewhat general and vague question in mind. Is there anything in literature related to Affine varieties as examples of Stein manifolds? I know that there is a topological approach to Stein ...

**2**

votes

**1**answer

216 views

### Gluck twist on four-manifolds

I have a basic question which I am not able to figure out. If we do a Gluck twist on a nullhomologous 2-sphere in a 4-manifold, it is said that it does not change its intersection form. But as far as ...

**14**

votes

**3**answers

959 views

### open problems in Seiberg-Witten Theory on 4-Manifolds

What are some of the open problems in Seiberg-Witten Theory on 4-Manifolds.I tried googling but couldn't any. I tried googling it, but couldn't find any resources.The places where I can a survey or ...

**6**

votes

**0**answers

188 views

### What is the state of the art in 4-manfold 2-types?

In an old answer to an old question of mine, Peter Teichner commented that it is an open problem to determine which homotopy 2-types arise from 4-manifolds. In some instances we know that a 4-manifold ...

**6**

votes

**1**answer

311 views

### Almost parallelizable 4-manifolds

On the first page of Milnor-Kervaire's paper "Bernoulli numbers, homotopy groups, and a theorem of Rohlin", they assert without proof or reference that if $M$ is a compact connected oriented ...

**17**

votes

**0**answers

554 views

### Which manifolds decompose into pants?

In this nice paper Mikhalkin uses certain (more geometrical than algebraic) aspects of tropical geometry to prove that every complex projective hypersurface in $\mathbb C \mathbb P ^n$ decomposes as a ...

**12**

votes

**4**answers

1k views

### How Many 4-Manifolds are Symplectic?

As an honest question (probably with some subjectivity), how many smooth oriented 4-manifolds are actually symplectic? Can I say half (perhaps under some mild assumptions)? I ask this question because ...

**4**

votes

**1**answer

488 views

### Relation of SW and Donaldson Invariant

My question is:
I am request for the reference that Is there any relationship between the Seiberg-Witten Invariant and Donaldson's Invariant? Or the relationship between Seiberg-Witten Moduli Space ...

**27**

votes

**0**answers

958 views

### What is the three-dimensional hyperbolic volume of a four-manifold?

Every smooth closed orientable 4-manifold may be constructed via a handle decomposition. Before asking a couple of questions, I recall some well-known facts about handle-decompositions of 4-manifolds.
...

**3**

votes

**1**answer

275 views

### Intersection form on quotient manifold

Let $E_{1},E_{2}$ be elliptic curves over $\mathbb{C}$. We denote by $\iota_{i}$ the translation by a 2-torsion point on $E_{i}$. Then $G=\mathbb{Z}/2\mathbb{Z}$ acts freely on the the product ...

**7**

votes

**1**answer

631 views

### A remark by Gromov on 4-manifolds

Gromov remarks in a a survey on manifolds (p.12) that "it is hard to imagine that there are infinitely many non-diffeomorphic, but mutually homeomorphic, quotients of the hyperbolic 4-space by ...

**2**

votes

**1**answer

488 views

### Problem:Gromov-Witten;Moduli space

Let us consider a map from a $\Sigma_g \longrightarrow N$, where $N$ is a symplectic manifold.
Then we define the moduli space as
$M= \{ f | f \mbox{ is a pseudoholomorphic map } \Sigma_g \to N, ...

**4**

votes

**2**answers

501 views

### Intersection forms of 4-manifolds with boundary

Let $X$ be any simply connected smooth 4-manifold with a fixed Euler characteristic $e$, signature $\sigma$ and boundary $Y$. Assume that the determinant of the intersection form $Q_{X}$ is equal to a ...

**1**

vote

**2**answers

256 views

### Group action on spin^c 4-manifold.

[edit]
I'll try to be more precise.
In paper N.Nakamura, "Bauer–Furuta invariants under $Z_2$-actions" there is an assumption that $Z_2$ action "lifts to spin^c structure". What i think it means:
...

**3**

votes

**1**answer

546 views

### Homeomorphism classification of 4-manifolds

Question 1. Let $X_i$ be an infinite family of closed, orientable, smooth 4-manifolds with the following properties:
a) $\pi_1(X_i) = \mathbb{Z}\times \mathbb{Z_{2}}$ for any $i = 1, 2, \cdots $
b) ...

**6**

votes

**0**answers

137 views

### Surgering locally flat tori in 4-manifolds

Is there a locally flat torus in some not smoothable topological 4-manifold such that surgering on it produces a smoothable 4-manifold? Surgering means removing a tubular neighborhood and reattaching ...

**5**

votes

**3**answers

338 views

### PD3 groups and PD4 complexes

I am interested at the moment in what groups can occur as the fundamental group of a 4-manifold (or more generally, a 4-dimensional CW complex) with prescribed conditions on the intersection form. I ...

**10**

votes

**2**answers

395 views

### Embedding the product of three circles in the 4-sphere.

Let $M$ be a smooth submanifold of the 4-sphere $S^4$. I'm going to demand that $M$ be diffeomorphic to $S^1 \times S^1 \times S^1$. By Jordan-Brouwer separation, $M$ separates the 4-sphere into ...

**5**

votes

**5**answers

994 views

### What is the possible usefulness of étale topology and cohomology apart from the resolution of the Weil conjecture ?

My question is as stated in the title:
What is the possible usefulness of étale topology and cohomology apart from the resolution of the Weil conjecture ?
I am particularly interested to know if ...

**9**

votes

**1**answer

379 views

### Complexity of surfaces bounding knots in 4-ball and 3-sphere respectively

I'm interested in a complexity question related to problems like the slice-ribbon problem.
To be specific, if $K \subset S^3$ is a knot, it might be non-trivial yet still bound a smoothly-embedded ...

**12**

votes

**2**answers

570 views

### Explicit embeddings of Cappell-Shaneson knots

In 1976 Cappell and Shaneson gave some examples of knots in homotopy 4-spheres and for some time these examples were considered as possible counter-examples to the smooth 4-dimensional Poincare ...