Uniformly hyperfinite algebra: Difference between revisions

Revision as of 11:59, 28 March 2008

Latest revision as of 06:28, 7 May 2021

(30 intermediate revisions by 19 users not shown)

Line 1:

In [[operatormathematics]], particularly in the theory of [[C*-algebras]], a '''uniformly hyperfinite''', or '''UHF''', algebra is onea C*-algebra that iscan be written as the closure, in the appropriate[[Operator norm|norm topology]], of an increasing union of finite dimentional-dimensional full [[matrix ring|matrix algebras]].

== C*-algebrasDefinition ==

A UHF [[C*-algebra]] is the [[direct limit]] of an inductive system {''A_n'', ''φ_n''} where each ''A_n'' is a finite -dimensional full matrix algebra and each ''φ_n'' : ''A_n'' → ''A''_''n''+1 is a unital embedding. SurpressingSuppressing the connecting maps, one can write

:<math>A = \overline {\cup_n A_n}.</math>

== Classification ==

If

If

:<math>A_n \simeq M_{k_n} (\mathbb C),</math>

then ''krk''_''n'''' = ''rk'' ''k_{''n'' + 1} for some integer ''r'' and

:<math>\phi_n (a) = a \otimes I_r,</math>

where ''I_r'' is the identity in the ''r'' &times; ''r'' matrices. The sequence ...''k_n''|''k''_{''n'' + 1}|''k''_{''n'' + 2}... determines a formal product

:<math>\delta(A) = \prod_p p^{t_p}</math>

where each ''p'' is prime and ''t_p'' = sup {''m'' &nbsp; | &nbsp; ''p^m'' divides ''k_n '' for some ''n''}, possibly zero or infinite. The formal product ''&delta;''(''A'') is said to be the [[supernatural number]] corresponding to ''A''.<ref name=Rordam00>{{cite book|last=Rørdam|first=M.|last2=Larsen|first2=F.|last3=Laustsen|first3=N.J.|title=An Introduction to K-Theory for C*-Algebras|year=2000|publisher=Cambridge University Press|___location=Cambridge|isbn=0521789443}}</ref> [[James Glimm|Glimm]] showed that the supernatural number is a complete invariant of UHF C*-algebras.<ref name=glimm60>{{cite journal|last=Glimm|first=James G.|title=On a certain class of operator algebras|journal=Transactions of the American Mathematical Society|date=1 February 1960|volume=95|issue=2|pages=318–340|doi=10.1090/S0002-9947-1960-0112057-5|url=http://www.ams.org/journals/tran/1960-095-02/S0002-9947-1960-0112057-5/S0002-9947-1960-0112057-5.pdf|accessdate=2 March 2013|doi-access=free}}</ref> In particular, there are uncountably many isomorphism classes of UHF C*-algebras.

[[Category:C*-algebras]]

If ''&delta;''(''A'') is finite, then ''A'' is the full matrix algebra ''M''_{''&delta;''(''A'')}. A UHF algebra is said to be of '''infinite type''' if each ''t_p'' in ''&delta;''(''A'') is 0 or ∞.

where each ''p'' is prime and ''t_p'' = sup {''m''|''p_m'' divides ''k_n '' for some ''n''}, possibly zero or infinite. The formal product ''&delta;''(''A'') is said to be the '''supernatural number''' corresponding to ''A''. [[James Glimm|Glimm]] showed that the supernatural number is a complete invariant of UHF C*-algebras. In particular, there are uncountably many UHF C*-algebras.

OneIn examplethe language of a UHF C*-algebra is the [[CAR algebraK-theory]]., Itseach [[supernatural number is 2^∞.]]

:<math>\delta(A) = \prod_p p^{t_p}</math>

specifies an additive subgroup of '''Q''' that is the rational numbers of the type ''n''/''m'' where ''m'' formally divides ''&delta;''(''A''). This group is the [[Operator K-theory|''K''₀ group]] of ''A''. <ref name=Rordam00 />

== CAR algebra ==

One example of a UHF C*-algebra is the [[CAR algebra]]. It is defined as follows: let ''H'' be a separable complex Hilbert space ''H'' with orthonormal basis ''f_n'' and ''L''(''H'') the bounded operators on ''H'', consider a linear map

:<math>\alpha : H \rightarrow L(H)</math>

with the property that

:<math>

\{ \alpha(f_n), \alpha(f_m) \} = 0 \quad \mbox{and} \quad \alpha(f_n)^*\alpha(f_m) + \alpha(f_m)\alpha(f_n)^* =

\langle f_m, f_n \rangle I.

</math>

The CAR algebra is the C*-algebra generated by

:<math>\{ \alpha(f_n) \}\;.</math>

The embedding

:<math>C^*(\alpha(f_1), \cdots, \alpha(f_n)) \hookrightarrow C^*(\alpha(f_1), \cdots, \alpha(f_{n+1}))</math>

can be identified with the multiplicity 2 embedding

:<math>M_{2^n} \hookrightarrow M_{2^{n+1}}.</math>

Therefore, the CAR algebra has supernatural number 2^∞.<ref name="Davidson97">{{cite book|last=Davidson|first=Kenneth|authorlink=Kenneth Davidson (mathematician)|title=C*-Algebras by Example|year=1997|publisher=Fields Institute|isbn=0-8218-0599-1|pages=166, 218–219, 234}}</ref> This identification also yields that its ''K''₀ group is the [[dyadic rational]]s.

== References ==

<references />

[[Category:C*-algebras]]