• No results found

Crossed product algebras associated with topological dynamical systems Svensson, P.C.

N/A
N/A
Protected

Academic year: 2021

Share "Crossed product algebras associated with topological dynamical systems Svensson, P.C."

Copied!
3
0
0

Bezig met laden.... (Bekijk nu de volledige tekst)

Hele tekst

(1)

Crossed product algebras associated with topological dynamical systems

Svensson, P.C.

Citation

Svensson, P. C. (2009, March 25). Crossed product algebras associated with topological dynamical systems. Retrieved from

https://hdl.handle.net/1887/13699

Version: Not Applicable (or Unknown)

License: Leiden University Non-exclusive license Downloaded from: https://hdl.handle.net/1887/13699

Note: To cite this publication please use the final published version (if

applicable).

(2)

Stellingen

Propositions belonging to the thesis

Crossed product algebras associated with topological dynamical systems by Christian Svensson

The following definitions concern Stellingen 1 and 2.

For i = 1, 2, let Xi be a compact Hausdorff space, σi a homeomorphism of Xi and Σi the corresponding topological dynamical system. Denote by Ci) the associated C-crossed product. The analytic crossed product A+i) associated with Σiis the (nonselfadjoint) closed subalgebra of Ci) generated by C(X) ∪ {δ}.

It follows from [2, Theorem 1] that Σ1 and Σ2 are topologically conjugate if and only if A+1) and A+2) are isomorphic as algebras. Denote by `1+i) the (nonselfadjoint) closed subalgebra of `1i) generated by C(X) ∪ {δ}. It follows from the more general work in [1] that Σ1 and Σ2 are topologically conjugate if and only if `1+1) and `1+2) are isomorphic as algebras.

1. For i = 1, 2, let Σi= (Xi, σi) be a topological dynamical system as above. De- note by k+i) the (nonselfadjoint) subalgebra of k(Σi) generated by C(X) ∪ {δ}. Then Σ1 and Σ2 are topologically conjugate if and only if k+1) and k+2) are isomorphic as algebras.

2. As in the cases of A+i) and `1+i), the above result holds true if the Xi are merely locally compact and one constructs the analogues of k+i) using C0(Xi) as “coefficient algebras” instead of C(Xi).

3. Let Σ be a topological dynamical system consisting of r disjoint finite orbits of orders n1, n2, . . . , nr. Then

C(Σ) ∼= Mn1(C(T)) ⊕ Mn2(C(T)) ⊕ . . . ⊕ Mnr(C(T))

as C-algebras. Consequently, the C-crossed product of a topological dy- namical system on a finite space is never simple. It also follows that systems consisting of one single finite orbit constitute the only examples of minimal systems that have non-simple C-algebras.

4. Let Σ = (X, σ) be such that X = {x, σ(x)} and σ(x) 6= x. Then C(Σ) ∼= M2(C(T)). Denote

U = 1

√2

 id id id −id

 .

Then the map Ad U defined, for a ∈ M2(C(T)), by a 7→ U aUis a nice concrete example of an automorphism of C(Σ) which does not preserve the “coefficient algebra” C(X).

1

(3)

5. Recall from Chapter 5 that the commutant, C(X)0, of C(X) in C(Σ) is commutative. Denoting by X0 the spectrum of C(X)0 we may then write C(X)0 = C(X0). Consider the topological dynamical system Σ0 = (X0, σ0) where σ0 is the homeomorphism induced by the automorphism Ad δ of C(X)0. If C(X) ( C(X)0or, equivalently, if the system Σ is not topologically free, the algebra C(Σ) is naturally embedded as a proper C-subalgebra of C0).

That Σ is not topologically free implies that Σ0 is also not topologically free, hence repeating this argument, we get a strictly increasing infinite sequence of C-crossed products:

C(Σ) ( C0) ( C00) ( C000) ( . . .

6. By making use of the formula in [3, Proposition 1] for approximating elements in C(Σ) with elements in k(Σ) by generalized C`esaro sums, it is possible to give more direct proofs of some of the existing theorems regarding the interplay between a system Σ and its C-algebra C(Σ).

7. Denote, for a ∈ C(Σ), its generalized Fourier coefficents by (a(n))n=−∞, where a(n) ∈ C(X) for all n. If aa= 1, then, for all x ∈ X,

X

n=−∞

|a(n)(x)|2= 1.

8. Throughout the history of the world championships in football, Sweden has won a larger number of medals than the Netherlands.

9. A mathematician is a person finding abstract nonsense less cumbersome than concrete nonsense.

10. The fact that professional mathematicians can often see the material taught in undergraduate courses from perspectives not yet available to the students can sometimes make it hard for them to recall which concepts are particularly difficult to grasp for someone being introduced to them for the first time.

References

[1] Davidson, K.R., Katsoulis, E.G., Isomorphisms between topological conjugacy algebras, J. Reine Angew. Math. 621 (2008), 29-51.

[2] Power, S.C., Classification of analytic crossed product algebras, Bull. London Math. Soc. 24 (1992), 368-372.

[3] Tomiyama, J., Structure of Ideals and Isomorphisms of C-crossed Products by Single Homeomorphisms, Tokyo J. Math. 23 (2000), 1-13.

2

Referenties

GERELATEERDE DOCUMENTEN

For example, it is proved there that, for such crossed products, the analogue of the equivalence between density of non-periodic points of a dynamical system and maximal

Cr ossed pr oduct alg ebr as associa ted with topolo gical d ynamical systems Christian

• Svensson, C., Silvestrov, S., de Jeu, M., Dynamical systems and commutants in crossed

For example, we give an elementary proof of the fact that if (A, ) is a pair consisting of an arbitrary commutative associative complex algebra A and an automorphism of A,

We thus prove that, when A is a commutative completely regular semi-simple Banach algebra, it is maximal abelian in the crossed product if and only if the associated dynamical system

For example, it was proved there that, for such crossed products, the analogue of the equivalence between density of aperiodic points of a dynamical system and maximal commutativity

For example, it is proved there that, for such crossed products, the analogue of the equivalence between density of aperiodic points of a dynamical system and maximal commutativity

Certain aspects of the associated dynamical systems are investigated (Proposition 5.3.8) and later used to prove Theorem 5.4.3: π(C(X))  has the intersection property for ideals,