A C*-algebra is a complex Banach algebra together with an isometric antilinear involution satisfying (a b)* = b* a* and the C*-identity ‖a* a‖ = ‖a‖². Related tags: [tag:banach-algebras], [tag:von-neumann-algebras], [tag:operator-algebras], [tag:spectral-theory].

learn more… | top users | synonyms

0
votes
0answers
33 views

realizing/ understanding $C^*(\phi_g(C([0,1])))$ and "support projection of an element of a $C^*$-algebra [migrated]

someone asked me the following question but I don't know the answer, but and I'm interested in it too. Let $C([0,1])=\{f:[0,1]\to\mathbb{C}; \text{f is continuous}\}$, $g\in C([0,1])$ be a positive ...
5
votes
2answers
145 views

fixpoint algebras of a permutation action

Let $D$ be an infinite UHF algebra, e.g. the infinite tensor product of the matrix algebra $M_k(\mathbb{C})$. The permutation group $\Sigma_n$ acts on the $n$-fold tensor product $D^{\otimes n}$ in a ...
0
votes
0answers
74 views

Range of a trace preserving completely positive projection

I'm working in $M_n(\mathbb{C})$, the algebra of complex $n\times n$ matrices. I managed to build a completely positive, trace preserving, star preserving, projection $P$. That is $$\text{Tr}(P(A)) = ...
1
vote
0answers
73 views

A noncommutative vector bundle associated with a codimension one foliation

Assume that we have a codimension one foliation of a manifold $M$ which is generated by a one form $\alpha$. So the following $\phi$ satisfies $\phi \circ \phi =0$:$$\phi:\Omega^{i}(M)\to ...
3
votes
1answer
92 views

Conjugacy of circle actions on UHF C*-algebras

Consider pointwise continuous actions of the unit circle on the $2^{\infty}$-UHF C*-algebra A by *-automorphisms. Assume that two such actions have the same fixed point algebra, i.e., elements that ...
0
votes
0answers
94 views

Product of two foliations

1.What is an example of a manifold $M$ with two foliations $F$ and $F'$ which are not topological equivalent but the product foliations $F\times F$ and $F'\times F'$, as foliations on $M\times M$, ...
5
votes
0answers
135 views

Unital $C^{*}$ algebras which all elements have path connected spectrum

A unital $C^{*}$ algebra is called "Path connected" if the spectrum of all its elements are path connected. Is the tensor product of two path connected algebra, a path connected algebra? What ...
0
votes
1answer
127 views

All AI-algebras are AT-algebras

It is known that every AI-algebra (i.e. inductive limit of interval algebras) is an AT-algebra (i.e. inductive limit of circle algebras)? This seems a little bit odd because a building block of an ...
3
votes
1answer
219 views

Finite codimensional subvector space of $C^{*}$ algebras which contains no invertible elements

Assume that $A$ is a unital $C^{*}$ algebra. Is there a subvector space $Y\subset A$ of finite codimension which does not contain any invertible element? Let $n(A)$ be the infimum of such ...
1
vote
0answers
107 views

Inductive/Projective Limits of Topological Algebras

It is common to form inductive/projective limits of Banach/Frechet spaces in order to come up with natural topologies for common vector spaces. For instance, For $k \ge 0$ and $K_n$ compact ...
0
votes
1answer
150 views

Totally non hereditary $C^{*}$-subalgebras

Assume that $B$ is a $C^{*}$ subalgebra of $A$. We say $B$ is totally non hereditary subalgebra of $A$ if not only $B$ is not a hereditary subalgebra but also it is not isomorphic to any ...
18
votes
2answers
819 views

Commutators in the reduced C*-algebra of the free group

Is it known whether any element of trace 0 in the reduced $C^*$-algebra of a non-abelian free group, is a limit of sums of (additive) commutators?
1
vote
0answers
103 views

A continuous choice of invertible elements

Let $A$ be a simple unital $C^{*}$ algebra with invertible elements $G(A)$. Assume that $A^{*}$ is its dual space, which is equipped with the weak star topology. Is there a continuous map ...
12
votes
2answers
472 views

Realisation of the noncommutative torus as a universal $ C^{*} $-algebra

One of the most basic examples in noncommutative geometry is the so-called noncommutative torus, denoted here by $ \mathbb{T}_{\theta} $. As far as I know, there are several equivalent constructions ...
2
votes
0answers
114 views

Generalising the $L^2$-Norm to Compact Quantum Groups

For a compact quantum group (in the sense) of Woronowicz, we have a noncommutative $C^*$-algebra replacing ${\mathbb C}(G)$. This $C^*$-algebra is endowed with a linear functional generalizing the ...
2
votes
0answers
49 views

Hilbert c*-module over approximately finite c*-algebra

Is there a construction of a Hilbert c*-module over an approximately finite c*-algebra using Hilbert c*-modules over finite algebras? How do we get a Hilbert c*-module over an inductive limit of such ...
6
votes
1answer
172 views

Connes' correspondences of two $L^\infty$-algebras

In his "Noncommutative Geometry" book Connes asserts (on p. 539) that for two standard probability spaces $(X,\mu_X)$, $(Y,\nu_Y)$ an $N$-$M$-bimodule for $M=L^\infty(X,\mu_X)$ and ...
1
vote
1answer
64 views

strong convergence in Hilbert c* module

For a monotone sequence of projections in Hilbert c* module, do we have similar conclusion as in Hilbert space (such as strong convergence)? If not, what could be said in that situation?
6
votes
1answer
191 views

Proving a certain $ C^{*} $-algebraic inequality

Let $ A $ be a non-unital $ C^{*} $-algebra. Is there an ‘elementary’ way to prove, for all $ (a,\lambda) \in A \times \mathbb{C} $, the inequality $$ |\lambda| \leq \sup_{b \in A, ~ \| b \| \leq 1} ...
0
votes
0answers
71 views

A possible characterization of finite dimensional $C^{*}$ algebras

Is there an infinite dimensional unital $C^{*}$ algebra $A$ with invertible group $U$ such that for every finite dimensional subvector space $Y\subset A$, the number of connected components of ...
7
votes
1answer
544 views

When $C(X)$ is an injective $C(X)$-module? Current answer is erroneous

It is an old question if every injective Banach space is isomorphic as Banach space to $C(X)$-space. I would like to know if the weakened module version of this question is answered. More precisely: ...
2
votes
1answer
201 views

Integration in C^* algebra

Let $\mathfrak{A}$ be a C${}^*$ algebra and $\mathbb{R}\ni s \mapsto \alpha_s$ a continuous family of its automorphisms. Is it true that $$ \int d s \, f(s)\, \alpha_s(A) $$ is well defined as a ...
5
votes
0answers
247 views

A generalization of real characters on a group

Yesterday I understood that I can't live without this construction: Let $G$ be a group, $A$ an associative algebra over $\mathbb R$ and $n\in{\mathbb N}$. We consider a sequence of maps ...
3
votes
0answers
180 views

Is $\mathcal{K}(H)$ injective $\mathcal{B}(H)$-module?

Does anyone know if the right Banach $\mathcal{B}(H)$-module $\mathcal{K}(H)$ is injective? The same question for $\ell_\infty$-module $c_0$. Both these modules are not dual, so standard arguments ...
13
votes
2answers
818 views

Range of completely positive projection

Let $A$ be a C*-algebra. Suppose that $P:A \rightarrow A$ is a contractive completely positive projection. Does the range $P(A)$ is completely order isomorphic to a $C^*$-algebra? In the case where ...
9
votes
1answer
576 views

Saito-Wright definition of Rickart C*-algebras

A C*-algebra is Rickart if for each $x\in A$ there is a projection $p\in A$ so that $R(x)=pA$. Here the right-annihilator $R(S)$ of $S\subset A$ is defined as $$R(S)=\{a\in A\mid xa=0\, \forall ...
2
votes
0answers
202 views

The kernel of $C^{*}(G)\to C_{r}^{*}(G)$

Let $G$ be a locally compact group. Put $I(G)=\ker: C^{*}(G) \to C_{r}^{*} (G)$, the kernel of the canonical morphism. What type of $C^{*}$ algebras can not be isomorphic to $I(G)$, for some ...
4
votes
2answers
200 views

The closure of all periodic homeomorphisms of circle

Let $X$ be the space of all continuous maps from $S^{1}$ to $S^{1}$. $X$ is equipped with $C^{0}$ topology. Let $Y\subset X$ be the union of all finite order homeomorphisms i.e: all ...
3
votes
1answer
181 views

Can the full and reduced group $C^*$-algebras be “noncanonically” isomorphic?

Is there a locally compact group $G$ such that the canonical map from $C^{*}(G)$ to $C^{*}_{red} G$ is not isomorphism, hence $G$ is not amenable but these two $C^{*}$ algebras are isomorphic ...
10
votes
1answer
231 views

Inner and extendible automorphisms of C*-algebras

If an automorphism $\alpha$ of a C*-algebra $A$ is inner then whenever $A$ is a subalgebra of another C*-algebra $B$, $\alpha$ obviously extends to $B$. Is the converse true: if an automorphism ...
6
votes
2answers
528 views

The monotone closure of a $C^*$-algebra

Related to Jon's question, I have two questions. Let $\mathcal{A}$ be a concrete $C^*$-algebra on a Hilbert space $\mathcal{H}$. For any selfadjoint subset $S$ of $\mathbb{B}(\mathcal{H})$, let $S^m$ ...
13
votes
0answers
262 views

$C^*$-algebra generated by those operators that are bounded on every $\ell_p$

Suppose $T: c_{00} \to c_{00}$ is a linear map such that, when regarded as an infinite matrix, there is a uniform bound on the $\ell_1$-norms of its columns, and a uniform bound on the $\ell_1$-norms ...
2
votes
1answer
164 views

When do infinitesimals split in dimension groups?

Let $G$ be a dimension group (i.e. a directed, unperforated abelian group satisfying the Riesz interpolation property) with order unit $u\in G^{+}$. There is a canonical positive group homomorphism ...
15
votes
2answers
1k views

The letters of the word “ART”

Edit: According to the Gelfand duality between topological spaces and commutative $C^{*}$algebras, I add some new tags. So the question is that what is the structure of $ Ext (A,A)$ where $A$ is ...
0
votes
1answer
159 views

Murray–von Neumann equivalence on C$^*$-algebra and von Neumann algebra

Let $H$ be a separable infinite dimensional Hilbert space, $M \subset B(H)$ a von Neumann algebra and $A \subset M$ a separable $C^*$-algebra such that $A''=M$. Let $p,q \in M_{\infty}(A)$ be ...
3
votes
0answers
68 views

How the modular theory of von Neumann algebras, deal with generating C*-algebras?

Let $H$ be a separable infinite dimensional Hilbert space, $M \subset B(H)$ a von Neumann algebra and $A \subset M$ a separable $C^*$-algebra such that $A''=M$. Suppose the existence of a bicyclic ...
10
votes
1answer
254 views

applications of C$^*$-algebras in the field of PDEs

I know only a little bit about C$^*$-algebras and I want a to know if you know a nice apllication or the influence of them in the field of partial differential equations (it is better that it is ...
2
votes
1answer
218 views

A commutative Banach algebra with an abundance of discountinuous functions

Let $A$ be the algebra of all bounded functions from $[0,\;1]$ to $\mathbb{C}$. For $f\in A,\;$ $\omega_{f}$ is the standard oscillation function.. Each of the following two (equivalent) norms ...
2
votes
1answer
115 views

Obstructions for $C^\star$ algebras to contain a $Z^\star$ algebra

As the comment of Andreas Thom indicated here, a separable $C^\star$ algebra $A$ can not contain a $Z^\star$ algebra.(A $Z^\star$ algebra is a $C^\star$ algebra which all elements are zero ...
0
votes
1answer
177 views

A question on K- theory of non commutative $C^\star$ algebra

Edit: According to the comment of Andre Henriques I revise the question: What is an example of a noncommutative unital $C^\star$ algebra $A$, which is not Morita equivalent to a commutative ...
2
votes
0answers
70 views

A question on extension of $Z^{*}$ algebras

A $Z^{*}$ algebra is a $C^{*}$ algebra which all elements are(two sided or equivalently one sided) zero divisor. Are there two $Z^{*}$ algebras $A,B$ such that for every short exact sequence ...
3
votes
1answer
119 views

Simple $Z^{*}$ algebra

What is an example of a simple $C^{*}$ algebra which all elements are (two sided or equivalently one sided) zero divisor?
1
vote
0answers
130 views

Connected component of the identity in graded banach algebras

I search for a noncommutative idempotent less Banach algebra $A$ which is graded by a finite Abelian group $G$ such that a nontrivial homogenous element lies in the same connected component ...
4
votes
1answer
151 views

Noncommutative version of Littlewood's First Principle

There are definitely noncommutative analogues for Lusin's theorem and Egoroff's theorem (found in Blackadar for example). I'm curious if there is a version of the first principle: Every Lebesgue ...
3
votes
1answer
160 views

A nilpotency question on $C^{*}$ algebras

What is an example of a $C^{*}$ algebra $A$ with the property that: for every nilpotent(Quasi nilpotent) $a$ and for every $n\in \mathbb{N}$, there is a $b$ with $b^{n}=a$. To what extent ...
2
votes
1answer
228 views

Non commutative topological manifolds

Assume that $A$ is a Banach algebra with two closed two sided ideals $I$ and $J$ such that $I$ and $J$ are commutative and $A=I+J$. Does this implies that $A$ is commutative? For the ...
2
votes
2answers
279 views

If $ F(x,\bullet) \in {L^{2}}(G,B) $ for all $ x \in G $, then is $ x \mapsto F(x,\bullet) $ strongly measurable?

This question is related to something that I asked yesterday: If $ F(x,\bullet) \in {L^{\infty}}(G,B) $ for all $ x \in G $, then is $ x \mapsto F(x,\bullet) $ strongly measurable? Pietro Majer ...
2
votes
1answer
77 views

A Possible characterization of F.D or AF commutative $C^{*}$ algebras

By F.D or AF $C^{*}$ algebra,we mean finite dimensional or approximately finite dimensional $C^{*}$ algebra. Let $A$ be a unital commutative $C^{*}$ algebra with the property that for every ...
2
votes
0answers
105 views

A topological space extracting from a group action

Let $G$ be a compact abelian topological group with invariant measure $\mu$ which acts on a compact Hausdorff space $X$. A $G$-odd function is a continuous function $f:X\to ...
4
votes
1answer
104 views

A Hilbert-space completion of a Hilbert $ C^{*} $-module over a separable $ C^{*} $-algebra

Let $ B $ be a separable $ C^{*} $-algebra and $ \mathcal{E} $ a Hilbert $ B $-module. We know that $ B $ has a faithful state $ \phi $. Using $ \phi $, we can construct a $ \mathbb{C} $-valued ...