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

learn more… | top users | synonyms (1)

4
votes
1answer
92 views

Crossed Products by Permutation Groups

What can be said about the following crossed product $C^*$-algebra? Let $A$ be a Kirchberg algebra with $K_0(A) = \mathbb{Q}$ and $K_1(A) = 0$. Consider the direct sum of $n$ copies of $A$, i.e. $B = ...
5
votes
1answer
220 views

$Z_{2}$- graded structures for $C_{red} ^{*} (F_{2})$

Let $F_{2}$ be the free group with two generators. Then $F_{2}=\{\text{odd words}\}\sqcup\{\text{even words}\}$. This gives us a $Z_{2}$ graded structure for $C^{*}_{red} (F_{2})$, in a natural way. ...
5
votes
1answer
164 views

Free C^*-algebra

Let $A_0$ be a set of all polynomials with complex coefficients of infinitely many noncommuting (free) variables, denoted by $X_1,X_2,...,X_1^*,X_2^*,...$. We equip $A_0$ with the operation $*:A_0 \to ...
3
votes
2answers
246 views

Type III factor representation

Does there exist any theorem which permits, under suitable hypotheses, to represent a particular complete orthomodular lattice as the projection lattice of a Type III von Neumann factor?
7
votes
1answer
243 views

Who first identified the universal $C^*$-algebra generated by an idempotent of norm at most $C$?

So much is known about hermitian and non-hermitian idempotents in a $C^*$-algebra, that someone must have written down the following. Theorem The universal $C^*$-algebra generated by one element ...
1
vote
1answer
243 views

A norm one projection

Let $\mathcal{H}$ be Hilbert space and $\mathfrak{B(}\mathcal{H}\mathcal{)}$ of all bounded linear operators on $\mathcal{H}$. Let $\mathcal{A}$ be a maximal commutative sub-algebra of ...
1
vote
1answer
85 views

modul projection map

Let H be a Hilbert space and B(H)be space bounded linear operators on H. Let A be a commutative maximal sub-algebra of B(H). Is there a conditional expectation ( a norm one projection) from B(H) to A? ...
7
votes
3answers
623 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 ...
10
votes
0answers
238 views

Groups with reduced C*-algebras of stable rank 1

Let $G$ be a countable discrete group, $C_r^*(G)$ its reduced $C^*$-algebra. We say that $G$ has stable rank 1 if $C_r^*(G)$ has stable rank one, that is, the set of invertible elements is dense in ...
6
votes
5answers
442 views

If two projections are close, then they are unitarily equivalent

Given two projections $p,q\in B(H)$, it is well-known that if $\|p-q\|<1$, then there exists a unitary $u\in B(H)$ with $q=upu^*$. The proof that immediately occurs to me uses comparison of ...
2
votes
0answers
130 views

Planar algebraic translation of a subfactor property

Let $N \subset M$ be an irreducible finite depth and finite index subfactor. $M$ is a completely reducible (algebraic) $N$-$N$ bimodule, it decomposes into irreducibles as follows : ...
5
votes
1answer
205 views

A Question About Pure States, Support Projections and Central Covers

I am trying to study the paper Consistency of a Counterexample to Naimark’s Problem by Charles Akemann and Nik Weaver, and there is a claim in Lemma 1 of the paper that I am stuck at, which is as ...
4
votes
0answers
213 views

Weakly amenability and exactness for discrete groups

A countable discrete group $\Gamma$ is said to be weakly amenable with Cowling-Haagerup constant 1 if there exists a sequence of finitely supported functions $(\phi_n)$ on $\Gamma$ such that ...
2
votes
2answers
389 views

the spectrum of matrix with positive entries

It is well known that a matrix which all entries are positive real numbers, has a positive eigenvalue.(see algebraic topology, by Allen Hatcher). Now is the following generalization, true? Let A ...
5
votes
0answers
201 views

Essential unitary equivalence

Let us agree that heuristic meaning of the word "essential" is: up to compact operator. There is clear notion of unitary equivalent operators. What is the proper notion of two operators being ...
2
votes
2answers
216 views

Finding the commutant of a von Neumann algebra

Suppose you have a von Neumann algebra $A$ of operators on $H$ and would like to compute its commutant. You have constructed a collection $B\subset A'$ which you suspect generates it (i.e. you think ...
3
votes
1answer
313 views

Are all the R-R-bimodules completely reducible?

Let $R$ be the hyperfinite $II_1$ factor and let $X$ be any $R$-$R$-bimodule. Question: Is $X$ completely reducible (i.e. a direct integral of irreducible $R$-$R$-bimodules)? Example: If $(N ...
3
votes
3answers
313 views

Are the finite dimensional von Neumann algebras, singly generated?

Let $\mathcal{M}$ be a finite dimensional von Neumann algebra, then : $$\mathcal{M} \simeq \bigoplus_i M_{n_i}(\mathbb{C})$$ Question : Is it singly generated (as von Neumann algebra)? how ? ...
3
votes
1answer
129 views

Are every finitely generated planar algebras, also singly generated?

Let $\mathcal{P}$ be a finitely generated planar algebra. Question : Is it also singly generated ? I ask this question, because, on one hand I've read on this paper of V. Jones and D. Bisch : ...
7
votes
0answers
148 views

Replacing commutative C*-algebras by simple ones

I am looking for functorial ways of replacing a commutative $C^*$-algebra $C$ by a simple one, say $A$ , such that the $K$-theory remains unchanged, i.e. $K_*(C) \cong K_*(A)$. I am particularly ...
3
votes
0answers
135 views

How a unitary corepresentation of a Hopf C*-algebra, deals with the antipode?

Let $\mathcal{A}$ be a Kac algebra (Hopf C*-algebra), with comultiplication $\delta$, counit $\epsilon$ and antipode $S$. The following definition comes from this paper (p51-52) of ...
3
votes
1answer
140 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
263 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
283 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 ...
7
votes
2answers
295 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
89 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
457 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
385 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 ...
9
votes
5answers
314 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
159 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
166 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
161 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
277 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
111 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 ...
8
votes
1answer
291 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
130 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
206 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
175 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
107 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
196 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
267 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
218 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
216 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: ($*$) ...
2
votes
1answer
269 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 ...
8
votes
0answers
343 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 ...
6
votes
2answers
417 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
406 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
418 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 ...
11
votes
1answer
524 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
215 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 ...