Algebras of operators on Hilbert space, $C^*-$algebras, von Neumann algebras, non-commutative geometry

learn more… | top users | synonyms (1)

8
votes
1answer
102 views

$\mathcal{O}_{\infty}$ and $\mathcal{Z}$ stable isomorphism as equivalence

If $O$ is a (strongly ?) self absorbing $C^*$-algebra, one has an equivalence relation on (separable) $C^*$-algebras: "being $O$-stably isomorphic" i.e. $A$ and $B$ are $O$-stably isomorphic if and ...
4
votes
0answers
65 views

$p$-operator space structure on Banach algebras

There is an abstract characterization of operator algebras, which says that if $A$ is an operator space that is also an approximately unital Banach algebra, then the following are equivalent: For ...
1
vote
0answers
163 views

A functor on the category of rings, algebras or compact Hausdorff topological space

Assume that $R$ is a unital ring or a complex or real (Banach or $C^{*}$) algebra. We define a relation $M$ on $R$ as follows: $$a\;M b \;\;\; \text{iff}\;\; a=xy,\;b=yx \;\; \text{for ...
3
votes
1answer
199 views

Generators K-theory of Cuntz algebras

The Cuntz algebra $O_n$ is the C*-algebra generated by n isometries $S_1$, ..., $S_n$ such that $S_i^* S_j=\delta_{i,j}$ and $\sum_{i=1}^nS_iS_i^*=1$. Cuntz proved that this algebra has the following ...
7
votes
1answer
742 views

The saturation of Murray von Neumann relation

Edit: According to comment of Pace Nielsen, I remove question 2 of the previous version: Let $R$ be a unital ring. We define Murray Von Neumann relation $M$ on $R$ as follows: We say $a M b$ iff ...
3
votes
0answers
130 views

isomorphism of Chern character in kk-theory

Suppose we work with Fréchet algebras. Cuntz defined kk-theory for those algebras and hence we have the notions of K-theory and K-homology for those algebras. Now suppose Chern character is ...
8
votes
1answer
164 views

Real rank zero of group $C^*$-algebras

The concept of real rank zero of a $C^*$-algebra is introduced as non-commutative analogue of dimension ( topological dimension ). For example, it shown (by Brown-Pedersen) such that, if $X$ is a ...
4
votes
0answers
140 views

Quantization of $S^2$ as $C^*$-algebra?

The general context for the question - is belief that quantization of compact symplectic manifolds can be endowed with the structure of $C^*$-algebra (see MO230695). The particular question is about ...
3
votes
0answers
114 views

The weak-star closure of closed left ideals corresponding to pure states

I asked this question at math.stackexchange and received no comment. Let $A$ be a C*-algebra and $\phi$ be a positive linear functional on $A$. Let $\tilde{\phi}$ be its unique $w^*$-continuous ...
1
vote
1answer
122 views

When the reduced $C^*$-algebra of $\Gamma$ admits character then $\Gamma$ is amenable [closed]

Suppose that $C^*_r(\Gamma)$ admits some character (homomorphism into $\mathbb{C}$)-here $\Gamma$ is discrete group and $C^*_r(\Gamma)$ is the closure of the image of the group ring $\mathbb{C}\Gamma$ ...
3
votes
2answers
68 views

$V(A)$ semi group of equivalent projections in $M_∞(A)$ cancelative?

I found in the book of Murphy, C*- Algebras and Operator Theory, the Theorem 7.1.2 : Let A be an unital C* algebra, the semi group $V(A)$ of equivalent projections (under Murray Von Neumann ...
8
votes
0answers
139 views

Existence/characterization/properties of $C^*$-algebras which “are” quantization of compact symplectic manifolds?

Understanding of "quantization" achieved much progress recent years, especially after Kontsevich breakthrough on deformation quantization, where he proved one-to-one correspondence between Poisson ...
31
votes
3answers
2k views

What is a foliation and why should I care?

The title says everything but while it is a little bit provocative let me elaborate a bit about my question. First time when I met the foliation it was just an isolated example in the differential ...
1
vote
0answers
94 views

Ideal structure of group $C^*$-agebras [closed]

Let $G$ be a locally compact groups and $C_r^*(G)$ be a reduce group $C^*$-algebra. $\ Question:$What is the ideal structure of reduce group $C_r^*(G)$?
3
votes
1answer
103 views

Is the module action $M\times M^*\to M^*$ jointly continuous?

Let $M$ be a W*-algebra and consider the following map: $$\gamma: M\times M^*\to M^*: (a,f)\to af$$ where $af(b)=f(ba)$. Let us consider $M$ under the weak topology $\sigma(M,M^*)$ and $M^*$ under ...
3
votes
0answers
62 views

Unitizations of Banach algebras and matrix norms

Consider the short exact sequence of Banach algebras $0\rightarrow A\rightarrow A^+\rightarrow\mathbb{C}\rightarrow 0$ where $A$ is a Banach algebra without unit and $A^+$ denotes the unitization of ...
2
votes
2answers
110 views

Relationship between group $C^\ast$-algebras $C^\ast(G)$ and graph $C^\ast$-algebras $C^\ast(E)$

Let $E=E(G,S)$ be the graph defined by a group $G$ and a subset $S$ of $G$. What is relationship between group $C^\ast$-algebras $C^\ast(G)$ and graph $C^\ast$-algebras $C^\ast(E)$?
1
vote
0answers
55 views

Can a semigroup be defined on a Banach algebra? [closed]

I simply need to know that how a semigroup of operators (say $\{T(t)\}_{t\geq 0}$) is defined on any Banach algebra (say $X$)? For $(f,g\in X)$ now the so called product is also there i.e. $f.g\in X$. ...
1
vote
1answer
65 views

A relation among projections of a von Neumann algebra

This is a follow-up question on this. Let $A$ be a von Neumann algebra and $P$ be its projection lattice. For $p,s,q \in P$, let us define $ p \perp q \mid s \iff ps^\perp q = 0$ where $s^\perp = ...
10
votes
1answer
171 views

How “nondegenerate” are amalgamated free products of C*-algebras?

In the following, I assume all algebras are unital. Let $A$ and $B$ be C*-algebras that each contain (isomorphic copies of) a common C*-subalgebra $C$. Let $A *_C B$ denote the amalgamated free ...
-1
votes
1answer
117 views

How should $A^α$ be defined for real $α ∈ [0,∞)$ and $A\in M_n(\mathbb C)$? [closed]

Let $A\in M_n(\mathbb C)$ be arbitrary. I'm interested to know How should $A^{\alpha}$ be defined for real $\alpha\in [0,\infty)$? When $A$ is nonsingular, we can define $A^{\alpha}=\exp(\alpha ...
5
votes
2answers
201 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 ...
1
vote
0answers
54 views

Support vectors and relative modular operator

I'm studying the relative modular operator and I'm looking for o good text to do it. Until now I'm using Araki's papers but I don't know how to deal with the support of a vector, $s^M(\xi)$, which is ...
3
votes
1answer
225 views

$K$-Theory of finite dimensional Banach algebras

Is there a finite dimensional Banach algebra $A$ for which $K_{0}(A)$ is a finite group? I asked this question in MSE but I received no answer ...
4
votes
0answers
111 views

References for a lemma about compact operators on a Hilbert module

I am looking for a reference for the following result: If $A$ and $B$ are C* algebras, $H$ is a right Hilbert $A$-modules, $\phi :A \rightarrow B$ is a morphism, and assume that there is a map $\eta ...
6
votes
1answer
373 views

Who gave the generalized Stone-Weierstrass Theorem?

Let $X$ be a compact Hausdorff space and $\mathcal{A}$ be a closed self-adjoint subalgebra of $C(X)$ which contains the constants. Then $\mathcal{A}$ is the collection of continuous functions on ...
6
votes
1answer
151 views

Spectral mapping theorem for polynomials in $z,\overline{z}$ and direct construction of the function calculus for a normal operator

Suppose that $A$ is an element in Banach algebra and $p$ is a polynomial. Then we have an equality $p(\sigma(A))=\sigma(p(A))$ where $p(A)$ has an elementary meaning. This theorem (the spectral ...
7
votes
2answers
418 views

States in C*-algebras and their origin in physics?

in $C^*-$algebras with unit element, there is the definition of a state, as a functional $\omega$ with $\omega(e)=||\omega||=1.$ Now, of course there is also in classical physics and quantum ...
3
votes
2answers
205 views

Weak convergence implies norm convergence for trace class operators?

It is known that weak convergence implies norm convergence in $\ell^1(\mathbb{N})$, see e.g. here. Because of the typical analogies of the Schatten ideals $C_p \subset B(H)$ (where $H$ is a Hilbert ...
7
votes
1answer
145 views

The positive cone of the standard representation of a Von Neumann algebra

Let $A$ be a von Neumann algebra, let $L^2(A)$ be the underlying Hilbert space of the standard form of $A$, and $P \subset L^2(A)$ the canonical positive cone (see for example this paper by Haagerup). ...
2
votes
1answer
226 views

Is there a link between $H_2(G,\mathbb{Z})$, the Schur Multiplier of a group, and the “other” Schur multipliers of a group?

The name for the the following 2 mathematical objects: $$H_2(G,\mathbb{Z})$$ and $$\{K:G\times G\longrightarrow\mathbb{C}\ |\ \forall T\in B(l^2(G))\text{we have that}~S:G\times ...
4
votes
0answers
128 views

Submodules of a Hilbert space with finite Jones index with respect to a von Neumann algebra

While studying some basic theory of Cartan subalgebras of von Neumann algebras I found the following fact that I couldn't prove: Let $H$ be a Hilbert space, $A$ and $B$ trace von Neumann subalgebras ...
3
votes
0answers
107 views

The left regular representation of the Jacobi groups over local fields of characteristic >2 is type I?

Let $K$ be a non-archimedean local field of characteristic $>2$. Consider the Jacobi group $G=H_{2n+1}(K)\rtimes Sp_{2n}(K)$, which is the semidirect product of the Heisenberg group $H_{2n+1}(K)$ ...
3
votes
0answers
158 views

Uniqueness of the reduced free product of unital completely positive maps

For $1\leq i\leq n$, let $\psi_i$ be a faithful state on the C$^*$-algebra $A_i$ and $\phi_i$ be a faithful state on the C$^*$-algebra $B_i$. Let $(A,\psi) = *_{i=1}^n (A_i,\psi_i)$ and $(B, \phi) = ...
2
votes
1answer
175 views

Polar decomposition

Let $x$ be a trace class operator on a Hilbert space $H$. Then $x$ induces unique normal functional on $B(H)$, which we denote it by $f_x$. Let us consider the polar decomposition $x=u|x|$ and ...
4
votes
1answer
86 views

Commutator representation of certain smoothing operators

I have a question regarding the classical trace $\text{Tr} \colon \Psi^{-\infty}(S^1)\to \mathbb C$ on pseudodifferential operators of infinite negative order (i.e. smoothing operators), defined over ...
2
votes
0answers
74 views

Is the generated subalgebra of a subset of pairwise operator-commuting element in a JB-algebra associative?

In a Jordan algebra elements $a$ and $b$ are said to operator-commute, whenever $a \circ (b \circ x) = b \circ (a \circ x)$ for every other element $x$. (That is: $T_aT_b = T_bT_a$, writing $T_x(y) = ...
5
votes
0answers
120 views

Functoriality of $\mathsf{Cu}$

I have always been happy with the proof of the functoriality of the Cuntz semigroup $\mathsf{Cu}$ given in arXiv:0902.3381, where the isomorphism $$\mathsf{Cu}(A)\cong W(A\otimes K)$$ is used, $A$ ...
5
votes
1answer
208 views

$C^{*}$-correspondences viewed as generalized endomorphisms

I've heard that $C^{*}$-correspondences (over a $C^{*}$-algebra) can be viewed as generalized endomorphisms of the algebra. I would like to understand this, and be pointed towards books or papers ...
0
votes
0answers
82 views

Group which is not MF or AF

Does someone know example of group (countable, discrete) which can not be embedded (monomorphism) into $$ U(\prod M_n/\oplus M_n)$$ unitary group of universal MF-algebra? Or example of group which can ...
2
votes
1answer
133 views

How do we know the map is $w^{*}$-continuous?

I am reading a paper by David Blecher, which contains the following: " If $T: Y \to Z$ is a surjective isometric module map between $W^{*}$-modules over $M$, then $T$ is unitary. Also, $T$ is a ...
2
votes
0answers
119 views

Integral representation of the complex homogeneous polynomial $z_1\cdots z_n$

Consider the transform (see e.g., (5.1) in this paper): \begin{equation*} \Lambda_\mu(q)(z) := \int_{\Delta_n} ...
0
votes
0answers
83 views

semifinite projection

Let $M$ be von Neumann algebra, $p$ be semiefinite projection and $q$ be projection in $M$ such that $Z(q)=Z(p)$. ( $p$ is semifinite projection if every nonzero subprojection of $p$ contains a ...
3
votes
1answer
179 views

An inequality for Fuchsian groups?

Let $G$ be a finitely generated Fuchsian group. (i.e. a discrete subgroup of $\mathrm{PSL}_2(\mathbb{R})$). Is it true that $d(G) < 2\beta_{2}^1(G) + 1$ ? Here, $\beta_{2}^1(G)$ stands ...
2
votes
1answer
88 views

Approximation of the central support

Let $(M,\tau)$ be a tracial von Neumann algebra, i.e. a unital subalgebra $M=M''\subset \mathbb{B}(H)$; a finite (faithful) trace $\tau: M\to \mathbb{C}$ (faithful means that $\tau(x^*x)=0$ ...
7
votes
0answers
210 views

Commutation preserving operators

Let $A$ and $B$ be unital $C$*-algebras and let $T\colon A\to B$ be a bounded linear bijection that preserves commuting elements, i.e., $ab=ba$ implies $TaTb=TbTa$. Does $T^{**}$ then also preserve ...
8
votes
2answers
167 views

States and left ideals

Given a nontrivial left ideal $J$ of a unital $C^*$ algebra $A$, is there a state on $A$ which vanishes on all elements of $J$? (Left or right doesn't matter, just not 2-sided.) The problem came ...
4
votes
0answers
143 views

Connectivity of the group of invertible elements of $C(S^{2})\otimes A$

For what type of $C^{*}$ algebras $A$, the group of invertible elements of $C(S^{2}) \otimes A$ is a connected group? All finite dimensional $A$ satisfy this property. Is it true to say ...
1
vote
1answer
100 views

Comparison between spectra

Let $G$ be a normal operator with compact resolvent on a Hilbert space $H$ such that ${\rm ker}(G) \neq {0}$. Further let $P$ be the orthogonal projection onto ${\rm ker}(G)$, and let $G_{0}:=G+P$. ...
3
votes
0answers
100 views

Extending Akemann's Non-Commutative Urysohn Lemma

Assume $A$ is a C*-algebra and $p,q\in A^{**}$ are compact projections. Can we always find $a,b\in A^1_+$ with $p\leq a$, $q\leq b$ and $||pq||=||ab||$? Note if $||pq||=1$ this is immediate, ...