[论文解读] Canonical systems and non-commutative geometry

Lieven Le Bruyn, Markus Reineke|ArXiv.org|Mar 25, 2003

Advanced Topics in Algebra被引用 8

一句话总结

本文通过将具有固定输入维数 $m$ 和输出维数 $p$ 的规范线性控制系统的模空间的不相交并集嵌入无限格拉斯曼流形 $\mathrm{Gras}_{m+p}(\infty)$，建立了一个将线性控制系统与非交换几何联系起来的几何框架。关键结果表明，该并集构成无限格拉斯曼流形的一个开子流形，其嵌入通过规范形式与线性关系的对偶性构造实现，从而为所有状态空间维数下的控制系统提供了全局几何结构。

ABSTRACT

Inspired by ideas from non-commutative geometry, unions of moduli spaces of linear control systems are identified as open subsets of infinite Grassmannians.

研究动机与目标

• 将不同状态空间维数下的规范线性控制系统的模空间统一为单一几何对象。
• 通过识别一个其简单表示分类规范系统的非交换代数，将非交换几何技术——特别是康特舍维奇的框架——应用于控制理论。
• 在无限格拉斯曼流形 $\mathrm{Gras}_{m+p}(\infty)$ 中实现所有规范系统空间的几何实现，作为其开子集，从而实现分层的全局结构。

提出的方法

• 将规范系统表示为具有 $m$ 个正向箭头和 $p$ 个反向箭头的 quiver 上维度向量为 $(1,n)$ 的简单表示的同构类。
• 通过系统矩阵 $L_\Sigma = [B \; C^{tr} \; A]$ 的列之间的线性关系，构造从完全可控系统模空间 $\mathrm{sys}^{cc}_{m,n,p}$ 到格拉斯曼流形 $\mathrm{Gras}_{m+p}(m+p+n)$ 的态射。
• 利用可控性与可观测性之间的对偶性，关联 $\mathrm{sys}^{cc}_{m,n,p}$ 与 $\mathrm{sys}^{co}_{m,n,p}$，并将该嵌入扩展至规范系统全并集。
• 将嵌入的像刻画为标准仿射开集 $X_I$ 与 $X_J$ 的交集，其中 $I$ 与 $J$ 为满足 $\{m+1,\dots,m+p,m+p+n\} \subset I$ 与 $\{1,\dots,m,m+p+n\} \subset J$ 的多重指标集。
• 利用 $\mathrm{sys}^{cc}_{m,n,p}$ 与 $\mathrm{sys}^{co}_{m,n,p}$ 的胞腔分解作为格拉斯曼流形上的向量丛，支持无限并集的上同调与几何结构。
• 应用 $q$-二项式恒等式与 $\mathbb{F}_q$ 上的计数论证，推导出 $\mathbb{F}_q$-有理点数的生成函数，确认其与无限格拉斯曼流形上同调的一致性。

实验结果

研究问题

• RQ1 能否将不同状态空间维数下规范线性控制系统的模空间统一为单一几何对象？
• RQ2 如何通过 quiver 表示与形式光滑代数等非交换几何方法，对控制系统进行分类与结构化？
• RQ3 不相交并集 $\bigsqcup_n \mathrm{sys}^{c}_{m,n,p}$ 的全局几何性质是什么？其在无限维格拉斯曼流形中的嵌入方式如何？
• RQ4 该嵌入的像由何种条件定义？其与施伯特胞腔分解及标准仿射开集的关系为何？

主要发现

• 规范系统模空间的不相交并集 $\bigsqcup_n \mathrm{sys}^{c}_{m,n,p}$ 构成无限格拉斯曼流形 $\mathrm{Gras}_{m+p}(\infty)$ 的一个开子流形，其嵌入通过系统矩阵中线性关系的对偶性构造实现。
• 该嵌入的像被刻画为标准仿射开集 $X_I$ 与 $X_J$ 的交集，其中 $I$ 与 $J$ 分别为满足 $\{m+1,\dots,m+p,m+p+n\} \subset I$ 与 $\{1,\dots,m,m+p+n\} \subset J$ 的多重指标集。
• $\mathrm{sys}^{cc}_{m,n,p}$ 的模空间（完全可控系统）具有与秩为 $(p+1)n$ 的格拉斯曼流形 $\mathrm{Gras}_n(m+n-1)$ 上的向量丛相同的胞腔分解，尽管当 $m=n$ 时其本身并非向量丛。
• $\mathrm{sys}^{cc}_{m,n,p}$ 的 $\mathbb{F}_q$-有理点数的生成函数为 $\sum_{n=0}^\infty \#\mathrm{sys}^{cc}_{m,n,p}(\mathbb{F}_q) t^n = \prod_{i=1}^m \frac{1}{1 - q^{p+i}t}$，与 $\mathrm{Gras}_{m+p}(\infty)$ 上同调的一个因子完全一致。
• 模空间 $\mathrm{sys}^{c}_{m,n,p}$ 被证明是拟仿射概形，通过 quiver 表示理论确认了 Hazewinkel 的一个结果。
• 该构造在无限格拉斯曼流形上自然诱导出由规范系统模空间构成的分层结构，每一层对应于固定的状态空间维数 $n$。