# Tagged Questions

**7**

votes

**1**answer

231 views

### How much does the absolute value of an operator behave like an absolute value?

Recall that the absolute value of a bounded operator $T$ on a Hilbert space $H$ is the unique positive operator $|T|$ such that $$\||T|x\|=\|Tx\|$$ for all $x\in H$. It can be defined using the ...

**18**

votes

**1**answer

438 views

### “Minimal” group C*-algebra?

Let $\Gamma$ be a discrete group (though this could be asked for general locally compact groups) and consider the Banach $*$-algebra $\ell^1(\Gamma)$. We have two natural $C^*$-algebra completions: ...

**5**

votes

**2**answers

163 views

### Characterization of ideals in the bounded operators

Let $\mathcal{B}(H)$ denote the C*-algebra of all bounded operators on a separable infinite dimensional complex Hilbert space $H$. It is a well-known fact that $\mathcal{B}_0(H)$, the ideal of compact ...

**7**

votes

**1**answer

172 views

### Why do the projections in the Calkin algebra not form a lattice?

Let $H$ be an infinite dimensional separable complex Hilbert space. Denote by $\mathcal{B}(H)$ the C*-algebra of bounded operators on $H$, $\mathcal{K}(H)$ the ideal of compact operators on $H$, and ...

**8**

votes

**2**answers

298 views

### Continuity of the product map

Let $A$ be a $C^*$-algebra.
Is it possible to characterize $A$ for which the product map defined by
$$\sum\limits_{i=1}^n a_i\otimes b_i \mapsto \sum\limits_{i=1}^n a_i b_i$$
is continuous with ...

**1**

vote

**2**answers

152 views

### Continuous linear functionals in strong operator and $\sigma$-strong topologies

It was mentioned in the comments to http://math.stackexchange.com/questions/517369/comparison-of-strong-operator-and-weak-topologies-on-bh that continuous linear functionals on ...

**1**

vote

**0**answers

74 views

### Differentiable Path of Operators and their Inverses

Let $\mathcal{H}$ be a separable Hilbert space. Consider a differentiable map $\mathbb{R} \rightarrow \mathcal{B}(\mathcal{H}), t \mapsto A(t)$, where $\mathcal{B}(\mathcal{H})$ is the space of ...

**7**

votes

**0**answers

179 views

### How many ideals are there in $B(H)^{**}$?

It is well-known (and easy to prove) that the only closed ideals of $B(\ell_2)$ are $\{0\}$, $B(\ell_2)$ and $K(\ell_2)$, the ideal of compact operators on $\ell_2$. I am curious whether we know what ...

**2**

votes

**0**answers

100 views

### Predual of a von Neumann algebra in terms of trace class operators

For a von Neumann algebra $\mathcal{A} \subseteq \mathcal{B(H)}$ where $\mathcal{B(H)}$ is the space of all bounded linear operators on the Hilbert space $\mathcal{H}$, there is a Banach space $ ...

**0**

votes

**0**answers

136 views

### Can I define Fredholm Index using $\dim \ker ST - \dim \ker TS$?

$X$, $Y$ are Banach spaces.
Let $S \in L(X, Y)$, $T \in L(Y, X)$, where $L(X, Y)$ denotes the Banach algebra of bounded linear operators from $X$ to $Y$. If we have that $Id_Y - ST \in \mathbb{K}(Y)$ ...

**7**

votes

**1**answer

184 views

### What is the general form of the duality transform for the Fock space?

I am interested in properties of the symmetric Fock space, looked at via the associated Wiener space. It is well known that for a Hilbert space $k$, the symmetric Fock space ...

**1**

vote

**0**answers

71 views

### Existence of orthogonal projections generating Von Neumann algebras

Let $V$ and $V'$ be Abelian Von Neumann algebras of projections on some Hilbert space $H$, and let $V_{1}$ and $V_{2}$ be minimal sub-algebras of $V$ and $V'$ generated by projections $P_{1} \in V$ ...

**2**

votes

**0**answers

47 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 ...

**7**

votes

**2**answers

216 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. ...

**6**

votes

**1**answer

211 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

**0**answers

102 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

**1**answer

115 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

**2**answers

182 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 ...

**11**

votes

**0**answers

333 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

**1**answer

158 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. ...

**7**

votes

**1**answer

233 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

**1**answer

323 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

**1**answer

120 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 ...

**20**

votes

**0**answers

436 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

**2**answers

186 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

**2**answers

418 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

**1**answer

160 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

**1**answer

97 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

**3**answers

332 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

**1**answer

149 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

**1**answer

245 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

**1**answer

143 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

**3**answers

439 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

**1**answer

167 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

**0**answers

194 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

**2**answers

176 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 ...

**15**

votes

**1**answer

406 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

**2**answers

369 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

**0**answers

184 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

**2**answers

313 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

**1**answer

471 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

**0**answers

334 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

**1**answer

312 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

**1**answer

136 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

**1**answer

267 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

**1**answer

321 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

**0**answers

169 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) ...

**17**

votes

**1**answer

465 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

**1**answer

231 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

**1**answer

182 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)$.
...