Algebra Valued Fields on Noncommutative Spaces Defined by C*-Algebras

Let S(n) be a complex Hilbert space of dimension n, and AS(n) its C*-algebra of linear operators acting on it.

Let T be a normal operator in AS(n); T is guaranteed to be diagonalizable and possess an orthonormal eigenset that can serve as a basis |tk> for S(n).

Let AF an algebra over the complex field, i.e., AF is a complex vector space with a multiplication '*' that can be specified as follows: * is a binary operation on AF so that, if αk is a basis of the vector space,

          αi * αj  =  Σ fijk αk

where fijk are complex numbers, and structure constants of AF.

To each eigenbasis element |tk> for AS(n) attach an element αkAF.

Then to every element |ψ> ∈ S(n) given by

     Σ ck |tk>

there is attached, by linearity of both S(n) and AF an element of AF defined by the map

     |ψ>  →  Σ ck αk

which defines an AF valued function on S(n), which then also defines an AF valued function on the "pure states" of of the C*-algebra AS(n) through the map of |ψ> to projection operators

     M(ψ)  :=  |ψ><ψ|

For any one of a collection of {|ψ>}

     M(ψa)  →  Σ Σ ca*k caj αk αa

where αk is an element of the dual space of AF as a vector space.

Again by linearity, since any state Ψ on AS(n) is a convex linear combination of pure states,

     D(Ψ)  =  Σ pa M(ψa)

where

     Σ pa  =  1,  pa ≥ 0

defines a density matrix, or state on AS(n).

The map

     D(Ψ)  →  Σ Σ Σ  pa cak* caj αk αj

defines an AF valued function on the full forward cone of states of AS(n), C( AS(n) ).

Any element of A ∈ AS(n) can be expressed as a linear combination of C( AS(n) ), and so finally we have defined an AF valued function on all of AS(n).

In terms of bundles, let AS(n) be a base space and AF the structure of a fibre over AS(n).

AS(n) always supports the group of basis substitutions isomorphic to GL(n, C). The adjoint action of this group, hence any of its subgroups, induces a representative action on AF as a vector space through the constructed functional map of AS(n) → AF.

Though the representation of GL(n, C) on AS(n) is fundamental and irreducible, the associated representative action on AF is not necessarily irreducible.

Upon what does the irreducibility of the representative action on AF depend?






Footnotes



   1.


   2.


   3.






Top of Page (TOC)

To Home Page

To Math Pages

To Physics Pages

Email me, Bill Hammel at
bhammel@graham.main.nc.us
READ WARNING BEFORE SENDING E-MAIL

   COPYRIGHT NOTICE REGARDING ALL ORIGINAL WORK HEREIN:
            © August 2003 by Bill Hammel (bhammel@graham.main.nc.us).
            Permission to use for any noncommercial, educational purpose.
            This copyright and permission notice must appear in all copies.
            Permission is also granted to refer to or describe these
            documents in commercial books, products, or online services.
            These documents may be freely reproduced, copied and disseminated
            by any electronic, digital or written means, but in no case may
            such copying or dissemination be charged for.  The idea is very
            simple, no person or body has supported any of the original
            works contained in this pages.  They are works of love given
            freely.  I find regugnant the idea of someone expropriating,
            for profit, what I give freely.  If you have a problem with
            this, ask; rules always have exceptions.



The URL for this document is:
http://graham.main.nc.us/~bhammel/SPDER/lax.html
Created: 1997
Last Updated: May 28, 2000
Last Updated: June 30, 2004