[논문 리뷰] Implicitization of surfaces in P^3 in the presence of base points

Laurent Busé, David Cox외 1명|ArXiv.org|2002. 05. 23.

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

한 줄 요약

이 논문은 ℙ³ 내의 유리 표면을 암묵화하기 위한 움직이는 쌍곡면 방법을 기저점이 존재하는 경우로 일반화하며, 기저점이 국소 완전교차이면 암묵식이 매개변수화 이상의 심지어 기저점이 존재하는 경우에도 결과물의 결과로서 계산될 수 있음을 보여준다. 주요 기여는 기존의 기저점이 없는 경우에만 유효했던 결과물 기반의, 행렬식을 사용하지 않는 방법을 확장한 것이다.

ABSTRACT

We show that the method of moving quadrics for implicitizing surfaces in P^3 applies in certain cases where base points are present. However, if the ideal defined by the parametrization is saturated, then this method rarely applies. Instead, we show that when the base points are a local complete intersection, the implicit equation can be computed as the resultant of the first syzygies.

연구 동기 및 목표

• 기저점이 존재하는 경우에 대해 ℙ³ 내의 유리 표면을 암묵화하기 위한 움직이는 쌍곡면 방법을 일반화한다.
• 기저점이 존재하는 상황에서도 방법이 유효한 대수적 조건을 규명한다.
• [CGZ]에서 제기된 기저점 존재 시 움직이는 쌍곡면의 적용 가능성에 대한 열린 질문을 해결한다.
• 기하 모델링에서 그로버 기저와 변형된 결과물의 대안으로서의 암묵화를 제공한다.
• 매개변수화 이상 I가 포화되고 차수 >3이면 움직이는 쌍곡면 방법이 실패함을 보여주며, 이는 대체 방법이 필요하다는 것을 시사한다.

제안 방법

• I = ⟨x,y,z,w⟩ ⊂ ℂ[s,t,u]의 이상 I의 심지어 모듈을 이용해 움직이는 평면과 쌍곡면을 구성하는 데 기초를 둔다.
• I와 I²의 심지어 계수를 포함하는 행렬 𝕄를 구성하며, 적절한 조건 하에서 그 행렬식이 암묵식을 제공한다.
• I가 국소 완전교차이면 I의 첫 번째 심지어 결과물을 사용해 암묵식을 계산하는 방법을 적용한다.
• 동차 이상의 정규성(regularity)을 이용해 결과물 구성의 정확성을 보장하는 코homological 소멸 조건을 확립한다.
• 층 코homology와 정확열 0 → 𝒪(−1) → 𝒪 → 𝒪ℙ¹ → 0을 이용해 𝒪ℙ²(−1)의 코homology를 이상층과 연결한다.
• I가 m ≥ 2n−2에서 m-정규이고 dim(R/I)_m = deg(Z)이면 I는 m-정규이며, 이는 심지어 기반의 암묵화를 가능하게 한다.

실험 결과

연구 질문

• RQ1 움직이는 쌍곡면 방법은 ℙ³ 내의 기저점이 존재하는 유리 표면으로까지 확장될 수 있는가?
• RQ2 기저점이 존재할 때 매개변수화 이상 I에 대해 어떤 대수적 조건이 만족되어야 움직이는 쌍곡면을 통해 암묵식이 여전히 계산될 수 있는가?
• RQ3 매개변수화 이상 I가 포화되고 차수 >3이면 움직이는 쌍곡면 방법은 어떻게 되는가?
• RQ4 기저점이 국소 완전교차이를 이룰 경우 심지어 결과물로 암묵식을 회복할 수 있는가?
• RQ5 기저점의 수는 움직이는 쌍곡면 행렬의 크기와 구조에 어떤 영향을 미치는가?

주요 결과

• 기저점이 국소 완전교차이를 이루고 I가 m ≥ 2n−2에서 m-정규이면 움직이는 쌍곡면 방법은 ℙ³ 내의 표면에 대해 적용 가능하다.
• 기저점의 수가 매개변수화의 차수 n 이상이면 원래 [CGZ] 방법보다 더 작은 행렬의 행렬식으로 암묵식을 계산할 수 있다.
• 매개변수화 이상 I가 포화되고 차수 >3이면 움직이는 쌍곡면 방법은 실패하며, 이는 4.1조에서 보여진다.
• I가 포화된 국소 완전교차이이면 암묵식은 심지어 모듈의 기저의 결과물이며, 차수 n만큼 거듭제곱한 것과 같다.
• 국소 완전교차이의 경우 심지어 결과물은 암묵식을 회복하며, 곡선의 μ-기저 개념을 일반화한다.
• m ≥ 2n−2에서 dim(R/I)_m = deg(Z)는 I가 m-정규임을 보장하는 필수 및 충분조건이며, 이는 결과물 구성의 타당성을 보장한다.