Operator K-theory

Operator K-theory

In mathematics, operator K-theory is a variant of K-theory on the category of Banach algebras (In most applications, these Banach algebras are C*-algebras).

Its basic feature that distinguishes it from algebraic K-theory is that it has a Bott periodicity. So there are only two K-groups, namely K0, equal to algebraic K0, and K1. As a consequence of the periodicity theorem, it satisfies excision. This means that it associates to an extension of C*-algebras to a long exact sequence, which, by Bott periodicity, reduces to an exact cyclic 6-term-sequence.

Operator K-theory is a generalization of topological K-theory, defined by means of vector bundles on locally compact Hausdorff spaces. Here, an n-dimensional vector bundle over a topological space X is associated to a projection in Mn(C(X)), where C(X) is the C* algebra of continuous functions over X. Also, it is known that homotopy equivalence of vector bundles translates to Murray-von Neumann equivalence of the associated projection in KC(X), where K is compact operators on a separable Hilbert space.

Hence, the K0 group of a (not necessarily commutative) C* algebra A is defined as Grothendieck group generated by the Murray-von Neumann equivalence classes of projections in KC(X). K0 is a functor from the category of C* Algebras and *-homomorphisms, to the category of abelian groups and group homomorphisms. The higher K-functors are defined via a C*-version of the suspension:

Kn(A) = K0(Sn(A)) where

SA = C_0(0,1) \otimes A.

However, by Bott periodicity, it turns out that Kn + 2(A) and Kn(A) are isomorphic for each n, and thus the only groups produced by this construction are K0 and K1.

The key reason for the introduction of K-theoretic methods into the study of C*-algebras was the Fredholm index: Given a bounded linear operator on a Hilbert space that has finite dimensional kernel and co-kernel, one can associate to it an integer, which, as it turns out, reflects the 'defect' on the operator - i.e. the extent to which it is not invertible. In analysis on manifolds, this index and its generalizations played a crucial role in the index theory of Atiyah and Singer, where the topological index of the manifold can be expressed via the index of elliptic operators on it. Later on, Brown, Douglas and Fillmore observed that the Fredholm index was the missing ingredient in classifying essentially normal operators up to certain natural equivalence. These ideas, together with Elliott's classification of AF C*-algebras via K-theory led to a great deal of interest in adapting methods such as K-theory from algebraic topology into the study of operator algebras.

This, in turn, led to K-homology, Kasparov's bivariant KK-Theory, and, more recently, Connes and Higson's E-theory.

References

  • Rordam, M.; Larsen, Finn; Laustsen, N. (2000), An introduction to K-theory for C-algebras, London Mathematical Society Student Texts, 49, Cambridge University Press, ISBN 978-0-521-78334-7; 978-0-521-78944-8 



Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Operator theory — In mathematics, operator theory is the branch of functional analysis that focuses on bounded linear operators, but which includes closed operators and nonlinear operators. Operator theory also includes the study of algebras of operators. Contents …   Wikipedia

  • Operator algebra — In functional analysis, an operator algebra is an algebra of continuous linear operators on a topological vector space with the multiplication given by the composition of mappings. Although it is usually classified as a branch of functional… …   Wikipedia

  • Operator (physics) — In physics, an operator is a function acting on the space of physical states. As a result of its application on a physical state, another physical state is obtained, very often along with some extra relevant information. The simplest example of… …   Wikipedia

  • Operator space — In functional analysis, a discipline within mathematics, an operator space is a Banach space given together with an isometric embedding into the space B(H) of all bounded operators on a Hilbert space H. [1] The category of operator spaces… …   Wikipedia

  • Operator — may refer to: Contents 1 Music 2 Computers 3 Science and mathematics …   Wikipedia

  • Operator (band) — Operator Origin Los Angeles, California, United States Genres Post grunge, alternative metal, hard rock Years active 2003–present (on hiatus) Labels …   Wikipedia

  • Operator (mathematics) — This article is about operators in mathematics. For other uses, see Operator (disambiguation). In basic mathematics, an operator is a symbol or function representing a mathematical operation. In terms of vector spaces, an operator is a mapping… …   Wikipedia

  • Operator Grammar — For the class of formal computer languages, see Operator precedence grammar. Operator Grammar is a mathematical theory of human language that explains how language carries information. This theory is the culmination of the life work of Zellig… …   Wikipedia

  • Operator product expansion — Contents 1 2D Euclidean quantum field theory 2 General 3 See also 4 External links 2D Euclidean quantum field theory …   Wikipedia

  • Theory of incomplete measurements — The Theory of Incomplete Measurements (TIM) is an attempt to unify Quantum Mechanics and General Relativity by focusing on physical measurement processes. In that theory, general relativity is a continuous approximation of discrete measurements,… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”