**2**

votes

**0**answers

92 views

### Can we solve the FGF problem by finding an appropriate action?

If we can find an action of the free group $\mathbb{F}_2$ on a measure space $X$ such that the crossed product $M=L^∞(X)⋊\mathbb{F}_2$ is a ${\rm III}_1$ factor with core isomorphic to ...

**2**

votes

**1**answer

56 views

### Choi type matrix condition for completely positivity on a certain operator system spanned by some unitaries

Let $B_1$ and $B_2$ be $C^*$-algebras. Let $U_1, \ldots, U_n$ be some unitaries in $B_1.$ We consider the operator system $S$ spanned by $U_iU_j^*.$
Let $\phi: S \rightarrow B_2.$
Given that the ...

**6**

votes

**2**answers

349 views

### Kazhdan's property (T) vs. residual finiteness

I have asked this question already on mathstackexchange but got no answer (see http://math.stackexchange.com/questions/1795795/kazhdans-property-t-vs-residual-finiteness) and it was suggested that I ...

**3**

votes

**3**answers

467 views

### Are the finite dimensional von Neumann algebras, singly generated?

Let $\mathcal{M}$ be a finite dimensional von Neumann algebra, then :
$$\mathcal{M} \simeq \bigoplus_i M_{n_i}(\mathbb{C})$$
Question : Is it singly generated (as von Neumann algebra)? how ?
...

**1**

vote

**1**answer

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

**2**

votes

**0**answers

84 views

### Orthogonality relations for unitary representations of infinite (finitely generated) groups

Let $G$ be a group, and consider the matrix elements of finite dimensional irreducible unitary representations of $G$ over $\mathbb{C}$ as functions $f:G\to \mathbb{C}$. If $G$ is finite, any two ...

**5**

votes

**2**answers

208 views

### $id:A\to A^{op}$ is completely positive iff $A$ is abelian

Let $A$ be a $C^*$-algebra and $A^{op}$ it's opposite $C^*$-algebra. Let $id:A\to A^{op}$ be the identity map. $id$ is positive.
The claim is: $id$ is completely positive iff $A$ is abelian.
I need ...

**6**

votes

**1**answer

284 views

### Decomposability of positive maps

By results of Størmer and Woronowicz, every positive map $\Phi \colon \mathcal{M}_{d \times d} \rightarrow \mathcal{M}_{d' \times d'}$ for $dd' \leq 6$ can be decomposed as a convex combination
...

**7**

votes

**1**answer

165 views

### K theory for pre $C^*$-algebras

In noncommutative geometry when one want to go to the differentiable level, one is forced to work with algebras which are no longer $C^*$. It is nice if we don't loose much information by the ...

**1**

vote

**0**answers

49 views

### Tor functor in the case of algebra of smooth functions

Let $A=C^{\infty}(\mathbb{S}^{1})$, let $B$ be the sub-algebra $C^{\infty}(0,1)$. Here we identify $\mathbb{S}^{1}$ by $\mathbb{R}/2\pi \mathbb{Z}$. I want to ask if there is a way I can decompose $A$ ...

**1**

vote

**0**answers

61 views

### Group actions on principal groupoids

Suppose that $\mathcal{G}$ is etale principal groupoid and that $G$ is a discrete (or finite) group acting freely on the locally compact unit space $\mathcal{G}^0$ (or assuming compactness, if ...

**3**

votes

**1**answer

70 views

### Terminology: jointly completely bounded?

This question has a subjective component but I would like answers that try to stick to concrete observable facts, such as which papers use which terminology. However, the informed impressions of those ...

**1**

vote

**1**answer

140 views

### Uniform Roe algebras and exact groups

Let $\Gamma$ be a discrete group.
Q: If $l^\infty(\Gamma)\rtimes \Gamma=l^\infty(\Gamma)\rtimes_r \Gamma$ canonically, can we conclude that $\Gamma$ is an exact group?
The converse implication is ...

**1**

vote

**0**answers

95 views

### Sums of hermitian squares in free abelian group algebras and real positive semidefinite matrices

A little context for the following question, first. As Noah Stein notes in a comment below, the present question is closely related to the free semialgebraic geometry studied by Helton and his ...

**3**

votes

**0**answers

56 views

### Algebras involved to define spectral triple

A spectral triple consist from $(A,H,D)$ where $A$ is some unital $*$-subalgebra of $B(H)$ and $D$ is unbounded operator with compact resolvent such that for all $a\in A$ the commutatot $[D,a]$ is ...

**3**

votes

**0**answers

50 views

### Isometry from a representation to the representation tensored with itself

Suppose, the group $ G=S(2^{\infty})$ has a unitary representation $ \pi $ on a separable infinite dimensional Hilbert space $ H $.
(The group $ S(2^{\infty}) $ is the direct limit of the following ...

**5**

votes

**1**answer

101 views

### is the maximal tensor product of compact operators an essential ideal?

I'm searching for a counterexample for $C^*$-algebras $A$ and $B$ and essential ideals (I assume an ideal to be closed and only two-sided ideals) $I\subseteq A$, $J\subseteq B$ , such that the ideal ...

**3**

votes

**1**answer

108 views

### is a linear map on an operator system into a $C^*$-algebra (+ extra conditions) positive?

First of all, sorry for my bad english. I tried to find out whether the following statement is true or not:
Let $X$ be a operator system, $B$ a $C^*$-algebra and $f:X\to B$ linear such that $f(1)\ge ...

**3**

votes

**2**answers

114 views

### The multiplier algebra of a Reproducing Kernel Hilbert Space and its commutant

In my research in the theory of Reproducing Kernel Hilbert Spaces I was concerned with this topic which came up but I could not find a reference on:
If $ \mathbb{H} $ is an RKHS and we denote the ...

**1**

vote

**0**answers

55 views

### weak convergence in operator space structure

Let $M$ be von Neumann algebra and $B(H)$ be it's universal representation. Let $(e_i)$ be a Hilbert basis of $H$ and $\zeta_n\xrightarrow{w}\zeta $ in $H$. I know that $[w_{\zeta_n ,e_i}]_{1\times ...

**1**

vote

**0**answers

50 views

### (Topological) K-theory for commutative $C^*$-algebras: operator and standard approaches

Let $A$ be a commutative unital $C^*$ algebra. Then $A=C(X)$ for some compact Hausdorff space $X$. Topological $K$-theory group (namely $K_0$) is defined in terms of vector bundles as a Grothendieck ...

**4**

votes

**3**answers

360 views

### What is the group of automorphisms of $l^{\infty}$?

What is the group of automorphisms of $l^{\infty}$?
I think it would be the permutations of the integers. Is this right?

**7**

votes

**2**answers

287 views

### “Identity tensor transpose” as a map $M_n \hat{\otimes} M_n \to M_n \overline{\otimes} M_n$

Equipping $M_n$ with its usual operator space structure,
$\newcommand{\ptp}{\widehat{\otimes}}$
we can form the projective tensor product of operator spaces $M_n\ptp M_n$. In particular this puts a ...

**7**

votes

**1**answer

127 views

### Algebraic $K_1$ group for a $C^*$-algebra

Let $A$ be a $C^*$-algebra: then one defines topological $K_1$ group as $GL_{\infty}(A^+)/\Big(GL_{\infty}(A^+)\Big)_0$ where $A^+$ denotes $A$ with the unit adjointed (even if $A$ already had a unit: ...

**2**

votes

**1**answer

219 views

### Has a subfactor with lattice $B_3$, a singly generated identity biprojection?

Let $(N \subset M)$ be an irreducible finite index subfactor.
If its lattice of intermediate subfactors is equivalent to $B_3$ (the lattice of divisors of $n=p_1p_2p_3$ square free):
...

**16**

votes

**1**answer

623 views

### Explicit path in the unitary group of a $C^*$-algebra

For $G$ a discrete group, there is a canonical inclusion $g\mapsto u_g$ of $G$ into the unitary group of the reduced $C^*$-algebra $C^*_r(G)$. Denote by $[u_g]$ the class of $u_g$ in the (topological) ...

**13**

votes

**2**answers

449 views

### A matrix norm inequality

Suppose that $A, B$ are Hermitian positive definite matrices of the same order and $0\le p\le 1$. Using a standard approach in matrix analysis, one can show that
$\|A^{1-p}B^p\|\ge \|A\sharp_p B\|$, ...

**6**

votes

**1**answer

115 views

### Two notions of bundle of C* algebras

One can find in the literature two notions of $C^*$-algebra over a topological space $X$.
The first is as the data of an open surjection $ \pi: B \rightarrow X$ together with the structure of a ...

**6**

votes

**1**answer

161 views

### Time-Energy Uncertainty Relation in relativistic Quantum Mechanics

There is an old intriguing result in non-relativistic QM, stating (roughly) that there is an Heisenberg Time-Energy Uncertainty Relation.
Unfortunately, in QM time is not an operator like space, ...

**2**

votes

**0**answers

84 views

### Primitive ideal space and unitary dual of a [SIN] group - when are they Hausdorff?

Recall that a locally compact group $G$ is said to be
an $[FC]^-$ group, if each conjugacy class in $G$ has a compact closure;
an $[SIN]$ group, if each neighborhood of the identity includes a ...

**2**

votes

**0**answers

129 views

### The functional equation $T(x\otimes y)=T(x)\otimes T(y)$ on certain $C^{*}$ algebras

Is there a name for the following property of a $C^{*}$ algebra $A$?
$$A \simeq A \otimes A\;\;\; \text{The spatial tensor product}$$
Example of this situation is $A=C(X)$ where $X$ is the ...

**1**

vote

**1**answer

119 views

### Does a $W^*$ envelope exist?

I know that an operator algebra $A$ has a "minimal" $C^*$-algebra $C$ containing $A$, which is known as the $C^*$ envelope of $A$. The existence of such a minimal $C^*$-algebra generated by $A$ (a ...

**5**

votes

**0**answers

155 views

### K theory as the fundamental group

There are several ways in which one can define $K$-theory for $C^*$-algebras: for $K_0(A)$ group two aproaches: algebraic (using idempotents) and topological (using projections, i.e. self-adjoint ...

**2**

votes

**1**answer

83 views

### About eigen-functions of the Gaussian kernel

If I look at the Guassian kernel function $e^{- \frac {\vert x - y\vert_2^2 }{2 w^2 } }$ for $x, y \in \mathbb{R}$. Then w.r.t the Gaussian measure $N(\mu,\sigma)$ I believe it is true that this has a ...

**5**

votes

**0**answers

107 views

### Automorphisms of Cuntz algebra

Suppose, $ O_{\infty} $ is the cuntz algebra generated by the orthogonal isometries $ \{S_i\}_{i\in \mathbb{N}} $,i.e. $ S_i^*S_j=\delta_{ij}$ and $ O_{\infty}=C^*(\{S_i\}_{i\in \mathbb{N}}) $.
Then ...

**4**

votes

**1**answer

71 views

### Operator space structures on CB(H,K) where H and K are Hilbertian operator spaces?

(I'd be grateful if anyone thinking of putting MathJax in the question title refrains from doing so.)
By consulting various standard sources (Effros-Ruan's book, Pisier's book, the lexicon of ...

**3**

votes

**0**answers

60 views

### A continuous functional calculus on/positive elements in a Fréchet algebra?

I am trying to understand what (minimal) conditions one would need in order to obtain a functional calculus on a Fréchet algebra, which we demand to be equipped with an involution that leaves all ...

**6**

votes

**1**answer

138 views

### Morita equivalence base equivalence relation for discrete groups

In the context of "discrete groups", is there an equivalence relation that implies the Morita equivalence of their reduced group C*-algebras?
We define $G \sim H$ for discrete groups $G$ and $H$, ...

**9**

votes

**0**answers

51 views

### Is the domain of an operator valued weight closed under Hahn-Jordan decomposition?

Let $N\subseteq M$ be an inclusion of semi-finite factors with normal faithful semi-finite traces $\operatorname{Tr}_N$ and $\operatorname{Tr}_M$ respectively. Let $T: M^+\to \widehat{N^+}$ be the ...

**7**

votes

**3**answers

865 views

### Generalizations and relative applications of Fekete's subadditive lemma

Fekete's (subadditive) lemma takes its name from a 1923 paper by the Hungarian mathematician Michael Fekete [1]. A historical overview and references to (a couple of) generalizations and applications ...

**3**

votes

**1**answer

463 views

### Trace vs. state in von Neumann algebras

The question may be not appropriate with the title, since I do not know how to name it. I apologize.
Let $M$ be a finite $II_1$ factor, $\tau$ be the canonical trace. Let $p, q$ be two projections ...

**1**

vote

**1**answer

214 views

### On the second dual of $C[0,1]$

I have two questions on the second dual of $C[0,1]$:
R. D. Mauldin ([1]) proved that: For a given bounded linear functional
$T: C[0,1]^*\to \mathbb{C}$ there is a bounded function $\psi$ defined on ...

**1**

vote

**1**answer

210 views

### Weak topology restricted to the unitary group of a von Neumann algebra

Consider the weak topology in a von Neumann algebra (weak in the sense of Banach spaces).
Does this topology coincide with the rest of the "weak" topologies when restricted to the unitary group?

**11**

votes

**0**answers

318 views

### Does every commutative $*$-algebra of operators on a prehilbert space have a character?

My question can be equivalently stated as follows:
Let $A$ be a complex commutative algebra with involution, and assume there exists a non-zero homomorphism $\pi:A\to L(V)$ to the algebra of ...

**13**

votes

**1**answer

535 views

### A left inverse for the comultiplication on a Hopf von Neumann algebra

Edit: incorrect claim at end of earlier version; thanks to Matthew Daws for pointing this out in comments.
$\newcommand{\cM}{{\mathcal M}}\newcommand{\stp}{{\overline{\otimes}}}$The following ...

**3**

votes

**0**answers

140 views

### A strongly open set which is not measurable in the weak operator topology

Let $H$ be a non-separable Hilbert space and $\{e_i\}_{i\in I}$ be an orthonormal basis for $H$. Let $J$ be a uncountable proper subset in $I$.
Let us put $$E=\{x\in B(H): \lVert xe_j\rVert <1: ...

**1**

vote

**1**answer

117 views

### Representations of Calkin algebra

Let $H$ be a separable Hilbert space and consider the Calkin algebra $C(H)=\frac{B(H)}{K(H)}$.
Q) True or false: Any representation of $C(H)$ is a direct sum of irreducible representations.

**4**

votes

**1**answer

144 views

### Most natural equivalence between $C^*$-algebras in NCG

I have listen or read that, in the context of noncommutative geometry, Morita equivalence is a more natural equivalence for $C^*$-algebras than $*$-isomorphism.
Can someone explain this sentence or ...

**6**

votes

**1**answer

522 views

### Approximate units from strictly positive elements in $C^{*}$-algebras.

The existence of a countable approximate unit in a $C^{*}$-algebra $B$ is equivalent to the existence of a strictly positive element $h\in B$. There are several ways to construct an approximate unit ...

**0**

votes

**1**answer

119 views

### A point-wise separation Hahn-Banach theorem in C*-algebras

Let $H$ be a Hilbert space. We denote $K(H)$ by the space of compact operators on $H$ which is a two sided ideal in $B(H)$.
Let $E$ be a norm closed convex subset of positive operators in $K(H)$ ...