# Tagged Questions

**1**

vote

**1**answer

64 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

**1**answer

168 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

**1**answer

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

**2**answers

200 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

**0**answers

51 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

**1**answer

219 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

**0**answers

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

**1**answer

371 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 ...

**7**

votes

**1**answer

140 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

**2**answers

413 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

**2**answers

192 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

**1**answer

142 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

**1**answer

224 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

**0**answers

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

**0**answers

106 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

**0**answers

156 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

**1**answer

174 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

**1**answer

85 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

**0**answers

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

**0**answers

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

**1**answer

207 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

**0**answers

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

**1**answer

129 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

**0**answers

118 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

**0**answers

82 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

**1**answer

177 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

**1**answer

87 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

**0**answers

209 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

**2**answers

165 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

**0**answers

142 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

**1**answer

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

**0**answers

97 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

**1**answer

226 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

**1**answer

256 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

**0**answers

174 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

**0**answers

116 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

**2**answers

504 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

**1**answer

200 views

### simple and non nuclear $C^*$-algebra

Is there an example of simple and non-nuclear(non-amenable) $C^*$-algebra?

**0**

votes

**0**answers

60 views

### On the tensor product of irreducible finite index subfactors

This post extends this question on maximal subfactors, admitting this answer of Feng Xu.
Statement: A tensor product of irreducible finite index subfactors has a non-obvious intermediate if and only ...

**3**

votes

**0**answers

227 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

**1**answer

261 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

**1**answer

85 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

**1**answer

187 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

**1**answer

192 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 ...

**7**

votes

**1**answer

183 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

**1**answer

203 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
...

**3**

votes

**1**answer

92 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

**0**answers

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

**2**answers

274 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

**1**answer

234 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 ...