Related papers: Measure theory over boolean toposes

This paper is motivated by recent developments of higher gauge theory. Different from its style of using higher category theory, we try to describe the concept of higher parallel transport within setting of classical principal bundle…

Given a holomorphic Hilbertian bundle on a compact complex manifold, we introduce the notion of holomorphic $L^2$ torsion, which lies in the determinant line of the twisted $L^2$ Dolbeault cohomology and represents a volume element there.…

We show from a categorical point of view that probability measures on certain measurable or topological spaces arise canonically as the extension of probability distributions on countable sets. We do this by constructing probability monads…

In this article, part of the author's thesis, we propose a definition for measured quantum groupoid. The aim is the construction of objects with duality including both quantum groups and groupoids. We base ourselves on J. Kustermans and S.…

Homological algebra of modules over posets is developed, as closely parallel as possible to that of finitely generated modules over noetherian commutative rings, in the direction of finite presentations and resolutions. Centrally at issue…

We analyse certain Haar systems associated to groupoids obtained by certain natural equivalence relations of dynamical nature on sets like $\{1,2,...,d\}^\mathbb{Z}$, $\{1,2,...,d\}^\mathbb{N}$, $S^1\times S^1$, or $(S^1)^\mathbb{N}$, where…

This paper introduces a new family of models of intensional Martin-L\"of type theory. We use constructive ordered algebra in toposes. Identity types in the models are given by a notion of Moore path. By considering a particular gros topos,…

We define a topological quantum membrane theory on a seven dimensional manifold of $G_2$ holonomy. We describe in detail the path integral evaluation for membrane geometries given by circle bundles over Riemann surfaces. We show that when…

This work provides a generalization of the Gelfand duality to the context of noncommutative locally $C^*$ algebras. Using a reformulation of a theorem proven by Dauns and Hofmann in the 60's we show that every locally $C^*$ algebra can be…

We study measure-theoretical aspects of torus piecewise isometries. Not much is known about this type of dynamical systems, except for the special case of one-dimensional interval exchange mappings. The last case is fundamentally different…

The isomorphism problem in ergodic theory was formulated by von Neumann in 1932 in his pioneering paper Zur Operatorenmethode in der klassischen Mechanik (Ann. of Math. (2), 33(3):587--642, 1932). The problem has been solved for some…

This paper studies Moore's measurable cohomology theory for locally compact groups and Polish modules. An elementary dimension-shifting argument is used to show that all classes in that theory have representatives with considerable extra…

In this paper we develop a general theory of modules which are invariant under automorphisms of their covers and envelopes. When applied to specific cases like injective envelopes, pure-injective envelopes, cotorsion envelopes, projective…

We prove some structure results for isometries between noncommutative Lp spaces associated to von Neumann algebras. We find that an isometry T: Lp(M_1) to Lp(M_2) (1 le p < infty, p not 2) can be canonically expressed in a certain simple…

Within the framework of complex supergeometry and motivated by two-dimensional genus-zero holomorphic N=2 superconformal field theory, we define the moduli space of N=2 super-Riemann spheres with oriented and ordered half-infinite tubes (or…

It is shown that the differential geometry of space-time, can be expressed in terms of the algebra of operators on a bundle of Hilbert spaces. The price for this is that the algebra of smooth functions on space-time has to be made…

Topological T-duality is a transformation taking a gerbe on a principal torus bundle to a gerbe on a principal dual-torus bundle. We give a new geometric construction of T-dualization, which allows the duality to be extended in following…

We extend earlier ideas about the appearance of noncommutative geometry in string theory with a nonzero B-field. We identify a limit in which the entire string dynamics is described by a minimally coupled (supersymmetric) gauge theory on a…

We consider the topological theory of Witten type for gauge differential p-forms. It is shown that some topological invariants such as linking numbers appear under quantization of this theory. The non-abelian generalization of the model is…

The aim of this review is to present an overview over available models and approaches to non-commutative gauge theory. Our main focus thereby is on gauge models formulated on flat Groenewold-Moyal spaces and renormalizability, but we will…