Affiliated operator

Last updated

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 L2 cohomology, an area between analysis and geometry that evolved from the study of such index theorems.

Mathematics Field of study concerning quantity, patterns and change

Mathematics includes the study of such topics as quantity, structure (algebra), space (geometry), and change. It has no generally accepted definition.

Francis Joseph Murray was a mathematician, known for his foundational work on functional analysis, and what subsequently became known as von Neumann algebras. He received his PhD from Columbia University in 1936. He taught at Duke University.

John von Neumann mathematician and physicist

John von Neumann was a Hungarian-American mathematician, physicist, computer scientist, and polymath. Von Neumann was generally regarded as the foremost mathematician of his time and said to be "the last representative of the great mathematicians"; a genius who was comfortable integrating both pure and applied sciences.

Contents

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 conditions are that:

In mathematics, a von Neumann algebra or W*-algebra is a *-algebra of bounded operators on a Hilbert space that is closed in the weak operator topology and contains the identity operator. It is a special type of C*-algebra.

Hilbert space inner product space that is metrically complete; a Banach space whose norm induces an inner product (follows the parallelogram identity)

The mathematical concept of a Hilbert space, named after David Hilbert, generalizes the notion of Euclidean space. It extends the methods of vector algebra and calculus from the two-dimensional Euclidean plane and three-dimensional space to spaces with any finite or infinite number of dimensions. A Hilbert space is an abstract vector space possessing the structure of an inner product that allows length and angle to be measured. Furthermore, Hilbert spaces are complete: there are enough limits in the space to allow the techniques of calculus to be used.

In functional analysis, a branch of mathematics, a unitary operator is a surjective bounded operator on a Hilbert space preserving the inner product. Unitary operators are usually taken as operating on a Hilbert space, but the same notion serves to define the concept of isomorphism between Hilbert spaces.

Domain of a function mathematical concept

In mathematics, the domain of definition of a function is the set of "input" or argument values for which the function is defined. That is, the function provides an "output" or value for each member of the domain. Conversely, the set of values the function takes on as output is termed the image of the function, which is sometimes also referred to as the range of the function.

In mathematics, particularly in linear algebra and functional analysis, the polar decomposition of a matrix or linear operator is a factorization analogous to the polar form of a nonzero complex number z as where r is the absolute value of z, and is an element of the circle group.

The last condition follows by uniqueness of the polar decomposition. If A has a polar decomposition

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 does. This gives another equivalent condition:

In functional analysis a partial isometry is a linear map between Hilbert spaces such that it is an isometry on the orthogonal complement of its kernel.

In mathematics, an element x of a *-algebra is self-adjoint if .

In mathematics, particularly linear algebra and functional analysis, a spectral theorem is a result about when a linear operator or matrix can be diagonalized. This is extremely useful because computations involving a diagonalizable matrix can often be reduced to much simpler computations involving the corresponding diagonal matrix. The concept of diagonalization is relatively straightforward for operators on finite-dimensional vector spaces but requires some modification for operators on infinite-dimensional spaces. In general, the spectral theorem identifies a class of linear operators that can be modeled by multiplication operators, which are as simple as one can hope to find. In more abstract language, the spectral theorem is a statement about commutative C*-algebras. See also spectral theory for a historical perspective.

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 τ and the standard Gelfand–Naimark–Segal action of M on H = L2(M, τ), Edward Nelson proved that the measurable affiliated operators do form a *-algebra with nice properties: these are operators such that τ(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 Lp spaces defined by the trace and was introduced to facilitate their study.

Edward Nelson American mathematical physicist and logician

Edward Nelson was a professor in the Mathematics Department at Princeton University. He was known for his work on mathematical physics and mathematical logic. In mathematical logic, he was noted especially for his internal set theory, and views on ultrafinitism and the consistency of arithmetic. In philosophy of mathematics he advocated the view of formalism rather than platonism or intuitionism. He also wrote on the relationship between religion and mathematics.

In mathematics, and more specifically in abstract algebra, a *-algebra is a mathematical structure consisting of two involutive ringsR and A, where R is commutative and A has the structure of an associative algebra over R. Involutive algebras generalize the idea of a number system equipped with conjugation, for example the complex numbers and complex conjugation, matrices over the complex numbers and conjugate transpose, and linear operators over a Hilbert space and Hermitian adjoints. However, it may happen that an algebra admits no involution at all.

Convergence in measure is either of two distinct mathematical concepts both of which generalize the concept of convergence in probability.

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 L2(H) of Hilbert–Schmidt operators, it gives the well-known theory of non-commutative Lp spaces Lp (H) due to Schatten and von Neumann.

In mathematics, a Hilbert–Schmidt operator, named for David Hilbert and Erhard Schmidt, is a bounded operator A on a Hilbert space H with finite Hilbert–Schmidt norm

Robert Schatten was an American mathematician.

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 Lp 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.

Related Research Articles

Noncommutative geometry (NCG) is a branch of mathematics concerned with a geometric approach to noncommutative algebras, and with the construction of spaces that are locally presented by noncommutative algebras of functions. A noncommutative algebra is an associative algebra in which the multiplication is not commutative, that is, for which does not always equal ; or more generally an algebraic structure in which one of the principal binary operations is not commutative; one also allows additional structures, e.g. topology or norm, to be possibly carried by the noncommutative algebra of functions.

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.

In mathematics, operator theory is the study of linear operators on function spaces, beginning with differential operators and integral operators. The operators may be presented abstractly by their characteristics, such as bounded linear operators or closed operators, and consideration may be given to nonlinear operators. The study, which depends heavily on the topology of function spaces, is a branch of functional analysis.

In mathematics, Stone's theorem on one-parameter unitary groups is a basic theorem of functional analysis that establishes a one-to-one correspondence between self-adjoint operators on a Hilbert space and one-parameter families

In mathematics, the spectrum of a C*-algebra or dual of a C*-algebraA, denoted Â, is the set of unitary equivalence classes of irreducible *-representations of A. A *-representation π of A on a Hilbert space H is irreducible if, and only if, there is no closed subspace K different from H and {0} which is invariant under all operators π(x) with xA. We implicitly assume that irreducible representation means non-null irreducible representation, thus excluding trivial representations on one-dimensional spaces. As explained below, the spectrum  is also naturally a topological space; this is similar to the notion of the spectrum of a ring.

In mathematics and functional analysis a direct integral is a generalization of the concept of direct sum. The theory is most developed for direct integrals of Hilbert spaces and direct integrals of von Neumann algebras. The concept was introduced in 1949 by John von Neumann in one of the papers in the series On Rings of Operators. One of von Neumann's goals in this paper was to reduce the classification of von Neumann algebras on separable Hilbert spaces to the classification of so-called factors. Factors are analogous to full matrix algebras over a field, and von Neumann wanted to prove a continuous analogue of the Artin–Wedderburn theorem classifying semi-simple rings.

In functional analysis, an abelian von Neumann algebra is a von Neumann algebra of operators on a Hilbert space in which all elements commute.

In mathematics, and more specifically in the theory of von Neumann algebras, a crossed product is a basic method of constructing a new von Neumann algebra from a von Neumann algebra acted on by a group. It is related to the semidirect product construction for groups.

In mathematics, ergodic flows occur in geometry, through the geodesic and horocycle flows of closed hyperbolic surfaces. Both of these examples have been understood in terms of the theory of unitary representations of locally compact groups: if Γ is the fundamental group of a closed surface, regarded as a discrete subgroup of the Möbius group G = PSL(2,R), then the geodesic and horocycle flow can be identified with the natural actions of the subgroups A of real positive diagonal matrices and N of lower unitriangular matrices on the unit tangent bundle G / Γ. The Ambrose-Kakutani theorem expresses every ergodic flow as the flow built from an invertible ergodic transformation on a measure space using a ceiling function. In the case of geodesic flow, the ergodic transformation can be understood in terms of symbolic dynamics; and in terms of the ergodic actions of Γ on the boundary S1 = G / AN and G / A = S1 × S1 \ diag S1. Ergodic flows also arise naturally as invariants in the classification of von Neumann algebras: the flow of weights for a factor of type III0 is an ergodic flow on a measure space.

In the theory of von Neumann algebras, a part of the mathematical field of functional analysis, Tomita–Takesaki theory is a method for constructing modular automorphisms of von Neumann algebras from the polar decomposition of a certain involution. It is essential for the theory of type III factors, and has led to a good structure theory for these previously intractable objects.

In the theory of von Neumann algebras, the Kaplansky density theorem, due to Irving Kaplansky, is a fundamental approximation theorem. The importance and ubiquity of this technical tool led Gert Pedersen to comment in one of his books that,

In mathematics, a zonal spherical function or often just spherical function is a function on a locally compact group G with compact subgroup K that arises as the matrix coefficient of a K-invariant vector in an irreducible representation of G. The key examples are the matrix coefficients of the spherical principal series, the irreducible representations appearing in the decomposition of the unitary representation of G on L2(G/K). In this case the commutant of G is generated by the algebra of biinvariant functions on G with respect to K acting by right convolution. It is commutative if in addition G/K is a symmetric space, for example when G is a connected semisimple Lie group with finite centre and K is a maximal compact subgroup. The matrix coefficients of the spherical principal series describe precisely the spectrum of the corresponding C* algebra generated by the biinvariant functions of compact support, often called a Hecke algebra. The spectrum of the commutative Banach *-algebra of biinvariant L1 functions is larger; when G is a semisimple Lie group with maximal compact subgroup K, additional characters come from matrix coefficients of the complementary series, obtained by analytic continuation of the spherical principal series.

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 Francis Joseph Murray and John von Neumann in the 1930s and applies to the von Neumann algebra generated by a discrete group or by the dynamical system associated with a measurable transformation preserving a probability measure. Another important application is in the theory of unitary representations of unimodular locally compact groups, where the theory has been applied to the regular representation and other closely related representations. In particular this framework led to an abstract version of the Plancherel theorem for unimodular locally compact groups due to Irving Segal and Forrest Stinespring and an abstract Plancherel theorem for spherical functions associated with a Gelfand pair due to Roger Godement. Their work was put in final form in the 1950s by Jacques Dixmier as part of the theory of Hilbert algebras. It was not until the late 1960s, prompted partly by results in algebraic quantum field theory and quantum statistical mechanics due to the school of Rudolf Haag, that the more general non-tracial Tomita–Takesaki theory was developed, heralding a new era in the theory of von Neumann algebras.

In noncommutative geometry and related branches of mathematics and mathematical physics, a spectral triple is a set of data which encodes a geometric phenomenon in an analytic way. The definition typically involves a Hilbert space, an algebra of operators on it and an unbounded self-adjoint operator, endowed with supplemental structures. It was conceived by Alain Connes who was motivated by the Atiyah-Singer index theorem and sought its extension to 'noncommutative' spaces. Some authors refer to this notion as unbounded K-cycles or as unbounded Fredholm modules.

In mathematics, Jordan operator algebras are real or complex Jordan algebras with the compatible structure of a Banach space. When the coefficients are real numbers, the algebras are called Jordan Banach algebras. The theory has been extensively developed only for the subclass of JB algebras. The axioms for these algebras were devised by Alfsen, Schultz & Størmer (1978). Those that can be realised concretely as subalgebras of self-adjoint operators on a real or complex Hilbert space with the operator Jordan product and the operator norm are called JC algebras. The axioms for complex Jordan operator algebras, first suggested by Irving Kaplansky in 1976, require an involution and are called JB* algebras or Jordan C* algebras. By analogy with the abstract characterisation of von Neumann algebras as C* algebras for which the underlying Banach space is the dual of another, there is a corresponding definition of JBW algebras. Those that can be realised using ultraweakly closed Jordan algebras of self-adjoint operators with the operator Jordan product are called JW algebras. The JBW algebras with trivial center, so-called JBW factors, are classified in terms of von Neumann factors: apart from the exceptional 27 dimensional Albert algebra and the spin factors, all other JBW factors are isomorphic either to the self-adjoint part of a von Neumann factor or to its fixed point algebra under a period two *-anti-automorphism. Jordan operator algebras have been applied in quantum mechanics and in complex geometry, where Koecher's description of bounded symmetric domains using Jordan algebras has been extended to infinite dimensions.

In the theory of C*-algebras, the universal representation of a C*-algebra is a faithful representation which is the direct sum of the GNS representations corresponding to the states of the C*-algebra. The various properties of the universal representation are used to obtain information about the ideals and quotients of the C*-algebra. The close relationship between an arbitrary representation of a C*-algebra and its universal representation can be exploited to obtain several criteria for determining whether a linear functional on the algebra is ultraweakly continuous. The method of using the properties of the universal representation as a tool to prove results about the C*-algebra and its representations is commonly referred to as universal representation techniques in the literature.

In mathematics, the notion of a cyclic and separating vector is important in the theory of von Neumann algebras, and in particular in Tomita–Takesaki theory. A related notion is that of a vector which is cyclic for a given operator. The existence of cyclic vectors is guaranteed by the Gelfand–Naimark–Segal (GNS) construction.

References