Post:	Emeritus Reader
Location:	Mantell Building
Email:	C.J.Mulvey@sussex.ac.uk
	Personal homepage

Biography

Chris Mulvey's personal webpages

Research

Ring theory/functional analysis, Category theory/logic

My research lies between ring theory and functional analysis, on the one hand, and category theory and logic, on the other. The unifying thread through this work has been the application of sheaf, topos and locale theoretic techniques to problems concerning representations of rings and C*-algebras, particularly in the non-commutative case. The applications of these ideas which have recently emerged have been to theoretical computer science, particularly in elucidating the links between quantisations of the calculus of relations and linear logic, and to foundations of quantum physics, particularly the algebraicisation of super-symmetry and the constructivisation of quantum mechanics.

The motivating concern behind the research has been to develop the sheaf- and bundle-theoretic foundations to extend the Gelfand representation of C*-algebras from the commutative to the non-commutative case. Early work providing the algebraic foundation for this, led to an algebraic generalisation of the Gelfand representation to Gelfand rings, initially of importance in algebraic K-theory and more recently of significance in the algebraic foundations of super-symmetry theory.

The techniques developed in obtaining a generalisation of Swan's theorem to the case of Gelfand rings initiated a connection with constructive logic by locating these ideas within the broader context of the theory of toposes. In its turn, this allowed the development of a theory of Banach bundles unifying work stretching back to the fields of Hilbert spaces of Dixmier, while providing functional analytic techniques needed to work constructively with equivariant Banach bundles through syntactic and semantic aspects of the theory of locales.

More recently, the understanding of the geometric and the logical sides of spaces to which this led has allowed the introduction of a generalisation of the concept of locale to the non-commutative case in the paper, &. The concept of quantale introduced there allows a Gelfand representation for C*-algebras to be obtained, generalising that known in the commutative case, while providing insight into the connections between quantum mechanics and C*-algebras.

Publications

1. &. Rend. Circ. Mat. Palermo 12, pp. 99-104, (1986).  A globalisation of the Hahn-Banach theorem (with J.W. Pelletier). Advances in Mathematics, 89, pp. 1-59, (1991).

2. A quantisation of the calculus of relations (with J.W. Pelletier). Category Theory 1991, CMS Conference Proceedings 13, Amer. Math. Soc. pp. 345-360, (1992).

3. Quantales: Quantal sets (with M. Nawaz). Non-Classical Logics and their Application to Fuzzy Subsets: A Handbook of the Mathematical Foundations of Fuzzy Set Theory, Kluwer, pp. 159-217, (1995).

4. A constructive proof of the Stone-Weierstrass theorem (with B. Banaschewski). J. Pure Applied Alg., 116, pp. 25-40 (1997)

5. On the quantisation of points (with J.W. Pelletier). J. Pure Applied Alg., 159, pp 231-295 (2001).

6. On the quantisation of spaces (with J.W. Pelletier). J. Pure Applied Alg. (to appear).