Related papers: Bohrification of operator algebras and quantum log…
Qubits are a great way to build a quantum computer, but a limited way to program one. We replace the usual "states and gates" formalism with a "props and ops" (propositions and operators) model in which (a) the C*-algebra of observables…
We formally introduce the concept of localizing the Elliott conjecture at a given strongly self-absorbing C*-algebra $D$; we also explain how the known classification theorems for nuclear C*-algebras fit into this concept. As a new result…
The idea that symmetries simplify or reduce the complexity of a system has been remarkably fruitful in physics, and especially in quantum mechanics. On a mathematical level, symmetry groups single out a certain structure in the Hilbert…
Using free random varaibles we find an embedding of the operator space $OH$ in the predual of a von Neumann algebra. The properties of this embedding allow us to determined the projection constant of $OH_n$, i.e. there exists a projection…
Inspired by the Douglas lemma, we investigate the solvability of the operator equation $AX=C$ in the framework of Hilbert C*-modules. Utilizing partial isometries, we present its general solution when $A$ is a semi-regular operator. For…
We propose a quantization of coarse spaces and uniform Roe algebras. The objects are based on the quantum relations introduced by N. Weaver and require the choice of a represented von Neumann algebra. In the case of the diagonal inclusion…
We give new proofs for many injectivity results in analysis that make more careful use of the duality between unital abelian C*-algebras and compact Hausdorff spaces. We then extend many of these results to incorporate group actions. Our…
For a Lie-Rinehart algebra (A,L), generators for the Gerstenhaber algebra \Lambda_A L correspond bijectively to right (A,L)-connections on A in such a way that B-V structures correspond to right (A,L)-module structures on A. When L is…
Constructive dualities have been recently proposed for some lattice based algebras and a related project has been outlined by Holliday and Bezhanishvili, aiming at obtaining "choice-free spatial dualities for other classes of algebras…
We show that a map between projection lattices of semi-finite von Neumann algebras can be extended to a Jordan $*$-homomorphism between the von Neumann algebras if this map is defined in terms of the support projections of images (under the…
We classify all apartness relations definable in propositional logics extending intuitionistic logic using Heyting algebra semantics. We show that every Heyting algebra which contains a non-trivial apartness term satisfies the weak law of…
To do homological algebra with unbounded chain complexes one needs to first find a way of constructing resolutions. Spaltenstein solved this problem for chain complexes of R-modules by truncating further and further to the left, resolving…
In this paper we give an algebraic characterization of the projections lattice of $M_n(\mathbb C)$ and we extend it to the case of $B(H)$, with $H$ separable Hilbert space.
Starting with a Lie algebroid ${\cal A}$ over a space $M$ we lift its action to the canonical transformations on the affine bundle ${\cal R}$ over the cotangent bundle $T^*M$. Such lifts are classified by the first cohomology $H^1({\cal…
This paper investigates the projection operators that lie in the algebra generated by powers of an $n$-potent operator $T$ on a complex Banach space, where $T^n = T$. We give a complete description of all projections in the algebra…
We investigate algebraicity properties of quotients of complex spaces by complex reductive Lie groups G. We obtain a projectivity result for compact momentum map quotients of algebraic G-varieties. Furthermore, we prove equivariant versions…
We derive sufficient conditions under which the ``second'' Hamiltonian structure of a class of generalized KdV-hierarchies defines one of the classical $\cal W$-algebras obtained through Drinfel'd-Sokolov Hamiltonian reduction. These…
We study the iterated blow-up X of projective space along an arbitrary collection of linear subspaces. By replacing the universal torsor with an $\mathbb{A}^1$-homotopy equivalent model, built from $\mathbb{A}^1$-fiber bundles not just…
We show that the action of the Lie algebra HH^1(A) of outer derivations of an associative algebra A on the Hochschild cohomology HH^*(A) of A given by the Gerstenhaber bracket can be computed in terms of an arbitrary projective resolution…
The article explores the arithmetic of multiplication as a model of many valued projective logic. It is demonstrated that closed numerical intervals within this framework constitute Heyting algebras. The conditions for these algebras to be…