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

learn more… | top users | synonyms (1)

-3
votes
0answers
139 views

How to explain the subject Operator Algebra to dummies? [closed]

I have to appear for an interview to pass the requirements of AI instructor. I have to explain what is operator algebra which is my subject to Professors of Department of Second Language Studies. Any ...
11
votes
2answers
280 views

Is a C*-algebra with an isomorphic predual a von Neumann algebra?

It is well-known that a C*-algebra $A$ is a von Neumann algebra if and only if it has an isometric predual, that is, if and only if there exists a Banach space $X$ such that $A$ is isometrically ...
2
votes
0answers
47 views

Multiplicativity of the analytic index (or of kernel bundle)

What I want to ask is the multiplicativity of the analytic index of a family of Dirac operators. In the single operator case the analytic index of elliptic operator is multiplicative. This is proved ...
4
votes
0answers
219 views

Baum Connes Conjecture [closed]

I have recently decided on a topic for my master thesis. I want to compare the Baum Connes conjecture as it is formulated in topology to the conjecture as it is formulated in functional analysis. I ...
7
votes
1answer
249 views

Why is the Berkovich spectrum of a C*-Algebra the same as the Gelfand spectrum?

Let $A = \mathcal{C}(X)$ be a commutative (unital) C*-Algebra. Let $Spec(A)$ denote its Gelfand spectrum $$ Spec(A) = \{A \rightarrow \mathbb{C} : \text{non-zero *-homomorphism} \} \simeq X. $$ Now ...
1
vote
0answers
38 views

CP maps or states on the matrix quantum group $C_q[SU_2]$

This question is about the states on the matrix quantum group $C_q[SU_2]$ (generators $a,b,c,d$ with relations...), or possibly about the representations of the $C^*$ algebra $C_q[SU_2]$ - not about ...
3
votes
1answer
99 views

Classification of $2k$-vectors modulo orthogonal transformations

Consider the following chain $\{A_1,A_2,A_3,\cdots,A_{n}\}$ of orbit spaces of even-rank anti-symmetric tensors, where $$A_k:=\frac{\Lambda^{2k}(\mathbb{R}^{2n})}{e_{i_1}\wedge \cdots \wedge e_{i_{2k}}...
11
votes
0answers
192 views

Countably decomposable von Neumann algebras

A von Neumann algebra is countably decomposable if every family of mutually orthogonal nonzero projections is countable. Even a singly-generated von Neumann algebra need not be countably decomposable; ...
1
vote
1answer
97 views

Bounded operators $T: B(H)\to H$ whose Kernel is a Lie algebra

Assume that $H$ is an infinite dimensional Hilbert space.The space of all bounded operators on $H$ is denoted by $B(H)$.We consider the Lie algebra structure $[T,S]=TS-ST$ on $B(H)$. Is there a ...
4
votes
1answer
127 views

Dye's Theorem for real von Neumann algebras

Dye's classical theorem from 1955 states that if $\theta$ is a projection orthoisomorphism (i.e., a bijection between the projective lattices that preserves orthogonality - it then automatically ...
0
votes
1answer
81 views

A nice proof that completely bounded (cb) norm of transpose map on $ M_n $ is n

In my research of operator algebras and their connection with machine learning I of course use the well know result: For the map $ tr:M_n \to M_n $ denoting the transpose map of matrices (meaning ...
3
votes
1answer
133 views

The C*-envelope of the algebra of continuous functions on a compact topological space is commutative

In my research in operator theory, specifically in C* algebras and enveloping, I came across this strange footnote in a text (locally published in non English where I study) which states the following:...
4
votes
0answers
76 views

Equivalence of questions regarding restrictions of pure states

In Davidson and Szarek's article "Local Operator Theory, Random Matrices and Banach Spaces" in the Handbook of the Geometry of Banach Spaces, the authors discuss the (now solved) Kadison-Singer ...
2
votes
0answers
68 views

Approximate unit in C*-algebra with additional properties

In the book about K-theory (a friendly approach) by Wegge and Olsen I came across the following notion: in Lemma 16.4 authors assume that the $C^*$-algebra $A$ possess "(commuting) approximate unit $(...
11
votes
0answers
118 views

On spatial tensor products of von Neumann algebras

Let $H$ be a Hilbert space, and let $A_1,A_2,A_3\subset B(H)$ be three commuting von Neumann algebras. We write $\odot$ for the algebraic tensor product, and $\bar\otimes$ for the spatial tensor ...
4
votes
1answer
139 views

isomorphism of noncommutative tori

I have a kind of vague question. Two non-degenerate symplectic vector space of same dimension (say $\mathbb{R}^{2n}$) are isomorphic. Then why all noncommutative tori of same dimension aren't ...
6
votes
0answers
106 views

Compactum of Banach algebra

What is an example of Banach algebra $A$ and a left non-trivial closed ideal $I$ with all of following properties? There exists a bounded approximate identity in $I$ for $I$ i.e., a net $\{e_\alpha\}...
5
votes
1answer
157 views

Convergence of functionals on compact projections on a separable Hilbert space

Let $H$ be a separable Hilbert space over $\mathbb{C}$, say $\ell_2$ for simplicity. Let $\mathcal{K}(H)$ denote the space of all compact operators on $H$ and $\mathcal{P}(H)$ the set of all finite ...
1
vote
0answers
110 views

On self-dual group-subgroup subfactors

Let $(N \subset M)$ be a finite index inclusion of ${\rm II}_1$ factors, and $N \subset M \subset M_1$ the basic construction. The subfactor $(N \subset M)$ is called self-dual if it is isomorphic to ...
5
votes
0answers
99 views

Generalized singular numbers and the Haagerup $L^p$ spaces

Let $M$ be a semi-finite von Neumann algebra with a trace $\tau$.Let $S(M)$ be the algebra of all affiliated operators measurable with respect to $M$. The $L^p$ norm on $M$ is given by \begin{...
2
votes
0answers
70 views

On finite index infinite depth subfactors and reduction to depth 2

Let $(N \subset M)$ be a finite index irreducible subfactor (with $N$ and $M$, ${\rm II}_1$ factors). Let $N \subset M \subset M_1 \subset M_2 \subset \cdots$ be the tower of basic constructions. ...
1
vote
0answers
109 views

Is there a non-integer in the dimension spectrum for the Heisenberg group?

Let $\Gamma = \langle a,b,c \ | \ c=aba^{-1}b^{-1}, \ ac=ca, \ bc = cb \rangle$ be the discrete Heisenberg group. Let $\ell: \Gamma \to \mathbb{N} $ be the word length on $\Gamma$. This group has a ...
2
votes
1answer
72 views

Choi type matrix condition for completely positivity on a certain operator system spanned by some unitaries

Let $B_1$ and $B_2$ be $C^*$-algebras. Let $U_1, \ldots, U_n$ be some unitaries in $B_1.$ We consider the operator system $S$ spanned by $U_iU_j^*.$ Let $\phi: S \rightarrow B_2.$ Given that the ...
6
votes
2answers
443 views

Kazhdan's property (T) vs. residual finiteness

I have asked this question already on mathstackexchange but got no answer (see http://math.stackexchange.com/questions/1795795/kazhdans-property-t-vs-residual-finiteness) and it was suggested that I ...
2
votes
2answers
115 views

Multiplier algebra of $A \otimes \mathcal{K}$

If $A$ is unital C$^*$-algebra, is it true that the multiplier algebra of $A \otimes \mathcal{K} $ is $ A \otimes \mathcal{B}(\mathcal{H})$? Where $\mathcal{K}$ is C$^*$-algebra of compact operators ...
2
votes
0answers
99 views

Orthogonality relations for unitary representations of infinite (finitely generated) groups

Let $G$ be a group, and consider the matrix elements of finite dimensional irreducible unitary representations of $G$ over $\mathbb{C}$ as functions $f:G\to \mathbb{C}$. If $G$ is finite, any two ...
4
votes
1answer
182 views

Can we solve the FGF problem by finding an appropriate action?

If we can find an action of the free group $\mathbb{F}_2$ on a measure space $X$ such that the crossed product $M=L^∞(X)⋊\mathbb{F}_2$ is a ${\rm III}_1$ factor with core isomorphic to $L(\mathbb{F}_2)...
5
votes
2answers
233 views

$id:A\to A^{op}$ is completely positive iff $A$ is abelian

Let $A$ be a $C^*$-algebra and $A^{op}$ it's opposite $C^*$-algebra. Let $id:A\to A^{op}$ be the identity map. $id$ is positive. The claim is: $id$ is completely positive iff $A$ is abelian. I need ...
1
vote
0answers
54 views

Tor functor in the case of algebra of smooth functions

Let $A=C^{\infty}(\mathbb{S}^{1})$, let $B$ be the sub-algebra $C^{\infty}(0,1)$. Here we identify $\mathbb{S}^{1}$ by $\mathbb{R}/2\pi \mathbb{Z}$. I want to ask if there is a way I can decompose $A$ ...
4
votes
1answer
81 views

Terminology: jointly completely bounded?

This question has a subjective component but I would like answers that try to stick to concrete observable facts, such as which papers use which terminology. However, the informed impressions of those ...
1
vote
0answers
69 views

Group actions on principal groupoids

Suppose that $\mathcal{G}$ is etale principal groupoid and that $G$ is a discrete (or finite) group acting freely on the locally compact unit space $\mathcal{G}^0$ (or assuming compactness, if ...
2
votes
0answers
131 views

Sums of hermitian squares in free abelian group algebras and real positive semidefinite matrices

A little context for the following question, first. As Noah Stein notes in a comment below, the present question is closely related to the free semialgebraic geometry studied by Helton and his ...
3
votes
0answers
64 views

Algebras involved to define spectral triple

A spectral triple consist from $(A,H,D)$ where $A$ is some unital $*$-subalgebra of $B(H)$ and $D$ is unbounded operator with compact resolvent such that for all $a\in A$ the commutatot $[D,a]$ is ...
3
votes
0answers
52 views

Isometry from a representation to the representation tensored with itself

Suppose, the group $ G=S(2^{\infty})$ has a unitary representation $ \pi $ on a separable infinite dimensional Hilbert space $ H $. (The group $ S(2^{\infty}) $ is the direct limit of the following ...
5
votes
1answer
118 views

is the maximal tensor product of compact operators an essential ideal?

I'm searching for a counterexample for $C^*$-algebras $A$ and $B$ and essential ideals (I assume an ideal to be closed and only two-sided ideals) $I\subseteq A$, $J\subseteq B$ , such that the ideal $...
3
votes
1answer
123 views

is a linear map on an operator system into a $C^*$-algebra (+ extra conditions) positive?

First of all, sorry for my bad english. I tried to find out whether the following statement is true or not: Let $X$ be a operator system, $B$ a $C^*$-algebra and $f:X\to B$ linear such that $f(1)\ge ...
1
vote
0answers
61 views

weak convergence in operator space structure

Let $M$ be von Neumann algebra and $B(H)$ be it's universal representation. Let $(e_i)$ be a Hilbert basis of $H$ and $\zeta_n\xrightarrow{w}\zeta $ in $H$. I know that $[w_{\zeta_n ,e_i}]_{1\times I}\...
3
votes
2answers
131 views

The multiplier algebra of a Reproducing Kernel Hilbert Space and its commutant

In my research in the theory of Reproducing Kernel Hilbert Spaces I was concerned with this topic which came up but I could not find a reference on: If $ \mathbb{H} $ is an RKHS and we denote the ...
2
votes
0answers
62 views

(Topological) K-theory for commutative $C^*$-algebras: operator and standard approaches

Let $A$ be a commutative unital $C^*$ algebra. Then $A=C(X)$ for some compact Hausdorff space $X$. Topological $K$-theory group (namely $K_0$) is defined in terms of vector bundles as a Grothendieck ...
7
votes
1answer
136 views

Algebraic $K_1$ group for a $C^*$-algebra

Let $A$ be a $C^*$-algebra: then one defines topological $K_1$ group as $GL_{\infty}(A^+)/\Big(GL_{\infty}(A^+)\Big)_0$ where $A^+$ denotes $A$ with the unit adjointed (even if $A$ already had a unit: ...
4
votes
3answers
378 views

What is the group of automorphisms of $l^{\infty}$?

What is the group of automorphisms of $l^{\infty}$? I think it would be the permutations of the integers. Is this right?
6
votes
1answer
174 views

Time-Energy Uncertainty Relation in relativistic Quantum Mechanics

There is an old intriguing result in non-relativistic QM, stating (roughly) that there is an Heisenberg Time-Energy Uncertainty Relation. Unfortunately, in QM time is not an operator like space, ...
2
votes
0answers
139 views

The functional equation $T(x\otimes y)=T(x)\otimes T(y)$ on certain $C^{*}$ algebras

Is there a name for the following property of a $C^{*}$ algebra $A$? $$A \simeq A \otimes A\;\;\; \text{The spatial tensor product}$$ Example of this situation is $A=C(X)$ where $X$ is the ...
2
votes
0answers
90 views

Primitive ideal space and unitary dual of a [SIN] group - when are they Hausdorff?

Recall that a locally compact group $G$ is said to be an $[FC]^-$ group, if each conjugacy class in $G$ has a compact closure; an $[SIN]$ group, if each neighborhood of the identity includes a ...
6
votes
1answer
118 views

Two notions of bundle of C* algebras

One can find in the literature two notions of $C^*$-algebra over a topological space $X$. The first is as the data of an open surjection $ \pi: B \rightarrow X$ together with the structure of a $C^*$-...
1
vote
1answer
121 views

Does a $W^*$ envelope exist?

I know that an operator algebra $A$ has a "minimal" $C^*$-algebra $C$ containing $A$, which is known as the $C^*$ envelope of $A$. The existence of such a minimal $C^*$-algebra generated by $A$ (a ...
7
votes
1answer
174 views

K theory for pre $C^*$-algebras

In noncommutative geometry when one want to go to the differentiable level, one is forced to work with algebras which are no longer $C^*$. It is nice if we don't loose much information by the ...
7
votes
2answers
300 views

“Identity tensor transpose” as a map $M_n \hat{\otimes} M_n \to M_n \overline{\otimes} M_n$

Equipping $M_n$ with its usual operator space structure, $\newcommand{\ptp}{\widehat{\otimes}}$ we can form the projective tensor product of operator spaces $M_n\ptp M_n$. In particular this puts a ...
6
votes
0answers
163 views

K theory as the fundamental group

There are several ways in which one can define $K$-theory for $C^*$-algebras: for $K_0(A)$ group two aproaches: algebraic (using idempotents) and topological (using projections, i.e. self-adjoint ...
2
votes
1answer
88 views

About eigen-functions of the Gaussian kernel

If I look at the Guassian kernel function $e^{- \frac {\vert x - y\vert_2^2 }{2 w^2 } }$ for $x, y \in \mathbb{R}$. Then w.r.t the Gaussian measure $N(\mu,\sigma)$ I believe it is true that this has a ...