Related papers: Observables IV: The presheaf perspective
We show that for a Heyting algebra ${\cal H}$, a relational-presheaf is an idempotent symmetric order-preserving lax-semifunctor. A relational-presheaf is a relational-sheaf, if it is an idempotent infima-preserving lax semifunctor. The…
The exploration of the notion of observability exhibits transparently the rich interplay between algebraic and geometric ideas in \emph{geometric invariant theory}. The concept of \emph{observable subgroup} was introduced in the early 1960s…
On the predual of a von Neumann algebra, we define a differentiable manifold structure and affine connections by embeddings into non-commutative L_p-spaces. Using the geometry of uniformly convex Banach spaces and duality of the L_p and L_q…
Let ${\cal S}(\mathcal{H})$ denote the set of all self-adjoint operators (not necessarily bounded) on a Hilbert space $\mathcal{H}$, which is the set of all physical quantities on a quantum system $\mathcal{H}$. We introduce a binary…
In this paper, we introduce the notion of a von Neumann category, as a generalization and categorification of von Neumann algebra. A von Neumann category is a premonoidal category with compatible dagger structure which embeds as a double…
Recently, M. Daws introduced a notion of co-representation of abelian Hopf--von Neumann algebras on general reflexive Banach spaces. In this note, we show that this notion cannot be extended beyond subhomogeneous Hopf--von Neumann algebras.…
We construct a quasi-coherent sheaf of associative algebras which controls a category of $AV$-modules over a smooth quasi-projective variety. We establish a local structure theorem, proving that in \'etale charts these associative algebras…
In this paper we suggest a new general formalism for studying the invariants of polyhedra and manifolds comming from the theory of von Neumann algebras. First, we examine generality in which one may apply the construction of the extended…
Let $(\mathcal C,\otimes,\mathbb 1)$ be an abelian symmetric monoidal category satisfying certain exactness conditions. In this paper we define a presheaf $\mathbb P^{n}_{\mathcal C}$ on the category of commutative algebras in $\mathcal C$…
A semiring scheme generalizes a scheme in such a way that the underlying algebra is that of semirings. We generalize \v{C}ech cohomology theory and invertible sheaves to semiring schemes. In particular, when $X=\mathbb{P}^n_M$, a projective…
Recent work by Abramsky and Brandenburger used sheaf theory to give a mathematical formulation of non-locality and contextuality. By adopting this viewpoint, it has been possible to define cohomological obstructions to the existence of…
To each unital C*-algebra A we associate a presheaf \Sigma^A, called the spectral presheaf of A, which can be regarded as a generalised Gelfand spectrum. We develop a categorical notion of local duality and show that there is a…
A relative derived category for the category of modules over a presheaf of algebras is constructed to identify the relative Yoneda and Hochschild cohomologies with its homomorphism groups. The properties of a functor between this category…
We analyse a class of quantum field theory models illustrating some of the possibilities that have emerged in the general study of the short distance properties of superselection sectors, performed in a previous paper (together with R.…
We introduce the notion of integrable connections for a sheaf of differential graded algebras on a topological space. We then describe them in the finite locally projective setting, when the sheaf is either the de Rham complex of a formal…
For a generic set in the Teichmueller space, we construct a covariant functor with the range in a category of the AF-algebras; the functor maps isomorphic Riemann surfaces to the stably isomorphic AF-algebras. As a special case, one gets a…
We trace derivations through Demazure's correspondence between a finitely generated positively graded normal $k$-algebras $A$ and normal projective $k$-varieties $X$ equipped with an ample $\mathbb{Q}$-Cartier $\mathbb{Q}$-divisor $D$. We…
The space $T_{poly}(\mathbb R^d)$ of all tensor fields on $\mathbb R^d$, equipped with the Schouten bracket is a Lie algebra. The subspace of ascending tensors is a Lie subalgebra of $T_{poly}(\mathbb R^d)$. In this paper, we compute the…
In this addendum we clarify a point which strengthens one of the results from [the original paper]. Namely, we show that the algebra of the observables $F(r,\theta)$ is yet simpler then it was described in [the original paper]. This is an…
We consider a net of *-algebras, locally around any point of observation, equipped with a natural partial order related to the isotony property. Assuming the underlying manifold of the net to be a differentiable, this net shall be…