[논문 리뷰] Torsion-Free Sheaves and Moduli of Generalized Spin Curves

Tyler J. Jarvis|ArXiv.org|1995. 02. 21.

Algebraic Geometry and Number Theory인용 수 9

한 줄 요약

이 논문은 ℤ[1/r] 위에서 일반화된 스피너 곡선(r-스피너 곡선)의 모듈리 공간의 세 가지 콪팩티피케이션을 토르션 없는 층을 사용하여 구성한다. 이는 r=2일 때 델리뉴와 코르날바의 작업을 일반화한 것이다. 하나의 콯팩티피케이션은 매끄럽고, 다른 하나는 명시적인 고르스타인 특이점을 지닌다. 이는 대수기하학과 수학적 물리학에서 r-스피너 구조를 연구하는 데 기초가 되는 프레임워크를 제공한다.

ABSTRACT

This article treats compactifications of the space of generalized spin curves. Generalized spin curves, or $r$-spin curves, are pairs $(X,L)$ with $X$ a smooth curve and $L$ a line bundle whose r-th tensor power is isomorphic to the canonical bundle of $X.$ These are a natural generalization of $2$-spin curves (algebraic curves with a theta-characteristic), which have been of interest recently, in part because of their applications to fermionic string theory. Three different compactifications over $\Bbb{Z}[1/r],$ all using torsion-free sheaves, are constructed. All three yield algebraic stacks, one of which is shown to have Gorenstein singularities that can be described explicitly, and one of which is smooth. All three compactifications generalize constructions of Deligne and Cornalba done for the case when $r=2.$

연구 동기 및 목표

• 2-스피너 곡선의 모듈리 공간에 대한 델리뉴와 코르날바의 콯팩티피케이션을 더 높은 r-스피너 곡선으로 일반화하기 위해.
• ℤ[1/r] 위에서 토르션 없는 층을 사용하여 일반화된 스피너 곡선의 대수적 스택 콯팩티피케이션을 구성하기 위해.
• 토르션 없는 층을 통한 콯팩티피케이션된 모듈리 공간의 특이점 분석을 통해, 특히 고르스타인 특이점과 매끄러운 경우를 식별하기 위해.
• 정규화된 상태에서 캐논리컬 번들의 r제곱근에 대한 θ-특성의 이론을 더 높은 차수로 확장하기 위해.
• 페르미온 스크링 이론과 그로모프-위튼 이론에의 응용을 위한 기하적 프레임워크를 제공하기 위해.

제안 방법

• 노달 곡선 위의 토르션 없는 층을 사용하여 r-스피너 구조를 매개변수화하며, r=2일 때의 선다발을 일반화한다.
• 토르션 없는 층에 대한 서로 다른 안정성 조건을 통해 세 가지의 서로 다른 콯팩티피케이션을 구성한다.
• 대수적 스택 이론과 모듈리 이론의 기법을 적용하여 콯팩티피케이션이 대수적이고 올바른 성질을 지닌다는 것을 보장한다.
• 변형 이론과 국소 분석을 사용하여 모듈리 스택의 특이점들을 연구한다.
• 기존의 r=2의 결과(델리뉴-코르날바)를 기반으로 하여 임의의 r로 일반화한다.
• L^⊗r ≅ ω_X 조건을 사용하여 r-스피너 곡선을 정의하고, 이 조건을 토르션 없는 층을 통해 특이 곡선으로 확장한다.

실험 결과

연구 질문

• RQ1 모듈리 공간이 대수적 구조를 유지하면서 특이점의 제어가 가능하도록 r-스피너 곡선의 콉팩티피케이션을 어떻게 수행할 수 있는가?
• RQ2 토르션 없는 층을 통한 콕팩티피케이션된 모듈리 스택의 기하적 성질—예를 들어 매끄러움 또는 고르스타인 특이점—은 무엇인가?
• RQ3 제안된 세 가지 콉팩티피케이션은 r=2일 때 델리뉴-코르날바의 구성과 얼마나 일반화되는가?
• RQ4 토르션 없는 층은 특이 곡선 위의 r-스피너 구조를 안정화하는 데 어떤 역할을 하는가?
• RQ5 토르션 없는 층을 사용하여 r-스피너 곡선의 모듈리 공간에 대해 매끄러운 콉팩티피케이션을 달성할 수 있는가?

주요 결과

• 세 가지의 서로 다른 콉팩티피케이션은 ℤ[1/r] 위에서 토르션 없는 층을 사용하여 r-스피너 곡선의 모듈리 공간에 대해 대수적 스택으로 구성된다.
• 한 콉팩티피케이션은 매끄럽다는 것이 입증되었으며, 이는 r-스피너 곡선에 대한 새로운 매끄러운 모듈리 공간을 제공한다.
• 다른 콉팩티피케이션은 국소 방정식을 통해 명시적으로 기술된 고르스타인 특이점을 지닌다.
• 이 구성은 델리뉴와 코르날바의 2-스피너 곡선에 대한 작업을 임의의 r ≥ 2로 일반화한다.
• 토르션 없는 층의 사용은 곡선이 특이적일 때조차도 안정적이고 대수적인 콉팩티피케이션을 가능하게 한다.
• 모듈리 스택이 올바르고 대수적임을 입증하였으며, 잘 정의된 기하학적 및 스택 이론적 성질을 지닌다.