Affiliated operator

Affiliated operator

In mathematics, affiliated operators were introduced by Murray and von Neumann in the theory of von Neumann algebras as a technique for using unbounded operators to study modules generated by a single vector. Later Atiyah and Singer showed that index theorems for elliptic operators on closed manifolds with infinite fundamental group could naturally be phrased in terms of unbounded operators affiliated with the von Neumann algebra of the group. Algebraic properties of affiliated operators have proved important in L² cohomology, an area between analysis and geometry that evolved from the study of such index theorems.

Definition

Let "M" be a von Neumann algebra acting on a Hilbert space "H". A closed and densely defined operator "A" is said to be affiliated with "M" if "A" commutes with every unitary operator "U" in the commutant of "M". Equivalent conditionsare that:

*each unitary "U" in "M"' should leave invariant the graph of "A" defined by G(A)={(x,Ax):xin D(A)} subseteq Hoplus H.

*the projection onto G(A) should lie in M2(M).

*each unitary "U" in "M"' should carry "D(A)", the domain of "A", onto itself and satisfy "UAU*=A" there.

*each unitary "U" in "M"' should commute with both operators in the polar decomposition of "A".

The last condition follows by uniqueness of the polar decomposition. If "A" has a polar decomposition :A=V|A|, it says that the partial isometry "V" should lie in "M" and that the positive self-adjoint operator "|A|" should be affiliated with "M". However, by the spectral theorem, a positive self-adjoint operator commutes with a unitary operator if and only if each of its spectral projections E( [0,N] ) does. This gives another equivalent condition:

*each spectral projection of "|A|" and the partial isometry in the polar decomposition of "A" should lie in "M".

Measurable operators

In general the operators affiliated with a von Neumann algebra "M" need not necessarily be well-behaved under either addition or composition. However in the presence of a faithful semi-finite normal trace au and the standard Gelfand-Naimark-Segal action of "M" on "H"="L"2("M", au), Edward Nelson proved that the measurable affiliated operators do form a *-algebra with nice properties: these are operators such that au("I"-"E"( [0,"N"] ))<∞for "N" sufficiently large. This algebra of unbounded operators is complete for a natural topology, generalising the notion of convergence in measure.It contains all the non-commutative "L""p" spaces defined by the trace and was introduced to facilitate their study.

This theory can be applied when the von Neumann algebra "M" is type I or type II. When M=B(H) acting on the Hilbert space "L"2("H") of Hilbert-Schmidt operators, it gives the well-known theory of non-commutative "L""p" spaces "L""p" ("H") due to Schatten and von Neumann.

When "M" is in addition a finite von Neumann algebra, for example a type II1 factor, then every affiliated operator is automatically measurable, so the affiliated operators form a *-algebra, as originally observed in the first paper of Murray and von Neumann. In this case "M" is a von Neumann regular ring: for on the closure of its image "|A|" has a measurable inverse "B" and then T=BV* defines a measurable operator with ATA=A. Of course in the classical case when "X" is a probability space and "M"="L" ("X"), we simply recover the *-algebra of measurable functions on "X".

If however "M" is type III, the theory takes a quite different form. Indeed in this case, thanks to the Tomita-Takesaki theory, it is known that the non-commutative "L""p" spaces are no longer realised by operators affiliated with the von Neumann algebra. As Connes showed, these spaces can be realised as unbounded operators only by using a certain positive power of the reference modular operator. Instead of being characterised by the simple affiliation relation UAU* =A, there is a more complicated bimodule relation involving the analytic continuation of the modular automorphism group.

References

* J.Brohan, communication privée.
* A. Connes, Non-commutative geometry, ISBN 0-12-185860-X
* J. Dixmier, Von Neumann algebras, ISBN 0-444-86308-7 [Les algèbres d'opérateurs dans l'espace hilbertien: algèbres de von Neumann, Gauthier-Villars (1957 & 1969)]
* W. Lück, "L"2-Invariants: Theory and Applications to Geometry and K-Theory, (Chapter 8: the algebra of affiliated operators) ISBN 3-540-43566-2
* F.J. Murray and J. von Neumann, "Rings of Operators", Annals of Math. 37 (1936), 116-229 (Chapter XVI).
* E.Nelson, "Notes on non--commutative integration", J. Funct. Anal. 15 (1974), 103-116.
* M. Takesaki, Theory of Operator Algebras I, II, III, ISBN 3-540-42248-X ISBN 3-540-42914-X ISBN 3-540-42913-1


Wikimedia Foundation. 2010.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Fixed base operator — In the aviation industry, a fixed base operator (also known as fixed base of operation), or FBO, is a service center at an airport that may be a private enterprise or may be a department of the municipality that the airport serves. The term is… …   Wikipedia

  • Commutation theorem — In mathematics, a commutation theorem explicitly identifies the commutant of a specific von Neumann algebra acting on a Hilbert space in the presence of a trace. The first such result was proved by F.J. Murray and John von Neumann in the 1930s… …   Wikipedia

  • John von Neumann — Von Neumann redirects here. For other uses, see Von Neumann (disambiguation). The native form of this personal name is Neumann János. This article uses the Western name order. John von Neumann …   Wikipedia

  • Affiliation — may refer to Affiliation (family law), a legal form of family relationship Affiliate marketing Affiliation platform or Affiliate network, a website connecting advertisers and affiliates. Network affiliate, a relationship between broadcasting… …   Wikipedia

  • List of mathematics articles (A) — NOTOC A A Beautiful Mind A Beautiful Mind (book) A Beautiful Mind (film) A Brief History of Time (film) A Course of Pure Mathematics A curious identity involving binomial coefficients A derivation of the discrete Fourier transform A equivalence A …   Wikipedia

  • Von Neumann regular ring — In mathematics, a ring R is von Neumann regular if for every a in R there exists an x in R with : a = axa .One may think of x as a weak inverse of a ; note however that in general x is not uniquely determined by a .(The regular local rings of… …   Wikipedia

  • Ben Gold — Infobox Person name = Benjamin Gold image size = caption = birth date = birth date|1898|9|8|mf=y birth place = Bessarabia, Russian Empire death date = death date and age|1985|07|24|1898|9|8|mf=y death place = North Miami Beach, Florida, United… …   Wikipedia

  • Business and Industry Review — ▪ 1999 Introduction Overview        Annual Average Rates of Growth of Manufacturing Output, 1980 97, Table Pattern of Output, 1994 97, Table Index Numbers of Production, Employment, and Productivity in Manufacturing Industries, Table (For Annual… …   Universalium

  • Continental Airlines — Not to be confused with Continental Airways, a low cost airline in Russia. Continental Airlines IATA CO …   Wikipedia

  • List of UNIT personnel — UNIT stands for UNified Intelligence Taskforce, (formerly it stood for United Nations Intelligence Taskforce), a fictional entity in the Doctor Who universe. UNIT first appeared in the Second Doctor serial The Invasion, (1968), although Alistair… …   Wikipedia

Share the article and excerpts

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