[논문 리뷰] Differential Chow Form for Projective Differential Variety

Wei Li, Xiao-Shan Gao|arXiv (Cornell University)|2011. 07. 16.

Polynomial and algebraic computation참고 문헌 13인용 수 5

한 줄 요약

이 논문은 임의의 기하학적 차원 $d > 0$ 와 차수 $h$ 를 가진 기약 프로젝티브 미분다양체와 일반적인 프로젝티브 미분초평면의 교차에 대해 일반적 교차정리를 증명함으로써, 기약 프로젝티브 미분다양체에 대한 미분 차수형식을 수립한다. 이 교차는 차원 $d-1$ 과 차수 $h$ 를 가진 기약 다양체를 생성한다. 이후 미분 차수형식이 정의되며, 이 형식이 콜킨이 기술한 프로젝티브 다양체 위에서의 선형의존 조건을 캡슐화하고 있음을 보여, 고전적 차수형식 이론을 미분프로젝티브 설정으로 일반화한다.

ABSTRACT

In this paper, a generic intersection theorem in projective differential algebraic geometry is presented. Precisely, the intersection of an irreducible projective differential variety of dimension d>0 and order h with a generic projective differential hyperplane is shown to be an irreducible projective differential variety of dimension d-1 and order h. Based on the generic intersection theorem, the Chow form for an irreducible projective differential variety is defined and most of the properties of the differential Chow form in affine differential case are established for its projective differential counterpart. Finally, we apply the differential Chow form to a result of linear dependence over projective varieties given by Kolchin.

연구 동기 및 목표

• 아핀에서 프로젝티브 미분대수기하학으로의 미분 차수형식 이론을 확장하는 것.
• 특히 일반적인 초평면 절단에 따른 차원과 차수에 관해 기초적인 결과를 수립하는 것.
• 리트의 프로젝티브 다양체 위에서의 선형의존에 대한 비고에서의 미분다항식 $h$ 가 해당 프로젝티브 미분다양체의 정확히 미분 차수형식임을 증명하는 것.
• 새로운 미분 차수형식을 사용하여 콜킨의 프로젝티브 다양체 위에서의 선형의존 결과에 대한 미분기하학적 해석을 제공하는 것.

제안 방법

• 기본적인 교차정리 증명: 기하학적 차원 $d > 0$ 과 차수 $h$ 를 가진 기약 프로젝티브 미분다양체와 일반적인 프로젝티브 미분초평면의 교차는 차원 $d-1$ 과 차수 $h$ 를 가진 다양체를 생성한다.
• 기본 미분이deo를 일반 선형형식에 대해 포화시키는 방식으로 기약 프로젝티브 미분다양체의 미분 차수형식을 정의한다.
• 콜킨이 개발한 프로젝티브 미분공간에서의 미분다항식이항 이상의 이상적과 그 영점의 이론을 활용한다.
• 정의 이상적의 구조와 일반적인 초평면에 모odulo된 그들의 축소를 분석하기 위해 미분대수학에서의 그뢰브너 기반 유사 기법을 적용한다.
• 고전적 대수기하학 차수형식과 유사한 성질을 갖는 미분 차수형식의 성질을 수립한다. 이는 사영변환에 대한 불변성과 포화 행동을 포함한다.
• 기본 및 분리다항식을 이용하여 정의 방정식과 그 도함수의 구조를 분석한다.

실험 결과

연구 질문

• RQ1 기하학적 차원 $d > 0$ 과 차수 $h$ 를 가진 기약 프로젝티브 미분다양체가 일반적인 프로젝티브 미분초평면과 교차할 때, 기약성은 유지되고 차원은 1 감소하며, 차수는 그대로 유지되는가?
• RQ2 고전적 차수형식 개념이 프로젝티브 미분대수기하학 설정으로 일반화될 수 있는가? 그리고 그 형태로 유지되는 성질은 무엇인가?
• RQ3 리트의 프로젝티브 다양체 위에서의 선형의존에 대한 비고에서의 미분다항식 $h$ 는 해당 다양체의 정확히 미분 차수형식과 동치인가?
• RQ4 고전적 경우와 마찬가지로, 차수형식의 미분포화가 프로젝티브 초평면과의 교차에 대해 필요충분조건을 제공하는가?

주요 결과

• 기하학적 차원 $d > 0$ 과 차수 $h$ 를 가진 기약 프로젝티브 미분다양체가 일반적인 프로젝티브 미분초평면과 교차할 경우, 차원 $d-1$ 과 차수 $h$ 를 가진 기약 다양체를 생성하며, 이는 핵심적인 일반적 교차정리를 수립한다.
• 프로젝티브 미분다양체에 대한 미분 차수형식은 일반 선형형식에 대해 정의 이상적의 포화로 정의되며, 이는 고전적 차수형식의 대부분의 성질을 미분 설정에서 그대로 이어받는다.
• 리트의 프로젝티브 다양체 위에서의 선형의존에 대한 비고에서의 미분다항식 $h$ 는 해당 프로젝티브 미분다양체의 정확히 미분 차수형식임이 입증된다.
• 정리 5.4는 프로젝티브 미분차수형식 $F$ 에 대해, 미분초평면 $\sum u_{0j}y_j = 0$ 이 다양체 $V^\delta$ 와 교차하는 것은 $F = 0$ 의 일반해에 속하는 특수화 $(v_{00}, \dots, v_{0n})$ 가 존재할 때이고, 그 조건이 필요충분임을 보여준다.
• 논문은 일반적인 프로젝티브 미분다양체에 대해, 차수형식의 미분포화 이상적이 교차 조건에 대해 필요충분임을 제안하며, 고전적 결과를 미분프로젝티브 설정으로 확장한다.