데생당팡

대수기하학에서, 데생당팡(프랑스어: dessin d’enfant)은 리만 곡면을 리만 구 위의 분기화 데이터로 나타내는 그래프이다.

정의

데생당팡 $(V,E,\Sigma )$은 다음과 같은 데이터로 주어진다.

• $\Sigma$는 콤팩트 연결 2차원 가향 다양체이다.
• $V\subseteq \Sigma$는 $\Sigma$의 유한 부분 집합이다.
• $V\subseteq \Sigma$는 $X_{0}$을 포함하는 $\Sigma$의 부분 집합이며, 다음을 만족시킨다.
  • $E\setminus V\subseteq \Sigma$는 유한 개의 열린 선분들의 분리 합집합이다. 즉, $E$는 $V$를 꼭짓점 집합으로 하는 유한 그래프 $\Gamma$를 정의한다. 또한, 이 그래프는 이분 그래프이어야 한다.

흔히, 데생당팡의 꼭짓점들은 (이분 그래프의 구조를 나타내기 위하여) 검게 또는 희게 칠해진다.

두 데생당팡 $(V,E,\Sigma )$, $(V',E',\Sigma ')$ 사이의 동형 사상은 다음 조건을 만족시키는 위상 동형 사상 $\iota \colon \Sigma \to \Sigma '$이다.

$\iota (V)=V'$

$\iota (E)=E'$

데생당팡 $(\Gamma ,\Sigma )$에 (각 변의 양끝의 색이 다르게 되는) 흰색·검은색 2색으로의 그래프 색칠이 주어졌다고 하자. 이렇게 색칠된 데생당팡 $(V,E,\Sigma )$가 다음 조건을 만족시킨다면, 깨끗한 데생당팡(영어: clean dessin d’enfant)이라고 한다.

• 모든 흰색 꼭짓점의 차수(즉, 연결된 변의 수)는 2이다.

깨끗한 데생당팡의 경우, 흰색 꼭짓점들을 삭제하면 (색칠이 없는) 유한 그래프를 이룬다. 반대로, 임의의 유한 그래프 $\Gamma$에 대하여, 모든 꼭짓점을 검게 칠하고, 각 변의 중심에 새 (차수 2의) 흰 꼭짓점을 추가하면, 이는 깨끗한 데생당팡을 이룬다.

벨리 쌍

벨리 정리(Белый定理, 영어: Belyi’s theorem)에 따르면, ${\bar {\mathbb {Q} }}$ 위에 정의된 연결 매끄러운 사영 대수 곡선 $X/\operatorname {Spec} {\bar {\mathbb {Q} }}$에 대하여, 분지점 집합이 $\{0,1,\infty \}$의 부분 집합인 ${\bar {\mathbb {Q} }}$-스킴 사상

$f\colon X\to \mathbb {P} _{\bar {\mathbb {Q} }}^{1}$

가 존재한다. 즉, $f$를 $\mathbb {P} _{\bar {\mathbb {Q} }}^{1}\setminus \{0,1,\infty \}$의 원상에 국한하였을 때, 이는 에탈 사상을 이룬다.

즉, 임의의 연결 매끄러운 사영 복소수 대수 곡선(≈연결 콤팩트 리만 곡면) $X$ 및 복소수 대수다양체 사상

$f\colon X\to \mathbb {P} _{\mathbb {C} }^{1}$

에 대하여, 다음 두 조건이 서로 동치이다.

• $f$의 분지점의 모든 값들은 세 개 이하이며, 이 세 값 모두 대수적 수이다.
• $f$는 ${\bar {\mathbb {Q} }}$ 위에 정의된다.

이 조건을 만족시키는 사상을 벨리 사상(Белый-, 영어: Belyi map)이라고 하며, $(X,f)$를 벨리 쌍(Белый雙, 영어: Belyi pair)이라고 한다.

리만 곡면에 대응되는 데생당팡

벨리 쌍 $(X,\beta )$가 주어졌다고 하자. 그렇다면, 다음과 같은, 검은색·흰색 그래프 색칠이 주어진 그래프 $\Gamma$를 구성할 수 있다.

• 각 검은색 꼭짓점들은 $\beta$ 아래 $0\in \mathbb {CP} ^{1}$의 원상에 대응한다.
• 각 흰색 꼭짓점들은 $\beta$ 아래 $1\in \mathbb {CP} ^{1}$의 원상에 대응한다.
• 각 변은 $\beta$ 아래 선분 $[0,1]\subsetneq \mathbb {CP} ^{1}$의 원상에 대응한다.

이는 리만 곡면 $X$ 속의 이분 그래프를 이룬다.

데생당팡과 벨리 사상의 성질은 다음과 같이 대응한다.

데생당팡	벨리 사상
변	분지 피복의 겹 (다항식의 경우, 그 수는 다항식의 차수와 같다)
그래프의 여집합의 연결 성분	무한대의 원상
그래프가 나무인지 여부	무한대가 유일한 원상을 가는지 여부
검은 꼭짓점	0의 원상
흰 꼭짓점	1의 원상
꼭짓점의 차수 (연결된 변의 수)	분지점의 분지 지표

성질

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

구체적으로, 임의의 벨리 사상 $f\colon X\to \mathbb {P} _{\bar {\mathbb {Q} }}^{1}$이 주어졌을 때, 절대 갈루아 군의 원소 $g\in \operatorname {Gal} (\mathbb {Q} )$는 사상

$\phi _{g}\colon \mathbb {P} _{\bar {\mathbb {Q} }}^{1}\to \mathbb {P} _{\bar {\mathbb {Q} }}^{1}$

을 정의한다. (이는 물론 무한대 및 모든 유리수를 고정시킨다.) 이에 따라, 또다른 벨리 사상 $\phi _{g}\circ f\colon X\to \mathbb {P} _{\bar {\mathbb {Q} }}^{1}$를 정의할 수 있다.

특히, $f$와 $\phi _{g}\circ f$에 대응하는 데생당팡은 같은 (유한한) 수의 변을 가지므로, 주어진 데생당팡의 안정자군 $G\leq \operatorname {Gal} ({\bar {\mathbb {Q} }})$에 대하여, $\operatorname {Gal} ({\bar {\mathbb {Q} }})/G$는 유한군이다. 갈루아 이론에 의하여, $G$는 $\mathbb {Q}$의 유한 확대, 즉 수체에 대응한다. 이 수체를 데생당팡의 모듈러스 수체(modulus數體, 영어: field of moduli)라고 한다.

예

K_1,n

완전 이분 그래프 $K_{1,6}$. 이는 벨리 사상 $z\mapsto z^{6}$에 대응하는 데생당팡이다.

완전 이분 그래프 $K_{1,n}$는 데생당팡을 이루며, 이는 벨리 사상

$f\colon \mathbb {CP} ^{1}\to \mathbb {CP} ^{1}$

$f\colon z\mapsto z^{n}$

에 대응한다.

경로 그래프

꼭짓점을 $n+1$개 갖는 경로 그래프 $\Gamma$를 생각하자. 이에 대응하는 벨리 사상은 다음과 같다.

$\mathbb {CP^{1}} \to \mathbb {CP} ^{1}$

$z\mapsto {\frac {1}{2}}\left(\operatorname {T} _{n}(z)+1\right)$

여기서 $\operatorname {T} _{n}$은 $n$차 체비쇼프 다항식이다. (이는 체비쇼프 다항식의 분지점은 ±1이기 때문이다.)

간단한 예

간단한 벨리 사상에 대응하는 데생당팡들은 다음과 같다.

복잡한 예

예를 들어, 벨리 사상

$f\colon \mathbb {CP} ^{1}\to \mathbb {CP} ^{1}$

$f\colon z\mapsto -{\frac {(z-1)^{3}(z-9)}{64z}}=1-{\frac {(z-3+2{\sqrt {3}})^{2}(z-3-2{\sqrt {3}})^{2}}{64z}}={\frac {1}{64}}\left(-z^{3}+12z^{2}-30z+28-{\frac {9}{z}}\right)$

를 생각하자. 이 경우, $\{0,1,\infty \}$의 원상인 분지점들은 다음과 같다.

$z$	$f(z)$	$\deg _{z}f$
1	0	3
9	0	1
$3+2{\sqrt {3}}$	1	2
$3-2{\sqrt {3}}$	1	2
0	∞	1
∞	∞	3

이에 따라, 이 벨리 쌍에 대응되는 데생당팡은 다음과 같다.

이는 깨끗한 데생당팡이다.

역사

파일:Childart11Slovakia1.JPG

4세의 어린이가 그린 그림. 펜을 떼지 않고 한붓그리기를 하였다.

1979년에 겐나디 블라디미로비치 벨리가 벨리 정리를 증명하였다. 이에 영향을 받아, 알렉산더 그로텐디크가 1984년에 도입하였다.

“데생당팡”은 프랑스어로 “어린이의 그림”이라는 뜻이다.

프랑스어: dessin d’enfant 데생당팡^[*]=dessin 데생^[*]그림 + de 드^[*]~의 + enfant 앙팡^[*]어린이

이는 데생당팡의 정의에 등장하는 그래프는 한붓그리기가 가능하기 때문에, 마치 크레용을 스케치북에서 떼지 않고 마구 그린 그림과 유사하기 때문이다.

이에 대하여 그로텐디크는 다음과 같이 적었다.

“	기술적으로 매우 단순한 이 발견은 내게 매우 강한 인상을 남겼으며, 나의 감상의 전환점 — 나의 수학에 대한 관심의 구심점의 이동 및 갑작스러운 집중 — 을 이룬다. 일개 수학적 사실이 이렇게 내게 강한 인상을 남긴 것은 이것이 처음이라고 생각한다. 이는 물론 다루어지는 수학적 대상이 매우 익숙하며 기초적이기 때문이다. 어린이가 종이에 아무렇게나 그린 그림이 (적어도 연필을 종이에서 떼지 않고 그렸을 때) 그 구체적 예가 된다. 이러한 그림에 대하여 미묘한 수론적 불변량이 연관된다 — 그러나 한 획만 더 긋더라도 이는 완전히 엉망이 돼 버린다. 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.	”
	— :12–13

참고 문헌

• Zapponi, Leonardo (2003년 8월). “What is … a dessin d’enfant?” (PDF). 《Notices of the American Mathematical Society》 (영어): 788–789. 
• Girondo, Ernesto; González-Diez, Gabino (2012년 2월). 《Introduction to compact Riemann surfaces and dessins d’enfants》. London Mathematical Society Student Texts (영어) 79. Cambridge University Press. doi:10.1017/CBO9781139048910. ISBN 978-0-521-74022-7. Zbl 1253.30001. 
• Lando, Sergei K.; Zvonkin, Alexander K. (2004). 《Graphs on surfaces and their applications》. Encyclopaedia of Mathematical Sciences (영어) 141. Springer-Verlag. doi:10.1007/978-3-540-38361-1. ISBN 978-3-642-05523-2. Zbl 1040.05001. 
• Goldring, Wushi (2012). 〈Unifying themes suggested by Belyi’s theorem〉 (PDF). Goldfeld, Dorian; Jorgenson, Jay; Jones, Peter; Ramakrishnan, Dinakar; Ribet, Kenneth Alan; Tate, John. 《Number theory, analysis and geometry. In memory of Serge Lang》 (영어). Springer-Verlag. 181–214쪽. doi:10.1007/978-1-4614-1260-1_10. ISBN 978-1-4614-1259-5. 

바깥 고리

• “Child's drawing”. 《nLab》 (영어). 
• Le Bruyn, Lieven (2007년 12월 27일). “recycled: dessins”. 《neverendingbooks》 (영어). 
• Le Bruyn, Lieven (2008년 6월 30일). “Klein’s dessins d’enfant and the buckyball”. 《neverendingbooks》 (영어).