Questions tagged [oa.operator-algebras]
Algebras of operators on Hilbert space, $C^*-$algebras, von Neumann algebras, non-commutative geometry
2,097
questions
4
votes
1
answer
234
views
Inverse Limit in the category of $C^{\ast}$-algebras or operator spaces
Does the inverse limits (Projective limits) exist in the category of $C^{\ast}$-algebras or operator spaces?
I tried to search but could not find a proper reference. Any reference or comments about ...
- 5,217
0
votes
0
answers
24
views
Closure of involution associated to left Hilbert algebra
Let $\mathfrak{A}$ be a left Hilbert algebra with Hilbert space completion $\mathcal{H}$. In particular, $\mathfrak{A}^2$ is dense in $\mathcal{H}$ and the anti-linear involution
$$\sharp: \mathfrak{A}...
- 249
0
votes
0
answers
61
views
Let $(N_1,N_2)$ be commuting normal operators. Does an operator $V$ exist such that $N_i = V^{-1}T_iV$ for $(T_1,T_2)$ being contractions and $i=1,2$?
My PhD advisor and I are trying to prove something, and in our case, we would need to show, that two commuting normal operators $N_1, N_2 \in B(H)$ are similar to two commuting contractions $T_1, T_2 \...
- 155
11
votes
2
answers
1k
views
What's the matrix of logarithm of derivative operator ($\ln D$)? What is the role of this operator in various math fields?
Babusci and Dattoli, On the logarithm of the derivative operator, arXiv:1105.5978, gives some great results:
\begin{align*}
(\ln D) 1 & {}= -\ln x -\gamma \\
(\ln D) x^n & {}= x^n (\psi (n+1)-\...
- 9,931
6
votes
1
answer
264
views
Pairwise orthogonality for partitions of unity in a *-algebra
Let $\mathcal{A}$ be a $*$-algebra with unit $1_{\mathcal{A}}$. As in the $\mathrm{C}^*$-setting, a projection is an element $p\in\mathcal{A}$ such that $p=p^2=p^*$. A partition of unity is a finite ...
- 5,795
5
votes
0
answers
203
views
Failure of Tomiyama's property ($F$) for reduced group $C^*$-algebras
Are there known examples of discrete groups such that the minimal tensor product of their reduced group $C^\ast$-algebras does not have Tomiyama's property ($F$)?
Such groups must necessarily be non-...
- 51
0
votes
1
answer
104
views
Minimal norm problem whose unknown is an operator
Generally given an Hilbert space $X$ with and a bounded linear operator $H : X \to X$ given a vector $y \in X$ we seek an $x \in X$ such that
$$
f(x) = \frac{1}{2} \left\lVert Hx - y \right\rVert_2^2
$...
- 37.6k
0
votes
3
answers
715
views
center of the algebra of bounded operators [closed]
Suppose that $X$ is a Banach space. How to prove that the center of the algebra $B(X)$ (the algebra of bounded operators on $X$) consists only of operators of the form $aI$, where $a$ is scalar and $I$...
- 5,632
9
votes
0
answers
251
views
Is $\mathcal{B}(\mathcal{H})$ a groupoid $C^*$-algebra?
Let $\mathcal{H}$ be a complex Hilbert space, and $\mathcal{B}(\mathcal{H})$ be the $C^{\ast}$-algebra of bounded operators on $\mathcal{H}$. Is there an étale groupoid $\mathcal{G}$ such that its $C^{...
- 1,325
6
votes
1
answer
187
views
Order bounded version of monotone complete $C^*$-algebras
Let $A$ be a $C^*$-algebra with self-adjoint part $A_{\operatorname{sa}}$. Then $A$ is called monotone complete if every increasing norm bounded net in $A_{\operatorname{sa}}$ has a supremum (with ...
- 1,276
14
votes
1
answer
657
views
Quantum braid group
Recently I learned the definition of the quantum permutation group $A_s(n)$, which starts from the fundamental representation by permutation matrices and exchanges the entries by noncommuting ...
- 966
1
vote
1
answer
64
views
A subfactor of finite index
We say $N$ is a subfactor of finite index of the factor $M$ if there is a normal faithful conditional expectation of $M$ onto $N$ that has finite index.
If $N$ is a subfactor of finite index of the ...
- 5,335
19
votes
2
answers
1k
views
P-adic C* algebras
I understand that there is a definition of p-adic Banach algebras and that a significant amount of functional analysis can be developed in the non-archimedean setting. Is there a p-adic version of C*-...
- 1,325
11
votes
0
answers
508
views
Classical (i.e. commutative) spaces with quantum symmetry but no classical symmetry
In a recent preprint (arXiv:2311.04889), my coauthors and I constructed a sequence of graphs with no classical symmetry which nevertheless have quantum symmetry.
For graphs this had been an open ...
- 2,289
4
votes
0
answers
111
views
Automorphism-invariant positive linear functionals on $C*$-algebras
Let $A$ be a $C^*$-algebra. Does there exist a non-trivial positive linear functional $\nu\in A^*$ which is $\mathrm{Aut}(A)$-invariant? That is, $\nu\circ\alpha=\nu$ for all $\alpha\in\mathrm{Aut}(A)$...
- 1,939
6
votes
2
answers
445
views
Linear map between projective finitely generated Hilbert modules is adjointable
Let $A$ be a (unital) $C^*$-algebra and $X,Y$ right Hilbert $A$-modules which are finitely generated and projective. It seems to be well-known that if $T: X \to Y$ is an $A$-linear map, then $T$ is ...
- 60.2k
2
votes
0
answers
188
views
Literature on Lyndon words and the Lie commutator
Since I lost my paper notes in a domestic conflagration in Japan some ten years ago, I've occasionally tried to recall one particular author who wrote in the 1900s about Lyndon words / strings, or ...
- 9,931
1
vote
0
answers
80
views
positive invertible maps which are not *-automorphisms
Let $A$ be a unital C*-algebra. Is there a unital positive self-map $F:A\to A$ which is invertible (i.e. injective and surjective) but not a $*$-automorphism? If yes, how does appear its Gelfand-...
- 41
3
votes
1
answer
137
views
Rescaling Fourier coefficients of a continuous function by a bounded sequence
This question stems out of: which sequences $(a_n)_{n\in\mathbb{Z}}$ of complex numbers have the property that if there exists a continuous function $f$ on the circle with Fourier coefficients $b_n$, ...
7
votes
1
answer
134
views
type II$_1$ subalgebra of type III$_1$ factor
Let $M$ be a type III$_1$ factor and $N$ be the type II$_1$ subalgebra of $M$.
What is the type of $N'\cap M$? Can it be any type?
- 4,011
6
votes
4
answers
7k
views
Characterization of the non-negative definite functions $f(x,y)$
The common definition of the non-negative definite functions is as follows:
Definition 1: A continuous complex-valued function $f(x)$ is called non-negative definite, if for any real numbers $x_1,\...
- 4,618
1
vote
1
answer
398
views
The problems of global asymptotic freeness
Let $X_{N}\in\mathcal{M}_{N}\big(L^{\infty-}(\Omega,\mathbb{P})\big)$ be a $N\times N$ random complex matrix such its entries $(x_{ij}, 1\leq i, j\leq N)$ be $i.i.d.$, centred with variance $1$. $X_{...
CommunityBot
- 1
1
vote
0
answers
102
views
Infinite tensor product of Hilbert spaces [duplicate]
Recently while reading an article I came across the usage of infinite tensor product of Hilbert spaces. I have got a basic understanding of doing computations in infinite tensor product while reading ...
- 11
0
votes
0
answers
135
views
Dependence of functional integral on the function space
In physics, the following functional integral is considered
\begin{gather}
Z[J]= \int Df \exp(-\int d^dx( f\Box f+\lambda f^4 +Jf ))
\end{gather}
It is usually said that the integration is performed ...
- 2,758
7
votes
2
answers
1k
views
Is there a notion of point in noncommutative geometry?
It is not clear to me whether there is a general notion of point in NCG. I have heard (more through physics) that the notion of a point becomes meaningless or ill-defined in noncommutative spaces, but ...
- 966
15
votes
4
answers
3k
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 $R_1,...,...
- 966
2
votes
1
answer
329
views
Lattices and noncommutative algebras in noncommutative geometry
This a question that I've asked in mathematics stack exchange without having received any response :
I am interested in the relation between lattices and noncommutative algebras in the context of ...
- 25.5k
2
votes
0
answers
177
views
What are alternative or equivalent definitions of a positive-definite function on a group?
The standard definition of a positive-definite function on a group goes as follows:
Let $\varphi : G \rightarrow L(H)$, where $G$ is a group (with an involution) and $H$ a Hilbert space. $L(H)$ is the ...
- 155
6
votes
0
answers
91
views
Conditions for completely positive maps to act homomorphically across multiple subalgebras
For a completely positive (CP) map $u: A \to A'$ of $C^*$-algebras $A, A'$, the concept of multiplicative domains characterizes the largest subalgebra of $A$ on which $u$ behaves as a $*$-homomorphism....
- 61
1
vote
0
answers
143
views
Reconstructing the manifold from space of functions in quantum mechanics
Due to Banach–Mazur, every separable Banach space is isomorphic to a subspace of $C([0,1])$.
But some spaces, like $C([0,1]^n)$ and generally $C(M)$ for $M$ a manifold, allow one to reason about the ...
- 11.4k
11
votes
2
answers
1k
views
Intuitive meaning of Double Commutant Theorem
Is there any intuitive explanation of the Double Commutant Theorem for Von Neumann Algebras? By intuitive I mean in terms of Quantum Mechanics. For example, duality of states and observables in the ...
- 49.6k
4
votes
0
answers
159
views
Representations of $C\left(SO_q(n)\right)$
A complete classification of irreducible representations of the $C^*$-algebra $C(G_q)$, where $G_q$ is the $q$-deformation of a classical simply connected semisimple compact Lie group, was provided by ...
- 73
3
votes
1
answer
139
views
Unitary versus isometric operators
Let $\mathbb H$ be a Hilbert space, and let $\mathcal B(\mathbb H)$ be the space of bounded operators on $\mathbb H$, equipped with the operator-norm topology. Let
$\mathbb R\ni t\mapsto A(t)\in \...
- 60.2k
4
votes
2
answers
1k
views
Are umbral moonshine and umbral calculus connected?
In a 2013 article, Cheng, Duncan and Harvey introduce the concept of umbral moonshine as a generalization of monstrous moonshine. The terminology they use, starting with the title, is common in umbral ...
- 9,931
2
votes
1
answer
206
views
inclusion of von Neumann algebras implies reversing inequality of its modular operators
I'm working with von Neumann algebras and I stumbled with this statement in a work of Borchers (1999)
Since $\mathcal N \subseteq \mathcal M$, it follows by standard arguments that $\Delta_{\mathcal ...
CommunityBot
- 1
2
votes
0
answers
157
views
Question about the ergodic mean
This is a repost from this MathStackExchange question, where unfortunately I was not able to resolve this question.
I've read a thesis where there is an example on ergodic mean, where however there is ...
- 5,632
7
votes
0
answers
155
views
Nontrivial examples of locally compact quantum groups
What are some families of locally compact quantum groups that are neither groups, duals of groups, compact, nor discrete?
- 3,756
39
votes
6
answers
7k
views
A remark of Connes on non-standard analysis
In an interview (at http://www.alainconnes.org/docs/Inteng.pdf) Connes remarks that
I had been working on non-standard analysis, but after a while I had found a catch in the theory.... The point is ...
- 15.1k
2
votes
0
answers
122
views
What is meant by saying that the Shilov boundary of the polydisc $\mathbb D^n$ is $\mathbb T^n\ $?
Let $A$ be a complex Banach algebra and $M_A$ be the space of all non-zero multiplicative linear functionals on $A$ equipped with the weak$^*$-topology. Let $\widehat A$ be the image of $A$ under the ...
- 151
1
vote
1
answer
263
views
A certainty principle?
Let $\mathcal{A}$ be a unital $\mathrm{C}^*$-algebra with $\varphi\in\mathcal{S}(\mathcal{A})$ a state. Where
$$\sigma_\varphi(a):=\sqrt{\varphi((a-\varphi(a)1_{\mathcal{A}})^2)}\qquad (a\in \mathcal{...
- 1,262
7
votes
1
answer
234
views
Approximately semifinite factors
For the sake of this question, lets call a factor $M$ approximately semifinite if there exists an increasing net of semifinite subfactors $M_i$, $i\in J$, with conditional expectations $E_i:M\to M_i$ ...
- 4,011
0
votes
1
answer
294
views
Douglas' lemma for integral operators
Douglas' lemma gives a necessary and sufficient condition for two bounded operators $A$ and $B$ on a Hilbert space $H$ to get $\operatorname{Ran} A \subset \operatorname{Ran} B$ (wikipedia article, ...
CommunityBot
- 1
8
votes
0
answers
229
views
Question about the homogeneity of the state space of a type $\rm{III}_1$ factor
I'm reading the paper Homogeneity
of the State Space of Factors of Type $\rm{III}_1$ by Connes and Størmer.
Homogeneity of the state space means that all normal states are approximately unitarily ...
- 729
2
votes
0
answers
163
views
Zeta zeros and prolate wave operators
Recently, Connes, Consani and Moscovici in https://arxiv.org/abs/2310.18423 have blended two of their results on zeta zeros and the prolate wave operators, which, they say, "suggests the ...
- 737
7
votes
1
answer
366
views
Positive cone in Haagerup L²-space: how much information does it contain?
Given a von Neumann algebra $A$, its Haagerup $L^2$-space $H:=L^2A$ (also known as the standard form of the Neumann algebra) comes equipped with a positive cone $P\subset H$.
Question: How much ...
- 1,027
0
votes
2
answers
370
views
What are the properties of umbra with moments $\{1,1/2,1/3,1/4,1/5,...\}$?
If we apply operator $D\Delta^{-1}$ to a function, we will get the (Bernoulli) umbral analog of the function. Particularly, applying it to $x^n$ we will get the Bernoulli polynomials $B_n(x)$. ...
- 9,312
0
votes
0
answers
105
views
Can a non-separable C$^*$ algebra have separable GNS Hilbert space
Suppose we have a $C^*$ algebra $\mathfrak{U}$ that is non-separable. Consider a state $ω$ of $\mathfrak{U}$ and the GNS representation $(H_ω,π_ω,Ω)$. Is it possible for $H_ω$ to be separable, and if ...
- 151
2
votes
1
answer
181
views
On spectral calculus and commutation of operators
Let $\mathcal{H}$ be a Hilbert space, $B\in\mathcal{B}(\mathcal{H})$ be bounded and self-adjoint and $A:\mathcal{D}(A)\to\mathcal{H}$ closed (but not necessarily self-adjoint or bounded). The ...
- 4,011
2
votes
1
answer
229
views
Continuous path of unitary matrices with prescribed first column?
Consider a continuous curve $u \colon [0,1] \to \mathbb{C}^n$ where $u(t)$ is always a unit vector, $u(t)^* u(t) = 1$.
Question 1: Does there exist a continuous curve $U \colon [0,1] \to \mathbb{C}^{n ...
- 11.4k
4
votes
1
answer
220
views
Strengthening the direct integral decomposition of von Neumann algebas
Let $M$ be a von Neumann with separable predual. It well known that one can write $M$ as a direct sum $M=M_I\oplus M_{II} \oplus M_{III}$ of von Neumann algebras of types $I$, $II$ and $III$.
It is ...
- 4,011