[논문 리뷰] A method to compute Segre classes of subschemes of projective space

David Eklund, Christine Jost외 1명|arXiv (Cornell University)|2011. 09. 27.

Commutative Algebra and Its Applications참고 문헌 9인용 수 6

한 줄 요약

이 논문은 잔여 교차 이론과 Bézout 유사 공식을 이용하여 복소 프로젝티브 공간의 부분다양체의 세그레 계수의 차수를 계산하는 간단한 기호적이고 수치적인 방법을 제시한다. 이 방법은 Macaulay2에서 그로버 기저를, Bertini에서 수치적 호모토피 방법을 이용하여 효율적으로 세그레 계수 차수를 계산할 수 있게 하며, 특히 고차원 또는 복소계수 아이디얼의 경우 기존 알고리즘보다 빠른 성능을 보여준다.

ABSTRACT

We present a method to compute the degrees of the Segre classes of a subscheme of complex projective space. The method is based on generic residuation and intersection theory. It has been implemented using the software system Macaulay2.

연구 동기 및 목표

• 복소 프로젝티브 공간의 부분다양체의 세그레 계수 차수를 계산하기 위한 접근 가능한 방법을 개발하는 것.
• 기본적인 대수기하학과 잔여 교차 이론을 이용하여 Macaulay2에서 실행 가능한 기호 알고리즘을 제공하는 것.
• 고차원 또는 복소계수 아이디얼의 경우 Bertini의 재생 캐스케이드 알고리즘을 통해 수치적 환경으로 확장하는 것.
• 이 방법의 효율성과 기존 알고리즘(예: Aluffi의 CSM 및 Macaulay2의 euler 루틴)과의 상호보완성을 입증하는 것.
• 특히 매끄러운 다양체의 경우, 세그레 계수 차수를 통해 위상적 불변량(예: 오일러 특성수)을 계산할 수 있도록 하는 것.

제안 방법

• 폴킨-맥퍼슨 교차이론에서 유도된 재귀적 잔여 교차 공식을 사용하여, 세그레 계수 차수를 잔여다양체의 차수로 표현한다.
• 잔여다양체가 아이디얼 $J_i : I^\infty$ 로 정의되는 바에 따라, 잔여다양체에 대한 Bézout 유사 정리를 적용한다.
• 일반 선형형식의 거듭제곱과 잔여다양체 $R_j$의 차수를 포함하는 방정식계를 통해 세그레 계수 $s_i$의 차수를 계산한다.
• 기호적 구현은 Macaulay2에서 그로버 기저 계산을 통해 정의 아이디얼로부터 잔여차수를 계산한다.
• 수치적 구현은 Bertini의 재생 캐스케이드 알고리즘을 활용하여 수치적 호모토피 연속 방법을 통해 잔여차수를 계산한다.
• 이 알고리즘은 기본적인 대수기하학 지식만으로도 구현이 가능하도록 간단하고 접근하기 쉽게 설계되었으며, 고급 교차이론이 필요로 하지 않는다.

실험 결과

연구 질문

• RQ1 어떻게 기초적인 대수기하학 기법을 사용하여 프로젝티브 공간의 부분다양체에 대한 세그레 계수 차수를 효율적으로 계산할 수 있는가?
• RQ2 잔여 교차 이론을 활용하여, 계산 가능하고 수치적으로 실행 가능한 재귀적 공식을 세그레 계수 차수에 대해 유도할 수 있는가?
• RQ3 이 방법은 Aluffi의 CSM 및 Macaulay2의 euler 루틴과 같은 기존 알고리즘보다 어떤 성능적 우월성을 가지는가?
• RQ4 고차원 또는 복소계수의 경우, 수치적 구현이 기호적 방법보다 우월한가?
• RQ5 특히 매끄러운 다양체의 경우, 세그레 계수 차수를 통해 오일러 특성수와 같은 위상적 불변량을 얼마나 잘 복원할 수 있는가?

주요 결과

• Macaulay2에서의 기호적 구현은 빠른 실행 시간을 보이며, $\mathbb{P}^6$에서의 유리 정규 곡선의 경우 1초 미만, $\mathbb{P}^8$에서의 표면의 경우 89초 이내로 실행된다.
• 특히 $\mathbb{P}^{10}$에서의 유리 정규 곡선의 경우, 이 방법은 Aluffi의 CSM 알고리즘을 능가하여 180초 미만으로 완료되었고, CSM는 3시간을 초과하였다.
• Bertini에서의 수치적 구현은 호모토피 연속을 통해 고차원 아이디얼에서 기호적 방법이 실패하거나 너무 느린 경우에도 세그레 계수 차수를 계산할 수 있게 한다.
• 이 방법은 매끄러운 프로젝티브 다양체의 위상적 오일러 특성수를 세그레 계수 차수를 통해 계산하며, Macaulay2의 'euler' 루틴과 정확히 일치하는 결과를 낸다.
• 이 알고리즘은 기존 방법과 강력한 상호보완성을 보이며, 많은 예제에서 Aluffi의 CSM보다 빠르고, 복잡하거나 고차원 아이디얼의 경우 기호적 방법보다 더 스케일러블하다.
• Bertini의 재생 캐스케이드 알고리즘은 세그레 계수 계산에 필요한 잔여차수를 성공적으로 계산하여, 이 문제에 대해 수치대수기하학의 실현 가능성을 입증한다.