Model and Set-Theoretic Aspects of Exotic Smoothness Structures on \(\mathbb {R}^4\)

  • Jerzy KrólEmail author
Part of the Fundamental Theories of Physics book series (FTPH, volume 183)


Model-theoretic aspects of exotic smoothness were studied long ago uncovering unexpected relations to noncommutative spaces and quantum theory. Some of these relations were worked out in detail in later work. An important point in the argumentation was the forcing construction of Cohen but without a direct application to exotic smoothness. In this article we assign the set-theoretic forcing on trees to Casson handles and characterize small exotic smooth \(R^4\) from this point of view. Moreover, we show how models in some Grothendieck toposes can help describing such differential structures in dimension 4. These results can be used to obtain the deformation of the algebra of usual complex functions to the noncommutative algebra of operators on a Hilbert space. We also discuss the results in the context of the Epstein-Glaser renormalization in QFT.


Full Binary Tree Trivial Automorphism Wild Automorphism Atomless Boolean Algebra External Distribution 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.



The author appreciates much the important and fruitful discussions with Torsten Asselmeyer-Maluga and Krzysztof Bielas within the years about the wide range of topics appearing in the Chapter.


  1. 1.
    C.H. Brans, in Roles of space-time models, ed. by A. Marlow. Quantum Theory and Gravitation (Academic Press, New York, 1980)Google Scholar
  2. 2.
    C.H. Brans, Exotic smoothness and physics. J. Math. Phys. 35, 5494 (1994)ADSMathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    C.H. Brans, Localized exotic smoothness. Class. Quant. Gravity 11, 1785 (1994)ADSMathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    C.H. Brans, Absolute spacetime: the twentieth century ether. Gen. Relativ. Gravit. 31, 597 (1999)ADSMathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    T. Asselmeyer, Generation of source terms in general relativity by differential structures. Gen. Rel. Grav. 34, 597 (1996)Google Scholar
  6. 6.
    J. Sładkowski, Exotic smoothness, noncommutative geometry and particle physics. Int. J. Theor. Phys. 35, 2075 (1996)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    J. Sładkowski, Gravity on exotic \(R^4\) with few symmetries. Int. J. Mod. Phys. D 10, 311 (2001)ADSMathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    P. Benioff, Models of Zermelo Frankel set theory as carriers for the mathematics of physics I, II. J. Math. Phys. 17(5), 618 (1976)Google Scholar
  9. 9.
    A. Kock, Synthetic differential geometry. Lond. Math. Sci. Lect. Notes 51 (1981)Google Scholar
  10. 10.
    F.W. Lawvere, “Continuously varying sets: Algebraic geometry = Geometric logic”, in Logic Coll. 73, 135 (North Holland, Bristol, 1975)Google Scholar
  11. 11.
    G. Takeuti, Two applications of logic to mathematics (Math. Soc. Japan 13, Kano Memorial Lecture 3, 1978)Google Scholar
  12. 12.
    P. Benioff, Language is physical. Quant. Inf. Proc. 1, 495 (2002)CrossRefGoogle Scholar
  13. 13.
    P. Benioff, Space and time dependent scaling of numbers in mathematical structures: Effects on physical and geometric quantities, will appear in Quantum Information Processing, Howard Brandt memorial issueGoogle Scholar
  14. 14.
    A. Doering, C.J. Isham, A topos foundation for theories of physics: I. Formal languages for physics. J. Math. Phys. 49, 053515 (2008)ADSMathSciNetCrossRefzbMATHGoogle Scholar
  15. 15.
    C. Heunen, N.P. Landsman, B. Spitters, A topos for algebraic quantum theory. Comm. Math. Phys. 291(1), 63 (2009)Google Scholar
  16. 16.
    C.J. Isham, in Topos Methods in the Foundations of Physics ed. by H. Halvorson. Deep Beauty (Cambridge University Press, 2010)Google Scholar
  17. 17.
    J. Król, Background independence in quantum gravity and forcing constructions. Found. Phys. 34,(3), 361 (2004)Google Scholar
  18. 18.
    J. Vaananen, Second-order logic and foundations of mathematics. Bull. Symbolic Logic 7, 504 (2001)MathSciNetCrossRefzbMATHGoogle Scholar
  19. 19.
    T. Jech, Set Theory (Springer, New York, 2003)zbMATHGoogle Scholar
  20. 20.
    S. MacLane, I. Moerdijk, Sheaves in Geometry and Logic, A First Introduction to Topos Theory (Springer, New York, 1992)CrossRefGoogle Scholar
  21. 21.
    P.J. Cohen, Proc. Nat. Acad. Sci. USA 50, 1143 (1963)ADSCrossRefGoogle Scholar
  22. 22.
    T. Bartoszyński, H. Judah, Set Theory: On the Structure of the Real Line (A.K. Peters, Massachusets, 1995)zbMATHGoogle Scholar
  23. 23.
    J. Król, Set theoretical forcing in quantum mechanics and AdS/CFT correspondence. Int. J. Theor. Phys. 42(5), 921 (2003). arXiv:quant-ph/0303089
  24. 24.
    J. Król, Exotic smoothness and noncommutative spaces. The model-theoretical approach. Found. Phys. 34(5), 843 (2004)Google Scholar
  25. 25.
    W. Just, M. Weese, Discovering Modern Set Theory, Set-Theoretic Tools for Every Mathematician II (AMS, Providence, 1997)zbMATHGoogle Scholar
  26. 26.
    M.H. Freedman and team Freedman. Bing Topology and Casson Handles 2013. Santa Barbara/Bonn Lectures (2013)Google Scholar
  27. 27.
    T. Asselmeyer-Maluga, C.H. Brans, Exotic Smoothness and Physics, Differential Topology and Spacetime Models (World Scientific, Singapore, 2007)CrossRefzbMATHGoogle Scholar
  28. 28.
    M.H. Freedman, The topology of four-dimensional manifolds. J. Differ. Geom. 17, 357 (1982)MathSciNetzbMATHGoogle Scholar
  29. 29.
    R.E. Gompf, A.I. Stipsicz, An Introduction to 4-Manifolds and Kirby Calculus (American Mathematical Society, Rhode Island, 1999)zbMATHGoogle Scholar
  30. 30.
    Ž. Bižaca, An explicit family of exotic Casson handles. Proc. AMS 123(4) (1995)Google Scholar
  31. 31.
    T. Kato, Spectral analysis on tree-like spaces from gauge theoretic point of view. Contemp. Math. 347 (2004)Google Scholar
  32. 32.
    T. Asselmeyer-Maluga, J. Król, Topological quantum D-branes and wild embeddings from exotic smooth \(R^4\). Int. J. Mod. Phys. A 26(20), 3421 (2011). arXiv:1105.1557 Google Scholar
  33. 33.
    T. Asselmeyer-Maluga, J. Król, Quantum geometry and wild embeddings as quantum states. Int. J. Geom. Meth. Mod. Phys. 10, 10 (2013)MathSciNetzbMATHGoogle Scholar
  34. 34.
    A. Robinson, Non-Standard Analysis, Studies in Logic and the Foundations of Mathematics (North-Holland Publishing Co., Amsterdam, 1966)zbMATHGoogle Scholar
  35. 35.
    K.J. Hintikka, Reductions in the theory of types, in Two Papers on Symbolic Logic, Acta Philosophica Fennica, No. 8 (Helsinki, 1955)Google Scholar
  36. 36.
    R. Montague, in Reductions of Higher-order Logic, ed. by J.W. Addison, L. Henkin, A. Tarski. The Theory of Models (North-Holland Publishing Co., Amsterdam, 1965), pp. 251-264Google Scholar
  37. 37.
    I. Moerdijk, G.E. Reyes, Models for Smooth Infinitesimal Analysis (Springer, New York, 1991)CrossRefzbMATHGoogle Scholar
  38. 38.
    I. Moerdijk, A model for intuitionistic non-standard arithmetic. Ann. Pure Appl. Logic 73, 37 (1995)MathSciNetCrossRefzbMATHGoogle Scholar
  39. 39.
    R.C. Walker, The Stone-Cech Compactification, Ergebnisse der Mathematik und ihrer Grenzgebiete, 83 (Springer, Berlin, 1974)Google Scholar
  40. 40.
    S. Shelah, Proper Forcing, Lec. N. Math. 940 (Springer, Berlin-New York, 1982)Google Scholar
  41. 41.
    J. Król, A model for spacetime: the role of interpretation in some Grothendieck topoi. Found. Phys. 36(7), 1070 (2006)Google Scholar
  42. 42.
    C. Bergbauer, D. Kreimer, The Hopf algebra of rooted trees in Epstein-Glaser renormalization. Annales Henri Poincaré 6, 343 (2005). arXiv:hep-th/0403207 Google Scholar
  43. 43.
    T. Asselmeyer-Maluga, J. Król, Inflation and topological phase transition driven by exotic smoothness. Adv. High Energy Phys. Article ID 867460, special issue, Experimental Tests of Quantum Gravity and Exotic Quantum Field Theory Effects (QGEQ) (2014).
  44. 44.
    J. Król, (Quantum) gravity effects via exotic \(R^4\). Ann. Phys. (Berlin) 19(3–5), 355 (2010)Google Scholar
  45. 45.
    T. Asselmeyer-Maluga, J. Król, Abelian gerbes, generalized geometries and foliations of small exotic \(R^4\) (2009). arXiv:0904.1276v5
  46. 46.
    S. Feferman, A theory of variable types, in Proceedings of 5th Lattin American Symposium on Mathematical Logic ed. by X. Caicedo, N.C.A. da Costa, R. Chuaqui (1985)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.Institute of Physics, University of SilesiaKatowicePoland

Personalised recommendations