Tagged Questions
Algebras of operators on Hilbert space, C^*-algebras, von Neumann algebras, non-commutative geometry
-1
votes
0answers
49 views
Hessian Matrix and Kronecker Product
Given the following equation,
$\Delta Y=J\Delta X+\frac{1}{2}H \Delta X \otimes \Delta X$
where $\Delta Y, \Delta X \in \mathbb{R}^{n}$, $J \in \mathbb{R}^{n \times n}$ is the Jacobian and $H \in ...
5
votes
0answers
112 views
Unique maximal ideal in group C*-algebras
Let $G$ be a discrete group. Let $C^*(G)$ denote the full group C*-algebra of $G.$ Let $\pi:C^*(G)\rightarrow \mathbb{C}$ be the *-homomorphism associated with the trivial representation of $G.$
...
5
votes
0answers
128 views
+50
Projective modules over noncommutative tori?
It is a theorem of Rieffel that for any simple noncommutative tori ($\mathcal{A}$) of dimension $n$, every projective module over it is isomorphic to direct sum of $\mathcal{S}(M)$, Schwartz class ...
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 ...
7
votes
1answer
144 views
K-theory of ultrapowers
It may well be a trivial question but I was wondering if there is any relation between $K$-groups and ultrapowers of $C^*$-algebras. For instance, if $A$ is a $C^*$-algebra does $K_0(A^U)$ depend on ...
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
2answers
237 views
How to check whether a matrix is completely positive or not?
The definition:
cone of completely positive matrices
$\mathcal{C}=\{\sum_{i=1}^kx_ix_i^T:x_i\in\mathbb{R}^n_+\ for \ i=1,2,...,k\}$.
I just don't knwo how to check whether a matrix belongs to ...
11
votes
2answers
309 views
Is the space of *-homomorphisms between two $C^*$-algebras locally path connected
Given the set of *-homomorphisms between two $C^*$-algebras $A$ and $B$, we may define a metric on it by setting $d(f,g):= \sup_{0<\|a\|\le 1}\|f(a)-g(a)\|$. Could it be true that, for each ...
-4
votes
1answer
203 views
I need following books (soft copies) [closed]
I know this is not the place to ask for such help, but I cant find these books in my country and not even on line and the shipping is very expensive. If someone out there have any of these books (soft ...
2
votes
0answers
357 views
The link between the subfactors and the motives as enriched Galois theories?
On 29th March 2007, at the "École normale supérieure" of Paris, the mathematician Vaughan Jones, gave a conference (in French) entitled "Les sous-facteurs : une théorie de Galois enrichie" (see here), ...
1
vote
0answers
126 views
Existence of homogeneous single chain compositions of a given maximal subfactor?
All the subfactors here are irreducible inclusion of hyperfinite II$_1$ factors.
A subfactor $(N \subset M)$ is Homogeneous Single Chain ($HSC$) if its lattice of intermediate subfactors is a ...
3
votes
0answers
78 views
Noncommutative Poincare inequalities
This is a question on how (or if) people in the community think about the Poincare inequality in noncommutative geometry. In geometry, the Poincare inequality (when it exists) gives a bound on a ...
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 ...
2
votes
1answer
83 views
What is the multiplicative unitary for SU_q(2) (or other quantum groups)?
Consider a (von Neumann algebraic) locally compact quantum group $(M, \Delta, \phi, \psi)$ where the von Neumann algebra $M$ is realized as operators on the Hilbert space $H$. There is a ...
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 ...
2
votes
0answers
211 views
Are the homogeneous single chain subfactors, Dedekind?
Background: See here and there.
Recall that a subfactor is Dedekind if all its intermediate subfactors are normal.
A subfactor $(N \subset M)$ is Homogeneous Single Chain (HSC) if its lattice ...
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 ...
3
votes
1answer
184 views
Strange (?) definition of the spectrum
Suppose that $A$ is a commutative, unital $C^*$-algebra. Then it is isomorphic to $C(X)$ for some compact Hausdorff topological space $X$. $X$ can be identified as the space of all unital ...
3
votes
0answers
71 views
States and extremal states of quantum SU(2) and the Podleś sphere
Is there any description (preferably somehow related to the original generators) for the state space (as in C*-algebras) of quantum SU(2) and the Podleś sphere? If so (this is pushing my luck) are the ...
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 ...
2
votes
0answers
91 views
A section from subfactors to transitive groups
A finite group-subgroup subfactor is a subfactor $(N \subset M)$ isomorphic to $(R^G \subset R^H)$ with $(H \subset G)$ an inclusion of finite groups acting as outer automorphism on the hyperfinite ...
5
votes
1answer
353 views
Noncommutative geometry and category theory
The point in which one starts to talk about noncommutative geometry is the Gelfand Najmark theorem. It establishes an equivalence of the catgeories of commutative (non)unital $C^*$-algebras and the ...
13
votes
2answers
585 views
Groups which are only defined up to conjugation
I'm trying to understand what the right way is to think about "groups which are only well-defined up to conjugation." Since this is somewhat vague let me clarify it by pointing out the main examples ...
4
votes
1answer
719 views
Goin' with the flow with Kummer and Pascal: Combinatorics and geometry underlying the logarithm of the derivative operator
In a MO-Q111165 and associated MSE-Q125343, I present a pair of raising / lowering (creation / annihilation) operators $R_x = log(D)$ and $L_x = -x·D$ with $D=d/dx$ (for a sequence of functions ...
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. ...
2
votes
2answers
92 views
Strong morita equivalence and morphims between $C^*-$algebras
Let $A$ and $B$ be two $C^*-$algebras, they are $strong$ $morita$ $equivalent$ if there exist a $(B,A)-$bimodule $E$, an $(A,B)-$bimodule $F$, such that $E\otimes_A F\cong B$, $F\otimes_B E\cong A$ ...
6
votes
0answers
201 views
C* algebras of free semicircular systems
It was shown by Pimsner and Voiculescu in 1982 that the reduced group $C^{*}$-algebras $C^{*}_{r}(\mathbb{F}_{n})$ and $C^{*}_{r}(\mathbb{F}_{m})$ are isomorphic if and only if $n = m$ (here, ...
5
votes
2answers
109 views
Extension of $C^*$ isomorphism to $W^*$ isomorphism
Let $\mathfrak{A}$ be $C^*$algebra, and $\pi$ its faithful representation on Hilbert space $\mathcal{H}$. Bicommutant $\mathfrak{B}=\pi(\mathfrak{A})''$ is the von Neumann algebra generated by ...
5
votes
1answer
196 views
Morita equivalence for operator algebras and tensor products, question about proof
This is a bit of a dumb question I know, but I was reading "Morita equivalence for C*-algebras and W*-algebras" by Rieffel, in this section about Morita equivalences and how they relate to forming ...
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 ...
2
votes
1answer
174 views
Do all right orderable groups have the Haagerup property?
Do all right orderable groups have the Haagerup property?
Recall that a group is right orderable if there exists a total order $\leq$ on it such that $a\leq b\Rightarrow ac\leq bc$. This property is ...
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 ...
1
vote
1answer
217 views
Computing noncommutative geometries
I find myself needing to construct some noncommutative geometries. I want to take various (algeba-) geometric objects and look at their noncommutative analogs. Is there a constructive way to do this? ...
1
vote
1answer
345 views
Abelian subfactors, a relevant concept?
Through the questions below, this post asks whether the concept of abelian subfactor is relevant.
Remark : here abelian qualifies an inclusion of II$_1$ factors $(N \subset M)$, $N$ is not an abelian ...
5
votes
1answer
218 views
A generalized K- theory via generalized idempotents
Edit After the answer by Neil Strickland, I add the word "a ring" in this new version.
In the literature, there is a concept of generalized idempotent: an n- idempotent is an element $a$ of a Banach ...
4
votes
3answers
353 views
Jordan-Hölder theorem for subfactors?
All the subfactors $(N\subset M)$ are irreducible and finite index inclusions of II$_1$ factors.
First recall that in this paper, D. Bisch characterizes the Jones projections $e_K$ of the ...
5
votes
1answer
173 views
Jordan-Hölder theorem for planar algebras?
First recall the Jordan-Hölder theorem for groups:
Theorem (Jordan-Hölder): Let $G$ be a group, and let $$ G=G_1 \supset G_2 \supset \dots \supset G_r = \{ e \} $$ be a normal tower such that ...
3
votes
0answers
133 views
A Question About the Elliott-Natsume-Nest Proof of Bott Periodicity
In Wegge-Olsen’s book K-Theory and C$ ^{*} $-Algebras, there is an outline of a proof of Bott Periodicity (the proof is due to George Elliott, Toshikazu Natsume and Ryszard Nest). The first step of ...
2
votes
1answer
206 views
The category of subfactors extending the category of groups?
This post was inspired by this answer of Dave Penneys.
In the category of (irreducible hyperfinite II$_1$) subfactors, the morphisms of $(N \subset M)$ to $(N' \subset M')$ are usually defined as ...
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 ...
1
vote
0answers
180 views
Fusion categories with permutation “associativity matrices”
Let $\mathcal{C}$ be a fusion category and let $(H_1,...,H_r)$ be its simple objects.
$\mathcal{C}$ is non-pointed if at least one of its simple object has Perron-Frobenius dimension $ \neq 1$.
...
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!
