**3**

votes

**2**answers

115 views

### States with a unique state extension

I guess that the answer to the following question is both well known and easy. But I was unable to solve the exercise.
Consider a unital $C^*$-$\,$algebra $\mathcal A$ and and a proper unital ...

**12**

votes

**2**answers

2k views

### Mysterious quotes (at least for me)

I heard two quotes, one from Alain Connes and an other one from Orlov.
Alain Connes was talking about noncommutative geometry and he said the following:
" a noncommutative algebra creates its own ...

**4**

votes

**0**answers

229 views

### Faithful and weakly-mixing representations of Property (T) groups in relation to left regular rep

Is it known that: Any countable Property (T) group (or more generally, a non-amenable group) has a faithful, weakly-mixing representation which is NOT weakly included in its left regular ...

**1**

vote

**0**answers

121 views

### Clebsch Gordan coefficients of compact quantum groups

Consider a compact quantum group $G$. Let $a, b$ and $c$ be irreducible unitary corepresentations and assume that $c$ is contained in $a \otimes b$. Let $U$ be the intertwiner from the representation ...

**7**

votes

**2**answers

307 views

### Triangle inequality for $L^1$-norm with respect to a state

It is well-known that the naive construction of non-commutative $L^p$-spaces is performed only in tracial case. I would like to know if it is really a necessity.
To wit, let $\varphi$ be a normal ...

**4**

votes

**1**answer

84 views

### CB-norm of mappings from a matrix space

The following result of Roger Smith is well known to operator algebraists:
$$\| \phi: E \rightarrow M_n\|_{cb} =\| \phi^{(n)} \otimes id_{M_n}: E \otimes_{min}M_n \rightarrow M_n \otimes M_n\|,$$
...

**3**

votes

**1**answer

116 views

### Is the square diagram of index and exponential maps in $K$-theory of $C^*$-algebras anti-commutative?

Assume we have a $3\times 3$ grid with rows and columns being short exact sequences of $C^*$-algebras.
This gives a grid of 6-term exact sequences: 3 "horizontal" sequences and 3 "vertical" ...

**2**

votes

**1**answer

84 views

### A Possible characterization of F.D or AF commutative $C^{*}$ algebras

By F.D or AF $C^{*}$ algebra,we mean finite dimensional or approximately finite dimensional $C^{*}$ algebra.
Let $A$ be a unital commutative $C^{*}$ algebra with the property that for every ...

**4**

votes

**1**answer

112 views

### A Hilbert-space completion of a Hilbert $ C^{*} $-module over a separable $ C^{*} $-algebra

Let $ B $ be a separable $ C^{*} $-algebra and $ \mathcal{E} $ a Hilbert $ B $-module. We know that $ B $ has a faithful state $ \phi $. Using $ \phi $, we can construct a $ \mathbb{C} $-valued ...

**2**

votes

**1**answer

112 views

### Eigenvalues and Compact Resolvent

For $A$ an unbounded (densely defined) operator on a separable Hilbert space, what conditions on its eigenvalues will show that, for $\lambda \notin $spec$(A)$, we have that $(A-\lambda)^{-1}$ is a ...

**0**

votes

**0**answers

108 views

### Bounded operators with infinite matrix representations

I asked this question on StackExchange originally, but I'm giving it a go here as well.
Suppose that $A$ is a unital $C^*$-algebra, $\varphi\colon A\to B(H)$ is a unital, completely positive map and ...

**1**

vote

**0**answers

97 views

### Morita Equivalence of Full Corners in $C^*$-algebras

Suppose $\mathcal{A}$ is a $C^*$-algebra with a unique normalized trace and $p \in \mathcal{A}$ is a projection so that $\mathcal{B} = p\mathcal{A}p$ is a full corner.
Does $\mathcal{B}$ have a ...

**1**

vote

**1**answer

82 views

### Definition of homotopy between Kasparov modules

I'm trying to understand the definition of homotopy between Kasparov modules as presented in Blackadar's book on K-theory for operator algebras. $A,B$ will be C*-algebras, while $E$ will denote a ...

**0**

votes

**1**answer

273 views

### Why does infinite tensor product associated with some vectors in the operator algebras?

I notice that in the definition of infinite tensor product in the operator algebras, such as C*-algebras and W*-algebras, every component in the product is associated with a vector(or s state) and the ...

**10**

votes

**0**answers

178 views

### Status of the analog of the Haar measure on quantum groups

In (Masuda, Nakagami, Woronowicz)'s paper, in the introduction, the authors mentioned the deficiency common to both their and (Kusterman, Vaes)'s approach regarding the Haar state (or Haar measure ...

**5**

votes

**1**answer

216 views

### A perturbation question for the intersection of C*-subalgebras

This feels like something I may have asked before (in which case, apologies) and it also might be some kind of "standard counterexample in a book on C* algebras".
Let M be a unital C*-algebra and let ...

**0**

votes

**0**answers

51 views

### One dimensional foliation of surfaces with prescribed graph of foliation

According to the definition of the graph of a foliation by Winkelnkemper we ask the following questions:
Let $G$ be one of the following non hausdorff 3 dim manifold
1) $G$ is a ...

**5**

votes

**1**answer

124 views

### Separability of the C*-algebra in the definition of K-homology

There are (at least) two approaches to K-homoology: one is via the so called dual algebra which is due to Paschke. The second is via the Fredholm modules and is due to Kasparov. In Nigel Higson's book ...

**10**

votes

**1**answer

250 views

### Commuting nets for commuting projections

I think this should not be too difficult, but I am not an expert. I did not get an answer on stackexchange.
Let $A$ be a $C$*-algebra and let $p,q\in A^{**}$ be two commuting projections. Then there ...

**1**

vote

**0**answers

128 views

### The convolution on a semisimple finite quantum groupoid

Let $\mathbb{A}$ be a finite dim. weak Hopf $C^*$-algebra (or semisimple finite quantum groupoid) and $\hat{\mathbb{A}}$ its dual.
Let the Fourier transform $\mathcal{F}: \mathbb{A} \to ...

**1**

vote

**0**answers

87 views

### Reference request on operator matrices [closed]

I'm looking for a reference on linear, bounded, self-adjoint operators defined on the product space, $T:E\times F\to E\times F$ such that
$$Tx = \begin{pmatrix}A & B \\
C & D
...

**1**

vote

**1**answer

134 views

### An unconventional definition of the $ C^{*} $-algebraic reduced crossed product

Let $ (A,G,\alpha) $ be a $ C^{*} $-dynamical system, i.e., $ A $ is a $ C^{*} $-algebra, $ G $ is a locally compact Hausdorff group and $ \alpha $ is a strongly continuous action of $ G $ on $ A $ by ...

**0**

votes

**0**answers

219 views

### Morphisms associated to measured spaces [duplicate]

In a previous discussion (von neumann algebras and measurable spaces), the connexion between von Neumann algebras and localized measured spaces was clarified. I would like to have a category theory ...

**2**

votes

**1**answer

160 views

### Is this left ideal of C*-algebra principal?

This is a follow up of this question. Let $I$ be closed left ideal of $C^*$-algebra $A$.
Assume we are given a sequence of left $A$-module morphisms $R_n:I\to A$ with $\sum_n \Vert ...

**1**

vote

**0**answers

207 views

### Is a finite depth-index irreducible subfactor, intermediate of a depth ≤ 3 one?

Let $(N \subset M)$ be a finite depth-index irreducible subfactor.
Main question: Is $(N \subset M)$ the intermediate of a finite index depth $\le 3$ irreducible subfactor?
(In others words, is ...

**3**

votes

**0**answers

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

**3**

votes

**0**answers

161 views

### What are the first non-maximal non-group-subgroup simple irreducible 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 ...

**2**

votes

**0**answers

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

**11**

votes

**1**answer

268 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}$ ...

**6**

votes

**2**answers

317 views

### Can the boundedness of $A^2$ imply the boundedness of $A$?

Given an operator $A \in \mathcal L(B)$, $B$ being a Banach space, I came across the following question: assume $\mathrm{dom}(A)=\mathrm{range}(A)$, $\mathrm{dom}(A)$ dense in $B$.
Under which ...

**3**

votes

**0**answers

139 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

**3**answers

345 views

### What's the relation between fusion and coproduct?

For an irreducible finite depth finite index subfactor $(N \subset M)$, there is a structure of fusion category given by the even part of its principal graph. The simple objects $(X_i)_{i \in I}$ of ...

**1**

vote

**1**answer

150 views

### The coproduct on the 2-boxes space of the group-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 ...

**2**

votes

**0**answers

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

**6**

votes

**3**answers

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

**3**

votes

**1**answer

124 views

### Invertible unbounded linear maps defined on a Hilbert space

It is well-known that, assuming the axiom of choice, there are unbounded linear maps defined not only on a dense subset but on all of Hilbert space. Is it possible that such a map is invertible?

**0**

votes

**0**answers

102 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

**2**answers

261 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

**0**answers

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

**2**

votes

**1**answer

195 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

**0**answers

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

**1**

vote

**1**answer

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

**2**

votes

**1**answer

190 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} = ...

**5**

votes

**0**answers

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

**3**

votes

**0**answers

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

**2**

votes

**2**answers

245 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}'$, ...

**8**

votes

**1**answer

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

**11**

votes

**0**answers

214 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

98 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

**1**answer

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