Gelfand-Naimark Theorems for Ordered *-Algebras

On quaternionic functional analysis

In this article, we will show that the category of quaternion vector spaces, the category of (both one-sided and two sided) quaternion Hilbert spaces and the category of quaternion $B^*$-algebras are equivalent to the category of real vector spaces, the category of real Hilbert spaces and the category of real $C^*$-algebras respectively. We will also give a Riesz representation theorem for quaternion Hilbert spaces and will extend two results of Kulkarni (namely, we will give the full versions of the Gelfand-Naimark theorem and the Gelfand theorem for quaternion $B^*$-algebras). On our way to …

$C^*$-algebras: The (Quantum) Path Less Traveled

In this project, we will develop the theory of Banach algebras and prove two celebrated theorems, the Gelfand representation theorem and the GKZ theorem. We will then proceed to develop the theory of $C^*$-algebras and prove the Gelfand-Naimark theorem and the GNS theorem. Finally, we will show how they can be used to give an alternative formulation of quantum mechanics.

Fixed point and spectral characterization of finite dimensional C*-algebras

We show that the following conditions on a C*-algebra are equivalent: (i) it has the fixed point property for nonexpansive mappings, (ii) the spectrum of every self adjoint element is finite, (iii) it is finite dimensional. We prove that (i) implies (ii) using constructions given by Goebel, that (ii) implies (iii) using projection operator properties derived from the spectral and Gelfand-Naimark-Segal theorems, and observe that (iii) implies (i) by Brouwer's fixed point theorem.

Inverse Limits of Spectral Triples

Gelfand - Naĭmark theorem supplies a one to one correspondence between commutative $C^*$-algebras and locally compact Hausdorff spaces. So any noncommutative $C^*$-algebra can be regarded as a generalization of a topological space. Similarly a spectral triple is a generalization of a Riemannian manifold. An (infinitely listed) covering of a Riemannian manifold has natural structure of Riemannian manifold. Here we will consider the noncommutative generalization of this result.

Continuous Dependence on the Initial Data in the Kadison Transitivity Theorem and GNS Construction

We consider how the outputs of the Kadison transitivity theorem and Gelfand-Naimark-Segal construction may be obtained in families when the initial data are varied. More precisely, for the Kadison transitivity theorem, we prove that for any nonzero irreducible representation $(\mathcal{H}, π)$ of a $C^*$-algebra $\mathfrak{A}$ and $n \in \mathbb{N}$, there exists a continuous function $A:X \rightarrow \mathfrak{A}$ such that $π(A(\mathbf{x}, \mathbf{y}))x_i = y_i$ for all $i \in \{1, \ldots, n\}$, where $X$ is the set of pairs of $n$-tuples $(\mathbf{x}, \mathbf{y}) \in \mathcal{H}^n \times \m…

Noncommutative Local Systems

Gelfand - Naĭmark theorem supplies a one to one correspondence between commutative $C^*$-algebras and locally compact Hausdorff spaces. So any noncommutative $C^*$-algebra can be regarded as a generalization of a topological space. Generalizations of several topological invariants may be defined by algebraic methods. For example Serre Swan theorem states that complex topological $K$-theory coincides with $K$-theory of $C^*$-algebras. This article is concerned with generalization of local systems. The classical construction of local system implies an existence of a path groupoid. However the no…

Universal covering space of the noncommutative torus

Gelfand - Naĭmark theorem supplies contravariant functor from a category of commutative $C^*-$ algebras to a category of locally compact Hausdorff spaces. Therefore any commutative $C^*-$ algebra is an alternative representation of a topological space. Similarly a category of (noncommutative) $C^*-$ algebras can be regarded as a category of generalized (noncommutative) locally compact Hausdorff spaces. Generalizations of topological invariants may be defined by algebraic methods. For example Serre Swan theorem states that complex topological $K$ - theory coincides with $K$ - theory of $C^*$ - …

交换冯·诺依曼代数的三函子形式体系

A three-functor formalism for commutative von Neumann algebras

本文为交换冯·诺依曼代数及其模建立三函子形式体系，借助盖尔范德-奈马克定理推广到测度空间与希尔伯特空间可测丛，并用于证明测度群胚酉表示的费尔吸收性质。

Infinite Noncommutative Covering Projections

Gelfand - Naĭmark theorem supplies a one to one correspondence between commutative $C^*$-algebras and locally compact Hausdorff spaces. So any noncommutative $C^*$-algebra can be regarded as a generalization of a topological space. Generalizations of several topological invariants may be defined by algebraic methods. For example Serre Swan theorem states that complex topological $K$-theory coincides with $K$-theory of $C^*$-algebras. This article devoted to the noncommutative generalization of infinite covering projections. Infinite covering projections of spectral triples are also discussed. …

Isomorphism theorem for Kolmogorov states of $\clb = \dsp{\otimes_{j \in \IZ}}\!M^{(j)}_d(\IC)$

We consider the translation dynamics on the $C^*$-algebra $\IM =\otimes_{n \in \IZ}\!M^{(n)}(\IC)$ of two sided infinite tensor product of $d$ dimensional matrices $\!M^{(n)}(\IC)=\!M_d(\IC)$ over the field of complex numbers $\IC$ and its restriction to the maximal abelian $C^*$ sub-algebra $\ID^e = \otimes_{n \in \IZ}\!D_e^{(n)}(\IC)$ of $\IM$, where each $\!D_e^{(n)}(\IC)=\!D_d(\IC)$ is the algebra of $d$ dimensional diagonal matrices with respect to an orthonormal basis $e=(e_i)$ of $\IC^d$. We prove that any two translation invariant Kolmogorov pure states of $\IM$ give unitarily equivale…

W*-Algebras as a complete axiomatisation of Von-Neumann algebras

By the Gelfand-Naimark theorem, any C*-algebra is isometrically isomorphic to a *-algebra of bounded operators on a Hilbert space which is closed with respect to the topology induced by the operator norm. Hence, the C*-algebras furnish an axiomatisation of the structure of those operator algebras. In fact, the axiomatisation is complete in the sense that the entire structural information considered on the closed *-algebra -- namely addition, scalar multiplication, adjunction and composition of operators as well as the operator norm -- is reflected in the C*-algebra. From this point of view, we…

Bohrification of operator algebras and quantum logic

Following Birkhoff and von Neumann, quantum logic has traditionally been based on the lattice of closed linear subspaces of some Hilbert space, or, more generally, on the lattice of projections in a von Neumann algebra A. Unfortunately, the logical interpretation of these lattices is impaired by their nondistributivity and by various other problems. We show that a possible resolution of these difficulties, suggested by the ideas of Bohr, emerges if instead of single projections one considers elementary propositions to be families of projections indexed by a partially ordered set C(A) of approp…