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

learn more… | top users | synonyms (1)

1
vote
2answers
169 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
0answers
76 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
0answers
190 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
1answer
102 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
1answer
128 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
1answer
165 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
0answers
112 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
1answer
154 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
0answers
129 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
0answers
144 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
0answers
238 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
1answer
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
0answers
105 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
0answers
122 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
1answer
195 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
1answer
242 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
0answers
65 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
0answers
74 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
0answers
268 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
1answer
242 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 ...
3
votes
0answers
58 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
1answer
188 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
2answers
220 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
2answers
319 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
3answers
389 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
1answer
263 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 ...
3
votes
0answers
475 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
1answer
190 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 ...
3
votes
0answers
90 views

Noncommutative Poincare inequalities

This is a question on how (or if) people in the community think about the Poincare inequality in noncommutative geometry. In geometry, the Poincare inequality (when it exists) gives a bound on a ...
7
votes
1answer
228 views

Infinite tensor product of states

Tensor products of finite number of different objects are always well described in the literature. However, the situation of infinite tensor products seems to be much tougher. Even in the simplest ...
2
votes
1answer
96 views

What is the multiplicative unitary for SU_q(2) (or other quantum groups)?

Consider a (von Neumann algebraic) locally compact quantum group $(M, \Delta, \phi, \psi)$ where the von Neumann algebra $M$ is realized as operators on the Hilbert space $H$. There is a ...
5
votes
0answers
106 views

When is an inner derivation a Fredholm operator?

Let $\mathcal{B}(H)$ denote the algebra of bounded operators on a Hilbert space $H$. I'm interested in inner derivations acting on the Schatten ideals $L^p\subseteq\mathcal{B}(H)$ (defined by ...
2
votes
0answers
238 views

Are the homogeneous single chain subfactors, Dedekind?

Background: See here and there. Recall that a subfactor is Dedekind if all its intermediate subfactors are normal. A subfactor $(N \subset M)$ is Homogeneous Single Chain (HSC) if its lattice ...
1
vote
1answer
115 views

Continuous depedence of the spectrum on elements

Suppose $a_n \to a$ in a unital C*-algebra $A$. If $\lambda_n \in \sigma(a_n)$ and $\lambda_n \to \lambda$, then $\lambda \in \sigma(a)$. Does the converse hold? So if $\lambda \in \sigma(a)$, does ...
3
votes
1answer
195 views

Strange (?) definition of the spectrum

Suppose that $A$ is a commutative, unital $C^*$-algebra. Then it is isomorphic to $C(X)$ for some compact Hausdorff topological space $X$. $X$ can be identified as the space of all unital ...
3
votes
0answers
77 views

States and extremal states of quantum SU(2) and the Podleś sphere

Is there any description (preferably somehow related to the original generators) for the state space (as in C*-algebras) of quantum SU(2) and the Podleś sphere? If so (this is pushing my luck) are the ...
2
votes
2answers
194 views

Lower bounds for norms of commutators

For various reasons I became interested in bounds on the norm of commutators of operators. For instance, if $B(H)$ is the algebra of bounded operators on a Hilbert space, one may ask for a lower bound ...
11
votes
0answers
337 views

Does anybody know if the Fourier algebra of SL(3,Z) has an approximate identity?

(Note to those who like to tidy LaTeX, or ${\rm \LaTeX}$: I kindly request that you don't put any LaTeX in the title of this question, nor change the bolds below to blackboard ...
2
votes
0answers
112 views

A section from subfactors to transitive groups

A finite group-subgroup subfactor is a subfactor $(N \subset M)$ isomorphic to $(R^G \subset R^H)$ with $(H \subset G)$ an inclusion of finite groups acting as outer automorphism on the hyperfinite ...
5
votes
1answer
413 views

Noncommutative geometry and category theory

The point in which one starts to talk about noncommutative geometry is the Gelfand Najmark theorem. It establishes an equivalence of the catgeories of commutative (non)unital $C^*$-algebras and the ...
13
votes
2answers
602 views

Groups which are only defined up to conjugation

I'm trying to understand what the right way is to think about "groups which are only well-defined up to conjugation." Since this is somewhat vague let me clarify it by pointing out the main examples ...
1
vote
1answer
170 views

On the relation between the set of extreme points of the unit ball of $M(X)$ and $M(X)^{**}$

Suppose that $X$ is a locally compact topological space. Let $M(X)$ denote the Banach space of regular Borel measures on $X$. It is known that the bidual of $C_0(X)$ is a commutative $C^*-$algebra. ...
3
votes
2answers
139 views

Strong Morita Equivalence and Morphisms Between $ C^{*} $-Algebras

If $ A $ and $ B $ are $ C^{*} $-algebras, then they are strongly Morita equivalent if there exist a $ (B,A) $-bimodule $ E $ and an $ (A,B) $-bimodule $ F $ such that $$ E \otimes_{A} F \cong B \quad ...
6
votes
0answers
227 views

C* algebras of free semicircular systems

It was shown by Pimsner and Voiculescu in 1982 that the reduced group $C^{*}$-algebras $C^{*}_{r}(\mathbb{F}_{n})$ and $C^{*}_{r}(\mathbb{F}_{m})$ are isomorphic if and only if $n = m$ (here, ...
5
votes
2answers
127 views

Extension of $C^*$ isomorphism to $W^*$ isomorphism

Let $\mathfrak{A}$ be $C^*$algebra, and $\pi$ its faithful representation on Hilbert space $\mathcal{H}$. Bicommutant $\mathfrak{B}=\pi(\mathfrak{A})''$ is the von Neumann algebra generated by ...
6
votes
1answer
244 views

Morita equivalence for operator algebras and tensor products, question about proof

This is a bit of a dumb question I know, but I was reading "Morita equivalence for C*-algebras and W*-algebras" by Rieffel, in this section about Morita equivalences and how they relate to forming ...
7
votes
1answer
249 views

Realisation of noncommutative torus

One of the most basic examples in noncommutative geometry is the so called noncommutative torus to be denoted by $\mathbb{T}_{\theta}$. As far as I know, there are several equivalent constructions of ...
3
votes
1answer
328 views

Example of an infinite dimensional reflexive Banach algebra

If a $C^\ast$-algebra is reflexive (as a Banach space) then it is finite dimensional. Can anyone provide (or give a reference to) a nice example of an infinite dimensional non-commutative Banach ...
2
votes
1answer
192 views

Do all right orderable groups have the Haagerup property?

Do all right orderable groups have the Haagerup property? Recall that a group is right orderable if there exists a total order $\leq$ on it such that $a\leq b\Rightarrow ac\leq bc$. This property is ...
4
votes
1answer
125 views

Does noncommutative Lp-convergence respect orderings?

Let $M$ be a von Neumann algebra and $\tau$ a faithful (semi-finite?) normal trace on $M$; as is standard, the $L^p$-norm is defined as $||u||_p=\tau(|u|^p)^{1/p}$. Let $\{u_i\}_{i=1}^\infty$ be a ...