[논문 리뷰] Configurations of Linear Spaces of Codimension Two and the Containment Problem

Ben Drabkin|arXiv (Cornell University)|2017. 04. 25.

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

한 줄 요약

이 논문은 프로젝티브 공간 $\mathbb{P}^N$ ($N \geq 2$)에서 기호 포함 추측 $I^{(3)} \not\subseteq I^2$에 대한 반례 가족을 구축한다. 페르마 유형의 초평면 배열을 사용하여, $F_{N,n} = \prod_{i<j}(x_i^n - x_j^n)$에서 삼중 교차로 유도된 $N-2$차원 선형 평면을 포괄하는 이상수 $I_{N,n}$를 정의한다. 저자들은 $F_{N,n} \in I_{N,n}^{(3)}$ 이며 $F_{N,n} \not\in I_{N,n}^2$임을 증명하여, 이는 $\mathbb{P}^2$ 및 $\mathbb{P}^3$에서의 이전 반례를 모든 차원으로 일반화한다.

ABSTRACT

We show that the union of certain codimension two flats in Fermat hyperplane arrangements does not have the symbolic cube of the defining ideal contained in the square of the ideal.

연구 동기 및 목표

• 기존의 반례를 $\mathbb{P}^2$ 및 $\mathbb{P}^3$를 초월하여 모든 $\mathbb{P}^N$ ($N \geq 2$)로 확장하는 것.
• 페르마 유형 배열의 삼중 교차에서 유도된 $N-2$차원 선형 공간으로 구성된 대상의 다양체를 가진 이상수 $I_{N,n}$의 가족을 구성하는 것.
• $F_{N,n} \in I_{N,n}^{(3)}$ 이며 $F_{N,n} \not\in I_{N,n}^2$임을 증명하여, 고차원에서의 추측 $I^{(3)} \subseteq I^2$에 대한 반례를 확립하는 것.
• 평가 준동형사상의 방법을 일반화하고 레마 2.3을 사용하여 고차원 프로젝티브 공간에서의 포함관계 부재를 귀납적으로 증명하는 것.

제안 방법

• 프로젝티브 공간 $\mathbb{P}^N$에서 페르마 유형 초평면 배열에 대응하는 일차형식들의 곱으로서 $F_{N,n} = \prod_{0 \leq i < j \leq N} (x_i^n - x_j^n)$을 정의한다.
• 초평면 $x_i^n - x_j^n$에서 유도된 $n$개의 초평면 교차를 포괄하는 $C_{N,n}$과 서로 다른 일차형식의 삼중 교차를 포괄하는 $J_{N,n}$을 이용하여 이상수 $I_{N,n} = J_{N,n} \cap C_{N,n}$를 구성한다.
• 레마 2.2를 사용하여 $I_{N,n}$이 배열 내 삼중 교차로 유도된 모든 $N-2$차원 선형 공간의 합집합을 정의함을 보인다.
• 평가 준동형사상 $\pi: S_N \to S_{N-1}$을 적용하여 $\pi(x_N) = 1$로 정의함으로써 문제를 $\mathbb{P}^N$에서 $\mathbb{P}^{N-1}$로 축소한다.
• 레마 2.3을 활용하여, 만약 $\pi(F_{N,n}) = F_{N-1,n} \cdot g$ 이고 $g \not\in \mathfrak{m}$이며 $F_{N-1,n} \not\in I_{N-1,n}^2$이면, $F_{N,n} \not\in I_{N,n}^2$임을 보이고, 이를 통해 귀납적 증명을 가능하게 한다.
• 자리지-나가타 정리를 이용하여 $V(I_{N,n})$의 모든 $N-2$차원 성분에서의 최소 3차 미분의 소멸을 확인함으로써 $F_{N,n} \in I_{N,n}^{(3)}$임을 확인한다.

실험 결과

연구 질문

• RQ1 기호 포함 추측 $I^{(3)} \subseteq I^2$에 대한 반례가 $\mathbb{P}^2$에서 $N \geq 3$인 고차원 프로젝티브 공간 $\mathbb{P}^N$으로 확장되는가?
• RQ2 $x_i^n - x_j^n$으로 정의된 초평면 배열을 사용하여 $\mathbb{P}^N$ ($N > 3$)에서 기호 포함 추측 $I^{(m)} \subseteq I^r$가 위반될 수 있는가?
• RQ3 페르마 배열 $F_{N,n}$의 삼중 교차에서 유도된 $N-2$차원 평면을 포괄하는 이상수 $I_{N,n}$의 구조는 어떠한가?
• RQ4 평가 준동형사상과 레마 2.3을 어떻게 사용하여 $F_{N,n}$이 $I_{N,n}^2$에 포함되지 않는 것을 귀납적으로 증명할 수 있는가?
• RQ5 $F_{N,n}$이 제3의 기호 거듭제곱 $I_{N,n}^{(3)}$에 속해 있지만 제곱 $I_{N,n}^2$에 속하지 않아 추측된 포함관계가 위반되는가?

주요 결과

• 모든 $N \geq 2$에 대해, 페르마 배열 $F_{N,n}$의 $N-2$차원 평면에 대응하는 이상수 $I_{N,n}$은 $F_{N,n} \in I_{N,n}^{(3)}$를 만족하며, $V(I_{N,n})$에서의 최소 3차 미분 소멸을 확인한다.
• $F_{N,n}$은 귀납적 증명과 평가 준동형사상 $\pi$를 통해 $I_{N,n}^2$에 속하지 않음을 보였다. 여기서 $\pi(F_{N,n}) = F_{N-1,n} \cdot g$ 이고 $g \not\in \mathfrak{m}$이다.
• 귀납 단계는 레마 2.3에 의존하며, 이는 $F_{N-1,n} \not\in I_{N-1,n}^2$ 이고 $g$가 최대 이상수 모듈로 단위원이면 $F_{N,n} \not\in I_{N,n}^2$임을 보장한다.
• 이 구성은 $\mathbb{P}^2$에서의 반례(Dumnicki, Szemberg, Tutaj-Gasińska)와 $\mathbb{P}^3$에서의 반례(Malara, Szpond)를 $N \geq 2$인 모든 $\mathbb{P}^N$으로 일반화한다.
• 결과적으로 이는 고차원 프로젝티브 공간에서 $m = 3$, $r = 2$인 경우 기호 포함 추측 $I^{(m)} \subseteq I^r$에 대한 새로운 반례 가족을 제공한다.
• $I_{N,n}$이 배열 내 삼중 교차로 유도된 모든 $N-2$차원 선형 공간에 대응하는 소수 이상수들의 교차임을 증명함으로써 기하학적 정확성을 확인한다.