{ "meta": { "api_type": "NWO Projects API", "version": "1.0.2", "licence": { "name": "CC0 1.0 Universal", "url": "https://creativecommons.org/publicdomain/zero/1.0", "description": "To the extent possible under law, all copyright and related or neighbouring rights have been waived worldwide to the data made available through this API." }, "documentation": "https://doi.org/10.5281/zenodo.14918287", "release_date": "2025-08-20T00:00:00", "funder": "https://doi.org/10.13039/501100003246", "ror_id": "https://ror.org/04jsz6e67", "date": "2026-11-05T00:00:00", "count": 1, "per_page": 100, "pages": 1, "page": 1 }, "projects": [ { "project_id": "613.000.811", "title": "Topos theory, noncommutative geometry, and quantum logic", "funding_scheme_id": 2683, "funding_scheme": "Vrije competitie Vrije competitie EW 2008 EW", "department": "Exacte en Natuurwetenschappen", "sub_department": "Exacte Wetenschappen", "start_date": "2009-06-15T00:00:00", "end_date": "2014-02-27T00:00:00", "reporting_year": 2008, "summary_nl": "Topos theory and noncommutative geometry are areas of modern mathematics that may both be seen as vast extensions of topology, each providing its own generalized notion of space. In topos theory one regards the so-called locales of lattice theory as spaces, whereas the C*-algebras of functional analysis define spaces in the noncommutative sense. The aim of this proposal is to relate these different notions of space to each other and to quantum theory. That this can be done in principle has recently been shown by the applicant in collaboration with C. Heunen and B. Spitters: given some C*-algebra A, we defined a locale L(A) in a certain topos T(A) with various interesting properties, including computability in principle. \n\nFirst, at least for certain classes of C*-algebras this would provide interesting new examples of locales, whose structure can be analyzed using the different perspectives and toolkits of topos theory and noncommutative geometry. For example, the K-theoretic invariants of the C*-algebra A should define corresponding invariants of the locale L(A), and more generally anything that can be said about A will have repercussions for L(A). \n\nSecond, regarding the locale L(A) as a quantum phase space, the logical structure of the quantum system described by the C*-algebra A can be studied using the internal logic of topos theory. Since the latter happens to be intuitionistic, this proposal is also explicitly meant as a contribution to the emerging field of intuitionistic quantum logic (which is intended to clarify---if not replace---the bizarre nondistributive quantum logic proposed by Birkhoff and von Neumann in 1936). \n\nWe request funding for one PhD student (4 years) at a total budget of 193.495 euro's. ", "summary_en": "Topos theory and noncommutative geometry are areas of modern mathematics that may both be seen as vast extensions of topology, each providing its own generalized notion of space. In topos theory one regards the so-called locales of lattice theory as spaces, whereas the C*-algebras of functional analysis define spaces in the noncommutative sense. The aim of this proposal is to relate these different notions of space to each other and to quantum theory. That this can be done in principle has recently been shown by the applicant in collaboration with C. Heunen and B. Spitters: given some C*-algebra A, we defined a locale L(A) in a certain topos T(A) with various interesting properties, including computability in principle. \n\nFirst, at least for certain classes of C*-algebras this would provide interesting new examples of locales, whose structure can be analyzed using the different perspectives and toolkits of topos theory and noncommutative geometry. For example, the K-theoretic invariants of the C*-algebra A should define corresponding invariants of the locale L(A), and more generally anything that can be said about A will have repercussions for L(A). \n\nSecond, regarding the locale L(A) as a quantum phase space, the logical structure of the quantum system described by the C*-algebra A can be studied using the internal logic of topos theory. Since the latter happens to be intuitionistic, this proposal is also explicitly meant as a contribution to the emerging field of intuitionistic quantum logic (which is intended to clarify---if not replace---the bizarre nondistributive quantum logic proposed by Birkhoff and von Neumann in 1936). \n\nWe request funding for one PhD student (4 years) at a total budget of 193.495 euro's. ", "project_members": [ { "role": "Researcher", "member_id": 216361, "last_name": "Wolters", "degree_pre_nominal": "dr. ing.", "initials": "S.A.M.", "first_name": "Sander", "organisation": "Radboud Universiteit Nijmegen||Faculteit der Natuurwetenschappen, Wiskunde en Informatica", "organisation_id": 49329, "ror": "https://ror.org/016xsfp80", "active": false }, { "role": "Project leader", "member_id": 101004, "last_name": "Landsman", "degree_pre_nominal": "prof. dr.", "initials": "N.P.", "first_name": "Klaas", "organisation": "Radboud Universiteit Nijmegen||Faculteit der Natuurwetenschappen, Wiskunde en Informatica||Subfaculteit Wiskunde", "organisation_id": 77719, "ror": "https://ror.org/016xsfp80", "active": false }, { "role": "Main Applicant", "member_id": 101004, "last_name": "Landsman", "degree_pre_nominal": "prof. dr.", "initials": "N.P.", "first_name": "Klaas", "organisation": "Radboud Universiteit Nijmegen||Faculteit der Natuurwetenschappen, Wiskunde en Informatica||Institute for Mathematics, Astrophysics and Particle Physics (IMAPP)", "organisation_id": 73889, "ror": "https://ror.org/016xsfp80", "active": true } ], "products": [ { "title": "The Gelfand spectrum of a noncommutative C*-algebra\na topos-theoretic approach", "sub_title": "a topos-theoretic approach", "year": 2010, "type": "Overige Output", "url_open_access": "http://arxiv.org/abs/1010.2050", "authors": [ { "last_name": "Spitters", "initials": "B.", "first_name": "Bas", "role": "Maker", "index_number": 0 }, { "last_name": "Heunen", "initials": "C.", "first_name": "Chris", "role": "Maker", "index_number": 0 }, { "last_name": "Landsman", "initials": "N.P.", "first_name": "Nicolaas", "role": "Maker", "index_number": 0 }, { "last_name": "Wolters", "initials": "S.", "first_name": "Sander", "role": "Maker", "index_number": 0 } ] }, { "title": "Gelfand spectra in Grothendieck toposes using geometric mathematics", "year": 2013, "type": "Overige Output", "url_open_access": "http://arxiv.org/abs/1310.0705", "authors": [ { "last_name": "Spitters", "initials": "B.", "first_name": "Bas", "role": "Maker", "index_number": 2 }, { "last_name": "Wolters", "initials": "S.A.M.", "first_name": "Sander", "role": "Maker", "index_number": 1 }, { "last_name": "Vickers", "initials": "Steve", "prefix": "S.", "role": "Maker", "index_number": 3 } ] }, { "title": "The Gelfand spectrum of a noncommutative C*-algebra: a topos-theoretic approach", "year": 2011, "edition": "90", "start": 32, "end": 59, "type": "Wetenschappelijk artikel", "journal_title": "Journal of the Australian Mathematical Society", "authors": [ { "last_name": "Spitters", "initials": "B.", "first_name": "Bas", "role": "Auteur", "index_number": 3 }, { "last_name": "Heunen", "initials": "C.", "first_name": "Chris", "role": "Auteur", "index_number": 1 }, { "last_name": "Landsman", "initials": "N.P.", "first_name": "Klaas", "role": "Auteur", "index_number": 2 }, { "last_name": "Wolters", "initials": "S.A.M.", "first_name": "Sander", "role": "Auteur", "index_number": 4 } ] }, { "title": "Independence Conditions for Nets of Local Algebras as Sheaf Conditions", "year": 2013, "type": "Overige Output", "url_open_access": "http://arxiv.org/abs/1309.5639", "authors": [ { "last_name": "Halvorson", "initials": "H. ", "first_name": "Hans", "role": "Maker", "index_number": 1 }, { "last_name": "Wolters", "initials": "S.A.M.", "first_name": "Sander", "role": "Maker", "index_number": 2 } ] }, { "title": "Contravariant vs Covariant Quantum Logic\nA Comparison of Two Topos-Theoretic Approaches to Quantum Theory", "sub_title": "A Comparison of Two Topos-Theoretic Approaches to Quantum Theory", "year": 2010, "type": "Overige Output", "url_open_access": "http://arxiv.org/abs/1010.2031", "authors": [ { "last_name": "Wolters", "initials": "S.A.M.", "first_name": "Sander", "role": "Maker", "index_number": 0 } ] }, { "title": "Quantum toposophy", "year": 2013, "edition": "1", "type": "Proefschrift", "journal_title": "Radboud Universiteit Nijmegen", "city": "NIJMEGEN", "authors": [ { "last_name": "Wolters", "initials": "S.A.M.", "first_name": "Sander", "role": "Auteur", "index_number": 1 } ] }, { "title": "A Comparison of Two Topos-Theoretic Approaches\nto Quantum Theory", "year": 2013, "edition": "317", "start": 3, "end": 53, "type": "Wetenschappelijk artikel", "journal_title": "Communications in Mathematical Physics", "authors": [ { "last_name": "Wolters", "initials": "S.A.M.", "first_name": "Sander", "role": "Auteur", "index_number": 1 } ] }, { "title": "Topos Models for Physics and Topos Theory", "year": 2013, "type": "Overige Output", "url_open_access": "http://arxiv.org/abs/1309.5640", "authors": [ { "last_name": "Wolters", "initials": "S.A.M.", "first_name": "Sander", "role": "Maker", "index_number": 1 } ] } ] } ] }