From f340ab9a29c5a6a149bde0d4250055df2d37824e Mon Sep 17 00:00:00 2001 From: Bokuan Li Date: Thu, 27 Aug 2026 18:20:28 -0400 Subject: [PATCH] Second draft of B(H). --- src/op/vn/type-decomp.tex | 52 +++++++++++++++++++++++---------------- 1 file changed, 31 insertions(+), 21 deletions(-) diff --git a/src/op/vn/type-decomp.tex b/src/op/vn/type-decomp.tex index 7ba7726..4addd5f 100644 --- a/src/op/vn/type-decomp.tex +++ b/src/op/vn/type-decomp.tex @@ -37,7 +37,7 @@ \item If $P$ is finite and $P \sim Q$, then $Q$ is finite. \item If $P$ is finite and $Q \le P$, then $Q$ is finite. \item If $P$ is minimal and $P \sim Q$, then $Q$ is minimal. - \item If $P, Q$ are minimal with $P \sim Q$, then for any $U, V \in A$ with $P = U^*U = V^*V$ and $Q = UU^* = U^*U$, there exists $\lambda \in \partial B_{\complex}(0, 1)$ such that $P = \lambda Q$. + \item If $P, Q$ are minimal with $P \sim Q$, then for any $U, V \in A$ with $P = U^*U = V^*V$ and $Q = UU^* = VV^*$, there exists $\lambda \in \partial B_{\complex}(0, 1)$ such that $V = \lambda U$. \end{enumerate} \end{lemma} \begin{proof}[Proof, {{\cite[Section 26.1]{Zhu}}}. ] @@ -68,7 +68,7 @@ (4): Let $R \in \text{Proj}(A)$ with $Q \sim R \le Q \le P$, then $P \sim (P - Q) + R \le P$, so $P - Q + R = P$, and $Q = R$. - (5): Since $P \sim Q$, there exists $V \in A$ with $P = V^*V$ and $Q = VV^*$. Let $R \in \text{Proj}(A)$ with $0 \le R \le Q$, then $0 \le V^*RV \le V^*QV = P$. By minimality of $P$, $V^*RV = P$, so + (5): Since $P \sim Q$, there exists $V \in A$ with $P = V^*V$ and $Q = VV^*$. Let $R \in \text{Proj}(A)$ with $0 < R \le Q$, then $0 \le V^*RV \le V^*QV = P$. By minimality of $P$, $V^*RV = P$, so \[ R = QRQ = VV^*RVV^* = VPV^* = Q \] @@ -85,7 +85,7 @@ and \[ - P = V^*V \sim \lambda \ol{\lambda} U^*U = |\lambda|^2 Q + P = V^*V = \lambda \ol{\lambda} U^*U = |\lambda|^2 P \] so $|\lambda| = 1$. @@ -154,7 +154,7 @@ \begin{theorem}[Type Decomposition] \label{theorem:vna-type-decomposition} - Let $H$ be a complex Hilbert space and $A \subset B(H)$ be a von Neumann algebra, then there exists unique von Neumann algebras $A_{\vnI}, A_{\vnII_1}, A_{\vnII_{\infty}}, A_{\vnIII} \subset A$\footnote{Not all four types are guaranteed to be present.} of type $\vnI$, $\vnII_1$, $\vnII_\infty$, and $\vnIII$, respectively, such that + Let $H$ be a complex Hilbert space and $A \subset B(H)$ be a von Neumann algebra, then there exist unique von Neumann algebras $A_{\vnI}, A_{\vnII_1}, A_{\vnII_{\infty}}, A_{\vnIII} \subset A$\footnote{Not all four types are guaranteed to be present.} of type $\vnI$, $\vnII_1$, $\vnII_\infty$, and $\vnIII$, respectively, such that \[ A = A_{\vnI} \oplus A_{\vnII_1} \oplus A_{\vnII_{\infty}} \oplus A_{\vnIII} \] @@ -168,7 +168,7 @@ By Zorn's lemma, there exists a maximal family $\seqj{Q} \subset \text{Proj}((I - P_{\vnI})A(I - P_{\vnI}))$ of centrally orthogonal finite projections. Let $Q = \sum_{j \in J}Q_j$, then $Q$ is finite by (3) of \autoref{lemma:centrally-orthogonal-sum-properties}. - Let $P_{\vnII} = Z(Q)$ and $A_{\vnII} = P_{\vnII}AP_{\vnII}$, then $A_{\vnII}$ is a von Neumann algebra with identity $P_{\vnII}$. Let $R \in \text{Proj}(Z(A_{\vnII})) \setminus \bracs{0}$, then since $0 < R \le P_{\vnII}$, $RQ \le R$ is a non-zero finite projection by (4) of \autoref{lemma:projection-types-gymnastics}. + Let $P_{\vnII} = Z(Q)$ and $A_{\vnII} = P_{\vnII}AP_{\vnII}$, then $A_{\vnII}$ is a von Neumann algebra with identity $P_{\vnII}$. Let $R \in \text{Proj}(Z(A_{\vnII})) \setminus \bracs{0}$, then since $0 < R \le P_{\vnII}$, $RQ \le R$ is a non-zero finite projection by (4) of \autoref{lemma:projection-types-gymnastics}. Thus $A_{\vnII}$ is of type $\vnII$. ($\vnIII$): Let $P_{\vnIII} = I - P_{\vnI} - P_{\vnII}$ and $A_{\vnIII} = P_{\vnIII}AP_{\vnIII}$. Since $P_{\vnIII} \in Z(A)$ and $\seqi{P}$, $\seqj{Q}$ are maximal, $A_{\vnIII}$ has no non-zero finite projections. Therefore $A_{\vnIII}$ is of type $\vnIII$, and $A = A_{\vnI} \oplus A_{\vnII} \oplus A_{\vnIII}$. @@ -211,18 +211,20 @@ \end{lemma} \begin{proof} Let $i, j \in I$, then since $P_i$ and $P_j$ are minimal, - \[ - (P_iTP_j)^*(P_iTP_j) = P_jT^*TP_j \in \complex P_j \quad (P_iTP_j)(P_iTP_j)^* = P_iTT^*P_i \in \complex P_i - \] + \begin{align*} + (P_iTP_j)^*(P_iTP_j) &= P_jT^*P_iTP_j \in \complex P_j \\ + (P_iTP_j)(P_iTP_j)^* &= P_iTP_jT^*P_i \in \complex P_i + \end{align*} + - If $P_iTP_j \ne 0$, then $P_jT^*TP_j$ and $P_iTT^*P_i$ are positive, and there exists $\lambda > 0$ such that $\lambda P_iTP_j$ is a partial isometry with initial space $P_j(H)$ and final space $P_i(H)$. By \autoref{lemma:projection-types-gymnastics}, there exists $\mu_{i, j} \in \complex$ such that $P_iTP_j = \mu V_{j, i}$. Therefore + If $P_iTP_j \ne 0$, then $P_jT^*P_iTP_j$ and $P_iTP_jT^*P_i$ are positive, and there exists $\lambda > 0$ such that $\lambda P_iTP_j$ is a partial isometry with initial space $P_j(H)$ and final space $P_i(H)$. By \autoref{lemma:projection-types-gymnastics}, there exists $\mu_{i, j} \in \complex$ such that $P_iTP_j = \mu_{i, j} V_{j, i}$. Therefore \[ - T = \sum_{i, j \in I}P_jTP_i = \sum_{i, j \in I}\mu_{i, j}V_{i, j} + T = \sum_{i, j \in I}P_iTP_j = \sum_{i, j \in I}\mu_{i, j}V_{j, i} \] \end{proof} -\begin{theorem} +\begin{theorem}[Classification of Type $\vnI$ Factors] \label{theorem:type1-bh} Let $H$ be a complex Hilbert space and $A \subset B(H)$ be a factor, then the following are equivalent: \begin{enumerate} @@ -233,7 +235,7 @@ \end{enumerate} \end{theorem} \begin{proof} - (1) $\Rightarrow$ (2): Since $A$ is of type $\vnI$, $A$ admits an abelian projection $Q \in \text{Proj}(A)$. By \autoref{lemma:abelian-minimal-factor}, $Q$ is minimal. + (1) $\Rightarrow$ (2): Since $A$ is of type $\vnI$, $A$ admits a non-zero abelian projection $Q \in \text{Proj}(A)$. By \autoref{lemma:abelian-minimal-factor}, $Q$ is minimal. (2) $\Rightarrow$ (3): Let $P \in \text{Proj}(A)$ and $Q \in \text{Proj}(A)$ be a minimal projection. By the \hyperref[comparability theorem]{corollary:vna-factor-comparability}, either $P \preceq Q$ or $Q \preceq P$. @@ -243,9 +245,9 @@ (3) $\Rightarrow$ (4): By Zorn's lemma, there exists a maximal orthogonal family $\seqi{P} \subset \text{Proj}(A)$ of minimal projections. Since $\seqi{P}$ is maximal and every non-zero projection admits a non-zero minimal subprojection, $I = \sum_{i \in I}P_i$, and $H = \bigoplus_{i \in I}P_iH$. - For each $i, j \in I$, by the \hyperref[comparability theorem]{corollary:vna-factor-comparability}, either $P_i \preceq P_j$ or $P_j \preceq P_i$. In both cases, since both projections are minimal, $P_i \sim P_j$. Thus there exists a partial isometry $V_{i, j} \in A$ with initial space $P_i(H)$ and final space $P_j(H)$ such that $P_i = V_{i, j}^*V_{i, j}$ and $P_j = V_{i, j}V_{i, j}^*$. By fixing a particular family\footnote{The partial isometries need not to be unique. }, assume without loss of generality that $V_{i, j}^* = V_{j, i}$ for all $i, j \in I$. + For each $i, j \in I$, by the \hyperref[comparability theorem]{corollary:vna-factor-comparability}, either $P_i \preceq P_j$ or $P_j \preceq P_i$. In both cases, since both projections are minimal, $P_i \sim P_j$. Thus there exists a partial isometry $V_{i, j} \in A$ with initial space $P_i(H)$ and final space $P_j(H)$ such that $P_i = V_{i, j}^*V_{i, j}$ and $P_j = V_{i, j}V_{i, j}^*$. By fixing a particular family\footnote{The partial isometries need not be unique. }, assume without loss of generality that $V_{i, j}^* = V_{j, i}$ for all $i, j \in I$. - Fix $i_0 \in I$, let $H_0 = P_{i_0}I$, and define + Fix $i_0 \in I$, let $H_0 = P_{i_0}H$, and define \[ U: H \to l^2(I; H_0) \quad (Ux)_i = V_{i, i_0}P_ix \] @@ -257,20 +259,20 @@ For each $i \in I$, denote $e_i = \one_{\bracs{i}} \in l^2(I; \complex)$, then for every $x \in l^2(I; H_0)$, \[ - UP_iU^{-1}x = U P_i\sum_{i \in I} V_{i_0, i}x_i = e_{i}V_{i, i_0}P_iV_{i_0, i}x_i = e_iP_{i_0}x_i = e_ix_i + UP_iU^{-1}x = U P_i\sum_{j \in I} V_{i_0, j}x_j = e_{i}V_{i, i_0}P_iV_{i_0, i}x_i = e_iP_{i_0}x_i = e_ix_i \] so $UP_iU^{-1}$ is the projection onto the $i$-th component of $l^2(I; H_0)$. - Let $T \in A$, then by \autoref{lemma:type1-bh-matrix}, there exists $\bracsn{\mu_{i, j}}_{i, j \in I} \subset \complex$ such that $T = \sum_{i, j \in I}\mu_{i,j}V_{i, j}$. In which case, for any $x \in l^2(I; \complex)$ and $v \in H$, + Let $T \in A$, then by \autoref{lemma:type1-bh-matrix}, there exists $\bracsn{\mu_{i, j}}_{i, j \in I} \subset \complex$ such that $T = \sum_{i, j \in I}\mu_{i,j}V_{i, j}$. In which case, for any $x \in l^2(I; \complex)$ and $v \in H_0$, \[ - UTU^{-1}(xv) = UT \sum_{i \in I}V_{i_0, i}x_i v = U\sum_{i, j, k \in I}\mu_{i, j}x_i \cdot V_{i, j}V_{i_0, k} \cdot v + UTU^{-1}(xv) = UT \sum_{i \in I}V_{i_0, i}x_i v = U\sum_{i, j, k \in I}\mu_{i, j}x_k \cdot V_{i, j}V_{i_0, k} \cdot v \] For each $i, j \in I$, there exists $\lambda_{i, j} \in \partial B_\complex(0, 1)$ such that $V_{i, j}V_{i_0, i} = \lambda_{i, j}V_{i_0, j}$ by (6) of \autoref{lemma:projection-types-gymnastics}. For every $i \in I$, let $e_i = \one_{\bracs{i}} \in l^2(I; \complex)$, then \begin{align*} - UTU^{-1}(xv) &=U\sum_{i, j, k \in I}\mu_{i, j}x_i \cdot V_{i, j}V_{i_0, k} \cdot v = U\sum_{i, j \in I}\mu_{i, j}x_i \cdot V_{i, j}V_{i_0, i} \cdot v \\ + UTU^{-1}(xv) &=U\sum_{i, j, k \in I}\mu_{i, j}x_k \cdot V_{i, j}V_{i_0, k} \cdot v = U\sum_{i, j \in I}\mu_{i, j}x_i \cdot V_{i, j}V_{i_0, i} \cdot v \\ &= U\sum_{i, j \in I}\lambda_{i, j}\mu_{i, j}x_i \cdot V_{i_0, j} \cdot v = \sum_{i, j \in I}\lambda_{i, j}\mu_{i, j}x_i \cdot e_j \cdot V_{j, i_0}P_jV_{i_0, j} \cdot v \\ &= \sum_{i, j \in I}\lambda_{i, j}\mu_{i, j}x_i \cdot e_j \cdot v \in l^2(I; \complex v) \end{align*} @@ -283,11 +285,19 @@ is an injective $*$-homomorphism. Finally, since $\ol{B_A(0, 1)}$ is weak-operator compact and $U$ is an isometry, $\pi(\ol{B_A(0, 1)})$ is also weak-operator compact, and $\pi(A) \subset B(l^2(I; \complex v))$ is a von Neumann algebra. Let $i, j \in I$, then for each $x \in l^2(I; \complex)$, - \[ - \pi(V_{i, j})(xv) = x_i \cdot e_j \cdot V_{j, i_0}V_{i, j}V_{i_0, i} \cdot v = \lambda_{i, j}x_i \cdot e_j \cdot V_{j, i_0}V_{i_0, i} = \lambda_{i, j}x_i \cdot e_j \cdot v - \] + \begin{align*} + \pi(V_{i, j})(xv) &= x_i \cdot e_j \cdot V_{j, i_0}V_{i, j}V_{i_0, i} \cdot v = \lambda_{i, j}x_i \cdot e_j \cdot V_{j, i_0}V_{i_0, j} \cdot v \\ + &= \lambda_{i, j}x_i \cdot e_j \cdot v + \end{align*} + so $\pi(V_{i, j}) = \lambda_{i, j} e_jv \otimes e_iv$. As $\bracsn{e_iv}_{i \in I}$ is an orthonormal basis for $l^2(I; \complex v)$, $\pi(A) = B(l^2(I; \complex v))$. + + (4) $\Rightarrow$ (1): Identify $A = \pi(A) = B(K)$, and let $T \in Z(A)$. For each $v \in K$ with $\norm{v}_K = 1$, $T(v \otimes v) = (v \otimes v)T$, so $Tv = T(v \otimes v)v = (v \otimes v)Tv$, and there exists $\lambda \in \complex$ such that $Tv = \lambda v$. + + For any $w \in K$ linearly independent from $v$, there exists $\mu \in \complex$ with $Tw = \mu w$, and $\rho \in \complex$ with $T(v + w) = \rho(v + w)$. In which case, $\rho v + \rho w = \lambda v + \mu w$, so $\lambda = \rho = \mu$, and $T = \lambda I$. Therefore $A$ is a factor. + + For any $v \in K$ with $\norm{v}_K = 1$, $v \otimes v$ is a minimal, and hence abelian projection by (1) of \autoref{lemma:projection-types-gymnastics}. As $v \otimes v \le I$, $A = B(K)$ is of type $\vnI$. \end{proof}