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

learn more… | top users | synonyms (1)

0
votes
0answers
12 views

Is a (finite depth-index) irreducible subfactor, intermediate of a depth $\le 3$ one?

Let $(N \subset M)$ be a finite depth finite index irreducible subfactor. Main question: Is $(N \subset M)$ the intermediate of a (finite index) depth $\le 3$ irreducible subfactor? (In others ...
2
votes
0answers
75 views

What are the first non-maximal non-group-subgroup simple subfactors?

Definition: For an irreducible (finite index) subfactor $(\mathcal{N} \subset \mathcal{M})$, an intermediate $(\mathcal{N} \subset \mathcal{P} \subset \mathcal{M})$ is normal if the biprojections ...
1
vote
0answers
30 views

Are the integer index finite depth irreducible subfactors Kac-coideal?

Is it known whether or not the integer index finite depth irreducible subfactors (planar algebra) are Kac-coideal subfactors: $(R^{\mathbb{A}} \subset R^{\mathbb{I}})$, with $\mathbb{A}$ a finite ...
4
votes
2answers
492 views

Matrices whose entries are essentially traces of products of unitary matrices.

A $n\times n$ matrix $A=[a_{ij}]$ is called "good", if there exists some $k$ and a set of $k\times k$ complex unitaries $U_i$, $1\leq i\leq n$ , such that $tr(U_i^{+}U_j)=ka_{ij}$, where $U^{+}$ ...
2
votes
0answers
47 views

Uniqueness of the tensor product decomposition of subfactors

A subfactor $(N \subset M)$ is indecomposable if (for $N_i \subset M_i)$: $$(N \subset M) = (N_1 \otimes N_2 \subset M_1 \otimes M_2) \Rightarrow \exists i \ N_i = M_i$$ Then, a subfactor $(N ...
3
votes
1answer
355 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 ...
10
votes
1answer
120 views

Completely positive maps-equivalent definition

The most usual definition of the completely positive map (c.p.) between two C*-algebras (say, unital) is the following: $\sigma: A \to B$ should satisfy $\sigma(1)=1$ and for each $n \in \mathbb{N}$ ...
3
votes
0answers
118 views

$S^{3}$-valued harmonic analysis

Edit: Note that $S^{3}$ with the quaternion operation is a group. For a locally compact Abelian group $\Gamma$ we consider $$\tilde{\tilde{\Gamma}}=\{\phi:\Gamma \to S^{3} \mid ...
1
vote
0answers
59 views

The coproduct on the 2-boxes space of the goup-subgroup subfactor planar algebras

Let $(H \subset G)$ be an inclusion of finite groups. Let the subfactor $(\mathcal{R} \rtimes H \subset \mathcal{R} \rtimes G)$ with $\mathcal{R}$ the hyperfinite ${\rm II}_1$ factor, and its planar ...
1
vote
1answer
161 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$ ...
1
vote
0answers
181 views

Kaplansky Idempotent conjecture and Extension theory

We consider the Idempotent Kaplansky conjecture with $\mathbb{C}$- coefficients, that is the problem of nontrivial idempotents for group algebra $\mathbb{C}\Gamma$ where $\Gamma$ is a torsion free ...
8
votes
2answers
558 views

Question about hereditary $C^*$-algebra.

Can anyone give me a relatively simple proof or Some reference for the following fact.(I know that there is a proof of this theorem in Gerard J. Murphy'book: "$C^*$-Algebras and Operator Theory", but ...
5
votes
3answers
265 views

Invertible operator with countable spectrum

Let $H$ be a separable Hilbert space and $A$ is an invertible bounded operator on $H$. Can we approximate $A$ with an invertible operator $B$ such that $sp(B)$ is a countable set? Motivation: ...
0
votes
0answers
87 views

A special Lie subalgebra

Motivated by comments of the following post A question on involutions on the Lie algebra of vector fields we ask the following question: Let $L$ be a Lie algebra. We consider the Lie subalgebra ...
2
votes
1answer
161 views

$R$ is a right multiplier and $R(a)b=a\overset{?}{\implies} A$ is unital

Let $A$ be a $C^*$-algebra, and $R:A\to A$ its right multilplier. Is it true that $$ \exists b\in A\quad \forall a\in A \quad R(a)b=a\qquad $$ implies $A$ is unital. I know this is true if A is a ...
2
votes
2answers
223 views

A question on unbounded operators

Assume that $H$ is a separable Hilbert space. Is there a polynomial $p(z)\in \mathbb{C}[x]$ with $deg(p)>1$ with the following property?: Every densely defined operator $A:D(A)\to ...
0
votes
0answers
68 views

Hyperfinite type II_1 factor as the Clifford algebra

In Connes' book Noncommutative geometry, there is a presentation of all hyperfinite factors. He reffers to type $II_1$ as the Clifford algebra of infinite dimensional Euclidean space. This factor can ...
1
vote
1answer
189 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 ...
2
votes
0answers
140 views

Two Definitions of Non-commutative $L^p$ space

Throughout, let $(\mathcal{M},\tau)$ be a von Neumann algebra $\mathcal{M}$, acting on a Hilbert space $H$, with normal semifinite faithful trace $\tau$. In the survey article by Pisier and Xu, the ...
2
votes
0answers
145 views

Are two $W^*$-algebras $A$ and $B$ that are Morita equivalent (in the sense of Rieffel) also Morita equivalent in the algebraic sense (as rings)?

Let $A$ and $B$ be $C^*$-algebras, I had a question about Morita equivalence for $C^*$-algebras and $W^*$-algebras, I've come across 3 concepts: Morita equivalence for $C^*$-algebras: Equivalence ...
1
vote
2answers
566 views

Positive operators - norm equality

I hope that somebody can help me with the following problem: Let $A$ be a positive operator on $\mathbf{B}(\mathcal{H})$, ( $\mathcal{H}$ is a Hilbert space) with its spectral measure $E$. Show that ...
11
votes
2answers
611 views

Do Burnside Group Factors have Gamma?

The Free Burnside group $G=B(2,665)=\langle a,b|g^{665} \rangle$ is infinite, by the work of Adyan and Novikov. Furthermore, the centralizer of any nonidentity element in $G$ is finite cyclic, and so ...
1
vote
1answer
132 views

Infinite amenable group subfactors

Let amenable groups $\Gamma$ and $\Gamma'$. They act outerly of only one manner on the hyperfinite ${\rm II}_1$-factor $\mathcal{R}$. Question: $(\mathcal{R} \subset \mathcal{R} \rtimes \Gamma) ...
3
votes
2answers
135 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 ...
1
vote
1answer
149 views

${\rm II}_1$-factors with finite commutant: $\mathcal{A} \cap \mathcal{B} = \mathbb{C} \Rightarrow \mathcal{A}' \cap \mathcal{B}'$ hyperfinite?

Let $\mathcal{A} , \mathcal{B} \subset B(H)$ be ${\rm II}_1$-factors such that $\mathcal{A}', \mathcal{B}' $ are also a ${\rm II}_1$-factors. Question: $\mathcal{A} \cap \mathcal{B} = ...
2
votes
2answers
214 views

${\rm II}_1$-factors with finite commutant and trivial intersection generate $B(H)$?

Let $H$ be an $\infty$-dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators. Let $\mathcal{A}$, $\mathcal{B} \subset B(H)$ be ${\rm II}_1$-factors such that $\mathcal{A}'$, ...
4
votes
0answers
113 views

Topology for bounded operators quotiented by Schatten ideal

I saw this particular question on stackexchange. Since there has been zero answers and since I've been interested in this question myself I want to ask it here. Given the $C^{\ast}$-algebra of bounded ...
8
votes
1answer
153 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 ...
2
votes
0answers
451 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
1answer
254 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 ...
8
votes
0answers
140 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
0answers
610 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
0answers
78 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
2answers
153 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
1answer
133 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
3answers
474 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
1answer
247 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
0answers
195 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 ...
5
votes
0answers
108 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
1answer
453 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
2answers
251 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 ...
14
votes
1answer
250 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)$ ...
7
votes
1answer
280 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
1answer
151 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
2answers
176 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
1answer
180 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
0answers
127 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
2answers
310 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
2answers
161 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
1answer
125 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 ...