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
1answer
5 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 A$ be (Murray–von ...
2
votes
1answer
196 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 ...
3
votes
1answer
236 views

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

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: ...
9
votes
1answer
198 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 ...
0
votes
1answer
147 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
1answer
103 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 ...
3
votes
1answer
104 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?
2
votes
0answers
69 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 ...
4
votes
1answer
144 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
143 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
212 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
264 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
71 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
101 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
89 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 ...
0
votes
0answers
59 views

Showing that a particular function from a locally compact Hausdorff group $ G $ to a $ C^{*} $-algebra $ A $ is Bochner-measurable

Suppose that we have the following data: A $ C^{*} $-algebra $ A $. A locally compact Hausdorff group $ G $. A strongly Borel mapping $ \alpha: G \to \text{Aut}(A) $, the automorphism group of $ A ...
5
votes
0answers
203 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 ...
10
votes
0answers
155 views

Status of the analog of the Haar measure on quantum groups

In (Masuda, Nakagami, Woronowicz)'s paper, in the introduction, the authors mentioned the deficiency common to both their and (Kusterman, Vaes)'s approach regarding the Haar state (or Haar measure ...
5
votes
1answer
201 views

A perturbation question for the intersection of C*-subalgebras

This feels like something I may have asked before (in which case, apologies) and it also might be some kind of "standard counterexample in a book on C* algebras". Let M be a unital C*-algebra and let ...
0
votes
0answers
39 views

One dimensional foliation of surfaces with prescribed graph of foliation

According to the definition of the graph of a foliation by Winkelnkemper we ask the following questions: Let $G$ be one of the following non hausdorff 3 dim manifold 1) $G$ is a ...
10
votes
1answer
241 views

Commuting nets for commuting projections

I think this should not be too difficult, but I am not an expert. I did not get an answer on stackexchange. Let $A$ be a $C$*-algebra and let $p,q\in A^{**}$ be two commuting projections. Then there ...
1
vote
1answer
122 views

An unconventional definition of the $ C^{*} $-algebraic reduced crossed product

Let $ (A,G,\alpha) $ be a $ C^{*} $-dynamical system, i.e., $ A $ is a $ C^{*} $-algebra, $ G $ is a locally compact Hausdorff group and $ \alpha $ is a strongly continuous action of $ G $ on $ A $ by ...
2
votes
1answer
141 views

Is this left ideal of C*-algebra principal?

This is a follow up of this question. Let $I$ be closed left ideal of $C^*$-algebra $A$. Assume we are given a sequence of left $A$-module morphisms $R_n:I\to A$ with $\sum_n \Vert ...
5
votes
1answer
198 views

C*-bimodules: the mess with definitions

I used to participate in a seminar that taught students about foundations of non-commutative geometry. It isn’t very complicated to define a C*-module $\mathcal E$ (also known as C* Hilbert module) ...
0
votes
0answers
97 views

A special Lie subalgebra

Motivated by comments of the following post A question on involutions on the Lie algebra of vector fields we ask the following question: Let $L$ be a Lie algebra. We consider the Lie subalgebra ...
2
votes
1answer
189 views

$R$ is a right multiplier and $R(a)b=a\overset{?}{\implies} A$ is unital

Let $A$ be a $C^*$-algebra, and $R:A\to A$ its right multilplier. Is it true that $$ \exists b\in A\quad \forall a\in A \quad R(a)b=a\qquad $$ implies $A$ is unital. I know this is true if A is a ...
1
vote
3answers
175 views

K-theory for the $C^*-$algebra of the continuous functions on the $2-$torus and the Bott projection

I am trying to understand the K-theory for the $C^*-$algebra of the continuous functions on the $2-$dimensional torus $T^2$. In particular I am interested on the $K_0-$group. I have read that the ...
5
votes
1answer
126 views

Generators of the $ K_{0} $-group of the non-commutative torus $ A_{\theta} $ with $ \theta \in \mathbb{Q} $ (i.e. rational rotation algebra)

I am studying the non-commutative torus $ A_{\theta} $. When $ \theta $ is irrational, $ {K_{0}}(A_{\theta}) $ is generated by $ [1] $ and $ [p_{\theta}] $. (Note: $ p_{\theta} $ is a projection in ...
3
votes
0answers
157 views

Are two $W^*$-algebras $A$ and $B$ that are Morita equivalent (in the sense of Rieffel) also Morita equivalent in the algebraic sense (as rings)?

Let $A$ and $B$ be $C^*$-algebras, I had a question about Morita equivalence for $C^*$-algebras and $W^*$-algebras, I've come across 3 concepts: Morita equivalence for $C^*$-algebras: Equivalence ...
9
votes
1answer
245 views

Do direct limits (filtered colimits) commute with pullbacks, in C*-algebras?

I asked this question already on math.stackexchange, but maybe it is also useful to ask this here, since it was not answered there. Suppose we have three directed sequences of $C^*$-algebras, say ...
9
votes
0answers
169 views

Do quotients of amenable groups C*-algebras satisfy the UCT?

Let G be a discrete amenable group. General Question: Let $J$ be an ideal of $C^*(G)$, the group C*-algebra of $G.$ Does $C^*(G)/J$ satisfy the universal coefficient theorem (UCT)? I am mainly ...
5
votes
0answers
121 views

allowing `discontinuous functions' into a C* algebra

There follows a possible construction, and I would like to know if it or a similar construction has been done before (as I suspect), so that I can reference it, or if it obviously does not work! Any ...
5
votes
0answers
211 views

Is the crossed product $\mathcal{K} \rtimes G$ a groupoid algebra?

Suppose G, a discrete group acting on the compact operators $\mathcal{K}$ by automorphism of C*-algebra $\mathcal{K}$. Can we view the crossed product as a groupoid C*-algebra of some groupoid? This ...
4
votes
1answer
182 views

A question on $Z^{*}$ algebras

A $Z^{*}$ algebra is a $C^{*}$ algebra which satisfies each of the following equivalent conditions: All elements of $A$ are left zero divisor. All elements are right zero divisor. All elements ...
1
vote
1answer
73 views

Unitization via “End points compactification”

We know that every compactification of locally compact Hausdorff spaces correspond to a unitization of $C^{*}$ algebras. For example the one point compactification corresponds to the minimal ...
5
votes
0answers
175 views

Is translation by the free group (in two generators) on a certain completion of the group an amenable action?

Let $\mathbb{F}_2 = \langle a,b\rangle$ be the free group in two generators $a,b$ and let $\alpha \in \text{End}(\mathbb{F}_2)$ be given by $\alpha(a) = a^2, \alpha(b)= b^2$. Note that the index ...
4
votes
1answer
173 views

von Neumann algebras generated by commutators

Let $A$ be a UHF-algebra of type $n^{\infty}$ and denote its unique and faithful trace by $\tau$. Let $L^2(A)$ be the Hilbert space of the GNS-representation associated to $\tau$. We have two ...
1
vote
0answers
116 views

Number of connected components of a $C^{*}$ algebra

Motivating by the concept in the following post What are these compact sets called? We introduce the following concept: Let $A$ be a unital $C^{*}$ algebra. We consider the unitary equivalent ...
0
votes
1answer
156 views

Injective element of a commutative Banach algebra

A revision: According to the comment of Nate Eldredge, in order to avoid the triviality, we revise the property $P$. Assume that $A$ is a commutative unital Banach algebra. Its maximal ideal ...
0
votes
0answers
241 views

A noncommutative vector bundle

We know that a noncommutative vector bundle is a finitely generated projective $A$-module where $A$ is a non commutative $C^{*}$ algebra. In this question we introduce a particular non commutative ...
10
votes
1answer
237 views

Compact Quantum Groups and the Existence of the Classical Haar Measure

Before I state my question, let me provide the definition of a compact quantum group. Definition: An ordered pair $ \mathscr{G} = (\mathscr{A},\Phi) $ is called a compact quantum group if ...
5
votes
0answers
141 views

Dense ideals in C*-algebras and K-theory

Let $A$ be a nonunital C*-algebra and let $I \subset A$ be a dense, $*$-closed, 2-sided ideal. I was under the impression that there existed some "obvious" argument proving that $I$ carries all the ...
1
vote
0answers
69 views

tensor product of the disc algebra with itself

Let $A=\mathcal{A}(\mathbb{D})$ be the disc algebra. Is there a cross norm on $A\otimes A$, which is compatible to the Banach algebra multiplication, such that the resulting Banach algebra has a ...
0
votes
0answers
49 views

Quick question about conjugate equivalence bimodules and inner products

let $A$ and $B$ be $W^{*}$-algebras, let $X$ be an $A-B$-equivalence bimodule (according to the definition given in "Morita equivalence for $C^*$-algebras and $W^*$-algebras" by Rieffel, ...
7
votes
0answers
282 views

Unique maximal ideal in group C*-algebras

Let $G$ be a discrete group. Let $C^*(G)$ denote the full group C*-algebra of $G.$ Let $\pi:C^*(G)\rightarrow \mathbb{C}$ be the *-homomorphism associated with the trivial representation of $G.$ ...
3
votes
0answers
62 views

Closure of pseudodifferential operators of order 0 on compact manifolds

Let $M$ be a compact manifold. If we have a pseudodifferential operator $P$ of order $0$ on $M$, then $P$ is pseudolocal, i.e., every commutator $[f,P]$ with a continuous function $f \in C(M)$ is a ...
1
vote
1answer
224 views

When are completely positive maps monic/epic?

In the category of C*-algebras and $*$-homomorphisms, a morphism is monic precisely when it is injective, and epic precisely when it is surjective (see Mono- and epi-morphisms for C*-algebras). Is ...
11
votes
3answers
405 views

Is the space of *-homomorphisms between two $C^*$-algebras locally path connected

Given the set of *-homomorphisms between two $C^*$-algebras $A$ and $B$, we may define a metric on it by setting $d(f,g):= \sup_{0<\|a\|\le 1}\|f(a)-g(a)\|$. Could it be true that, for each ...
1
vote
0answers
63 views

Uniform structure on the Banach bundle generated by a Banach module

The construction used in the Dauns-Hofmann theorem defines a Banach bundle $\pi:X\to M$ that corresponds to any $C^*$-subalgebra $A$ lying in the center of a $C^*$-algebra $B$ (this is described for ...
5
votes
2answers
450 views

When is it $C(X)$?

Suppose that $\tilde{X}$ is a compact space. If $C(\tilde{X})$ is isometrically isomorphic to the second dual of a Banach space, does there exist a locally compact space $X$ such that ...