[논문 리뷰] An introduction to varieties in weighted projective space

Timothy Hosgood|arXiv (Cornell University)|2016. 04. 08.

Algebraic Geometry and Number Theory참고 문헌 10인용 수 7

한 줄 요약

이 논문은 접근하기 쉬운 대수기하학을 사용하여 가중치가 부여된 사영 공간과 그들의 다양체를 소개하며, 리만-로흐 정리를 통해 타원곡선을 $\mathbb{P}(1,2,3)$에 매장하고, 선형 번들의 분석을 위해 하이르베르트 급수를 구성한다. 주요 기여는 리만-허위츠 공식을 이용해 비특이 평면 곡선에 대한 차수-종수 공식을 유도한 것으로, 특히 캐논리컬 다발의 맥락에서 하이르베르트 급수 계수와 시지지 패턴을 명시적으로 계산하였다.

ABSTRACT

Weighted projective space arises when we consider the usual geometric definition for projective space and allow for non-trivial weights. On its own, this extra freedom gives rise to more than enough interesting phenomena, but it is the fact that weighted projective space arises naturally in the context of classical algebraic geometry that can be surprising. Using the Riemann-Roch theorem to calculate l(E,nD) where E is a non-singular cubic curve inside projective 2-space and D=p is a point in E we obtain a non-negatively graded ring R(E) by taking the direct sum of the L(E,nD) for n greater than or equal to 0. This gives rise to an embedding of E inside the weighted projective space P(1,2,3). To understand a space it is always a good idea to look at the things inside it. The main content of this paper is the introduction and explanation of many basic concepts of weighted projective space and its varieties. There are already many brilliant texts on the topic but none of them are aimed at an audience with only an undergraduate's knowledge of mathematics. This paper hopes to partially fill this gap whilst maintaining a good balance between 'interesting' and 'simple'. The main result of this paper is a reasonably simple degree-genus formula for non-singular 'sufficiently general' plane curves, proved using not much more than the Riemann-Hurwitz formula.

연구 동기 및 목표

• 수학 전공 대학생 수준의 배경만을 가진 독자들을 위해 가중치가 부여된 사영 공간과 그들의 다양체에 대해 자립적이고 접근 가능한 소개를 제공하는 것.
• 클래식한 대수기하학 개념—예를 들어 리만-로흐와 선형 번들—이 자연스럽게 가중치가 부여된 사영 공간에의 매장을 이끌어내는 방식을 보여주는 것.
• 리만-허위츠 공식을 사용하여 고전적인 도구를 피하기 위해 비특이 평면 곡선에 대한 차수-종수 공식을 도출하는 것.
• 하이르베르트 급수와 시지지 패턴이 곡선의 다항식환에 관련된 다항식환의 구조를 이해하는 데 어떻게 기여하는지 설명하는 것.

제안 방법

• 비자명한 가중치를 가진 $\mathbb{G}_m$-작용에 대한 $\mathbb{A}^{n+1} \setminus \{0\}$의 기하학적 몫 구조를 통해 가중치가 부여된 사영 공간을 구성한다.
• 리만-로흐 정리를 사용하여 비특이 삼차 곡선 $E$와 점 $D = p$에 대해 $\ell(E, nD)$를 계산함으로써, $R(E) = \oplus_{n \geq 0} \mathcal{L}(E, nD)$ 형태의 다항식환을 도출한다.
• 충분히 큰 $n$에 대해 완전 선형 계열 $|nD|$를 통해 타원곡선 $E$를 $\mathbb{P}(1,2,3)$에 매장한다.
• 리만-허위츠 공식을 적용하여 가중치가 부여된 사영 공간 내 비특이 평면 곡선에 대한 차수-종수 공식을 도출한다.
• 생성함수 $\lambda(t) = \frac{1}{(1-t)(1-t^4)(1-t^5)(1-t^6)(1-t^7)}$를 분석하여 하이르베르트 급수 $P_C(t)$를 계산하고, 분자 수정을 통해 시지지에 따른 보정을 조정한다.
• 조합론적 추론을 통해 하이르베르트 급수의 보정 항의 부호와 차수를 해석하여 관계와 고차 시지지의 존재를 나타낸다.

실험 결과

연구 질문

• RQ1 가중치가 부여된 사영 공간은 대학 수준의 대수기하학만으로 어떻게 도입되고 이해될 수 있는가?
• RQ2 특히 타원곡선을 포함한 가중치가 부여된 사영 공간에 매장된 다양체의 기하학적·대수적 구조는 어떠한가?
• RQ3 리만-허위츠 공식은 어떻게 가중치가 부여된 사영 공간 내 비특이 평면 곡선에 대한 차수-종수 공식을 이끌어내는가?
• RQ4 하이르베르트 급수와 시지지 패턴은 곡선의 다항식환에 관련된 다항식환의 구조를 이해하는 데 어떤 역할을 하는가?
• RQ5 하이르베르트 급수의 계수는 좌표환 내의 관계와 고차 시지지의 존재를 어떻게 반영하는가?

주요 결과

• 비특이 삼차 곡선 $E$는 $n \geq 3$에 대해 리만-로흐 계산 $\ell(E, nD)$로부터 유도된 완전 선형 계열 $|nD|$를 통해 $\mathbb{P}(1,2,3)$에 매장된다.
• 리만-허위츠 공식을 사용하여 '충분히 일반적인' 곡선에 대해 가중치가 부여된 사영 공간 내 비특이 평면 곡선에 대한 차수-종수 공식이 도출된다.
• 종수 3인 곡선 $C_4 \subset \mathbb{P}^2$에 대해 하이르베르트 급수 $P_C(t) = \frac{1 - t + t^4}{(1-t)^2}$가 도출되었으며, 이는 급수 $1 + t + t^2 + t^3 + 2t^4 + 3t^5 + \cdots$와 일치한다.
• 하이르베르트 급수는 분모가 $(1-t)(1-t^4)(1-t^5)(1-t^6)(1-t^7)$이고 분자에 차수 10–25 사이의 음수 및 양수 보정 항을 포함하는 유리함수 형태로 표현되며, 이는 관계와 시지지를 나타낸다.
• 차수 10의 관계가 확인되었으며, 차수 16–20 사이에 고차 시지지가 존재하고, 더 높은 차수의 시지지가 차수 23–25 사이에 발견되었으며, 이는 분자의 부호 변화를 통해 확인된다.