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

learn more… | top users | synonyms (1)

3
votes
1answer
136 views

Sets $E$ in $\mathbb{Z}$ such that any $l^2$ function with support on $E$ comes from Fourier of a continuous function

Are there infinite sets $E\subset\mathbb{Z}$ such that any $f\in l^2(\mathbb{Z})$ with support on $E$ comes from the Fourier transform of a continuous function on $\mathbb{T}$ ? If yes, is there a ...
6
votes
2answers
247 views

Expression of a non-orthogonal projection in a $C^*$ algebra via an orthogonal one

A paper I'm currently reading uses the following fact. If $A$ is a unital $C^*$-algebra, $P=P^2\in A$, then there are $T, F\in A$ s.t. $F$ is an orthogonal projection ($F=F^*=F^2$) and ...
7
votes
1answer
277 views

Extending a $ * $-Representation of $ ({C_{c}}(G,\mathscr{A}),\star,^{*}) $ to a $ * $-Representation of $ \mathscr{A} \rtimes_{\alpha} G $

Let $ (\mathscr{A},G,\alpha) $ be a $ C^{*} $-dynamical system, and consider the twisted convolution $ * $-algebra $ ({L^{1}}(G,\mathscr{A}),\star,^{*}) $ defined by \begin{align*} \forall \phi,\psi ...
6
votes
2answers
259 views

Are the reduced group Von Neumann algebra/ Group $C^{\ast}$ algebra functorial in the case of LCH groups

Let $G$ be a LCH group and $\mu$ be its left Haar measure. Call $\lambda_G : G \to U(L_2(G,\mu))$ the left regular representation. We can define the reduced $C^{\ast}$ algebra and reduced Von Neumann ...
0
votes
0answers
84 views

Lifting triangles in K-theory to KL-groups

Let $X$ and $Y$ be finite simplicial complexes (or $CW$-complexes) so that $Y\subseteq X$. Let $s\colon C(X)\to C(Y)$ be the map given by restriction. In particular $K_{*}(C(X))$ and $K_{*}(C(Y))$ are ...
15
votes
1answer
418 views

Operator Valued Kadison--Singer Problem

The Paving Conjecture, which is equivalent to the famous Kadison--Singer Problem, was spectacularly settled in the affirmative by Marcus--Spielman--Srivastava (arxiv:1306.3969). Let $E$ denote the ...
9
votes
2answers
374 views

Is $\mathcal{B}^{\mathbb{Z}}(l^\infty(\mathbb{Z}))$ a commutative algebra?

Consider $l^\infty(\mathbb{Z})$ the Banach space of bounded complex valued functions on the abelian group $\mathbb{Z}$ with the supremum norm. It has a natural action by $\mathbb{Z}$ given by ...
8
votes
5answers
301 views

Observables and dimensional analysis

Here is a simple question about physical units that I hope has a simple satisfying answer. In mathematically sophisticated treatments of both quantum and classical physics one often speaks of an ...
3
votes
1answer
153 views

example of a compact quantum group at a root of unity?

In Woronowicz's theory of compact quantum groups, the most well-known example is $SU_q(2)$, for $q$ a real number. Moreover, all the other examples of compact quantum groups, based some ...
3
votes
1answer
154 views

‘Non-Induced’ Left Regular Representations of $ C^{*} $-Dynamical Systems

In what follows, a ‘$ * $-representation’ always means a non-degenerate $ * $-representation. Let $ (\mathscr{A},G,\alpha) $ be a $ C^{*} $-dynamical system, and let $ \pi: \mathscr{A} \to ...
4
votes
0answers
154 views

The groupoid VN algebra of the transversal to a uniquely ergodic action

I have a uniquely ergodic dynamical system preserving a finite ergodic measure (specifically, I have a nice aperiodic tiling space with an action of $\mathbb{R}^d$). Thus the transformation group von ...
2
votes
1answer
254 views

Question on structure of von Neumann algebras, clarification in Conway's “A course in operator theory”

I was reading the section on the structure of type I von Neumann algebras in John B. Conway's "A course in operator theory" and a few questions about certain definitions and references arose, I was ...
2
votes
1answer
109 views

Reference request for a type III action of a group on a manifold

Let an action of a group $\Gamma$ on a manifold $M$ such that $L^{∞}(M)⋊Γ$ is a type $III$ factor. André Henriques posted here the following comment : I don't know the literature, so I can't ...
7
votes
1answer
243 views

is this von Neumann algebra a tensor product?

Let $H_1$ and $H_2$ be Hilbert spaces. Let $A\subset B(H_1)$ be a factor and $A'$ its commutant. If a von Neumann algebra $M\subset B(H_1\otimes H_2)$ contains $A\otimes 1$ and commutes with ...
4
votes
1answer
129 views

Passing automorphism group through a representation

This is a very general question-- I'm really after any references to anything similar... Let $A$ be a $C^*$-algebra equipped with a continuous one-parameter group of automorphisms ...
3
votes
2answers
193 views

A version of the spectral theorem for group actions

Suppose $G$ is a sufficiently nice (maybe locally compact and abelian) group which acts on the separable Hilbert space $\mathcal{H}$ by unitary transformations. Is there a generalization of the ...
4
votes
0answers
168 views

Existence of a Kac algebra for a given fusion ring in a particular class

A $n$-dimensional Kac algebra (i.e., a Hopf C*-algebra), admits finitely many irreducible representations, whose cardinal $r$ is called its rank, the increasing sequence $(d_{1},d_{2},d_{3}, ..., ...
1
vote
0answers
102 views

How simplify the pentagonal equation from two fusion rings?

A semi-simple finite dimensional Hopf algebra $\mathbb{A}$, and its dual $\mathbb{A}^{*}$ produce two fusion categories $\mathcal{C}$ and $\mathcal{C}^{*}$ and then two fusion rings $\mathcal{R}_{1}$ ...
6
votes
0answers
193 views

A non-hyperfinite type III factor from an action of the free group on the circle

We define below a von Neumann algebra $\mathcal{M}$ from an action of the free group on the circle, and we prove that $\mathcal{M}$ is a non-hyperfinite type III factor. Question : Is ...
6
votes
1answer
248 views

Formal series convergence in deformation quantization and $C^*$-condition

A link between formal series convergence in deformation quantization (strict deformation quantization) and producing $C^*$-algebras instead of mere $*$-algebras (which ...
3
votes
2answers
208 views

When is a groupoid the path groupoid of a graph?

I am actually interested in the $C^*$-algebras, so perhaps my question should be: How can you recognize whether a $C^*$-algebra $A$ is isomorphic to $C^*(\Lambda)$ for some (higher-rank) graph ...
2
votes
0answers
199 views

Versions of the spectral theorem

Since any $C^*$-algebra can be represented as an algebra of bounded operators $\mathcal{B(H)}$ on a Hilbert space $\mathcal{H}$, the spectral theorem applies to all $C^*$-algebras: ($*$) ...
1
vote
1answer
252 views

Folium in GNS construction and von Neumann algebras

The GNS construction allows one to represent a $C^*$-algebra as the algebra of bounded operators on a Hilbert space when a state is fixed, this state being represented as a vector on the Hilbert ...
7
votes
0answers
317 views

The approximation property of group C*-algebras

Let $G$ be a discrete group. Then the group C*-algebra $C^*(G)$ is nuclear if and only if $G$ is amenable. I am wondering whether nuclearity of $C^*(G)$ can fail for a Banach-space reason, namely due ...
5
votes
2answers
374 views

C*-algebras and quantum fields

One can represent a quantum system by the Weyl algebra (which is a C*-algebra). For instance, a 1 degree of freedom system can be represented by the algebra generated by $e^{\imath t Q}, e^{\imath s ...
3
votes
1answer
331 views

What is the significance of matrix ordered algebras?

I am trying to grok matrix ordered operator algebras, but I am having a hard time understanding their significance from the definition. Here is the definition (or at least, one way of stating it): ...
6
votes
2answers
349 views

C*-algebraic representation of observables vs self-adjoint operators one

I am trying to reconcile the "physicist" definition of an observable: self-adjoint operator on a Hilbert space, and the operational one as given by Strocchi in "An introduction to the mathematical ...
10
votes
1answer
488 views

Is there a proof that the $C^{*}$-algebras don't see the invariant subspace problem?

This post is an appendix of this one. Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators. Invariant subspace problem: Let $T \in B(H)$. Is ...
2
votes
0answers
201 views

Bohr topos and quantization

Bohrification is a natural way to construct a quantum "phase space" (with some nice insights on foundational problems like non-contextuality through Kochen-Specker etc). I was wondering, since we get ...
5
votes
0answers
159 views

Bound on number of multiplications required to generate a matrix algebra from generators?

I've got a question about matrices and matrix algebras that offhand seems difficult, I'm wondering there is any sharp solution? Or perhaps it's known to not have any solution at all? Suppose you have ...
3
votes
0answers
341 views

About generator and isomorphism problems for free groups operator algebras

Let $H$ be an infinite dimensional separable Hilbert space. The $C^{*}$-algebras and von Neumann here unital and subalgebras of $B(H)$. Definition : Let $\mathcal{A}$ be $C^{*}$-algebra (resp. a ...
15
votes
2answers
419 views

automorphisms of C*-algebras and partial isometries

Let $A$ be a $C^*$-algebra, let $p$ and $q$ be Murray-von Neumann equivalent projections in $A$, i.e. there is a partial isometry $v$ such that $v^*v = p$ and $vv^* = q$. Suppose $\alpha \in Aut(A)$ ...
2
votes
1answer
323 views

Is there an operator algebraic reformulation of the invariant subspace problem?

Let $H$ be an infinite dimensional separable Hilbert space and $B(H)$ the algebra of bounded operators. Invariant subspace problem: Let $T \in B(H)$. Is there a non-trivial closed $T$-invariant ...
2
votes
1answer
143 views

“Generators” of one-parameter groups of isometries

Let $E$ be a Banach space, and let $(\sigma_t)$ be a strongly continuous one-parameter group on $E$: so for $t\in\mathbb R$, we have that $\sigma_t$ is a contraction on $E$, $\sigma_t ...
5
votes
1answer
272 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
2answers
361 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
3answers
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
0answers
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
1answer
327 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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
284 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
0answers
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
1answer
196 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
3answers
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
2answers
287 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
1answer
477 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
3answers
272 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 ...