All Questions
Tagged with operator-algebras or oa.operator-algebras
2,153 questions
1
vote
0
answers
108
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
157
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 ...
- 3,065
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 ...
- 1,027
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,...,...
- 1,027
2
votes
1
answer
381
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.8k
2
votes
0
answers
317
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 ...
- 63
6
votes
0
answers
98
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
144
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 ...
- 12.9k
12
votes
2
answers
2k
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 ...
- 50.6k
4
votes
0
answers
168
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
219
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 \...
- 63.9k
5
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 ...
- 10.5k
2
votes
0
answers
158
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 ...
- 6,357
7
votes
0
answers
164
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,816
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 ...
- 16.6k
2
votes
0
answers
178
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 ...
- 41
1
vote
1
answer
284
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{...
- 2,830
7
votes
1
answer
244
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,351
8
votes
0
answers
253
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 ...
- 759
2
votes
0
answers
174
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 ...
- 1,139
7
votes
1
answer
391
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
381
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)$. ...
- 10.1k
0
votes
0
answers
131
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
237
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,351
2
votes
1
answer
264
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 ...
- 12.9k
4
votes
1
answer
291
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,351
4
votes
0
answers
220
views
Bochner theorem for (non-abelian) discrete groups
I am interested in Pontryagin duality-like theories for discrete groups, more particularly, whether an analogue to Bochner's theorem for abelian groups exists in the discrete non-finite and non-...
- 261
1
vote
1
answer
295
views
An example of non-invertible operator $F$ such that $P_nF$ is invertible on $\operatorname{Im}P_n$ or proving that It is impossible
Given:
$X$ - any Banach space
$F : X \to X$ (linear bounded and non-invertible)
$P_n$, which is projector that strongly converges to the identity operator $I$ as $n \to\infty$
Can you help me come ...
- 63.9k
4
votes
1
answer
211
views
Ergodic actions and deviation from invariance
Let $M$ be a von Neumann algebra and let $(\phi_t)$ be an ergodic point-$\sigma$-weakly continuous one-parameter group of automorphisms $\phi_t\in \mathrm{Aut}(M)$, i.e., $\Vert\omega-\omega\circ\...
- 4,351
1
vote
1
answer
256
views
Intersection of two intermediate subalgebras
Suppose $B\subset A$ is an inclusion of simple $C^*$-algebras with a conditional expectation of (Watatani) index-finite type and $B^{\prime}\cap A=\mathbb{C}$. Then we know $B^{\prime}\cap A_1$ is ...
- 393
4
votes
1
answer
201
views
Does $N \mathbin{\bar{\otimes}} N^{\mathrm{op}}$ act on $L^2(N)$?
Let $N$ be a von Neumann algebra and $N^{\mathrm{op}}$ its opposite. The standard form $L^2(N)$ is an $N$-$N$-bimodule, or equivalently a module over $N \otimes_{\mathrm{alg}} N^{\mathrm{op}}$.
Does ...
- 12.9k
5
votes
2
answers
342
views
Projections in atomless von Neumann algebras
Let $\varepsilon>0$.
If we consider a sequence $\{f_n\}$ in $L_\infty(0,1)$, then there exists a very small subset $A$ of $(0,1)$ with $m(A)<\varepsilon$ such that $$\|f_n \chi_A\|_\infty =\|...
- 4,351
5
votes
0
answers
114
views
Realize a $K_0$-group homomorphism by a unital $\ast$-homomorphism
This question is inspired by Exercise $7.7$ in *An Introduction to $K$-theory for $C^*$-algebras (available here). Given a unital AF-algebra $A$ and another unital $C^*$-algebra $B$ that has ...
- 307
2
votes
0
answers
232
views
Show that $\mathbb{K}\cong M_{n}(\mathbb{K})$ [closed]
I would like to show the following isomorphy but not sure how to go about this:
$\mathbb{K}\cong M_{n}(\mathbb{K})$
Also in Blackadar (Operator Algebras, page 171) he states that this isomorphism ...
- 6,357
9
votes
3
answers
453
views
Comparison between the operator norm and the $L^1$ norm on group algebras
Consider a discrete group $G$ and its group algebra over $\mathbb{C}$, $\mathbb{C}[G]$. There are four norms on it I wish to consider for this question:
The 2-norm given by $||\sum_{g \in G} c_gg||_2^...
- 4,351
1
vote
1
answer
128
views
Compare the weight of $p\vee q$ and that of $p+q$
Let $M$ be a von Neumann algebra.
If it has a semifinite faithful normal trace $\tau$, then we have $\tau(p\vee q)\le \tau(p)+\tau(q)$.
However, for the weight (even a faithful normal state) $\omega$ ...
- 42.8k
1
vote
1
answer
211
views
Tensor product of faithful normal states is faithful
I know that given C*-algebras $A, B$ with faithful states $\omega,\varpi$, the tensor product state $\omega\otimes\varpi$ on the minimal tensor product $A\otimes_{\text{min}}B$ is faithful.
I also ...
- 2,830
1
vote
0
answers
58
views
States on Bratteli diagrams
This a reference request. We are writing a paper on calculi on AF algebras and their relation to Dirac operators. This is quite simple for UHF algebras (and we have references), but AF algebras ...
- 1,143
1
vote
0
answers
125
views
Transforming nilpotency into diagonalizability [closed]
We designate the $k$-th standard vector as $e_k$ in $\mathbb{C}^n$.
We consider the backward shift operator, denoted as $T: \mathbb{C}^n \to \mathbb{C}^n$, which is defined as follows:
$Te_1=0$ and $...
- 6,614
0
votes
1
answer
152
views
Unitary representation of a group of automorphism on an abelian algebra
Given an abelian C*-algebra $\mathcal{A}$, a state $\omega$, a strongly continuous group of *-automorphism $\{\tau_t : t \in \mathcal{R}\}$, and given a representation $ (\pi(\mathcal{A}), \mid \...
- 42.8k
4
votes
1
answer
203
views
weights of projections and norms of operators in a von Neumann algebra
Let $M$ be an atomless von Neumann algebra equipped with a (semifinite faithful normal) weight $w$. Let $x\in M$ and let $\varepsilon>0$.
Can we find a constant $\delta>0$ such that whenever a ...
- 4,351
5
votes
1
answer
208
views
Hyperfinite factors and increasing fatorization of states
If a factor $R$ contains a matrix algebra $M\subset R$ (i.e., a $M$ is a type $I_n$ factor), then $R \cong M \otimes M^c$ where $M^c=R\cap M'$ is the relative commutant.
Each state $\omega$ on $R$ ...
- 4,351
1
vote
1
answer
209
views
Borel functions in C*-algebras
Is there a way of defining representations of separable $C^*$-algebras, say $\Phi$, so that
$\Phi(A)$ is faithful representation of $A$ on a separable Hilbert space.
There is a closure operation $A\...
- 2,830
5
votes
1
answer
221
views
Arens regularity of $\mathrm{BV}(\mathbb{R})$
$\DeclareMathOperator\BV{BV}$A Banach algebra $A$ is called Arens regular if the two canonical multiplications on the double dual $A^{**}$ coincide. Let $\BV(\mathbb{R})$ denote the Banach algebra of ...
- 6,357
4
votes
0
answers
242
views
On the Dunford-Pettis property and multiplier algebras
I am not an expert in operator algebras, so if the answer to this question might be trivial, that might be one reason for that:
Let $\mathcal{A}$ be a $C^\ast$-algebra. Then $\mathcal{A}^{\ast \ast}$ ...
- 63.9k
1
vote
0
answers
57
views
CP maps obeying an equality
Start with a completely positive unital map $\psi:A\to B$ between $C^*$ algebras with identity. The equality $\psi(a^*a)=\psi(a)^*\psi(a)$ is true for all $a\in A$ in the case where $\psi$ is a star ...
- 1,143
20
votes
3
answers
3k
views
Realizing universal $C^*$-algebras as concrete $C^*$-algebras
How do I in general realize a universal C*-algebra generated by some generators and relation as concrete C*-algebras? For example, I know that universal C*-algebra generated by a single unitary is $C(\...
- 2,821
5
votes
1
answer
614
views
Is every character of the algebra of continuous functions on a locally compact space some evaluation?
Given any locally compact Hausdorff space $X$, let $C(X)$ denote the complex algebra of all complex-valued continuous functions on $X$.
Question. Given an arbitrary character (i.e. a non-zero ...
- 12.9k
3
votes
1
answer
143
views
$K_0$ group of an infinite factor
The following question was already posted in this link but I could not understand hints given in this post.
Let $\mathcal{M}$ be an infinite factor and my question is how to prove that $K_0(\mathcal{M}...
- 2,830
3
votes
1
answer
155
views
Is a compact set of extreme points contained in a compact face?
I have run into the following question in convex analysis, which I haven't found answered in the literature:
Suppose that $K$ is a "nice-enough" non-compact convex subset of a Hausdorff ...
- 42.8k