[논문 리뷰] An explicit description in terms of Plücker coordinates of the Langrangian-Grassmannian

Jesús Carrillo Pacheco, Fausto Jarquín-Zárate외 2명|arXiv (Cornell University)|2016. 01. 27.

Coding theory and cryptography참고 문헌 3인용 수 3

한 줄 요약

이 논문은 임의의 체 위에서 플뤼커 좌표에서 그라스만이안 $G(n,2n)$ 의 선형 절단으로서 라그랑주-그라스만이안 $L(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$ 의 핵을 정의하는 선형 방정식을 규명하는 것.
• 플뤼커 매bedding에서 $G(n,2n)$ 에서 $L(n,2n)$ 를 잘라내는 선형 절단 $\mathbb{P}(\ker f)$ 의 통일적이고 명시적인 기술을 제공하는 것.
• 짝수 $n$ 과 홀수 $n$ 에 대해 정의된 선형 시스템의 구조를 별도로 분석하며, 홀수 케이스는 짝수 케이스로부터 유추하는 것.

제안 방법

• 심플렉틱 기저 $\{e_1, \dots, e_{2n}\}$ 를 사용하여 $\langle e_i, e_{2n-i+1} \rangle = 1$ 이고 나머지는 0이 되도록 정의한다.
• 플뤼커 좌표 $p_\alpha$ 로 인덱싱된 $\bigwedge^n E$ 의 원소를 표현하며, $\alpha \in I(n,2n)$ 이다.
• 수축 사상 $f$ 는 $f(w) = \sum_{i<j} \langle w_i, w_j \rangle \widehat{w}_i \widehat{w}_j$ 로 정의되며, 플뤼커 좌표에서의 선형 방정식을 통해 $\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$ 과 홀수 $n$ 에서 정의 방정식의 구조는 어떻게 다를까?
• RQ5 다른 특성수를 가진 체 위에서 선형 시스템 $\ker f$ 의 질량은 얼마인가?

주요 결과

• 라그랑주-그라스만이안 $L(n,2n)$ 은 $G(n,2n)$ 의 플뤼커 매bedding에서 플뤼커 이차관계와 선형 형식 $\Pi_{\alpha_{st}}$ 의 공통 영점으로 잘라낸다. 이 형식들은 정확히 $w \in \ker f$ 일 때만 영이 된다.
• 특히 $n=7$ 에서는 체의 특성이 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}$ 이다.