Central carrier

Last updated

In the context of von Neumann algebras, the central carrier of a projection E is the smallest central projection, in the von Neumann algebra, that dominates E. It is also called the central support or central cover.

Contents

Definition

Let L(H) denote the bounded operators on a Hilbert space H, M ⊂ L(H) be a von Neumann algebra, and M' the commutant of M. The center of M is Z(M) = M' ∩ M = {T ∈ M | TM = MT for all M ∈ M}. The central carrier C(E) of a projection E in M is defined as follows:

C(E) = ∧ {F ∈ Z(M) | F is a projection and F ≥ E}.

The symbol ∧ denotes the lattice operation on the projections in Z(M): F1 ∧ F2 is the projection onto the closed subspace Ran(F1) ∩ Ran(F2).

The abelian algebra Z(M), being the intersection of two von Neumann algebras, is also a von Neumann algebra. Therefore, C(E) lies in Z(M).

If one thinks of M as a direct sum (or more accurately, a direct integral) of its factors, then the central projections are the projections that are direct sums (direct integrals) of identity operators of (measurable sets of) the factors. If E is confined to a single factor, then C(E) is the identity operator in that factor. Informally, one would expect C(E) to be the direct sum of identity operators I where I is in a factor and I · E ≠ 0.

An explicit description

The projection C(E) can be described more explicitly. It can be shown that Ran C(E) is the closed subspace generated by MRan(E).

If N is a von Neumann algebra, and E a projection that does not necessarily belong to N and has range K = Ran(E). The smallest central projection in N that dominates E is precisely the projection onto the closed subspace [N' K] generated by N' K. In symbols, if

F' = ∧ {F ∈ N | F is a projection and F ≥ E}

then Ran(F' ) = [N' K]. That [N' K] ⊂ Ran(F' ) follows from the definition of commutant. On the other hand, [N' K] is invariant under every unitary U in N' . Therefore the projection onto [N' K] lies in (N')' = N. Minimality of F' then yields Ran(F' ) ⊂ [N' K].

Now if E is a projection in M, applying the above to the von Neumann algebra Z(M) gives

Ran C(E) = [ Z(M)' Ran(E) ] = [ (M' ∩M)' Ran(E) ] = [MRan(E)].

One can deduce some simple consequences from the above description. Suppose E and F are projections in a von Neumann algebra M.

PropositionETF = 0 for all T in M if and only if C(E) and C(F) are orthogonal, i.e. C(E)C(F) = 0.

Proof:

ETF = 0 for all T in M.
⇔ [MRan(F)] ⊂Ker(E).
⇔ C(F) ≤ 1 - E, by the discussion in the preceding section, where 1 is the unit in M.
⇔ E ≤ 1 - C(F).
⇔ C(E) ≤ 1 - C(F), since 1 - C(F) is a central projection that dominates E.
This proves the claim.

In turn, the following is true:

Corollary Two projections E and F in a von Neumann algebra M contain two nonzero sub-projections that are Murray-von Neumann equivalent if C(E)C(F) ≠ 0.

Proof:

C(E)C(F) ≠ 0.
⇒ ETF ≠ 0 for some T in M.
⇒ ETF has polar decomposition UH for some partial isometry U and positive operator H in M.
⇒ Ran(U) = Ran(ETF) ⊂Ran(E). Also, Ker(U) = Ran(H)⊥ = Ran(ETF)⊥ = Ker(ET*F) ⊃ Ker(F); therefore Ker(U))⊥⊂Ran(F).
⇒ The two equivalent projections UU* and U*U satisfy UU* ≤ E and U*U ≤ F.

In particular, when M is a factor, then there exists a partial isometry U ∈ M such that UU* ≤ E and U*U ≤ F. Using this fact and a maximality argument, it can be deduced that the Murray-von Neumann partial order « on the family of projections in M becomes a total order if M is a factor.

Proposition (Comparability) If M is a factor, and E, F ∈ M are projections, then either E « F or F « E.

Proof:

Let ~ denote the Murray-von Neumann equivalence relation. Consider the family S whose typical element is a set { (Ei, Fi) } where the orthogonal sets {Ei} and {Fi} satisfy Ei ≤ E, Fi ≤ F, and Ei ~ Fi. The family S is partially ordered by inclusion and the above corollary shows it is non-empty. Zorn's lemma ensures the existence of a maximal element { (Ej, Fj) }. Maximality ensures that either E = Σ Ej or F = Σ Fj. The countable additivity of ~ means Ej ~ Σ Fj. Thus the proposition holds.

Without the assumption that M is a factor, we have:

Proposition (Generalized Comparability) If M is a von Neumann algebra, and E, F ∈ M are projections, then there exists a central projection P ∈ Z(M) such that either EP « FP and F(1 - P) « E(1 - P).

Proof:

Let S be the same as in the previous proposition and again consider a maximal element { (Ej, Fj) }. Let R and S denote the "remainders": R = E - Σ Ej and S = F - Σ Fj. By maximality and the corollary, RTS = 0 for all T in M. So C(R)C(S) = 0. In particular R · C(S) = 0 and S · C(S) = 0. So multiplication by C(S) removes the remainder R from E while leaving S in F. More precisely, E · C(S) = (Σ Ej + R) · C(S) = (Σ Ej) · C(S) ~ (Σ Fj) · C(S) ≤ (Σ Fj + S) · C(S) = F · C(S). This shows that C(S) is the central projection with the desired properties.

Related Research Articles

Ergodic theory is a branch of mathematics that studies statistical properties of deterministic dynamical systems; it is the study of ergodicity. In this context, "statistical properties" refers to properties which are expressed through the behavior of time averages of various functions along trajectories of dynamical systems. The notion of deterministic dynamical systems assumes that the equations determining the dynamics do not contain any random perturbations, noise, etc. Thus, the statistics with which we are concerned are properties of the dynamics.

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.

<span class="mw-page-title-main">Jordan normal form</span> Form of a matrix indicating its eigenvalues and their algebraic multiplicities

In linear algebra, a Jordan normal form, also known as a Jordan canonical form (JCF), is an upper triangular matrix of a particular form called a Jordan matrix representing a linear operator on a finite-dimensional vector space with respect to some basis. Such a matrix has each non-zero off-diagonal entry equal to 1, immediately above the main diagonal, and with identical diagonal entries to the left and below them.

<span class="mw-page-title-main">Projection (linear algebra)</span> Idempotent linear transformation from a vector space to itself

In linear algebra and functional analysis, a projection is a linear transformation from a vector space to itself such that . That is, whenever is applied twice to any vector, it gives the same result as if it were applied once. It leaves its image unchanged. This definition of "projection" formalizes and generalizes the idea of graphical projection. One can also consider the effect of a projection on a geometrical object by examining the effect of the projection on points in the object.

In mathematics and functional analysis a direct integral or Hilbert 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 mathematics, the polar decomposition of a square real or complex matrix is a factorization of the form , where is a unitary matrix and is a positive semi-definite Hermitian matrix, both square and of the same size.

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, 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 mathematics, holomorphic functional calculus is functional calculus with holomorphic functions. That is to say, given a holomorphic function f of a complex argument z and an operator T, the aim is to construct an operator, f(T), which naturally extends the function f from complex argument to operator argument. More precisely, the functional calculus defines a continuous algebra homomorphism from the holomorphic functions on a neighbourhood of the spectrum of T to the bounded operators.

In the mathematical discipline of functional analysis, the concept of a compact operator on Hilbert space is an extension of the concept of a matrix acting on a finite-dimensional vector space; in Hilbert space, compact operators are precisely the closure of finite-rank operators in the topology induced by the operator norm. As such, results from matrix theory can sometimes be extended to compact operators using similar arguments. By contrast, the study of general operators on infinite-dimensional spaces often requires a genuinely different approach.

In mathematics, a finite von Neumann algebra is a von Neumann algebra in which every isometry is a unitary. In other words, for an operator V in a finite von Neumann algebra if , then . In terms of the comparison theory of projections, the identity operator is not equivalent to any proper subprojection in the von Neumann algebra.

The Schröder–Bernstein theorem from set theory has analogs in the context operator algebras. This article discusses such operator-algebraic results.

In mathematics, an approximately finite-dimensional (AF) C*-algebra is a C*-algebra that is the inductive limit of a sequence of finite-dimensional C*-algebras. Approximate finite-dimensionality was first defined and described combinatorially by Ola Bratteli. Later, George A. Elliott gave a complete classification of AF algebras using the K0 functor whose range consists of ordered abelian groups with sufficiently nice order structure.

<span class="mw-page-title-main">Hilbert space</span> Type of topological vector space

In mathematics, Hilbert spaces allow the methods of linear algebra and calculus to be generalized from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise naturally and frequently in mathematics and physics, typically as function spaces. Formally, a Hilbert space is a vector space equipped with an inner product that induces a distance function for which the space is a complete metric space.

<span class="mw-page-title-main">Complexification (Lie group)</span> Universal construction of a complex Lie group from a real Lie group

In mathematics, the complexification or universal complexification of a real Lie group is given by a continuous homomorphism of the group into a complex Lie group with the universal property that every continuous homomorphism of the original group into another complex Lie group extends compatibly to a complex analytic homomorphism between the complex Lie groups. The complexification, which always exists, is unique up to unique isomorphism. Its Lie algebra is a quotient of the complexification of the Lie algebra of the original group. They are isomorphic if the original group has a quotient by a discrete normal subgroup which is linear.

In mathematics, symmetric cones, sometimes called domains of positivity, are open convex self-dual cones in Euclidean space which have a transitive group of symmetries, i.e. invertible operators that take the cone onto itself. By the Koecher–Vinberg theorem these correspond to the cone of squares in finite-dimensional real Euclidean Jordan algebras, originally studied and classified by Jordan, von Neumann & Wigner (1934). The tube domain associated with a symmetric cone is a noncompact Hermitian symmetric space of tube type. All the algebraic and geometric structures associated with the symmetric space can be expressed naturally in terms of the Jordan algebra. The other irreducible Hermitian symmetric spaces of noncompact type correspond to Siegel domains of the second kind. These can be described in terms of more complicated structures called Jordan triple systems, which generalize Jordan algebras without identity.

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.

This is a glossary for the terminology in a mathematical field of functional analysis.

References

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.