[논문 리뷰] A generalization of the space of complete quadrics

Abeer Al Ahmadieh, Mario Kummer외 1명|arXiv (Cornell University)|2020. 11. 27.

Advanced Combinatorial Mathematics참고 문헌 3인용 수 1

한 줄 요약

이 논문은 임의의 동차 다항식 $h$에 대해 다양체 $\Omega_h$를 부여하는 방식으로 완전 포락선의 공간을 일반화한다. 이 $\Omega_h$ 는 그라디언트 사상 $\nabla h$ 의 그래프 위에 비라시오널하게 매립된다. 주요 기여는 $\Omega_h$ 가 매끄럽게 되는 충분 조건을 제시하는 것으로, 이 조건은 $h$ 가 기본 대칭 다항식일 경우에 적용되며, 이 경우 $\Omega_h$ 는 일반화된 페르뮤투헤드론과 연결된 매끄러운 토릭 다양체가 된다. 반면, 반례들은 $\Omega_h$ 가 비매끄럽게 될 수도 있음을 보여준다.

ABSTRACT

To any homogeneous polynomial $h$ we naturally associate a variety $\Omega_h$ which maps birationally onto the graph $\Gamma_h$ of the gradient map $ abla h$ and which agrees with the space of complete quadrics when $h$ is the determinant of the generic symmetric matrix. We give a sufficient criterion for $\Omega_h$ being smooth which applies for example when $h$ is an elementary symmetric polynomial. In this case $\Omega_h$ is a smooth toric variety associated to a certain generalized permutohedron. We also give examples when $\Omega_h$ is not smooth.

연구 동기 및 목표

• 고전적 완전 포락선 이론을 더 넓은 범위의 동차 다항식으로 확장하기 위해.
• 임의의 동차 다항식 $h$ 와 관련된 자연스러운 다양체 $\Omega_h$ 를 정의하여, $\nabla h$ 의 그래프와 비라시오널하게 연결하기 위해.
• 특히 기본 대칭 다항식일 경우에 $\Omega_h$ 가 매끄럽게 되는 조건을 확립하기 위해.
• 토릭 및 페르뮤투헤드론 연결과 같은 기하학적 및 조합론적 구조를 $\Omega_h$ 에서 탐색하기 위해.
• 예를 들어 $\Omega_h$ 가 매끄럽지 않은 경우를 제시하여 매끄러움 기준의 경계를 부각시키기 위해.

제안 방법

• 동차 다항식 $h$ 에 대해 그라디언트 사상 $\nabla h$ 의 그래프의 비라시오널 모델로 $\Omega_h$ 를 구성하기 위해.
• 대수기하학 기법을 사용하여 $\Omega_h$ 의 특이점을 분석하고, 매끄러움을 위한 충분 조건을 도출하기 위해.
• 이 기준을 기본 대칭 다항식에 적용하여, $\Omega_h$ 가 매끄러운 토릭 다양체가 됨을 보여주기 위해.
• 다항식의 조합론적 성질에서 유도된 일반화된 페르뮤투헤드론과 $\Omega_h$ 의 팬을 연결하기 위해.
• 예를 들어 $\Omega_h$ 가 매끄럽지 않은 경우를 명시적으로 구성하여, 매끄러움 조건이 필수적이지 않음을 보여주기 위해.

실험 결과

연구 질문

• RQ1 동차 다항식 $h$ 와 관련된 다양체 $\Omega_h$ 가 어떤 조건에서 매끄럽게 되는가?
• RQ2 $\Omega_h$ 의 기하학은 다항식 $h$ 의 조합론적 성질과 어떻게 관련되어 있는가? 특히 $h$ 가 기본 대칭 다항식일 경우에 대해.
• RQ3 대칭 행렬의 행렬식에 대응하는 경우를 초월하여 $\Omega_h$ 의 구성 방식을 의미 있게 확장할 수 있는가?
• RQ4 일반화된 페르뮤투헤드론은 대칭 다항식에 대해 $\Omega_h$ 의 토릭 구조를 묘사하는 데 어떤 역할을 하는가?
• RQ5 매끄럽지 않은 $\Omega_h$ 를 유도하는 자연스러운 다항식의 범주가 존재하는가? 이러한 특이점은 무엇을 의미하는가?

주요 결과

• 다항식 $h$ 가 기본 대칭 다항식일 경우, 다양체 $\Omega_h$ 는 매끄럽고, 이 경우에 토릭 다양체가 된다.
• 기본 대칭 다항식에 대해 $\Omega_h$ 의 팬은 일반화된 페르뮤투헤드론과 대응된다.
• $\Omega_h$ 의 구성은 고전적 완전 포락선 공간을 일반화하며, 이는 $h = \det(\text{일반적인 대칭 행렬})$ 에 대응된다.
• 다양한 종류의 동차 다항식에 적용 가능한 $\Omega_h$ 의 매끄러움을 위한 충분 조건이 확립되었다.
• $\Omega_h$ 가 매끄럽지 않은 경우를 포함한 예시들이 제공되어, 이 기준이 필수적인 것은 아니며 매끄러운 경우를 초월한 기하학적 복잡성을 부각시킨다.