[논문 리뷰] Intersection Theory in Differential Algebraic Geometry: Generic Intersections and the Differential Chow Form

Xiao-Shan Gao, Wěi Li외 1명|arXiv (Cornell University)|2010. 09. 01.

Polynomial and algebraic computation참고 문헌 4인용 수 7

한 줄 요약

이 논문은 일반적인 미분 다항식에 대한 교차 이론을 수립하며, 차수 $d$이고 순서 $h$인 기약 미분 대칭다양체와 순서 $s$인 일반적인 미분 초곡면의 교차는 차수 $d-1$이고 순서 $h+s$인 다양체를 유도함을 증명한다. 이는 일반적인 시스템에 대한 미분 차원 추측을 해결하며, 미분 초형식과 일반화된 미분 결과식을 도입하여 핵심 대수 개념을 미분대수기하학으로 확장하고 유사한 성질을 유지한다.

ABSTRACT

In this paper, an intersection theory for generic differential polynomials is presented. The intersection of an irreducible differential variety of dimension $d$ and order $h$ with a generic differential hypersurface of order $s$ is shown to be an irreducible variety of dimension $d-1$ and order $h+s$. As a consequence, the dimension conjecture for generic differential polynomials is proved. Based on the intersection theory, the Chow form for an irreducible differential variety is defined and most of the properties of the Chow form in the algebraic case are established for its differential counterpart. Furthermore, the generalized differential Chow form is defined and its properties are proved. As an application of the generalized differential Chow form, the differential resultant of $n+1$ generic differential polynomials in $n$ variables is defined and properties similar to that of the Macaulay resultant for multivariate polynomials are proved.

연구 동기 및 목표

• 일반적인 미분 다항식에 대한 교차 이론을 통해 일반적인 초곡면과의 교차를 분석함으로써, 일반적인 시스템에 대한 미분 차원 추측을 해결한다.
• 초형식의 미분적 유사체로서 미분 초형식을 정의하고 그 성질을 수립한다.
• 일반화된 미분 초형식을 도입하고 이를 통해 미분 결과식을 엄밀히 정의한다.
• 맥컬레이 결과식의 성질을 미분 설정으로 확장하며, 동차성 및 소멸 조건을 포함한다.
• 초형식과 준다양체를 통해 소거 이론과 사영 미분대수기하학의 기초를 다진다.

제안 방법

• 주어진 차수와 차수까지의 모든 단항식을 포함하고 계수가 미분 기저변수인 다항식을 일반적인 미분 다항식으로 정의한다.
• 일반 차원 정리 증명: 차수 $d$이고 순서 $h$인 소수 미분 아이디얼과 순서 $s$인 일반 다항식의 교차는 차수 $d-1$이고 순서 $h+s$인 소수 아이디얼을 유도한다.
• 초형식을 다양체를 표현하는 $ abla$-동차 $ abla$-다항식으로 정의하며, 명시적인 순서와 인수분해 성질을 갖는다.
• 초형식 준다양체를 사이클의 매개변수 공간으로 정의하여 대수적 초형다양체를 일반화한다.
• 변수 $n$개에 대해 $n+1$개의 미분 다항식 시스템에 대한 일반화된 미분 초형식을 도입한다.
• 공통 해를 가질 경우에만 0이 되는 $ abla$-다항식으로서의 미분 결과식을 정의하며, 맥컬레이 결과식과 유사한 성질을 갖는다.

실험 결과

연구 질문

• RQ1 기약 미분다양체와 일반적인 미분 초곡면의 교차의 차수와 순서는 무엇인가?
• RQ2 교차 이론을 통해 일반적인 미분 다항식에 대한 미분 차원 추측을 증명할 수 있는가?
• RQ3 대수적 초형식은 어떻게 미분대수기하학으로 일반화할 수 있으며, 어떤 성질을 유지하는가?
• RQ4 $n$개의 변수에 대해 $n+1$개의 미분 다항식에 대한 미분 결과식의 구조와 행동은 어떠한가?
• RQ5 대수적 경우와 유사한 행렬 표현 또는 파이송 유형 공식을 통해 미분 결과식을 특성화할 수 있는가?

주요 결과

• 차수 $d$이고 순서 $h$인 기약 미분다양체와 순서 $s$인 일반적인 미분 초곡면의 교차는 차수 $d-1$이고 순서 $h+s$인 다양체를 유도하며, 이는 일반적인 시스템에 대한 미분 차원 추측을 증명한다.
• 미분 초형식은 다양체를 표현하는 $ abla$-동차 $ abla$-다항식이며, 대수적 초형식과 유사한 성질을 갖는다. 이는 순서와 인수분해 제약 조건을 포함한다.
• 일반화된 미분 초형식은 $n$개의 변수에 대해 $n+1$개의 미분 다항식 시스템에 대해 정의되며, 미분 결과식의 엄밀한 정의를 가능하게 한다.
• 미분 결과식은 공통 해를 가질 경우에만 0이 되는 $ abla$-다항식이며, 대수적 경우와 동일한 동차도를 갖는다.
• 특수한 경우 $n=1$, $d_0=d_1=2$, $s_0=0$, $s_1=1$에서, 미분 결과식은 206개의 항을 가지며, ${f u}_0$에 대해 순서 1, ${f u}_1$에 대해 순서 0이며, ${f u}_0$에 대해 8차 동차이고 ${f u}_1$에 대해 2차 동차이다.
• 미분 결과식은 계수 행렬의 행렬식의 인수로 표현되는 행렬 표현을 갖는다. 이는 맥컬레이 결과식과 유사하다.