[论文解读] Essentially orthogonal subspaces

Esteban Andruchow, Gustavo Corach|arXiv (Cornell University)|Jan 13, 2017

Mathematical Analysis and Transform Methods参考文献 13被引用 6

一句话总结

本文研究希尔伯特空间中满足 PQ 有界的正交投影对 (P, Q)，提出一种几何分类，分为三类：C₀（有限秩）、C₁（受限格拉斯曼流形）和 C∞（包含傅里叶型投影）。主要贡献在于证明 C 和 C(P) 是 B(H)×B(H) 中光滑、非补全的 C∞-可微子流形，其中 C₁ 的连通分支由弗雷德霍姆指标参数化，C∞ 被证明是连通的，而 C₀ 的分支则由秩和零度参数化。

ABSTRACT

We study the set ${\cal C}$ consisting of pairs of orthogonal projections $P,Q$ acting in a Hilbert space ${\cal H}$ such that $PQ$ is a compact operator. These pairs have a rich geometric structure which we describe here. They are parted in three subclasses: ${\cal C}_0$ which consists of pairs where $P$ or $Q$ have finite rank, ${\cal C}_1$ of pairs such that $Q$ lies in the restricted Grassmannian (also called Sato Grassmannian) of the polarization ${\cal H}=N(P)\oplus R(P)$, and ${\cal C}_\infty$. Belonging to this last subclass one has the pairs $$ P_If=χ_If ,\ \ Q_Jf= \left(χ_J \hat{f} ight)\check{\ } , \ \ f\in L^2(\mathbb{R}^n), $$ where $I, J\subset \mathbb{R}^n$ are sets of finite Lebesgue measure, $χ_I, χ_J$ denote the corresponding characteristic functions and $\hat{\ } , \check{\ }$ denote the Fourier-Plancherel transform $L^2(\mathbb{R}^2) o L^2(\mathbb{R}^2)$ and its inverse. We characterize the connected components of these classes: the components of ${\cal C}_0$ are parametrized by the rank, the components of ${\cal C}_1$ are parametrized by the Fredholm index of the pairs, and ${\cal C}_\infty$ is connected. We show that these subsets are (non complemented) differentiable submanifolds of ${\cal B}({\cal H}) imes {\cal B}({\cal H})$.

研究动机与目标

• 分析希尔伯特空间中满足 PQ 有界的正交投影对 (P, Q) 的几何结构。
• 将此类对划分为三类：C₀（有限秩）、C₁（极化空间 H = N(P)⊕R(P) 下的受限格拉斯曼流形）和 C∞（其余部分）。
• 表征这些类的连通分支，表明其由秩/零度（C₀）、弗雷德霍姆指标（C₁）参数化，且 C∞ 是连通的。
• 证明集合 C 和 C(P) 是 B(H)×B(H) 中光滑、非补全的 C∞-可微子流形。
• 通过指数映射建立局部图和微分同胚，实现对 C(P) 中投影的局部参数化。

提出的方法

• 使用哈姆斯分解将希尔伯特空间表示为相对于投影 P 的直和，从而实现对 Q 的矩阵表示。
• 应用受限酉群作用于 Q ∈ C(P)，以研究其几何结构和局部参数化。
• 定义三类子集：C₀（有限秩）、C₁（极化空间 H = N(P)⊕R(P) 下的受限格拉斯曼流形）、C∞（其余部分）。
• 通过 R(P) 和 R(Q) 中的规范正交基 {ξₙ}, {ψₙ} 对 C 进行空间表征，满足当 n ≠ k 时 ⟨ξₙ, ψₖ⟩ = 0，且当 n → ∞ 时 ⟨ξₙ, ψₙ⟩ → 0。
• 利用指数映射构造局部图：当 Q′ 接近 Q 时，有 Q′ = e^{iX}Qe^{-iX}，其中 X 为自伴算子，X 为 Q-余对角，且 ||X|| < π/2。
• 通过反函数定理证明光滑性，表明映射 (X,Y) ↦ (e^{iX}P₀e^{-iX}, e^{iY}e^{iX}Q₀e^{-iY}e^{-iX}) 是从邻域到 C′ 的微分同胚。

实验结果

研究问题

• RQ1 集合 C（即满足 PQ 有界的本质正交投影对）的连通分支如何进行几何分类？
• RQ2 弗雷德霍姆指标在参数化 C₁ 的连通分支中起什么作用？
• RQ3 集合 C∞（包含如 (P_I, Q_J) 的傅里叶型投影对）是否连通？
• RQ4 集合 C 和 C(P) 是否可赋予 B(H)×B(H) 中的光滑流形结构？
• RQ5 在 C(P) 中，两点间唯一最小测地线在何种条件下仍保持在 C(P) 内？

主要发现

• C₀ 的连通分支由投影的秩和零度参数化。
• C₁ 的连通分支由对 (P, Q) 的弗雷德霍姆指标参数化。
• C∞ 是连通的，如通过傅里叶型投影对 (P_I, Q_J)（其特征函数在有限测度集上）所展示。
• 集合 C 和 C(P) 是 B(H)×B(H) 中的 C∞-可微子流形，尽管它们不是补全的。
• C(P) 的局部结构由代数 A_{P₀} 中的自伴、Q-余对角算子空间所模型化，并通过指数映射建立了微分同胚。
• 对于 Q, Q′ ∈ C(P₀) 且满足 ||Q − Q′|| < 1 的情况，格拉斯曼流形中唯一最小测地线仍位于 C(P₀) 内，因为对应的指数 X 属于 A_{P₀}。