[论文解读] Projective Linear Monoids and Hinges

Mutsumi Saito|arXiv (Cornell University)|Nov 4, 2017

Advanced Topics in Algebra参考文献 2被引用 3

一句话总结

本文引入了射影线性群 PGL(V) 的一种新紧化形式 ℙM(V)，其在射影空间 ℙ(V) 上有自然作用。通过构建与 ℙ(V) 上映射相容的幺半群结构，作者证明了 ℙM(V) 是紧致的，并建立了 ℙM(V) 的一个开稠密子集到 Nere tin 的铰链紧化 Hinge*(V) 的满连续映射，揭示了两者紧化之间的深层结构联系。

ABSTRACT

Let V be a complex vector space. We propose a compactification PM(V) of the projective linear group PGL(V), which can act on the projective space P(V). After proving some properties of PM(V), we consider its relation to Neretin's compactification Hinge*(V).

研究动机与目标

• 构造 PGL(V) 的一种紧化形式 ℙM(V)，以保持其在 ℙ(V) 上的自然作用，克服现有紧化形式的局限性。
• 在 ℙM(V) 上定义一个与 ℙ(V) 上自映射幺半群相容的幺半群结构，以确保作用的一致性。
• 建立 ℙM(V) 与 Neretin 的 Hinge*(V) 之间的拓扑与代数关系，后者是 PGL(V) 的已知紧化形式。
• 通过网收敛性证明 ℙM(V) 的紧致性，为对称空间紧化提供一种新的拓扑框架。

提出的方法

• 将 M(V) 定义为复向量空间 V 中嵌套核之间非零线性映射序列的集合，形成类似幺半群的结构。
• 对 M(V) 进行射影化，得到 ℙM(V)，利用同态的射影空间定义其拓扑。
• 通过中间核子空间上同态的射影像定义邻域，为 ℙM(V) 引入拓扑。
• 使用网与收敛性论证，证明 ℙM(V) 中每个极大网均收敛，从而确立紧致性（定理 5.3）。
• 构造一个自然的幺半群同态 Φ: ℙM(V) → Map(ℙ(V))，以实现 ℙM(V) 在 ℙ(V) 上的作用。
• 通过楔积映射定义映射 φ: ℙM(V) → Hinge*(V)，并证明其在开稠密子集 ℙM_H(V) 上的限制是连续且满射的。

实验结果

研究问题

• RQ1 能否构造一种 PGL(V) 的紧化形式，使其保持在 ℙ(V) 上的自然作用，而不同于以往的紧化形式？
• RQ2 ℙM(V) 的幺半群结构与 ℙ(V) 上自同态幺半群之间有何关系？
• RQ3 ℙM(V) 与 Neretin 的 Hinge*(V) 之间存在何种拓扑与代数关系？
• RQ4 ℙM(V) 是否是紧致的？能否在非度量空间中通过网收敛性证明这一点？

主要发现

• ℙM(V) 是紧致的，其紧致性通过证明该空间中每个极大网均收敛得以确立（定理 5.3）。
• 自然映射 Φ: ℙM(V) → Map(ℙ(V)) 是一个幺半群同态，证实了 ℙM(V) 在 ℙ(V) 上的作用。
• 存在一个从 ℙM(V) 的开稠密子集 ℙM_H(V) 到 Neretin 的 Hinge*(V) 的满连续映射，建立了两者的拓扑联系。
• ℙM(V) 的幺半群结构与 ℙ(V) 上自映射幺半群相容，而 Hinge*(V) 的变体幺半群结构则与 ∏_{i=1}^{n-1} End(∧^i V) 相容，显示出不同的代数行为。
• 映射 λ̄: ℙM(V) → ∏_{k=1}^{n-1} ℙEnd(∧^k V) 是连续的，其与 Neretin 的嵌入映射 λ° 的复合给出了到 Hinge*(V) 的满射。
• 在例 8.4 中，当 ε→0 时，∧^3 A(ε) 的极限收敛于 ∧^3 id_V 在特定子空间上的限制，证实了其与 ℙM(V) 构造的一致性。