AI 中文总结
该数学研究针对秩≤2交换子的6阶复矩阵17维线性子空间，证明其共轭于特定分块上三角代数，对应代数轨迹含两个同构于Fl(2,4;6)的非奇异分支，且其扎里斯基切空间等于共轭轨道切空间。
AI 中文摘要
设𝒱是复矩阵空间M₆(ℂ)的17维线性子空间，满足对任意S、T∈𝒱，交换子[S,T]的秩≤2。我们证明𝒱或其转置，共轭于代数{A,B,C,D∈M₂(ℂ),λ∈ℂ}，其中该代数的矩阵形式为分块上三角矩阵：A为2×2块，B、C、D为2×2块，对角块含两个λI₂。由此，Gr(17,M₆(ℂ))中对应闭代数轨迹是两个非奇异不可约分支的不交并，每个分支同构于Flag流形Fl(2,4;6)。我们还证明该轨迹在𝒱处的扎里斯基切空间等于𝒱的共轭轨道的切空间。
英文摘要
Let $\mathcal V\subseteq M_6(\mathbb C)$ be a $17$-dimensional linear subspace such that $ \operatorname{rank}[S,T]\leq2 \quad(S,T\in\mathcal V). $ We prove that $\mathcal V$, or its transpose, is conjugate to the algebra $ \left\{ \begin{pmatrix} A&B&C\\ 0&λI_2&D\\ 0&0&λI_2 \end{pmatrix}: A,B,C,D\in M_2(\mathbb C),\ λ\in\mathbb C \right\}. $ Consequently, the corresponding closed algebraic locus in $\operatorname{Gr}(17,M_6(\mathbb C))$ is the disjoint union of two nonsingular irreducible components, each isomorphic to $\operatorname{Fl}(2,4;6)$. We also prove that the Zariski tangent space at $\mathcal A$ of the corresponding closed algebraic locus is equal to the tangent space to the conjugacy orbit of $\mathcal A$.
Comments12 pages, 3 tables; replaced two standard proofs with references; bibliography updated; main results unchanged
