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

learn more… | top users | synonyms (1)

6
votes
1answer
163 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
432 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
248 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
149 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
229 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 G\longrightarrow\...
4
votes
0answers
131 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
110 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
160 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
180 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 $f_x=...
4
votes
1answer
88 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
76 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
121 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
210 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
86 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
135 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 $w^{*}...
2
votes
0answers
122 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} q(\zeta)\,\Re\left(\frac{1+\langle\zeta,z\rangle}{1-\langle\zeta,z\rangle}\right)d\mu(\...
0
votes
0answers
84 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 ...
4
votes
1answer
184 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 for ...
2
votes
1answer
90 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
169 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
144 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
104 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, ...
4
votes
1answer
230 views

A question on complex line bundle over $S^{2}$

Consider the trivial bundle $\epsilon_{2}=S^{2}\times \mathbb{C}^{2}$ with the standard Hermitian inner product $<(a,b), (c,d)>=a\bar{c}+b\bar{d}$. Assume that $\ell$ is a sub line bundle of ...
12
votes
1answer
268 views

Almost idempotent approximate units in C*-algebras

As in Blackadar's "Operator Algebras" Definition II.4.1.1., call an approximate unit $(a_\lambda)$ in the positive unit ball of a C*-algebra almost idempotent if $a_\lambda a_\gamma=a_\lambda$ ...
4
votes
0answers
182 views

Discrete groups G whose full C*-algebra C*(G) is not MF?

This is a cheap rip-off of this question, but I am genuinely interested in an answer. Is there a known example of a countable discrete group G whose full group C*-algebra C*(G) is not MF? Let us ...
3
votes
0answers
119 views

Closed containment of open projections in C*-algebras

For a C*-algebra $A$ and open projections $p,q\in A^{**}$, consider the following statements. $\overline{p}\leq q$ $p\leq q$ and there exists open $r\in A^{**}$ with $rp=0$ and $r\vee q=1$ $p\leq q$ ...
7
votes
2answers
514 views

$H^{*}$ algebras as a generalization of $C^{*}$ algebras

Let $H$ be the quaternions algebra. An $H^{*}$ algebra is a normed ring $A$ which is simultaneously a unital left $H$ module and has an involution $*$ with the following properties: $\forall \lambda ...
4
votes
1answer
212 views

simple and non nuclear $C^*$-algebra

Is there an example of simple and non-nuclear(non-amenable) $C^*$-algebra?
3
votes
0answers
231 views

Graded structures for simple $C^{*}$ algebras without nontrivial idempotent

Edit(A confession): I just realized that the question is trivial: Since one can easily prove that the convex hull of the spectrum of every nontrivial homogeneous element of a $\mathbb{Z}_{n}$-graded $...
11
votes
1answer
262 views

Are free positive operators equivalent to almost-commuting operators?

Set $A:=C_0((0,1]) * C_0((0,1])$ (the free product C*-algebra), with canonical generators $a,b$ (positive contractions). Does there exists some $\gamma>0$ such that, for any $x,y \in A$ if $x^*x=a$ ...
4
votes
1answer
89 views

second dual of minimal tensor products of $C^*$-algebras

Let $A$ be a unital $C^*$-algebras and $K(H)$ is $C^*$-algebras of compact operators on separable Hilbert space $H$. Is it true that $(A \otimes K(H))^{**}= A^{**} \overline{\otimes}B(H)$?
6
votes
1answer
189 views

Fundamental class in $KO[1/2]$

Let $M^m$ be an oriented Riemannian manifold. The signature operator associates to $M$ a class $\Delta_M\in KO_m(M)[1/2]$. I have two questions about this class $\Delta_M$: Rationally, $\Delta_M$ is ...
5
votes
1answer
195 views

Power's Theorem for irreducible representations

Let $A_{\alpha}\subset B(H)$ be a bunch of unital C*-algebras acting on a Hilbert space $H$ given together with their character spaces $M(A_{\alpha})$'s. A very nice theorem of Stephen C. Power ...
9
votes
2answers
304 views

Groups without property (T) but all finite quotients are expanders

What is an example of a group $G$ which 1- is finitely generated by $S$, 2- does not have property (T), 3- admits infinitely many finite quotients which do not factor through an homomorphism $G \...
12
votes
1answer
218 views

Equivariant Fredholm operators classify equivariant K-theory

Let $\mathcal{F}$ be the space of Fredholm operators on a separable Hilbert space $H$ with the topology induced by the operator norm. If $X$ is compact, Atiyah-Jänich proved that $$[X,\mathcal{F}]\...
3
votes
1answer
96 views

Existence of free operators, independent and with given distributions

Excuse me if the question is not appropriate for Mathoverflow. I havs asked it in math.stackexchange, but did not get any response. And so, I dared to put it here. I am trying to learn free ...
3
votes
0answers
138 views

Deformation and Representations

Let $\widetilde{U_q(sl_n)}$ denote a deformation of the algebra $U_q(sl_n)$. In particular, $\widetilde{U_q(sl_n)}$ is defined by the same generators and relations and $*$-operations as $U_q(sl_n)$ ...
10
votes
2answers
281 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, ...
11
votes
1answer
253 views

q-Virasoro and q-Heisenberg algebras

The literature has definitions (seemingly plural, though they might be linked) of a $q$-deformed Virasoro algebra. But is there any link of these to a $q$-deformed Heisenberg algebra? (Classically ...
3
votes
0answers
46 views

Isometric domain of a unital completely positive map with respect to $L_p$-norms

This question can be formulated for general ($\sigma$-finite) von Neumann algebras, but for me it is enough to consider matrix algebras. So let $M$ be a matrix algebra and $\rho$ a faithful state (...
11
votes
0answers
341 views

Sums of squares via semidefinite programming for the complex free group algebra

In the algebra of real noncommutative polynomials (the “free monoid algebra” over the real field) it is possible to reduce the question of whether an element is a sum of hermitian squares and ...
15
votes
2answers
561 views

formula for Eta invariant

Hirzebruch's signature formula is not valid for manifolds with boundary. An error term is introduced by Atiyah-Patodi-Singer to fix it.More precisely: $$sign (M)=L(M)[M]+\eta(\partial M)$$ Yet ...
3
votes
2answers
607 views

Banach algebraic proof of the Borsuk Ulam theorem

I am wondering whether there exists a proof of the classical Borsuk Ulam theorem for the Euclidean n-sphere, $n>2$ that is based only on the theory of Banach algebras. I checked on MR but had no ...
7
votes
0answers
208 views

Verifying Woronowicz’s proof that all $ {\text{SU}_{q}}(2) $’s are isomorphic as $ C^{*} $-algebras, where $ -1 < q < 1 $

This question is related to one that I asked some time ago. Definition 1. Let $ q \in (-1,1) $. Let $ A $ be a unital $ C^{*} $-algebra and $ (x,y) $ a pair of elements of $ A $. Then define the ...
3
votes
0answers
193 views

Infinite number of non-isomorphic von Neumann algebras with property Gamma?

A II$_1$ factor $\mathcal M$ with trace $\tau$ has property Gamma if for every $\epsilon > 0$ and finite set $\{x_1,\cdots, x_n\} \subset \mathcal M$ there exists a trace 0 unitary element $y\in\...
3
votes
1answer
104 views

Point-ultraweak limit of *-homomorphisms/cpc order zero maps

Suppose we have the following: A C*-algebra $A$ and a von Neumann algebra $M$ (we can assume that $M$ is $\mathcal B(H)$). A sequence of *-homomorphisms $\phi_i\colon A\to M$ an ultrafilter $\...
3
votes
1answer
144 views

What are the applications of the depth 2 reduction to the subfactors theory?

Let $(N \subset M)$ be an irreducible finite depth ($>2$) finite index inclusion of hyperfinite ${\rm II}_1$ factors, then for $n$ sufficiently large the subfactor $(N \subset M_n)$ is depth $2$ (...
7
votes
1answer
166 views

Hopf Galois extensions and conditional expectations for C* algebras

Suppose that $H$ is a Hopf algebra with normalised invariant integral (appropriate side) $\int:H\to \mathbb{C}$. The $H$ right comodule algebra $P$ is a Hopf Galois extension, so the canonical map $P\...