Next Article in Journal
An Efficient Audio Encryption Scheme Based on Elliptic Curve over Finite Fields
Next Article in Special Issue
On c-Compactness in Topological and Bitopological Spaces
Previous Article in Journal
Dynamical Optimal Values of Parameters in the SSOR, AOR, and SAOR Testing Using Poisson Linear Equations
Previous Article in Special Issue
A Differential Relation of Metric Properties for Orientable Smooth Surfaces in ℝ3
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Review

The Problems of Dimension Four, and Some Ramifications

by
Valentin Poénaru
Laboratoire de mathematiques, Université Paris-Sud XI, CEDEX, 91405 Orsay, France
Mathematics 2023, 11(18), 3826; https://doi.org/10.3390/math11183826
Submission received: 16 August 2023 / Revised: 30 August 2023 / Accepted: 5 September 2023 / Published: 6 September 2023
(This article belongs to the Special Issue Geometry and Topology with Applications)

Abstract

:
In this short note, I present a very quick review of the peculiarities of dimension four in geometric topology. I consider, in particular, the role of geometric simple connectivity (which means handle decomposition without handles of index one) for both closed manifolds and open manifolds and for finitely presented groups, together with some of recent developments in geometric group theory.

1. Introduction

Since about 1950, geometric topology has seen spectacular advances. However, deep mysteries still remain, exactly in dimension four—the present main topic in this short paper. In addition, since geometric topology is very closely related to group theory, I discuss that as well here.
As soon as we are in dimensions strictly larger than three, there are three related contexts in which manifolds can be studied: differentiable (DIFF), piecewise linear (PL) and topological (TOP). We cannot go here into the deep interconnections between these three distinct categories, and to a large extent, I restrict the discussion here to the DIFF case; whenever not, this is explicitly stated. Of course, DIFF means  C .
I think that at the origin of this topic is the famous Poincaré Conjecture [1] from 1904, stating that each closed simply connected 3-manifold is homeomorphic to the 3-sphere  S 3 . In the 1930s, this was extended to the generalized Poincaré Conjecture: each closed n-manifold homotopically equivalent to  S n  is actually homeomorphic to  S n .
Very soon, mathematicians found out that as soon as one gets to n equals 3, things get very hard, and it was believed that difficulties only increased with dimensions. However, in about 1957, there was a big breakthrough that totally changed the perspective. Steve Smale discovered that in dimensions 5 and more, things become even easier, and so he proved the generalized Poincaré Conjecture in dimensions  n 5  [2,3].
Soon, John Stallings found a different approach for the same problem [4]; many big breakthroughs followed (see for instance [5,6]), and high-dimensional topology became a rather well understood topic.
For further purposes, I only mention here another related important theorem of Stallings [7]: there is a unique DIFF structure on the Euclidean space  R n , for any  n 5 . More generally, John Milnor and Michel Kervaire [8,9] showed that, in those dimensions, the possible DIFF structures are actually controlled by algebraic topology.
Then, around 1983, Mike Freedman proved the 4-dimensional TOP Poincaré Conjecture, and then he also essentially cleaned up the structure of compact, simply connected 4-manifolds in the TOP case [10,11].
Next, using Freedman’s work and also the equations of Yang-Mills from quantum field theory, Simon Donaldson showed, among many other things, that there are even uncountably many DIFF structures on the 4-dimensional Euclidean space  R 4  [12,13].
Finally, in 2002–2003, Grisha Perelman, using the Ricci flow, a nonlinear partial differential equation in infinite dimensions stemming from differential geometry, proved the 3-dimensional Poincaré Conjecture and, at the same time, Thurston’s Conjecture on the geometrization of all closed 3-manifolds [14,15,16].
This is a very brief account of the glamorous successes of geometric topology, too brief indeed and incomplete, but sufficient to understand how things have been in recent decades. Now, we can move to the open problems.

2. Open Problems and Dimension Four

The first problem (the very obvious one) is the DIFF 4-dimensional Poincaré Conjecture. This is still a deep mystery, and the fact is that dimension four is really very special.
Here below, I present a list of items that make dimension four really very different from all the others.
(A) Already in Smale’s work cited above, the notion of geometric simple connectivity (GSC) arose, which I very briefly explain now (more about it is written in the Appendix at the end of the paper).
The notion of handle-body decomposition is equivalent to a Morse function where higher index singularities occur only for higher values of the function. A handle of index  λ  (a  λ -handle), is a copy of
B λ × B n λ
that is attached to some union of lower index handles, along  B λ × B n λ , and a manifold is geometrically simply connected if it admits a handle-body decomposition where all the 1-handles are cancellable by appropriate 2-handles; in the Appendix to the paper, I offer a more precise definition.
In any case, we have an obvious implication
G S C π 1 = 0 ,
but what about the converse implication?
Here is the complete answer for compact n-manifolds:
(A1) For  n 5 , the answer is yes,  π 1 = 0  implies GSC. This was actually one of the main steps in Smale’s proof of the high-dimensional Poincaré Conjecture.
(A2) For  n = 4 , the answer is no. Very explicitly, the Po-Mazur manifolds, which are non-trivial factors of the 5-ball discovered long ago by the present author and by Barry Mazur [17,18] and which clearly are simply-connected, were shown many years later not to be GSC by Andrew Casson. He never published his argument, but many people knew about it, and personally, I learned it from Mike Freedman.
(A3) Finally, for n equal 3, the answer is again yes. Very explicitly, the corresponding implication is equivalent to the original Poincaré Conjecture, proved by Perelman [14,15,16].
Similar results to (A1) and (A3) are true for open manifolds, provided one adds the condition of simple connectivity at infinity (a space is said to be simply connected at infinity if loops close to infinity can be collapsed to a point still staying close to infinity); see here, for instance, the paper by Po-Tanasi [19].
When one moves then to the non-compact manifolds with a non-empty boundary, then we enter largely uncharted territory, except for the very special spaces endowed with high symmetry coming from geometric group theory. This is a territory which, together with others, I have explored a great deal, and we return to it later.
(B) When we go to the issue of DIFF structures versus TOP structures on a given n-manifold, then dimension four is again very special.
For the dimensions  n = 1 , 2  or 3, on a given manifold, one can largely ignore the distinction between the two, while for  n 5 , the difference between DIFF and TOP is controlled by algebraic topology.
On the other hand, when we move to dimension four, the situation is completely different. The uncountable infinity of different DIFF structures on  R 4 , already mentioned earlier, lays this in front of us. Clearly, algebraic topology is powerless here; is there maybe some still-to-be-discovered quantum topology that could help us here? I certainly do not know, and I do not know either whether there is some earthly connection between the present item (B) and the previous one (A). However, there is a connection between our (B) and the next item (C).
(C) It is only in dimension four that the Yang-Mills equations (and hence the Maxwell equations) make sense. This is so because only in dimension four is the Hodge dual of a 2-form again a 2-form. Of course, some people might add that four is the dimension of our space-time, but that argument does not very much appeal to me.
(D) Largely connected with the Poincaré Conjecture is the classical Schoenflies problem, of about the same vintage. The issue here is whether an  S n 1  embedded in  S n  divides it into two copies of  B n .
Again, of course, there are the contexts DIFF, PL and TOP. In any case, since the 1920s, things were clear for n equal to three or less, and complete mystery lay beyond that. Then, in the late 1950s, a few years before Smale, came the big breakthrough of Barry Mazur [20,21], who was barely 18 at that time. Below is what Barry proved.
If  X n  is any of the two manifolds into which  S n 1  divides  S n , then we have a homeomorphism f from  X n { a boundary point} to  B n { a boundary point}, extending of course to the boundary point as well, and this f is infinitely differentiable, except maybe at that boundary point.
A few years later, using the heaviest artillery of high-dimensional topology, Smale and Milnor-Kervaire proved that for dimensions n equal to 5 or more, the map f is  C  even at that boundary point.
Hence, if  n 5 , via Mazur, Smale and Milnor-Kervaire, we have that
X n = D I F F B n ,
holding actually for all dimensions, EXCEPT for n = 4, where it is still a big open mystery!
I have managed to prove that in the 4-dimensional Schoenflies context, the Schoenflies ball  X 4  is GSC [22]. Now, if we would manage to show that any DIFF compact 4-manifold homotopically equivalent to the 4-ball is GSC, this would be a big step towards the DIFF 4- dimensional Poincaré Conjecture; see [23]. Personally, I have some doubts concerning the truth of the conjecture in question.
For more details on the topology of dimension 4 and its particularities, we refer to the classic books by Akbulut [24], Freedman-Quinn [11], Gompf-Stipsicz [25] and Scorpan [26].

3. Discrete Groups

We end this short review paper with some words concerning geometric group theory—a topic that is very closely connected with the things we have just discussed.
It concerns finitely presented groups (no other ones will be considered here) and the geometric and topological properties of the universal covering spaces of the compact spaces having as fundamental group, the group in question. According to the viewpoint of the quasi-isometries of Misha Gromov [27], the groups and those universal covering spaces are in fact equivalent objects, and so many topological properties make sense for groups as well (see e.g., [28,29]).
Now, when Grisha Perelman proved the Poincaré Conjecture and Thurston’s geometrization, this had very important consequences for group theory as well. For instance, it actually implied that any fundamental group of a compact 3-manifold is simply connected at infinity, whereas, on the other hand, this turns out to be a very rare property among discrete groups [30].
However, in the realm of group theory, descending from the old classical work of Max Dehn, there is the notion of quasi-simple filtration (QSF), which for fundamental groups of 3-manifolds is equivalent to simple connectivity at infinity; in the appendix here below, I define QSF rigorously.
A few years ago, I managed to prove that all groups are QSF; see here the trilogy [31,32,33] and also the review papers by Daniele Otera and myself [34,35]. Now, GSC also makes sense for groups, and it is a stronger property than QSF.
Louis Funar, Daniele Otera and myself are currently working on a project to show that all groups are actually GSC, continuing our previous research in this direction [36,37]. On this topic, see also my forthcoming paper “On the Whitehead nightmare and related topics” which will appear in an issue of the European Mathematical Journal dedicated to the 80th birthday of the recent Abel prize winner Dennis Sullivan.

4. Appendix (Explaining Some Technical Terms)

4.1. On GSC

For a manifold  M n  of dimension n, we consider a decomposition starting with an n-ball if  M n  is compact, or with a regular neighborhood of an infinite tree if  M n  is not; then, in increasing order of indices  λ  come handles
H λ = B λ × B n λ , ( H λ = B λ × B n λ B λ × B n λ ) ,
with  B λ × B n λ  being the attaching zone to lower index handles and  B λ × B n λ  being the “lateral surface”. For two handles  H α 2 ,   H β 1 , we consider the incidence number  a α , β , which counts how many times the attaching zone of the 2-handle goes through the lateral surface of the 1-handle; no signs are involved here.
We say that the manifold  M n  is GSC if for the family of 1-handles
i I H i 1
we can find a family of 2-handles  j J H j 2  with  I J , such that the corresponding geometric incidence matrix  a j i  has the property “easy id + nilpotent” (equivalent to id + nilpotent in the finite case), namely
a j i = δ j i + b j i , b j i Z + , with b j i > 0 j > i .
For more detailed information about this fundamental notion in geometric topology, low-dimensional topology and geometric group theory, see [19,28,38,39].

4.2. On Yang-Mills Equations

We consider a closed oriented 4-manifold  M 4  endowed with a complex bundle of structure group G, having a connection A. This comes with a curvature form  F A  with values in the 2-forms
Ω ( M 4 , L G ) .
With this, we have Bianchi’s theorem
d A F A = 0 .
If ★ is the Hodge operator between 2-forms, we also have the Yang-Mills equations (written here without the source term), namely
d A F A = 0 .
In a more basic form, this means (with  ϵ =  charge,  I =  current (or source)) that
F μ ν / x ν + 2 ϵ [ A ν × F μ ν ] + I μ = 0 .
The unknown here is the connection A, and as soon as G involves two dimensions or more, the equations are non-linear. For  G = U ( 1 ) , we find Maxwell.
Note also that the Yang-Mills equations are at the core of the Standard Model of elementary particles, but that is another story. For all the details of this interesting field, we refer the reader to and recommend Donaldson’s wonderful book [13].

4.3. On QSF

A locally compact complex X is QSF (quasi-simply filtrated) if for every compact subset k of X there is some abstract simply connected finite complex K coming with a commutative diagram
Mathematics 11 03826 i001
where j is an inclusion map, and f is some simplicial map satisfying the Dehn-type property  j ( k ) M 2 ( f ) =  (where  M 2 ( f ) K  denotes the set of double points of f).
This notion was introduced by Stephen Brick and Mike Mihalik in [40] (but see also [28,29,41]), and they also proved the following useful concepts:
  • If  K 1  and  K 2  are two finite complexes with the same fundamental group G, then  K ˜ 1  if QSF if and only if  K ˜ 2  is QSF. In this case we say that the group G is QSF.
  • For fundamental groups of finite 3-complexes, QSF is equivalent to simple connectivity at infinity.

5. Conclusions

In this short survey paper, we have stressed once again that four-dimensional topology is very special indeed and deserves to be further studied in depth. In addition, in dimension 4, as far as geometric topology is concerned, there are still big questions waiting to be explored and solved. Furthermore, all these questions concern several distinct branches of mathematics: we have differential geometry and topology, calculus, Riemannian geometry, geometric topology, global analysis, combinatorial topology, algebraic topology, wild topology, group theory, geometric group theory, mathematical physics, theoretical physics and partial differential equations. It is a rich and vast research area, with connections to the real world and applications in physics.

Funding

This research received no external funding.

Data Availability Statement

Not applicable.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Poincaré, H. Cinquième complément à l’analysis situs. Rend. Circ. Mat. Palermo 1904, 18, 45–110. [Google Scholar] [CrossRef]
  2. Smale, S. On the Struture of Manifolds. Am. J. Math. 1962, 84, 387–399. [Google Scholar] [CrossRef]
  3. Smale, S. The Story of the Higher Dimensional Poincaré Conjecture (What actually happened on the beaches of Rio). Math. Intell. 1990, 12, 44–51. [Google Scholar] [CrossRef]
  4. Stallings, J.R. Polyhedral homotopy-spheres. Bull. Am. Math. Soc. 1960, 66, 485–488. [Google Scholar] [CrossRef]
  5. Zeeman, E.C. The generalised Poincaré conjecture. Bull. Am. Math. Soc. 1961, 67, 270. [Google Scholar] [CrossRef]
  6. Zeeman, E.C. The Poincaré Conjecture for n greater than or equal to 5. In Topology of 3-Manifolds and Related Topics; (Proc. The Univ. of Georgia Institute, 1961); Prentice-Hall: Upper Saddle River, NJ, USA, 1962; pp. 198–204. [Google Scholar]
  7. Stallings, J.R. The piecewise linear structure of Euclidean spaces. Proc. Cambr. Math. Soc. 1962, 58, 481–488. [Google Scholar] [CrossRef]
  8. Kervaire, M.; Milnor, J.W. Groups of homotopy spheres I. Ann. Math. 1963, 77, 504–537. [Google Scholar] [CrossRef]
  9. Milnor, J.W. On manifolds homeomorphic to the 7-sphere. Ann. Math. 1956, 64, 399–405. [Google Scholar] [CrossRef]
  10. Freedman, M. The Topology of four-dimensional manifolds. J. Diff. Geom. 1983, 17, 279–315. [Google Scholar] [CrossRef]
  11. Freedman, M.H.; Quinn, F. Topology of 4-Manifolds; Princeton mathematical Series 39; Princeton University Press: Princeton, NJ, USA, 1990. [Google Scholar]
  12. Donaldson, S.K. An application of gauge theory to four-dimensional topology. J. DIff. Geom. 1983, 18, 278–315. [Google Scholar] [CrossRef]
  13. Donaldson, S.K.; Kronheimer, P.B. The Geometry of Four-Manifolds; Oxford Mathematical Monographs; Oxford University Press: New York, NY, USA, 1990. [Google Scholar]
  14. Perelman, G. The entropy formula for the Ricci flow and its geometric applications. arXiv 2002, arXiv:math/0211159. [Google Scholar]
  15. Perelman, G. Ricci flow with surgery on three-manifolds. arXiv 2003, arXiv:math/0303109. [Google Scholar]
  16. Perelman, G. Finite extinction time for the solutions of the Ricci flow on certain three-manifolds. arXiv 2003, arXiv:math/0307245. [Google Scholar] [CrossRef]
  17. Mazur, B. A note on some contractible 4-manifolds. Ann. Math. 1961, 73, 221–228. [Google Scholar] [CrossRef]
  18. Poénaru, V. Les décompositions de l’hypercube en produit topologique. Bull. Soc. Math. France 1960, 88, 113–129. [Google Scholar] [CrossRef]
  19. Poénaru, V.; Tanasi, C. Some remarks on geometric simple connectivity. Acta Math. Hung. 1998, 81, 1–12. [Google Scholar] [CrossRef]
  20. Poénaru, V. What is…an infinite swindle. Notices AMS 2007, 54, 619–622. [Google Scholar]
  21. Mazur, B. On embeddings of spheres. Bull. AMS 1959, 65, 59–65. [Google Scholar] [CrossRef]
  22. Poénaru, V. All smooth four-dimensional Schoenflies balls are geometrically simply connected. arXiv 2016, arXiv:1609.05094. [Google Scholar]
  23. Poénaru, V. All Smooth Four-Dimensional Schoenflies Balls Are Geometrically Simply Connected; Surveys in geometry I; Springer: Cham, Switzerland, 2022; pp. 269–307. [Google Scholar]
  24. Akbulut, S. 4-Manifolds; Oxford University Press: Oxford, UK, 2016. [Google Scholar]
  25. Gompf, R.E.; Stipsicz, A. 4-Manifolds and Kirby Calculus; Issue 20 of the book Graduate studies in mathematics; American Mathematical Society: Providence, RI, USA, 1999. [Google Scholar]
  26. Scorpan, A. The Wild World of 4-Manifolds; American Mathematical Society: Providence, RI, USA, 2005. [Google Scholar]
  27. Gromov, M. Asymptotic invariants of infinite groups. In Geometric Group Theory, Volume 2; London Math. Society Lecture Note Series 182; Cambridge University Press: Cambridge, UK, 1993; pp. 1–295. [Google Scholar]
  28. Otera, D.E. Topological tameness conditions of groups. Results and developments. Lith. Math. J. 2016, 3, 357–376. [Google Scholar] [CrossRef]
  29. Otera, D.E. On simplicial resolutions of groups. Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. Mat. 2022, 116, 138. [Google Scholar] [CrossRef]
  30. Davis, M.W. Groups generated by reflections and aspherical manifolds not covered by Euclidean spaces. Ann. Math. 1983, 117, 293–324. [Google Scholar] [CrossRef]
  31. Poénaru, V. Equivariant, locally finite inverse representations with uniformly bounded zipping length, for arbitrary finitely presented groups. Geom. Dedicata 2013, 167, 91–121. [Google Scholar] [CrossRef]
  32. Poénaru, V. Geometric simple connectivity and finitely presented groups. arXiv 2014, arXiv:1404.4283. [Google Scholar]
  33. Poénaru, V. All finitely presented groups are QSF. arXiv 2014, arXiv:1409.7325. [Google Scholar]
  34. Otera, D.E.; Poénaru, V. Topics in Geometric Group Theory, Part I; Handbook of Group Actions, Volume V, Advanced Lectures in Mathematics; University of Chicago Press: Chicago, IL, USA, 2020; Volume 48, pp. 307–353. [Google Scholar]
  35. Poénaru, V. Topics in Geometric Group Theory, Part II; Handbook of Group Actions, Volume V, Advanced Lectures in Mathematics; University of Chicago Press: Chicago, IL, USA, 2020; Volume 48, pp. 347–398. [Google Scholar]
  36. Otera, D.E.; Poénaru, V. “Easy” Representations and the QSF property for groups. Bull. Belgian Math. Soc. Simon Stevin 2012, 19, 385–398. [Google Scholar] [CrossRef]
  37. Otera, D.E.; Poénaru, V. Finitely presented groups and the Whitehead nightmare. Groups Geom. Dyn. 2017, 11, 291–310. [Google Scholar] [CrossRef]
  38. Otera, D.E.; Poénaru, V.; Tanasi, C. On Geometric Simple Connectivity. Bull. Mathématique Société Des Sci. Mathématiques Roum. Nouv. Série 2010, 101, 157–176. [Google Scholar]
  39. Otera, D.E.; Russo, F.G.; Tanasi, C. On 3-dimensional WGSC inverse-representations of groups. Acta Math. Hung. 2017, 151, 379–390. [Google Scholar] [CrossRef]
  40. Brick, S.G.; Mihalik, M.L. The QSF property for groups and spaces. Math. Z. 1995, 220, 207–217. [Google Scholar] [CrossRef]
  41. Stallings, J.R. Brick’s quasi-simple filtrations for groups and 3-manifolds. In Geometric Group Theory, Volume 1; Volume 181 of London Mathematical Society Lecture Note Series; Cambridge University Press: Cambridge, UK, 1993; pp. 188–203. [Google Scholar]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Poénaru, V. The Problems of Dimension Four, and Some Ramifications. Mathematics 2023, 11, 3826. https://doi.org/10.3390/math11183826

AMA Style

Poénaru V. The Problems of Dimension Four, and Some Ramifications. Mathematics. 2023; 11(18):3826. https://doi.org/10.3390/math11183826

Chicago/Turabian Style

Poénaru, Valentin. 2023. "The Problems of Dimension Four, and Some Ramifications" Mathematics 11, no. 18: 3826. https://doi.org/10.3390/math11183826

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop