[논문 리뷰] Some results on inhomogeneous discriminants

María Angélica Cueto, Alicia Dickenstein|ArXiv.org|2006. 10. 01.

Polynomial and algebraic computation참고 문헌 16인용 수 13

한 줄 요약

이 논문은 최대 소수의 최대 근사가 임의인 정수 행렬에 대해 비균일한 흩어진 판별식의 일반화된 호른-카프라노프 분수 매개화를 연구한다. 모든 이러한 매개화가 비라시얼임을 증명하고, 비포화 및 포화 격자 사이의 판별식 간 정확한 관계를 설정하며, 균일한 (코)차원 3의 경우 판별식의 차수를 계산하는 조합적 알고리즘을 제공한다.

ABSTRACT

We study generalized Horn-Kapranov rational parametrizations of inhomogeneous sparse discriminants from both a theoretical and an algorithmic perspective. We show that all these parametrizations are birational and prove some results on the corresponding implicit equations. We also propose a combinatorial algorithm to compute the degree of inhomogeneous discriminantal surfaces associated to uniform matrices.

연구 동기 및 목표

• 일반화된 비균일 판별식의 기하학적 및 대수적 성질을 연구한다.
• 최대 소수의 최대 근사가 임의인 정수 행렬에 의해 정의된 매개화의 비라시얼성을 해결하며, 카프라노프의 결과를 단순형의 경우를 초월하여 일반화한다.
• 비포화 격자와 그 포화된 격자 간의 판별식 간 정확한 대수적 관계를 설정한다.
• 균일한 (코)차원 3의 경우 판별식의 차수를 계산하는 조합적 알고리즘을 개발한다.
• 결과를 적용하여, 볼륨의 보정된 볼륨을 통해 원점에서의 균일한 흩어진 다항식계의 국소 다중도를 계산한다.

제안 방법

• B는 갈레 쌍대 행렬임을 고려하여, $ y_j = \prod_{i=1}^n (b_{i1}u_1 + \cdots + b_{im}u_m)^{b_{ij}} $ ($ j=1,\dots,m $) 형태의 호른-카프라노프 분수 매개화를 사용한다.
• 로그 기하학적 가우스 사상이 비라시얼임과 동시에 정규적이며, 비결함이 없는 정수 행렬 $ C $에서 유래된 매개화일 때에만 성립함을 증명하며, 카프라노프의 결과를 일반화한다.
• B는 $ \mathbb{Z}C $의 포화의 $ \mathbb{Z} $-기저이므로, 일반화된 비균일 판별식 $ \Delta_C $ 를 $ \Delta_B $ 를 통해 포화된 경우와 연결한다.
• 기저점에서의 이상의 국소 다중도를 계산하기 위해 알고리즘 4.1을 적용하며, 선형 좌표 변경을 통해 단항식 이상으로 변환한다.
• 카일리 기법을 사용하여 혼합 흩어진 결과식을 흩어진 판별식으로 감소시키며, 결과를 고전적 초기하계와 연결한다.
• 베른슈타인의 정리와 보정된 볼륨 계산을 활용하여, 0차원 이상의 다중도를 첫 번째 사분면에서 볼록 hull의 보완의 부피와 연결한다.

실험 결과

연구 질문

• RQ1 비균일 판별식의 호른-카프라노프 매개화가 언제 비라시얼이 되는가?
• RQ2 비포화 격자 $ \mathbb{Z}C $ 와 그 포화된 격자 간의 판별식 $ \Delta_C $ 와 $ \Delta_B $ 는 어떤 관계가 있는가?
• RQ3 균일한 (코)차원 3의 경우, 비균일 판별식의 차수를 조합적으로 계산할 수 있는가?
• RQ4 원점에서의 일반적인 균일한 흩어진 다항식계의 국소 다중도의 기하학적 의미는 무엇인가?
• RQ5 기저점에서의 국소 이상을 항상 선형 좌표 변경을 통해 단항식 이상으로 변환할 수 있는가?

주요 결과

• 최대 소수의 최대 근사가 임의인 정수 행렬 $ C $ 에 의해 정의된 모든 호른-카프라노프 매개화는 비라시얼이다.
• 일반화된 비균일 판별식 $ \Delta_C $ 는 단항식 변환을 통해 포화된 판별식 $ \Delta_B $ 와 연결되며, 계수와 단항식 수는 스케일링을 제외하고 보존된다.
• 균일한 (코)차원 3의 경우 판별식의 차수를 계산하는 조합적 알고리즘이 제시되며, 차수 18인 예시가 제시된다.
• 원점에서의 일반적인 균일한 흩어진 다항식계의 국소 다중도는 첫 번째 사분면에서 이동된 지수 집합의 볼록 hull의 보완의 보정된 볼륨과 같다.
• 기저점에서의 국소 이상은 선형 좌표 변경을 통해 단항식 이상으로 변환 가능할 수도 있고 불가능할 수도 있으며, 이러한 변환에 대한 일반적인 패턴은 존재하지 않는다.
• 보조정리 4.8의 결과는 순수 거듭제곱 단항식을 가진 시스템의 원점에서의 다중도가 $ \mathcal{K}_A $, 즉 $ \{\alpha_i + \mathbb{R}_{\geq 0}^d\} $ 의 볼록 hull의 보완의 보정된 볼륨으로 주어진다.