[논문 리뷰] Coisotropic Hypersurfaces in the Grassmannian

Kathlén Kohn|arXiv (Cornell University)|2016. 07. 20.

Polynomial and algebraic computation인용 수 4

한 줄 요약

이 논문은 톱재너리안의 접선 공간에 대한 질량-일차 조건을 통한 그라스만만에서의 공등위 초표면의 특성화에 대한 간소화된 증명을 제시하며, 프로젝티브 이중성에 대한 불변성을 입증하고, 세그레 다양체에 대해 극도수와 초행렬식으로 정의됨을 보여준다. 또한 다양체와 그 공등위 초표면 간의 전환을 계산하기 위한 Macaulay2 패키지를 도입한다.

ABSTRACT

To every projective variety $X$, we associate a family of hypersurfaces in different Grassmannians, called the coisotropic hypersurfaces of $X$. These include the Chow form and the Hurwitz form of $X$. Gel'fand, Kapranov and Zelevinsky characterized coisotropic hypersurfaces by a rank one condition on tangent spaces. We present a new and simplified proof of that result. We show that the coisotropic hypersurfaces of $X$ equal those of its projectively dual variety $X^\vee$, and that their degrees are the polar degrees of $X$. Coisotropic hypersurfaces of Segre varieties are defined by hyperdeterminants, and all hyperdeterminants arise in that manner. We derive new equations for the Cayley variety which parametrizes all coisotropic hypersurfaces of given degree in a fixed Grassmannian. We provide a Macaulay2 package for transitioning between $X$ and its coisotropic hypersurfaces.

연구 동기 및 목표

• 접선 공간에 대한 질량-일차 조건을 통한 그라스만만에서의 공등위 초표면의 특성화에 대한 새로운 간소화된 증명을 제공한다.
• 프로젝티브 다양체 $X$의 공등위 초표면이 그 프로젝티브 이중 다양체 $X^\vee$의 공등위 초표면과 일치함을 입증한다.
• 공등위 초표면의 차수들이 $X$의 극도수와 일치함을 보여주며, 고전적 불변량과 연결한다.
• 세그레 다양체의 공등위 초표면이 초행렬식으로 정의됨을 보이며, 모든 초행렬식이 이러한 방식으로 유도됨을 보여준다.
• 고정된 그라스만만에서 고정된 차수의 공등위 초표면을 매개변수화하는 케일리 다양체의 정의 방정식을 유도한다.

제안 방법

• 겔프란드, 카프란옵, 제레브린스키의 접근 방식을 따르며, 공등위 초표면의 정의 기준으로 접선 공간에 대한 질량-일차 조건을 사용한다.
• 대수기하학의 이중성 이론을 적용하여 $X$와 $X^\vee$를 그들의 공등위 초표면을 통해 연결한다.
• 기존의 대수기하학 공식을 사용하여 공등위 초표면의 차수를 극도수로 계산한다.
• 다차원 행렬식에 대한 기존 결과를 활용하여 세그레 다양체에 대한 공등위 초표면을 구성한다.
• 고정된 차수의 초표면에 대한 대수적 및 기하적 제약 조건을 사용하여 케일리 다양체의 정의 방정식을 유도한다.
• 프로젝티브 다양체 $X$와 그에 관련된 공등위 초표면 간의 전환을 계산하기 위한 Macaulay2 패키지를 구현하여 알고리즘적 탐색을 가능하게 한다.

실험 결과

연구 질문

• RQ1 접선 공간에 대한 질량-일차 조건을 통한 공등위 초표면의 특성화를 더 단순한 방식으로 재증명할 수 있는가?
• RQ2 다양체 $X$의 공등위 초표면과 그 프로젝티브 이중 다양체 $X^\vee$의 공등위 초표면 사이의 관계는 무엇인가?
• RQ3 공등위 초표면의 차수는 $X$의 극도수와 어떻게 관련이 있는가?
• RQ4 어떤 초표면이 세그레 다양체의 공등위 초표면으로서 나타나며, 모든 초행렬식이 이러한 방식으로 유도되는가?
• RQ5 고정된 그라스만만에서 고정된 차수의 공등위 초표면을 매개변수화하는 케일리 다양체의 정의 방정식은 무엇인가?

주요 결과

• 다양체 $X$의 공등위 초표면은 그 프로젝티브 이중 다양체 $X^\vee$의 공등위 초표면과 정확히 일치하며, 이는 이중성 불변성 성질을 입증한다.
• 다양체 $X$의 공등위 초표면의 차수는 정확히 $X$의 극도수와 일치하며, 이는 고전적 대수기하 불변량과 연결된다.
• 세그레 다양체의 공등위 초표면은 초행렬식으로 정의되며, 모든 초행렬식이 이러한 방식으로 나타난다.
• 고정된 그라스만만에서 고정된 차수의 공등위 초표면을 매개변수화하는 케일리 다양체는 기하적 제약 조건에서 유도된 명시적 정의 방정식을 갖는다.
• 프로젝티브 다양체 $X$와 그에 관련된 공등위 초표면 간의 전환을 계산하기 위한 Macaulay2 패키지가 구현되어 알고리즘적 탐색을 가능하게 한다.