Discussion Overview
The discussion centers on the potential analog of Hilbert's Nullstellensatz in the context of non-commutative algebra and geometry. Participants explore the relationship between non-commutative algebras and geometric interpretations, questioning how concepts from commutative algebra might translate into non-commutative settings.
Discussion Character
- Exploratory
- Debate/contested
- Conceptual clarification
Main Points Raised
- One participant expresses curiosity about whether there is a non-commutative version of Hilbert's Nullstellensatz, suggesting a correspondence between operator/matrix algebras and a "fuzzy" geometry.
- Another participant questions the understanding of the Nullstellensatz, specifically whether it relates to functions defined on varieties or merely to the correspondence between commutative rings and algebraic varieties.
- Concerns are raised about the existence of a direct analog of the vanishing set of polynomials in the non-commutative case.
- A participant acknowledges a previous misunderstanding regarding the definition of non-commutative spaces, indicating that not all non-commutative geometries may have functions that form a non-commutative algebra.
- Discussion includes the standard procedure of starting with non-commutative algebras, such as the Heisenberg algebra, and defining a "symbol map" to associate elements of this algebra with functions on commutative manifolds, though the uniqueness and well-defined nature of this map are questioned.
- One participant expresses confusion about the necessity of knowing the "fuzzy geometry" beforehand to use the symbol map effectively.
Areas of Agreement / Disagreement
Participants express uncertainty and differing views regarding the relationship between non-commutative algebras and geometric interpretations, with no consensus reached on the existence or nature of a non-commutative Nullstellensatz.
Contextual Notes
Participants highlight limitations in their understanding of how non-commutative geometries relate to functions and algebras, as well as the challenges in defining mappings between non-commutative and commutative structures.