대수 곡선의 모듈라이 공간 문서 원본 보기

{{위키데이터 속성 추적}}
[[대수기하학|대수 기하학]]에서 ('''대수''') '''곡선의 모듈라이 공간'''은 점이 [[대수 곡선]]의 동치류를 나타내는 기하학적 공간(일반적으로 [[스킴 (수학)|스킴]] 또는 대수 스택)이다. 따라서 이는 [[모듈라이 공간]]의 특별한 경우이다. 고려되는 대수 곡선의 클래스에 적용되는 제한에 따라 해당 '''모듈라이 문제'''와 모듈라이 공간이 다르다. 또한 동일한 모듈라이 문제에 대해 미세한 모듈라이 공간과 거친 모듈라이 공간을 구별한다.

가장 기본적인 문제는 고정된 종수의 [[매끄러운 사상|매끄러운]] 완전 곡선의 모듈라이 문제이다. [[복소수]] [[체 (수학)|체]]에서 이는 주어진 종수의 [[리만 곡면|콤팩트 리만 곡면]]에 정확하게 대응하며, 이에 대해 [[베른하르트 리만]]은 모듈라이 공간, 특히 그 차원("복소 구조가 의존하는 매개변수의 수")에 대한 첫 번째 결과를 증명했다.

== 안정적인 곡선의 모듈라이 스택 ==
모듈라이 스택 <math>\mathcal{M}_{g}</math>은 동형사상을 기준으로 매끄러운 사영 곡선들을 분류한다.  <math>g > 1</math>일 때, 이 스택은 안정적인 마디 곡선(동형과 함께)에 해당하는 새로운 "경계" 점을 추가하여 콤팩트화 될 수 있다. 곡선은 완전하고 연결되어 있고 이중 점 이외의 특이점이 없으며 유한한 자기 동형 군만 있는 경우 [[안정 곡선|안정적]]이다. 결과 스택은 <math>\overline{\mathcal{M}}_{g}</math>과 같이 표시된다. 두 모듈라이 스택 모두 보편 곡선군을 가지고 있다.

위의 두 스택 모두 <math>3g-3</math>차원이다; 따라서 안정적인 마디 곡선은  <math>g > 1</math>일 때 <math>3g-3</math> 개의 매개변수들의 값을 선택하여 완전히 지정할 수 있다. 작은 종수에서는 그 수를 빼서 자기동형사상들의 매끄러운 족이 존재하는지 설명해야 한다. 종수 0인 복소 곡선은 정확히 하나, 즉 리만 구가 있으며, 동형사상 군은 <math>\text{PGL}(2)</math>이다. 따라서 <math>\mathcal{M}_0</math>의 차원은

: <math>\begin{align}\dim(\text{space of genus 0 curves}) - \dim(\text{group of automorphisms}) &= 0 - \dim(\mathrm{PGL}(2))\\ 
&= -3 .\end{align}</math>

이다. 마찬가지로 종수 1에는 1차원 곡선 공간이 있지만 이러한 모든 곡선에는 1차원 자기동형군이 있다. 따라서 스택 <math>\mathcal{M}_1</math>은 0차원이다.

=== 구성과 기약성 ===
모듈라이 스택 <math>\mathcal{M}_g</math>이 기약이라는 정리는 [[피에르 들리뉴]]와 [[데이비드 멈퍼드]]가 증명한 중요한 정리이다.<ref name=":0">{{저널 인용|제목=The irreducibility of the space of curves of given genus|저널=[[Publications Mathématiques de l'IHÉS]]|성=Deligne|이름=Pierre|저자링크=Pierre Deligne|성2=Mumford|이름2=David|저자링크2=David Mumford|url=http://www.numdam.org/item/?id=PMIHES_1969__36__75_0|날짜=1969|권=36|쪽=75–109|언어=en|doi=10.1007/BF02684599}}</ref> 즉, 두 개의 적절한 부분 스택의 합집합으로 표현될 수 없다. 그들은 [[힐베르트 스킴]] <math>\mathrm{Hilb}_{\mathbb{P}^{5g - 5 -1}}^{P_g(n)}</math>의 [[안정 곡선]]의 자취 <math>H_g</math>를 분석하여 이를 증명한다. 세 가지 정식으로 포함된 곡선(아주 풍부한 <math>\omega_C^{\otimes 3}</math> 모든 곡선에 대해) [[힐베르트 다항식]] <math>P_g(n) = (6n-1)(g-1)</math>을 갖는다.  . 그러면 스택이 <math>[H_g / \mathrm{PGL}(5g-6)]</math> 모듈리 공간의 구성이다. <math>\mathcal{M}_g</math> . [[변형 (수학)|변형 이론]]을 사용하여 들리뉴과 멈퍼드는 이 스택이 매끄러움을 보이고 <math>\mathcal{M}_g</math>이 유한한 안정자를 가짐을, 즉, [[Deligne-Mumford 스택|들리뉴-멈퍼드 스택]]임을 보이기 위해 안정 곡선 사이의 동형 스택 <math>\mathrm{Isom}_S(C,C')</math>을 사용한다. 게다가 그들은 <math>H_g</math>의 층화

: <math>H_g^o \coprod H_{g,1} \coprod \cdots \coprod H_{g,n}</math> ,

를 찾는다.  여기서 <math>H_g^o</math> 매끄러운 [[안정 곡선]]의 부분 스킴이다. <math>H_{g,i}</math>는 <math>S^* = H_g \setminus H_g^o</math>의 기약 성분이다. 그들은 <math>\mathcal{M}_g^0 = H_g^0/\mathrm{PGL}(5g-6)</math>의 성분을 분석한다.([[기하 불변량 이론 몫]]으로). <math>H_g^o</math>의 여러 성분이 존재하는 경우, 그 중 어느 것도 완전하지 않을 것이다. 또한, 어떤 성분이든 비특이 곡선을 반드시 포함해야 한다. 결과적으로, 특이 자취 <math>S^*</math>는 [[연결 공간]]이므로 <math>H_g</math>의 한 성분에 포함된다. 게다가 모든 성분이 <math>S^*</math>와 교차하기 때문에, 모든 성분은 한 성분에 포함되어야 하므로 거친 공간 <math>H_g</math>는 기약이다. 대수 스택의 일반 이론에서 이는 스택 몫 <math>\mathcal{M}_g</math>이  기약임을 의미한다.

=== 적절함 ===
[[오비폴드]]의 [[고유 사상|적절성]] 또는 [[콤팩트 공간|콤팩트성]]은 곡선의 안정적인 감소에 대한 정리에서 따른다.<ref name=":0">{{저널 인용|제목=The irreducibility of the space of curves of given genus|저널=[[Publications Mathématiques de l'IHÉS]]|성=Deligne|이름=Pierre|저자링크=Pierre Deligne|성2=Mumford|이름2=David|저자링크2=David Mumford|url=http://www.numdam.org/item/?id=PMIHES_1969__36__75_0|날짜=1969|권=36|쪽=75–109|언어=en|doi=10.1007/BF02684599}}</ref> 이는 [[아벨 다양체|아벨 버라이어티]]의 안정적인 감소에 관한 [[알렉산더 그로텐디크|그로텐디크]]의 정리를 사용하여 찾을 수 있으며 곡선의 안정적인 감소와 동등함을 보여준다.<ref name=":0" /> <sup>5.2절</sup>

=== 거친 모듈라이 공간 ===
매끄럽거나 안정적인 곡선의 동치류를 나타내는 거친 모듈라이 공간을 고려할 수도 있다. 이러한 거친 모듈라이 공간은 모듈라이 스택 개념이 도입되기 전에 실제로 연구되었다. 실제로, 모듈라이 스택의 아이디어는 성긴 모듈라이 공간의 사영성을 증명하기 위한 시도로 들리뉴과 멈퍼드에 의해 도입되었다. 최근에는 곡선의 스택이 실제로 더 근본적인 대상이라는 것이 분명해졌다.

거친 모듈라이 공간은 <math>g > 1</math>과 같은 경우 스택과 동일한 차원을 갖는다; 그러나 종수 0에서는 거친 모듈라이 공간의 차원이 0이고, 종수 1에서는 차원 1이다.

== 낮은 종수 모듈라이 공간의 예 ==

=== 종수 0 ===
[[변형 (수학)|변형 이론]]을 사용하여 종수 <math>0</math>인 곡선들의 모듈라이 공간의 기하학을 결정할 수 있다. 종수 <math>0</math>인 곡선의 모듈라이 공간의 수, 예를 들어: <math>\mathbb{P}^1</math>, 는 [[코호몰로지 군]]에 의해 제공된다.<blockquote><math>H^1(C,T_C)</math></blockquote>[[세르 쌍대성]]을 통해 이 코호몰로지 군은 쌍대화 층 <math>\omega_C</math>에 대해 <blockquote><math>\begin{align}
H^1(C,T_C) &\cong H^0(C, \omega_C\otimes T_C^\vee) \\
&\cong H^0(C, \omega_C^{\otimes 2})

\end{align}</math></blockquote>과 동형이다. 그러나 [[리만-로흐 정리]]를 사용하면 표준 다발의 차수가 <math>-2</math>이다. , 그래서 <math>\omega_C^{\otimes 2}</math>의 차수는 <math>-4</math>이다. 따라서 대역 단면이 없다.<blockquote><math>H^0(C,\omega_C^{\otimes 2}) = 0</math></blockquote>종수 <math>0</math>인 곡선의 변형이 없음을 보여준다. 이것은 <math>\mathcal{M}_0</math>이 단지 하나의 점일 뿐이고,  종수 <math>0</math> 곡선은 <math>\mathbb{P}^1</math>임을 증명한다. 유일한 기술적인 어려움은 <math>\mathbb{P}^1</math>의 자기동형 군이 [[대수군|대수 군]] <math>\text{PGL}(2,\mathbb{C})</math>이라는 점이다.  이는<math>\mathbb{P}^1</math> 위의 3개의 점들이 한 번 정해지면 경직화한다. 그래서 대부분의 저자는 <math>\mathcal{M}_0</math>를 <math>\mathcal{M}_{0,3}</math>의 의미로 쓴다.

=== 종수 1 ===
종수 1 사례는 타원 곡선의 동치류가 [[J-불변량]]으로 분류되기 때문에 적어도 복소수에 대해 모듈라이 공간의 잘 이해된 최초의 사례 중 하나이다.<blockquote><math>j: \mathcal{M}_{1,1}|_{\mathbb{C}} \to \mathbb{A}^1_\mathbb{C}</math></blockquote>여기서 <math>\mathcal{M}_{1,1}|_{\mathbb{C}}=\mathcal{M}_{1,1}\times_{\text{Spec}(\mathbb{Z})} \text{Spec}(\mathbb{C})</math>. 위상적으로, <math>\mathcal{M}_{1,1}|_{\mathbb{C}}</math>는 단지 아핀 직선이지만 기저 위상 공간 <math>\mathbb{P}^1_\mathbb{C}</math>이 있는 스택으로 압축될 수 있다.  한대에 안정된 곡선을 추가함으로써. 이것은 하나의 첨점을 갖는 타원 곡선이다. 일반 케이스의 구성이 끝났다. <math>\text{Spec}(\mathbb{Z})</math> 원래 [[피에르 들리뉴|들리뉴]]와 라포포트가 완성했다.<ref>{{인용|last1=Deligne|first1=P.|title=Les schémas de modules de courbes elliptiques|pages=143–316|publisher=Springer Berlin Heidelberg|isbn=978-3-540-06558-6|last2=Rapoport|first2=M.|series=Lecture Notes in Mathematics|year=1973|volume=349|doi=10.1007/bfb0066716}}, URL: http://publications.ias.edu/node/367</ref>

대부분의 저자는 하나의 표시된 점이 있는 종수 1 곡선의 경우를 군의 원점으로 본다. 그렇지 않으면 점 <math>[C] \in \mathcal{M}_1</math>에 안정자 군이 있을 것인 가설적인 모듈라이 공간 <math>\mathcal{M}_1</math>의 안정자 군이기 때문이다. 타원 곡선은 아벨 군 구조를 갖기 때문에 곡선으로 제공된다. 이는 이 가설적 모듈라이 공간에 불필요한 기술적 복잡성을 추가한다. 반면에, <math>\mathcal{M}_{1,1}</math>는 매끄러운 들리뉴-멈퍼드 스택이다.

=== 종수 2 ===

==== 아핀 매개변수 공간 ====
종수 2에서는 이러한 모든 곡선이 [[초타원 곡선|초타원형]]이라는 것이 고전적인 결과이다.<ref>{{서적 인용|제목=Algebraic geometry|성=Hartshorne|이름=Robin|저자링크=Robin Hartshorne|날짜=29 June 2013|위치=New York|isbn=978-1-4757-3849-0|oclc=861706007}}</ref><sup>pg 298</sup> 따라서 모듈라이 공간은 [[리만-후르비츠 공식|리만-후르비츠]] 공식을 사용하여 곡선의 분기 자취에서 완전히 결정될 수 있다. 임의의 종수 2 곡선은 다음 형식의 다항식으로 제공되므로

: <math>y^2 - x(x-1)(x-a)(x-b)(x-c)</math>

일부 유일하게 정의된 <math>a,b,c \in \mathbb{A}^1</math>에 대해 경우 , 그러한 곡선에 대한 매개변수 공간은 다음과 같이 주어진다.

: <math>\mathbb{A}^3 \setminus (\Delta_{a,b} \cup \Delta_{a,c} \cup \Delta_{b,c}),</math>

여기서 <math>\Delta_{i,j}</math>는 자취 <math>i \neq j</math>에 해당한다.<ref>{{저널 인용|제목=Arithmetic Variety of Moduli for Genus Two|저널=[[Annals of Mathematics]]|성=Igusa|이름=Jun-Ichi|저자링크=Jun-Ichi Igusa|날짜=1960|권=72|호=3|쪽=612–649|doi=10.2307/1970233|issn=0003-486X|jstor=1970233}}</ref>

==== 가중 사영 공간 ====
[[가중 사영 공간]]과 [[리만-후르비츠 공식]]을 사용하여 초타원 곡선은 다음 형식의 다항식으로 설명할 수 있다<ref>{{ArXiv 인용|last=Larson|first=Eric|date=2019-04-17|title=The integral Chow ring of <math>\overline{M}_2</math>|class=math.AG|eprint=1904.08081}}</ref>

: <math>z^2 = ax^6 + bx^5y + cx^4y^2 + dx^3y^3 + ex^2y^4 + fxy^5 + gy^6 ,</math>

여기서 <math>a,\ldots,f</math>는 <math>\Gamma(\mathbb{P}(3,1), \mathcal{O}(g))</math>의 단면에 대한 매개변수이다.  그러면 삼중근을 포함하지 않는 단면의 자취에는 점 <math>[C]\in \mathcal{M}_2</math>으로 표현되는 모든 곡선 <math>C</math>이 포함된다.

=== 종수 3 ===
이는 초타원 자취과 비초타원 자취을 모두 갖는 곡선의 첫 번째 모듈라이 공간이다.<ref>{{인용|last1=Girard|first1=Martine|title=Classification of Genus 3 Curves in Special Strata of the Moduli Space|date=2006|work=Algorithmic Number Theory|volume=4076|pages=346–360|editor-last=Hess|editor-first=Florian|place=Berlin, Heidelberg|publisher=Springer Berlin Heidelberg|doi=10.1007/11792086_25|isbn=978-3-540-36075-9|last2=Kohel|first2=David R.|editor2-last=Pauli|editor2-first=Sebastian|editor3-last=Pohst|editor3-first=Michael|arxiv=math/0603555|bibcode=2006math......3555G|mr=2282935|s2cid=15638167}}</ref><ref>{{저널 인용|제목=The Chow ring of the moduli space of curves of genus six|저널=[[Algebraic Geometry (journal)|Algebraic Geometry]]|성=Penev|이름=Nikola|성2=Vakil|이름2=Ravi|저자링크2=Ravi Vakil|연도=2015|권=2|호=1|쪽=123–136|arxiv=1307.6614|doi=10.14231/ag-2015-006|issn=2214-2584|mr=3322200}}</ref> 비초타원 곡선은 모두 4차 평면 곡선( 종수 차수 공식 사용)으로 제공되며, 이는 힐베르트 초곡면 스킴의 매끄러운 자취에 의해 매개변수화된다.

: <math>\operatorname{Hilb}_{\mathbb{P}^2}^{8t-4} \cong \mathbb{P}^{\binom{6}{4} - 1}</math> .

그런 다음 모듈라이 공간은 부분 스택에 의해 계층화된다.

: <math>\mathcal{M}_3 = [H_2/\mathrm{PGL}(3))] \coprod \mathcal{M}_3^{\mathrm{hyp}}</math> .

== 쌍유리 기하학 ==

=== 단유리 추측 ===
이전의 모든 경우에서, 모듈라이 공간은 [[유리 다양체|단유리]]인 것으로 발견될 수 있다. 이는 지배적인 유리 사상<blockquote><math>\mathbb{P}^n \to \mathcal{M}_g</math></blockquote>이 존재함을 의미한다. 그리고 이것이 모든 분야에서 사실일 것이라는 것은 오랫동안 기대되어 왔다. 실제로 세베리는 이것이 종수 <math>10</math>까지 사실임을 증명했다.<ref>{{서적 인용|제목=Sulla classificazione delle curve algebriche e sul teorema d'esistenza di Riemann|성=Severi, Francesco, 1879-1961.|날짜=1915|출판사=Tipografia della R. Accademia dei Lincei|oclc=881814709}}</ref> 하지만 종수 <math>g \geq 23</math>에 대해서는<ref>{{저널 인용|제목=The Kodaira dimension of the moduli space of curves of genus ?23|저널=[[Inventiones Mathematicae]]|성=Eisenbud|이름=David|저자링크=David Eisenbud|성2=Harris|이름2=Joe|저자링크2=Joe Harris (mathematician)|연도=1987|권=90|호=2|쪽=359–387|bibcode=1987InMat..90..359E|doi=10.1007/bf01388710|issn=0020-9910}}</ref><ref>{{인용|last1=Harris|first1=Joe|author1-link=Joe Harris (mathematician)|title=On the Kodaira Dimension of the Moduli Space of Curves|date=1982|work=Selected Papers|pages=171–234|place=New York, NY|publisher=Springer New York|isbn=978-1-4419-1936-6|last2=Mumford|first2=David|doi=10.1007/978-1-4757-4265-7_8|url=https://dash.harvard.edu/bitstream/1/3613574/3/Mumford_OnKodairaDim.pdf|author2-link=David Mumford}}</ref><ref>{{인용|last1=Harris|first1=Joe|title=On the Kodaira Dimension of the Moduli Space of Curves|date=1982|work=Selected Papers|pages=171–234|place=New York, NY|publisher=Springer New York|isbn=978-1-4419-1936-6|last2=Mumford|first2=David|doi=10.1007/978-1-4757-4265-7_8|url=http://nrs.harvard.edu/urn-3:HUL.InstRepos:3613574}}</ref> 이러한 모든 모듈라이 공간은 일반적인 유형이므로 단유리적이지 않다. 그들은 거친 모듈라이 공간

: <math>\kappa_g = \mathrm{Kod}(\overline{\mathcal{M}}_{g}),</math>

의 고다이라 차원을 연구하여 이를 달성했다. 그리고 <math>g \geq 23</math>일 때  <math>\kappa_g > 0 </math>임도 보였다. 사실, <math>g > 23</math>에 대해,

: <math>\kappa_g = 3g - 3 = \dim(\mathcal{M}_g),</math>

따라서 <math>\mathcal{M}_g</math>는 일반형이다.

==== 기하학적 의미 ====
이는 [[선직다양체|선직 버라이어티]]의 선형계가 보편 곡선 <math>\mathcal{C}_g</math>을 포함할 수 없음을 의미하기 때문에 기하학적으로 중요하다.<ref>{{서적 인용|제목=Algebraic Geometry|성=Farkas|이름=Gavril|연도=2009|총서=Proceedings of Symposia in Pure Mathematics|권=80|쪽=125–147|장=The global geometry of the moduli space of curves|doi=10.1090/pspum/080.1/2483934|isbn=9780821847022}}</ref>

== 경계의 층화 ==
모듈라이 공간 <math>\overline{\mathcal{M}}_{g}</math>는 경계 <math>\partial\overline{\mathcal{M}}_{g}</math>에 점들이 종수 <math>g</math>인 특이 곡선인 자연적인 층화가 있다.<ref name=":1">{{서적 인용|url=https://www.dam.brown.edu/people/mumford/alg_geom/papers/1983b--EnumGeomModuli-NC.pdf|제목=Arithmetic and geometry: papers dedicated to I.R. Shafarevich on the occasion of his sixtieth birthday|날짜=1983|출판사=Birkhäuser|위치=Boston|기타=Shafarevich, Igor Rostislavovich, 1923-2017, Artin, Michael, Tate, John Torrence, 1925-2019|isbn=978-1-4757-9286-7|oclc=681426064}}</ref> 이는 층

: <math>\partial\overline{\mathcal{M}}_{g} = \coprod_{0 \leq h \leq (g/2)} \Delta_h^*</math> ,

으로 분해된다. 여기서

* <math>1 \leq h < g/2</math>에 대해 <math>\Delta_h^* \cong \overline{\mathcal{M}}_{h} \times \overline{\mathcal{M}}_{g-h} </math>.
* <math>\Delta_0^* \cong \overline{\mathcal{M}}_{g-1,2} / (\Z/2)</math> 여기서 작용은 두 개의 표시된 점을 치환한다.
* <math>g</math>가 짝수이면, <math>\Delta_{g/2} \cong (\overline{\mathcal{M}}_{g/2} \times \overline{\mathcal{M}}_{g/2}) / (\Z/2)</math>

이 자취들의 위에 있는 곡선은 다음에 해당한다.

* 이중점에서 연결된 한 쌍의 곡선 <math>C, C'</math>.
* 단일 이중점 특이점에서 종수 <math>g</math> 곡선의 [[정규 스킴|정규화]].
* 순환을 기준으로 이중점에서 연결된 동일한 종수의 곡선 쌍.

=== 종수 2에 대한 층화 ===
종수 <math>2</math>의 경우 경우에는 다음과 같은 층화가 존재한다.

: <math>\begin{align}
\partial \overline{\mathcal{M}}_2 &= \Delta_0^* \coprod \Delta_1^* \\
&= \overline{\mathcal{M}}_{1,2}/(\Z/2)
\coprod
(\overline{\mathcal{M}}_1\times \overline{\mathcal{M}}_1)/(\Z/2)
\end{align}</math> .

이 층화의 더 깊은 분석은 [[저우 환]] <math>A^*(\overline{\mathcal{M}}_2)</math>의 생성원들의 얻는데 사용 될 수 있다.<ref name=":1">{{서적 인용|url=https://www.dam.brown.edu/people/mumford/alg_geom/papers/1983b--EnumGeomModuli-NC.pdf|제목=Arithmetic and geometry: papers dedicated to I.R. Shafarevich on the occasion of his sixtieth birthday|날짜=1983|출판사=Birkhäuser|위치=Boston|기타=Shafarevich, Igor Rostislavovich, 1923-2017, Artin, Michael, Tate, John Torrence, 1925-2019|isbn=978-1-4757-9286-7|oclc=681426064}}</ref> <sup>proposition 9.1</sup>.

== 표시된 곡선의 모듈라이 ==
마디가 아니고 쌍별로 구별되는 <math>n</math>개의 표시 점이 있는 종수 <math>g</math> 마디 곡선의 모듈라이 스택을 고려하여 문제를 풍부하게 할 수 있다. 표시된 점을 고정하는 곡선 자기동형사상의 부분 군이 유한한 경우 이러한 표시된 곡선은 안정적이라고 한다. <math>n</math> 개의 표시된 점이 있는 매끄러운(또는 안정적인) 종수 <math>g</math> 곡선의 결과 모듈라이 스택이 <math>\mathcal{M}_{g,n}</math> (또는 <math>\overline{\mathcal{M}}_{g,n}</math> )로 표시되고 <math>3g-3 + n</math>차원을 갖는다.

특히 관심을 끄는 사례는 하나의 표시된 점이 있는 종수 1 곡선들의 모듈라이 스택 <math>\overline{\mathcal{M}}_{1,1}</math>이다. 이것은 [[타원 곡선의 모듈러스 스택|타원 곡선의 스택]]이다. 레벨 1 [[모듈러 형식]]은 이 스택에 있는 선다발의 단면이고, 레벨 ''N'' 모듈러 형식은 레벨 <nowiki><i id="mwASM">N</i></nowiki> 구조 (대략 ''N'' 차 점의 표시)가 있는 타원 곡선 스택에 있는 선다발의 단면이다.

== 경계 기하학 ==
콤팩트화 된 모듈라이 공간 <math>\overline{\mathcal{M}}_{g,n}</math>의 중요한 특성  그들의 경계는 종수 <math>g' < g</math>일 때 모듈라이 공간 <math>\overline{\mathcal{M}}_{g',n'}</math>으로 설명될 수 있다는 것이다. 표시된 안정 마디 곡선이 주어지면, 음이 아닌 정수로 이름표가 지정되고 고리, 다중 모서리, 번호가 매겨진 반모서리를 가질 수 있는 꼭지점이 있는 [[그래프 (그래프 이론)|그래프]]인 ''이중 그래프''와 연관지을 수 있다. 여기서 그래프의 꼭지점은 마디 곡선의 기약 성분에 해당하고, 꼭지점의 라벨링은 해당 성분의 [[산술종수|산술 종수]]이며, 모서리는 곡선의 마디에 해당하고, 반모서리는 표시에 해당한다. <math>\overline{\mathcal{M}}_{g,n}</math>에 주어진 이중 그래프를 가진 곡선의 자취의 폐포는 유한 군에 의한 콤팩트화 된 곡선들의 모듈라이 공간들의 곱 <math>\prod_v \overline{\mathcal{M}}_{g_v,n_v}</math>의 스택 몫과 동형이다. 곱에서 꼭지점 ''<math>v</math>''에 해당하는 인자는 라벨링 및 표시 수 <math>n_v</math>에서 가져온 종수 <math>g_v</math>를 갖는다.  ''<math>v</math>''의 나가는 모서리와 반모서리의 수와 같다. 총 종수 ''<math>g</math>''는 <math>g_v</math>에 그래프의 닫힌 주기 수를 더한 값이다.

이중 그래프에 <math>g_v=g</math>으로 이름 붙은 꼭지점이 포함된 안정 곡선들(따라서 다른 모든 꼭지점은 <math>g_v=0</math>이고 그 그래프는 나무이다)을 "유리수 꼬리"라고 하며 모듈라이 공간은 <math>\mathcal{M}^{\mathrm{r.t.}}_{g,n}</math>과 같이 표시된다. 이중 그래프가 나무인 안정적인 곡선을 "콤팩트 유형"(야코비 행렬이 콤팩트하기 때문에)이라고 하며 모듈라이 공간 <math>\mathcal{M}^{\mathrm{c.}}_{g,n}</math>로 표시한다.

== 같이 보기 ==

* 위튼 추측
* 동어반복 환
* [[그로텐디크-리만-로흐 정리]]

== 각주 ==
{{각주}}

=== 고전 참고문헌 ===

* {{저널 인용|제목=Techniques de construction en géométrie analytique. I. Description axiomatique de l'espace de Teichmüller et de ses variantes|저널=Séminaire Henri Cartan|성=Grothendieck|이름=Alexander|저자링크=Alexander Grothendieck|url=http://archive.numdam.org/article/SHC_1960-1961__13_1_A4_0.pdf|연도=1960–1961|권=13|호=1|위치=Paris|zbl=0142.33503|id=Exposés No. 7 and 8}}

* {{서적 인용|제목=Geometric invariant theory|성=Mumford|이름=David|저자링크=David Mumford|성2=Fogarty|이름2=John|날짜=1994|판=3rd enl.|출판사=Springer-Verlag|위치=Berlin|isbn=3-540-56963-4|mr=1304906|oclc=29184987|성3=Kirwan|이름3=Frances Clare|저자링크3=Frances Kirwan}}
* {{저널 인용|제목=The irreducibility of the space of curves of given genus|저널=[[Publications Mathématiques de l'IHÉS]]|성=Deligne|이름=Pierre|저자링크=Pierre Deligne|성2=Mumford|이름2=David|저자링크2=David Mumford|url=http://archive.numdam.org/article/PMIHES_1969__36__75_0.pdf|날짜=1969|권=36|쪽=75–109|doi=10.1007/bf02684599}}

=== 곡선 모듈라이 공간에 관한 책 ===

* {{서적 인용|제목=Moduli of Curves|성=Harris|이름=Joe|저자링크=Joe Harris (mathematician)|성2=Morrison, Ian|날짜=1998|출판사=[[Springer Verlag]]|isbn=978-0-387-98429-2}}

* {{서적 인용|제목=Arithmetic Moduli of Elliptic Curves|url=https://archive.org/details/arithmeticmoduli0000katz|성=Katz|이름=Nicholas M|저자링크=Nick Katz|성2=Mazur|이름2=Barry|저자링크2=Barry Mazur|날짜=1985|출판사=[[Princeton University Press]]|isbn=978-0-691-08352-0}}
* {{서적 인용|제목=Geometry of Algebraic Curves II|성=Arbarello|이름=Enrico|성2=Cornalba|이름2=Maurizio|연도=2011|총서=Grundlehren der mathematischen Wissenschaften|권=268|doi=10.1007/978-3-540-69392-5|isbn=978-3-540-42688-2|성3=Griffiths|이름3=Phillip A.}}

=== 코호몰로지와 교차 이론 ===

* {{서적 인용|url=https://www-fourier.ujf-grenoble.fr/sites/ifmaquette.ujf-grenoble.fr/files/ete2011-zvonkine.pdf|제목=Handbook of Teichmüller Theory, Volume III|성=Zvonkine|이름=Dimitri|연도=2012|편집자-성=Papadopoulos|편집자-이름=Athanase|총서=IRMA Lectures in Mathematics and Theoretical Physics|권=17|출판사=European Mathematical Society Publishing House|위치=Zürich, Switzerland|쪽=667–716|장=An introduction to moduli spaces of curves and their intersection theory|doi=10.4171/103-1/12|isbn=978-3-03719-103-3|mr=2952773}}
* {{서적 인용|제목=Handbook of Moduli, Vol. I|성=Faber|이름=Carel|성2=Pandharipande|이름2=Rahul|저자링크2=Rahul Pandharipande|연도=2013|편집자-성=Farkas|편집자-이름=Gavril|편집자2-성=Morrison|편집자2-이름=Ian|총서=Advanced Lectures in Mathematics (ALM)|권=24|출판사=International Press|위치=Somerville, MA|쪽=293–330|장=Tautological and non-tautological cohomology of the moduli space of curves|isbn=9781571462572|mr=3184167}}

== 외부 링크 ==

* {{웹 인용|url=https://aimath.org/WWN/modspacecurves/|제목=Topology and geometry of the moduli space of curves|웹사이트=The American Institute of Mathematics}}
* [https://web.archive.org/web/20180123190525/http://w3.impa.br/~massaren/files/smgwqc.pdf "Moduli of Stable Maps, Gromov-Witten Invariants, and Quantum Cohomology"]
[[분류:대수다양체]]
[[분류:모듈라이 이론]]