[论文解读] An explicit description in terms of Plücker coordinates of the Langrangian-Grassmannian

Jesús Carrillo Pacheco, Fausto Jarquín-Zárate+2 more|arXiv (Cornell University)|Jan 27, 2016

Coding theory and cryptography参考文献 3被引用 3

一句话总结

本文在任意域上，通过普吕克坐标给出了拉格朗日子芬曼格里安 $L(n,2n)$ 的显式、特征无关的描述，将其视为格拉斯曼流形 $G(n,2n)$ 的线性截面。利用辛基底和余量映射，推导出显式的线性方程——这些方程按特定多重指标索引——刻画余量映射的核，从而将拉格朗日子芬曼格里安表征为普吕克二次关系与这些线性形式的公共零点集，该结果在任意域上成立。

ABSTRACT

For an arbitrary field of any characteristic we give an explicit description, in terms of Plücker coordinates, of the projective linear space that cuts out the Lagrangian-Grassmannian variety $L(n,2n)$ of maximal isotropic subspaces in a symplectic vector space of dimension $2n$ in the Grassmannian variety $G(n,2n)$

研究动机与目标

• 在任意域上，通过普吕克坐标显式地、基于坐标地刻画拉格朗日子芬曼格里安 $L(n,2n)$。
• 确定由辛形式诱导的余量映射 $f: \bigwedge^n E \to \bigwedge^{n-2} E$ 的核所定义的线性方程。
• 给出在格拉斯曼流形 $G(n,2n)$ 的普吕克嵌入中，线性截面 $\mathbb{P}(\ker f)$ 截出 $L(n,2n)$ 的统一且显式的描述。
• 分别对偶数和奇数 $n$ 分析定义线性系统的结构，其中奇数情形由偶数情形推导得出。

提出的方法

• 使用辛基底 $\{e_1, \dots, e_{2n}\}$，满足 $\langle e_i, e_{2n-i+1} \rangle = 1$，其余为零。
• 以 $n$-元组 $\alpha \in I(n,2n)$ 索引，将 $\bigwedge^n E$ 的元素表示为普吕克坐标 $p_\alpha$。
• 通过 $f(w) = \sum_{i<j} \langle w_i, w_j \rangle \widehat{w}_i \widehat{w}_j$ 定义余量映射 $f$，并利用普吕克坐标中的线性方程刻画 $\ker f$。
• 引入线性形式 $\Pi_{\alpha_{st}} = \sum_i c_{i,\alpha_{st},2n-i+1} X_{i,\alpha_{st},2n-i+1}$，其中系数依赖于支撑条件。
• 利用分解 $I(n-2,2n) = \bigcup_{i=1}^n (i) \times C_4(\Sigma(i)) \cup \text{其他指标集}$ 来组织定义方程。
• 对 $n=7$ 构造矩阵 $B = \varphi(I(5,14))$，其为子矩阵 $\mathcal{L}_4, \mathcal{L}_3, \mathcal{L}_2$ 的直和，分别对应不同类型的指标。

实验结果

研究问题

• RQ1 在任意域上，切割拉格朗日子芬曼格里安 $L(n,2n)$ 的普吕克坐标中，显式线性方程系统是什么？
• RQ2 由辛形式诱导的余量映射如何转化为普吕克坐标上的线性条件？
• RQ3 能否根据指标集的组合类型对 $\ker f$ 的定义线性系统进行分解与分类？
• RQ4 定义方程的结构在偶数和奇数 $n$ 之间有何不同？
• RQ5 在不同特征的域上，线性系统 $\ker f$ 的秩是多少？

主要发现

• 拉格朗日子芬曼格里安 $L(n,2n)$ 在格拉斯曼流形 $G(n,2n)$ 的普吕克嵌入中，由普吕克二次关系与线性形式 $\Pi_{\alpha_{st}}$ 共同切割，且这些形式在且仅在 $w \in \ker f$ 时为零。
• 当 $n=7$ 时，定义线性系统的秩在 $\text{char}(F) = 0$ 或 $p \geq 5$ 时为 $\text{rank}(B) = 2002$，在特征 2 时为 $\text{rank}(B) = 1666$。
• 矩阵 $B$ 分解为 7 个 $\mathcal{L}_4$、301 个 $\mathcal{L}_3$ 和 693 个 $\mathcal{L}_2$ 的直和，分别对应不同指标构型。
• 系数 $c_{i,\alpha_{st},2n-i+1}$ 仅在集合 $\{i, \alpha_{st}, 2n-i+1\}$ 的大小为 $n$ 时为 1，确保支撑兼容性。
• 该构造在任意域上成立，包括正特征域，且线性方程以普吕克坐标显式给出。
• 结果建立了 $\mathbb{P}(\ker f)$ 作为 $\mathbb{P}^{N-1}$ 中线性子空间的完整、显式且与特征无关的描述，其中 $N = \binom{2n}{n}$。