[논문 리뷰] Cohen-Macaulay Nilpotent Schemes

Nicolae Manolache|ArXiv.org|2003. 12. 31.

Algebraic Geometry and Number Theory참고 문헌 17인용 수 4

한 줄 요약

이 논문은 프로젝트 공간 내 평면과 같은 매끄러운 다양체 위의 코hen-Macaulay 근본적 구조—특히 이중 및 삼중 구조—를 조사한다. 힐버트 다항식 비교와 리만-로흐-히르체브루흐 정리에 의한 체른 클래스 제약 조건을 통해, 특정한 비분해적 랭크 3 벡터 복합체가 존재하지 않음을 증명한다. 이는 다항식의 비정수 값이 발생하기 때문이다. 이 복합체의 영집합은 평면 위의 삼중 구조이다.

ABSTRACT

The first part of this paper, written mainly for nonspecialists, is a short and partial survey about the construction and classification of nilpotent Cohen-Macaulay scheme structures on a scheme "less nilpotent"(e.g. a smooth variety) as support. The second part presents some old and new examples about degree 4 curves in the projective space and inexistence of certain vector bundles.

연구 동기 및 목표

• 프로젝트 공간 내 평면과 같은 매끄러운 다양체 위의 코hen-Macaulay 다重 구조—특히 이중 및 삼중 구조—의 존재를 조사하는 것.
• 이러한 구조가 특정한 벡터 복합체의 단면의 영집합으로 나타날 수 있는지, 특히 힐버트 스킴과 모듈리 문제의 맥락에서 확인하는 것.
• 영스킴이 다중 구조인 벡터 복합체의 체른 클래스에 대해 리만-로흐-히르체브루흐 정리가 부과하는 제약 조건을 분석하는 것.
• 비분해적 복합체가 주어진 근본적 스킴 구조를 갖는다는 추측 문제를 해결하는 것.

제안 방법

• 이deal의 정의 정확한 수열을 통해 매끄러운 다양체 $X$ 위의 다중 구조 $Y$ (이중 또는 삼중)의 힐버트 다항식을 구성한다.
• 기하적 구조로부터 유도된 스킴 $Y$ 의 힐버트 다항식을, 리만-로흐-히르체브루흐 정리에 의해 벡터 복합체 $E$ 의 체른 클래스로부터 유도된 힐버트 다항식과 비교한다.
• 벡터 복합체의 힐버트 다항식이 모든 정수 $t$ 에 대해 정수 값을 가져야 한다는 조건을 이용해 체른 클래스에 대한 수론적 제약 조건을 유도한다.
• 힐버트 다항식을 이항계수 $\binom{t+i}{i}$ 의 기저에서 표현하기 위해 리만-로흐-히르체브루흐 공식을 적용하고, 계수의 정수성 여부를 점검한다.
• 체르트의 정확한 수열이 $\mathrm{Ext}^1$ 군의 소멸에 의해 분해됨을 이용해, 이중 구조의 경우 리트랙트 구조의 존재를 확립한다.
• 가장자리가 평면 위의 삼중 구조인 가상의 벡터 복합체 $E$ 의 체른 클래스 $c_1, c_2, c_3$ 를 분석하고, 힐버트 다항식의 비정수 계수를 통해 모순을 도출한다.

실험 결과

연구 질문

• RQ1 프로젝트 공간 $\mathbb{P}^5$ 내 평면 $X$ 위의 삼중 구조가 $\mathbb{P}^5$ 상의 비분해적 랭크 3 벡터 복합체의 단면의 영집합으로 나타날 수 있는가?
• RQ2 벡터 복합체의 힐버트 다항식과 체른 클래스는 이러한 근본적 스킴 구조의 존재에 대해 어떤 제약 조건을 가진다?
• RQ3 기하학적 및 코homological 제약 조건이 알려진 바에 비추어, $\mathbb{P}^5$ 상의 랭크 3 복합체 중 단면의 소멸 스킴이 평면 위의 코hen-Macaulay 삼중 구조인 복합체가 존재하는가?
• RQ4 어떤 체른 클래스 조합이 벡터 복합체의 힐버트 다항식에서 비정수 값을 유도하는가? 이는 그러한 복합체의 존재성에 대해 어떤 함의를 갖는다?
• RQ5 리만-로흐-히르체브루흐 정리로부터 도출된 힐버트 다항식의 계수에 대한 대수적 조건은 이러한 복합체의 존재를 어떻게 배제하는가?

주요 결과

• 비분해적 랭크 3 벡터 복합체 $F$ 는 존재하지 않으며, 그 이유는 이 복합체의 힐버트 다항식 계수에 비정수 값이 포함되어 있기 때문이다. 이 복합체의 소멸 스킴은 $\mathbb{P}^5$ 내 평면 $X \subset \mathbb{P}^5$ 위의 삼중 구조이다.
• 가상의 복합체 $E$ 의 힐버트 다항식은 리만-로흐-히르체브루흐 정리로부터 유도되며, 계수 $\frac{207R^4 - 1512R^3 - 1845R^2 - 828R - 134}{12}$ 를 포함하고 있는데, 이는 어떤 정수 $R$ 에 대해서도 정수가 아니며, 따라서 힐버트 다항식이 항상 정수 값을 가져야 한다는 조건에 위배된다.
• 이러한 복합체의 체른 클래스는 $c_1 = 6R - 3$, $c_2 = 57R^2 + 27R + 13$, $c_3 = -3$ 이지만, 이는 비정수 힐버트 다항식을 유도하여 복합체의 존재를 불가능하게 한다.
• 이중 구조의 경우, $H^1(G^\vee(2r))$ 의 소멸로 인해 정확한 수열이 분해되며, 리트랙트의 존재가 보장된다.
• 평면 위의 이중 구조의 힐버트 다항식은 $\chi_Y(t) = t^2 + (r+3)t + \frac{r^2 + 3r + 4}{2}$ 로 계산되며, 이는 기하적 구성과 일치한다.
• 이러한 복합체의 존재를 가정할 경우 힐버트 다항식의 정수성에 모순이 발생하므로, 복합체의 존재 불가를 증명한다.