[논문 리뷰] Monomial ideals and the Gorenstein liaison class of a complete intersection

Juan Migliore, Uwe Nagel|ArXiv.org|2001. 03. 27.

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

한 줄 요약

이 논문은 아르틴ian 단항 이상과 코hen-맥컬레이 Borel-고정 단항 이상이 glicci임을 입증한다. 즉, 이들은 완전교차의 과르텐스타인 연결류에 속한다. 단항 이상으로부터 산술적으로 코hen-맥컬레이 스킴을 만드는 데 사용되는 리프팅 기법을 통해, 산술적으로 코hen-맥컬레이 스킴이 실현할 수 있는 모든 힐베르트 함수는 glicci 스킴에서도 실현 가능하다는 것을 보이며, 이는 모든 산술적으로 코hen-맥컬레이 부분스킴이 평탄한 변형을 거쳐 glicci가 되리라는 강력한 증거를 제공한다.

ABSTRACT

It is well known that for a subscheme $V$ in ${\mathbb P}^{n}$ of codimension two, the conditions (1) $V$ is ACM, and (2) $V$ is "licci" (i.e. $V$ is in the liaison class of a complete intersection) are equivalent. In higher codimension, (2) implies (1) but the converse is false. For Gorenstein liaison the analog of (2) is: $(2')$ $V$ is "glicci" (i.e. $V$ is in the Gorenstein liaison class of a complete intersection). It remains true that $(2')$ implies (1) but now the converse is an important open question. Previously the authors described a mechanism for lifting monomial ideals to reduced unions of linear varieties. We show here that if the monomial ideal is Artinian then the corresponding union is glicci. As a consequence, any Hilbert function that occurs among ACM schemes in fact occurs among glicci schemes. This is not true if we restrict to complete intersection links. We also show that any Cohen-Macaulay Borel-fixed monomial ideal is glicci. As a consequence, all ACM subschemes of projective space are glicci up to flat deformation.

연구 동기 및 목표

• 프로젝티브 공간의 모든 산술적으로 코hen-맥컬레이(ACM) 부분스킴이 완전교차의 과르텐스타인 연결류에 속하는가(즉, glicci인가)를 조사하는 것.
• licci 스킴에 대한 가에타의 정리를 더 넓은 과르텐스타인 연결 설정으로 확장하는 것.
• 산술적으로 코hen-맥컬레이 스킴이 실현할 수 있는 모든 힐베르트 함수가 glicci 스킴에서도 실현 가능함을 보여주는 것.
• 모든 ACM 부분스킴이 평탄한 변형을 거쳐 glicci가 되며, 이는 질문 1.1에 대한 긍정적 답변을 제시하는 것(변형을 고려한 범위에서).

제안 방법

• 선형형태로 이루어진 리프팅 행렬을 사용한 t-리프팅 구성법을 통해 아르틴ian 단항 이상을 축약된, 산술적으로 코hen-맥컬레이인 선형다양체의 합집합의 완전 이상으로 리프팅하는 것.
• 초평면 절단과 G-이중연결을 통한 재귀적 연결 과정을 활용하여 리프팅된 이상이 glicci임을 보이는 것.
• 일반적인 초기 이상 이론과 Borel-고정 이상 이론을 적용하여 모든 ACM 스킴이 glicci 스킴으로 변형될 수 있음을 보이는 것.
• 부분환환 위에서의 단항 이상의 힐베르트 함수 분해를 통해 리프팅 및 연결 과정을 이끄는 것.
• 레크스-세그먼트 이상을 리프팅하고 결과 스킴이 glicci임을 검증함으로써, 특정 h-벡터를 갖는 glicci 스킴의 구체적 예를 만드는 것.
• Borel-고정 단항 이상이 일반적인 초기 이상이므로 원래 ACM 스킴의 평탄한 변형을 정의한다는 사실에 의존하는 것.

실험 결과

연구 질문

• RQ1 모든 프로젝티브 공간의 산술적으로 코hen-맥컬레이 부분스킴은 평탄한 변형을 거쳐 glicci인가?
• RQ2 산술적으로 코hen-맥컬레이 스킴이 실현할 수 있는 모든 힐베르트 함수는 glicci 스킴에서도 실현 가능한가?
• RQ3 모든 코hen-맥컬레이 Borel-고정 단항 이상은 glicci인가?
• RQ4 아르틴ian이 아닌 경우로까지 아르틴ian 단항 이상에 사용된 리프팅 및 연결 기법이 확장 가능한가?
• RQ5 모든 단항 이상에 대해, Borel-고정이 아닌 경우도 포함하여 glicci 성질을 확립할 수 있는가?

주요 결과

• 주어진 O-시퀀스 힐베르트 함수를 갖는 비퇴화된 산술적으로 코hen-맥컬레이인 축약된 선형다양체의 합집합은 항상 glicci이며, 이는 모든 이러한 힐베르트 함수가 glicci 스킴에 존재함을 보여준다.
• 모든 아르틴ian 단항 이상은 glicci 이상으로 리프팅 가능하며, 이는 해당 선형다양체의 합집합이 완전교차의 과르텐스타인 연결류에 속한다는 것을 의미한다.
• 모든 산술적으로 코hen-맥컬레이 Borel-고정 단항 이상은 glicci이며, 이는 모든 산술적으로 코hen-맥컬레이 부분스킴이 평탄한 변형을 거쳐 glicci가 된다는 것을 의미한다.
• 리프팅 구성법은 원래 이상이 아르틴ian이 아니더라도 결과 스킴이 축약되고 산술적으로 코hen-맥컬레이이며 glicci임을 보장한다.
• 이 방법은 특정 h-벡터를 갖는 glicci 스킴을 구성할 수 있으며, 예를 들어 P^3에서 (1,3,6,10,4,2)와 같은 h-벡터를 갖는 스킴을 쉽게 얻을 수 없다는 점을 감안할 때 매우 유용하다.
• 증명은 ACM 스킴이 실현할 수 있는 모든 힐베르트 함수에 대해 glicci 스킴이 존재하며, 이는 일반적으로 licci 스킴에서는 성립하지 않는다는 것을 보여준다.