2
votes
0answers
33 views

Closure of pseudodifferential operators of order 0 on compact manifolds

Let $M$ be a compact manifold. If we have a pseudodifferential operator $P$ of order $0$ on $M$, then $P$ is pseudolocal, i.e., every commutator $[f,P]$ with a continuous function $f \in C(M)$ is a ...
6
votes
2answers
179 views

Literature on “real” $C^*$-algebras

I am trying to get a better understanding of "real" $C^*$-algebras. I encountered them in the paper D. Voiculescu, Dual algebraic structures, J. Operator Theory 17(1987), 85-98, which cites G.G. ...
-1
votes
1answer
78 views

Adjoint operator of a Convex operator is convex [closed]

Let $B(X, Y )$ be the collection of all continuous linear operators from the ordered normed space $X$ to the ordered normed space $Y$ . Given $A\in B(X, Y )$, the adjoint operator $A^\ast : ...
5
votes
1answer
190 views

Infinite tensor product of states

Tensor products of finite number of different objects are always well described in the literature. However, the situation of infinite tensor products seems to be much tougher. Even in the simplest ...
4
votes
0answers
93 views

When is an inner derivation a Fredholm operator?

Let $\mathcal{B}(H)$ denote the algebra of bounded operators on a Hilbert space $H$. I'm interested in inner derivations acting on the Schatten ideals $L^p\subseteq\mathcal{B}(H)$ (defined by ...
1
vote
1answer
109 views

Continuous depedence of the spectrum on elements

Suppose $a_n \to a$ in a unital C*-algebra $A$. If $\lambda_n \in \sigma(a_n)$ and $\lambda_n \to \lambda$, then $\lambda \in \sigma(a)$. Does the converse hold? So if $\lambda \in \sigma(a)$, does ...
2
votes
2answers
160 views

Lower bounds for norms of commutators

For various reasons I became interested in bounds on the norm of commutators of operators. For instance, if $B(H)$ is the algebra of bounded operators on a Hilbert space, one may ask for a lower bound ...
9
votes
0answers
290 views

Does anybody know if the Fourier algebra of SL(3,Z) has an approximate identity?

(Note to those who like to tidy LaTeX, or ${\rm \LaTeX}$: I kindly request that you don't put any LaTeX in the title of this question, nor change the bolds below to blackboard ...
1
vote
1answer
137 views

On the relation between the set of extreme points of the unit ball of $M(X)$ and $M(X)^{**}$

Suppose that $X$ is a locally compact topological space. Let $M(X)$ denote the Banach space of regular Borel measures on $X$. It is known that the bidual of $C_0(X)$ is a commutative $C^*-$algebra. ...
6
votes
1answer
196 views

Realisation of noncommutative torus

One of the most basic examples in noncommutative geometry is the so called noncommutative torus to be denoted by $\mathbb{T}_{\theta}$. As far as I know, there are several equivalent constructions of ...
3
votes
1answer
300 views

Example of an infinite dimensional reflexive Banach algebra

If a $C^\ast$-algebra is reflexive (as a Banach space) then it is finite dimensional. Can anyone provide (or give a reference to) a nice example of an infinite dimensional non-commutative Banach ...
4
votes
1answer
112 views

Does noncommutative Lp-convergence respect orderings?

Let $M$ be a von Neumann algebra and $\tau$ a faithful (semi-finite?) normal trace on $M$; as is standard, the $L^p$-norm is defined as $||u||_p=\tau(|u|^p)^{1/p}$. Let $\{u_i\}_{i=1}^\infty$ be a ...
19
votes
0answers
400 views

When are two C*-algebras isomorphic as Banach spaces?

We may consider each $C^*$-algebra as a Banach space (by forgetting the multiplication and adjoint). I wonder how drastic this step is, i.e., which properties of the $C^*$-algebra are reflected by its ...
0
votes
2answers
174 views

Isomorphism theorem for subfactors?

It's about the existence of a generalization of the first isomorphism theorem for groups, for subfactors : Let $(N \subset M)$ and $(N' \subset M')$ be irreducible inclusions of hyperfinite $II_1$ ...
11
votes
2answers
357 views

Can non-central projections still commute with all other projections?

Let $A$ be a C*-algebra and let $\mathcal{P}(A)$ denote the set of projections in $A$. If $p\in\mathcal{P}(A)$ commutes with everything in $\mathcal{P}(A)$ does it necessarily commute with everything ...
4
votes
1answer
137 views

Examples of special isometries

Are there examples of (distinct) Hilbert spaces $H_1$=$(H,\langle\cdot,\cdot\rangle_1)$, $H_2 $=$(H,\langle\cdot,\cdot\rangle_2)$ and a linear operator $V: H_1\to H_2$ such that $V^n: H_1\to H_2$ is ...
4
votes
1answer
89 views

Does the group of compact perturbations of the identity act transitively on the compact operators?

Let $H$ be an infinite dimensional (separable if necessary) complex Hilbert space, and denote by $K(H)$ the ideal (in $B(H)$) of compact operators on $H$. Let $G_c=\{I+K\in B(H): I+K \text{ is ...
7
votes
3answers
275 views

Which Sigma-Ideals in a Sigma-Algebra are Ideals of Null Sets?

My question is motivated, to be somewhat vague, by an attempt to see how much a measure space is defined by the set of null sets. In other words, assume we are not given a concrete measure on a space ...
4
votes
1answer
144 views

K-Theory of Algebra of Zeroth Order Pseudo differential operators

Any one knows a reference for computing K_0 of Algebra of zeroth order Pseudo's on a closed manifold in terms of explicit generators? Thanx!
7
votes
1answer
237 views

characterization of commutative Banach algebras

Let $A$ be a Banach algebra with the following property: For every two nets $ x_{\alpha}$ and $y_{\alpha}$ in $A$, $x_{\alpha}y_{\alpha}$ converges if and only if $y_{\alpha}x_{\alpha}$ converges. ...
5
votes
1answer
138 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 ...
7
votes
3answers
334 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 ...
5
votes
1answer
152 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 ...
5
votes
0answers
186 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
159 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 ...
14
votes
1answer
376 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
362 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 ...
6
votes
0answers
180 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 ...
5
votes
2answers
291 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
451 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 ...
3
votes
0answers
323 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 ...
2
votes
1answer
301 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
132 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
251 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 ...
5
votes
1answer
299 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} ...
3
votes
0answers
166 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) ...
16
votes
1answer
444 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
1answer
218 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 ...
4
votes
1answer
177 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)$. ...
0
votes
1answer
164 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
1answer
158 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
2answers
133 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 ...
1
vote
1answer
133 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
1answer
226 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
1answer
366 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
0answers
131 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
1answer
195 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 ...
22
votes
1answer
384 views

Can nuclearity be determined by tensoring with a single C*-algebra?

A C*-algebra is nuclear if the algebraic tensor product $A\odot B$ ($B$ is any other C*-algebra) admits a unique C*-norm. This definition requires testing the condition for nuclearity with `all' ...
4
votes
2answers
329 views

Are the groups $C( \mathbb{R} ; U(n) )$ isomorphic?

Let $C(\mathbb{R};{U}(n))$ denote the topological group of continuous functions $\mathbb{R}\to {U}(n)$ with pointwise multiplication and compact-open topology. My question is: Are these groups ...
1
vote
0answers
157 views

From positive definite function to Følner sequence --— a question on amenability and nuclearity

We know that amenability of countable discrete group $\Gamma$ has many equivalent characterizations. In particular, there are two: a) there is a sequence of finitely supported positive definite ...