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

21
votes
0answers
1k views

Finite-dimensional subalgebras of $C^\star$-algebras

Let $A$ be a unital $C^\star$-algebra and let $a_1,\dots,a_n$ be a finite list of normal elements in $A$ which (together with their adjoints) generate a norm-dense $\star$-subalgebra $B \subset A$. ...
12
votes
0answers
668 views

Must we close weakly to apply the spectral theorem?

Let $H$ be an infinite dimensional separable complex Hilbert space. All C*-subalgebras of $B(H)$ are assumed to be non-degenerate. The spectral projections of a self-adjoint element $T$ of $B(H)$ lie ...
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 ...
10
votes
0answers
439 views

Properties of orthogonality-preserving c.p. maps between $C^*$-algebras

Suppose that $A,C$ are $C^*$-algebras and $\phi:A \to C$ is a completely positive, orthogonality-preserving linear map. (Orthogonality preserving means: if $a,b \in A$ satisfy $ab=0$ then ...
10
votes
0answers
1k views

Schwartz kernel theorem for A-linear operators

Let $X,Y \subset \mathbb{R}^n$ be open subsets. Denote by $C^\infty(X)$ the smooth functions on $X$, let $\mathcal{E}'(Y)$ be its dual space considered as a space of distributions. Let $L(C^\infty(X), ...
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 ...
9
votes
0answers
341 views

Tensorial decomposition of $B(H)$

Let $H$ be an infinite-dimensional Hilbert space and let $\mathcal{B}(H)$ be the (C*/W*-)algebra of bounded operators on it. Actually, you may forget about the involution in $\mathcal{B}(H)$ because I ...
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.$ ...
7
votes
0answers
202 views

Non Commutative Hyperspaces

Let $X$ be a compact metric space. Recall that the hyperspace $2^{X}$ is the set of all non empty compact subsets of $X$ with the Hausdorff metric. Assume that $\mathcal{C}$ is the category of all ...
7
votes
0answers
144 views

Replacing commutative C*-algebras by simple ones

I am looking for functorial ways of replacing a commutative $C^*$-algebra $C$ by a simple one, say $A$ , such that the $K$-theory remains unchanged, i.e. $K_*(C) \cong K_*(A)$. I am particularly ...
7
votes
0answers
320 views

The approximation property of group C*-algebras

Let $G$ be a discrete group. Then the group C*-algebra $C^*(G)$ is nuclear if and only if $G$ is amenable. I am wondering whether nuclearity of $C^*(G)$ can fail for a Banach-space reason, namely due ...
7
votes
0answers
297 views

Quantum Braid Group

Recently I learned the definition of the quantum permutation group $A_s(n)$, which starts from the fundamental representation by permutation matrices and exchanges the entries by noncommuting ...
7
votes
0answers
379 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 ...
6
votes
0answers
237 views

C* algebras of free semicircular systems

It was shown by Pimsner and Voiculescu in 1982 that the reduced group $C^{*}$-algebras $C^{*}_{r}(\mathbb{F}_{n})$ and $C^{*}_{r}(\mathbb{F}_{m})$ are isomorphic if and only if $n = m$ (here, ...
6
votes
0answers
380 views

References for “folklore” on strong amenability of (group) C*-algebras?

[Apologies in advance for the prolixity - but I was unsure how much of the story is familiar.] $\newcommand{\ptp}{\widehat{\otimes}} \newcommand{\co}{\operatorname{co}} ...
6
votes
0answers
215 views

What morphisms / Morita equivalences induce the 2-periodicity isomorphisms of KK-theory?

In Kasparov's paper, the canonical isomorphisms $KK_* \rightarrow KK_{*+2k}$ are defined rather implicitely (by tensoring and stabilization). Are there morphisms of $C^*$-algebras which induce them ...
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 ...
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 ...
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 ...
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 ...
5
votes
0answers
168 views

Does the suspension isomorphism $K_1(A) \to K_0(SA)$ descend from a more refined invariant?

If $A$ is a C*-algebra, denote its minimal unitization by $\tilde A$ and its suspension by $SA$, thought of as all continuous $a:[0,1] \to A$ with $a(0)=a(1)=0$. The unitized suspension ...
5
votes
0answers
99 views

Equivariant zero dimensional extension recovering a given measure

Let $X$ be a compact metrizable space and $\alpha: \mathbb{Z}^d\curvearrowright X$ a continuous group action. Then it is well known that there exists a zero dimensional compact space $Y$, an action ...
4
votes
0answers
203 views

Weakly amenability and exactness for discrete groups

A countable discrete group $\Gamma$ is said to be weakly amenable with Cowling-Haagerup constant 1 if there exists a sequence of finitely supported functions $(\phi_n)$ on $\Gamma$ such that ...
4
votes
0answers
146 views

“Definitive” Noncommutative Space

Let $Y$ be a (locally compact) non-Hausdorff topological space. I want to know if there is a necessary and/or sufficient condition for $Y=X/G$, that is, $Y$ is the orbit space of a locally compact ...
4
votes
0answers
456 views

Do the banded operators check the invariant subspace problem?

Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators. Invariant subspace problem: Let $T \in B(H)$. Is there a non-trivial closed $T$-invariant ...
4
votes
0answers
214 views

Extensions of completely positive mappings

I would like to ask the following two questions. Let $1_{\mathcal{H}}\in \mathcal{A}\subset\mathcal{B}\subset\overline{\mathcal{A}}^{SOT}\subset\mathbb{B}(\mathcal{H})$ be a sequence of ...
4
votes
0answers
358 views

What is the spectrum of the commutative C*-algebra I have constructed here?

Let $B$ and $F$ be compact Hausdorff spaces. Let $E\to B$ be a fiber bundle with fibre $F$ and structure group $\mathrm{Homeo}(F)$, the group of homeomorphisms of $F$. I think this induces a fiber ...
3
votes
0answers
158 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 ...
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 ...
3
votes
0answers
157 views

A Question About the Elliott-Natsume-Nest Proof of Bott Periodicity

In Wegge-Olsen’s book K-Theory and C$ ^{*} $-Algebras, there is an outline of a proof of Bott Periodicity (the proof is due to George Elliott, Toshikazu Natsume and Ryszard Nest). The first step of ...
3
votes
0answers
99 views

Relation between graphs and groupoid $C^*$-algebras

In the paper "Graphs, groupoids and Cuntz-Krieger algebras" by Kumijan, Pask, Raeburn, Renault it was shown (if I understand it correctly) that whenever $G$ is a row-finite directed graph with no ...
3
votes
0answers
355 views

About generator and isomorphism problems for free groups operator algebras

Let $H$ be an infinite dimensional separable Hilbert space. The $C^{*}$-algebras and von Neumann here unital and subalgebras of $B(H)$. Definition : Let $\mathcal{A}$ be $C^{*}$-algebra (resp. a ...
3
votes
0answers
231 views

Obstructions to existence of finitely summable spectral triples

Connes proved in his beautiful paper "Compact metric spaces, Fredholm modules, and hyperfiniteness" published in 1989 that if $(A,H,D)$ is a finitely summable spectral triple with a unital ...
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 ...
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 ...
2
votes
0answers
90 views

K-Exactness for groups and C*-algebras

We say that a C*-algebra $A$ is K-exact, if for any exact sequence of C*-algebras $0\rightarrow I\rightarrow B\rightarrow B/I\rightarrow0$, the sequences $K_i(I\otimes_{min}A)\rightarrow ...
2
votes
0answers
102 views

Is the Poincare action on the Klein-Gordon quantum field strongly continuous?

I am interested in checking continuity property of the Poincare group action on the Klein-Gordon quantum field theory defined over the Minkowski spacetime. Maybe the simplest example of QFT out there. ...
2
votes
0answers
240 views

Six term exact sequence In E-theory

I just want to know whether the two six term exact sequences in E-theory is true for nonseparable C*-algebras. We know already if the first varible is complex number, then we get six term exact ...
1
vote
0answers
37 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 ...
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 ...
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 ...
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 ...
1
vote
0answers
111 views

Non commutative analogy of compact-open topology

Let $R$ be a ring, define a topology on $AUT(R)$(Or End(R)) with the following subbase: For every two 2-sided Ideal $I$ and $J$, a subbase element is $B(I,J)=\{f\in AUT(R) \mid f(I)+J=R\}$. We can ...
1
vote
0answers
124 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 ...
1
vote
0answers
84 views

two concepts of positivity for elements of $C(X)$ when $X$ is hyper-stonean

Suppose that $X$ is a compact space. Let $M(X)=C(X)^*$ denote the Banach space of regular measures. Is the following statement true: $F:M(X)\to\mathbb{C}$ is a positive functional if and only if the ...
1
vote
0answers
214 views

Is an exact operator, unitary equivalent to a banded operator?

Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators. Definition : Let $(e_{n})_{n \in \mathbb{N}}$ be an orthonormal basis. $T \in B(H)$ is ...
1
vote
0answers
309 views

Hans Saar's thesis

I would love to have a look on some results which are claimed by some people to be in Saar's thesis: H. Saar, Kompakte, vollständig beschränkte Abbildungen mit Werten in einer nuklearen ...
1
vote
0answers
172 views

Fredholmness and invertibility in a C* algebra generated convolution-type operators

Let $PC$ be the algebra of complex-valued, piecewise-continuous functions from $[-\infty,+\infty]$, $SO$ be the algebra of bounded, continuous, complex-valued functions on $\mathbb R$ which are slowly ...
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 ...