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

**5**

votes

**1**answer

276 views

### Is the fundamental group of $II_{1}$ factors invariant under a relation?

This issue is in continuation of an answer I gave here about
noncommutative sets.
In order to define the equivalence relation, let's first recall the Tomita-Takesaki modular theory and ...

**4**

votes

**2**answers

363 views

### von neumann algebras and measurable spaces

I've read some pages on links between von neumann (VN) algebras and measurable spaces (Spectra of $C^*$ algebras and Non-commutative geometry from von Neumann algebras?), but I can't get the ...

**15**

votes

**3**answers

1k views

### What's a noncommutative set?

This issue is for logicians and operator algebraists (but also for anyone who is interested).
Let's start by short reminders on von Neumann algebra (for more details, see [J], [T], [W]):
Let $H$ ...

**2**

votes

**0**answers

54 views

### Is there a Fourier transform for principal r-discrete groupoids?

I have been looking for an analog of the Fourier transform for groupoids coming from tilings (which are generally principal and r-discrete), however all the generalizations I have found assume that ...

**5**

votes

**1**answer

331 views

### Is there an irreducible, noncompact commuting, nonnormal operator, with spectrum strictly continuous?

Let $H$ be an infinite dimensional separable Hilbert space.
Definition: The commutant $\mathcal{S}'$ of a subset $\mathcal{S} \subset B(H)$ is $ \{A \in B(H) : AB=BA \ , \ \forall B \in \mathcal{S} ...

**7**

votes

**1**answer

170 views

### $K_0$ group of graph underlying an approximately finite (AF) C* algebra

Say we have an AF C* algebra $A$ described by some Bratteli diagram $E$. If $M_\infty (A)=\displaystyle{\lim_\rightarrow M_n(A)}$ and $P(A)$ are the projections in this algebra, we know that ...

**5**

votes

**0**answers

135 views

### Is a circle action on M_n necessarily inner?

An action $\alpha$ of a locally compact topological group G on a unital $C^*$-algebra $A$ is called inner if there exists a continuous group homomorphism $u\colon G\to U(A)$ such that ...

**3**

votes

**0**answers

170 views

### Is the fundamental group of a maximal subfactor always $\mathbb{R}_{+}^{*}$?

The fundamental group $\mathcal{F}(N \subset M)$ of an inclusion of $II_{1}$ factors $N \subset M$ is defined as : $\mathcal{F}(N \subset M) =\{t >0 \ | \ (N \subset M)^{t} \simeq (N \subset M) ...

**3**

votes

**1**answer

262 views

### What's the natural equivalence of subfactors in general?

Let $A$ be a factor and $\mathcal{C}_{A}$ be the category of all the subfactors $(M \subset N)$ such that $M$ and $N$ are isomorphic to $A$. The most famous of them is perhaps $\mathcal{C}_{R}$ with ...

**7**

votes

**1**answer

287 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

**0**answers

96 views

### Can you tell if a subfactor is finite depth by the growth rate of the standard invariant?

Let $N\subset M$ be a finite index inclusion of $II_1$ factors. To the inclusion we associate the tower of higher relative commutants
$\begin{array}{ccccccc}
\mathbb{C} = N'\cap N & \subset ...

**2**

votes

**1**answer

198 views

### An upper bound for the maximal subgroups at fixed index?

Let us call a subgroup an injective homomorphism between groups.
I warn the reader that a subgroup designates here an inclusion $(H \subset G)$, not $H$ alone.
A subgroup $H \subset G$ is ...

**11**

votes

**3**answers

1k views

### Is there a purely group-theoretic reformulation of an equivalence of subgroups?

There is an equivalence relation between inclusion of finite groups coming from the world of subfactors:
Definition: $(H_{1} \subset G_{1}) \sim(H_{2} \subset G_{2})$ if $(R^{G_{1}} \subset ...

**6**

votes

**2**answers

288 views

### Are subfactor planar algebras hard to classify at index 6?

Given a finite index inclusion, $N\subset M$, of $II_1$ factors we can construct two towers of finite dimensional algebras known as the $\textit{standard invariant}$. For low index, this has allowed ...

**17**

votes

**1**answer

484 views

### On complemented von Neumann algebras

Edit: according to Narutaka Ozawa, question 3) is still open in the type $\mathrm{II}_1$ case. In other terms, it is not known whether every topologically complemented type $\mathrm{II}_1$ factor in ...

**7**

votes

**3**answers

273 views

### What are the intermediate subfactors of the tensor product of two maximal subfactors?

Let $(N_1 \subset M_1)$ and $(N_2 \subset M_2)$ be two maximal subfactors.
Their tensor product, the subfactor $(N_1 \otimes N_2 \subset M_1 \otimes M_2)$, admits four obvious intermediate ...

**1**

vote

**1**answer

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

**11**

votes

**2**answers

521 views

### Why did Voiculescu develop free probability?

I was recently asked why Voiculescu developed free probability theory. I am not very expert in this and the only answer I was able to provide is the classical one: he was challenging the isomorphism ...

**7**

votes

**1**answer

242 views

### Is a C* completion of a nuclear Fréchet algebra a nuclear C* algebra?

I am sure that this is well known in the right places, but: Is the C* completion of a star nuclear Fréchet algebra a nuclear C* algebra? (Suppose that the C* norm is continuous with respect to the ...

**2**

votes

**0**answers

208 views

### How to determine there exists a unique invariant subspace for a set of matrices

Hi everyone,
Ive been looking at the following problem, but its not entirely in my area and some potential solutions seem to rely on algebraic geometry. Maybe thats just a complicated way to solve ...

**1**

vote

**0**answers

98 views

### Reduced C*-algebras of locally compact etale Hausdorff groupoids

Let $G$ be an étale locally compact Hausdorff groupoid (possibly second-countable) and let $a\in C_{\textrm{red}}^*(G)$. Is it true that for all $\varepsilon>0$ there is $s\in C_c(G)$ satisfying ...

**5**

votes

**1**answer

107 views

### when is an algebra map conjugate to a star algebra map

Take a (unital) algebra map $f:A\to B$ between two unital C* algebras - not necessarily star preserving. Under what circumstances is there a $b\in B$ so that $g(a)=b\ f(a)\ b^{-1}$ is a star algebra ...

**4**

votes

**0**answers

104 views

### Is there a maximal finite depth infinite index irreducible subfactor?

A subfactor $N \subset M $ is irreducible if $N' \cap M = \mathbb{C} $.
It's maximal if it admits no non-trivial intermediate subfactors $N \subset P \subset M $.
It's cyclic if its lattice of ...

**5**

votes

**0**answers

200 views

### Double ultrapower of the hyperfinite $II_1$-factor

Let $\omega$ be a free ultrafilter on the natural numbers and $R$ be the hyperfinite $II_1$-factor (the definition of $R$ is recalled in the comments).
Question: Does there exist another free ...

**3**

votes

**2**answers

228 views

### Tensoring with a CAR-algebra

Let $A$ and $B$ be two unital infinite-dimensional simple separable nuclear $C^{\ast}$-algebras and let $C$ be a CAR-algebra. When does $A\otimes C \simeq B\otimes C$, imply $A\simeq B$?
The answer ...

**2**

votes

**0**answers

118 views

### About the classification of infinite depth irreducible finite index maximal subfactors

The Temperley Lieb subfactors $A_{\infty}$ are the first examples of infinite depth irreducible finite index maximal subfactors. We can see these subfactors as coming from the simple Lie group ...

**18**

votes

**1**answer

1k views

### What is about nonassociative geometry?

At the end of a conference given by Alain Connes in 2000 (here is a video in French), a member of the audience asked a question. I transcribed and translated it for you below:
Audience: You showed ...

**8**

votes

**1**answer

1k views

### The cyclic subfactors theory: a quantum arithmetic?

Context: First recall some results:
- Actions of finite groups on the hyperfinite type $II_{1}$ factor $R$ (Jones 1980).
- A Galois correspondence for depth 2 irreducible subfactors ...

**4**

votes

**2**answers

338 views

### Projections in a W*-algebra as a continuous lattice?

A continuous lattice is a complete lattice $L$ in which every element $y$ is equal to $\bigvee${$x \in L \mid x \ll y$} where $x \ll y$ ("x approximates y" or "x is way below y") if for any directed ...

**0**

votes

**0**answers

103 views

### All AI-algebras are AT-algebras

It is known that every AI-algebra (i.e. inductive limit of interval algebras) is an AT-algebra (i.e. inductive limit of circle algebras)?
This seems a little bit odd because a building block of an ...

**5**

votes

**1**answer

106 views

### Is there an infinite depth irreducible finite index maximal subfactor (other than Temperley Lieb) ?

A subfactor $N \subset M$ is maximal if it admits no non-trivial intermediate subfactors $N \subset P \subset M$.
Is there an infinite depth irreducible finite index maximal subfactor (other than ...

**8**

votes

**0**answers

235 views

### Are there only finitely many maximal subfactors of a fixed finite index ?

A subfactor $N \subset M $ is maximal if it admits no non-trivial intermediate subfactors $N \subset P \subset M $.
Question: are there only finitely many maximal subfactors of a fixed finite ...

**12**

votes

**1**answer

739 views

### Non-“weakly group theoretical” integral fusion categories?

Is there an integral fusion category of global dimension $210$, such that the simple objects have dimensions $\{1,5,5,5,6,7,7\}$ and the following fusion matrices?
$\small{\begin{smallmatrix}
1 & ...

**4**

votes

**1**answer

188 views

### Fredholmness of an operator-valued Toeplitz operator

Let $f$ be an invertible element of $C({\mathbb{T}}; C_b(r,1))$, that is, there exists a $f^{-1}\in C({\mathbb{T}}; C_b(r,1))$ such that for all $z\in {\mathbb{T}}$, $f(z)f^{-1}(z)=1$ in $C_b(r,1)$.
...

**7**

votes

**1**answer

323 views

### Defining holomorphic functions in terms of Banach algebras, and similarly for C*-algebras

Let $C$ be the category of commutative Banach algebras and let $U : C \to \text{Set}$ be the usual forgetful functor. The holomorphic functional calculus guarantees that every holomorphic function $f ...

**1**

vote

**1**answer

131 views

### Nonlinear Operators(with the group property?)

Let V be a finitely generated vector space with dimension(V) = $n \in \mathbb{N}>1$. Now let T: $ V \to V$ be a map such that $\forall \hat{v},\hat{w} \in V$, $\; T(\hat{v}+\hat{w}) \neq ...

**4**

votes

**1**answer

176 views

### Is the extension of full free group c^* algebra a group?

It is know that the extension of reduced free group C*-algebra is not a group.(By Haagerup and Thorbjørnsen). How about the extension of the full group C-*algebra by compact operators?

**2**

votes

**1**answer

218 views

### Inner automorphisms and $K$-theory

It is known that any inner automorphism of a unital $C^{\ast}$-algebra $A$ induces the identity map on $K_{0}(A)$ because unitary equivalence implies Murray-von Neumann equivalence. What is known ...

**0**

votes

**0**answers

113 views

### A question about multiplier algebra of $C_0(G)\otimes C_b(G)$ for a locally compact group $G$

Let $G$ be locally compact group. How we can show that
$$
M(C_0(G)\otimes C_b(G))=C_b(G,C_b(G)).
$$
($M(C_0(G)\otimes C_b(G))$ is the multiplier algebra of $C_0(G)\otimes C_b(G)$)

**0**

votes

**1**answer

169 views

### Unitary with full spectrum

I have a unitary element $u\in C(\mathbb{T},M_{n}(\mathbb{C}))$ such that $Spec(u)=\mathbb{T}$. Does there exist a unitary $v\in C(\mathbb{T},\mathbb{C})$ such that $Spec(uv)\subsetneqq\mathbb{T}$?

**0**

votes

**1**answer

162 views

### Spectral decomposition function [closed]

Once I met a notation of "spectral decomposition function" (for a self-adjoint operator). No definition was given.
Could someone give me a clue what can that be, cause I can't find this exact phrase ...

**2**

votes

**2**answers

138 views

### Homomorphisms preserving constant functions

Assume we have a homomorphism $\phi: C(S^{1},M_{n}(\mathbb{C}))\rightarrow C(S^{1},M_{m}(\mathbb{C}))$ where $n$ divides $m$. Under what conditions does $\phi$ send constant functions to constant ...

**4**

votes

**1**answer

493 views

### Algorithm to find exponential map of differential operators acting on function

I am trying to write a computer program which computes the action of the exponential of a differential operator on a function, for any given differential operator.
Examples:
$\exp(\varepsilon ...

**1**

vote

**1**answer

134 views

### Inductive limit of mapping tori

I have two mapping tori $A_{n}$={$f\in C([0,1], M_{n}(\mathbb{R}))\mid f(1)=\alpha_{1}(f(0))$}, $B_{n}$={$f\in C([0,1], M_{n}(\mathbb{R}))\mid f(1)=\alpha_{2}(f(0))$} where $\alpha_{1}, \alpha_{2}$ ...

**6**

votes

**1**answer

239 views

### Inductive limit of C*-algebras

It is known that an intertwining (or even approximately intertwining) diagram implies the isomorphism of the limit algebras. Under what conditions the converse holds?

**2**

votes

**1**answer

389 views

### When does a $W^*$-algebra have a standard Borel spectrum?

EDIT: André Henriques has commented below that the correct separability condition is not weak-* separability as I have written below, but separability of the predual.
This post came out a bit long, ...

**0**

votes

**0**answers

132 views

### Need help determining whether a certain map is a $C^\ast$ homomorphism

Hello, I need help determining whether the map I defined between two algebras is a well-defined homomorphism of $C^\ast$-algebras. I ran into this problem while trying to define a "rotation map" ...

**3**

votes

**1**answer

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

**0**

votes

**0**answers

181 views

### Weights on Von Neuman factors

Let A be a type $I$ factor on a Hilbert space H. Let $\varphi$ be a semi-finite normal weight on $A^{+}$ is it possible to say that then there exist Hilbert spaces $H_2 \subset H_1$ and an isomorphism ...

**6**

votes

**1**answer

315 views

### Tannaka duality for C*-algebras?

Tannaka-Krein
duality shows
how to recover a group $G$ from its category $\mathbf{Rep}(G)$ of finite-dimensional
complex representations and the forgetful functor $F:\mathbf{Rep}(G)\to
...