All Questions
Tagged with oa.operator-algebras c-star-algebras
597 questions
4
votes
0
answers
384
views
Extension of Coburn's theorem on isometry and Toeplitz algebra
$\newcommand{\id}{\mathrm{id}}$Let $H$ be a Hilbert space, and $X \in B(H)$ a proper isometry (i.e. $X^{\star}X = \id$ and $XX^{\star} \neq \id$). Coburn's theorem states that ${\rm C}^{\star}(X)$, ...
3
votes
0
answers
129
views
Another way for defining $K_1$ group for a C*-algebra
Thank you for answering my question.
I have another question about the $K_1$ group. As you may know, some books define the $K_1$ group like below:
Also, it defines the $K_0$ group for an arbitrary C*-...
- 581
10
votes
2
answers
1k
views
Kazhdan's property (T) vs. residual finiteness
I have asked this question already on mathstackexchange but got no answer (see https://math.stackexchange.com/questions/1795795/kazhdans-property-t-vs-residual-finiteness) and it was suggested that I ...
- 721
2
votes
0
answers
124
views
Representation of $C^{*} (S_{\infty})$
I was wondering what is the group $C^{*}$-algebra of infinite symmetric group?
Mainly, I was trying to calculate the k-theory of $C^{*}$-algebra of infinite symmetric group and I found K-Theory of $C^{...
- 581
2
votes
1
answer
369
views
On diagonal part of tensor product of $C^*$-algebras
Suppose we have a $C^*$-algebra $\mathcal{U}$, Consider the $C^*$-subalgebra generated by elements of the form $a\otimes a$, what is it isomorphic to? Is it isomorphic to $\mathcal{U}$ itself?
- 677
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
5
votes
1
answer
177
views
(Noncommutative) Tietze $C^*$ algebras
A unital $C^*$ algebra $A$ is said a Tietze algebra if it satisfies the following:
For every ideal $I$ of $A$ and every unital morphism $\phi: C[0,1] \to A/I$ there is a unital morphism $\tilde{\phi}:...
- 356
1
vote
4
answers
367
views
Classification of $C^*$ algebras whose all non scalar elements have disconnected spectrum
To what extent have all unital $C^*$ algebras $A$ with the following property been classified? Is there a simple $C^*$ algebra with this property? Does $C(K)$ satisfy this property, where $K$ is an ...
- 356
1
vote
1
answer
352
views
Recovering "$n$" from $M_n(\mathbb{C})$
Is there an example of an infinite-dimensional $C^*$-algebra $A$ which admits the following structure:
The $C^*$ algebra $A$ admits a faithful trace $tr$ such that the multiplication $m: A\otimes A \...
- 356
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
3
votes
1
answer
146
views
Modular and primitive ideals 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
20
votes
2
answers
870
views
C$^*$-algebras isomorphic after tensoring with $M_n(\mathbb C)$
In 1977, Joan Plastiras gave a striking example of two non $*$-isomorphic C$^*$-algebras $\mathcal A$ and $\mathcal B$ such that $$\mathcal A \otimes M_2(\mathbb C) \simeq \mathcal B\otimes M_2(\...
- 3,984
8
votes
1
answer
356
views
Morita equivalence of the invariant uniform Roe algebra and the reduced group C*-algebra
In his paper "Comparing analytic assemby maps", J. Roe considers a proper and cocompact action of a countable group $\Gamma$ on a metric space $X$. He constructs the Hilbert $C^*_r(\Gamma)$-module $L^...
3
votes
0
answers
130
views
Question about a paper on approximate identities
I am currently reading this paper on approximate identities of ternary Banach algebras. Assume that $(A, [.,.,.])$ is a ternary Banach algebra. A bounded net $(e_{\alpha}, f_{\alpha})$ is said to be ...
- 1,115
8
votes
1
answer
547
views
Maps which are both completely positive and positive
Definition:A linear map $f:\mathbb C^n\to \mathbb C^n$ is called positive if $\langle fa,a\rangle\ge0$ for all $a\in \mathbb C^n$. Equivalently, $f\in M_{n}(\mathbb C)$ is positive if it can be ...
- 43.2k
5
votes
1
answer
237
views
Characterization of exact groups via the existence of amenable actions on unital C*-algebras, part 2
In this recent MOF question I asked whether exact groups could be characterized via the existence of amenable actions on unital C*-algebras. The answer, provided by Caleb Eckhardt in a comment, was ...
- 2,263
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
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
6
votes
2
answers
690
views
Can $C^*$-algebra of continuous functions on $R^n$ ($S^n$) be characterized alternatively?
Dictionary between algebra and geometry is somewhat one of the main concepts in modern mathematics. So commutative $C^*$ algebras are one-to-one with locally compact Hausdorff spaces.
So it is ...
- 24.9k
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
6
votes
1
answer
643
views
Is there an irreducible, noncompact commuting, nonnormal operator, with spectrum strictly continuous?
Let $H$ be an infinite dimensional separable Hilbert space.
Definition: The commutant $\mathcal{S}'$ of a subset $\mathcal{S} \subset B(H)$ is $ \{A \in B(H) : AB=BA \ , \ \forall B \in \mathcal{S} \}...
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
5
votes
1
answer
289
views
example of a non-amenable l.c. group such that $C_r^*(G)$ satisfies the UCT
Are there known any examples of non-amenable locally compact (or more restrictive, non-amenable discrete) groups $G$ for which the reduced group $C^*$-algebra $C_r^*(G)$ satisfies the universal ...
user62639
6
votes
1
answer
119
views
Tensoring adjointable maps on Hilbert modules
Given a right Hilbert $A$-module $E$, and a right Hilbert $B$-module $F$, together with non-degenerate $*$-homomorphism $\phi:A \to \mathcal{L}_B(F)$, we can form the tensor product
$$
E \otimes_{\phi}...
- 969
6
votes
2
answers
945
views
Multiplier algebra of $A \otimes \mathcal{K}$
If $A$ is unital C$^*$-algebra, is it true that the multiplier algebra of $A \otimes \mathcal{K} $ is $ A \otimes \mathcal{B}(\mathcal{H})$? Where $\mathcal{K}$ is C$^*$-algebra of compact operators ...
- 103
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
153
views
Does a closed right ideal of a C$^*$-algebra have a C$^*$-algebra?
$A$ is an infinite dimensional C$^*$-algebra and $J\subset A$ is a closed right ideal. $A$ and $J$ are infinite dimensional(as a vector space). I want to find an infinite dimensional C$^*$-algebra ...
- 327
8
votes
1
answer
724
views
Role of the UCT problem in classification theory for C*-algebras
Elliott's program for nuclear C*-algebras deals with the problem of classifying nuclear C*-algebras by K-theoretical invariants. A major open question in this context is the UCT problem.
A separable ...
- 741
13
votes
2
answers
696
views
C$^*$-algebras isomorphic after tensoring
From the negative answer to this question we know that C$^*$-algebras that are isomorphic after tensoring with $M_n$ for all $n\geq 2$ need not be isomorphic. So what happens when we strengthen this?
...
- 3,984
4
votes
1
answer
277
views
Producing $K$-homology cycles from $KK$-cycles
For two unital (separable) $C^*$-algebras $A$ and $B$, let $(H,\rho,F)$ be a $KK$-cycle in the sense of Kasparov, or in the sense of Wikipedia :)
I wonder if there us a natural way to "forget" the ...
- 993
1
vote
1
answer
787
views
finite dimensional C*-algebras
Let $A$ be a C*-algebra. Suppose that every cyclic representation of $A$ is finite dimensional.
Q. Is $A$ finite dimensional?
- 4,058
4
votes
1
answer
540
views
Relation between maximal and reduced group $C^*$-algebras
Let $G$ be a Lie group and $C_r^*(G)$ and $C^*(G)$ be its reduced and maximal group $C^*$-algebras respectively. The left-regular representation of a group $G$ induces a surjective map
$$\lambda_G:C^...
- 1,903
17
votes
2
answers
2k
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 $...
- 356
11
votes
0
answers
401
views
The term "absolute geometry"
My question concerns the so-called absolute geometry over the "field with one element" F_1 or over the spectrum $\mathrm{Spec}(F_1)$, cf. https://ncatlab.org/nlab/show/Borger%27s+absolute+geometry. I ...
- 1,338
4
votes
1
answer
262
views
A precise definition of contractible Banach algebras
I asked this question at MSE but I did not received any answer. So I ask it here at MO
I am sorry if this question is elementary:
What is a precise definition of a contractible Banach ...
- 356
4
votes
1
answer
357
views
Extending maps from dense $*$-algebras of $C^*$-algebras
Given $\cal{A},\cal{B}$ two dense $*$-algebras of two $C^*$-algebras $A$ and $B$ respectively, together with a $*$-algebra homomorphism $f:\cal{A} \to \cal{B}$, is it clear that $f$ extends to a ...
- 993
6
votes
1
answer
150
views
Examples of non-isomorphic $C^\ast$ algebras with isomorphic quasi-state spaces
Let $A$ (resp. $B$) be a unital $C^\ast$-algebra, $\mathcal{Q}(A)$ (resp. $\mathcal{Q}(B)$) the compact convex subset of $A^\ast$ equipped with the $\sigma(A^\ast, A)$ (resp. $\sigma(B^\ast, B)$) ...
- 1,586
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
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
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
7
votes
2
answers
689
views
Which C*-algebras are complemented in their bidual?
Every von Neumann algebra is 1-complemented in its bidual, and so is every injective C*-algebra. Also, if $C_0(X)$ is infinite-dimensional and separable then it is not complemented in its bidual, and $...
- 3,816
14
votes
1
answer
676
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,637
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
10
votes
2
answers
475
views
Is this a functor on the category of $C^{*}$ algebras?
The category of $C^{*}$ algebras is denoted by $\mathcal{A}$.
Is there a functor $\mathcal{F}$ on $\mathcal{A}$ which send each object $A\in \mathcal{A}$ to its center $Z(A)$. In the other words, ...
- 356
1
vote
1
answer
236
views
Projections in CAR (Canonical Anticommutation Relation) algebra
How does one show that the projections in the [CAR algebra][1] do not form a complete lattice?
Background info: my paper with Scholz [2] paper works in the (infinite) CAR algebra and tries to ...
- 13
4
votes
1
answer
313
views
Full spectrum positive elements of a $C^*$-algebra
I would like to know criteria for a C*-algebra $A$ to have a positive contraction $a$ with full spectrum, ie $\sigma(a) = [0,1]$. I am particularly interested in the simple case. I believe that if a C*...
2
votes
1
answer
189
views
Need a reference of a fact given in B. Blackadar's Operator Algebras
I am reading Blackadar's book on Operator algebras. In $\Pi 9.6.5$ Blackader says that
Maximal Tensor products commute with arbitrary limits.
In the same book the proof of this fact is not given....
- 1,115
9
votes
0
answers
364
views
Geometric motivation behind the Fredholm module definition
If $A$ is an involutive algebra over the complex numbers $\mathbb{C}$, then a Fredholm module over $A$ consists of an involutive representation of $A$ on a Hilbert space $H$, together with a self-...
- 993
3
votes
1
answer
130
views
C*-algebras: Existence of an element inducing an injective map
I'm wondering if the following statement is true: Let $A$ be a $C^*$-algebra and $\phi: A\rightarrow A$ be a $*$-homomorphism. Is there always an element $a\in A$ such that the map
$\left\{ \phi^{n}:=...
- 741
3
votes
1
answer
161
views
On crossed product subalgebra
For Compact pmp actions of a group $G$ on measure space $(X,\mu)$, if a subalgebra $B$ is such that $L(G)\subset B \subset L^{\infty}(X)\rtimes G$, is it always true that $B$ is also of the form ...
- 677