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

**7**

votes

**1**answer

78 views

### Multiplicative domains and conditional expectations

Let $M$ be an injective von Neumann subalgebra of $B(H)$. For a completely positive map $\phi:B(H)\to B(H)$, let $Mult(\phi)$ denote be the multiplicative domain of $\phi$. For any conditional ...

**1**

vote

**1**answer

149 views

### not commutative symmetric vs strong symmetric spaces

Let M be a von Neumann algebra with semi-finite normal faithful trace $\tau$, $S(M)$ is space of all measurable operators introduced by I.Segal.
For the self-adjoint measurable operator $X\eta M$ ...

**2**

votes

**0**answers

445 views

### The link between the subfactors and the motives as enriched Galois theories?

On 29th March 2007, at the "École normale supérieure" of Paris, the mathematician Vaughan Jones, gave a conference (in French) entitled "Les sous-facteurs : une théorie de Galois enrichie" (see here), ...

**3**

votes

**1**answer

251 views

### Metrics and completions on the direct limit of matrices of all sizes over arbitrary fields

Let $M_n$ denote the $n$ by $n$ matrices.
Consider the homomorphisms
$$\phi_{n,kn}: M_n \rightarrow M_{kn}$$
which takes a matrix $A \in M_n$ to $A \otimes I_k \in M_{kn}.$
This gives a sensible way ...

**7**

votes

**0**answers

109 views

### Do quotients of amenable groups C*-algebras satisfy the UCT?

Let G be a discrete amenable group.
General Question: Let $J$ be an ideal of $C^*(G)$, the group C*-algebra of $G.$ Does $C^*(G)/J$ satisfy the universal
coefficient theorem (UCT)?
I am mainly ...

**11**

votes

**0**answers

591 views

### Non-“weakly group theoretical” integral fusion categories?

Can you exclude integral fusion categories of global dimension $210$, such that the simple objects have dimensions $\{1,5,5,5,6,7,7\}$ and the following fusion matrices (I don't write the trivial one) ...

**1**

vote

**0**answers

54 views

### On linear functionals with the trace property that aren't positive

Suppose $A$ is a C*-algebra and $\phi:A \to \mathbb{C}$ is a bounded linear functional satisfying $\phi(ab) = \phi(ba)$ (I call this the trace property). How far is $\phi$ from being a (positive) ...

**2**

votes

**2**answers

146 views

### Topological K-theory for commutative C*-algebras

It is in some sense folklore that given two arbitrary abelian groups $G,H$ one can find a $C^*$ algebra $A$ such that $K_0(A)=G$ and $K_1(A)=H$. My question is the following: what is known in the case ...

**2**

votes

**1**answer

128 views

### Norms on Clifford algebra (C^* norm)

Basically I'm interested in operator algebras such as $C^*$ or von Neumann algebras. However I decided to learn a bit about noncommutative geometry (in particular spectral triples). Before doing this ...

**0**

votes

**0**answers

164 views

### NonCommutative analog of the Poincare Bendixson theorem [closed]

The classical Poincare Bendixson theorem says: If $X$ is a vector field on $\mathbb{R}^{2}$ or $S^{2}$ and $K$ is a compact set which is invariant under the flow generated by $X$. Then $K$ contains ...

**4**

votes

**1**answer

997 views

### Goin' with the flow with Kummer and Pascal: Combinatorics and geometry underlying the logarithm of the derivative operator

In a MO-Q111165 and associated MSE-Q125343, I present a pair of raising / lowering (creation / annihilation) operators $R_x = log(D)$ and $L_x = -x·D$ with $D=d/dx$ (for a sequence of functions ...

**7**

votes

**3**answers

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

**7**

votes

**1**answer

231 views

### How much does the absolute value of an operator behave like an absolute value?

Recall that the absolute value of a bounded operator $T$ on a Hilbert space $H$ is the unique positive operator $|T|$ such that $$\||T|x\|=\|Tx\|$$ for all $x\in H$. It can be defined using the ...

**5**

votes

**0**answers

183 views

### Is the crossed product $\mathcal{K} \rtimes G$ a groupoid algebra?

Suppose G, a discrete group acting on the compact operators $\mathcal{K}$ by automorphism of C*-algebra $\mathcal{K}$. Can we view the crossed product as a groupoid C*-algebra of some groupoid?
This ...

**3**

votes

**0**answers

95 views

### allowing `discontinuous functions' into a C* algebra

There follows a possible construction, and I would like to know if it or a similar construction has been done before (as I suspect), so that I can reference it, or if it obviously does not work! Any ...

**18**

votes

**1**answer

438 views

### “Minimal” group C*-algebra?

Let $\Gamma$ be a discrete group (though this could be asked for general locally compact groups) and consider the Banach $*$-algebra $\ell^1(\Gamma)$. We have two natural $C^*$-algebra completions: ...

**7**

votes

**2**answers

232 views

### Arveson's extension for normal completely positive maps

My question deals with a version of Arveson's extension theorem (for the standard version, see, e.g., Paulsen's book Completely Bounded Maps and Operator Algebras). Let $\mathcal A$ be a von Neumann ...

**13**

votes

**1**answer

234 views

### A possible extension of a determinant inequality

It is well known that if $A, B$ are positive semidefinite matrices, then $$\det (A+B)\ge \det A+\det B.$$
I am considering a possible extension of this result. Let $\mathbb{M}_m(\mathbb{M}_n)$ ...

**2**

votes

**1**answer

291 views

### The category of subfactors extending the category of groups?

This post was inspired by this answer of Dave Penneys.
In the category of (irreducible hyperfinite II$_1$) subfactors, the morphisms of $(N \subset M)$ to $(N' \subset M')$ are usually defined as ...

**7**

votes

**1**answer

279 views

### positive elements in tensor product

Let x be a positive element in the spatial tensor product of two non unital C* algebras
A and B. Is there a single element $a \otimes b \geq x$?
How can we noncommutativize the following proof, in ...

**3**

votes

**1**answer

146 views

### A question on $Z^{*}$ algebras

A $Z^{*}$ algebra is a $C^{*}$ algebra which satisfies each of the following equivalent conditions:
All elements of $A$ are left zero divisor.
All elements are right zero divisor.
All elements ...

**5**

votes

**2**answers

163 views

### Characterization of ideals in the bounded operators

Let $\mathcal{B}(H)$ denote the C*-algebra of all bounded operators on a separable infinite dimensional complex Hilbert space $H$. It is a well-known fact that $\mathcal{B}_0(H)$, the ideal of compact ...

**7**

votes

**1**answer

172 views

### Why do the projections in the Calkin algebra not form a lattice?

Let $H$ be an infinite dimensional separable complex Hilbert space. Denote by $\mathcal{B}(H)$ the C*-algebra of bounded operators on $H$, $\mathcal{K}(H)$ the ideal of compact operators on $H$, and ...

**2**

votes

**0**answers

125 views

### C*-algebras and bounded relations

I'm trying to get used to the language of generators and relations for C*-algebras through Loring's "Lifting Solutions to Perturbing Problems in C*-Algebras". So far this is what I got from the first ...

**8**

votes

**2**answers

298 views

### Continuity of the product map

Let $A$ be a $C^*$-algebra.
Is it possible to characterize $A$ for which the product map defined by
$$\sum\limits_{i=1}^n a_i\otimes b_i \mapsto \sum\limits_{i=1}^n a_i b_i$$
is continuous with ...

**1**

vote

**2**answers

152 views

### Continuous linear functionals in strong operator and $\sigma$-strong topologies

It was mentioned in the comments to http://math.stackexchange.com/questions/517369/comparison-of-strong-operator-and-weak-topologies-on-bh that continuous linear functionals on ...

**3**

votes

**1**answer

124 views

### Pullbacks of $C^*$-algebras

I am reading the paper of Pedersen: "Pullback and Pushout Constructions in C^*-Algebra Theory". I try to work out the arguments from Proposition $3.1$ of his paper (you can find this article in the ...

**4**

votes

**1**answer

124 views

### When is the corner algebra $PM_n(A)P$ isomorphic to $A$?

In the algebra of matrices $M_n(A)$ over a $C^*$ algebra $A$, consider the corner algebra $PM_n(A)P$ for a Hermitian projection $P\in M_n(A)$. Is there any condition known for $P$ to make $PM_n(A)P$ ...

**1**

vote

**0**answers

103 views

### Extension of a bounded operator on manifold

I have a problem, which is quite urgent, as I have only today discovered an error in a proof i had in a thesis which is to be handed in tomorrow.
The problem, if stated in as full generality as ...

**8**

votes

**2**answers

126 views

### Universal unital $C^*$ algebra generated by the relations of an n by n projection

Take generators $a_{ij}$ for $1\le i,j\le n$. Impose relations which come from the matrix
\begin{eqnarray*}
P=\left(\begin{array}{ccc}a_{11} & \dots & a_{1n} \\\vdots & \ddots & ...

**5**

votes

**2**answers

201 views

### When is the group algebra $L^1(G)$ semisimple?

Let $G$ be locally compact group. Define group algebra as
$$L^1(G)=\{f\colon G\to\Bbb{C}\mid\int\lvert f(x)\rvert\, dx<\infty\}$$
with convolution product. When is the group algebra $L^1(G)$ ...

**7**

votes

**3**answers

457 views

### Why is every factor a tensor product of a $\sigma$-finite factor and a factor of type I?

Here I am not assuming the factor is represented on a separable Hilbert space. This is quoted on page 370 of Takesaki II, then a bit later on page 381, and I haven't been able to find a proof prior to ...

**7**

votes

**0**answers

179 views

### How many ideals are there in $B(H)^{**}$?

It is well-known (and easy to prove) that the only closed ideals of $B(\ell_2)$ are $\{0\}$, $B(\ell_2)$ and $K(\ell_2)$, the ideal of compact operators on $\ell_2$. I am curious whether we know what ...

**1**

vote

**0**answers

74 views

### Differentiable Path of Operators and their Inverses

Let $\mathcal{H}$ be a separable Hilbert space. Consider a differentiable map $\mathbb{R} \rightarrow \mathcal{B}(\mathcal{H}), t \mapsto A(t)$, where $\mathcal{B}(\mathcal{H})$ is the space of ...

**2**

votes

**1**answer

100 views

### positive maps and bimodules

Given a positive (or completely positive map) $\phi:A\to B$ between C* algebras, is there a way to construct an $A-B$ bimodule? This would more or less generalise the following construction: If $\phi$ ...

**10**

votes

**1**answer

119 views

### Understanding the computation of the center of Tambara-Yamagami fusion categories when realized as C* categories

Recall that the Tambara-Yamagami categories are those with fusion ring $\mathbb{Z}[A \cup m]$ where $A$ is an abelian group and $m$ is a non-invertible (simple) object such that $ma = am = m$ for all ...

**5**

votes

**1**answer

239 views

### Taking direct sums in $K$-theory in Kirchberg-Phillips classification

A theorem by Kirchberg and Phillips states that two unital separable nuclear simple purely infinite $C^*$-algebras (so called Kirchberg algebras) satisfying the Universal Coefficient Theorem are ...

**4**

votes

**1**answer

141 views

### von Neumann algebras generated by commutators

Let $A$ be a UHF-algebra of type $n^{\infty}$ and denote its unique and faithful trace by $\tau$. Let $L^2(A)$ be the Hilbert space of the GNS-representation associated to $\tau$. We have two ...

**1**

vote

**0**answers

109 views

### Number of connected components of a $C^{*}$ algebra

Motivating by the concept in the following post
What are these compact sets called?
We introduce the following concept:
Let $A$ be a unital $C^{*}$ algebra. We consider the unitary equivalent ...

**1**

vote

**1**answer

157 views

### Existence of homogeneous single chain compositions of a given maximal subfactor?

All the subfactors here are irreducible inclusion of hyperfinite II$_1$ factors.
A subfactor $(N \subset M)$ is Homogeneous Single Chain ($HSC$) if its lattice of intermediate subfactors is a ...

**0**

votes

**1**answer

148 views

### Injective element of a commutative Banach algebra

A revision:
According to the comment of Nate Eldredge, in order to avoid the triviality, we revise the property $P$.
Assume that $A$ is a commutative unital Banach algebra. Its maximal ideal ...

**0**

votes

**0**answers

226 views

### A noncommutative vector bundle

We know that a noncommutative vector bundle is a finitely generated projective $A$-module where $A$ is a non commutative $C^{*}$ algebra. In this question we introduce a particular non commutative ...

**11**

votes

**3**answers

375 views

### Is the space of *-homomorphisms between two $C^*$-algebras locally path connected

Given the set of *-homomorphisms between two $C^*$-algebras $A$ and $B$, we may define a metric on it by setting $d(f,g):= \sup_{0<\|a\|\le 1}\|f(a)-g(a)\|$. Could it be true that, for each ...

**2**

votes

**0**answers

100 views

### Predual of a von Neumann algebra in terms of trace class operators

For a von Neumann algebra $\mathcal{A} \subseteq \mathcal{B(H)}$ where $\mathcal{B(H)}$ is the space of all bounded linear operators on the Hilbert space $\mathcal{H}$, there is a Banach space $ ...

**0**

votes

**0**answers

136 views

### Can I define Fredholm Index using $\dim \ker ST - \dim \ker TS$?

$X$, $Y$ are Banach spaces.
Let $S \in L(X, Y)$, $T \in L(Y, X)$, where $L(X, Y)$ denotes the Banach algebra of bounded linear operators from $X$ to $Y$. If we have that $Id_Y - ST \in \mathbb{K}(Y)$ ...

**7**

votes

**0**answers

366 views

### Saito-Wright definition of Rickart C*-algebras

A C*-algebra is Rickart if for each $x\in A$ there is a projection $p\in A$ so that
$R(x)=pA$.
Here the right-annihilator $R(S)$ of $S\subset A$ is defined
as $R(S)=${$a\in A\mid xa=0\, \forall ...

**17**

votes

**8**answers

3k views

### Simplest examples of rings that are not isomorphic to their opposites

What are the simplest examples of
rings that are not isomorphic to their
opposite rings? Is there a science to constructing them?
The only simple example known to me:
In Jacobson's Basic Algebra ...

**1**

vote

**1**answer

54 views

### Square of Pierce 1/2 elements

Let $p$ be a nontrivial idempotent in a JB-algebra $A$ with Pierce decomposition $A = A_1 \oplus A_{1/2} \oplus A_0$. Then the projection onto $A_1$ (resp. $A_0$) is given by $U_p$ (resp. $U_{p'}$). ...

**28**

votes

**2**answers

4k views

### tr(ab) = tr(ba)?

It is well known that given two Hilbert-Schmidt operators $a$ and $b$ on a Hilbert space $H$, their product is trace class and $tr(ab)=tr(ba)$. A similar result holds for $a$ bounded and $b$ trace ...

**1**

vote

**0**answers

94 views

### Bootstrap subcategory abelian?

In the book "K-Theory for Operator Algebras" by Bruce Blackadar, the exercise 23.15.8. on page 246 says:
"Let KKN be the full subcategory of KK with objects in N. Show that KKN is abelian category by ...