데생당팡 문서 원본 보기

{{위키데이터 속성 추적}}
[[대수기하학]]에서 '''데생당팡'''({{llang|fr|dessin d’enfant}})은 [[리만 곡면]]을 [[리만 구]] 위의 [[분기화]] 데이터로 나타내는 [[그래프]]이다.<ref>{{저널 인용|제목=What is … a dessin d’enfant?|url=http://www.ams.org/notices/200307/what-is.pdf|이름=Leonardo|성=Zapponi|저널=Notices of the American Mathematical Society|날짜=2003-08|쪽=788–789|언어=en}}</ref><ref>{{서적 인용 | last1=Girondo | first1=Ernesto | last2=González-Diez | first2=Gabino | title=Introduction to compact Riemann surfaces and dessins d’enfants | series=London Mathematical Society Student Texts | volume=79 | publisher=Cambridge University Press | 날짜=2012-02 | isbn=978-0-521-74022-7 | zbl=1253.30001 |doi=10.1017/CBO9781139048910 | 언어=en}}</ref><ref>{{서적 인용 | last1=Lando | first1=Sergei K. | last2=Zvonkin | first2=Alexander K. | title=Graphs on surfaces and their applications | publisher=Springer-Verlag | series=Encyclopaedia of Mathematical Sciences | isbn= 978-3-642-05523-2 | 날짜=2004 | 권=141 | zbl=1040.05001 | doi= 10.1007/978-3-540-38361-1 | 언어=en}}</ref><ref>{{저널 인용|제목=Dessins d’enfants|이름=Joseph|성=Oesterle|url=http://www.numdam.org/item?id=SB_2001-2002__44__285_0|mr=2074061 |zbl=1076.14040|권=44|호=907|저널=Séminaire Bourbaki|날짜=2002-06 |쪽=285–305|언어=fr}}</ref>

== 정의 ==
'''데생당팡''' <math>(V,E,\Sigma)</math>은 다음과 같은 데이터로 주어진다.
* <math>\Sigma</math>는 콤팩트 [[연결 공간|연결]] 2차원 [[가향 다양체]]이다.
* <math>V\subseteq \Sigma</math>는 <math>\Sigma</math>의 [[유한 집합|유한]] 부분 집합이다.
* <math>V\subseteq \Sigma</math>는 <math>X_0</math>을 포함하는 <math>\Sigma</math>의 부분 집합이며, 다음을 만족시킨다.
** <math>E\setminus V\subseteq \Sigma</math>는 유한 개의 열린 선분들의 [[분리 합집합]]이다. 즉, <math>E</math>는 <math>V</math>를 꼭짓점 집합으로 하는 유한 [[그래프]] <math>\Gamma</math>를 정의한다. 또한, 이 그래프는 [[이분 그래프]]이어야 한다.
흔히, 데생당팡의 꼭짓점들은 ([[이분 그래프]]의 구조를 나타내기 위하여) 검게 또는 희게 칠해진다.

두 데생당팡 <math>(V,E,\Sigma)</math>, <math>(V',E',\Sigma')</math> 사이의 '''동형 사상'''은 다음 조건을 만족시키는 [[위상 동형 사상]] <math>\iota\colon\Sigma\to\Sigma'</math>이다.
:<math>\iota(V)=V'</math>
:<math>\iota(E)=E'</math>

데생당팡 <math>(\Gamma,\Sigma)</math>에 (각 변의 양끝의 색이 다르게 되는) 흰색·검은색 2색으로의 [[그래프 색칠]]이 주어졌다고 하자. 이렇게 색칠된 데생당팡 <math>(V,E,\Sigma)</math>가 다음 조건을 만족시킨다면, '''깨끗한 데생당팡'''({{llang|en|clean dessin d’enfant}})이라고 한다.
* 모든 흰색 꼭짓점의 차수(즉, 연결된 변의 수)는 2이다.
깨끗한 데생당팡의 경우, 흰색 꼭짓점들을 삭제하면 (색칠이 없는) 유한 [[그래프]]를 이룬다. 반대로, 임의의 유한 그래프 <math>\Gamma</math>에 대하여, 모든 꼭짓점을 검게 칠하고, 각 변의 중심에 새 (차수 2의) 흰 꼭짓점을 추가하면, 이는 깨끗한 데생당팡을 이룬다.

=== 벨리 쌍 ===
'''벨리 정리'''(Белый定理, {{llang|en|Belyi’s theorem}})에 따르면, <math>\bar{\mathbb Q}</math> 위에 정의된 연결 매끄러운 [[사영 대수다양체|사영]] [[대수 곡선]] <math>X/\operatorname{Spec}\bar{\mathbb Q}</math>에 대하여, [[분지점]] 집합이 <math>\{0,1,\infty\}</math>의 부분 집합인 <math>\bar{\mathbb Q}</math>-[[스킴 사상]]
:<math>f\colon X\to\mathbb P^1_{\bar{\mathbb Q}}</math>
가 존재한다. 즉, <math>f</math>를 <math>\mathbb P^1_{\bar{\mathbb Q}}\setminus\{0,1,\infty\}</math>의 [[원상 (수학)|원상]]에 국한하였을 때, 이는 [[에탈 사상]]을 이룬다.

즉, 임의의 연결 매끄러운 [[사영 대수다양체|사영]] 복소수 [[대수 곡선]](≈[[연결 공간|연결]] [[콤팩트 공간|콤팩트]] [[리만 곡면]]) <math>X</math> 및 복소수 대수다양체 사상
:<math>f\colon X\to\mathbb P^1_{\mathbb C}</math>
에 대하여, 다음 두 조건이 서로 [[동치]]이다.
* <math>f</math>의 [[분지점]]의 모든 값들은 세 개 이하이며, 이 세 값 모두 [[대수적 수]]이다.
* <math>f</math>는 <math>\bar\mathbb Q</math> 위에 정의된다.
이 조건을 만족시키는 사상을 '''벨리 사상'''(Белый-, {{llang|en|Belyi map}})이라고 하며, <math>(X,f)</math>를 '''벨리 쌍'''(Белый雙, {{llang|en|Belyi pair}})이라고 한다.

=== 리만 곡면에 대응되는 데생당팡 ===
벨리 쌍 <math>(X,\beta)</math>가 주어졌다고 하자. 그렇다면, 다음과 같은, 검은색·흰색 [[그래프 색칠]]이 주어진 그래프 <math>\Gamma</math>를 구성할 수 있다.
* 각 검은색 꼭짓점들은 <math>\beta</math> 아래 <math>0\in\mathbb{CP}^1</math>의 [[원상 (수학)|원상]]에 대응한다.
* 각 흰색 꼭짓점들은 <math>\beta</math> 아래 <math>1\in\mathbb{CP}^1</math>의 [[원상 (수학)|원상]]에 대응한다.
* 각 변은 <math>\beta</math> 아래 선분 <math>[0,1]\subsetneq\mathbb{CP}^1</math>의 [[원상 (수학)|원상]]에 대응한다.
이는 [[리만 곡면]] <math>X</math> 속의 [[이분 그래프]]를 이룬다.

데생당팡과 벨리 사상의 성질은 다음과 같이 대응한다.
:{| class=wikitable
|-
! 데생당팡 || 벨리 사상
|-
| 변 || 분지 피복의 겹 (다항식의 경우, 그 수는 다항식의 차수와 같다)
|-
| 그래프의 여집합의 [[연결 성분]] || 무한대의 [[원상 (수학)|원상]]
|-
| 그래프가 [[나무 (그래프 이론)|나무]]인지 여부 || 무한대가 유일한 [[원상 (수학)|원상]]을 가는지 여부
|-
| 검은 꼭짓점 || 0의 원상
|-
| 흰 꼭짓점 || 1의 원상
|-
| 꼭짓점의 차수 (연결된 변의 수) || [[분지점]]의 분지 지표
|}

== 성질 ==
유리수체의 [[절대 갈루아 군]] <math>\operatorname{Gal}(\mathbb Q)=\operatorname{Gal}(\bar\mathbb Q/\mathbb Q)</math>를 생각하자. 이들은 모든 데생당팡의 집합 위에 [[추이적 작용|추이적으로 작용]]한다. 사실, 이는 [[나무 (그래프 이론)|나무]] 데생당팡들의 집합에 국한하여도 [[추이적 작용]]을 이룬다.

구체적으로, 임의의 벨리 사상 <math>f\colon X\to\mathbb P^1_{\bar\mathbb Q}</math>이 주어졌을 때, 절대 갈루아 군의 원소 <math>g\in\operatorname{Gal}(\mathbb Q)</math>는 사상
:<math>\phi_g\colon\mathbb P^1_{\bar\mathbb Q}\to\mathbb P^1_{\bar\mathbb Q}</math>
을 정의한다. (이는 물론 무한대 및 모든 유리수를 고정시킨다.) 이에 따라, 또다른 벨리 사상 <math>\phi_g\circ f\colon X\to\mathbb P^1_{\bar\mathbb Q}</math>를 정의할 수 있다.

특히, <math>f</math>와 <Math>\phi_g\circ f</math>에 대응하는 데생당팡은 같은 (유한한) 수의 변을 가지므로, 주어진 데생당팡의 [[안정자군]] <math>G\le\operatorname{Gal}(\bar\mathbb Q)</math>에 대하여, <math>\operatorname{Gal}(\bar\mathbb Q)/G</math>는 [[유한군]]이다. [[갈루아 이론]]에 의하여, <math>G</math>는 <math>\mathbb Q</math>의 [[유한 확대]], 즉 [[수체]]에 대응한다. 이 수체를 데생당팡의 '''모듈러스 수체'''(modulus數體, {{llang|en|field of moduli}})라고 한다.

== 예 ==
=== ''K''<sub>1,''n''</sub> ===
[[파일:Sextic-monomial-dessin.svg|섬네일|오른쪽|[[완전 이분 그래프]] <math>K_{1,6}</math>. 이는 벨리 사상 <math>z\mapsto z^6</math>에 대응하는 데생당팡이다.]]
[[완전 이분 그래프]] <math>K_{1,n}</math>는 데생당팡을 이루며, 이는 벨리 사상
:<math>f\colon\mathbb{CP}^1\to\mathbb{CP}^1</math>
:<math>f\colon z\mapsto z^n</math>
에 대응한다.

=== 경로 그래프 ===
꼭짓점을 <math>n+1</math>개 갖는 [[경로 그래프]] <math>\Gamma</math>를 생각하자. 이에 대응하는 벨리 사상은 다음과 같다.
:<math>\mathbb{CP^1}\to\mathbb{CP}^1</math>
:<math>z\mapsto\frac12\left(\operatorname T_n(z)+1\right)</math>
여기서 <math>\operatorname T_n</math>은 <math>n</math>차 [[체비쇼프 다항식]]이다. (이는 체비쇼프 다항식의 분지점은 ±1이기 때문이다.)
:[[파일:Chebyshev-dessins.svg|346px]]

=== 간단한 예 ===
간단한 벨리 사상에 대응하는 데생당팡들은 다음과 같다.
:[[파일:Dessindenfant9.jpg|456px]]

=== 복잡한 예 ===
예를 들어, 벨리 사상
:<math>f\colon\mathbb{CP}^1\to\mathbb{CP}^1</math>
:<math>f\colon z\mapsto-\frac{(z-1)^3(z-9)}{64z}
=1-\frac{(z-3+2\sqrt3)^2(z-3-2\sqrt3)^2}{64z}
=\frac1{64}
\left(-z^3+12z^2-30z+28-\frac9z\right)
</math>
를 생각하자. 이 경우, <math>\{0,1,\infty\}</math>의 원상인 분지점들은 다음과 같다.
:{| class=wikitable
|-
! <math>z</math> || <math>f(z)</math> || <math>\deg_zf</math>
|-
| 1 || 0 || 3
|-
| 9 || 0 || 1
|-
| <math>3+2\sqrt3</math> || 1 || 2
|-
| <math>3-2\sqrt3</math> || 1 || 2
|-
| 0 || ∞ || 1
|-
| ∞ || ∞ || 3
|}
이에 따라, 이 벨리 쌍에 대응되는 데생당팡은 다음과 같다.
:[[파일:Dessin-LZ109.svg|302px]]
이는 깨끗한 데생당팡이다.

== 역사 ==
1879년에 [[펠릭스 클라인]]<ref>{{저널 인용
|last=Klein | first = Felix | authorlink = 펠릭스 클라인
|제목 = Ueber die Transformation elfter Ordnung der elliptischen Functionen (mit einer lithogr. Tafel)
|쪽 = 533–555
|journal = Mathematische Annalen | issn=0025-5831
|volume = 15 | 호=3
|year = 1879
|url=	http://resolver.sub.uni-goettingen.de/purl?GDZPPN002245140
|doi= 10.1007/BF02086276
|언어=de}}</ref>은 어떤 특별한 [[리만 곡면]]을 계산하기 위하여 오늘날의 데생당팡과 사실상 같은 그래프들을 사용하였으며, {{llang|de|Linienzug|리니엔추크}}(“선형 획”)이라고 불렀다. 클라인은 오늘날 표기의 검은 꼭짓점(0의 [[원상 (수학)|원상]])과 흰 꼭짓점(1의 [[원상 (수학)|원상]])을 각각 ⚬와 +로 표기하였다. 클라인이 찾던 리만 곡면은 [[리만 구]]의 11겹 [[분지점|분지 피복]] <math>\mathbb{CP}^1\twoheadrightarrow\mathbb{CP}^1</math>이었으며, [[모노드로미 군]] <math>\operatorname{PSL}(2;\mathbb F_{11})</math>을 가진다. 이로부터, 클라인은 이 벨리 사상을 나타내는 데생당팡은 [[나무 (그래프 이론)|나무]]이며, 11개의 변과 7개의 흰 꼭짓점과 5개의 검은 꼭짓점을 가지며, 그 가운데 3개의 검은 꼭짓점은 3차 꼭짓점이며 4개의 흰 꼭짓점은 2차 꼭짓점이라는 사실을 유추하였다. 클라인은 이 조건들을 모두 충족시키는 10개의 데생당팡을 모두 나열한 뒤, 이들의 [[모노드로미 군]]을 각각 계산하여 자신이 찾는 [[리만 곡면]]에 해당하는 데생당팡이 10개의 가능성 가운데 어느 것인지 찾을 수 있었다.

1970년대에 [[알렉산더 그로텐디크]]는 벨리 정리를 추측하였으나, [[피에르 들리뉴]]는 이를 거짓이라고 생각하였다.<ref>{{서적 인용 | last=Schneps | first=Leila | editor1-last=Schneps | editor1-first=Leila | 장=Introduction | 제목=The Grothendieck theory of dessins d’Enfants | series=London Mathematical Society Lecture Note Series | volume=200 | publisher=Cambridge University Press | 날짜=1994-09 | isbn=978-0-52147821-2 |doi=10.1017/CBO9780511569302.001 | 쪽=1–16 | 언어=en}}</ref> 그러나 곧 1979년에 [[겐나디 벨리]]가 벨리 정리를 증명하였다.<ref>{{저널 인용|url=http://mi.mathnet.ru/izv1682|mr=534593|zbl=0409.12012|이름=Геннадий Владимирович|성=Белый|저자링크=겐나디 벨리|제목=О расширениях Галуа максимального кругового поля|저널=Известия Академии наук Союза Советских Социалистических Республик. Серия математическая|날짜=1979|권=43|호=2|쪽=267–276|언어=ru}}</ref> 이에 대하여 그로텐디크는 다음과 같이 적었다.
{{인용문2|
이러한 가정(假定)은 너무 말도 안되는 것 같아, 이를 전문가들에게 물어보는 것 자체가 거의 창피할 수준이었다. [[피에르 들리뉴|들리뉴]]는 실제로 이를 정신이 나간 아이디어라고 생각했지만, 딱히 적당한 반례를 찾지는 못했다. 곧 [[소련]]의 수학자 [[겐나디 벨리|벨리]]는 [[헬싱키]] [[세계 수학자 대회|세계 대회]]에서 바로 이 정리를 발표하였으며, 그 증명은 당황스러울 정도로 단순한 — 들리뉴의 자그마한 편지지로는 두 쪽도 채우지 못할 정도로 — 것이었다. 이렇게 깊고 놀라운 결과가 이렇게 몇 줄만으로 증명된 것이다!<br>
{{lang|fr|Une telle supposition avait l’air à tel point dingue que j’étais presque gêné de la soumettre aux compétences en la matière. Deligne consulté trouvait la supposition dingue en effet, mais sans avoir un contrexemple dans ses manches. Moins d’un après, au Congrès International de Helsinki, le mathématicien soviétique Bielyi annonce justement ce résultat, avec une démonstration d’une simplicité déconcertante tenant en deux petites pages d’une lettre de Deligne — jamais sans doute un résultat profond et déroutant ne fut démontré en si peu de lignes!}}
|<ref name="Grothendieck"/>{{rp|14–15}}
}}

이에 영향을 받아, [[알렉산더 그로텐디크]]가 1984년에 데생당팡을 도입하였다.<ref name=Grothendieck>{{인용 | last = Grothendieck | first = A. | authorlink = 알렉산더 그로텐디크 | year = 1984 | url = http://wwwmath.uni-muenster.de/reine/u/topos/AG-Leray/Operads/Grothendieck-Esquisse%20d'un%20programme.pdf | title = Esquisse d’un programme | 언어 = fr }}{{깨진 링크|url=http://wwwmath.uni-muenster.de/reine/u/topos/AG-Leray/Operads/Grothendieck-Esquisse%20d%27un%20programme.pdf }}</ref>

“데생당팡”은 프랑스어로 “어린이의 그림”이라는 뜻이다.
:{{llang|fr|dessin d’enfant|데생당팡}}={{lang|fr|[[:wiktionary:ko:dessin|dessin]]|데생}}그림 + {{lang|fr|[[:wiktionary:ko:de|de]]|드}}~의 + {{lang|fr|[[:wiktionary:ko:enfant|enfant]]|앙팡}}어린이
이는 데생당팡의 정의에 등장하는 그래프는 [[한붓그리기]]가 가능하기 때문에, 마치 크레용을 스케치북에서 떼지 않고 마구 그린 그림과 유사하기 때문이다.

이에 대하여 그로텐디크는 다음과 같이 적었다.
{{인용문2|
기술적으로 매우 단순한 이 발견은 내게 매우 강한 인상을 남겼으며, 나의 감상의 전환점 — 나의 수학에 대한 관심의 구심점의 이동 및 갑작스러운 집중 — 을 이룬다. 일개 수학적 사실이 이렇게 내게 강한 인상을 남긴 것은 이것이 처음이라고 생각한다. 이는 물론 다루어지는 수학적 대상이 매우 익숙하며 기초적이기 때문이다. 어린이가 종이에 아무렇게나 그린 그림이 (적어도 연필을 종이에서 떼지 않고 그렸을 때) 그 구체적 예가 된다. 이러한 그림에 대하여 미묘한 수론적 불변량이 연관된다 — 그러나 한 획만 더 긋더라도 이는 완전히 엉망이 돼 버린다.<br>
{{lang|fr|Cette découverte, qui techniquement se réduit à si peu de choses, a fait sur moi une impression très forte, et elle représente un tournant décisif dans le cours de mes réflexions, un d ́eplacement notamment de mon centre d’intérêt en mathématique, qui soudain s’est trouvé fortement localisé. Je ne crois pas qu’un fait mathématique m’ait jamais autant frappé que celui-là, et ait eu un impact psychologique comparable. Cela tient sûrement à la nature tellement familière, non technique, des objets considérés, dont tout dessin d’enfant griffonné sur un bout de papier (pour peu que le graphisme soit d’un seul tenant) donne un exemple parfaitement explicite. A un tel dessin se trouvent associés des invariants arithm ́etiques subtils, qui seront chamboulés complètement dès qu’on y rajoute un trait de plus.}}
|<ref name=Grothendieck/>{{rp|12–13}}}}

== 참고 문헌 ==
{{각주}}
* {{서적 인용 | 장url=https://01416e54-a-62cb3a1a-s-sites.googlegroups.com/site/wushijig/unifyingthemessuggestedbybelyistheoremseptember2009.pdf | 장=Unifying themes suggested by Belyi’s theorem | 이름=Wushi | 성=Goldring | editor1-first=Dorian | editor1-last=Goldfeld | editor2-first=Jay | editor2-last=Jorgenson | editor3-first=Peter | editor3-last=Jones | editor4-first=Dinakar | editor4-last=Ramakrishnan | editor5-first=Kenneth Alan | editor5-last=Ribet | editor5-link=케네스 앨런 리벳 | editor6-first=John | editor6-last=Tate | editor6-link=존 테이트 | title=Number theory, analysis and geometry.  In memory of Serge Lang | publisher=Springer-Verlag | year=2012 | isbn=978-1-4614-1259-5 | pages=181–214 | doi=10.1007/978-1-4614-1260-1_10 | 언어=en }}{{깨진 링크|url=https://01416e54-a-62cb3a1a-s-sites.googlegroups.com/site/wushijig/unifyingthemessuggestedbybelyistheoremseptember2009.pdf }}

== 외부 링크 ==
* {{nlab|id=child's drawing|title=Child's drawing}}
* {{웹 인용|url=http://www.neverendingbooks.org/recycled-dessins|날짜=2007-12-27|제목=recycled: dessins|웹사이트=neverendingbooks|이름=Lieven|성=Le Bruyn|언어=en}}
* {{웹 인용|url=http://www.neverendingbooks.org/kleins-dessins-denfant-and-the-buckyball|제목=	
Klein’s dessins d’enfant and the buckyball|날짜=2008-06-30|웹사이트=neverendingbooks|이름=Lieven|성=Le Bruyn|언어=en}}
* {{웹 인용|url=https://mathoverflow.net/questions/1909/what-are-dessins-denfants|제목=What are dessins d'enfants?|출판사=Math Overflow|언어=en}}

[[분류:그래프 이론]]
[[분류:대수기하학]]
[[분류:복소해석학]]
[[분류:위상 그래프 이론]]