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

**7**

votes

**1**answer

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

**7**

votes

**0**answers

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

**1**

vote

**0**answers

55 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) ...

**0**

votes

**0**answers

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

**2**

votes

**1**answer

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

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

**3**

votes

**0**answers

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

**7**

votes

**2**answers

234 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

236 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)$ ...

**5**

votes

**0**answers

184 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

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

**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: ...

**5**

votes

**2**answers

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

**8**

votes

**1**answer

175 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

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

**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$ ...

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

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

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

**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)$ ...

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

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

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

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

**4**

votes

**1**answer

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

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

**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)$ ...

**0**

votes

**0**answers

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

**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'}$). ...

**1**

vote

**0**answers

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

**5**

votes

**0**answers

109 views

### Dense ideals in C*-algebras and K-theory

Let $A$ be a nonunital C*-algebra and let $I \subset A$ be a dense, $*$-closed, 2-sided ideal. I was under the impression that there existed some "obvious" argument proving that $I$ carries all the ...

**7**

votes

**1**answer

185 views

### What is the general form of the duality transform for the Fock space?

I am interested in properties of the symmetric Fock space, looked at via the associated Wiener space. It is well known that for a Hilbert space $k$, the symmetric Fock space ...

**5**

votes

**1**answer

239 views

### NonCommutative Baire theorem

The classical Baire theorem says that the intersection of a sequence of open dense subsets of $X$, is dense, if the space is compact Hausdorff. In the language of $C^{*}$ algebras this is ...

**1**

vote

**0**answers

62 views

### tensor product of the disc algebra with itself

Let $A=\mathcal{A}(\mathbb{D})$ be the disc algebra. Is there a cross norm on $A\otimes A$, which is compatible to the Banach algebra multiplication, such that the resulting Banach algebra has a ...

**1**

vote

**0**answers

71 views

### Existence of orthogonal projections generating Von Neumann algebras

Let $V$ and $V'$ be Abelian Von Neumann algebras of projections on some Hilbert space $H$, and let $V_{1}$ and $V_{2}$ be minimal sub-algebras of $V$ and $V'$ generated by projections $P_{1} \in V$ ...

**7**

votes

**0**answers

257 views

### Unique maximal ideal in group C*-algebras

Let $G$ be a discrete group. Let $C^*(G)$ denote the full group C*-algebra of $G.$ Let $\pi:C^*(G)\rightarrow \mathbb{C}$ be the *-homomorphism associated with the trivial representation of $G.$
...

**5**

votes

**1**answer

228 views

### Projective modules over noncommutative tori?

It is a theorem of Rieffel that for any simple noncommutative tori ($\mathcal{A}$) of dimension $n$, every projective module over it is isomorphic to direct sum of $\mathcal{S}(M)$, Schwartz class ...

**2**

votes

**0**answers

47 views

### Closure of pseudodifferential operators of order 0 on compact manifolds

Let $M$ be a compact manifold. If we have a pseudodifferential operator $P$ of order $0$ on $M$, then $P$ is pseudolocal, i.e., every commutator $[f,P]$ with a continuous function $f \in C(M)$ is a ...

**8**

votes

**1**answer

183 views

### K-theory of ultrapowers

It may well be a trivial question but I was wondering if there is any relation between $K$-groups and ultrapowers of $C^*$-algebras. For instance, if $A$ is a $C^*$-algebra does $K_0(A^U)$ depend on ...

**7**

votes

**2**answers

217 views

### Literature on “real” $C^*$-algebras

I am trying to get a better understanding of "real" $C^*$-algebras. I encountered them in the paper
D. Voiculescu, Dual algebraic structures, J. Operator Theory 17(1987), 85-98,
which cites
G.G. ...

**5**

votes

**2**answers

299 views

### How to check whether a matrix is completely positive or not?

The definition:
cone of completely positive matrices
$\mathcal{C}=\{\sum_{i=1}^kx_ix_i^T:x_i\in\mathbb{R}^n_+\ for \ i=1,2,...,k\}$.
I just don't knwo how to check whether a matrix belongs to ...

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

**-4**

votes

**1**answer

247 views

### I need following books (soft copies) [closed]

I know this is not the place to ask for such help, but I cant find these books in my country and not even on line and the shipping is very expensive. If someone out there have any of these books (soft ...

**2**

votes

**0**answers

446 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), ...

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