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

learn more… | top users | synonyms (1)

2
votes
0answers
13 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 ...
5
votes
2answers
303 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 ...
1
vote
1answer
49 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
78 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 ...
1
vote
0answers
67 views

Can we solve the free group factors isomorphism 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 ...
5
votes
2answers
202 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
49 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$ ...
3
votes
1answer
70 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
60 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 ...
1
vote
0answers
95 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
55 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
50 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
101 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
106 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
54 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 ...
3
votes
2answers
114 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 ...
1
vote
0answers
50 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
127 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
360 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
161 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
129 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
84 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
115 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 ...
1
vote
1answer
119 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
163 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
287 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 ...
5
votes
0answers
155 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
83 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 ...
5
votes
0answers
106 views

Automorphisms of Cuntz algebra

Suppose, $ O_{\infty} $ is the cuntz algebra generated by the orthogonal isometries $ \{S_i\}_{i\in \mathbb{N}} $,i.e. $ S_i^*S_j=\delta_{ij}$ and $ O_{\infty}=C^*(\{S_i\}_{i\in \mathbb{N}}) $. Then ...
4
votes
1answer
71 views

Operator space structures on CB(H,K) where H and K are Hilbertian operator spaces?

(I'd be grateful if anyone thinking of putting MathJax in the question title refrains from doing so.) By consulting various standard sources (Effros-Ruan's book, Pisier's book, the lexicon of ...
3
votes
0answers
60 views

A continuous functional calculus on/positive elements in a Fréchet algebra?

I am trying to understand what (minimal) conditions one would need in order to obtain a functional calculus on a Fréchet algebra, which we demand to be equipped with an involution that leaves all ...
9
votes
0answers
51 views

Is the domain of an operator valued weight closed under Hahn-Jordan decomposition?

Let $N\subseteq M$ be an inclusion of semi-finite factors with normal faithful semi-finite traces $\operatorname{Tr}_N$ and $\operatorname{Tr}_M$ respectively. Let $T: M^+\to \widehat{N^+}$ be the ...
6
votes
1answer
138 views

Morita equivalence base equivalence relation for discrete groups

In the context of "discrete groups", is there an equivalence relation that implies the Morita equivalence of their reduced group C*-algebras? We define $G \sim H$ for discrete groups $G$ and $H$, ...
1
vote
1answer
214 views

On the second dual of $C[0,1]$

I have two questions on the second dual of $C[0,1]$: R. D. Mauldin ([1]) proved that: For a given bounded linear functional $T: C[0,1]^*\to \mathbb{C}$ there is a bounded function $\psi$ defined on ...
1
vote
1answer
116 views

Representations of Calkin algebra

Let $H$ be a separable Hilbert space and consider the Calkin algebra $C(H)=\frac{B(H)}{K(H)}$. Q) True or false: Any representation of $C(H)$ is a direct sum of irreducible representations.
4
votes
1answer
144 views

Most natural equivalence between $C^*$-algebras in NCG

I have listen or read that, in the context of noncommutative geometry, Morita equivalence is a more natural equivalence for $C^*$-algebras than $*$-isomorphism. Can someone explain this sentence or ...
3
votes
0answers
140 views

A strongly open set which is not measurable in the weak operator topology

Let $H$ be a non-separable Hilbert space and $\{e_i\}_{i\in I}$ be an orthonormal basis for $H$. Let $J$ be a uncountable proper subset in $I$. Let us put $$E=\{x\in B(H): \lVert xe_j\rVert <1: ...
0
votes
1answer
119 views

A point-wise separation Hahn-Banach theorem in C*-algebras

Let $H$ be a Hilbert space. We denote $K(H)$ by the space of compact operators on $H$ which is a two sided ideal in $B(H)$. Let $E$ be a norm closed convex subset of positive operators in $K(H)$ ...
4
votes
2answers
186 views

On the possibility of extending the Sz.-Nagy dilation theorem for multiple contraction operators on Hilbert spaces

I am presently doing research concerned with operator algebras and operator theory and I thought to write here in the hopes of seeking expert advice on an idea I had here. The classic Sz.-Nagy ...
6
votes
1answer
200 views

von Neumann algebras as C*-algebras with multiplicative conditional expectation $A^{**}\to A$

Let $A$ be a C*-algebra. We identify $A$ with its canonical image in the bidual $A^{**}$. Consider the following conditions: (1) $A$ is a von Neumann algebra. (2) There is a multiplicative ...
7
votes
1answer
205 views

When does a $C^*$-algebra have no nonzero projection?

Let $A$ be a $C^*$-algebra and $\hat{A}$ its spectrum of $A$,the set of classes of non-zero irreducible representation of $A$ endowed with hull-kernel topology. suppose $\hat{A}$ is a non-compact ...
5
votes
2answers
177 views

Help in understanding result from publication on operator theory

in my research on dilations of contractions on Hilbert spaces and manifolds I have come across this nice publication concerning the classic Sz-Nagy theorem on the Arxiv by Levy and Shalit which states ...
1
vote
0answers
56 views

Finding the infimum of the range of a certain non-negative function associated to a $ C^{*} $-algebra

Let $ A $ be a non-trivial $ C^{*} $-algebra and $ n \in \mathbb{N} $. Setting $ \mathcal{D} \stackrel{\text{df}}{=} A^{n} \setminus \{ (0_{A},\ldots,0_{A}) \} $, we can define a function $ f: ...
6
votes
1answer
177 views

Is this a characterization of commutative $C^{*}$ algebras?

Assume that $A$ is a $C^{*}$ algebra with self adjoint elements $A_{sa}$. Assume that for all $a,b\in A$ we have $$ab\in A_{sa} \iff ba \in A_{sa}$$ Is $A$ necessarily a commutative ...
11
votes
1answer
153 views

What does it tell us, if we know a unital C*-algebra has approximately inner (half-)flip?

This is a somewhat vague question, but I think it is not too open-ended and should admit well-circumscribed answers by specialists in operator algebras.$\newcommand{\Cst}{{\rm C}^*}$ It arises from ...
9
votes
3answers
463 views

Separable von Neumann algebra

What is the simplest argument which shows that each infinite dimensional von Neumann algebra is not separable (in the norm topology)? It seems that this is a kind of folklore: at least I never saw the ...
6
votes
1answer
121 views

The quantum group SUq(n) as von Neumann algebra

i have a question about a "presentation" of the quantum $SU(n)$. Here presentation means the following. Let $(M,\Delta)$ be a quantum group in the sense of Kustermanns and Vaes. One can show that the ...
1
vote
1answer
139 views

Uniform Roe algebras and exact groups

Let $\Gamma$ be a discrete group. Q: If $l^\infty(\Gamma)\rtimes \Gamma=l^\infty(\Gamma)\rtimes_r \Gamma$ canonically, can we conclude that $\Gamma$ is an exact group? The converse implication is ...
2
votes
0answers
110 views

Connecting homomorphism in generalized cohomology theory

I have some compact manifold with boundary $(M,\partial M)$, and there is a long exact sequence $$\cdots\to KO^{-1}(\partial M)\xrightarrow{\partial} KO^{0}(M,\partial M)\to KO^0(M)\to KO^0(\partial ...
13
votes
2answers
449 views

A matrix norm inequality

Suppose that $A, B$ are Hermitian positive definite matrices of the same order and $0\le p\le 1$. Using a standard approach in matrix analysis, one can show that $\|A^{1-p}B^p\|\ge \|A\sharp_p B\|$, ...