Related papers: Measure theory over boolean toposes
The classifying topos of a geometric theory is a topos such that geometric morphisms into it correspond to models of that theory. We study classifying toposes for different infinitary logics: first-order, sub-first-order (i.e. geometric…
We recall the emergence of a generalized gauge theory from a noncommutative Riemannian spin manifold, viz. a real spectral triple $(A,H,D;J)$. This includes a gauge group determined by the unitaries in the $*$-algebra $A$ and gauge fields…
For any topological space there is a sheaf cohomology. A Grothendieck topology is a generalization of the classical topology such that it also possesses a sheaf cohomology. On the other hand any noncommutative $C^*$-algebra is a…
A theory of Galois co-objects for von Neumann bialgebras is introduced. This concept is closely related to the notion of comonoidal W*-Morita equivalence between von Neumann bialgebras, which is a Morita equivalence taking the…
We study the gauge theories on noncommutative space. We employ the idea of the covariant position to understand the linear and angular momenta, the center of mass position, and to express all gauge invariant observables including the Wilson…
From a geometrical point of view it is, so far, not sufficiently well understood what should be a "noncommutative principal bundle". Still, there is a well-developed abstract algebraic approach using the theory of Hopf algebras. An…
The theme here is category-measure duality, in the context of a topological group. One can often handle the (Baire) category case and the (Lebesgue, or Haar) measure cases together, by working bi-topologically: switching between the…
While there is only one natural dimension concept for separable, metric spaces, the theory of dimension in noncommutative topology ramifies into different important concepts. To accommodate this, we introduce the abstract notion of a…
A brief discussion is given of measurement within the context of a theory of "beables", e.g. theories of de Broglie, Bohm, Bell, Vink, and also "modal" theories. It is shown that even in an ideal von Neumann measurement of a beable, the…
In this short note, we construct a variant of the Bohr topos of a C*-algebra which takes into account the topology of the algebra in a finer way and such that this construction is stable under pullback along geometric morphisms. This…
Nonlinear gauge theory is a gauge theory based on a nonlinear Lie algebra (finite W algebra) or a Poisson algebra, which yields a canonical star product for deformation quantization as a correlator on a disk. We pursue nontrivial…
We describe a class of topological field theories called ``balanced topological field theories.'' These theories are associated to moduli problems with vanishing virtual dimension and calculate the Euler character of various moduli spaces.…
We use compactifications of C*-algebras to introduce noncommutative coarse geometry. We transfer a noncommutative coarse structure on a C*-algebra with an action of a locally compact Abelian group by translations to Rieffel deformations and…
The aim of this paper is to relate algebraic quantum mechanics to topos theory, so as to construct new foundations for quantum logic and quantum spaces. Motivated by Bohr's idea that the empirical content of quantum physics is accessible…
The aim of this paper is to extend existence results for the Coulomb gauge from standard gauge theory to a non-associative setting. Non-associative gauge theory is based on smooth loops, which are the non-associative analogs of Lie groups.…
We introduce and study an axiomatic theory of $V$-normed $U$-modules, where $V$ is a Riesz space and $U$ is an $f$-algebra; the spaces $U$ and $V$ also have some additional structure and are required to satisfy a compatibility condition.…
For given Boolean algebras $\mathbb{A}$ and $\mathbb{B}$ we endow the space $\mathcal{H}(\mathbb{A},\mathbb{B})$ of all Boolean homomorphisms from $\mathbb{A}$ to $\mathbb{B}$ with various topologies and study convergence properties of…
We consider the locally measure topology $t(\mathcal{M})$ on the *-algebra $LS(\mathcal{M})$ of all locally measurable operators affiliated with a von Neumann algebra $\mathcal{M}$. We prove that $t(\mathcal{M})$ coincides with the…
We study Borel systems and continuous systems of measures, with a focus on mapping properties: compositions, liftings, fibred products and disintegration. Parts of the theory we develop can be derived from known work in the literature, and…
The idea of a line bundle in classical geometry is transferred to noncommutative geometry by the idea of a Morita context. From this we can construct Z and N graded algebras, the Z graded algebra being a Hopf-Galois extension. A…