[논문 리뷰] An algorithmic approach to Chevalley's Theorem on images of rational morphisms between affine varieties

Mohamed Barakat, Markus Lange‐Hegermann|arXiv (Cornell University)|2019. 11. 23.

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

한 줄 요약

이 논문은 약간의 상대 경계 힐 구성에 기반한 새로운 방법을 사용하여, 약간의 사영적 컴actsification과 섬유 차원 감소 기법을 활용해, 약간의 아핀 다양체 간의 유리형 사상의 구조적 이미지에 대한 체바예의 정리를 알고리즘적이고 구성적으로 증명한다. 이 방법은 그로브너 기저와 제거를 통해 효율적인 이미지 계산을 가능하게 하며, 조기 주요 분해를 피하고 이전 방법들보다 계산 효율성이 뛰어난 코드로 구현되어 있다.

ABSTRACT

The goal of this paper is to introduce a new constructive geometric proof of the affine version of Chevalley's Theorem. This proof is algorithmic and a verbatim implementation resulted in an efficient code for computing the constructible image of rational maps between affine varieties. Our approach extends the known descriptions of uniform matrix product states to $\operatorname{uMPS}(2,2,5)$

연구 동기 및 목표

• 유리형 준동형 사상의 이미지에 대한 아핀 형태의 체바예의 정리에 대한 구성적이고 알고리즘적인 증명을 제공하는 것.
• 아핀 다양체 사이의 유리형 사상의 구조적 이미지를 계산하는 데 있어 계산적으로 효율적인 방법을 개발하는 것.
• 섬유 차원 감소 기법을 통해 주요 분해를 연기하거나 피하는 것으로 계산 비용을 줄이는 것.
• 사영적 컴actsification과 일반적인 0차원 섬유를 기반으로 한 새로운 상대 경계 힐 구성법을 도입하는 것.
• 이분 그래프 데이터 구조와 반복적 분해를 통해 이미지 계산의 실용적 구현을 가능하게 하는 것.

제안 방법

• 원래의 닫힌 부분집합을 대체하여 사영 사상에서 일반적으로 0차원 섬유를 가지는 부분집합 Γ₀ ⊆ Γ를 사용하여 이미지 f(C)에 대한 상대 경계 힐 D를 구성한다.
• 사영적 컴actsification을 사용한다: 환경 공간을 사영 공간에 매립하고, Γ₀의 폐포를 Pⁿ_Y에서 고려하며, 무한원수 평면 H와의 교차를 고려한다.
• 상대 경계 힐 D를 무한원수 점들의 이미지로 정의한다: Γ₀∞ := bΓ₀ ∩ H.
• 사영 공식 f(f⁻¹(D) ∩ C) = D ∩ f(C)을 적용하여 f(C)를 국소적으로 닫힌 집합과 더 작은 이미지의 disjoint union으로 분해함으로써 반복 계산이 가능하게 한다.
• 구성적 집합을 닫힌 집합의 차집합의 disjoint union으로 표현하는 이분 그래프 방향성 데이터 구조를 사용하여 알고리즘을 구현한다.
• 각 단계에서 LocallyClosedApproximationOfProjection을 사용하여 국소적으로 닫힌 근사치를 계산하고, 각 재귀 단계 후에 중복 노드를 제거하기 위해 압축을 적용한다.

실험 결과

연구 질문

• RQ1 체바예의 정리에서 구조적 이미지에 대해 알고리즘적 방법을 사용하여 구성적으로 증명할 수 있는가?
• RQ2 이미지 계산에서 재귀 깊이와 복잡도를 줄이는 데 효과적이고 최소한의 상대 경계 힐 구성은 무엇인가?
• RQ3 구조적 이미지 계산에서 주요 분해를 연기하거나 피할 수 있는가?
• RQ4 사영적 컴actsification과 섬유 차원 감소 기법의 사용이 계산 효율성을 어떻게 향상시키는가?
• RQ5 구성적 집합의 반복적 분해를 지원하는 데 가장 적합한 데이터 구조와 알고리즘 전략은 무엇인가?

주요 결과

• 제안된 알고리즘은 유리형 사상의 이미지를 유한한 국소적으로 닫힌 집합의 disjoint union으로 구성함으로써, 체바예의 정리에 대한 구성적 증명을 제공한다.
• 상대 경계 힐은 사영적 컴actsification과 무한원수 점들의 이미지에 기반하여 구성되며, 정확성과 계산 효율성을 보장한다.
• 제거 이전에 일반적으로 0차원 섬유로 감소시킴으로써 주요 분해를 피하거나 연기하는 방법을 사용한다.
• 이 구현은 각 재귀 단계 내에서 효율적인 압축과 병렬 처리를 지원하는 이분 그래프 데이터 구조를 사용한다.
• 그로브너 커버와 일반적인 자유성 기반 접근법과 같은 이전 방법들보다 더 작은, 더 낮은 차수의 경계 힐을 생성함으로써 성능에서 뛰어난 성능을 발휘한다.
• 토릭 다양체에서 궤도 계산에 대해 검증되었으며, 주어진 궤도 폐쇄와 그 경계의 차집합으로서 국소적으로 닫힌 주요 토릭 궤도를 정확히 계산한다.