Questions tagged [c-star-algebras]
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: [banach-algebras], [von-neumann-algebras], [operator-algebras], [spectral-theory].
854
questions
5
votes
1
answer
251
views
Inverse Limit in the category of $C^{\ast}$-algebras or operator spaces
Does the inverse limits (Projective limits) exist in the category of $C^{\ast}$-algebras or operator spaces?
I tried to search but could not find a proper reference. Any reference or comments about ...
1
vote
0
answers
125
views
Vanishing (infinite) tensor products
Since the advent of free probabilities and QFT, infinite tensor products of $R$-associative algebras with units has become more familiar to the working mathematician.
Starting from the (permuting) ...
3
votes
1
answer
347
views
Closed prime ideal in $C[0, 1]$
I know that maximal ideals of $C[0, 1]$ corresponds to singleton. Also, using Zorn's lemma one can construct a prime ideal in $C[0, 1]$ which is not maximal.
Is there any $\textbf{closed}$ prime ...
6
votes
1
answer
264
views
Pairwise orthogonality for partitions of unity in a *-algebra
Let $\mathcal{A}$ be a $*$-algebra with unit $1_{\mathcal{A}}$. As in the $\mathrm{C}^*$-setting, a projection is an element $p\in\mathcal{A}$ such that $p=p^2=p^*$. A partition of unity is a finite ...
5
votes
0
answers
206
views
Failure of Tomiyama's property ($F$) for reduced group $C^*$-algebras
Are there known examples of discrete groups such that the minimal tensor product of their reduced group $C^\ast$-algebras does not have Tomiyama's property ($F$)?
Such groups must necessarily be non-...
9
votes
0
answers
251
views
Is $\mathcal{B}(\mathcal{H})$ a groupoid $C^*$-algebra?
Let $\mathcal{H}$ be a complex Hilbert space, and $\mathcal{B}(\mathcal{H})$ be the $C^{\ast}$-algebra of bounded operators on $\mathcal{H}$. Is there an étale groupoid $\mathcal{G}$ such that its $C^{...
6
votes
1
answer
188
views
Order bounded version of monotone complete $C^*$-algebras
Let $A$ be a $C^*$-algebra with self-adjoint part $A_{\operatorname{sa}}$. Then $A$ is called monotone complete if every increasing norm bounded net in $A_{\operatorname{sa}}$ has a supremum (with ...
14
votes
1
answer
657
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 ...
2
votes
0
answers
87
views
About normal states in abstract von Neumann algebras
In the book "Fundamental of the theory of operator algebras" (KAdisong and Ringrose, Vol 2) we have the Corollary 7.1.16
but this was state only for concrete von Neumann algebras (because ...
6
votes
2
answers
445
views
Linear map between projective finitely generated Hilbert modules is adjointable
Let $A$ be a (unital) $C^*$-algebra and $X,Y$ right Hilbert $A$-modules which are finitely generated and projective. It seems to be well-known that if $T: X \to Y$ is an $A$-linear map, then $T$ is ...
15
votes
1
answer
1k
views
Gelfand-Naimark from the category-theoretic point of view
I was thinking about the Gelfand-Naimark theorem asserting the isometric * isomorphism between a commutative $C^*$-algebra (with unit) $\mathcal{A}$ and the $C^*$ -algebra of continuous complex-valued ...
1
vote
1
answer
133
views
Complemented C*-algebras
Let $A$ and $B$ be unital separable commutative $C^*$ algebras, with $A\subset B$. Is it true that $A$ is complemented in $B$?
3
votes
0
answers
126
views
Takesaki's duality in representation theory of $C^*$-algebras
In M.Takesaki's 1967 article titled A Duality in the Representation Theory of C-Algebras*, admissible operator fields are defined in order to generalize Gelfand transform to a non-abelian setting.
...
15
votes
4
answers
3k
views
Universal $C^*$-algebra with generators and relations
We say that the $C^*$-algebra $A$ generated by $a_1,...,a_n$ is universal subject to relations $R_1,...,R_m$ if for every $C^*$-algebra $B$ with elements $b_1,...,b_n$ satisfying relations $R_1,...,...
2
votes
1
answer
330
views
Lattices and noncommutative algebras in noncommutative geometry
This a question that I've asked in mathematics stack exchange without having received any response :
I am interested in the relation between lattices and noncommutative algebras in the context of ...
2
votes
1
answer
206
views
inclusion of von Neumann algebras implies reversing inequality of its modular operators
I'm working with von Neumann algebras and I stumbled with this statement in a work of Borchers (1999)
Since $\mathcal N \subseteq \mathcal M$, it follows by standard arguments that $\Delta_{\mathcal ...
2
votes
0
answers
157
views
Question about the ergodic mean
This is a repost from this MathStackExchange question, where unfortunately I was not able to resolve this question.
I've read a thesis where there is an example on ergodic mean, where however there is ...
62
votes
3
answers
7k
views
What is the current status of the Kaplansky zero-divisor conjecture for group rings?
Let $K$ be a field and $G$ a group. The so called zero-divisor conjecture for group rings asserts that the group ring $K[G]$ is a domain if and only if $G$ is a torsion-free group.
A couple of good ...
0
votes
0
answers
71
views
$C^*$ algebra generated by conjugation of an element
Assume $\mathcal{A}$ is a unital $C^*$ algebra and consider some positive-definite element $\Psi\in M_n(\mathcal{A})$. Can we say something about $C^*(\langle \Psi^{-\frac{1}{2}}E_{i,i}\Psi^{\frac{1}{...
1
vote
1
answer
263
views
A certainty principle?
Let $\mathcal{A}$ be a unital $\mathrm{C}^*$-algebra with $\varphi\in\mathcal{S}(\mathcal{A})$ a state. Where
$$\sigma_\varphi(a):=\sqrt{\varphi((a-\varphi(a)1_{\mathcal{A}})^2)}\qquad (a\in \mathcal{...
6
votes
1
answer
203
views
Nuclearity of $C(\partial_F \mathbb{G})$
Let $\mathbb{G}$ be a discrete quantum group, and consider the non-commutative Furstenberg boundary $\partial_F\mathbb{G}$ with function algebra $C(\partial_F \mathbb{G}) = I_{\mathbb{G}}(\mathbb{C})$....
0
votes
0
answers
136
views
Non-degenerate representation of a Banach algebra
Let $\mathcal{A}$ be a non-reflexive Banach algebra. For the definition of Arens product, please refer to this link. Here we let $\square$ denote the first Arens product and $\diamond$ denote the ...
4
votes
0
answers
186
views
Bochner theorem for (non-abelian) discrete groups
I am interested in Pontryagin duality-like theories for discrete groups, more particularly, whether an analogue to Bochner's theorem for abelian groups exists in the discrete non-finite and non-...
1
vote
1
answer
244
views
Intersection of two intermediate subalgebras
Suppose $B\subset A$ is an inclusion of simple $C^*$-algebras with a conditional expectation of (Watatani) index-finite type and $B^{\prime}\cap A=\mathbb{C}$. Then we know $B^{\prime}\cap A_1$ is ...
5
votes
1
answer
219
views
Function algebra of Furstenberg boundary $\partial_F \Gamma$: when is it a $W^*$-algebra?
Let $\Gamma$ be a non-amenable discrete group and consider its Furstenberg boundary $\partial_F \Gamma$. It is known that this is a compact topological space which is stonean (equivalently: extremely ...
5
votes
0
answers
100
views
Realize a $K_0$-group homomorphism by a unital $\ast$-homomorphism
This question is inspired by Exercise $7.7$ in *An Introduction to $K$-theory for $C^*$-algebras (available here). Given a unital AF-algebra $A$ and another unital $C^*$-algebra $B$ that has ...
9
votes
3
answers
339
views
Comparison between the operator norm and the $L^1$ norm on group algebras
Consider a discrete group $G$ and its group algebra over $\mathbb{C}$, $\mathbb{C}[G]$. There are four norms on it I wish to consider for this question:
The 2-norm given by $||\sum_{g \in G} c_gg||_2^...
1
vote
1
answer
161
views
Tensor product of faithful normal states is faithful
I know that given C*-algebras $A, B$ with faithful states $\omega,\varpi$, the tensor product state $\omega\otimes\varpi$ on the minimal tensor product $A\otimes_{\text{min}}B$ is faithful.
I also ...
0
votes
1
answer
122
views
Unitary representation of a group of automorphism on an abelian algebra
Given an abelian C*-algebra $\mathcal{A}$, a state $\omega$, a strongly continuous group of *-automorphism $\{\tau_t : t \in \mathcal{R}\}$, and given a representation $ (\pi(\mathcal{A}), \mid \...
1
vote
1
answer
196
views
Borel functions in C*-algebras
Is there a way of defining representations of separable $C^*$-algebras, say $\Phi$, so that
$\Phi(A)$ is faithful representation of $A$ on a separable Hilbert space.
There is a closure operation $A\...
4
votes
0
answers
222
views
On the Dunford-Pettis property and multiplier algebras
I am not an expert in operator algebras, so if the answer to this question might be trivial, that might be one reason for that:
Let $\mathcal{A}$ be a $C^\ast$-algebra. Then $\mathcal{A}^{\ast \ast}$ ...
20
votes
3
answers
3k
views
Realizing universal $C^*$-algebras as concrete $C^*$-algebras
How do I in general realize a universal C*-algebra generated by some generators and relation as concrete C*-algebras? For example, I know that universal C*-algebra generated by a single unitary is $C(\...
3
votes
1
answer
145
views
Is a compact set of extreme points contained in a compact face?
I have run into the following question in convex analysis, which I haven't found answered in the literature:
Suppose that $K$ is a "nice-enough" non-compact convex subset of a Hausdorff ...
2
votes
2
answers
183
views
Do positive-definite elements in finite-dimensional $*$-algebras over $\mathbb R$ always admit square roots?
Let $A$ be a finite-dimensional $*$-algebra over $\mathbb R$. We say that an element $x \in A$ is positive definite if $x$ admits an inverse and if $x = y y^*$ for some $y \in A$. Does every such $x$ ...
0
votes
0
answers
64
views
A question regarding certain sequences in hyperfinite type $II_1$ factor
Let us consider the hyperfine type $II_1$ factor $\mathcal M$ arising from the inclusion $M_2\subseteq M_{2^2}\subseteq \dots M_{2^k}\subseteq\dots$ of matrix algebras with the normalised trace $\tau$....
2
votes
1
answer
86
views
Definite negative functions and length functions
$\DeclareMathOperator\ND{ND}$I am reading E. Bedos paper on heat properties for groups.
Let's denote, for a group G, $$\ND^+_0(G) := \{d : G \to [0,+\infty[\; : \;d \text{ is negative definite and }d(...
3
votes
0
answers
234
views
Two more topologies on unitary groups
Let $H$ be a separable Hilbert space and let $\operatorname{U}(H)$ be the group of unitary transformations of $H$. It is well known that the weak, strong and compact-open topologies on $\operatorname{...
1
vote
0
answers
70
views
Doubts on convergence of series of operators
Given an operator algebra of bounded operators $\mathcal{A}$ acting on a Hilbert space $\mathbb{H}$, I am interested in the algebra of tensor products $\mathcal{A}^{N} = \otimes_{k=1}^{N} \mathcal{A}...
6
votes
0
answers
133
views
Maps in the Künneth theorem for K-theory of C*-algebras
The following is named the Künneth theorem for tensor products in the book by Blackadar on K-theory for operator algebras: If $A$ and $B$ are C*-algebras and $A$ is in the bootstrap class, then there ...
4
votes
0
answers
203
views
Irreducible representations of $\mathrm{UHF}_n$
I have a question about the irreducible representations of the $C^*$-algebra $\mathrm{UHF}_n = \bigotimes_{k=1}^\infty M_n$.
For every sequence of unit vectors $(\xi_k)$ in $\mathbb C^n$ there is a ...
3
votes
0
answers
112
views
Automorphisms of the injective envelope
Let $A$ be a separable $C^∗$-algebra and $(I(A),\kappa)$ be its injective envelope. WLOG assume that $I(A)$ is a monotone complete $C^*$-algebra, and $\kappa:A\to I(A)$ is the identity map.
Let $\...
1
vote
0
answers
83
views
Cocycle-conjugacy classes of flows on the C*-algebra of compact operators
A flow on a C*-algebra $A$ is a group homomorphism $\sigma $ from ${\mathbb R}$ into the group of *-automorphisms of $A$
such that the map
$$
t\in {\mathbb R}\mapsto \sigma _t(a)\in A
$$
is norm-...
3
votes
0
answers
79
views
Cohomological counterpart of the K-theory of the Roe C*-algebra in non-periodic systems
In crystalline insulating quantum systems the dynamics of electrons is governed by a Schrödinger operator which is periodic with respect to a Bravais lattice $\Gamma\cong \mathbb{Z}^d$ and whose ...
3
votes
0
answers
104
views
Reference request for embedding of a tensor product $C^*$-algebra
I am studying Ruy Exel's paper "A new look at the crossed product of a $C^*$-algebra by a semigroup of endomorphisms." In the proof of Theorem 11.7 he writes:
Let $G$ be ameanable, thus $C^*(...
4
votes
1
answer
187
views
Property of pushouts in the category of unital $C^{\ast}$-algebras
Let $A$ be a unital $C^{\ast}$-algebra and $\{ f_i: A \rightarrow A_i \}_i$ a finite collection of morphisms of unital $C^{\ast}$-algebras, such that the associated map $A \rightarrow \prod_i A_i$ is ...
1
vote
1
answer
164
views
Conditioning a $\mathrm{C}^*$-algebra state with infinite precision
This question (and a second part) have been asked at MSE and gone through two bounties without an answer. I have been beating my head at it for a while without success.
Let $\mathcal{A}$ be a unital $\...
3
votes
1
answer
128
views
Property that follows from conditions involving slice maps on Hilbert module
Let $A,B$ be $C^*$-algebras and $E$ be a right $A$-Hilbert $C^*$-module. We can form the Hilbert $A\otimes B$ (minimal tensor product) module $E \otimes B$. If $\omega \in B^*$, there is a unique ...
2
votes
0
answers
96
views
Morphism of discrete quantum groups
In the paper Kazhdan's Property T for Discrete Quantum Groups
, we read the following fragment:
First, note that I think there is a typo and that codomain and domain of the dual maps have to be ...
-3
votes
1
answer
319
views
Is the category of $Z^* $ algebra equivalent to the category of $C^*$ algebras
A $Z^*$ algebra is a $C^*$ algebra whose all positive elements are zero divisor.
They form a category with usual structures.
Question. Is this category equivalent to the category of $C^*$ algebras?
...
1
vote
1
answer
78
views
Show that if $V\in M(B_0(H)\otimes A)$, then $V(B(H)\otimes 1)V^*\not\subseteq B(H)\otimes A$ where $A$ is a specific unital $C^*$-algebra
Let $\mathbb{G}$ be a compact (quantum group) with function algebra $(C(\mathbb{G}), \Delta)$ and Haar state $\varphi_{\mathbb{G}}$. Consider the associated GNS-representation $\pi_{\mathbb{G}}: C(\...