[논문 리뷰] Paramétrisation des courbes multiples primitives

Jean–Marc Drézet|arXiv (Cornell University)|2006. 05. 29.

Algebraic Geometry and Number Theory인용 수 7

한 줄 요약

이 논문은 매끄러운 곡선 $C$ 위에서 자동사 sheaf의 비아벨 코hom로, 임의의 중복도 $n$을 가진 원시 다중 곡선의 완전한 매개화를 제공한다. 이러한 곡선들은 $C$ 를 유지하는 자동사에 의한 $U_i \times \mathbb{Z}_n$ 의 국소 모델들을 붙임으로써 유도되며, 이소모르피즘 유형은 $H^1(C, \mathcal{G}_n)$ 로 분류된다. 이는 바이어와 아이젠부르크의 이중 곡선에 대한 작업을 더 높은 중복도로 확장하며, 명시적인 기하학적 및 코homological 기술을 제공한다.

ABSTRACT

The primitive curves are the multiple curves that can be locally embedded in smooth surfaces (we will always suppose that the associated reduced curves are smooth). These curves have been defined and studied by C. Banica and O.Forster in 1984. In 1995, D. Bayer and D. Eisenbud gave a complete description of the double curves. We give here a parametrization of primitive curves of arbitrary multiplicity. Let Z_n=spec(\C[t]/(t^n)). The curves of multiplicity n are obtained by taking an open cover (U_i) of a smooth curve C and by glueing schemes of type U_i X Z_n using automorphisms of U_{ij} X Z_n that leave U_{ij} invariant. This leads to the study of the sheaf of nonabelian groups G_n of automorphisms of C X Z_n that leave the reduced curve invariant, and to the study of its first cohomology set. We prove also that in most cases it is the same to extend a primitive curve C_n of multiplicity n to one of multiplicity n+1, and to extend the quasi locally free sheaf D_n of derivations of C_n to a rank 2 vector bundle on C_n.

연구 동기 및 목표

• 이중 곡선을 초월해 중복도 2 이상의 원시 다중 곡선의 분류를 일반화하는 것.
• 임의의 중복도 $n$을 가진 원시 다중 곡선의 완전한 기하학적 및 코homological 매개화를 제공하는 것.
• 이소모르피즘 유형과 첫 번째 비아벨 코homology 집합 $H^1(C, \mathcal{G}_n)$ 사이의 대응을 확립하는 것. 여기서 $\mathcal{G}_n$ 은 감소 곡선을 유지하는 자동사의 sheaf 이다.
• 중복도 $n$인 원시 곡선을 $n+1$로 확장하는 것과, 유도자 sheaf $\mathcal{D}_n$ 을 곡선 위의 랭크 2 벡터 번들의로 확장하는 것 사이의 관계를 명확히 하는 것.
• 중복도 3인 원시 곡선의 상세한 분류를 제시하며, 이들이 $H^1(L)$ 에 의해 매개화되며, 자명한 이중 곡선의 분할 확장 집합 $\mathcal{C}^S(C_2^0)$ 로의 자연스러운 전성 사상이 있음을 보이는 것.

제안 방법

• 기본 곡선 $C$ 를 유지하는 자동사를 사용하여 국소 모델 $U_i \times \mathbb{Z}_n$ 를 붙임으로써 중복도 $n$인 원시 다중 곡선을 구성하고, 코ycle 조건을 만족시키는 것.
• 기본 곡선 $C$ 를 고정하는 $C \times \mathbb{Z}_n$ 의 비아벨 군 자동사의 sheaf $\mathcal{G}_n$ 을 정의하고, 그 첫 번째 코homology 집합 $H^1(C, \mathcal{G}_n)$ 을 사용하여 원시 곡선의 이소모르피즘 유형을 분류하는 것.
• 자연스러운 전성 사상 $l_g: H^1(L) \to \mathcal{C}^S(C_2^0)$ 을 확립하며, 여기서 $\mathcal{C}^S(C_2^0)$ 은 자명한 이중 곡선의 분할 확장 집합이다.
• 곡선을 이상적 $(z^i)$ 로 국소적으로 매끄러운 표면에서 정의하는 필터 $C = C_1 \subset \cdots \subset C_n = Y$ 를 사용하고, 정규화 번들 $L = \mathcal{I}_C / \mathcal{I}_C^2$ 와 관련된 선 번들을 연결하는 것.
• 기본 곡선 $C$ 의 $n$-번째 무한소 이웃을 $L^*$ 의 전체 공간에서 구성함으로써 중복도 $n$인 자명한 원시 곡선을 구성하고, 이를 비자명한 변형의 기초로 사용하는 것.
• 일부 조건 하에서, 원시 곡선 $C_n$ 을 $C_{n+1}$ 로 확장하는 것은 유도자 sheaf $\mathcal{D}_n$ 을 $C_n$ 위의 랭크 2 벡터 번들의로 확장하는 것과 동치임을 증명하는 것.

실험 결과

연구 질문

• RQ1 임의의 중복도 $n$을 가진 원시 다중 곡선을 국소 접합 데이터와 자동사 군을 사용하여 전역적으로 어떻게 매개화할 수 있는가?
• RQ2 비아벨 코homology 집합 $H^1(C, \mathcal{G}_n)$ 이 중복도 $n$인 원시 다중 곡선의 이소모르피즘 유형을 분류하는 데 어떤 역할을 하는가?
• RQ3 중복도 $n$인 원시 곡선을 $n+1$로 확장하는 문제는 그 유도자 sheaf $\mathcal{D}_n$ 을 곡선 위의 랭크 2 벡터 번들의로 확장하는 것과 동치인가?
• RQ4 중복도 3인 원시 곡선은 어떻게 분류되며, 사상 $l_g: H^1(L) \to \mathcal{C}^S(C_2^0)$ 의 기하학적 의미는 무엇인가?
• RQ5 자기사 sheaf $\mathcal{G}_n$ 의 구조는 무엇이며, 어떻게 원시 다중 곡선의 모듈리 공간을 제어하는가?

주요 결과

• 중복도 $C$ 를 가진 원시 다중 곡선의 이소모르피즘 유형은 $C \times \mathbb{Z}_n$ 의 자동사 중 $C$ 를 유지하는 자동사의 sheaf $\mathcal{G}_n$ 에 대해 첫 번째 비아벨 코homology 집합 $H^1(C, \mathcal{G}_n)$ 과 자연스러운 전단사 대응을 이룬다.
• 중복도 3인 원시 곡선의 분류는 완전히 기술되어 있으며, 이들은 $H^1(L)$ 에 의해 매개화되며, 자명한 이중 곡선의 분할 확장 집합 $\mathcal{C}^S(C_2^0)$ 로의 자연스러운 전성 사상 $l_g: H^1(L) \to \mathcal{C}^S(C_2^0)$ 이 있다.
• $l_g$ 의 섬유는 $H^1(L)$ 위의 $\mathbb{C}^*$-작용의 궤도이므로, 매개화가 스칼라 곱에 대해 정의된다는 것을 보여준다.
• 대부분의 경우, 중복도 $n$인 원시 곡선 $C_n$ 을 $C_{n+1}$ 로 확장하는 것은 유도자 sheaf $\mathcal{D}_n$ 을 $C_n$ 위의 랭크 2 벡터 번들의로 확장하는 것과 동치이며, 이는 변형 이론과 벡터 번들의 확장 사이에 깊은 연결 고리를 확립한다.
• 중복도 $n$인 자명한 원시 곡선은 $L^*$ 의 전체 공간에서 $C$ 의 $n$-번째 무한소 이웃으로서 실현되며, 이는 분류의 기준 모델을 제공한다.
• 모든 중복도 $n$인 원시 다중 곡선은 $\mathbb{P}^3$ 에 매장될 수 있으며, 이는 그들의 추상적 기하학적 실현 가능성의 확인이다.