• 제목/요약/키워드: AF algebra

검색결과 6건 처리시간 0.023초

FREDHOLM ALTERNATIVES FOR AF ALGEBRAS

  • Cho, Sung-Je
    • 대한수학회논문집
    • /
    • 제10권2호
    • /
    • pp.331-335
    • /
    • 1995
  • We prover Fredholm alternatives for AF algebras: If an element have the finite null projection and the confinite range projection then its image in the relative Calkin algebra is invertible.

  • PDF

ON THE STABILITY OF A FIXED POINT ALGEBRA C*(E)γ OF A GAUGE ACTION ON A GRAPH C*-ALGEBRA

  • Jeong, Ja-A.
    • 대한수학회지
    • /
    • 제46권3호
    • /
    • pp.657-673
    • /
    • 2009
  • The fixed point algebra $C^*(E)^{\gamma}$ of a gauge action $\gamma$ on a graph $C^*$-algebra $C^*(E)$ and its AF subalgebras $C^*(E)^{\gamma}_{\upsilon}$ associated to each vertex v do play an important role for the study of dynamical properties of $C^*(E)$. In this paper, we consider the stability of $C^*(E)^{\gamma}$ (an AF algebra is either stable or equipped with a (nonzero bounded) trace). It is known that $C^*(E)^{\gamma}$ is stably isomorphic to a graph $C^*$-algebra $C^*(E_{\mathbb{Z}}\;{\times}\;E)$ which we observe being stable. We first give an explicit isomorphism from $C^*(E)^{\gamma}$ to a full hereditary $C^*$-subalgebra of $C^*(E_{\mathbb{N}}\;{\times}\;E)({\subset}\;C^*(E_{\mathbb{Z}}\;{\times}\;E))$ and then show that $C^*(E_{\mathbb{N}}\;{\times}\;E)$ is stable whenever $C^*(E)^{\gamma}$ is so. Thus $C^*(E)^{\gamma}$ cannot be stable if $C^*(E_{\mathbb{N}}\;{\times}\;E)$ admits a trace. It is shown that this is the case if the vertex matrix of E has an eigenvector with an eigenvalue $\lambda$ > 1. The AF algebras $C^*(E)^{\gamma}_{\upsilon}$ are shown to be nonstable whenever E is irreducible. Several examples are discussed.

FIXED POING ALGEBRAS OF UHF-ALGEBRA $S^*$

  • Byun, Chang-Ho;Cho, Sung-Je;Lee, Sa-Ge
    • 대한수학회보
    • /
    • 제25권2호
    • /
    • pp.179-183
    • /
    • 1988
  • In this paper we study a $C^{*}$-dynamical system (A, G, .alpha.) where A is a UHF-algebra, G is a finite abelian group and .alpha. is a *-automorphic action of product type of G on A. In [2], A. Kishimoto considered the case G= $Z_{n}$, the cyclic group of order n and investigated a condition in order that the fixed point algebra $A^{\alpha}$ of A under the action .alpha. is UHF. In later N.J. Munch studied extremal tracial states on $A^{\alpha}$ by employing the method of A. Kishimoto [3], where G is a finite abelian group. Generally speaking, when G is compact (not necessarily discrete and abelian), $A^{\alpha}$ is an AF-algebra and its ideal structure was well analysed by N. Riedel [4]. Here we obtain some conditions for $A^{\alpha}$ to be UHF, where G is a finite abelian group, which is an extension of the result of A. Kishimoto.oto.

  • PDF

ALMOST QUADRATIC LIE *-DERIVATIONS ON CONVEX MODULAR *-ALGEBRAS

  • Ick-Soon Chang;Hark-Mahn Kim
    • Nonlinear Functional Analysis and Applications
    • /
    • 제28권4호
    • /
    • pp.887-902
    • /
    • 2023
  • In this article, we investigate an approximate quadratic Lie *-derivation of a quadratic functional equation f(ax + by) + abf(x - y) = (a + b)(af(x) + bf(y)), where ab ≠ 0, a, b ∈ ℕ, associated with the identity f([x, y]) = [f(x), y2] + [x2, f(y)] on a 𝜌-complete convex modular *-algebra χ𝜌 by using ∆2-condition via convex modular 𝜌.

SELF-ADJOINT INTERPOLATION ON Ax = y IN CSL-ALGEBRA ALGL

  • Kang, Joo-Ho;Jo, Young-Soo
    • Journal of applied mathematics & informatics
    • /
    • 제15권1_2호
    • /
    • pp.503-510
    • /
    • 2004
  • Given vectors x and y in a Hilbert space, an interpolating operator is a bounded operator T such that Tx = y. An interpolating operator for n vectors satisfies the equation $Tx_i\;=\;y_i,\;for\;i\;=\;1,\;2,\;\cdots,\;n$. In this paper the following is proved: Let H be a Hilbert space and L be a commutative subspace lattice on H. Let H and y be vectors in H. Let $M_x\;=\;\{{\sum{n}{i=1}}\;{\alpha}_iE_ix\;:\;n\;{\in}\;N,\;{\alpha}_i\;{\in}\;{\mathbb{C}}\;and\;E_i\;{\in}\;L\}\;and\;M_y\;=\;\{{\sum{n}{i=1}}\;{\alpha}_iE_iy\;:\;n\;{\in}\;N,\;{\alpha}_i\;{\in}\;{\mathbb{C}}\;and\;E_i\;{\in}\;L\}. Then the following are equivalent. (1) There exists an operator A in AlgL such that Ax = y, Af = 0 for all f in ${\overline{M_x}}^{\bot}$, AE = EA for all $E\;{\in}\;L\;and\;A^{*}\;=\;A$. (2) $sup\;\{\frac{{\parallel}{{\Sigma}_{i=1}}^{n}\;{\alpha}_iE_iy{\parallel}}{{\parallel}{{\Sigma}_{i=1}}^{n}\;{\alpha}_iE_iy{\parallel}}\;:\;n\;{\in}\;N,\;{\alpha}_i\;{\in}\;{\mathbb{C}}\;and\;E_i\;{\in}\;L\}\;<\;{\infty},\;{\overline{M_u}}\;{\subset}{\overline{M_x}}$ and < Ex, y >=< Ey, x > for all E in L.