Pseudo-Cartan Inclusions
Abstract.
A pseudo-Cartan inclusion is a regular inclusion having a Cartan envelope. Unital pseudo-Cartan inclusions were classified in [PittsStReInII]; we extend this classification to include the non-unital case. The class of pseudo-Cartan inclusions coincides with the class of regular inclusions having the faithful unique pseudo-expectation property and can also be described using the ideal intersection property. We describe the twisted groupoid associated with the Cartan envelope of a pseudo-Cartan inclusion. These results significantly extend previous results obtained for the unital setting.
We explore properties of pseudo-Cartan inclusions and the relationship between a pseudo-Cartan inclusion and its Cartan envelope. For example, if is a pseudo-Cartan inclusion with Cartan envelope , then is simple if and only if is simple. Also every regular -automorphism of uniquely extends to a -automorphism of . We show that the inductive limit of pseudo-Cartan inclusions with suitable connecting maps is a pseudo-Cartan inclusion, and the minimal tensor product of pseudo-Cartan inclusions is a pseudo-Cartan inclusion. Further, we describe the Cartan envelope of pseudo-Cartan inclusions arising from these constructions. We conclude with some applications and a few open questions.
2020 Mathematics Subject Classification:
46L051. Introduction
A famous theorem of Gelfand states that an abelian -algebra may be recognized as an algebra of continuous functions: , where is the space of non-zero multiplicative linear functionals on equipped with the weak- topology. In some cases, non-commutative -algebras can also be represented as functions on spaces. For example, Strătilă and Voiculescu [StratilaVoiculescuReAFAl], showed that for a unital AF-algebra (each is a finite dimensional -algebra), there exists a maximal abelian -subalgebra such that for every , is maximal abelian in . Strătilă and Voiculescu used to construct a “coordinate system” for which behaves in much the same way as a system of matrix units for ; furthermore, the AF-algebra can be viewed as a collection of functions on . Shortly after Strătilă and Voiculescu’s work, Feldman and Moore [FeldmanMooreErEqReII] showed that if is a -Cartan subalgebra of the (separably acting) von Neumann algebra and , then there is a “measured” equivalence relation on along with a 2-cocycle on such that is, loosely speaking, isomorphic to an algebra of functions, , on with product given by a “generalized matrix multiplication”; further, the isomorphism of onto carries onto an algebra of functions supported on .
Efforts to adapt the ideas of Feldman and Moore to -algebras began with work of Renault in [RenaultGrApC*Al], continued with Kumjian’s work on -diagonals in [KumjianOnC*Di], and culminated with Renault’s definition of a Cartan MASA in a -algebra found in [RenaultCaSuC*Al]. Given a Cartan MASA in the -algebra , the Kumjian-Renault theory produces a Hausdorff, étale, and effective groupoid , along with a central groupoid extension ; this is the -algebraic analog of Feldman-Moore’s equivalence relation and 2-cocycle . Moreover, there is a unique isomorphism of onto a -algebra, , which carries onto . The algebra can be viewed as an algebra of functions on with a product generalizing matrix multiplication, so here again, may be viewed as an algebra of functions on a space. Conversely, every such central extension can be used to construct a Cartan MASA in a -algebra, so the theory gives a complete description of Cartan inclusions . These results are presented in [RenaultCaSuC*Al]; for a less terse treatment, see [SimsGroupoidsBook]. While Renault and Kumjian worked in the context of separable -algebras, Raad showed in [RaadGeReThCaSu] that this assumption can be removed.
Despite the success of the Kumjian-Renault theory, there are desirable settings in the -algebra context where the axioms for a Cartan MASA in the algebra are not satisfied; examples include the virtual Cartan inclusions introduced in [PittsStReInI, Definition 1.1] and the weak Cartan inclusions defined in [ExelPittsChGrC*AlNoHaEtGr, Definition 2.11.5]. For these classes, the inclusion is regular and is abelian. In such settings, it is possible to follow the Kumjian-Renault procedure to construct a groupoid and a central groupoid extension as above. However, when this is done, the resulting groupoid may fail to be Hausdorff, see [PittsStReInII, Theorem 4.4]. One approach to dealing with such situations is to accept the fact that non-Hausdorff groupoids may arise, and develop a theory which includes them. This is the approach taken in [ExelPittsChGrC*AlNoHaEtGr].
An alternate approach to studying regular inclusions of the form with abelian, is to seek embeddings of into a Cartan inclusion so that the dynamics of are embedded into the dynamics of . (Such embeddings are called regular embeddings.) The idea is that the coordinates from the larger inclusion might then be used to study . In [PittsStReInI], we gave a characterization of those unital regular inclusions which can be embedded into a -diagonal or a Cartan inclusion. However, the -diagonal obtained from the construction in [PittsStReInI] may bear little relation to the inclusion , and the embedding of into is not sufficiently rigid to transfer information from to .
Part of the motivation for [PittsStReInII] was to remedy this defect. In [PittsStReInII], the notion of the Cartan envelope is defined and two characterizations of those unital regular inclusions having a Cartan envelope are given. The Cartan envelope described in [PittsStReInII] is unique when it exists and is a minimal Cartan pair generated by the original inclusion . Also, in [PittsStReInII, Section 7], a description of the twisted groupoid associated to the Cartan envelope for is given.
Many regular inclusions are not unital. Examples include inclusions from graph algebras (or higher rank graph algebras), from crossed product constructions, or arise from tensor product constructions (such as those in Section 6.3 below). It is therefore of interest to extend results on Cartan envelopes to the non-unital setting.
Three primary goals of the present paper are: first, to establish results on Cartan envelopes which apply in the non-unital context; second, to give results showing that the Cartan envelope of a regular inclusion carries information about the original inclusion; and third, to give constructions of pseudo-Cartan inclusions along with their Cartan envelopes. Extending the characterization of regular inclusions having a Cartan envelope to include non-unital regular inclusions is unexpectedly subtle. On first glance, one might expect that passing from the unital setting to the non-unital case would simply be a matter of adjoining units and then applying the results on Cartan envelopes for unital inclusions from [PittsStReInII]. However, the unitization process need not preserve normalizing elements (see Definition 2.1(d)), nor does it preserve regular mappings (Definition 2.1(i)). For a concrete example, suppose is the ideal of functions in which vanish on . Any is a normalizer for the inclusion , yet is not a normalizer for the unitized inclusion unless is constant on . In particular, this shows that while the identity mapping on is a regular map, its extension to (that is, ) is not regular. Furthermore, [PittsNoApUnInC*Al, Example 3.1] gives an example of an inclusion which is not regular, but whose unitization is a Cartan inclusion. Finally, a vexing issue we have been unable to resolve is whether regularity for an inclusion is preserved when units are adjoined. The ill behavior of regularity properties under the unitization process leads to serious technical difficulties when considering Cartan envelopes for non-unital inclusions. Using tools found in [PittsNoApUnInC*Al], we develop techniques to overcome those obstacles and are able to characterize those regular inclusions having a Cartan envelope; we shall describe the characterization in a moment.
Our work on Cartan envelopes yields an alternate set of axioms for a Cartan MASA . Recall that an inclusion of -algebras has the ideal intersection property (iip) if every non-zero ideal of has non-trivial intersection with . We also use for the relative commutant of in . The columns of the following table give Renault’s axioms for a Cartan MASA and (equivalent) alternate axioms for a Cartan MASA.
Cartan Inclusions: | Cartan Inclusions: |
---|---|
Renault’s Axioms | Alternate Axioms |
is regular | is regular |
is a MASA in | and are abelian, and both |
the inclusions and | |
have the ideal intersection property | |
a faithful conditional expectation | a conditional expectation |
(Renault’s original definition of Cartan MASA also assumes contains an approximate identity for , but [PittsNoApUnInC*Al, Theorem 2.4] shows that assumption can be removed.) By keeping the first two entries of the right-hand column but not requiring the third, we obtain a class of inclusions which we call pseudo-Cartan inclusions.
The characterization theorem, Theorem 3, extends the characterizations of the existence of a Cartan envelope found for unital inclusions in [PittsStReInII] to include the non-unital case. Theorem 3 shows the equivalence of the following: the inclusion (again with abelian) has a Cartan envelope; is a pseudo-Cartan inclusion; and has the faithful unique pseudo-expectation property (see Definition 2.3). That an inclusion is a pseudo-Cartan inclusion if and only if it has the faithful unique pseudo-expectation property is the reason for the term pseudo-Cartan inclusion. A description of the Kumjian-Renault twist for the Cartan envelope of is given in Theorem 5.2. This description exhibits as a family of linear functionals on and is the quotient of by a certain action of .
The class of pseudo-Cartan inclusions contains the following classes: Cartan inclusions; the virtual Cartan inclusions of [PittsStReInI]; the weak Cartan inclusions introduced in [ExelPittsChGrC*AlNoHaEtGr]; and inclusions of the form , where is a locally compact Hausdorff space and is an essential ideal in .
Section 2 sets terminology, notation, and also gives a number of foundational results needed throughout the paper. These results concern weakly non-degenerate inclusions, pseudo-expectations, and the ideal intersection property. Some of the results in Section 2, such as Theorem 2.3, illustrate the technical challenges which can arise when verifying that desirable properties of an inclusion are preserved under the unitization process.
After presenting our results on existence and uniqueness of Cartan envelopes in Section 3, we explore properties of pseudo-Cartan inclusions and relationships between a pseudo-Cartan inclusion and its Cartan envelope. Section 4 contains the definition of pseudo-Cartan inclusions along with a few properties shared by and when is a pseudo-Cartan inclusion having Cartan envelope . For example, Proposition 4.3 shows is simple if and only if is simple. While a pseudo-Cartan inclusion can be (minimally) embedded into a Cartan inclusion, Proposition 4.4 gives a reverse process: it shows how to construct a family of pseudo-Cartan inclusions from a given Cartan MASA , and also examines the Cartan envelope for pseudo-Cartan inclusions arising from this construction.
Section 5 constructs the Kumjian-Renault groupoid model for the Cartan envelope of a given pseudo-Cartan inclusion starting with a family of linear functionals on . In particular, this allows us to explicitly see the embedding of into its -envelope by realizing as an algebra of functions (with a convolution product as multiplication).
Section 6 contains a rigidity property of the Cartan envelope and explores some permanence properties of pseudo-Cartan inclusions and their Cartan envelopes. The rigidity property is Proposition 6.1: it shows that given a pseudo-Cartan inclusion with Cartan envelope , any regular -automorphism of extends uniquely to a -automorphism of . We show in Theorem 6.2 that an inductive limit of pseudo-Cartan inclusions with suitable connecting maps is again a pseudo-Cartan inclusion inclusion and the Cartan envelope of such an inductive limit is the inductive limit of the Cartan envelopes of the approximating pseudo-Cartan inclusions. The proof of Theorem 6.2 uses an important mapping property of Cartan envelopes, Theorem 6.1. Theorem 6.3 shows that the minimal tensor product of two pseudo-Cartan inclusions is a pseudo-Cartan inclusion, and the Cartan envelope of their minimal tensor product is the minimal tensor product of their Cartan envelopes. Because quotients of pseudo-Cartan inclusions by regular ideals is the subject of a forthcoming paper (by Brown, Fuller, Reznikoff and the author), we do not consider quotients here.
We provide some applications of our work in Section 7. We show that when is a unital pseudo-Cartan inclusion, the -envelope of a Banach algebra is the -subalgebra of generated by and that norms in the sense of [PopSinclairSmithNoC*Al]. We combine these results to show that if, for : are pseudo-Cartan inclusions such that their unitizations are also pseudo-Cartan inclusions; are Banach algebras with ; and is an isometric isomorphism, then uniquely extends to a -isomorphism of onto . While these applications have antecedents in the literature, our results are significant generalizations. We include a few open questions in Section 8.
We require [PittsStReInII, Theorem 6.9] at two points in our work: in Section 5.1(d), and in the proof of Lemma 7. While [PittsStReInII, Theorem 6.9] is correctly stated in [PittsStReInII], due to an error in the statement of [PittsStReInII, Lemma 2.3], the proof of [PittsStReInII, Theorem 6.9] is insufficient. The correct statement of [PittsStReInII, Lemma 2.3] and a complete proof of [PittsStReInII, Theorem 6.9] may be found in Appendix A.
We thank Adam Fuller for several useful comments and Alex Kumjian for a helpful comment regarding the history of the adaptation of the Feldman-Moore theory to the -algebraic context.
2. Foundations
2.1. Terminology and Notation
For a normed linear space , we shall use to denote the collection of all bounded linear functionals on .
Let be a Banach algebra. When is unital, we denote its unit by or . Unless explicitly stated otherwise, when referring to an ideal in , we will always assume is closed and two-sided. When is an ideal in , we write . The ideal is called an essential ideal if for any non-zero ideal , .
We will follow the notation and conventions regarding unitization of a -algebra found in [BlackadarOpAl, II.1.2.1]. For a -algebra , let with the usual operations and norm which make it into a unital -algebra. Define and a -monomorphism by
(2.1.1) | ||||
and for , | ||||
(2.1.2) |
We shall consider the trivial algebra to be unital. Also, when there is no danger of confusion, we will identify with , and regard .
Suppose and are -algebras. Given a bounded linear map , the map given by
(2.1.3) |
will be called the standard extension of to . We will frequently use the following property of the standard extension without comment:
(2.1.4) |
It is not generally the case that . When is a -homomorphism, so is .
Observation \the\numberby.
If is contractive and completely positive, then is also contractive and completely postive.
Proof.
When is not unital, this follows from [BrownOzawaC*AlFiDiAp, Proposition 2.2.1] applied to , and from the definition of when is unital. ∎
Fundamental to our study are inclusions, which we usually consider as a -algebra contained in another -algebra . At times, particularly in this section, it will be helpful to explicitly mention the embedding of into . While this makes notation more cumbersome, the benefit of clarity outweighs the notational burdens.
Definition \the\numberby.
-
(a)
An inclusion is a triple , where and are -algebras and is a -monomorphism. We include the possibility that . (Starting in Section 3, we will always assume is abelian, but until then we do not make that restriction.)
-
(b)
Let be an inclusion. An inclusion together with a -monomorphism such that will be called an expansion of and will be denoted by . Because is one-to-one, is an expansion of if and only if is a -monomorphism and there exists a -monomorphism such that
(2.1.5) -
(c)
We will call the two inclusions and isomorphic inclusions if there is a -isomorphism such that .
-
(d)
The inclusion is called a unital inclusion if and are unital and .
-
(e)
Given the inclusion , the standard extension of to described in (2.1.3) is a -monomorphism because is an essential ideal in . Thus is an inclusion. We will call the the standard embedding of into . (Caution: need not be a unital inclusion.)
Because
(2.1.6) is an expansion of . We will call the standard expansion of .
-
(f)
For , let be inclusions. If , we will say the two inclusions and are intermediate inclusions for .
(2.1.7)
Notation \the\numberby. Let be an inclusion.
-
•
When there is little danger of confusion, we will often identify with its image , so that . When this identification is made, we will suppress and call an inclusion.
- •
-
•
We will sometimes write for inclusions when is a -subalgebra of .
-
•
If is an expansion of and has been identified with as above, we will again suppress writing and say is an expansion of .
-
•
If and are inclusions which are intermediate for , we will sometimes say that is intermediate to and may also indicate this using the notation .
There are: various types of inclusions; objects associated to an inclusion; and properties an inclusion may have. We describe some of them here.
Definitions, Notations, and Comments \the\numberby. Let be an inclusion.
-
(a)
We will use for the relative commutant of in , that is,
When is identified with , we will frequently use the notation or instead of .
-
(b)
We say that has the has the ideal intersection property if every non-zero ideal in has non-trivial intersection with . We will also use the term essential inclusion as a synonym for an inclusion with the ideal intersection property. Likewise, when is an essential inclusion, we will sometimes call the map an essential map.
(The literature contains several synonyms for the ideal intersection property, for example in [KwasniewskiMeyerApAlExPrUnPsEx], an inclusion with the ideal intersection property is said to detect ideals, and in [PittsZarikianUnPsExC*In], such an inclusion is called -essential.)
-
(c)
has the approximate unit property (abbreviated AUP) if there is an approximate unit for such that is an approximate unit for . In remarks following [ExelOnKuC*DiOpId, Definition 2.1], Exel notes that the Krein-Milman Theorem and [AkemannShultzPeC*Al, Lemma 2.32] yield the following characterization of the approximate unit property.
Fact \the\numberby (see [ExelOnKuC*DiOpId]).
An inclusion has the approximate unit property if and only if no pure state of annihilates .
-
(d)
A normalizer for is an element of the set,
If is identified with , we will write rather than .
-
(e)
Closely related to normalizers are intertwiners. An element is called an intertwiner if the sets and coincide. We will write (or when is suppressed) for the set of all intertwiners.
-
(f)
is said to be a regular inclusion if .
-
(g)
If is maximal abelian in , we will call a MASA inclusion.
-
(h)
is a Cartan inclusion, also called a Cartan pair, if it is a regular MASA inclusion and there exists a faithful conditional expectation . Cartan inclusions necessarily have the AUP, [PittsNoApUnInC*Al, Theorem 2.6].
The conditional expectation is unique; see [RenaultCaSuC*Al, Corollary 5.10] or [PittsStReInI, Theorem 3.5]. Also, is invariant under in the sense that for every and ,
(2.1.10) While we do not have an explicit reference for (2.1.10), it is certainly known; for example, it follows from Renault’s (twisted) groupoid model for a Cartan pair.
Comment \the\numberby. We will repeatedly use the fact that the regular inclusion is a Cartan inclusion if and only if is a Cartan inclusion, see [PittsNoApUnInC*Al, Proposition 3.2]. Example 3.1 of [PittsNoApUnInC*Al] shows the necessity of the regularity hypothesis on .
-
(i)
If is another inclusion, a -homomorphism is a regular homomorphism if
We will sometimes indicate this by saying is a regular homomorphism.
When is intermediate to , it may happen that is not intermediate to . Here is an example of this behavior (the example also provides an example of an inclusion whose “unitization” is not unital).
Example \the\numberby. Let and be isometries on a Hilbert space such that , let be the inverse semigroup of partial isometries consisting of all finite products of elements of the set , and let be the -algebra generated by the projections in . There is a unique multiplicative linear functional on such that for every , . (Indeed, is isomorphic to the continuous functions on the Cantor middle thirds set, and under this isomorphism, corresponds to evaluation at 1.) Let
and let be the map
Put
Since , and are intermediate inclusions for . Let denote the quotient map of onto . Since and are not unital, . On the other hand, since is unital, . Therefore, , so and are not intermediate inclusions for . Finally, note that is an example of an inclusion where is not a unital inclusion.
2.2. Weakly Non-Degenerate Inclusions
The approximate unit property for an inclusion has been used in the literature as a definition of non-degeneracy, see for example [CrytserNagySiCrEtGrC*Al, Definition 1.4] or [ExelPittsChGrC*AlNoHaEtGr, Definition 2.3.1(iii)]. However, when is a proper and essential ideal, the inclusion cannot have the AUP, so using the AUP as a non-degeneracy condition excludes such examples. For our purposes, the following weaker version of non-degeneracy is more appropriate.
Definition \the\numberby.
Let be an inclusion.
-
(a)
Define the annihilator of in to be the set,
Notice that is an ideal of .
-
(b)
An inclusion such that will be called a weakly non-degenerate inclusion.
As usual, when is identified with , we will write instead of and will say is weakly non-degenerate when is weakly non-degenerate.
Remark \the\numberby. We chose the term “weakly non-degenerate” instead of “non-degenerate” to avoid confusion with existing literature. Because of the similarity between the terms “weakly non-degenerate” and “non-degenerate” we will always use the term “approximate unit property” instead of “non-degenerate.” Finally, to avoid possible confusion, for a representation of a -algebra on a Hilbert space , we will sometimes explicitly write instead of using the term “non-degenerate representation.”
Here are some conditions ensuring an inclusion is weakly non-degenerate.
Lemma \the\numberby.
Let be an inclusion.
-
(a)
If has the AUP, then is weakly non-degenerate.
-
(b)
If is an essential ideal, then is weakly non-degenerate. In particular, when is not unital, is weakly non-degenerate.
-
(c)
If is contained in the center of and has the ideal intersection property, then is weakly non-degenerate.
-
(d)
Suppose is a faithful conditional expectation. Then is weakly non-degenerate.
-
(e)
Suppose is an inclusion such that is abelian and has the ideal intersection property. Then is weakly non-degenerate. In particular, any MASA inclusion is weakly non-degenerate.
Proof.
(a) Let be an approximate unit for . If , then .
(b) Since is an ideal of , is also an ideal in . Clearly , and as is an essential ideal, .
(c) By hypothesis, , so is an ideal of . As has trivial intersection with , the ideal intersection property gives . Therefore, is weakly non-degenerate.
(d) Let . Since and ,
with the first equality following from Tomiyama’s theorem, see [BrownOzawaC*AlFiDiAp, Theorem 1.5.10]. This gives by faithfulness of . So is weakly non-degenerate.
In general, for an inclusion , there are multiple embeddings of into which extend , and it may happen that the image of under the standard embedding is not . Fortunately, these behaviors cannot occur when is weakly non-degenerate, as we shall see in parts (e) and (f) of Lemma 2.2 below. Before proving Lemma 2.2, we require some preparation. The first is the following well-known fact (see [HamanaReEmCStAlMoCoCStAl, Lemma 4.8] or [EffrosAsNoOr, (2.2)]).
Lemma \the\numberby.
Suppose is the direct sum of the Hilbert spaces and . Let be positive and invertible, , and . Then
is a positive operator if and only if . Moreover, if and , then .
Proof.
Both statements follow from the factorization,
∎
Among inclusions, weakly non-degenerate inclusions are rather well-behaved. Here are a number of desirable properties which weakly non-degenerate inclusions possess.
Lemma \the\numberby.
Suppose is a weakly non-degenerate inclusion. The following statements hold.
-
(a)
If is unital, then is unital and is the unit for .
-
(b)
Suppose satisfies for every . Then is unital and .
-
(c)
Let be an approximate unit for . Suppose satisfies: , , and for every . Then is unital and .
-
(d)
is weakly non-degenerate.
-
(e)
is a unital inclusion; in particular it is weakly non-degenerate.
-
(f)
If is a -monomorphism such that , then .
Proof.
(a) We may suppose . Let , , and choose with . Relative to the decomposition, , and have the form,
Let . Then . As is weakly non-degenerate, . Since , applying Lemma 2.2 to gives . Therefore,
As is the linear span of its positive elements, we conclude that .
(b) Let . Then for every , because is a self-adjoint subspace of . Therefore, , so is a projection in . Consider . Then is a unital subalgebra of , and since , is weakly non-degenerate. By part (a), . Noting that , we obtain , as desired.
(c) Once again, we assume . Since is a bounded increasing net of positive semi-definite operators, it converges in the strong operator topology. Let . Then is a projection and for every ,
(2.2.2) |
Since for each , we obtain . Decomposing with respect to we find . As , we have . Since , we obtain . Then
Lemma 2.2 gives . Therefore . It follows that for ,
An application of part (b) completes the proof.
(d) There is nothing to do when is unital, so assume has no unit. Let . It suffices to show , for once this is established, it follows that , whence . To show , we argue by contradiction.
Suppose . Then by scaling, we may assume . Note that for , . Thus
So for all , . Part (b) now gives , contrary to assumption on . Thus, , completing the proof.
(e) Let . Then and . For every , . Applying part (d), then part (b), yields . Therefore is a unital inclusion and hence is weakly non-degenerate.
Now assume is not unital. We claim that . For ,
likewise
Similarly, . Therefore,
Part (d) gives , so the claim holds.
For ,
so . ∎
We now show that the poor behavior for intermediate inclusions exhibited in Example 2.1 cannot occur when is weakly non-degenerate: if is intermediate to the weakly non-degenerate inclusion , then is intermediate to .
Corollary \the\numberby.
For , let be inclusions such that . If is weakly non-degenerate, then .
Proof.
The following extends [PaulsenCoBoMaOpAl, Corollary 3.19] from unital inclusions to weakly non-degenerate inclusions.
Proposition \the\numberby.
Let and be weakly non-degenerate inclusions and suppose
is a contractive completely positive map such that . The following statements hold.
-
(a)
The standard extension, , of is a unital completely positive map.
-
(b)
For every and ,
Proof.
For , parts (d) and (e) of Lemma 2.2 show that are weakly non-degenerate inclusions and are unital inclusions.
2.3. Pseudo-Expectations
We shall require pseudo-expectations, and we give a brief discussion of them here. Hamana [HamanaInEnC*Al] showed that given a unital -algebra there is a -algebra and a one-to-one unital -homomorphism such that:
-
•
is an injective object in the category of operator systems and unital completely positive maps; and
-
•
the only unital completely positive map satisfying is the identity mapping on .
Hamana calls the pair an injective envelope of . The injective envelope of is monotone closed and has the following uniqueness property: if and are injective envelopes for , there exists a unique -isomorphism such that .
Remark \the\numberby. Let be the category of unital, abelian -algebras and unital -homomorphisms. Hadwin and Paulsen note that an object in is injective if and only if is injective in the category of operator systems and completely positive unital maps, see [HadwinPaulsenInPrAnTo, Theorem 2.4].
When the -algebra is non-unital, an injective envelope for is defined to be an injective envelope for .
Remark \the\numberby.
To simplify notation, we will often say is an injective envelope of regardless of whether has a unit: when is not unital, it is to be understood that means , where is an injective envelope for . When there is a need for clarity, we will sometimes write for an injective envelope of .
We need the following fact about injective envelopes; it is due to Hamana. Let be an injective envelope for the -algebra , let be a closed ideal of , let be an approximate unit for , and let , where is the partially ordered set of self-adjoint elements of . By [HamanaCeReMoCoCStAl, Lemma 1.1, parts (i) and (iii)], is a central projection of and is an injective envelope for . We will call the support projection for .
The proof of the next lemma follows from the uniqueness property of injective envelopes.
Lemma \the\numberby (c.f. [PittsStReInI, Proposition 1.11]).
Suppose is an abelian -algebra and let be an injective envelope for . For , let be closed ideals of with support projections . If is a -isomorphism, then there is a unique -isomorphism such that .
The following is an interesting example of a weakly non-degenerate inclusion.
Lemma \the\numberby.
Suppose is an injective envelope for the -algebra . Then is a weakly non-degenerate inclusion.
Proof.
We suppress and , so that . Let be an approximate unit for , and let , that is, is the least upper bound of taken in the partially ordered set . As is a hereditary subalgebra of , [HamanaCeReMoCoCStAl, Lemma 1.1(i)] shows is a projection and is an injective envelope for .
We claim that . As , so that
By uniqueness of injective envelopes, there is a -isomorphism with . Then
Thus the claim holds.
For , [HamanaReEmCStAlMoCoCStAl, Corollary 4.10] shows
∎
Definition \the\numberby (c.f. [PittsStReInI]).
Let be an inclusion and let be an injective envelope for . A pseudo-expectation for relative to is a contractive and completely positive linear map such that .
When is identified with and , we will write instead of . When these identifications are made, we will simply say is a pseudo-expectation for .
Notation \the\numberby. For an inclusion , will denote the collection of all pseudo-expectations for (relative to a fixed injective envelope for ). As usual, when is identified with , we write instead of .
In general, there are many pseudo-expectations. In some cases however, there is a unique pseudo expectation, and this property plays an essential role in our study.
Definition \the\numberby.
We will say that the inclusion has the unique pseudo-expectation property if is a singleton set. When has the unique pseudo-expectation property, and the (unique) pseudo-expectation is faithful, we say has the faithful unique pseudo-expectation property.
Note that by Remark 2.3, if is abelian, and has the unique pseudo-expectation property, the pseudo-expectation is multiplicative.
That is not empty follows from the following general fact.
Lemma \the\numberby.
Suppose is an injective -algebra and is an inclusion. If is a contractive and completely positive map, then extends to a contractive and completely positive map .
Proof.
We may assume satisfies for some Hilbert space . Thus . Let be an approximate unit for and put . Then is a unital inclusion. As , we may apply [BrownOzawaC*AlFiDiAp, Proposition 2.2.1] to obtain a unital and completely positive map which extends . Injectivity of shows that we may extend to a unital, completely positive map . Now observe that the map given by is a contractive and completely positive map extending . ∎
The next several results explore properties of pseudo-expectations. We begin with the relationship between pseudo-expectations for and pseudo-expectations for .
Lemma \the\numberby.
Let be an inclusion, and let be an injective envelope for . The following statements hold.
-
(a)
Let be an approximate unit for . Suppose satisfies , , and for every . If is a pseudo-expectation for , then .
-
(b)
If is a pseudo-expectation for , then
and is a pseudo-expectation for .
-
(c)
Suppose is a pseudo-expectation for , and let . Then:
-
(i)
is a pseudo-expectation for ,
-
(ii)
; and
-
(iii)
.
-
(i)
Proof.
(a) We have already noted in Observation 2.1 that is contractive and completely positive. Let . Then
Since is weakly non-degenerate (Lemma 2.3), Proposition 2.2(c) shows .
(b) Taking in part (a) shows is a unital completely positive map and hence is contractive. It remains to show . To do this, note that part (a) applied with gives . Since and , it follows that , so part (b) holds.
(c) Since is contractive and completely positive, so is . As , is a pseudo-expectation for .
It is worth noting a bijection between and .
Corollary \the\numberby.
The map,
is a bijection with inverse | ||||
Proof.
Apply Lemma 2.3. ∎
Proposition \the\numberby.
Suppose is a weakly non-degenerate inclusion and let be an injective envelope for . If is a pseudo-expectation, then for every and ,
We do not know whether the faithfulness of a pseudo-expectation for an inclusion implies is a faithful pseudo-expectation for , but we suspect it is not true in general. Our next few results concern the relationship between faithfulness for a pseudo-expectation and faithfulness of .
Lemma \the\numberby.
Let be a pseudo-expectation for . If is faithful, then is weakly non-degenerate.
Proof.
Proposition \the\numberby.
Let be an inclusion and suppose is a pseudo-expectation for . Then is a faithful pseudo-expectation for if and only if is weakly non-degenerate and is faithful.
Proof.
() Suppose is faithful. Clearly is faithful, and Lemma 2.3 shows is weakly non-degenerate.
() Suppose is faithful and is weakly non-degenerate. Since when is unital, we may as well assume is not unital.
Suppose and . Then
whence
We claim that .
We argue by contradiction. Suppose . By scaling, we may assume , so . Then
because .
Given , Proposition 2.3 shows
Faithfulness of gives . Similar considerations yield . Lemma 2.2(b) shows that is the identity for , contradicting the assumption that is not unital. Hence .
Thus and using faithfulness of once again, we find . Therefore is faithful. ∎
For a unital inclusion , [PittsZarikianUnPsExC*In, Corollary 3.14] shows that the faithful unique pseudo-expectation property implies is abelian. We now note that this useful structural fact holds when is not assumed unital.
Proposition \the\numberby.
If the inclusion has the faithful unique pseudo-expectation property, then is abelian.
Proof.
The proof is an adaptation of the arguments establishing [PittsZarikianUnPsExC*In, Theorem 3.12 and Corollary 3.14].
We may suppose that for some Hilbert space , and . Then . Let be the faithful unique pseudo-expectation, and put
While is the unique pseudo-expectation for , we do not know whether it is faithful, so we cannot apply [PittsZarikianUnPsExC*In, Corollary 3.14]. Instead we argue by contradiction.
Assume is not abelian. Then there exists so that and . Proceed as in the proof of [PittsZarikianUnPsExC*In, Theorem 3.12] to obtain a one-parameter family of unital completely positive maps () such that
Let
and note that is an operator system such that . Let . Then is a unital completely positive map from into . Using the injectivity of , we may extend to a unital completely positive map . Putting , we find is a pseudo-expectation for .
As , for , the faithfulness of gives
Therefore, when and , and are distinct pseudo-expectations for . This contradicts the hypothesis that has a unique pseudo-expectation, and completes the proof. ∎
Our next goal is to show that when is an inclusion and is abelian, then has the faithful unique pseudo-expectation property if and only if does. We begin with the commutative case.
Lemma \the\numberby.
Suppose is an inclusion with abelian. If has the faithful unique pseudo-expectation property, then has the faithful unique pseudo-expectation property.
Proof.
Let be the pseudo-expectation for . Then is the unique pseudo-expectation for and (Lemma 2.3).
We wish to show is a unital inclusion. Let . Then is a projection in . Suppose is such that . Then
so . Faithfulness of yields . Since any -algebra is the span of its positive elements, . Thus is an ideal of having trivial intersection with . Since is an essential ideal of , we conclude that , whence . Thus, is a unital inclusion having the unique pseudo-expectation property.
By [PittsZarikianUnPsExC*In, Corollary 3.21], is a -homomorphism. Since is faithful, is an ideal of having trivial intersection with . Using the fact that is an essential ideal in once again, we conclude that , that is, is faithful. ∎
Theorem \the\numberby.
Suppose is an inclusion with abelian. Then has the faithful unique pseudo-expectation property if and only if has the faithful unique pseudo-expectation property.
Proof.
() Let be the unique (and faithful) pseudo-expectation. Lemma 2.3 shows is the unique, and necessarily faithful, pseudo-expectation for .
() Now suppose has the faithful unique pseudo-expectation property and let be the pseudo-expectation. For notational purposes, let
that is,
and | ||||
By Proposition 2.3, is abelian; hence is also abelian. As is abelian, we obtain the two inclusions,
We establish faithfulness of by considering two cases: is unital; and is not unital.
Suppose first is unital. By the definition of pseudo-expectation, . Therefore, is a faithful pseudo-expectation for . Lemma 2.3(b) shows is a pseudo-expectation for . But by hypothesis, so is a faithful pseudo-expectation for . By Lemma 2.3, is weakly non-degenerate. Recalling that , we find ; therefore is weakly non-degenerate. Proposition 2.3 now shows that is a faithful pseudo-expectation for . Thus has the faithful unique pseudo-expectation property (Corollary 2.3).
Now suppose is not unital. By definition of , cannot be unital. Thus , , and for and ,
Then . Therefore,
We claim that has the faithful unique pseudo-expectation property. Lemma 2.3 implies that is the unique pseudo-expectation for . If is a pseudo-expectation for , then is a unital map (Lemma 2.3(c)). Injectivity of then implies that extends to a pseudo-expectation for . Thus , whence is the unique pseudo-expectation for . Corollary 2.3 shows has the unique pseudo-expectation property and is the pseudo-expectation. Since is faithful on , is faithful. Thus has the faithful unique pseudo-expectation property and is its pseudo-expectation.
By Lemma 2.3, has the faithful unique pseudo expectation property. Thus, is faithful. Proposition 2.3 shows is weakly non-degenerate. Because , . Therefore, is weakly non-degenerate. Another application of Proposition 2.3 now shows is faithful. Corollary 2.3 shows has the faithful unique pseudo-expectation property, completing the proof. ∎
Corollary \the\numberby.
Let be an inclusion such that is abelian. If has the faithful unique pseudo-expectation property, then is weakly non-degenerate.
Corollary \the\numberby.
Suppose is an inclusion such that is abelian and let be a -algebra such that . If has the faithful unique pseudo-expectation property, then has the faithful unique pseudo-expectation property.
Proof.
Corollary 2.3 shows is weakly non-degenerate, so is a unital inclusion having the faithful unique pseudo-expectation property. Corollary 2.2 shows is a unital inclusion with . Thus, if is the pseudo-expectation for , then is the faithful and unique pseudo-expectation for . Then by [PittsZarikianUnPsExC*In, Proposition 2.6], has the faithful unique pseudo-expectation property and is the unique pseudo-expectation for . Another application of Theorem 2.3 shows has the faithful unique pseudo-expectation property. ∎
We now extend [PittsStReInII, Proposition 5.5(b)] from the unital setting to include the non-unital case. The utility of the following comes from the fact that it is sometimes easier to establish the faithful unique pseudo-expectation property than to show a subalgebra is a MASA.
Proposition \the\numberby.
Let be a regular inclusion with abelian. The following statements are equivalent.
-
(a)
is a Cartan inclusion.
-
(b)
has the faithful unique pseudo-expectation property and there is a conditional expectation .
Proof.
First notice that if satisfies either condition (a) or (b), then is weakly non-degenerate. Indeed, if (a) holds, then Lemma 2.2(d) implies is weakly non-degenerate; when (b) holds, apply Corollary 2.3. Thus in both cases, is a unital inclusion (Lemma 2.2(e)).
Our arguments establishing (a)(b) differ depending on whether is unital or non-unital, so we consider those cases separately.
Case 1: Assume is unital.
(a)(b) By hypothesis, is a MASA inclusion, hence is a unital inclusion. Then [PittsStReInII, Proposition 5.5(b)] gives (b).
so is the unit for . As is weakly non-degenerate, it is a unital inclusion. Now [PittsStReInII, Proposition 5.5(b)] shows is a Cartan inclusion.
Case 2: Assume is not unital. Then is not unital by Lemma 2.2.
(a)(b) By [PittsNoApUnInC*Al, Proposition 3.2], is a Cartan inclusion. Case 1 shows: i) has the faithful unique pseudo-expectation property (see Corollary 2.3); and ii) there exists a conditional expectation . We wish to show is a conditional expectation of onto . Let be an approximate unit for . Then is an approximate unit for by [PittsNoApUnInC*Al, Theorem 2.5]. So for , the fact that is an ideal in gives
Thus is a conditional expectation of onto . This establishes (b).
(b)(a) By Proposition 2.3 and Corollary 2.3, has the faithful unique pseudo-expectation property. Noting that is a conditional expectation of onto , we conclude from Case 1 that is a Cartan inclusion. Applying [PittsNoApUnInC*Al, Proposition 3.2] again, we find is a Cartan inclusion. This completes the proof. ∎
2.4. The Ideal Intersection Property
The purpose of this section is to show that the inclusions and both have the ideal intersection property or both do not, and also to explore some relationships between the ideal intersection property and the faithful unique pseudo-expectation property.
Lemma \the\numberby.
Let be an inclusion. Then has the ideal intersection property if and only if has the ideal intersection property.
Proof.
Suppose has the ideal intersection property and let satisfy . As
the ideal intersection property for gives . Since is an essential ideal in , we obtain . Thus has the ideal intersection property.
Now suppose has the ideal intersection property and let satisfy . Then , and we claim
(2.4.1) |
When is unital, and , so (2.4.1) holds because is one-to-one.
Suppose then that is not unital. Recall that is a unital algebra, so in particular, . If , then has the form
for some and . Since , (2.4.1) will follow once we show .
Arguing by contradiction, suppose . By scaling, we may assume , so that , for some . For any , we have , so . Taking , we conclude that
Since is not unital, this forces . Therefore , whence . This is impossible if is not unital because . On the other hand, if is unital, we again reach a contradiction because , contrary to the fact that . Therefore, , completing the proof of (2.4.1).
Since has the ideal intersection property, (2.4.1) gives . Thus has the ideal intersection property. ∎
Our next result concerns the ideal intersection property for intermediate inclusions in the abelian case. It is the same as [PittsStReInII, Lemma 5.4] except the hypothesis that the -algebras involved have a common unit is dropped and we explicitly consider the inclusion mappings.
Lemma \the\numberby.
For , Let be inclusions such that and is abelian. Then has the ideal intersection property if and only if both and have the ideal intersection property.
Proof.
The implication is left to the reader.
Suppose has the ideal intersection property. Lemma 2.2(c) shows is weakly non-degenerate. Therefore, both and are weakly non-degenerate. Then for , each of is a unital inclusion, hence (Corollary 2.2). By Lemma 2.2(a), these inclusions have a common unit in the sense that
By [PittsStReInII, Lemma 5.4], and have the ideal intersection property. An application of Lemma 2.4 completes the proof. ∎
Our final result of this section extends a portion of [PittsZarikianUnPsExC*In, Corollary 3.22] to include non-unital settings.
Proposition \the\numberby.
Suppose is an inclusion with abelian and let be an injective envelope for . Then has the ideal intersection property if and only if has the faithful unique pseudo-expectation property.
When this occurs, the unique pseudo-expectation is a -monomorphism and is an injective envelope for .
Proof.
() Suppose has the ideal intersection property. An application of Lemma 2.2(e) shows is weakly non-degenerate. By Proposition 2.2(e) and Lemma 2.4, is a unital inclusion having the ideal intersection property, so [PittsZarikianUnPsExC*In, Corollary 3.22] shows has the faithful unique pseudo-expectation property. Corollary 2.3 shows has the faithful unique pseudo-expectation property.
() Suppose has the faithful unique pseudo-expectation property. By Corollary 2.3, is weakly non-degenerate, whence is a unital inclusion. Apply [PittsZarikianUnPsExC*In, Corollary 3.22] to see has the ideal intersection property. Lemma 2.4 shows has the ideal intersection property.
Turning to the last statement, suppose has the faithful unique pseudo-expectation property with pseudo-expectation . Applying Corollary 2.3 and Lemma 2.2(e), we see that is a unital inclusion. Corollary 2.3 shows is the unique pseudo-expectation for and by Theorem 2.3, is faithful. By [PittsZarikianUnPsExC*In, Corollary 3.22], is a -monomorphism, hence so is .
Finally, since , the minimality of injective envelopes shows is an injective envelope for . ∎
3. Cartan Envelopes
Up to this point, we have mostly considered general inclusions. We now restrict attention to inclusions where the subalgebra is abelian.
Standing Assumption \the\numberby. Unless explicitly stated otherwise, for the remainder of this work, whenever is an inclusion, we shall always assume is abelian.
In [PittsStReInII], we defined the notion of a Cartan envelope for unital and regular inclusions and characterized when such inclusions have a Cartan envelope, see [PittsStReInII, Theorem 5.2]. The purpose of this section is to extend the characterization of regular inclusions having a Cartan envelope from unital regular inclusions to all regular inclusions. This is accomplished in Theorem 3; it is among our main results. While the statement of Theorem 3 parallels that of [PittsStReInII, Theorem 5.2], discarding the hypothesis that is unital presents challenges which cannot be overcome by simply adjoining a unit.
We begin by recording a few useful facts about inclusions satisfying Assumption 3.
Lemma \the\numberby ([PittsNoApUnInC*Al, Corollary 2.2]).
Let be an inclusion and fix a normalizer . Then and are ideals in and the map uniquely extends to a -isomorphism ; moreover, for every , .
Our proofs of the statements in the next lemma depend on results from [PittsNoApUnInC*Al].
Lemma \the\numberby.
Suppose is an inclusion and let be the relative commutant of in . The following statements hold.
-
(a)
The identity mapping on is a regular map from into , that is,
-
(b)
Suppose is an inclusion and is a regular -monomorphism. Then
In addition, if has the AUP, then .
-
(c)
If has the AUP, then .
-
(d)
Suppose is a regular and weakly non-degenerate inclusion with not unital. If , then has the AUP.
-
(e)
Suppose is regular and has the AUP. Then is regular.
Proof.
a) Let . Let and . Using Lemma 3, we find that for every ,
Taking where is an approximate unit for , and using the fact that , we obtain . Likewise , so (a) holds.
b) Let . Since , we have . For every , [PittsNoApUnInC*Al, Proposition 2.1] gives,
(3.2) |
Thus . Since is the linear span of its positive elements, .
Let be an approximate unit for . Replacing in (3.2) with and taking the limit along gives .
c) Suppose has the AUP. By Lemma 2.2(e), is a unital inclusion. The conclusion is obvious when is unital. So assume is not unital and let be a net in which is an approximate unit for . For , [PittsNoApUnInC*Al, Proposition 2.1] shows and belong to . Taking the limit shows and are elements of . Thus, if ,
(3.3) |
This gives .
While the following corollary is immediate from parts (c) and (d) of Lemma 3, it is worth making explicit. In particular, is not regular when is an essential and proper ideal in the abelian -algebra ; this also shows that (c)(b) in Corollary 3.
Corollary \the\numberby.
Example \the\numberby.
Lemma 3(b) shows whenever has the AUP and is a regular map. However, if does not have the AUP, this can fail. For an elementary example of this behavior, let
and define by
Since , is a regular map, but is not contained in .
The following extends parts of [PittsStReInI, Theorem 3.5] to include inclusions which may not be unital.
Theorem \the\numberby.
Suppose is a regular MASA inclusion. Then has the unique pseudo-expectation property. Furthermore, has the faithful unique pseudo-expectation property if and only if has the ideal intersection property.
Proof.
Since is a regular MASA inclusion, it has the AUP ([PittsNoApUnInC*Al, Theorem 2.5]), whence is a unital inclusion (Lemma 2.2(e)), and regular by Lemma 3(e).
We claim that is a MASA inclusion. If is unital, then so is by Lemma 2.2(a); thus in this case and all is well. Suppose then that is not unital. Since is a MASA, cannot be unital. Thus and a routine argument shows is a MASA in .
We have established that is a regular, unital, MASA inclusion. By [PittsStReInI, Theorem 3.5] has the unique pseudo-expectation property, so Corollary 2.3 shows also has the unique pseudo-expectation property.
Turning to the second statement, let be the pseudo-expectation. Then is the pseudo-expectation for .
Suppose has the ideal intersection property. Lemma 2.4 implies has the ideal intersection property. By [PittsStReInI, Theorem 3.15], the left kernel is an ideal of having trivial intersection with . Therefore, is faithful, whence is faithful.
Definition \the\numberby.
Suppose is an inclusion and is an expansion of .
-
(a)
We call an essential expansion of if is an inclusion having the ideal intersection property.
-
(b)
If the -monomorphism is a regular map, we will say is a regular expansion of .
-
(c)
If is a Cartan pair, we say is a Cartan expansion of .
Remarks \the\numberby.
-
(a)
It may seem odd that in Definition 3(a), we only require that has the ideal intersection property instead of also placing that requirement on . In the context of most interest to us, that is, when and both have the faithful unique pseudo-expectation property, we will see in Observation 4.3 that this is automatic.
- (b)
The next two lemmas give some useful properties of essential expansions.
Lemma \the\numberby.
Suppose is an essential expansion for the inclusion and there is a faithful conditional expectation . Then and are weakly non-degenerate inclusions. In particular, if is unital, then is unital and .
Proof.
By hypothesis, has the ideal intersection property, so it is weakly non-degenerate by Lemma 2.2(c). Suppose belongs to . Then for every ,
Thus . Faithfulness of gives . As is the span of its postive elements, we obtain , so is weakly non-degenerate. That is weakly non-degenerate follows from the fact that . If is unital, Lemma 2.2(a) shows is unital and . ∎
Lemma \the\numberby.
Let be an inclusion. Suppose is an essential expansion of and has the faithful unique pseudo-expectation property. Then
-
(a)
has the faithful unique pseudo-expectation property; and
-
(b)
.
Proof.
Before giving the proofs of (a) and (b), we make a few remarks. Let be an injective envelope for . By Proposition 2.4, has the faithful unique pseudo-expectation property; let be the pseudo-expectation for relative to . Then is an injective envelope for (Proposition 2.4). Let
be the pseudo-expectation for relative to .
(a) Let us first show has the faithful unique pseudo-expectation property. Suppose is a pseudo-expectation for relative to . Then for , . Thus is a pseudo-expectation for relative to . Therefore , that is, is a pseudo-expectation for relative to . This forces , showing has the faithful unique pseudo-expectation property.
Corollary 2.3 applied to with implies has the faithful unique pseudo-expectation property (the pseudo-expectation is ).
The definition of Cartan envelope given in [PittsStReInII] extends to any regular inclusion . Here is the definition, along with the definitions of other useful expansions.
Definition \the\numberby.
(cf. [PittsStReInII, Definition 5.1]) Let be a regular inclusion.
-
(a)
A package for is a regular expansion of such that
-
(i)
there is a faithful conditional expectation ;
-
(ii)
generates in the sense that and .
If in addition, is a Cartan inclusion, we say is a Cartan package for .
-
(i)
- (b)
-
(c)
We say is a Cartan envelope for if it is an envelope and a Cartan package.
We now show that when is an essential and regular Cartan expansion of , the inclusion generated by is a Cartan envelope.
Proposition \the\numberby.
Suppose is a regular inclusion and is an essential, regular, and Cartan expansion for . Let be the conditional expectation and put
Then is a Cartan envelope for and is the conditional expectation.
Proof.
By construction, and , so is an expansion of . That is a faithful conditional expectation follows from faithfulness of , the definitions of and , and the fact that .
Claim \the\numberby.
is a regular map.
Proof of Claim 3. For , we must show that normalizes . As is a Cartan inclusion, it has the faithful unique pseudo-expectation property by Proposition 2.3. Lemma 3 shows has the faithful unique pseudo-expectation property and
(3.5) |
An argument similar to that used for establishing [PittsStReInII, (5.14)] shows that for , and every collection of elements ,
(3.6) |
However, the proofs of (3.6) and [PittsStReInII, (5.14)] have some technical differences, so we include the proof of (3.6) here. The argument is by induction. When , the invariance of under (see (2.1.10)) gives,
Suppose now that (3.6) holds for some and every collection of elements of . Let and set . For , Lemma 3(b) and Lemma 3 show ; the induction hypothesis gives . Given , write where . Using Lemma 3,
Therefore, for every ,
(3.7) |
Note that . Thus for any , choosing in (3.7), we find
(3.8) |
As is abelian (by (3.5)), is a MASA inclusion. Lemma 3(a) shows that is a regular MASA inclusion, and therefore has the AUP by [PittsNoApUnInC*Al, Theorem 2.5]. Let be an approximate unit for . Taking in (3.8), we conclude
Thus (3.6) holds.
Since is generated by , (3.6) implies . As this holds for every , we may replace with to obtain . Therefore, .
By Claim 3, , whence is a regular inclusion. Also,
Applying Lemma 2.4, and have the ideal intersection property. Thus, is an essential expansion of . By Lemma 3, has the faithful unique pseudo-expectation property.
Proposition 2.3 shows is a Cartan inclusion. Therefore, is a Cartan package for . As has the ideal intersection property, is also an envelope for . Thus is a Cartan envelope for . ∎
The following will be used in the proof of Theorem 3; we will establish its converse in Proposition 4.2.
Proposition \the\numberby.
Suppose is a regular inclusion such that has the ideal intersection property and is abelian. If is a Cartan envelope for , then is also a Cartan envelope for .
Proof.
Let be the conditional expectation.
Since , is an expansion of . Lemma 3(a) and the regularity of show is a regular mapping. Since is a Cartan envelope for , and . Thus, is a Cartan package for .
We have . By definition of Cartan envelope, has the ideal intersection property. Since has the ideal intersection property, so does (Lemma 2.4). Hence is a Cartan envelope for . ∎
We turn to some technical preparations for the proof of the uniqueness statement for Cartan envelopes found in Theorem 3 below. We will use Lemma 3 repeatedly, often without comment. Proposition 3 shows how to produce useful -semigroups of intertwiners from -semigroups of normalizers; these semigroups are key to the uniqueness statement in Theorem 3. Lemma 3 exhibits some intertwiners associated to a normalizer and is the foundation for the proof of Proposition 3. Recall from Definition 2.1(e) that denotes the collection of all intertwiners for .
When is an inclusion and , it is convenient to use the notation,
(3.9) |
For an abelian -algebra and an ideal , let
(3.10) |
Observation \the\numberby.
is an algebraic ideal of whose closure is . (In general, is not closed.)
Sketch of Proof.
For with , we let be the element of whose Gelfand transform is . Also, for , let be the element of whose Gelfand transform is the function
Note that if and belong to , then implies ; observe that because , where . Thus if and satisfy , then , so is closed under addition. That is an ideal in is now obvious. The fact that is dense in will follow from Lemma 3(a) below. Indeed, for , and . Since , Lemma 3(a) (whose proof is independent of Observation 3) gives , so . ∎
Lemma \the\numberby.
Suppose is an inclusion. Let .
-
(a)
Suppose (resp. ). Then given , there exists , (resp. ) such that (resp. ).
-
(b)
If (resp. ), then there exists (resp. ) such that (resp. ).
-
(c)
If (resp. ), then (resp. ).
-
(d)
For (resp. ), (resp. ).
-
(e)
Suppose and (resp. and . Then (resp. ).
Proof.
We give the proofs for ; the proofs for are similar.
(a) Suppose and let . Since , there exists a compact set such that whenever . Let
Then is a compact subset of . By local compactness of , we may find open sets such that:
-
and are compact;
-
; and
-
.
Urysohn’s lemma ensures there exists such that on , vanishes off , on , and vanishes off . Then and , so that .
Note that for , . Also, , so
(b) Let
Then
As , we may find so that . We may therefore find a compact set such that for . As , vanishes off . Define a function on by
Since is bounded away from on , , and we define by . By construction, , and since , we find .
For the reverse inclusion, note that , so that . Thus, for we have
Therefore , as claimed.
Proposition \the\numberby.
Let be an inclusion. Let be a -semigroup and put
The following statements hold.
-
(a)
and are -semigroups and both are contained in .
-
(b)
When has the approximate unit property and the -algebra generated by is dense in , is a dense -subalgebra of .
Proof.
(a) That is clear and Lemma 3(c) shows . For , and ,
by Lemma 3(e). Next, Lemma 3(d) implies is closed under adjoints: indeed, . Thus is a -semigroup.
Turning our attention to , let and . For , the fact that gives and . Thus, . It follows that is a -semigroup. Since and are -semigroups containing , .
By taking , we see that for a broad class of inclusions, the supply of intertwiners is large.
Corollary \the\numberby.
If is a regular inclusion with the AUP, then has dense span in .
We come to a main result, which is the promised characterization of those regular inclusions which have a Cartan envelope. This characterization significantly extends [PittsStReInII, Theorem 5.2], which dealt with unital inclusions.
Theorem \the\numberby (c.f. [PittsStReInII, Theorem 5.2]).
Let be a regular inclusion. The following are equivalent.
-
(a)
has a Cartan envelope.
-
(b)
has the faithful unique pseudo-expectation property.
-
(c)
is abelian and both and have the ideal intersection property.
When satisfies any of conditions (a)–(c), is weakly non-degenerate and the following statements hold.
- Uniqueness:
-
If for , are Cartan envelopes for , there exists a unique regular -isomorphism such that .
- Minimality:
-
If is a Cartan package for , there is an ideal such that and, letting denote the quotient map, is a Cartan envelope for .
The proof of Theorem 3 is organized as follows. We show (a)(b)(c)(a) and weak non-degeneracy for , then the uniqueness statement. The proof of the minimality statement may be found after the proof of Proposition 3. During all parts of the proof of Theorem 3, assume that an injective envelope for has been fixed.
(b)(c).
By Proposition 2.3, is abelian, so . Corollary 2.3 shows has the faithful unique pseudo-expectation property, whence has the ideal intersection property by Proposition 2.4.
Let be the faithful unique pseudo-expectation. Since is a pseudo-expectation for , Proposition 2.4 shows is the only pseudo-expectation for , and is an injective envelope for .
It follows from Lemma 3(a) that is regular MASA inclusion, whence has the unique pseudo-expectation property by Theorem 3. Letting be the pseudo-expectation for relative to , we see that is a pseudo-expectation for , so . But then , hence is a pseudo-expectatation for . This forces . As is faithful, we conclude that has the faithful unique pseudo-expectation property. Theorem 3 now shows has the ideal intersection property. ∎
(c)(a).
For notational convenience, let . By Lemma 2.2(e), is weakly non-degenerate; thus Lemma 2.2(e) shows is a unital inclusion, and Corollary 2.2 gives . By [PittsNoApUnInC*Al, Theorem 2.5], has the AUP, so
Therefore, is a regular MASA inclusion; it has the ideal intersection property by hypothesis. It follows from Lemma 2.4 that is also a regular MASA inclusion with the ideal intersection property.
Proof of the Uniqueness Statement in Theorem 3.
The proof follows the same pattern as the proof of [PittsStReInII, Proposition 5.24]. Suppose for that are Cartan envelopes for . The equivalence of statements (a) and (b) in Theorem 3 shows has the faithful unique pseudo-expectation property. Since is an essential expansion of , has the ideal intersection property, so it has the faithful unique pseudo-expectation property (Proposition 2.4). Thus there exist unique -monomorphisms such that . As is a pseudo-expectation for , we obtain
(3.11) |
But , so . As is a -monomorphism and is the unique pseudo-expectation for , we conclude is the unique -isomorphism of onto satisfying
The following diagram illustrates the maps just discussed.
(3.12) |
We shall extend to the desired isomorphism of onto . We do this in stages.
By the regularity of the map ,
is a -semigroup contained in . Since Cartan inclusions have the AUP, Lemma 3(b) shows that for , . Also, (3.11) gives
(3.13) |
Put
Since has the AUP and is generated by , Proposition 3 shows that and are -semigroups contained in and is a dense -subalgebra of .111The proof of [PittsStReInII, Proposition 5.24] states without proof that the set is a -semigroup and uses instead of . (Note that is also a -subalgebra of .)
The first stage in extending is to extend it to an isomorphism . Let and suppose for , and . Then
Therefore, extends uniquely to a -isomorphism given by
For and ,
It follows that
(3.14) |
Next we extend to a -isomorphism . For and we have
Therefore, the map is well-defined, so we obtain a -isomorphism .
Now let . Then is a MASA skeleton for in the sense of [PittsStReInI, Definition 3.1] (see also [PittsStReInI, Definition 1.7]). Note that extends uniquely to a -isomorphism . Since is a Cartan inclusion, we may argue as in the proof of [PittsStReInII, Proposition 5.24] to conclude that extends to a regular -isomorphism of onto . Thus is an isomorphism of onto . The constructions show .
Suppose is a -isomorphism such that . The uniqueness assertion for shows . Examining each stage of the construction of , we obtain . As is dense in , this forces and completes the proof of the uniqueness assertion. ∎
Before turning to the proof of minimality, we need a bit of terminology and a fact about abelian -algebras. Suppose is an arbitrary -algebra and . Set
and recall that is called a regular ideal if , where means . (Because is an ideal, so is .)
Next, let be a locally compact Hausdorff space and suppose . For an open set , we write for the interior of and write . The proof of the following is left to the reader.
Fact \the\numberby.
Let and put . Then , is a dense open subset of , and has the ideal intersection property.
We require the following invariance type result; it is the extension of [PittsStReInI, Proposition 3.14] to our context.
Proposition \the\numberby (c.f. [PittsStReInI, Proposition 3.14]).
Suppose is a regular inclusion having the unique faithful pseudo-expectation property, and let be the pseudo-expectation. Fix , and let be the result of applying Lemma 2.3 to . Then for every ,
(3.15) |
Proof.
To simplify notation, throughout the proof we will identify with its image under in , and we will write
We wish to apply [PittsStReInI, Proposition 3.14] to . To do so, we show that is a regular and unital MASA inclusion with the faithful unique pseudo-expectation property, that is an injective envelope for , and that is the pseudo-expectation for .
By Corollary 2.3, is weakly non-degenerate, so Lemma 2.2(e) shows is a unital inclusion. Also, Corollary 2.2 gives . In particular, is a unital inclusion. Proposition 2.3 shows is abelian, Corollary 2.3 shows has the faithful unique pseudo-expectation property, and by Proposition 2.4, is an injective envelope for . Thus, is an injective envelope for . Next, is a regular MASA inclusion by Lemma 3(a). Therefore has the AUP by [PittsNoApUnInC*Al, Corollary 2.6], so is a unital, regular MASA inclusion (Lemma 3(e)). Corollary 2.3 shows is the pseudo-expectation for and is faithful by Theorem 2.3.
Proof of the Minimality Statement in Theorem 3.
Suppose that is a Cartan package for and is the conditional expectation. By injectivity of , there exists a -homomorphism such that
(3.16) |
To show is the unique such -homomorphism, suppose is another -homomorphism such that . Note that , so is a pseudo-expectation for . Likewise is a pseudo-expectation for . Since has the unique pseudo-expectation property, so does (Corollary 2.3). Therefore,
The definition of Cartan package shows , hence . Thus , which shows is the unique -homomorphism satisfying (3.16).
Let be the (unique and faithful) pseudo-expectation. Since is the pseudo-expectation for , Lemma 2.3 shows and . Define
Using (2.1.4), we find
(3.17) |
Claim \the\numberby.
Put
Then is a regular ideal in such that .
Proof of Claim 3.
To verify Claim 3, we use [BrownFullerPittsReznikoffReIdIdInQu, Proposition 3.19(ii)]. To do this, we require the following facts:
-
(a)
is a regular ideal of ; and
-
(b)
is invariant, that is, for every ,
(3.18)
Our first step in verifying (a) is to show is the unique ideal in maximal with respect to having trivial intersection with . By [PittsZarikianUnPsExC*In, Corollary 3.21], is the unique maximal -disjoint ideal of . Suppose satisfies . Then . Let us show
(3.19) |
We do this by considering two cases.
Case 1: is unital. Since is weakly non-degenerate, is unital. Let us show is unital and that is its unit. Since is a regular -monomorphism, , hence commutes with by [PittsNoApUnInC*Al, Proposition 2.1]. Thus because is a MASA in . Let and . Then
Hence
By the definition of a package, the span of finite products from is dense in . Thus .
As is a Cartan inclusion, it has the AUP. Therefore is the unit for . The equality (3.19) now follows because is the identity map on , and .
Case 2: is not unital. Let . Then for some and ,
For any , multiplying each side of the second equality by gives
Since the left side belongs to and the right belongs to , the hypothesis that gives . Thus for every ,
Let be an approximate unit for . Choosing and taking the limit, we obtain exists in and . As is non-unital, this forces . This completes the proof of (3.19).
Equality 3.19 and the fact that is the maximal ideal of disjoint from gives . Therefore , whence . Thus is the unique maximal -disjoint ideal of .
We are now prepared to show is a regular ideal of . Suppose satisfies . Let be the closed ideal of generated by . Then is contained in , so . But . Fact 3 shows has the ideal intersection property, so . That follows. Therefore is an ideal of having trivial intersection with . As , the maximality property of gives , so is a regular ideal of .
Turning now to (b), we will use the notation from (3.9). We claim that for ,
(3.20) |
To see this, let . Regularity of the map and the fact that Cartan inclusions have the AUP, gives .
Let be the collection of all polynomials with complex coefficients such that . Given , factor , where is another polynomial. For , let
Using Lemma 3, (2.1.10), and the fact that is a conditional expectation,
The maps , , and are multiplicative on their domains. Let
Since , we find that for ,
Since is dense in , continuity gives (3.20).
With (3.20) in hand, we now complete the proof of the invariance of . Suppose , and let . Then
By replacing with elements from an approximate unit for , we find , so (3.18) holds. This completes the proof of (b).
Let be the -semigroup generated by . For every , using (b), we find that , that is is an -invariant regular ideal in . While the statement of [BrownFullerPittsReznikoffReIdIdInQu, Proposition 3.19(ii)], concerns a regular invariant ideals, the proof applies for -invariant regular ideals (in fact, the statement should have been for -invariant regular ideals). Thus, [BrownFullerPittsReznikoffReIdIdInQu, Proposition 3.19(ii)] shows is a regular ideal in such that . The proof of Claim 3 is now complete.
Let be the quotient map. We must show is a Cartan envelope for .
First we show is a regular -monomorphism. To show is one-to-one, suppose . Then there exists so that . Since , (3.17) shows
Since the pseudo-expectation for is faithful, we find , hence . Therefore is faithful. For and , (3.18) gives
whence is a regular -monomorphism.
By [BrownFullerPittsReznikoffReIdIdInQu, Theorem 4.8], is a Cartan inclusion. Clearly generates in the sense of part (ii) of Definition 3(a).
It remains to establish that has the ideal intersection property. Suppose satisfies . Since is faithful, is an ideal of having trivial intersection with . By the maximality property of , , so . Therefore has the ideal intersection property. Thus is a Cartan envelope for . This finishes the proof of the minimality statement and also concludes the proof of Theorem 3. ∎
4. Pseudo-Cartan Inclusions and their Cartan Envelopes
In this section we give the formal definition of a pseudo-Cartan inclusion. The key results of this section are: Theorem 4.2, which shows that in the presence of the AUP, the unitization process commutes with taking Cartan envelopes, and Theorem 4.3 which gives some properties shared by a pseudo-Cartan inclusion and its Cartan envelope. Proposition 4.4 gives a construction which can be used to produce a family of pseudo-Cartan inclusions starting with a Cartan inclusion.
4.1. Definition of Pseudo-Cartan Inclusions and Examples
We are now prepared to define the notion of pseudo-Cartan inclusion. Standing Assumption 3 remains in force throughout, that is, we assume that is abelian for every inclusion .
Definition \the\numberby.
A regular inclusion is a pseudo-Cartan inclusion if it satisfies the following:
-
(a)
is abelian; and
-
(b)
both and have the ideal intersection property.
We will frequently use the alternate descriptions of a pseudo-Cartan inclusion found in Theorem 3, often without comment.
The following is immediate from Definition 4.1.
Observation \the\numberby.
Let be an inclusion with abelian. Then , so is a pseudo-Cartan inclusion if and only if is regular and has the ideal intersection property.
Let us compare the notion of pseudo-Cartan inclusion with other related classes of inclusions.
- Cartan Inclusions:
-
Proposition 2.3 shows that every Cartan inclusion is a pseudo-Cartan inclusion. Furthermore, Proposition 2.3 may be interpreted as stating that a pseudo-Cartan inclusion is a Cartan inclusion if and only if the pseudo-expectation “is” a conditional expectation in the sense that . This characterization is the reason we chose the term “pseudo-Cartan inclusion” in Definition 4.1.
- Virtual Cartan Inclusions:
-
We will use the term virtual Cartan inclusion for a regular MASA inclusion having the ideal intersection property. Theorem 3 shows that every virtual Cartan inclusion is a pseudo-Cartan inclusion; furthermore, the pseudo-Cartan inclusion is a virtual Cartan inclusion if and only if is a MASA in . By [PittsNoApUnInC*Al, Theorem 2.6], every virtual Cartan inclusion has the AUP.
- Weak Cartan Inclusions:
-
Weak Cartan inclusions were defined in [ExelPittsChGrC*AlNoHaEtGr, Definition 2.11.5]. We shall show in Proposition 4.1 below that that every weak Cartan inclusion is a pseudo-Cartan inclusion. Since the axioms for weak Cartan inclusions include the AUP, the class of pseudo-Cartan inclusions properly contains the class of weak Cartan inclusions.
The example given in [ExelPittsChGrC*AlNoHaEtGr, Remark 2.11.6] shows that there exists a Cartan inclusion (as in Definition 2.1(h) above) which is not a weak Cartan inclusion, so the classes of pseudo-Cartan inclusions with the AUP and weak Cartan inclusions are also distinct. Also, an example of a unital pseudo-Cartan inclusion with abelian which is not a weak Cartan inclusion is given in the paragraph just prior to [ExelPittsChGrC*AlNoHaEtGr, 2.11.16]. However, in both these examples, the algebra is not separable. We do not know whether every pseudo-Cartan inclusion with the AUP and such that is separable is a weak Cartan inclusion.222During his lecture at the 2025 Canadian Operator Theory Symposium, Dan Ursu stated that he found an example of a separable pseudo-Cartan inclusion with the AUP which is not a weak Cartan inclusion.
- Pseudo-Diagonals and Abelian Cores:
-
These are classes of regular inclusions which are not assumed to be regular. Nagy and Reznikoff define the notion of a pseudo-diagonal, see [NagyReznikoffPsDiUnTh, p. 268]. One of the requirements for the inclusion to be a pseudo-diagonal is that there exists a faithful conditional expectation , however regularity of is not required. Nagy and Reznikoff observe that when is a pseudo-diagonal, is necessarily a MASA in , [NagyReznikoffPsDiUnTh, Corollary 3.2]. Thus, when is a regular pseudo-diagonal, is a Cartan inclusion and so is a pseudo-Cartan inclusion. Likewise, every regular abelian core (see [NagyReznikoffPsDiUnTh, p. 272]) is a Cartan inclusion and hence a pseudo-Cartan inclusion.
For a unital pseudo-Cartan inclusion , the relative commutant is a MASA in and [PittsStReInI, Lemma 2.10] shows is a regular inclusion. As has the ideal intersection property (Definition 4.1(b)), it is a virtual Cartan inclusion. We now observe the same is true for possibly non-unital pseudo-Cartan inclusions.
Observation \the\numberby.
If is a pseudo-Cartan inclusion, then is a virtual Cartan inclusion.
Proof.
Our next goal is to show that every weak Cartan inclusion is a pseudo-Cartan inclusion. Before proceeding, we recall some terminology from [ExelPittsChGrC*AlNoHaEtGr].
Definition \the\numberby ([ExelPittsChGrC*AlNoHaEtGr, Definitions 2.7.2, 2.8.1 and 2.11.5]).
Let be an inclusion and .
-
(a)
For , we say is free relative to if whenever are states on such that , we have .
-
(b)
We say is free for , or a free point when the context is clear, if uniquely extends to a state on .
-
(c)
The inclusion is called topologically free if the set of free points for is dense in . Other terminology for topologically free inclusions may be found in the literature, for example, the almost extension property is used in [KwasniewskiMeyerApAlExPrUnPsEx, NagyReznikoffPsDiUnTh, ZarikianPuExPrDiCrPr] instead of ‘topologically free inclusion’.
Proposition \the\numberby.
Let be a weak Cartan inclusion. Then is a pseudo-Cartan inclusion.
Proof.
First note that the weak Cartan inclusions considered in [ExelPittsChGrC*AlNoHaEtGr] have the AUP and are regular (see [ExelPittsChGrC*AlNoHaEtGr, Definition 2.3.1, Hypothesis 2.3.2, and Definition 2.11.5]). Next, [ExelPittsChGrC*AlNoHaEtGr, Proposition 2.11.7] shows that is topologically free. Combining [KwasniewskiMeyerApAlExPrUnPsEx, Theorems 5.5 and 3.6], we find that has the unique pseudo-expectation property; let be its pseudo-expectation. We must show is faithful.
Since has the AUP, is a regular inclusion by Lemma 3(e). Corollary 2.3 shows is the unique pseudo-expectation for . Let be the left kernel of . It follows from [PittsStReInII, Theorem 6.5] that is the largest ideal of having trivial intersection with .
If has trivial intersection with , then is also an ideal of which has trivial intersection with . Thus . Hence is the largest ideal of having trivial intersection with . Therefore, [ExelPittsChGrC*AlNoHaEtGr, Proposition 2.11.3] shows that is the grey ideal for . The grey ideal in a weak Cartan inclusion is (see [ExelPittsChGrC*AlNoHaEtGr, Definition 2.11.5]), so . But is the left kernel of , whence has the faithful unique pseudo-expectation property. Theorem 3 then shows is a pseudo-Cartan inclusion. ∎
4.2. The AUP and Unitization of Cartan Envelopes
Given a weakly non-degenerate regular inclusion , is a unital inclusion by Lemma 2.2(e), but we have been unable to establish whether is regular. Two conditions which ensure that regularity of implies is also regular are: (i) has the AUP (Corollary 3); and (ii) is abelian (because every unitary in normalizes and is spanned by its unitaries). On the other hand, [PittsNoApUnInC*Al, Example 3.1] shows that regularity of does not imply regularity of . Theorem 2.3 (and Theorem 3) give the following.
Observation \the\numberby.
Suppose both and are regular inclusions. Then is a pseudo-Cartan inclusion if and only if is a pseudo-Cartan inclusion.
A pseudo-Cartan inclusion may not have the AUP. Our next two results show that it is possible to enlarge to obtain a pseudo-Cartan inclusion having the AUP such that the Cartan envelopes of and are the same. The significance of these results is that it is often possible to replace with when the AUP is required. The first of these results shows that may be taken to be ; it extends [PittsStReInII, Proposition 5.29(b)] to include not-necessarily unital inclusions.
Proposition \the\numberby.
Suppose is a pseudo-Cartan inclusion and consider the virtual Cartan inclusion . Then is a Cartan envelope for if and only if is Cartan envelope for .
Proof.
Proposition 3 shows that if is a Cartan envelope for , then is a Cartan envelope for .
Suppose is a Cartan envelope for . Then we may find a Cartan envelope for , which by Proposition 3, is also a Cartan envelope for . By uniqueness of Cartan envelopes for , there exists a unique regular -isomorphism such that . Since is regular, we conclude that is regular. Therefore, is a Cartan envelope for . ∎
Given the pseudo-Cartan inclusion , examples show that need not be contained in . Nevertheless, by suitably enlarging , we can use to produce pseudo-Cartan inclusions having the AUP such that and which have the same Cartan envelope as . However, unlike , may not be a MASA in .
Proposition \the\numberby.
Let be a pseudo-Cartan inclusion. Suppose is a -semigroup such that , and is dense in . Let
Then is a pseudo-Cartan inclusion having the AUP. Furthermore,
-
(a)
;
-
(b)
; and
-
(c)
is a Cartan envelope for if and only if is a Cartan envelope for .
Proof.
We first establish parts (a) and (b), then show is a pseudo-Cartan inclusion with the AUP, and finally show part (c).
The first inclusion in (a) follows from the fact that and is the span of its positive elements. For the second, [PittsNoApUnInC*Al, Proposition 2.1] shows that for , , so ; thus . This gives (a).
Before moving to part (b), we introduce some notation. Let us write,
Since is abelian, is a -semigroup, whence .
We now turn to part (b). For and and , [PittsNoApUnInC*Al, Proposition 2.1] gives . Taking square roots, we obtain . Since is the span of its positive elements, we see that for every and ,
Thus, if , , so also. Therefore, . As is closed, part (b) holds.
We next show is a regular inclusion. For any , , whence . Therefore, , and because , is a regular inclusion.
Note that . Thus, part (a) and Lemma 2.4 show has the ideal intersection property. As is a pseudo-Cartan inclusion, has the ideal intersection property, so is a pseudo-Cartan inclusion.
To show has the AUP, let be an approximate unit for . Let . For , we may choose so that . Since , there exists so that for , For ,
Therefore ; similarly . Since is dense in , it follows that has the AUP.
Finally, using Proposition 4.2 and the equality ,
As noted in Corollary 3, for the weakly non-degenerate and non-unital inclusion , the inclusion mapping of into is regular if and only if has the AUP. We now study the relationships between the Cartan envelopes of and when has the AUP. We begin with a lemma concerning the image under of an approximate unit for in a Cartan package .
Lemma \the\numberby.
Suppose is an inclusion with the AUP and is a Cartan package for . If is an approximate unit for , then is an approximate unit for .
Proof.
Let be the conditional expectation. For , we have
Since is generated by , it follows that is an approximate unit for . As is a regular MASA inclusion, an application of [PittsNoApUnInC*Al, Theorem 2.6] shows is an approximate unit for . ∎
Lemma \the\numberby.
Let be a regular inclusion with the AUP such that is not unital. Suppose is a Cartan package (resp. Cartan envelope) for . Then is a Cartan package (resp. Cartan envelope) for .
Proof.
We will use for the conditional expectation. Since is a Cartan pair, so is ; also, is the conditional expectation of onto .
That is generated by follows from the fact that is generated by . Similarly, is generated by . It remains to show that is a regular -homomorphism, that is, . For this, we use the relative strict topology on , which we now describe.
For each , the map is a seminorm on , and the relative strict topology on is the smallest topology on making each of these seminorms continuous. Thus, a net in converges to in the relative strict topology if and only if for every ,
We write when the net in converges in the relative strict topology to . The relative strict topology on is locally convex, and since is an essential ideal in , it is Hausdorff. Routine arguments show that when is equipped with the relative strict topology, the adjoint operation is continuous and multiplication is jointly continuous on norm-bounded subsets of .
We claim that if is a bounded net in which converges relative strictly to , then . Indeed, for , as ,
As is a MASA in , . Likewise , so our claim holds.
Now let be a net in which is an approximate unit for . Choose and write for some and . For each , , so (since is closed under multiplication) . The regularity of the map and the fact that (Lemma 3(c)) gives
By Lemma 4.2, is an approximate unit for . Therefore, converges in the relative strict topology to . As is a bounded net in , the claim gives
Thus is a regular -monomorphism. This completes the proof that is a Cartan package for .
The following result shows that in some settings, a Cartan envelope for a non-unital inclusion may be constructed from a Cartan envelope for its unitization.
Lemma \the\numberby.
Let be a regular inclusion having the AUP with not unital. Suppose is a Cartan envelope for and write for the conditional expectation of onto . Put
Then is a Cartan envelope for ; further, and are ideals having codimension one.
Proof.
Note that since and have the ideal intersection property, also has the ideal intersection property. Proposition 3 shows is a Cartan envelope for .
Theorem \the\numberby.
Let be a regular inclusion with the AUP such that is not unital. Then is a pseudo-Cartan inclusion if and only if is a pseudo-Cartan inclusion. Moreover, the following statements hold.
-
(a)
If is a Cartan envelope for , then is a Cartan envelope for .
-
(b)
Suppose is a Cartan envelope for and is the conditional expectation. Let
Then and are ideals with codimension 1 and is a Cartan envelope for .
4.3. Some Properties Shared by a Pseudo-Cartan Inclusion and its Cartan Envelope
This subsection is devoted to establishing Theorem 4.3, which shows that certain desirable properties are common to both a pseudo-Cartan inclusion and its Cartan envelope.
Recall that Definition 3(a) states that is an essential expansion of if the inclusion has the ideal intersection property. We next observe that more can be said for essential expansions in the context of pseudo-Cartan inclusions.
Observation \the\numberby.
For , suppose are pseudo-Cartan inclusions, and is an essential expansion of . Then the inclusion has the ideal intersection property.
Proof.
Suppose and . Then . By hypothesis, has the ideal intersection property, so . Since is a pseudo-Cartan inclusion, both and have the ideal intersection property. As , we find , whence . ∎
Lemma \the\numberby.
Let be a pseudo-Cartan inclusion with Cartan envelope . Let , and define to be the norm-closed -bimodule generated by . Then .
Proof.
Suppose , and . We first show that
(4.3.1) |
Since is a regular map, . By Lemma 3, given ,
As and , we see that
(4.3.2) |
Since is Cartan and is a regular map, Lemma 3(b) gives . By considering an approximate unit for , we find . Since , taking in (4.3.2), we obtain (4.3.1).
Let be the set of all finite products of elements of . An induction argument using (4.3.3) shows that for and , . As is dense in , we conclude that is a left ideal of . Similar arguments show is a right ideal, so . ∎
Theorem \the\numberby.
Let be a pseudo-Cartan inclusion with Cartan envelope . Then
-
(a)
is simple if and only if is simple; and
-
(b)
is unital if and only if is unital.
-
(c)
is separable if and only if is separable.
Proof.
Proposition 4.2 shows that is also a Cartan envelope for . Thus, by replacing with if necessary, without loss of generality we may assume is a pseudo-Cartan inclusion with the AUP.
Let be the conditional expectation and let be the map
(a) Suppose is simple and let . Then . If , Observation 4.3 shows . On the other hand, suppose . Since we are assuming has the AUP, we may choose a net in which is an approximate unit for . As , we find is an approximate unit for . But is a Cartan inclusion, so by [PittsNoApUnInC*Al, Theorem 2.6], every approximate unit for is an approximate unit for . As , we conclude that contains an approximate unit for , whence . Thus is simple.
For the converse, suppose is simple. Let be a non-zero ideal, let be the ideal in generated by and put
We aim to show is a non-zero ideal in . By construction, is a closed subset of .
Next we show is a non-zero subspace of . For , is a state on , so the map,
is a semi-norm on . Thus for , . Allowing to vary throughout , we conclude
Thus when we obtain . That is invariant under scalar multiplication is obvious, so is a closed linear subspace of . Clearly . Since and both have the ideal intersection property, , and hence .
We are now ready to show is an ideal. For , , and regularity of gives . So for and , we have
It follows that
Therefore, when and , because
Since is dense in , we conclude that is a right ideal in . For and , , whence is a left ideal in . Thus .
Next we show that . For this, let and let satisfy . Let be the norm-closed -bimodule generated by . By Lemma 4.3 and the hypothesis that is simple,
Let be chosen so that and . Since there is , , and () so that
Then
It follows that there exists such that . Hence
Since , , and thus does not annihilate . But is the ideal of generated by , so does not annihilate . Therefore, . Since this holds for all , we conclude that .
Finally, the fact that contains an approximate unit for implies that . Thus is simple.
Now suppose is unital. Let be an approximate unit for . Choose and let
Since , ; likewise, . As the collection of all finite products of has dense span in , it follows that is an approximate unit for , and hence also for (because has the AUP). Therefore,
Hence converges to an element . Since , we find .
(c) Since every non-empty subset of a separable metric space is a separable metric space, separability of implies is separable. So is separable.
Now suppose is separable and let be countable and dense. Then is generated by , so is separable. ∎
It would be desirable to include nuclearity in the list of properties shared by and .
Conjecture \the\numberby.
Let be a pseudo-Cartan inclusion and let be a Cartan envelope for . Then is nuclear if and only if is nuclear.
4.4. Constructing Pseudo-Cartan Inclusions from Cartan Inclusions
We have seen that every pseudo-Cartan inclusion has a Cartan envelope, and we now consider the reverse process, that of constructing pseudo-Cartan inclusions from a given Cartan inclusion. We will work more generally, starting instead with a given pseudo-Cartan inclusion and constructing new pseudo-Cartan inclusions from it. Our next result, Proposition 4.4, extends parts of [PittsStReInII, Lemma 5.26 and Proposition 5.31] to the setting of pseudo-Cartan inclusions.
Proposition \the\numberby.
Suppose is a pseudo-Cartan inclusion and is a -subalgebra of such that has the ideal intersection property. Let be a -semigroup such that and set . The following statements hold.
-
(a)
is a pseudo-Cartan inclusion.
-
(b)
Let be a Cartan envelope for and let be the conditional expectation. Set
Then is a Cartan envelope for .
Proof.
While Proposition 4.4 applies when is a Cartan inclusion, in general, need not be the Cartan envelope of . In fact, can itself be Cartan. A trivial example of this occurs when is taken to be , in which case, is a Cartan inclusion. Here is a more interesting example where is a Cartan inclusion.
Example \the\numberby. Let the amenable discrete group act topologically freely on the compact Hausdorff space . Suppose is a non-empty closed invariant set which is nowhere dense in . Then
has the ideal intersection property in . Let and fix . Since every is constant on , for every , , and it follows that is homeomorphic to the one point compactification of . Let be the inverse of the Gelfand transformation and let be the canonical copy of in . The restriction of the action of to is topologically free, and hence determines a topologically free action of on .
Letting be the Cartan inclusion , apply Proposition 4.4 to to produce a pseudo-Cartan inclusion . Since is a invariant set, is invariant under . Therefore, the pair is a covariant representation for the action of on . Since is generated by and , we obtain a -epimorphism . The topological freeness of acting on and Proposition 4.4 implies that is a Cartan pair, and in particular, has the ideal intersection property. As is faithful, we conclude that is isomorphic to . Thus is already Cartan, so is its own Cartan envelope. This shows is not the Cartan envelope for .
It is natural to wonder when a reduced crossed product is a pseudo-Cartan inclusion. This question is answered by the following result.
Proposition \the\numberby.
Let be a locally compact Hausdorff space and suppose is a discrete group acting as homeomorphisms on . With the corresponding action of on , the following statements are equivalent:
-
(a)
is a pseudo-Cartan inclusion;
-
(b)
is a Cartan inclusion; and
-
(c)
the action of on is topologically free.
Proof.
For each of and , we use the fact that is a regular inclusion and there is a faithful conditional expectation .
. Apply Proposition 2.3.
. By [Zeller-MeierPrCrCstAlGrAu, Proposition 4.14], is a MASA inclusion if and only if the action of on is topologically free. ∎
Remark \the\numberby. Despite the equivalence of parts (a) and (b) in Proposition 4.4, reduced crossed products can be used to construct examples of pseudo-Cartan inclusions which are not Cartan inclusions. Indeed, [PittsStReInI, Theorem 6.15] shows that reduced crossed products can be used to construct unital virtual Cartan inclusions. Thus by combining Proposition 4.4 with [PittsStReInI, Theorem 6.15], we obtain a wide variety of pseudo-Cartan inclusions.
5. The Twisted Groupoid of the Cartan Envelope
In [PittsStReInII, Section 7], we described the twist for the Cartan envelope of a unital regular inclusion. Combining Theorem 4.2 with results of [PittsStReInII] allows us to describe the twist associated to the Cartan envelope for any pseudo-Cartan inclusion regardless of whether it is unital. This description is found in Theorem 5.2 below.
5.1. Reprising the Unital Case
We begin with reprising some definitions and results from [PittsStReInII, Section 7]. Because we shall also require these notions in Section 6.3, we shall first consider unital regular inclusions with the unique (but not necessarily faithful) pseudo-expectation property. We then turn our attention to unital pseudo-Cartan inclusions.
Let be a regular and unital inclusion with the unique pseudo-expectation property and let be an injective envelope for . Let be the pseudo-expectation.
-
(a)
An eigenfunctional (see [DonsigPittsCoSyBoIs, Definition 2.1]) on is a non-zero bounded linear functional on which is an eigenvector for the left and right actions of on the dual space of . When is an eigenfunctional, there exist unique and such that for every and ,
If for every ,
is a compatible eigenfunctional ([PittsStReInII, Definition 7.6]). A compatible state is a state on which is also a compatible eigenfunctional. The collection of all compatible eigenfunctionals of unit norm is denoted and denotes the set of compatible states.
-
(b)
For , [PittsStReInII, Theorem 7.9] shows that there are unique states on with the following properties:
-
•
, ;
-
•
when satisfies and ,
For later use, here are formulas for and : for and with ,
(5.1.1) In addition, note that (still assuming satisfies ) and for every ,
-
•
-
(c)
For and with , we use the notation for the linear functional
By [PittsStReInII, Corollary 7.11],
-
(d)
A strongly compatible state on is a state on for which there exists such that
We denote the family of all strongly compatible states on by . Since
there is a rich supply of strongly compatible states.
By [PittsStReInII, Theorem 6.9] (whose statement is reproduced in Theorem A) every strongly compatible state is a compatible state, that is,
-
(e)
A compatible eigenfunctional is called a strongly compatible eigenfunctional if . When this occurs, also belongs to .
-
(f)
Let be the collection of all norm-one strongly compatible eigenfunctionals and put
where denotes the composition of the absolute value function on with .
-
(g)
The representation of as , allows the sets and to be equipped with groupoid operations [PittsStReInII, Definition 7.17]. Upon doing so, the unit space, , may be identified with . With the topology of pointwise convergence, and become Hausdorff topological groupoids (take in [PittsStReInII, Theorem 7.18]) and we obtain a twist
associated with .
-
(h)
For each , let be given by
-
(i)
Set
By [PittsStReInII, Theorem 6.5], is an ideal of such that . Also, if satisfies , then .
Now suppose is a unital pseudo-Cartan inclusion. Recall from Proposition 2.4 that has the faithful unique pseudo-expectation property and is a -monomorphism; also is the pseudo-expectation for . Simplify the notation of 5.1(f) somewhat by writing and instead of and . As in 5.1(g), let
be the twist for . We remind the reader that is identified with .
By [PittsStReInII, Theorem 7.24], induces a regular -monomorphism and by [PittsStReInII, Corollary 7.30],
(5.1.2) |
is a package for . While [PittsStReInII, Corollary 7.31] states is a Cartan envelope for , full details were omitted in [PittsStReInII]; [PittsCoStReInII, Remark 1.2] provides the missing details.
5.2. The Non-Unital Case
Let be a non-unital pseudo-Cartan inclusion, and fix an injective envelope for . As has the ideal intersection property, there is a unique -monomorphism such that . Thus is an injective envelope for . It follows that is a pseudo-expectation for relative to if and only if is a pseudo-expectation for relative to . Since and have the faithful unique pseudo-expectation property, we may define and as in 5.1(d). Then
(5.2.1) |
Recalling from Proposition 4.2 that and have the same Cartan envelope, we will give a groupoid description for a Cartan envelope of .
Let be the set of norm-one strongly compatible eigenfunctionals for and let . Applying the discussion for the unital case to we obtain the twist,
with unit space . Taking as in (5.1.2), is a Cartan envelope for . We use to denote the conditional expectation of onto ; note that arises from the restriction of an element in to .
Let denote the linear functional, . Since is a multiplicative linear functional, it is a compatible state for , and we claim it is actually a strongly compatible state. Let be a multiplicative linear functional on satisfying . Let be the pseudo-expectation and its unitization. Given , we have
Applying yields,
It follows that annihilates , and hence annihilates . As and are states on which have the same kernel, we obtain
showing that is a strongly compatible state.
Let
be equipped with their relative topologies. Note that if satisfies , then , so is a scalar multiple of . It follows that
The definition of the topology and groupoid operations on show that is an open subgroupoid of . Since ,
By [BrownFullerPittsReznikoffGrC*AlTwGpC*Al, Lemma 2.7]. this produces the twist,
(5.2.2) |
Routine modifications to the proof of [PittsStReInII, Theorem 7.24] show that with arising from as described in the unital case above,
We now show that . Let
and let . As in the proof of [PittsStReInII, Theorem 7.24], is a -semigroup and is dense in . Now suppose and are distinct elements of , in other words, and are distinct strongly compatible states on , neither of which vanish on . Then , so we may find an element such that . Thus, . Since is determined by restriction to , we obtain . As , we conclude that separates points of . Also, recalling that contains an approximate unit for , we see that given , there exists such that . By the Stone-Wierstrauß theorem, .
An application of Theorem 4.2 shows that is a Cartan envelope for , giving a groupoid description for (and ).
The definition of compatible eigenfunctional makes sense regardless of whether the pseudo-Cartan inclusion is unital. Since ,
Actually, equality holds. To see this, let . Regularity of implies there exists such that . With as defined in (5.1.1), we obtain
Using (5.2.1), we conclude that the collection of norm-one strongly compatible eigenfunctionals for is the same as the set of norm-one strongly compatible eigenfunctionals for .
We summarize our discussion with the following result, which extends the groupoid description of the Cartan envelope given in [PittsStReInII, Corollary 7.31] (once again, with ) from the unital setting to include both the unital and non-unital cases.
Theorem \the\numberby.
Let be a pseudo-Cartan inclusion, let be the collection of all norm-one strongly compatible eigenfunctionals for , and let . Then the following statements hold.
-
(a)
and are Hausdorff topological groupoids with effective and étale, and
is a twist.
-
(b)
The map extends to a regular -monomorphism and
is a Cartan envelope for .
6. Constructions and Properties of Pseudo-Cartan Inclusions
In this section, we explore the behavior of pseudo-Cartan inclusions and their Cartan envelopes under mappings and also some familiar constructions. Theorem 6.1 shows that under a suitable hypothesis, a regular map between pseudo-Cartan inclusions extends to the Cartan envelopes and Proposition 6.1 shows that a regular automorphism of a pseudo-Cartan inclusion uniquely extends to its Cartan envelope. We examine the behavior of pseudo-Cartan inclusions and their inductive limits for suitable connecting maps in Theorems 6.2 and 6.2, and Theorem 6.3 describes behavior of pseudo-Cartan inclusions and their Cartan envelops under the minimal tensor product. In some of the results, obtaining regularity of maps under these constructions is a delicate and technical issue.
6.1. Mapping Results
The purposes of this subsection are to establish a mapping property, Theorem 6.1, for Cartan envelopes and to show that a regular automorphism of a pseudo-Cartan inclusion extends uniquely to its Cartan envelope, Proposition 6.1. While interesting in its own right, Theorem 6.1 is a key tool for studying inductive limits of pseudo-Cartan inclusions.
We require some preparation, beginning with a simple fact about sums of normalizers. The sum of normalizers is not usually a normalizer. However, when the normalizers are “orthogonal,” their sum is again a normalizer. Here is the precise statement.
Fact \the\numberby.
Suppose is an inclusion and . If and are orthogonal in the sense that , then .
Proof.
Let . We have
Similarly , so . ∎
Suppose is an unital inclusion and is an injective envelope for . Given , let be the support projections in for the ideals and respectively. (Given any ideal , the supremum in of is called the support projection for .) Recall from [PittsStReInI, Proposition 1.11] that the isomorphism uniquely extends to a -isomorphism . We then obtain a Frolík decomposition for , see [PittsStReInI, Definition 2.12], and also the Frolík ideals , [PittsStReInI, Definition 2.13]. Our immediate interest will be with . This is the fixed point ideal for ; its definition is
(6.1.1) |
This is a regular ideal in , and it has the following alternate description:
(6.1.2) |
See [PittsStReInI, Definition 2.13 and Lemma 2.15] for further details.
To extend the previous considerations to weakly non-degenerate inclusions, recall that if is a weakly non-degenerate inclusion, then is a unital inclusion and the standard embeddings (described in (2.1.2)) satisfy . For , define
(6.1.3) |
When a normalizer for a regular MASA inclusion is not annihilated by the pseudo-expectation, is non-trivial. In fact, a bit more is true.
Lemma \the\numberby.
Let be a regular MASA inclusion, let be an injective envelope for and let be the pseudo-expectation. Suppose satisfies . Then and there exists such that .
Proof.
Assume first that in addition to the hypotheses stated, is a unital inclusion. By [PittsStReInI, Theorem 3.5(iii)], , so . Therefore, by (6.1.1) and the fact that has the ideal intersection property. Next, [PittsStReInII, Lemma 2.15] shows , thus . Choose . Then . (Otherwise, , whence , contrary to .) This completes the unital case.
Now assume is not unital. First observe that is a unital regular MASA inclusion. Indeed, [PittsNoApUnInC*Al, Theorem 2.5] shows has the AUP, so Lemma 3(e) yields regularity of and a routine argument shows is a MASA inclusion. Since has the AUP, the standard embedding is a regular map by Lemma 3(c). Thus, . By the unital case, there exists , with . Since , we must have . In other words, there exists such that . ∎
Sometimes it is possible to establish regularity of a -monomorphism between inclusions with only partial knowledge of the normalizers in the domain of the map. The following useful technical result gives a setting where this can be done.
Proposition \the\numberby.
Let be an essential and Cartan expansion for the pseudo-Cartan inclusion and suppose is a -semigroup such that and is dense in . If for every , then is a regular -monomorphism.
Proof.
Throughout the proof, let be the conditional expectation. The first step in the proof is to establish the following lemma.
Lemma \the\numberby.
For , let
If is an essential ideal such that , then for every , .
Proof.
We claim is an essential ideal of . Indeed, suppose satisfies . Put
and note that because
But is an essential ideal in , so . This gives . Then because has the ideal intersection property. Thus, is an essential ideal.
Since is an essential ideal, . As , . Hence , so by faithfulness of . This gives . ∎
We now return to the proof of Proposition 6.1. Suppose first that is a virtual Cartan inclusion. Given , we shall show that contains an essential ideal. We require two claims. Claim 1. Recall that . Then
Proof. To see , note that for any polynomial with , ; then use
The opposite inclusion is trivial, so ; this description gives .
Claim 2. Suppose is a non-empty set and is a collection of ideals in such that: for every , ; and for distinct , . Write . Then and .Proof. That is an ideal in is clear. Let . Then we may find a finite set and for each , an element so that
For distinct , , so . A calculation then shows that is a collection of pairwise orthogonal normalizers in . But for every , whence is a family of pairwise orthogonal normalizers in . Fact 6.1 shows that . Since
. The proof of Claim 2 is completed by observing that is a closed set. (Indeed, if converges to , then
so .) We are now prepared to show contains an essential ideal. This fact is trivial when , so assume .
Let be a collection of ideals in . We shall say is a nice collection of ideals if:
-
•
for each , ;
-
•
If and , then ; and
-
•
.
By Claim 1, the singleton set, , is a nice collection, so the family consisting of all nice collections of ideals is non-empty. Partially order by inclusion. Zorn’s lemma provides a maximal nice collection of ideals; call it . Consider the ideal,
Claim 2 shows . We will show is an essential ideal in by showing .
Suppose to the contrary that . Since ,
Note that , and, since has the ideal intersection property, we find
Let . If , then , which is impossible as . Therefore, . Since is a pseudo-Cartan inclusion, it has the faithful unique pseudo-expectation property. Thus, letting be the pseudo-expectation, . Since is dense in , there exists a sequence such that . Then for sufficiently large , so there exists such that
Because we have assumed is a virtual Cartan inclusion, we may apply Lemma 6.1 to obtain such that
If is an approximate unit for , then
Therefore , for otherwise . Then
Since , we conclude that
is a non-zero element of .
Let be the ideal generated by . Then , and since we noted above that , we see that for every , . Thus is a nice collection of ideals properly containing . As this contradicts maximality of , we obtain . Therefore, is an essential ideal.
Apply Lemma 6.1 to and to conclude that . If follows that is a regular -monomorphism. This completes the proof of the proposition when is a virtual Cartan inclusion.
Now suppose is a general pseudo-Cartan inclusion. By Observation 4.1, is a virtual Cartan inclusion. Lemma 3(a) shows and Lemma 3(b) gives . Let be the -semigroup generated by . Then . Writing as a finite product with factors belonging to , we find . Therefore,
with the second inclusion obtained from the virtual Cartan case applied to and . This completes the proof. ∎
We need an intertwining property for conditional expectations before stating and proving Theorem 6.1. We will discuss this property further in the introduction to Section 6.2.
Lemma \the\numberby.
Let be an essential and Cartan expansion for the Cartan inclusion , and for , let be the conditional expectations. Then .
Proof.
Let be an injective envelope for . Since is an essential expansion of , is an inclusion with the ideal intersection property. Proposition 2.4 shows there is a unique -monomorphism such that
(6.1.5) |
For , we have
so is a pseudo-expectation for . Since is the pseudo-expectation for , we have
Since is one-to-one, the lemma follows. ∎
We are now ready to establish a key mapping property of Cartan envelopes.
Theorem \the\numberby.
Suppose and are pseudo-Cartan inclusions and is a regular and essential expansion of . For , let be Cartan envelopes for . The following statements hold.
-
(a)
There is a unique -monomorphism such that
(6.1.6) -
(b)
is a regular, essential expansion of .
-
(c)
For , let denote the conditional expectation. Then
(6.1.7) and
(6.1.8)
The following commutative diagram illustrates the maps involved; the unlabelled vertical arrows represent inclusion maps.
(6.1.9) |
Proof.
(a) Note that is a Cartan expansion of . Also, the inclusions and have the ideal intersection property, and therefore also has the ideal intersection property. Since is a regular map, is an essential and regular Cartan expansion of .
Let
(6.1.10) |
Proposition 3 shows is a Cartan envelope for .
By the uniqueness of the Cartan envelope, there exists a unique -isomorphism such that is regular and . Let be the inclusion map. Taking
we obtain (6.1.6).
(b) By construction, . Let us show has the ideal intersection property. The proof of part (a) shows that has the ideal intersection property. Since
has the ideal intersection property. Thus is an essential expansion of .
Example \the\numberby. The conclusions of Theorem 6.1 need not hold without the hypothesis that is an essential map. Indeed, Section 2 of [PittsCoStReInII] gives an example of a virtual Cartan inclusion and describes a Cartan package for which is not the Cartan envelope for . A Cartan envelope for is also described in [PittsCoStReInII, Section 2]. For convenience, we summarize a particular case of the discussion in [PittsCoStReInII, Section 2]. Let , , and put . Then and are self-adjoint unitary matrices. Put
and | ||||
continuity gives for . A Cartan package for is
A Cartan envelope for is , where
Since is already a Cartan inclusion, a Cartan envelope for is just . However, it is not hard to see that there is no embedding such that . Thus the conclusions of Theorem 6.1 do not hold.
The uniqueness and minimality statements from Theorem 3 give the following rigidity result for the Cartan envelopes of a pseudo-Cartan inclusion.
Proposition \the\numberby.
Let be a pseudo-Cartan inclusion, with Cartan envelope . If is a -automorphism such that , then uniquely extends to a regular -automorphism such that
(6.1.12) |
Proof.
We first show that is a Cartan package for . By definition of the Cartan envelope, is a regular map, and as is assumed regular, we find is a regular map. Let be the conditional expectation. Since is a Cartan envelope for ,
and | ||||
An examination of Definition 3(a) shows is a Cartan package for .
Remark \the\numberby. Let be a Cartan inclusion, or more generally, a regular MASA inclusion, and suppose is a regular -automorphism. Then is also regular, because
(6.1.14) |
(To see (6.1.14) holds, recall that [PittsNoApUnInC*Al, Theorem 2.5] shows has the AUP, so by Lemma 3(b) ; as is a MASA in , .) In particular, the family of regular automorphisms of a Cartan inclusion or of a regular MASA inclusion is a group.
Automorphisms of certain Cartan inclusions and virtual Cartan inclusions satisfying (6.1.14) have been studied, see [Komura*HoBeGrC*Al, Corollary 2.2] and [TaylorEsCoCaSuC*Al, Theorem 6.10]. We expect it is possible to obtain a description of regular -automorphisms of a pseudo-Cartan inclusion by combining these results with Proposition 6.1.
If the MASA hypothesis in Remark 6.1 is dropped, the inverse of a regular automorphism need not be regular. Here is an example of a pseudo-Cartan inclusion where the family of regular -automorphisms is not a group.
Example \the\numberby.
Let
and | ||||
Since has empty interior, has the ideal intersection property. Also,
(6.1.15) |
so
is a -semigroup of normalizers. The Stone-Weiererstrauß theorem shows is a dense subalgebra of . Thus is regular, and hence a pseudo-Cartan inclusion.
For , define . Using (6.1.15) we see is regular, but is not.
6.2. Inductive Limits
In [KumjianOnC*Di], Kumjian introduced -diagonals, a class of inclusions subsequently broadened by Renault to the class of Cartan inclusions. An inclusion is a -diagonal if it is a Cartan inclusion such that every pure state on extends uniquely to a state on . (This definition is equivalent to Kumjian’s original definition, see [PittsNoApUnInC*Al, Proposition 2.10].) The class of unital -diagonals is closed under inductive limits provided the connecting maps are unital, regular, and one-to-one ([DonsigPittsCoSyBoIs, Theorem 4.23]), and it can be shown that the same is true in the non-unital setting (with connecting maps again being regular -monomorphisms). The unique extension property implies that the connecting mappings behave well with respect to the conditional expectations: if for , are -diagonals and is the conditional expectation, then for any regular -monomorphism ,
(6.2.1) |
Turning to the context of Cartan inclusions, when the connecting maps are regular and satisfy (6.2.1), Li showed the inductive limit of a sequence of Cartan inclusions is again a Cartan inclusion, see [LiXinEvClSiC*AlCaSu, Theorem 1.10]. Li’s result was extended for non-commutative Cartan inclusions by Meyer, Raad and Taylor, see [MeyerRaadTaylorInLiNoCaIn, Theorem 3.9].
For Cartan inclusions, it follows from Lemma 6.1 and Remark 3(b) that (6.2.1) holds provided the inclusion has the ideal intersection property and is a regular map. However, when this assumption on is dropped, examples show (6.2.1) need not hold. Such examples suggest that when the connecting maps are regular, but fail to be essential, an inductive limit of Cartan inclusions may not be a Cartan inclusion.
In this subsection, we consider inductive limits of pseudo-Cartan inclusions. We show that when the connecting maps in an inductive system are essential and regular -monomorphisms, then the inductive limit of pseudo-Cartan inclusions is again a pseudo-Cartan inclusion. Further, we show that the Cartan envelope of the inductive limit of such a system is the inductive limits of the Cartan envelopes.
The following gives the notion of a directed system of pseudo-Cartan inclusions suitable for our purposes.
Definition \the\numberby.
Let be a directed set. Suppose
-
•
for each , is a pseudo-Cartan inclusion;
-
•
for every with , is an essential and regular expansion of ; and
-
•
whenever , .
-
(a)
We will call the collection a system of pseudo-Cartan inclusions directed by . When the directed set is clear from context or it is not necessary to specify it, we will simplify terminology and say is a system of pseudo-Cartan inclusions.
- (b)
-
(c)
Finally, for each , we will let be the canonical embedding: it satisfies
(6.2.2)
Remark \the\numberby. By Observation 4.3, if is a system of pseudo-Cartan inclusions, then whenever , has the ideal intersection property.
We now show that the inductive limit of a system of pseudo-Cartan inclusions is again a pseudo-Cartan inclusion, and when the system consists of Cartan inclusions, the inductive limit is Cartan. (In the latter case, we do not apply [LiXinEvClSiC*AlCaSu, Theorem 1.10], preferring instead to use Theorem 6.2(a).)
Theorem \the\numberby.
Suppose is a directed set and is a system of pseudo-Cartan inclusions. Let
The following statements hold.
-
(a)
is a pseudo-Cartan inclusion, and for each , is a regular and essential expansion for .
-
(b)
Suppose each is a Cartan inclusion and is the conditional expectation. Then is a Cartan inclusion and letting be the conditional expectation, we have .
Proof.
(a) Let us show is a regular map of into . Let and . For , we may find and such that . Since and is a regular map,
But
It follows that . Likewise, . Thus is a regular map.
We now show is a regular inclusion. Since each is a regular inclusion we find that
Therefore is a regular inclusion.
To complete the proof that is a pseudo-Cartan inclusion, we show that has the faithful unique pseudo-expectation property. Let be an injective envelope for and for , define by
Note that for ,
We first claim that for every , is an injective envelope for . It suffices to show the inclusion has the ideal intersection property. Let satisfy . Choose . Since is an essential map, has the ideal intersection property. Therefore,
has the ideal intersection property as well. As , we see for every . But is dense in , so is dense in . By [BlackadarOpAl, Proposition II.8.2.4], . Since has the ideal intersection property, we conclude . Thus our claim holds.
We are now ready to show has a unique pseudo-expectation. For , let be a pseudo-expectation. Then is a pseudo-expectation for relative to . Since has the faithful unique pseudo-expectation property, . As this holds for every , we conclude that . Thus, has a unique pseudo-expectation .
We now show is faithful. Let be the left kernel of . It follows from [PittsStReInII, Theorem 6.5] and Lemma 2.3 that is an ideal in . Then is an ideal of contained in . Since has the faithful unique pseudo-expectation property and is the pseudo-expectation for , . We conclude that . Thus, using [BlackadarOpAl, Proposition II.8.2.4] yet again, we find . Therefore, is faithful. Since has the faithful unique pseudo-expectation property, it is a pseudo-Cartan inclusion.
As is an injective envelope for , is an essential inclusion. Since
Lemma 2.4 shows is also an essential inclusion. Since we have already shown that is a regular map, the proof of (a) is complete.
(b) Part (a) shows is a pseudo-Cartan inclusion. Clearly, for each , is a Cartan envelope for ; let be the conditional expectation. For with , Lemma 6.1 gives
This means that there exists such that . Since each is surjective, contractive and idempotent, also has these properties. Therefore, extends to a conditional expectation . Proposition 2.3 shows is a Cartan inclusion. Lemma 6.1 gives . ∎
We next show that the Cartan envelope of an inductive limit of a system of pseudo-Cartan inclusions is the inductive limit of the Cartan envelopes.
Theorem \the\numberby.
Suppose is a directed set and is a system of pseudo-Cartan inclusions. By Theorem 6.2, is a pseudo-Cartan inclusion.
For each , let be a Cartan envelope for . Theorem 6.1 provides unique regular -monomorphisms () satisfying
(6.2.4) |
The following statements hold.
-
(a)
is a system of Cartan inclusions and
is a Cartan inclusion.
-
(b)
There is a regular -monomorphism such that for every ,
(6.2.5) and is a Cartan envelope for .
Proof.
Throughout the proof we will sometimes simplify notation and write,
Similarly, once part (a) is established, we will sometimes write | ||||
(a) Theorem 6.1(b) shows that for , is a regular and essential expansion of . Now suppose . We have
and
By the uniqueness part of Theorem 6.1(a), we find , so
is a system of Cartan inclusions. Theorem 6.2(b) shows is a Cartan inclusion.
(b) By properties of inductive limits and (6.2.4), there is a uniquely determined -monomorphism
satisfying (6.2.5). While is a regular map, we have been unable to directly show that this forces to be a regular map, because we lack a description of . (We expect is the closure of , but we have not found a proof.)
Therefore, we proceed as follows. Fix a Cartan envelope
for , with conditional expectation . We shall show is an inductive limit of a system
of Cartan envelopes for , where each . We will then use uniqueness of Cartan envelopes to produce an isomorphism which carries onto . The regularity of will then follow from the regularity of . As we construct and discuss the various spaces and maps involved, the reader might find it helpful to consult Figure 1.
For , define by
and put
For future use, we note that by construction,
(6.2.6) |
Theorem 6.2(a) shows is a regular and essential expansion of and is regular by hypothesis. Therefore is a regular map. Also,
so has the ideal intersection property by Lemma 2.4. As we see that is a regular and essential expansion for . Since is an essential, regular and Cartan expansion for , Proposition 3 shows is a Cartan envelope for and is the conditional expectation of onto .
For , let be the -monomorphism satisfying
(6.2.7) |
obtained from Theorem 6.1. Since
the uniqueness portion of Theorem 6.1 shows is the inclusion map. Thus, is also the inclusion map (see (6.2.6)). Theorem 6.1 shows is a regular and essential expansion of .
Since is dense in , we find is dense in . Therefore since ,
is dense in . Similarly, is dense in , so is dense in . We conclude that
We now use uniqueness of Cartan envelopes to show is isomorphic to . The uniqueness part of Theorem 3 gives the existence of a unique -isomorphism satisfying
By properties of inductive limits, to show the existence of an isomorphism it suffices to show
(6.2.8) |
(that is invertible will follow from rewriting (6.2.8) as ). Recalling that is generated by , it is enough to show
(6.2.9) | ||||
and | ||||
(6.2.10) |
For (6.2.9), the uniqueness part of Theorem 3 gives,
Turning to (6.2.10), is a conditional expectation from onto . By uniqueness of the conditional expectation for Cartan inclusions, we obtain . Thus
(6.2.11) |
Hence,
so (6.2.10) holds. This completes the proof of (6.2.8), and the existence of the isomorphism .
For each , , and , so
This implies that is regular. Since we obtain
As and are regular, we conclude is regular as well. Hence is a Cartan envelope for . This completes the proof. ∎
6.3. Minimal Tensor Products
The purpose of this subsection is to show that the minimal tensor product of two pseudo-Cartan inclusions is again a pseudo-Cartan inclusion. Throughout, for , let be pseudo-Cartan inclusions. For algebras and , we use the notation for the linear span of .
Regularity of the tensor product inclusion is straightforward, and recorded in the following lemma.
Lemma \the\numberby.
Let . Then and is dense in . In particular, is a regular inclusion.
Proof.
Let .
That is evident. For , suppose . We wish to show that . Let . By regularity of , there exists , and such that
Then
Therefore, . As the span of elementary tensors is dense in , the lemma follows. ∎
Our next goal is Proposition 6.3, which shows that when and are unital pseudo-Cartan inclusions, then has the unique pseudo-expectation property. On first glance, one might expect that if are the unique pseudo-expectations for , then will be the unique pseudo-expectation for . However, the codomain of is , rather than and these -algebras need not be the same [WillardGeTo, Exercises 15G and 19I.2]. Nevertheless, Proposition 6.3 below implies there is an essential embedding of into . Using to identify with its image in will allow us to view as a pseudo-expectation for .
Dual to the notion of an essential embedding of into is the notion of essential surjection of onto : a continuous surjection between compact Hausdorff spaces is called an essential surjection if whenever is a closed set and , then . (Essential surjections are also called irreducible maps.)
Lemma \the\numberby.
Suppose for , and are compact Hausdorff spaces, and are continuous and essential surjections. Then , given by , is an essential surjection.
Proof.
We start by proving a special case: assume that and is the identity map.
For typographical ease, let . Let be a closed set such that . For , let
Then is a closed subset of . Given , since , there is such that . Thus . Since is essential, we obtain . Hence for , . We conclude that , showing that the lemma holds in this special case.
For the general case, consider the composition,
By the special case, each of the maps in the composition are essential surjections. As the composition of essential surjections is an essential surjection, the proof is complete. ∎
Proposition \the\numberby.
For , let be abelian -algebras (perhaps not unital) and suppose are essential inclusions. Then is an essential inclusion.
Proof.
First assume the inclusions are unital. For , let and . The maps dualize to continuous surjections (thus for , ). The proof in this case now follows from Lemma 6.3 after noting that the inclusion is essential if and only if is an essential surjection of onto , see [PittsIrMaIsBoReOpSeReId, Lemma 4.9].
For the general case, note that is an essential inclusion because the image of under is an essential ideal in . (This can be shown directly or one can use the facts that and any -algebra is an essential ideal in its multiplier algebra. A proof of the inclusion of the multiplier algebras can be found at https://math.stackexchange.com/a/4458451.) This fact, together with the unital case show that both of the inclusions,
have the ideal intersection property. By Lemma 2.4, has the ideal intersection property. Finally, since , another application of Lemma 2.4 shows has the ideal intersection property, as desired. ∎
Assume now that are unital pseudo-Cartan inclusions, let be injective envelopes for and let be an injective envelope for . By Proposition 6.3,
is an essential inclusion. Thus [PittsZarikianUnPsExC*In, Corollary 3.22] gives a unique -monomorphism such that
Let be the pseudo-expectations for (relative to the envelopes ). By [BrownOzawaC*AlFiDiAp, Theorem 3.5.3], there is a unique unital completely positive map such that for every elementary tensor , . Let
(6.3.1) |
Then is a pseudo-expectation for relative to . The following commuting diagram illustrates these maps; (the existence of the map labeled “inclusion” follows from [BrownOzawaC*AlFiDiAp, Proposition 3.6.1]).
We are now ready to show has the unique pseudo-expectation property.
Proposition \the\numberby.
For , let be unital pseudo-Cartan inclusions. The map defined in (6.3.1) is the unique pseudo-expectation for the inclusion (relative to ).
Proof.
Since are pseudo-Cartan inclusions, is abelian and has the ideal intersection property, so by Proposition 2.4, has the faithful unique pseudo-expectation property. In particular, is an injective envelope for (see [PittsZarikianUnPsExC*In, Corollary 3.22]). Thus, is also a pseudo-expectation for . Observation 4.1 shows is a virtual Cartan inclusion, and hence has the unique pseudo-expectation property. Therefore, is the unique pseudo-expectation for .
Now let be a pseudo-expectation. Proposition 6.3 shows has the ideal intersection property, so another application of [PittsZarikianUnPsExC*In, Corollary 3.22] gives
(6.3.2) |
Clearly . If equality held, an application of [PittsStReInII, Proposition 6.11] would complete the proof. However, such formulae for tensor products of relative commutants do not hold in general, see [ArchboldCoCoTePrC*Al]. Since we do not know whether , we adapt the arguments found in the proof of [PittsStReInII, Proposition 6.11] and [PittsStReInI, Proposition 3.4] to show .
We claim that for any (),
(6.3.3) |
Let
and let be a right Frolík family of ideals for (), see [PittsStReInI, Definition 2.13]. As noted there, for (and ),
(6.3.4) |
Since is an essential ideal in (see [PittsStReInI, Definition 2.13]), it follows that is an essential ideal of . Our goal is to show that is an essential ideal of , which we do by showing .
Let . We shall show that
(6.3.5) |
Starting with the case , let . By [PittsStReInI, Lemma 2.15],
Then
where the first and third equalities follow from [PaulsenCoBoMaOpAl, Corollary 3.19]. Thus , so (6.3.5) holds when .
The remaining cases are similar to those found in the proof of [PittsStReInI, Proposition 3.4]. For example, if and , where , let . Then using [PittsStReInI, Lemma 2.1],
because by (6.3.4). Taking from an approximate unit for , we obtain
Similarly, , so that . Thus . As the other combinations of and are obtained in the same way, we obtain (6.3.5).
We now have , so is an essential ideal of . An application of [PittsStReInI, Lemma 3.3] yields . ∎
Our next goal is to show is faithful. This requires some preparation, and we first deal with some generalities involving unital regular inclusions having the unique pseudo-expectation property.
Let be a regular inclusion having the unique (but not necessarily faithful) pseudo-expectation property and let be the pseudo-expectation. We will use notation and terminology from [PittsStReInII] as reprised in Section 5.1(a)–(i).
Lemma \the\numberby.
Assume is a unital regular inclusion having the unique pseudo-expectation . The following statements hold.
-
(a)
.
-
(b)
Suppose in addition that is faithful. Then is weak- dense in the dual space, , of .
Proof.
(a) Suppose and . Given we may find and so that for every ,
As for some , the Cauchy-Schwartz inequality shows .
On the other hand, suppose satisfies for every . Fix and let . If , then , so . On the other hand, if , the Cauchy-Schwartz inequality gives . Thus, for every ,
By regularity of , we find .
Allowing to vary throughout , we conclude that for every , that is, .
Now that these preliminaries have been completed, we return to the context of Proposition 6.3 and the task of showing is faithful. Since the map appearing in (6.3.1) is a -monomorphism, we may use to identify with a subalgebra of ; upon doing so, we have
This enables us to describe . The notation in the next lemma is discussed in Section 5.
Lemma \the\numberby.
For unital pseudo-Cartan inclusions and , the following statements hold.
-
(a)
; and
-
(b)
.
Proof.
(a) For , let and find so that . As and extends from a multiplicative linear functional on to a multiplicative linear functional on . we see that
On the other hand, if , there exists a multiplicative linear functional on so that . Since the maximal ideal space of is homeomorphic to , the restriction of to has the form where . Therefore , as desired.
(b) Let . Then there are and so that . Since , we get .
For the reverse inclusion, suppose , and let . By part (a), , where . Since is dense in , we may choose such that . Then
with the first equality following from [PittsStReInII, Theorem 7.9(f)]. ∎
Proposition \the\numberby.
For , let be unital pseudo-Cartan inclusions. The following statements hold.
-
(a)
is a pseudo-Cartan inclusion.
-
(b)
If are Cartan inclusions, so is .
Before giving the proof, we remark that part (b) is probably known, but we do not have a reference.
Proof.
(a) We already know is a regular inclusion having the unique pseudo-expectation property. It remains to show the pseudo-expectation (see (6.3.1)) is faithful.
For typographical reasons, let us write for the left kernel of . Recall that is an ideal in by [PittsStReInII, Theorem 6.5].
We claim
(6.3.6) |
Suppose . Write
where , and is a linearly independent set. For ,
with Lemma 6.3(a) giving the first equality. Holding fixed, this equality persists if is replaced by , and hence also for any by Lemma 6.3(b) applied to and . Therefore, setting
we find for every , whence . By the linear independence of , we conclude that for each . Varying and applying Lemma 6.3(b) to and , we see that for every , so . Thus (6.3.6) holds.
For , define
By the claim, is a -norm on . But is the smallest -norm on , so for any ,
Thus for ,
It follows that , completing the proof of (a).
Proposition \the\numberby.
Suppose and are unital pseudo-Cartan inclusions with Cartan envelopes and respectively. Then is a Cartan envelope for .
Proof.
Proposition 6.3(b) shows that is a Cartan inclusion. Let be the conditional expectations and put
Then is the (faithful) conditional expectation. Also, since is a Cartan envelope for ,
Likewise, is generated by . It follows that is a Cartan package for . Proposition 6.3 shows that is an essential inclusion. Therefore is a Cartan envelope for . ∎
Having completed the unital case, we are ready for the main theorem of this section.
Theorem \the\numberby.
Suppose for that are pseudo-Cartan inclusions (not assumed unital) and let be Cartan envelopes for . Then is a pseudo-Cartan inclusion, and is a Cartan envelope for .
Proof.
We begin by assuming that and have the AUP. Observation 4.2 shows is a unital pseudo-Cartan inclusion, and Proposition 6.3 shows that is a unital pseudo-Cartan inclusion.
Since and have the ideal intersection property, Proposition 6.3 shows has the ideal intersection property. Let
Then . Applying Proposition 4.4(a) to with this choice for , we conclude is a pseudo-Cartan inclusion.
Next, Proposition 6.3 and Theorem 4.2(a) show is a Cartan envelope for . Let be the conditional expectations (for the Cartan inclusions ). Write and . Notice that
That is a Cartan envelope for now follows from Proposition 4.4(b).
Now suppose and are pseudo-Cartan inclusions, where neither is assumed to have the AUP. Then are pseudo-Cartan inclusions with the AUP, whence is a pseudo-Cartan inclusion. Proposition 6.3 shows has the ideal intersection property, so an application of Proposition 4.4(a) (with ) shows is a pseudo-Cartan inclusion. Let be a Cartan envelope for . By Proposition 4.2, is a Cartan envelope for , whence is a Cartan envelope for . Finally, Proposition 4.4(b) shows is also a Cartan envelope for . ∎
7. Applications
In this section we give a few applications of the results presented so far. We begin with an application of Theorem 3 which describes the -envelope for an intermediate Banach algebras. Several of the results in this section apply to unital inclusions, see Definition 2.1(d).
Theorem \the\numberby.
Suppose is a unital pseudo-Cartan inclusion and is a closed subalgebra satisfying (we do not assume . Let be the -subalgebra of generated by and let be the -envelope for . Then
Proof.
Since has the faithful unique pseudo-expectation property, the result follows from [PittsStReInI, Theorem 8.3]. ∎
For unital -algebras and with , when the assumption that is abelian and regular is dropped, [PittsZarikianUnPsExC*In, Example 6.9] shows that the faithful unique pseudo-expectation property for need not imply that norms in the sense of [PopSinclairSmithNoC*Al]. Nevertheless, [PittsZarikianUnPsExC*In, Section 6.2] argues that the faithful unique pseudo-expectation property is “conducive” to norming. Further evidence for this statement is Theorem 7 below: for unital regular inclusions satisfying Standing Assumption 3, the faithful unique pseudo-expectation property implies norming.
The proof of Theorem 7 requires two preparatory results which we now present.
Lemma \the\numberby.
Let be a unital pseudo-Cartan inclusion. Suppose is free and let be the unique state extension of to . If is the GNS triple associated to , then is an atomic MASA in .
Furthermore, if
is the orbit of under , then
(7.1) |
Proof.
Our first task is to show that is a compatible state on ([PittsStReInI, Definition 4.1]). Let be an injective envelope for and let be the pseudo-expectation for . Choose such that . Note that . Since is free, we conclude that . By [PittsStReInII, Theorem 6.9] (see Theorem A below) is a compatible state.
The Cauchy-Schwartz inequality implies that for any and , ([PittsNoApUnInC*Al, Fact 1.2] has the details), so (see [PittsStReInI, Definition 2.4]).
We claim that if satisfies and for every , then
Define a positive linear functional on by . Note that because . Also for and with ,
As , we conclude . Thus, is also an extension of to a state on . We conclude that , so the claim holds.
It follows that is a pure and -rigid state (see [PittsStReInI, Definition 4.11]). By first applying [PittsStReInI, Proposition 4.12] and then [PittsStReInI, Proposition 4.8(iv)], we find is an atomic MASA in .
Let be the left kernel of . Suppose and . Since is a regular inclusion, there exists such that . Then because . As , [PittsStReInI, Proposition 4.4(v)], shows . As , we find
On the other hand, if , then for every with , we have , so applying [PittsStReInI, Proposition 4.4(v)] again, . Therefore, . Thus (7.1) holds and the proof is complete. ∎
Our second preparatory result, of independent interest, shows that a natural class of pseudo-Cartan inclusions is topologically free.
Proposition \the\numberby.
Suppose is a unital pseudo-Cartan inclusion such that there exists a countable subset satisfying . Then is a topologically free inclusion.
Proof.
Let . Our task is to show is dense in . For convenience, set
and let be the restriction map,
By [ExelPittsChGrC*AlNoHaEtGr, Theorem 2.11.16], the set of free points for the inclusion contains a dense set. We may therefore choose dense open sets such that
is contained in the set of free points for . As has the ideal intersection property, is an essential surjection, so for each , is a dense open subset of .
Let be the -semigroup generated by , that is, is the collection of all finite products of elements of . Then is countable, , and the linear span,
is dense in .
Let . By Lemma 3(a), . Moreover, as is a regular MASA inclusion, the proof of [PittsStReInI, Theorem 3.10] shows there is a dense open set such that each is free relative to . Let
As is unital, is compact, so Baire’s theorem implies is a dense set.
We claim that if , then is a free point for . To see this, suppose and are states on such that . Since , we find . Thus is a free point for the inclusion . Next, since , for every . Using [PittsNoApUnInC*Al, Fact 1.2], for every and , . Therefore, for every , . As is dense in , we conclude . Thus is a free point for , so the claim holds.
Finally we show that is dense in . Let be an open set. Then is open in , so there exists , whence , as desired. As , the proof is complete. ∎
We now come to our norming result.
Theorem \the\numberby.
Suppose is a unital pseudo-Cartan inclusion. Then norms .
Proof.
The argument is mostly the same as the proof of [PittsStReInI, Theorem 8.2], except we use Proposition 7 instead of [PittsStReInI, Theorem 3.10] and Lemma 7 instead of [PittsStReInI, Proposition 4.12]. Therefore, we shall only outline the proof, leaving the reader to consult the proof of [PittsStReInI, Theorem 8.2] for additional details as desired. (The notation here differs somewhat from that used in [PittsStReInI, Theorem 8.2], but this will present no difficulty.)
Arguing as in the last paragraph of the proof of [PittsStReInI, Theorem 8.2], it suffices to show norms under the additional assumption that there is a countable set such that . For the remainder of the proof, we assume this.
Let be the -semigroup generated by . By the additional assumption, is a dense -subalgebra of .
Let be the set of free points for . Proposition 7 shows is dense in . For , denote by the unique state extension of to , and let be the GNS triple for . Since is a pure state, is an irreducible representation, and Lemma 7 shows that is a MASA in .
For , define if and only if there exists such that . As in the proof of [PittsStReInI, Theorem 8.2], is an equivalence relation, and if is unitarily equivalent to , then . Thus, if , and are disjoint representations.
Let be a set containing exactly one element of each equivalence class. Consider the representation
of on . Since each is an atomic MASA and the representations are pairwise disjoint, is also an atomic MASA in .
We now show is faithful. As is dense in and is the union of the -orbits of the elements of , (7.1) shows that the restriction of to is faithful. By the ideal intersection property for , . Then because also has the ideal intersection property. Therefore is a faithful representation of .
A direct argument or the argument found on [CameronPittsZarikianBiCaMASAvNAlNoAlMeTh, Page 466] shows is locally cyclic (as defined in [PopSinclairSmithNoC*Al, Page 173]) for . Using [PopSinclairSmithNoC*Al, Lemma 2.3 and Theorem 2.7], norms . As is faithful, it follows that norms . ∎
We now extend [PittsStReInII, Theorem 8.4] from the setting of virtual Cartan inclusions considered there to pseudo-Cartan inclusions. This is a significant generalization of [PittsStReInII, Theorem 8.4] because it weakens the hypothesis that is unital and relaxes the condition that be a MASA. We remark that [BrownExelFullerPittsReznikoffInC*AlCaEm, Example 5.1] gives an example of a Cartan inclusion and an intermediate -subalgebra such that is not a regular inclusion. Thus, in the context of Theorem 7, it is possible that the inclusions are not regular.
Theorem \the\numberby.
Suppose for , are pseudo-Cartan inclusions such that are pseudo-Cartan inclusions, and are Banach algebras satisfying . Let be the -subalgebra of generated by . If is an isometric isomorphism, then uniquely extends to a -isomorphism of onto .
Remark \the\numberby. We have included the hypothesis that are pseudo-Cartan inclusions because we do not know whether regularity is preserved when units are adjoined. When are regular, Observation 4.2 shows are pseudo-Cartan inclusions. As noted earlier, if have the AUP or if are abelian, are pseudo-Cartan inclusions provided that are pseudo-Cartan inclusions.
Proof of Theorem 7.
Suppose first that are unital pseudo-Cartan inclusions. Theorem 7 shows that . By Theorem 7, norms ; in particular, norms . Thus [PittsNoAlAuCoBoIsOpAl, Corollary 1.5] shows uniquely extends to a -isomorphism of onto .
Now suppose are not assumed unital and is an isometric isomorphism. Since is weakly non-degenerate, is a unital pseudo-Cartan inclusion, so . Write , so that . Notice that
Applying [MeyerAdUnOpAl, Corollary 3.3] with shows is an isometric isomorphism. Therefore, uniquely extends to a -isomorphism of onto . Thus is a -isomorphism of onto extending .
If is another -isomorphism such that , then . As is the unique extension of to , . Therefore, . This gives uniqueness of the extension of to and completes the proof.∎
If the hypothesis that is a regular inclusion is added to the hypotheses of Theorem 7, more can be said.
Corollary \the\numberby.
Suppose for , are pseudo-Cartan inclusions such that are pseudo-Cartan inclusions, that are Banach algebras satisfying , and that is an isometric isomorphism.
If is regular, then and are pseudo-Cartan inclusions; let and be their Cartan envelopes. Furthermore, there is a unique extension of to a -isomorphism such that
Proof.
Let be the unique -isomorphism extending provided by Theorem 7. Since , is a -algebra. Since is a regular inclusion, so is . By Corollary 2.3, both and ) have the faithful unique pseudo-expectation property, so they are pseudo-Cartan inclusions. Also for any and ,
Thus is a regular -isomorphism. An application of Theorem 6.1 completes the proof. ∎
The following is immediate from Theorem 7.
Corollary \the\numberby.
Suppose is a pseudo-Cartan inclusion such that is a pseudo-Cartan inclusion. If is an algebra such that and , then the group of isometric automorphisms of is isomorphic to the group of all -automorphisms of which leave invariant.
Theorems 7–7 seem interesting even in the commutative case, for they apply to certain function algebras.
Example \the\numberby.
Let be a unital and abelian -algebra, and suppose is an essential ideal. Let be a Banach algebra such that: separates points of , , and . Then is a Banach algebra satisfying . By the Stone-Weierstrauß Theorem, . Since is a pseudo-Cartan inclusion, and any isometric automorphism of uniquely extends to a -isomorphism of .
8. Questions
In addition to Conjecture 4.3, we now present a few open questions.
Recall that Barlak and Li [BarlakLiCaSuUCTPr, Corollary 1.2] showed that if a separable, nuclear, -algebra contains a Cartan MASA, then it satisfies the Universal Coefficient Theorem (UCT). Separable, nuclear -algebras which satisfy the UCP are of significant interest in the classification program. This is in part the motivation for the following two questions.
Question \the\numberby. Suppose is a pseudo-Cartan inclusion. Must contain a Cartan MASA?
Here is an example which motivates our next question. Let be the Cantor set and let be a countable discrete group having property . It follows from a result of Elek [ElekFrMiAcCoGrInPrMe, Theorem 1], that there exists a free and minimal action of on which admits an ergodic (regular, non-atomic) invariant Borel probability measure . Let be the unitary representation of on : and be the representation of by multiplication operators on .
Define to be the -algebra generated by the images of and , and put . (It turns out is an exotic crossed product.) The freeness of the action implies is a regular MASA inclusion with the unique state extension property, so there exists a (unique) conditional expectation .
Let be the left kernel of . By [PittsStReInI, Theorem 3.15], is a ideal of having trivial intersection with and [ExelPittsZarikianExIdFrTrGrC*Al, Theorem 3.7] shows . Then is a regular inclusion having the unique state extension property by [ArchboldBunceGregsonExStC*AlII, Lemma 3.1]. It follows is a regular inclusion with the extension property which has a faithful conditional expectation; thus is a -diagonal.
Question \the\numberby. Suppose is a -algebra and . If admits a subalgebra such that is a pseudo-Cartan inclusion (or a Cartan inclusion), must there exist such that is a pseudo-Cartan inclusion (or Cartan inclusion)?
Next, the uniqueness statement of Theorem 3 suggests the possibility of finding a canonical method of replacing certain non-Hausdorff twists with Hausdorff ones.
Question \the\numberby. Suppose is a twist over the second countable, étale and topologically free groupoid (see [ExelPittsChGrC*AlNoHaEtGr, Definition 3.4.6] for the definition of a topologically free groupoid). We assume is Hausdorff, but we do not assume is Hausdorff. Then is a weak-Cartan inclusion (see [ExelPittsChGrC*AlNoHaEtGr, Corollary 3.9.5]) and hence a pseudo-Cartan inclusion. Let be its Cartan envelope, and let be the twist associated to . Then is Hausdorff. What is the relationship between and ?
We close with a technical question. Several of the results in Section 7 assume that the unitization of a pseudo-Cartan inclusion is again a pseudo-Cartan inclusion and it would be interesting to know if that hypothesis can be removed. The issue is whether is regular.
Question \the\numberby. If is a pseudo-Cartan inclusion, must be a pseudo-Cartan inclusion?
Appendix A
Changes in Notation and Terminology. Throughout Appendix A, we depart from the notation and terminology used in Sections 1–7 above; instead we use the notation and terminology found in [PittsStReInII]. In particular, all inclusions below are unital, and for a unital -algebra , an essential extension for will mean a pair consisting of a unital -algebra and a unital -monomorphism such that has the ideal intersection property.
Lemma 2.3 of [PittsStReInII] is presented without proof, and there is an error in its statement. The error is the assertion that the map is a Boolean algebra isomorphism of onto : it should have said is a Boolean algebra isomorphism. Here is the full and corrected statement.
Lemma \the\numberby (Corrected [PittsStReInII, Lemma 2.3]).
Suppose and are abelian, unital -algebras, is an essential extension of , and is the continuous surjection, . Then the maps
(A.1) | ||||
are Boolean algebra isomorphisms of onto and onto respectively. The inverses of these maps are | ||||
(A.2) | ||||
respectively. Furthermore, for and , | ||||
(A.3) |
A complete proof of Lemma A may be found in [PittsIrMaIsBoReOpSeReId]. The proofs of (A.1) and (A.2) are found in [PittsIrMaIsBoReOpSeReId, Propositions 3.2 and 4.17] and (A.3) is [PittsIrMaIsBoReOpSeReId, Lemma 4.12] combined with [PittsIrMaIsBoReOpSeReId, Lemma 4.7]. To make the notational transition from [PittsIrMaIsBoReOpSeReId] to the notation of Lemma A, take , and .
Unfortunately, the misstatement in [PittsStReInII, Lemma 2.3] leads to a gap in the proof of [PittsStReInII, Theorem 6.9]. The statement of [PittsStReInII, Theorem 6.9] is correct, but its proof is insufficient, as we now describe.
Let be a regular inclusion with the unique pseudo-expectation property, let be an injective envelope for and let be the pseudo-expectation. In the proof of [PittsStReInII, Theorem 6.9] we claimed that if and satisfies , then . That claim is then used show that is a compatible state. Our proof of this claim is insufficient because it uses the incorrectly stated portion of [PittsStReInII, Lemma 2.3].
We now give a proof of [PittsStReInII, Theorem 6.9], whose statement we have reproduced in Theorem A. The proof uses the correction to [PittsStReInII, Lemma 2.3] given as Lemma A above to show that is a compatible state.
Theorem \the\numberby ([PittsStReInII, Theorem 6.9]).
Suppose is a regular inclusion with the unique pseudo-expectation property. Then is a covering inclusion and is a compatible cover for . Furthermore, if is any closed subset of which covers , then .
Proof.
Denote by the “restriction” map, . Since is an injective envelope for , it is in particular an essential extension of .
For , let
If , the Cauchy-Schwartz inequality gives,
so . By [PittsStReInI, Lemma 2.5], . Thus,
(A.4) |
Let us show that every is a compatible state. Fix and suppose for some . Our task is to show that . Write for some . Let
By construction, is an open subset of and . Since , (A.4) gives,
Put . Since is a Stonean space, and are clopen sets and hence are regular open subsets of . Then
with the last equality following from the portions of Lemma A concerning regular open sets. Therefore, we may find a net in such that . Since , we may find with . Since (see [PittsStReInII, Lemmas 2.14 and 2.15]), and is a homomorphism (by [PittsStReInII, Lemma 6.8])
As ,
It follows that is a compatible state.
The remainder of the proof now follows exactly as in the proof of [PittsStReInII, Theorem 6.9]; we include the details for convenience.
Let us show the invariance of . Choose and write for some . Suppose is such that . Let and be the support projections in for the ideals and respectively. Then is a partial automorphism with domain and range . Define by
For , [PittsStReInII, Proposition 6.2] gives,
Thus is invariant.
If , choose any such that . Then , so covers . Thus, is a compatible cover for and is a covering inclusion.
Finally, if is closed and covers , then by [PittsStReInII, Theorem 6.1(b)].
∎