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

learn more… | top users | synonyms (1)

1
vote
1answer
105 views

Element Analytic, C*-dynamical system

good night... I was looking into the Pedersen Book, $C^{*}$-Algebras and their automorphism groups, and found the definition of analytic elements $x\in A$, where $(A,\alpha)$ is a $C^{*}-$dynamical ...
0
votes
1answer
82 views

Is the (hyperfinite) TLJ subfactor unique at fixed index (if it exists)?

Let $(N \subset M)$ be an inclusion of hyperfinite ${\rm II}_1$ factors, with the following principal graph (called TLJ) Question: Is such a subfactor unique (up to ${\rm W}^*$-isomorphism) at fixed ...
1
vote
1answer
48 views

Are the two-side TLJ subfactors maximal?

Let $(N \subset M)$ be an inclusion of ${\rm II}_1$ factors, with the following principal graph (called two-side TLJ) Question: Is $(N \subset M)$ a maximal subfactor?
3
votes
0answers
55 views

Is there no extra intermediate subfactor for the basic construction?

Let $(N \subset M)$ be an inclusion of ${\rm II}_1$ factors, the basic construction is $N \subset M \subset M_1 = \langle M , e^M_N \rangle$. Question: For any intermediate subfactor $N \subset P ...
1
vote
1answer
273 views

Examples of $C^*$-algebras in Noncommutative Geometry from A. Connes [closed]

Question I am working on $C^*$-algebras and I've been given Alain Connes's book Noncommutative Geometry. I am having troubles with understanding the examples on pages 91-93 (86-88 in the printed ...
0
votes
0answers
42 views

When is a cycle in $KK^G(A,A)$ with zero operator the identity cycle?

Given a cycle of the form $(\pi,H,0)$ in $KK^G(A,A)$, when is it equivalent to the identity cycle $1_A=(i_A,A,0)$? The operator $T=0$, and $\pi:A \rightarrow L(H)$ may be injective. Any criterions ...
5
votes
0answers
275 views

Koopman representation, weakly compact action, Ozawa Popa

Given a weakly compact action (Ozawa-Popa) of a discrete group $\Gamma$ on p.m space $X$, consider the Koopman representation $\pi$ on $L^2(X)$. Compose this representation with the Calkin projection. ...
1
vote
1answer
163 views

Irreducible representation of $C^*(D_\infty)$, group $C^*$-algebra of an infinite dihedral group

I have a question about an irreducible representation of the (full) group $C^*$-algebra of an infinite dihedral group $D_\infty$, denoted by $C^*(D_\infty)$. Ultimately, I'm interested in finding a ...
1
vote
0answers
256 views

Analogues of the Monster for central charges different from 24

One way to define the Monster group is to consider a conformal field theory (CFT) corresponding to central charge $c=24$ and look at the automorphism group of its vertex operator algebra. For one of ...
1
vote
0answers
171 views

Matrix norm on $L^p$ operator algebras

I have a question about the framework of $L^p$ operator algebras ($1<p<\infty$), i.e. norm-closed subalgebras of $B(L^p(X,\mu))$ for some measure space $(X,\mu)$ (see e.g. ...
1
vote
0answers
134 views

Determining the primitive ideal space of C-star algebras

Is there a general way of finding a primitive ideal space of $C^*$-algebra? For example, if $C^*$-algebra is given by the universal $C^*$-algebra generated by two self-adjoint unitary elements, how ...
3
votes
1answer
168 views

Existence of state on a C*-algebra satisfying $|\tau(ab)|=\|ab\|$

(This is a repost of a question from math.SE, http://math.stackexchange.com/questions/1240966/existence-of-state-on-a-c-algebra-satisfying-tauab-ab) Let $a,b$ be elements of a unital C*-algebra $A$ ...
1
vote
1answer
57 views

Comparision of two $C^{*}$ algebras associated to a non vanishing vector field on a compact manifold

Let $X$ be a non vanishing vector field on a compact manifold $M$ so we have a one dimensional foliation $F$ of $M$ with orbits of $X$. This foliation defines a $C^{*}$ algebra $C^{*}(F)$. On the ...
1
vote
1answer
118 views

A $C^{*}$ algebra associated to a graded $C^{*}$ algebra

A $C^{*}$ algebra $A$ is graded by $\mathbb{Z}_{n}$ iff it can be acted by $\mathbb{Z}_{n}$. So we associate the $C^{*}$ algebra $A\rtimes \mathbb{Z}_{n}$ to a $\mathbb{Z}_{n}$-graded $C^{*}$ ...
8
votes
1answer
330 views

For discrete groups, does the Haagerup property imply the AP of Haagerup-Kraus?

I don't expect to find an explicit counterexample to my question, because any example which was known to have the Haagerup property yet not have AP would have given an exact group without AP, and the ...
2
votes
0answers
113 views

Arveson spectrum for a unitary representation of a group on a Hilbert space

Although this is not research, I think the question is a little bit too specific for math.stackexchange Let $G = \mathbb{R}$. By Stone's theorem, $U(t)\in\mathcal{B}(\mathcal{H})$ is generated by a ...
1
vote
0answers
65 views

Why does one only consider one-parameter groups in Borchers-Arveson theorem?

(question from math.stackexchange) The theorem (Operator algebras and Quantum statistical mechanics vol. 1, Bratteli, Robinson, Thm. 3.2.46 p.261) roughly says that if one has a one parameter ...
2
votes
0answers
69 views

Are there infinitely many amenable Hadamard-Petrescu subfactors?

The complex Hadamard matrices of dimension $n$ are used to build index $n$ subfactors through the commuting square construction. For more details, see the paper Subfactors and Hadamard Matrices by ...
5
votes
1answer
147 views

When are countably generated Hilbert modules generated by c.p.c. order zero maps?

Throughout let $B$ be a stable C*-algebra, i.e. $B\cong B\otimes K$, where $K$ is the C*-algebra of compact operators on an infinite dimensional separable Hilbert space. It is well-known that any ...
3
votes
0answers
102 views

Two questions on topological and geometric structure of projections in a simple $C^{*}$ algebra

Let $A$ be a simple $C^{*}$ algebra. Assume that the space of projections has a connected component homeomorphic to the complex Grassmanian $G(k,n)$. Is it true to say that, for all $k'<k$, the ...
0
votes
0answers
57 views

Is $KK^G(\mathbb{C}^n,B)$ countably additive in $B$ and countable?

Let $G$ be a finite discrete groupoid, $A=\mathbb{C}^n$ a finite dimensional, commutative $C^*$-algebra and assume we have given a $G$-action on $A$. Note that the action of $G$ on ...
0
votes
1answer
174 views

A $C^{*}$ algebra associated to a group [closed]

Let $G$ be a compact group which act on a Hilbert space $H$. We define a linear map $T$ on the dual space $H^{*}$ with $$T(\phi)(x)=\int_{G} \phi(g.x)$$ The integration is based on the Haar ...
16
votes
2answers
1k views

What are the applications of operator algebras to other areas?

Question: What are the applications of operator algebras to other areas? More precisely, I would like to know the results in mathematical areas outside of operator algebras which were proved by ...
0
votes
0answers
143 views

Range of a trace preserving completely positive projection

I'm working in $M_n(\mathbb{C})$, the algebra of complex $n\times n$ matrices. I managed to build a completely positive, trace preserving, star preserving, projection $P$. That is $$\text{Tr}(P(A)) = ...
8
votes
1answer
383 views

Formula for the distance in noncommutative geometry

Probably the most famous formula in noncommutative geometry is the following formula allowing one to compute distance of two points using the operator theoretic data: $$(1) \ \ ...
5
votes
2answers
259 views

fixpoint algebras of a permutation action

Let $D$ be an infinite UHF algebra, e.g. the infinite tensor product of the matrix algebra $M_k(\mathbb{C})$. The permutation group $\Sigma_n$ acts on the $n$-fold tensor product $D^{\otimes n}$ in a ...
3
votes
0answers
123 views

Dimension of Birman-Murakami-Wenzl Algebra

I was reading the paper Braids, Link Polynomials and A New Algebra by J. S. Birman and H. Wenzl, and I was wondering is there a combinatorial way to compute the dimension of the algebras ...
3
votes
1answer
145 views

Conjugacy of circle actions on UHF C*-algebras

Consider pointwise continuous actions of the unit circle on the $2^{\infty}$-UHF C*-algebra A by *-automorphisms. Assume that two such actions have the same fixed point algebra, i.e., elements that ...
4
votes
1answer
179 views

Do c.p.c. order zero maps between local C*-algebras map C*-subalgebras to C*-subalgebras?

For the sake of this question I will assume the following Definition A pre-C*-algebra $A$ is local in the sense of [1], i.e. if there is a family of C*-subalgebras $\{A_i\}$ of $A$ with the property ...
4
votes
2answers
384 views

Question about projections in von Neumann algebras

Let $M$ be a von Neumann algebra, and let $\mathcal{P}$ be the set of nontrivial (not equal to $0$ or $e$) projections of $M$. Define $p,q \in \mathcal{P}$ to be equivalent if there exist projections ...
5
votes
0answers
131 views

Approximation in the tensor square of a weakly exact von Neumann algebra

Background. I think I can prove something about a certain construction definition for Fourier algebras of discrete groups, under the assumption that the group is exact (well, really I use Yu's ...
6
votes
0answers
341 views

Does the Approximation Property (AP) pass to quotients by amenable subgroups?

Given a countable group $G$ with the AP, and an normal, amenable subgroup $N$ of $G$, does $G/N$ have the AP? In particular, does there exist a group $G$ with the AP and a surjective group ...
5
votes
1answer
235 views

Are isometric homorphisms of C* algebras *-homorphisms

Here is my precise question: Let $A$ and $B$ be two $C^*$ algebras. Let $f: A \rightarrow B$ a homomorphism of $C^*$ algebras which is isometric (on its image). Is $f$ necessary a $*$-homomorphism ? ...
11
votes
1answer
466 views

A generalization of the Powers-Stormer inequality

The well-known Powers-Stormer inequality says the following: for positive semidefinite operators $A, B$, we have that $\mathrm{Tr}((A - B)(A - B)) \leq \| A^2 - B^2 \|_1$, where $\| \cdot \|_1$ ...
5
votes
1answer
183 views

Comparing cardinalities of the spectrum of two masas in $B(H)$

If I imagine that (the self-adjoint part of) a C*-algebra $A$ represents the algebra of observables of some quantum system, then certain perspectives on algebraic quantum theory would ask me to ...
0
votes
1answer
96 views

Is there an irreducible subfactor with an infinite homogeneous single chain lattice?

We know that we can build an irreducible subfactor realizing a finite single chain lattice containing any finite index irreducible maximal subfactors, by using the free composition (see here). Now ...
1
vote
0answers
125 views

A continuous choice of invertible elements

Let $A$ be a simple unital $C^{*}$ algebra with invertible elements $G(A)$. Assume that $A^{*}$ is its dual space, which is equipped with the weak star topology. Is there a continuous map ...
4
votes
2answers
311 views

Does this C*-algebra embed into a simple nuclear C*-algebra?

Let $\mathcal K$ denote the C*-algebra of compact operators, and fix an embedding $\phi_n:M_n(\mathbb C) \to \mathcal K$ for each $n\in \mathbb N$. Define the C*-algebra $A := \{(a_n)_{n=1}^\infty ...
8
votes
1answer
288 views

Embedding the group von Neumann algebra into an injective von Neumann algebra on the same Hilbert space

Let $\Gamma$ be a discrete group, $\newcommand{\VN}{\rm VN}$ and let $\VN(\Gamma)$ denote its von Neumann algebra, regarded as a subalgebra of ${\sf B}(\ell^2(\Gamma))$. It is well known that ...
3
votes
1answer
238 views

Finite codimensional subvector space of $C^{*}$ algebras which contains no invertible elements

Assume that $A$ is a unital $C^{*}$ algebra. Is there a subvector space $Y\subset A$ of finite codimension which does not contain any invertible element? Let $n(A)$ be the infimum of such ...
14
votes
0answers
440 views

Unital $C^{*}$ algebras which all elements have path connected spectrum

A unital $C^{*}$ algebra is called "Path connected" if the spectrum of all its elements is a path connected subset of $\mathbb{C}$. Is the tensor product of two path connected algebra, a path ...
1
vote
0answers
137 views

The planar algebra generated by the biprojections

Let $(N_1 \subset M_1)$ and $(N_2 \subset M_2)$ be two irreducible finite index subfactors. Let $\mathcal{B}_i$ be the set of all the biprojections of $\mathcal{P}_{2+}(N_i \subset M_i)$. Let ...
0
votes
1answer
183 views

Totally non hereditary $C^{*}$-subalgebras

Assume that $B$ is a $C^{*}$ subalgebra of $A$. We say $B$ is totally non hereditary subalgebra of $A$ if not only $B$ is not a hereditary subalgebra but also it is not isomorphic to any ...
2
votes
1answer
205 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): ...
3
votes
1answer
228 views

K-homology of Cantor set and abelian AF-algebras

This may be a standard question answered in a book, or article. I don't know. I know that there exist related results with $\lim^1$-sequences (Rosenberg and Schochet). What is ...
1
vote
0answers
78 views

A reasonable framework to study properties of operator $A \mapsto KAK$ on Banach space

Let $K$ be a continuous linear operator on $C[0,1]$ (more, precisely, it is a linear integral operator). Then $K$ defines a continous linear operator $\widehat K$ on $\mathcal L(C[0,1])$ by the rule ...
2
votes
1answer
226 views

Integration in C^* algebra

Let $\mathfrak{A}$ be a C${}^*$ algebra and $\mathbb{R}\ni s \mapsto \alpha_s$ a continuous family of its automorphisms. Is it true that $$ \int d s \, f(s)\, \alpha_s(A) $$ is well defined as a ...
5
votes
2answers
205 views

Two-sided ideals of $B(H)$ are hereditary

I seem to recall that (not necessarily closed) two-sided ideals of $B(H)$ are hereditary. Is that true? If it is, can anyone post a proof/reference?
4
votes
2answers
269 views

The closure of all periodic homeomorphisms of circle

Let $X$ be the space of all continuous maps from $S^{1}$ to $S^{1}$. $X$ is equipped with $C^{0}$ topology. Let $Y\subset X$ be the union of all finite order homeomorphisms i.e: all ...
2
votes
0answers
211 views

The kernel of $C^{*}(G)\to C_{r}^{*}(G)$

Let $G$ be a locally compact group. Put $I(G)=\ker: C^{*}(G) \to C_{r}^{*} (G)$, the kernel of the canonical morphism. What type of $C^{*}$ algebras can not be isomorphic to $I(G)$, for some ...