Showing 1–29 of 29 results for author: Watatani, Y

Non-Linear Traces on Semifinite Factors and Generalized Singular Numbers

Authors: Masaru Nagisa, Yasuo Watatani

Abstract: We introduce non-linear traces of the Choquet type and Sugeno type on a semifinite factor $\mathcal{M}$ as a non-commutative analog of the Choquet integral and Sugeno integral for non-additive measures. We need weighted dimension function $p \mapsto α(τ(p))$ for projections $p \in \mathcal{M}$, which is an analog of a monotone measure. They have certain partial additivities. We show that these par… ▽ More We introduce non-linear traces of the Choquet type and Sugeno type on a semifinite factor $\mathcal{M}$ as a non-commutative analog of the Choquet integral and Sugeno integral for non-additive measures. We need weighted dimension function $p \mapsto α(τ(p))$ for projections $p \in \mathcal{M}$, which is an analog of a monotone measure. They have certain partial additivities. We show that these partial additivities characterize non-linear traces of both the Choquet type and Sugeno type respectively. Based on the notion of generalized eigenvalues and singular values, we show that non-linear traces of the Choquet type are closely related to the Lorentz function spaces and the Lorentz operator spaces if the weight functions $α$ are concave. For the algebras of compact operators and factors of type ${\rm II}$, we completely determine the condition that the associated weighted $L^p$-spaces for the non-linear traces become quasi-normed spaces in terms of the weight functions $α$ for any $0 < p < \infty$. We also show that any non-linear trace of the Sugeno type gives a certain metric on the factor. This is an attempt at non-linear and non-commutative integration theory on semifinite factors. △ Less

Submitted 28 April, 2024; originally announced April 2024.

Comments: 38 pages

MSC Class: Primary 47B10. Secondary 46L51; 47B06

Non-linear traces on the algebra of compact operators and majorization

Authors: Masaru Nagisa, Yasuo Watatani

Abstract: We study non-linear traces of Choquet type and Sugeno type on the algebra of compact operators. They have certain partial additivities. We show that these partial additivities characterize non-linear traces of both Choquet type and Sugeno type respectively. There exists a close relation between non-linear traces of Choquet type and majorization theory. We study trace class operators for non-linear… ▽ More We study non-linear traces of Choquet type and Sugeno type on the algebra of compact operators. They have certain partial additivities. We show that these partial additivities characterize non-linear traces of both Choquet type and Sugeno type respectively. There exists a close relation between non-linear traces of Choquet type and majorization theory. We study trace class operators for non-linear traces of Choquet type. More generally we discuss Schatten-von Neumann $p$-class operators for non-linear traces of Choquet type. We determine when they form Banach spaces. This is an attempt of non-commutative integration theory for non-linear traces of Choquet type on the algebra of compact operators. We also consider the triangle inequality for non-linear traces of Sugeno type. △ Less

Submitted 8 September, 2022; originally announced September 2022.

Comments: 32 pages, 3figures. arXiv admin note: substantial text overlap with arXiv:2109.02031

MSC Class: 46L51; 47B06; 47B10

Non-linear traces on matrix algebras, majorization, unitary invariant norms and 2-positivity

Authors: Masaru Nagisa, Yasuo Watatani

Abstract: We study non-linear traces of Choquet type and Sugeno type on matrix algebras. They have certain partial additivities. We show that these partial additivities characterize non-linear traces of both Choquet type and Sugeno type respectively. There exists a close relation among non-linear traces of Choquet type, majorization, unitary invariant norms and 2-positivity. We study non-linear traces of Choquet type and Sugeno type on matrix algebras. They have certain partial additivities. We show that these partial additivities characterize non-linear traces of both Choquet type and Sugeno type respectively. There exists a close relation among non-linear traces of Choquet type, majorization, unitary invariant norms and 2-positivity. △ Less

Submitted 5 September, 2021; originally announced September 2021.

Comments: 20 pages

MSC Class: 46L07 (Primary); 47A64 (Secondary)

Non-linear monotone positive maps

Authors: Masaru Nagisa, Yasuo Watatani

Abstract: We study several classes of general non-linear positive maps between C*-algebras, which are not necessary completely positive maps. We characterize the class of the compositions of *-multiplicative maps and positive linear mapsas the class of non-linear maps of boundedly positive type abstractly. We consider three classes of non-linear positive maps defined only on the positive cones, which are th… ▽ More We study several classes of general non-linear positive maps between C*-algebras, which are not necessary completely positive maps. We characterize the class of the compositions of *-multiplicative maps and positive linear mapsas the class of non-linear maps of boundedly positive type abstractly. We consider three classes of non-linear positive maps defined only on the positive cones, which are the classes of being monotone, supercongruent or concave. Any concave maps are monotone. The intersection of the monotone maps and the supercongruent maps characterizes the class of monotone Borel functional calculus. We give many examples of non-linear positive maps, which show that there exist no other relations among these three classes in general. △ Less

Submitted 22 April, 2020; originally announced April 2020.

Comments: 23 pages

MSC Class: 46L60; 46L70

Systems of two subspases in a Hilbert space

Authors: Masatoshi Enomoto, Yasuo Watatani

Abstract: We study two subspace systems in a separable infinite-dimensional Hilbert space up to (bounded) isomorphism. One of the main result of this paper is the following: Isomorphism classes of two subspace systems given by graphs of bounded operators are determined by unitarily equivalent classes of the operator ranges and the nullity of the original bounded operators giving graphs. We construct several… ▽ More We study two subspace systems in a separable infinite-dimensional Hilbert space up to (bounded) isomorphism. One of the main result of this paper is the following: Isomorphism classes of two subspace systems given by graphs of bounded operators are determined by unitarily equivalent classes of the operator ranges and the nullity of the original bounded operators giving graphs. We construct several non-isomorphic examples of two subspace systems in an infinite-dimensional Hilbert space. △ Less

Submitted 12 October, 2018; originally announced October 2018.

Comments: 13 pages

MSC Class: 46C07; 47A15

Dimension groups for self-similar maps and matrix representations of the core of the associated C*-algebras

Authors: Tsuyoshi Kajiwara, Yasuo Watatani

Abstract: We introduce a dimension group for a self-similar map as the ${\rm K}_0$-group of the core of the $C^*$-algebra associated with the self-similar map together with the canonical endomorphism. The key step for the computation is an explicit description of the core as the inductive limit using their matrix representations over the coefficient algebra, which can be described explicitly by the singular… ▽ More We introduce a dimension group for a self-similar map as the ${\rm K}_0$-group of the core of the $C^*$-algebra associated with the self-similar map together with the canonical endomorphism. The key step for the computation is an explicit description of the core as the inductive limit using their matrix representations over the coefficient algebra, which can be described explicitly by the singularity structure of branched points. We compute that the dimension group for the tent map is isomorphic to the countably generated free abelian group ${\mathbb Z}^{\infty}\cong {\mathbb Z}[t]$ together with the unilatral shift, i.e. the multiplication map by $t$ as an abstract group. Thus the canonical endomorphisms on the ${\rm K}_0$-groups are not automorphisms in geneal. This is a different point compared with dimension groups for topological Markov shifts. We can count the singularity structure in the dimension groups. △ Less

Submitted 23 March, 2018; originally announced March 2018.

Comments: 36 pages

MSC Class: 46L35; 46L80; 46L55

Unbounded strongly irreducible operators and transitive representations of quivers on infinite-dimensional Hilbert spaces

Authors: Masatoshi Enomoto, Yasuo Watatani

Abstract: We introduce unbounded strongly irreducible operators and transitive operators. These operators are related to a certain class of indecomposable Hilbert representations of quivers on infinite-dimensional Hilbert spaces. We regard the theory of Hilbert representations of quivers is a generalization of the theory of unbounded operators. A non-zero Hilbert representation of a quiver is said to be tra… ▽ More We introduce unbounded strongly irreducible operators and transitive operators. These operators are related to a certain class of indecomposable Hilbert representations of quivers on infinite-dimensional Hilbert spaces. We regard the theory of Hilbert representations of quivers is a generalization of the theory of unbounded operators. A non-zero Hilbert representation of a quiver is said to be transitive if the endomorphism algebra is trivial. If a Hilbert representation of a quiver is transitive, then it is indecomposable. But the converse is not true. Let $Γ$ be a quiver whose underlying undirected graph is an extended Dynkin diagram. Then there exists an infinite-dimensional transitive Hilbert representation of $Γ$ if and only if $Γ$ is not an oriented cyclic quiver. △ Less

Submitted 25 March, 2016; originally announced March 2016.

Comments: 43 pages

MSC Class: 47A65 (Primary); 46C07; 47A15; 16G20 (Secondary)

Relative position of three subspaces in a Hilbert space

Authors: Masatoshi Enomoto, Yasuo Watatani

Abstract: We study the relative position of three subspaces in a separable infinite-dimensional Hilbert space. In the finite-dimensional case, Brenner described the general position of three subspaces completely. We extend it to a certain class of three subspaces in an infinite-dimensional Hilbert space. We also give a partial result which gives a condition on a system to have a (dense) decomposition contai… ▽ More We study the relative position of three subspaces in a separable infinite-dimensional Hilbert space. In the finite-dimensional case, Brenner described the general position of three subspaces completely. We extend it to a certain class of three subspaces in an infinite-dimensional Hilbert space. We also give a partial result which gives a condition on a system to have a (dense) decomposition containing a pentagon. △ Less

Submitted 14 October, 2014; v1 submitted 25 July, 2014; originally announced July 2014.

Comments: 22 pages, Proposition 4.1 added, typos added, references added. arXiv admin note: substantial text overlap with arXiv:math/0404545

MSC Class: 46C67; 47A15; 15A21; 16G20; 16G60

Perturbations of intermediate C*-subalgebras for simple C*-algebras

Authors: Shoji Ino, Yasuo Watatani

Abstract: We study uniform perturbations of intermediate C*-subalgebras of inclusions of simple C*-algebras. If a unital simple C*-algebra has a simple C*-subalgebra of finite index, then sufficiently close simple intermediate C*-subalgebras are unitarily equivalent. These C*-subalgebras need not to be nuclear. The unitary can be chosen in the relative commutant algebra. An imediate corollary is the followi… ▽ More We study uniform perturbations of intermediate C*-subalgebras of inclusions of simple C*-algebras. If a unital simple C*-algebra has a simple C*-subalgebra of finite index, then sufficiently close simple intermediate C*-subalgebras are unitarily equivalent. These C*-subalgebras need not to be nuclear. The unitary can be chosen in the relative commutant algebra. An imediate corollary is the following: If the relative commutant is trivial, then the set of intermediate C*-subagebras is a finite set. △ Less

Submitted 8 June, 2013; originally announced June 2013.

Comments: 10 pages

Ideals of the core of C*-algebras associated with self-similar maps

Authors: Tsuyoshi Kajiwara, Yasuo Watatani

Abstract: We give a complete classification of the ideals of the core of the C*-algebras associated with self-similar maps under a certain condition. Any ideal is completely determined by the intersection with the coefficient algebra C(K) of the self-similar set K. The corresponding closed subset of K is described by the singularity structure of the self-similar map. In particular the core is simple if and… ▽ More We give a complete classification of the ideals of the core of the C*-algebras associated with self-similar maps under a certain condition. Any ideal is completely determined by the intersection with the coefficient algebra C(K) of the self-similar set K. The corresponding closed subset of K is described by the singularity structure of the self-similar map. In particular the core is simple if and only if the self-similar map has no branch point. A matrix representation of the core is essentially used to prove the classification. △ Less

Submitted 8 June, 2013; originally announced June 2013.

Comments: LaTeX 2e, 26 pages

MSC Class: 46L08; 46L55

Strongly irreducible operators and indecomposable representations of quivers on infinite-dimensional Hilbert spaces

Authors: Masatoshi Enomoto, Yasuo Watatani

Abstract: We study several classes of indecomposable representations of quivers on infinite-dimensional Hilbert spaces and their relation. Many examples are constructed using strongly irreducible operators. Some problems in operator theory are rephrased in terms of representations of quivers. We shall show two kinds of constructions of quite non-trivial indecomposable Hilbert representations of the Kronecke… ▽ More We study several classes of indecomposable representations of quivers on infinite-dimensional Hilbert spaces and their relation. Many examples are constructed using strongly irreducible operators. Some problems in operator theory are rephrased in terms of representations of quivers. We shall show two kinds of constructions of quite non-trivial indecomposable Hilbert representations of the Kronecker quiver such that their endomorphism rings are trivial, which are called transitive. One is a perturbation of a weighted shift operator by a rank-one operator. The other one is a modification of an unbounded operator used by Harrison,Radjavi and Rosenthal to provide a transitive lattice. △ Less

Submitted 11 March, 2013; originally announced March 2013.

Comments: 27 pages

MSC Class: Primary 47A65; Secondary 46C07; 47A15; 15A21; 16G20; 16G60

C*-algebras associated with complex dynamical systems and backward orbit structure

Authors: Tsuyoshi Kajiwara, Yasuo Watatani

Abstract: Let $R$ be a rational function. The iterations $(R^n)_n$ of $R$ gives a complex dynamical system on the Riemann sphere. We associate a $C^*$-algebra and study a relation between the $C^*$-algebra and the original complex dynamical system. In this short note, we recover the number of $n$-th backward orbits counted without multiplicity starting at branched points in terms of associated $C^*$-algebra… ▽ More Let $R$ be a rational function. The iterations $(R^n)_n$ of $R$ gives a complex dynamical system on the Riemann sphere. We associate a $C^*$-algebra and study a relation between the $C^*$-algebra and the original complex dynamical system. In this short note, we recover the number of $n$-th backward orbits counted without multiplicity starting at branched points in terms of associated $C^*$-algebras with gauge actions. In particular, we can partially imagine how a branched point is moved to another branched point under the iteration of $R$. We use KMS states and a Perron-Frobenius type operator on the space of traces to show it. △ Less

Submitted 4 September, 2012; originally announced September 2012.

Comments: 12 pages

MSC Class: 46L08; 46L55

Traces on cores of C*-algebras associated with self-similar maps

Authors: Tsuyoshi Kajiwara, Yasuo Watatani

Abstract: We completely classify the extreme tracial states onthe cores of the C*-algebras associated with self-similar maps on compact metric spaces. We present a complete list of them. The extreme tracial states are the union of the discrete type tracial states given by measures supported on the finite orbits of the branch points and a continuous type tracial state given by the Hutchinson measure on the o… ▽ More We completely classify the extreme tracial states onthe cores of the C*-algebras associated with self-similar maps on compact metric spaces. We present a complete list of them. The extreme tracial states are the union of the discrete type tracial states given by measures supported on the finite orbits of the branch points and a continuous type tracial state given by the Hutchinson measure on the original self-similar set. △ Less

Submitted 26 April, 2012; originally announced April 2012.

Comments: LaTeX 2e, 25 pages

MSC Class: 46L08; 46L55

Journal ref: Ergod. Th. Dynam. Sys. 34 (2014) 1964-1989

KMS states on finite-graph C*-algebras

Authors: Tsuyoshi Kajiwara, Yasuo Watatani

Abstract: We study KMS states on finite-graph C*-algebras with sinks and sources. We compare finite-graph C*-algebras with C*-algebras associated with complex dynamical systems of rational functions. We show that if the inverse temperature $β$ is large, then the set of extreme $β$-KMS states is parametrized by the set of sinks of the graph. This means that the sinks of a graph correspond to the branched poi… ▽ More We study KMS states on finite-graph C*-algebras with sinks and sources. We compare finite-graph C*-algebras with C*-algebras associated with complex dynamical systems of rational functions. We show that if the inverse temperature $β$ is large, then the set of extreme $β$-KMS states is parametrized by the set of sinks of the graph. This means that the sinks of a graph correspond to the branched points of a rational funcition from the point of KMS states. Since we consider graphs with sinks and sources, left actions of the associated bimodules are not injective. Then the associated graph C*-algebras are realized as (relative) Cuntz-Pimsner algebras studied by Katsura. We need to generalize Laca-Neshevyev's theorem of the construction of KMS states on Cuntz-Pimsner algebras to the case that left actions of bimodules are not injective. △ Less

Submitted 24 July, 2010; originally announced July 2010.

Comments: 23 pages, LaTeX2e

MSC Class: 46L08; 46L55

Fundamental group of simple $C^*$-algebras with unique trace II

Authors: Norio Nawata, Yasuo Watatani

Abstract: We show that any countable subgroup of the multiplicative group $\mathbb{R}_+^{\times}$ of positive real numbers can be realized as the fundamental group $\mathcal{F}(A)$ of a separable simple unital $C^*$-algebra $A$ with unique trace. Furthermore for any fixed countable subgroup $G$ of $\mathbb{R}_+^{\times}$, there exist uncountably many mutually nonisomorphic such algebras $A$ with… ▽ More We show that any countable subgroup of the multiplicative group $\mathbb{R}_+^{\times}$ of positive real numbers can be realized as the fundamental group $\mathcal{F}(A)$ of a separable simple unital $C^*$-algebra $A$ with unique trace. Furthermore for any fixed countable subgroup $G$ of $\mathbb{R}_+^{\times}$, there exist uncountably many mutually nonisomorphic such algebras $A$ with $G = \mathcal{F}(A)$. △ Less

Submitted 22 June, 2010; v1 submitted 2 November, 2009; originally announced November 2009.

Comments: 8 pages, added some results

MSC Class: 46L35; 46L08

Fundamental group of simple $C^*$-algebras with unique trace

Authors: Norio Nawata, Yasuo Watatani

Abstract: We introduce the fundamental group ${\mathcal F}(A)$ of a unital simple $C^*$-algebra $A$ with a unique normalized trace. We compute fundamental groups ${\mathcal F}(A)$ of several nuclear or non-nuclear $C^*$-algebras $A$. K-theoretical obstruction enables us to compute the fundamental group easily. Our study is essentially based on the computation of Picard groups by Kodaka. We introduce the fundamental group ${\mathcal F}(A)$ of a unital simple $C^*$-algebra $A$ with a unique normalized trace. We compute fundamental groups ${\mathcal F}(A)$ of several nuclear or non-nuclear $C^*$-algebras $A$. K-theoretical obstruction enables us to compute the fundamental group easily. Our study is essentially based on the computation of Picard groups by Kodaka. △ Less

Submitted 7 April, 2009; originally announced April 2009.

Comments: 11 pages

MSC Class: 46l05; 46l08

Toeplitz-composition C*-algebras for certain finite Blaschke products

Authors: Hiroyasu Hamada, Yasuo Watatani

Abstract: Let R be a finite Blaschke product of degree at least two with R(0)=0. Then there exists a relation between the associated composition operator C_R on the Hardy space and the C*-algebra associated with the complex dynamical system on the Julia set of R. We study the C*-algebra generated by both the composition operator C_R and the Toeplitz operator T_z to show that the quotient algebra by the id… ▽ More Let R be a finite Blaschke product of degree at least two with R(0)=0. Then there exists a relation between the associated composition operator C_R on the Hardy space and the C*-algebra associated with the complex dynamical system on the Julia set of R. We study the C*-algebra generated by both the composition operator C_R and the Toeplitz operator T_z to show that the quotient algebra by the ideal of the compact operators is isomorphic to the C*-algebra associated with the complex dynamical system, which is simple and purely infinite. △ Less

Submitted 18 September, 2008; originally announced September 2008.

Comments: 14 pages

MSC Class: 46L55; 47B33; 37F10; 46L08

$C^*$-algebras associated with algebraic correspondences on the Riemann sphere

Authors: Tsuyoshi Kajiwara, Yasuo Watatani

Abstract: Let $p(z,w)$ be a polynomial in two variables. We call the solution of the algebraic equation $p(z,w) = 0$ the algebraic correspondence. We regard it as the graph of the multivalued function $z \mapsto w$ defined implicitly by $p(z,w) = 0$. Algebraic correspondences on the Riemann sphere $\hat{\mathbb C}$ give a generalization of dynamical systems of Klein groups and rational functions. We intro… ▽ More Let $p(z,w)$ be a polynomial in two variables. We call the solution of the algebraic equation $p(z,w) = 0$ the algebraic correspondence. We regard it as the graph of the multivalued function $z \mapsto w$ defined implicitly by $p(z,w) = 0$. Algebraic correspondences on the Riemann sphere $\hat{\mathbb C}$ give a generalization of dynamical systems of Klein groups and rational functions. We introduce $C^*$-algebras associated with algebraic correspondences on the Riemann sphere. We show that if an algebraic correspondence is free and expansive on a closed $p$-invariant subset $J$ of $\hat{\mathbb C}$, then the associated $C^*$-algebra ${\mathcal O}_p(J)$ is simple and purely infinite. △ Less

Submitted 22 June, 2008; originally announced June 2008.

Comments: 22 pages, LaTeX2e formated

MSC Class: 46L08; 37F10

Indecomposable representations of quivers on infinite-dimensional Hilbert spaces

Authors: Masatoshi Enomoto, Yasuo Watatani

Abstract: We study indecomposable representations of quivers on separable infinite-dimensional Hilbert spaces by bounded operators. We consider a complement of Gabriel's theorem for these representations. Let $Γ$ be a finite, connected quiver. If its underlying undirected graph contains one of extended Dynkin diagrams $\tilde{A_n} (n \geq 0)$, $\tilde{D_n} (n \geq 4)$, $\tilde{E_6}$,$\tilde{E_7}$ and… ▽ More We study indecomposable representations of quivers on separable infinite-dimensional Hilbert spaces by bounded operators. We consider a complement of Gabriel's theorem for these representations. Let $Γ$ be a finite, connected quiver. If its underlying undirected graph contains one of extended Dynkin diagrams $\tilde{A_n} (n \geq 0)$, $\tilde{D_n} (n \geq 4)$, $\tilde{E_6}$,$\tilde{E_7}$ and $\tilde{E_8}$, then there exists an indecomposable representation of $Γ$ on separable infinite-dimensional Hilbert spaces. △ Less

Submitted 7 July, 2007; v1 submitted 6 July, 2007; originally announced July 2007.

Comments: 34 pages

MSC Class: 46C07; 47A15; 15A21; 16G20; 16G60

Exotic indecomposable systems of four subspaces in a Hilbert space

Authors: Masatoshi Enomoto, Yasuo Watatani

Abstract: We study the relative position of four subspaces in a Hilbert space. For any positive integer n, we give an example of exotic indecomposable system of four subspaces in a Hilbert space whose defect is (2n+1)/3. By an exotic system, we mean a system which is not isomorphic to any closed operator system under any permutation of subspaces. We construct the examples by a help of certain nice sequenc… ▽ More We study the relative position of four subspaces in a Hilbert space. For any positive integer n, we give an example of exotic indecomposable system of four subspaces in a Hilbert space whose defect is (2n+1)/3. By an exotic system, we mean a system which is not isomorphic to any closed operator system under any permutation of subspaces. We construct the examples by a help of certain nice sequences used by Jiang and Wang in their study of strongly irreducible operators. △ Less

Submitted 4 July, 2006; originally announced July 2006.

Comments: 16pages

MSC Class: 46C05; 47A15

KMS states and branched points

Authors: Masaki Izumi, Tsuyoshi Kajiwara, Yasuo Watatani

Abstract: We completely classify the KMS states for the gauge action on a $C^*$-algebra associated with a rational function $R$ introduced in our previous work. The gauge action has a phase transition at $β= \log °R$. We can recover the degree of $R$, the number of branched points, the number of exceptional points and the orbits of exceptional points from the structure of the KMS states. We also classify… ▽ More We completely classify the KMS states for the gauge action on a $C^*$-algebra associated with a rational function $R$ introduced in our previous work. The gauge action has a phase transition at $β= \log °R$. We can recover the degree of $R$, the number of branched points, the number of exceptional points and the orbits of exceptional points from the structure of the KMS states. We also classify the KMS states for $C^*$-algebras associated with some self-similar sets, including the full tent map and the Sierpinski gasket by a similar method. △ Less

Submitted 25 March, 2006; originally announced March 2006.

Comments: 32 pages, LaTeX2e formated

MSC Class: 46L08; 37F10

$C^{\ast}$-Algebras associated with Mauldin-Williams Graphs

Authors: Marius Ionescu, Yasuo Watatani

Abstract: A Mauldin-Williams graph $\mathcal{M}$ is a generalization of an iterated function system by a directed graph. Its invariant set $K$ plays the role of the self-similar set. We associate a $C^{*}$-algebra $\mathcal{O}_{\mathcal{M}}(K)$ with a Mauldin-Williams graph $\mathcal{M}$ and the invariant set $K$ laying emphasis on the singular points. We assume that the underlying graph $G$ has no sinks… ▽ More A Mauldin-Williams graph $\mathcal{M}$ is a generalization of an iterated function system by a directed graph. Its invariant set $K$ plays the role of the self-similar set. We associate a $C^{*}$-algebra $\mathcal{O}_{\mathcal{M}}(K)$ with a Mauldin-Williams graph $\mathcal{M}$ and the invariant set $K$ laying emphasis on the singular points. We assume that the underlying graph $G$ has no sinks and no sources. If $\mathcal{M}$ satisfies the open set condition in $K$ and $G$ is irreducible and is not a cyclic permutation, then the associated $C^{*}$-algebra $\mathcal{O}_{\mathcal{M}}(K)$ is simple and purely infinite. We calculate the K-groups for some examples including the inflation rule of the Penrose tilings. △ Less

Submitted 19 January, 2005; v1 submitted 21 October, 2004; originally announced October 2004.

Comments: 14 pages, Latex, 4 figures. We added new references and did minor changes in the introduction

KMS states on C^*-algebras associated with self-similar sets

Authors: Tsuyoshi Kajiwara, Yasuo Watatani

Abstract: In this paper, we study KMS states for the gauge actions on C${}^*$-algebras associated with self-similar sets whose branch points are finite. If the self-similar set does not contain any branch point, the Hutchinson measure gives the unique KMS state. But if the self-similar set dose contain a branch point, there sometimes appear other KMS states which come from branch points. For this purpose… ▽ More In this paper, we study KMS states for the gauge actions on C${}^*$-algebras associated with self-similar sets whose branch points are finite. If the self-similar set does not contain any branch point, the Hutchinson measure gives the unique KMS state. But if the self-similar set dose contain a branch point, there sometimes appear other KMS states which come from branch points. For this purpose we construct explicitly a basis for a Hilbert C${}^*$-module associated with a self-similar set with finite branch condition. Using this we get condition for a Borel probability measure on K to be extended to a KMS state on the C${}^*$-algebra associated with the original self-similar set. We classify KMS states for the case of dynamics of unit interval and the case of Sierpinski gasket which is related with Complex dynamical system. KMS states for these examples are unique and given by the Hutchinson measure if $β$ is equal to $\log N$, where $N$ is the number of contractions. They are expressed as convex combinations of KMS states given by measures supported on the orbit of the branched points if $β> \log N$. △ Less

Submitted 26 May, 2004; originally announced May 2004.

Comments: 26pages, AMSLaTeX2e

MSC Class: 46L08; 46L80

Relative position of four subspaces in a Hilbert space

Authors: Masatoshi Enomoto, Yasuo Watatani

Abstract: The relative position of one subfactor of a factor has been proved quite rich since the work of Jones. We shall show that the theory of relative position of several subspaces of a separable infinite-dimensional Hilbert space is also rich. In finite-dimensonal case, Gelfand and Ponomarev gave a complete classification of indecomposable systems of four subspaces. We construct exotic examples of in… ▽ More The relative position of one subfactor of a factor has been proved quite rich since the work of Jones. We shall show that the theory of relative position of several subspaces of a separable infinite-dimensional Hilbert space is also rich. In finite-dimensonal case, Gelfand and Ponomarev gave a complete classification of indecomposable systems of four subspaces. We construct exotic examples of indecomposable systems of four subspaces in infinite-dimensional Hilbert spaces. We extend their Coxeter functors and defect using Fredholm index. There exist close connections with strongly irreducible operators and transitive lattices. △ Less

Submitted 16 August, 2004; v1 submitted 30 April, 2004; originally announced April 2004.

Comments: 48 pages,improved content for section 12

MSC Class: 46C07 (Primary) 47A15; 16G60 (Secondary)

C^*-algebras associated with self-similar sets

Authors: Tsuyoshi Kajiwara, Yasuo Watatani

Abstract: Let $γ= (γ_1,...,γ_N)$, $N \geq 2$, be a system of proper contractions on a complete metric space. Then there exists a unique self-similar non-empty compact subset $K$. We consider the union ${\mathcal G} = \cup_{i=1}^N \{(x,y) \in K^2 ; x = γ_i(y)\}$ of the cographs of γ_i$. Then $X = C({\mathcal G})$ is a Hilbert bimodule over $A = C(K)$. We associate a $C^*$-algebra ${\mathcal O}_γ(K)… ▽ More Let $γ= (γ_1,...,γ_N)$, $N \geq 2$, be a system of proper contractions on a complete metric space. Then there exists a unique self-similar non-empty compact subset $K$. We consider the union ${\mathcal G} = \cup_{i=1}^N \{(x,y) \in K^2 ; x = γ_i(y)\}$ of the cographs of γ_i$. Then $X = C({\mathcal G})$ is a Hilbert bimodule over $A = C(K)$. We associate a $C^*$-algebra ${\mathcal O}_γ(K)$ with them as a Cuntz-Pimsner algebra ${\mathcal O}_X$. We show that if a system of proper contractions satisfies the open set condition in $K$, then the $C^*$-algebra ${\mathcal O}_γ(K)$ is simple and purely infinite, which is not isomorphic to a Cuntz algebra in general. △ Less

Submitted 25 March, 2004; v1 submitted 29 December, 2003; originally announced December 2003.

Comments: 22 pages: Corrected Version

MSC Class: 46L08; 46L80

C^*-algebras associated with complex dynamical systems

Authors: Tsuyoshi Kajiwara, Yasuo Watatani

Abstract: Iteration of a rational function $R$ gives a complex dynamical system on the Riemann sphere. We introduce a $C^*$-algebra ${\mathcal O}_R$ associated with $R$ as a Cuntz-Pimsner algebra of a Hilbert bimodule over the algebra $A = C(J_R)$ of continuous functions on the Julia set $J_R$ of $R$. The algebra ${\mathcal O}_R$ is a certain analog of the crossed product by a boundary action. We show tha… ▽ More Iteration of a rational function $R$ gives a complex dynamical system on the Riemann sphere. We introduce a $C^*$-algebra ${\mathcal O}_R$ associated with $R$ as a Cuntz-Pimsner algebra of a Hilbert bimodule over the algebra $A = C(J_R)$ of continuous functions on the Julia set $J_R$ of $R$. The algebra ${\mathcal O}_R$ is a certain analog of the crossed product by a boundary action. We show that if the degree of $R$ is at least two, then $C^*$-algebra ${\mathcal O}_R$ is simple and purely infinite. For example if $R(z) = z^2 - 2$, then the Julia set $J_R = [-2,2]$ and the restriction $R : J_R \to J_R$ is topologically conjugate to the tent map on $[0,1]$. The algebra ${\mathcal O}_{z^2 - 2}$ is isomorphic to the Cuntz algebra ${\mathcal O}_{\infty}$. We also show that the Lyubich measure associated with $R$ gives a unique KMS state on the $C^*$-algebra ${\mathcal O}_R$ for the gauge action at inverse temperature $\log (°R)$ if the Julia set contains no critical points. △ Less

Submitted 17 September, 2003; originally announced September 2003.

Comments: 22 pages

Jones index theory for Hilbert C*-bimodules and its equivalence with conjugation theory

Authors: T. Kajiwara, C. Pinzari, Y. Watatani

Abstract: We introduce the notion of finite right (respectively left) numerical index on a bimodule $X$ over C*-algebras A and B with a bi-Hilbertian structure. This notion is based on a Pimsner-Popa type inequality. The right (respectively left) index element of X can be constructed in the centre of the enveloping von Neumann algebra of A (respectively B). X is called of finite right index if the right i… ▽ More We introduce the notion of finite right (respectively left) numerical index on a bimodule $X$ over C*-algebras A and B with a bi-Hilbertian structure. This notion is based on a Pimsner-Popa type inequality. The right (respectively left) index element of X can be constructed in the centre of the enveloping von Neumann algebra of A (respectively B). X is called of finite right index if the right index element lies in the multiplier algebra of A. In this case we can perform the Jones basic construction. Furthermore the C*--algebra of bimodule mappings with a right adjoint is a continuous field of finite dimensional C*-algebras over the spectrum of Z(M(A)), whose fiber dimensions are bounded above by the index. We show that if A is unital, the right index element belongs to A if and only if X is finitely generated as a right module. We show that bi-Hilbertian, finite (right and left) index C*-bimodules are precisely those objects of the tensor 2-C*-category of right Hilbertian C*-bimodules with a conjugate object, in the sense of Longo and Roberts, in the same category. △ Less

Submitted 22 January, 2003; originally announced January 2003.

Comments: 59 pages, amstex

KMS States, Entropy and the Variational Principle in full C*-dynamical systems

Authors: C. Pinzari, Y. Watatani, K. Yonetani

Abstract: To any periodic, unital and full C*-dynamical system (A, α, R) an invertible operator s acting on the Banach space of trace functionals of the fixed point algebra is canonically associated. KMS states correspond to positive eigenvectors of s. A Perron-Frobenius type theorem asserts the existence of KMS states at inverse temperatures equal the logarithms of the inner and outer spectral radii of s… ▽ More To any periodic, unital and full C*-dynamical system (A, α, R) an invertible operator s acting on the Banach space of trace functionals of the fixed point algebra is canonically associated. KMS states correspond to positive eigenvectors of s. A Perron-Frobenius type theorem asserts the existence of KMS states at inverse temperatures equal the logarithms of the inner and outer spectral radii of s (extremal KMS states). Examples arising from subshifts in symbolic dynamics, self-similar sets in fractal geometry and noncommutative metric spaces are discussed. Certain subshifts are naturally associated to the system and the relationship between their topological entropy and inverse temperatures of extremal KMS states are given. Noncommutative shift maps are considered. It is shown that their entropy is bounded by the sum of the entropy of the associated subshift and a suitable entropy computed in the homogeneous subalgebra. Examples are discussed among Matsumoto algebras associated to certain non finite type subshifts. The CNT entropy is compared to the classical measure-theoretic entropy of the subshift. A noncommutative analogue of the classical variational principle for the entropy of subshifts is obtained for the noncommutative shift of certain Matsumoto algebras. More generally, a necessary condition is discussed. In the case of Cuntz-Krieger algebras an explicit construction of the state with maximal entropy from the unique KMS state is done. △ Less

Submitted 15 March, 2000; v1 submitted 18 December, 1999; originally announced December 1999.

Comments: 52 pages, AMSTeX. An error in Prop. 7.3 v1 has been corrected, and related text in sections 7-9 has been modified. References added. Abstract modified

Ideal structure and simplicity of the C*-algebras generated by Hilbert bimodules

Authors: Tsuyoshi Kajiwara, Claudia Pinzari, Yasuo Watatani

Abstract: Pimsner introduced the C*-algebra O_X generated by a Hilbert bimodule X over a C*-algebra A. We look for additional conditions that X should satisfy in order to study simplicity and, more generally, the ideal structure of O_X when X is finite projective. We introduce two conditions: `(I)-freeness' and `(II)-freeness', stronger than the former, in analogy with [J. Cuntz, W. Krieger, Invent. Math.… ▽ More Pimsner introduced the C*-algebra O_X generated by a Hilbert bimodule X over a C*-algebra A. We look for additional conditions that X should satisfy in order to study simplicity and, more generally, the ideal structure of O_X when X is finite projective. We introduce two conditions: `(I)-freeness' and `(II)-freeness', stronger than the former, in analogy with [J. Cuntz, W. Krieger, Invent. Math. 56, 251-268] and [J. Cuntz, Invent. Math. 63, 25-40] respectively. (I)-freeness comprehend the case of the bimodules associated with an inclusion of simple C*-algebras with finite index, real or pseudoreal bimodules with finite dimension and the case of `Cuntz-Krieger bimodules'. If X satisfies this condition the C*-algebra O_X does not depend on the choice of the generators when A is faithfully represented. As a consequence, if X is (I)-free and A is X-simple, then O_X is simple. In the case of Cuntz-Krieger algebras, X-simplicity corresponds to irreducibility of the defining matrix. If A is simple and p.i. then O_X is p.i., if A is nonnuclear then O_X is nonnuclear. We therefore provide examples of (purely) infinite nonnuclear simple C*-algebras. Furthermore if X is (II)-free, we determine the ideal structure of O_X. △ Less

Submitted 14 February, 1998; originally announced February 1998.

Comments: 23 pages, AmsTeX, revised version Jan. 98, to appear in Journ. Funct. Anal