All Questions
Tagged with c-star-algebras oa.operator-algebras
597 questions
-2
votes
1
answer
138
views
Weak center is same as center for $C^{\ast}$-Algebra? [closed]
Let $A$ be a $C^{\ast}$-algebra. We say $A$ is weakly commutative if $ab^*c=cb^*a$ for all $a,b,c \in A$ and define weak center of $A$ as $$Z_w(A)= \{ v \in A : av^*c=cv^*a \;\forall a,c \in A \}.$$
...
- 1,115
0
votes
1
answer
124
views
Definition of center of ternary ring of operators
Let $H$ and $K$ be Hilbert spaces and $B(H,K)$ denotes the space of bounded operators from $H$ to $K$. Recall that a ternary ring of operators (TRO) $V$ is a closed subspace of $B(H,K)$ which is ...
- 1,115
2
votes
2
answers
190
views
Results which are known about ideals of spatial tensor product
I am studying about ideals of spatial (minimal) tensor product of $C^{\ast}$-algebras but I did not find any book/paper in which all the results are given.
What are some results or folklore which ...
- 1,115
4
votes
1
answer
199
views
Alternative proof of existence of absolute value of a functional on a C*-algebra
The usual proof of the existence of an absolute value of a functional on a C*-algebra $A$ uses the polar decomposition of normal functionals on $A^{**}$, which relies on the compactness of the unit ...
- 3,816
0
votes
1
answer
250
views
Two isomorphic reduced group $C^*$-algebras
Suppose that $C^*_r(G)\cong C^*_r(H)$, can we conclude that $G\cong H$?
- 427
0
votes
0
answers
57
views
Monotone series of projections converging to 1 in von Neumann algebra
The following statement is being used a lot in the literature, and I wonder how to prove it.
Let $M$ be an infinite-dimensional von Neumann algebra (with unit element), show that there is an ...
1
vote
0
answers
183
views
G-abelian systems
Let $(\mathfrak{A},\alpha,\phi)$ be a $C^*$-dynamical system made of a unital $C^*$-algebra, a $*$-automorphism and an extremal invariant (i.e. ergodic) state.
Consider the covariant GNS ...
2
votes
0
answers
116
views
General construction of enveloping C*-algebra, left/right-regular representation, etc
In a number of contexts (e.g. groups, crossed products, groupoids, Fell bundles) there are similar constructions of enveloping C*-algebras and left/right-regular representations that incorporate ...
- 3,816
0
votes
1
answer
236
views
Need reference for ideals and representations of $C_0(X,A)$
Let $A$ be $C^{\ast}$- Algebra and $X$ be a locally compact Hausdorff space and $C_{0}(X,A)$ be the set of all continuous functions from $X$ to $A$ vanishing at infinity. Define $f^{\ast}(t)={f(t)}^{\...
- 1,115
2
votes
1
answer
254
views
Is the reduced group $C^*$-algebra quasidiagonal
Let $G$ be an amenable group. I wonder whether it is true that the reduced group $C^*$-algebra $C_r^*(G)$ is quasidiagonal.
- 427
8
votes
0
answers
181
views
Continuous functions on a compact $T_1$ space
Let $X$ be a compact $T_1$ topological space consisting of more than one point, and suppose that $X$ is locally compact (i.e. every point has a local base of compact neighbourhoods), second countable, ...
- 573
6
votes
0
answers
243
views
For what kind of $C^*$ algebra $A$ every normal element $y\in A$ has a normal lift for every given surjective $C^*$ morphism $\phi:B\to A$
Is there a terminology for the following property of $C^*$ algebra $A$:
For every $C^*$ algebra $B$ and surjective $C^*$ morphism $\phi: B\to A$, every normal element $y\in A$ admits a normal ...
- 356
3
votes
2
answers
260
views
Jordan isomorphisms of type I von Neumann algebras
Let $\mathcal M$ and $\mathcal N$ be two von Neumann algebras. A linear map $J:\mathcal M\to\mathcal N$ is said to be a Jordan isomorphism if $J$ is bijective, $*$-preserving and $J(xy+yx)=J(x)J(y)+J(...
- 1,879
4
votes
1
answer
214
views
What are the generator for $K_1(C(\mathbb{T})\otimes\mathbb{K})$?
I've been working computing several K-groups associated to some $C^*$-algebras involved with my master's thesis, however I've just got stucked finding some generators for $K_1(C(\mathbb{T})\otimes\...
- 143
0
votes
1
answer
158
views
Showing a product on a character space is continuous
Quoting from Timmermann's An invitation to quantum groups and duality:
Prop. 5.1.3 Let $A$ be a commutative algebra of functions on a compact
quantum group. Then there exists a compact group $G$ and ...
- 1,027
5
votes
1
answer
177
views
Approximating a projection by a sum of elementary tensors with a certain property
Let $A$ and $B$ be two C$^{*}$-algebras and suppose we have a non-zero projection $p\in A\otimes B$. (We can assume $A$ is nuclear, so that there is only one possible tensor product.)
Does there ...
- 267
5
votes
1
answer
520
views
Embedding of Cuntz algebras $O_2\subseteq O_3$?
The Cuntz algebra $O_n$ is the (universal) C*-algebra generated by n-isometries $s_1,...,s_n$ such that
$$\sum_{i=1}^n s_is_i^\ast =\mathbf{1}, \ \hbox{and}\ s_i^\ast s_j=\delta_{ij} \mathbf{1}\ (\...
- 155
0
votes
1
answer
495
views
Separability of an algebra is equivalent to separability of its spectrum
Let $A$ be a commutative C*-algebra.
I would like to show that $A$ is separable (i.e. has a countable dense subset) if and only if the spectrum of $A$ (denoted by $\Omega(A)$) is separable.
Notes ...
- 143
9
votes
1
answer
237
views
A non nuclear $C^*$ algebra $A$ for which the algebraic tensor product $A\otimes A$ admits a unique $C^*$ norm
Is there a non nuclear $C^*$ algebra $A$ for which the minimum and maximum $C^*$ norms on $A\otimes A$ coincide?
A somewhat similar question is discussed here.
- 356
1
vote
0
answers
164
views
When a finite codimensional subalgebra contains a finite codimension ideal?
What is a classification of all algebras $A$ (purely algebraic algebras, Banach or $C^*$ algebras or Lie algebras) with the following property:
Every finite codimensional subalgebra $B$ of $A$ ...
- 356
3
votes
0
answers
156
views
Left and right topological K-theory of Banach algebras
Let us consider the topological $K$-functor on the category of Banach algebras as described in page $18$ of "Introduction to the Baum–Connes conjecture" by Alain Valette.
The definition is based on ...
- 356
3
votes
1
answer
170
views
Reduced compact quantum group and left and right multiplication
Let $(A,\Delta)$ be a compact quantum group in the sense of Woronowicz, and let $A_0$ be its dense Hopf subalgebra. We can construct from the Haar state $h:A \to \mathbb{C}$ an inner product
$$
\...
- 1,144
4
votes
2
answers
254
views
$K$-theory and surjective norm-decreasing $*$-homomorphisms between $C^*$-algebras
Let $A$ and $B$ be two $C^*$-algebras, and let $p:A \to B$ be a surjective norm-decreasing $*$-homomorphism which is injective on a dense $*$-sub-algebra of $A$. Can such a map have non-trivial kernel,...
- 969
5
votes
1
answer
178
views
Hopf C-star algebra/comodules using a Fubini tensor product rather than the minimal tensor product?
Throughout, $\otimes$ denotes the minimal tensor product of $\newcommand{\Cst}{{\rm C}^{\ast}}\Cst$-algebras. and $\odot$ denotes the tensor product of (underlying) vector spaces.
Given two $\Cst$-...
- 25.8k
4
votes
0
answers
83
views
Non-separable non-postliminal $C^*$-algebra with injective $\pi\mapsto\ker\pi$
It is known that for a postliminal/GCR $C^*$-algebra the map $\pi\mapsto\ker\pi$ from (equivalence classes of) irreducible representations to their kernels is injective. If the algebra is separable, ...
- 1,959
9
votes
0
answers
122
views
Real Rank of $M_n(A)$
The real rank for C*-algebras was defined by Brown-Pedersen in [1] as a noncommutative analog of covering dimension. Given a unital C*-algebra $A$, its real rank $\mathrm{rr}(A)$ is the smallest ...
- 3,497
1
vote
1
answer
499
views
When do completely positive maps have a closed image?
Let $\mathcal{A}, \mathcal{B}$ be C*-algebras. A map $\phi \colon \mathcal{A} \rightarrow \mathcal{B}$ is completely positive (cp) if it's linear, * preserving and all of its' coordinatewise ...
- 733
13
votes
0
answers
3k
views
Connes Embedding Conjecture is false [closed]
This preprint from yesterday claims to prove that Connes Embedding Conjecture fails.
Since the paper is from outside Operator Algebras (Computer Science/Quantum Computing) and they actually work on ...
- 2,793
6
votes
1
answer
347
views
Morita-invertible C*-algebras
I am familiar with the Morita theory of rings, and the hermitian Morita theory of rings with involution, and I am trying to understand some parallels and differences with the Morita theory of C*-...
- 272
1
vote
1
answer
87
views
Projection (or idempotent) graph of a $C^*$ algebra(or a ring)
In the literature, are there some research around a directed graph associated to a $C^*$ algebra or a ring $A$ whose vertices are projections or idempotents of $A$ and $e$ is connected to $f$ iff $ef=...
- 356
4
votes
1
answer
199
views
Groups for which all projections of $C^*_{\text{red}}G$ belong to $\mathbb{C}G$
Revision: According to comment of Wojowu we give a complete revise for this post.
A group $G$ is a pr-group if all projections of $C^*_{\text{red}} G$ are contained in its dense subalgebra $\mathbb{...
- 356
0
votes
1
answer
159
views
Bisector Projection
Let $p,q$ be two projections of a $C^*$ algebra. A projection $l$ is called a bisector projection to $(p,q)$ if $$|pl-l|=|ql-l|$$ The motivation comes from the geometric intuition of "...
- 356
7
votes
1
answer
476
views
How can one define a kind of "determinant" on a reduced group $C^*$ algebra?
Let $A$ be a unital $C^*$-algebra which is equipped with a faithful trace $T$. In particular we may consider $A=C^*_{\text{red}} (G)$ for some discrete group $G$. We consider the following ...
- 356
4
votes
1
answer
341
views
On differential equation $Z'=Z^2-Z$ on a $C^*$ algebra
Let $A$ be a Banach or a $C^*$ algebra. We consider the differential equation $$(*)\;\;\;\;Z'=Z^2-Z$$ on $A$.
Obviously the singularities of this systems are just the idempotents of the ...
- 356
2
votes
0
answers
135
views
On crossed product of L^{P} spaces
Let $M$ be a von Neumann algebra with faithful normal state $\varphi$, and $G$ be a group action on $M$ preserving $\varphi$. Then is it true
\begin{align*}
L^{p}(M\rtimes G, \varphi^{M\rtimes G})\...
- 677
1
vote
0
answers
109
views
Algebra structure on Haagerup tensor product of operator spaces
Let $A$ and $B$ be operator spaces. Is there any algebra structure on Haagerup tensor product of operator spaces such that the Haagerup tensor product becomes Banach Algebra?
Any references or ideas?
- 1,115
4
votes
0
answers
120
views
On existence of property gamma of C star simple group von Neumann algebra
We call a finite vN algebra $M$ with trace $\tau$ has property Gamma iff there exist unitary $u_{n}\rightarrow 0$ weakly and $\|xu_{n}-u_{n}x\|\rightarrow 0$. My question can we have C*-simple ...
- 181
3
votes
1
answer
451
views
On equation $e^{xy-yx}=e^xe^ye^{-x}e^{-y}$ in $C^*$ algebras
Inspired by this MSE question we ask the following question:
Is there a noncommutative $C^*$-algebra $A$ for which the following identity holds for all $x,y \in A$?
$$e^{(xy-yx)}= e^xe^y e^{-x}e^{-...
- 356
2
votes
0
answers
89
views
Computing norms of polynomials of operator in Hilbert space and generalized von Neumann inequality
Let $T$ be an operator $l^2({\mathbb{Z}_{\geq 0}}) \to l^2({\mathbb{Z}_{\geq 0}})$, $e_n \mapsto \sqrt{1 - q^{2(n+1)}}e_{n+1} $, where $0<q<1$. I want to compute $\|f(T,T^{*}) \|$ (operator ...
- 161
2
votes
0
answers
82
views
Atkinson-Mingo theorem
I've been read the book "$K$-theory and $C^*$-algebras" by Olsen. In the chapter on the generalized Fredholm index the following definitions are given:
Let $A$ be a $C^*$-algebra and $H_A$ the ...
- 41
4
votes
1
answer
261
views
Uniform Roe algebra of virtually abelian group is type I C*-algebra?
Let $G$ be an arbitrary (discrete) group. It acts by left translation on $\ell^\infty(G)$. The uniform Roe algebra of $G$ is defined as the crossed product $\ell^\infty (G) \rtimes_{\mathrm{red}}G$.
...
- 741
1
vote
1
answer
160
views
Is the algebra of bounded operators stable?
Let $H$ be a separable Hilbert space. Is it true that there is an isomorphism of $C^*$-algebras $$B(H)\hat{\otimes} K(H)\cong B(H)$$ where $B(H)$ is the algebra of bounded operators, $K(H)$ is the ...
- 41
3
votes
2
answers
606
views
Is the algebra of compact operators flat?
Suppose that $A\hookrightarrow B$ is an inclusion of $C^*$-algebras and let $K$ be the algebra of compact operators on a separable Hilbert space. Is it true that the map $A\otimes K\hookrightarrow B\...
- 51
3
votes
1
answer
148
views
On analogue of ratio in operator algebras
For functions spaces we have ratio of two functions namley $\frac{f}{g}$, Can ratio of two operators in von Neumann algebra make sense? If at all it makes sense, what will be the proper definition of ...
- 181
0
votes
0
answers
127
views
On examples of action of C-star simple group on von Neumann algebra
Can there exist a faithful action of a $C^{*}$-simple group $G$ on a von Neumann algebra $(M,\varphi)$ equipped with faithful normal state $\varphi$ such that action preserves the state $\varphi$ and ...
- 677
7
votes
0
answers
85
views
Analogue of Friedrichs extension for Hilbert $C^*$-modules
Suppose one has a densely defined symmetric operator $T:\mathcal{M}\rightarrow\mathcal{M}$, where $\mathcal{M}$ is a Hilbert $A$-module for a $C^*$-algebra $A$. Suppose that $T$ is non-negative, so ...
- 1,903
4
votes
1
answer
110
views
Graded adjointable operators on a graded Hilbert space
Given a graded Hilbert space $\mathbf{H} = \bigoplus_{k \in \mathbb{N}} \mathbf{H}_k$, one might extend the notion of adjoint to a "graded adjoint" defined as follows: $L \in B(\mathbf{H})$ is said to ...
- 969
2
votes
1
answer
116
views
Extending $C^*$-norms from $*$-subalgebras
Let $A$ be a unital $*$-algebra, and $B$ a unital $*$-subalgebra of $A$. In addition, assume that there exists a $B$-$B$-sub-bimodule $C \subset A$, such that
$$
A \simeq B \oplus C,
$$
where $\...
- 969
2
votes
0
answers
99
views
Invertibility modulo the intersection of ideals in $C^*$-algebras
This is a crosspost from math.se because it did not get any attention whatsoever. I therefore assume that it fits here better.
Let $\mathcal{A}$ be a $C^*$-algebra and $A \in \mathcal{A}$. I am ...
- 171
2
votes
1
answer
180
views
Does the square root of a finite propagation operator have finite propagation?
Let $X$ be a non-compact manifold and let $C_0(X)$ act on $L^2(X)$ by pointwise multiplication.
We say $T\in\mathcal{B}(L^2(X))$ has finite propagation if there exists an $r>0$ such that: for all ...
- 1,903