[논문 리뷰] Secant Varieties of the Varieties of Reducible Hypersurfaces in ${\mathbb P}^n$

Maria Virginia Catalisano, Anthony V. Geramita외 5명|arXiv (Cornell University)|2015. 01. 31.

Commutative Algebra and Its Applications참고 문헌 39인용 수 3

한 줄 요약

이 논문은 프로젝티브 공간 내 분해 가능 초곡면의 단면 다양체의 차원에 대한 추측적 공식을 제안하며, 그 공식은 등급 대수에서 약한 레프셰츠 성질과의 새로운 연결을 통해 유도된다. 이 공식은 많은 경우에서 조건 없이 증명되었으며, 이는 이전의 결과들을 통합하고 세그레 매장과 프뢰버그의 힐베르트 함수에 대한 추측의 특수한 경우들을 검증한다.

ABSTRACT

Given the space $V={\mathbb P}^{\binom{d+n-1}{n-1}-1}$ of forms of degree $d$ in $n$ variables, and given an integer $\ell>1$ and a partition $λ$ of $d=d_1+\cdots+d_r$, it is in general an open problem to obtain the dimensions of the $\ell$-secant varieties $σ_\ell ({\mathbb X}_{n-1,λ})$ for the subvariety ${\mathbb X}_{n-1,λ} \subset V$ of hypersurfaces whose defining forms have a factorization into forms of degrees $d_1,\ldots,d_r$. Modifying a method from intersection theory, we relate this problem to the study of the Weak Lefschetz Property for a class of graded algebras, based on which we give a conjectural formula for the dimension of $σ_\ell({\mathbb X}_{n-1,λ})$ for any choice of parameters $n,\ell$ and $λ$. This conjecture gives a unifying framework subsuming all known results. Moreover, we unconditionally prove the formula in many cases, considerably extending previous results, as a consequence of which we verify many special cases of previously posed conjectures for dimensions of secant varieties of Segre varieties. In the special case of a partition with two parts (i.e., $r=2$), we also relate this problem to a conjecture by Fröberg on the Hilbert function of an ideal generated by general forms.

연구 동기 및 목표

• 프로젝티브 공간 $\mathbb{P}^n$ 내 분해 가능 초곡면의 다양체에 대한 $(\ell-1)$-단면 다양체 $\sigma_\ell(\mathbb{X}_{n-1,\lambda})$ 의 차원을 결정하는 것.
• 특히 기대 차원이 달성되지 않을 때, 분해 가능 형식의 단면 다양체 차원을 계산하는 오랜 열린 문제를 다루는 것.
• 베론네, 세그레, 그라스만다양체의 단면 다양체에 대한 기존 결과들을 포함하는 통합적 프레임워크를 수립하는 것.
• 이 문제를 등급 대수에서의 약한 레프셰츠 성질과, 일반 형식에 의해 생성된 아이디얼의 힐베르트 함수에 대한 프뢰버그의 추측과 연결하는 것.
• 세그레 매장의 단면 다양체의 비결함성에 대한 추측을 새로운 매개변수 범위에서 검증하는 것.

제안 방법

• 저자들은 분해 가능 형식과 관련된 일련의 등급 아르틴 대수에서의 약한 레프셰츠 성질 연구를 통해 단면 다양체 차원 문제를 연결하기 위해 교차 이론을 사용한다.
• 일반 형식의 주어진 차수에 의해 생성된 아이디얼의 구조를 분석함으로써 기하 문제를 대수 문제로 전환하는 방법을 도입한다.
• 이 접근법은 이러한 대수에서의 약한 레프셰츠 성질의 실패를 연구하여 단면 다양체가 결함이 있는지 탐지하는 데 사용된다.
• 논문은 호크스터와 라크소프, 아닉, 완전교차이론의 결과를 활용하여 추측적 공식을 여러 경우에서 조건 없이 증명한다.
• r=2인 경우(이항 형식), 문제는 일반 형식에 의해 생성된 아이디얼의 힐베르트 함수에 대한 프뢰버그의 추측과 연결된다.
• 기대 차원을 유도하고 실제 차원과 비교하기 위해 매개변수 수와 차원 상한을 사용하여 결함성을 탐지한다.

실험 결과

연구 질문

• RQ1 프로젝티브 공간 $\mathbb{P}^n$ 내 $\lambda$-분해 가능 형식의 다양체에 대해 $(\ell-1)$-단면 다양체 $\sigma_\ell(\mathbb{X}_{n-1,\lambda})$ 의 차원은 무엇인가?
• RQ2 $\sigma_\ell(\mathbb{X}_{n-1,\lambda})$ 가 언제 결함이 있는가, 그리고 이러한 경우의 결함은 무엇인가?
• RQ3 관련된 등급 대수에서의 약한 레프셰츠 성질이 분해 가능 형식의 단면 다양체의 차원을 어떻게 결정하는가?
• RQ4 추측적 공식은 세그레와 베론네 다양체의 단면 다양체에 대한 알려진 결과들을 얼마나 통합하는가?
• RQ5 프뢰버그의 추측과의 연결을 통해 일반 형식에 대한 힐베르트 함수 추측의 새로운 경우를 증명하는 데 사용될 수 있는가?

주요 결과

• 논문은 분해 가능 형식의 단면 다양체에 대한 $\dim \sigma_\ell(\mathbb{X}_{n-1,\lambda})$ 의 추측적 공식을 제안하며, 이는 분해 가능 형식의 단면 다양체에 대한 모든 알려진 결과를 통합한다.
• 이 공식은 많은 경우에서 조건 없이 증명되었으며, 이는 세그레 매장의 단면 다양체에 대한 이전 결과들을 크게 확장한다.
• 저자들은 세그레 매장의 단면 다양체의 비결함성에 대한 추측 8.3을 새로운 매개변수 범위에서 검증한다.
• r=2인 경우, 논문은 단면 다양체 차원 문제와 일반 형식에 의해 생성된 아이디얼의 힐베르트 함수에 대한 프뢰버그의 추측 사이의 연결을 확립한다.
• d_2 = \cdots = d_r \gg 0 일 때 $\sigma_\ell(\mathbb{X}_{n-1,\lambda})$ 는 결함이 없으며, 이 경우 세그레 매장은 균형 잡힌 상태가 된다.
• 저자들은 $\mathbb{X}_{n-1,\lambda}$ 의 아핀 콘의 단면 다양체가 결함이 없음을 보이며, 이는 주요 결과를 위한 핵심 기술적 도구를 제공한다.