[논문 리뷰] Symmetric polynomials and divided differences in formulas of intersection theory

Piotr Pragacz|ArXiv.org|1996. 05. 28.

Mathematics and Applications인용 수 13

한 줄 요약

이 논문은 대칭 다항식과 분할 차분을 사용하여 대수적 교차 이론에서 명시적 공식을 유도하기 위한 통합적 프레임워크를 개발한다. 쇼어 복합체, 탈선성 위치, Gysin 사상에 대한 찬 및 세그레 클래스에 대한 새로운 증명과 공식을 제공하며, 주요 기여로는 그라스만다인 배럴에서 쇼어 Q다항식을 올리는 데 사용되는 새로운 공식과, 슈어 복합체를 통한 기아멜리-톰-포르투아즈 공식의 새로운 유도가 포함되어 있다.

ABSTRACT

The goal of the paper is two-fold. At first, we attempt to give a survey of some recent applications of symmetric polynomials and divided differences to intersection theory. We discuss: polynomials universally supported on degeneracy loci; some explicit formulas for the Chern and Segre classes of Schur bundles with applications to enumerative geometry; flag degeneracy loci; fundamental classes, diagonals and Gysin maps; intersection rings of G/P and formulas for isotropic degeneracy loci; numerically positive polynomials for ample vector bundles. Apart of surveyed results, the paper contains also some new results as well as some new proofs of earlier ones: how to compute the fundamental class of a subvariety from the class of the diagonal of the ambient space; how to compute the class of the relative diagonal using Gysin maps; a new formula for pushing forward Schur's Q- polynomials in Grassmannian bundles; a new formula for the total Chern class of a Schur bundle; another proof of Schubert's and Giambelli's enumeration of complete quadrics; an operator proof of the Jacobi-Trudi formula; a Schur complex proof of the Giambelli-Thom-Porteous formula.

연구 동기 및 목표

• 최근 대칭 다항식과 분할 차분이 교차 이론에 응용된 바를 체계화하기 위해.
• 수세계 기하학에서 슈어 복합체의 찬 및 세그레 클래스에 대한 명시적 공식을 제공하기 위해.
• 플래그 및 등지터피크 탈선성 위치의 기본 클래스와 대각선을 계산하기 위한 새로운 방법을 개발하기 위해.
• G/P 공간의 교차 링에서 슈베르트 계산과 양성에 관한 기존 결과를 통합하고 확장하기 위해.
• 자코비-트루디 항등식과 기아멜리-톰-포르투아즈 공식에 대한 새로운 증명과 공식을 제시하기 위해.

제안 방법

• 탈선성 위치에 있는 클래스를 구성하기 위한 보편적 도구로 대칭 다항식을 활용한다.
• 기본 클래스와 암묵 공간 내의 대각선을 계산하기 위해 분할 차분 연산자를 적용한다.
• 연산자 이론적 방법을 통해 기아멜리-톰-포르투아즈 공식을 도출하기 위해 슈어 복합체를 사용한다.
• 그라스만다인 배럴에서 쇼어 Q다항식을 올리는 데 사용되는 새로운 공식을 도입한다.
• 섬유화된 구성에서 상대 대각선 클래스를 계산하기 위해 Gysin 사상을 적용한다.
• 연산자 기법을 사용하여 자코비-트루디 공식과 같은 고전적 항등식을 재증명한다.

실험 결과

연구 질문

• RQ1 대칭 다항식과 분할 차분은 어떻게 체계적으로 교차 이론적 불변량을 계산하는 데 응용될 수 있는가?
• RQ2 대칭 다항식 기법을 사용하여 슈어 복합체의 총 찬 클래스에 대해 어떤 새로운 공식이 도출되는가?
• RQ3 기본 공간의 대각선 클래스로부터 부분다양체의 기본 클래스는 어떻게 재구성될 수 있는가?
• RQ4 슈어 복합체는 기아멜리-톰-포르투아즈 공식을 도출하는 데 어떤 역할을 하는가?
• RQ5 연산자 이론적 방법은 자코비-트루디 공식과 같은 고전적 항등식에 대한 새로운 증명을 도출할 수 있는가?

주요 결과

• 그라스만다인 배럴에서 쇼어 Q다항식을 올리는 데 사용되는 새로운 공식이 도출되었으며, 이는 슈베르트 계산의 기존 결과를 확장한다.
• 슈어 복합체의 총 찬 클래스에 대한 새로운 공식이 제시되었으며, 이는 특성 클래스에 대한 대칭 다항식 접근법을 제공한다.
• Gysin 사상을 사용하여 암묵 공간의 대각선 클래스로부터 부분다양체의 기본 클래스를 계산하였다.
• 슈어 복합체 기반의 기반에서 기아멜리-톰-포르투아즈 공식에 대한 증명이 제시되었으며, 이는 새로운 기하학적 해석을 제공한다.
• 자코비-트루디 공식에 대한 연산자 이론적 증명이 확립되었으며, 이는 대칭 함수와 교차 이론을 연결한다.
• 스 symmetric 함수 항등식을 사용하여 쇼르트의 공식과 기아멜리의 공식을 통해 완전한 2차 곡면의 수를 세는 데 또 다른 증명이 제시되었다.