์ฝ˜ํ…์ธ  ๋Œ€ํ‘œ ์ด๋ฏธ์ง€ - ๐ŸŒŒ ๋ณต์†Œ ๊ธฐํ•˜ํ•™๊ณผ ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด๋ฅผ ํ†ตํ•œ ๋ณต์†Œ ๋ฏธ๋ถ„๊ธฐํ•˜ํ•™์  ๊ตฌ์กฐ์˜ ์„ธ๊ณ„

๐ŸŒŒ ๋ณต์†Œ ๊ธฐํ•˜ํ•™๊ณผ ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด๋ฅผ ํ†ตํ•œ ๋ณต์†Œ ๋ฏธ๋ถ„๊ธฐํ•˜ํ•™์  ๊ตฌ์กฐ์˜ ์„ธ๊ณ„

๋ณต์†Œ์ˆ˜์˜ ์•„๋ฆ„๋‹ค์šด ๊ธฐํ•˜ํ•™์  ๊ตฌ์กฐ ์†์œผ๋กœ ๋– ๋‚˜๋Š” ์ˆ˜ํ•™์  ์—ฌํ–‰ โœจ

๐ŸŽฏ ๋ณต์†Œ ๊ธฐํ•˜ํ•™, ์™œ ์ด๋ ‡๊ฒŒ ์–ด๋ ต๊ณ  ์•„๋ฆ„๋‹ค์šด๊ฐ€?

์•ˆ๋…•, ์นœ๊ตฌ! ์˜ค๋Š˜์€ ์ •๋ง ์–ด๋ ค์šด ์ˆ˜ํ•™ ์ด์•ผ๊ธฐ๋ฅผ ํ•ด๋ณด๋ ค๊ณ  ํ•ด. ๐Ÿ˜Š ๋ณต์†Œ ๊ธฐํ•˜ํ•™๊ณผ ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด๋ผ๋Š” ์ฃผ์ œ์ธ๋ฐ, ์†”์งํžˆ ๋งํ•˜๋ฉด ์ด๊ฑด ๋Œ€ํ•™์› ์ˆ˜์ค€์˜ ์ˆ˜ํ•™์ด์•ผ. ํ•˜์ง€๋งŒ ๊ฑฑ์ •ํ•˜์ง€ ๋งˆ! ์ตœ๋Œ€ํ•œ ์นœ๊ทผํ•˜๊ฒŒ, ๊ทธ๋Ÿฌ๋ฉด์„œ๋„ ์ •ํ™•ํ•˜๊ฒŒ ์„ค๋ช…ํ•ด๋ณผ๊ฒŒ.

๋จผ์ € ๋ณต์†Œ ๊ธฐํ•˜ํ•™(Complex Geometry)์ด ๋ญ”์ง€๋ถ€ํ„ฐ ์•Œ์•„๋ณด์ž. ์šฐ๋ฆฌ๊ฐ€ ๊ณ ๋“ฑํ•™๊ต ๋•Œ ๋ฐฐ์šด ๋ณต์†Œ์ˆ˜ ๊ธฐ์–ต๋‚˜์ง€? a + bi ํ˜•ํƒœ๋กœ ํ‘œํ˜„๋˜๋Š” ๊ทธ ์ˆ˜ ๋ง์ด์•ผ. ๋ณต์†Œ ๊ธฐํ•˜ํ•™์€ ์ด๋Ÿฐ ๋ณต์†Œ์ˆ˜๋“ค์ด ๋งŒ๋“ค์–ด๋‚ด๋Š” ๊ธฐํ•˜ํ•™์  ๊ตฌ์กฐ๋ฅผ ์—ฐ๊ตฌํ•˜๋Š” ๋ถ„์•ผ์•ผ. ๋‹จ์ˆœํžˆ ํ‰๋ฉด ์œ„์˜ ์ ์œผ๋กœ ๋ณต์†Œ์ˆ˜๋ฅผ ํ‘œํ˜„ํ•˜๋Š” ๊ฒŒ ์•„๋‹ˆ๋ผ, ํ›จ์”ฌ ๋” ๋ณต์žกํ•˜๊ณ  ์•„๋ฆ„๋‹ค์šด ๊ตฌ์กฐ๋“ค์„ ๋‹ค๋ฃจ์ง€. ๐ŸŽจ

๐Ÿ’ก ํ•ต์‹ฌ ํฌ์ธํŠธ ๋ณต์†Œ ๊ธฐํ•˜ํ•™์€ ์‹ค์ˆ˜ ๊ธฐํ•˜ํ•™๊ณผ๋Š” ์™„์ „ํžˆ ๋‹ค๋ฅธ ์ฐจ์›์˜ ๊ตฌ์กฐ๋ฅผ ๊ฐ€์ง€๊ณ  ์žˆ์–ด. ๋ณต์†Œ 1์ฐจ์›์€ ์‹ค์ˆ˜๋กœ ๋ณด๋ฉด 2์ฐจ์›์ด ๋˜๊ฑฐ๋“ . ์ด๊ฒŒ ๋ฐ”๋กœ ๋ณต์†Œ ๊ธฐํ•˜ํ•™์ด ํ’๋ถ€ํ•˜๊ณ  ๋ณต์žกํ•œ ์ด์œ ์•ผ!

๐Ÿ” ๋ณต์†Œ ๋‹ค์–‘์ฒด(Complex Manifold)์˜ ์„ธ๊ณ„

๋ณธ๊ฒฉ์ ์œผ๋กœ ๋“ค์–ด๊ฐ€๊ธฐ ์ „์— ๋ณต์†Œ ๋‹ค์–‘์ฒด๋ผ๋Š” ๊ฐœ๋…์„ ์ดํ•ดํ•ด์•ผ ํ•ด. ๋‹ค์–‘์ฒด(manifold)๋Š” ๊ตญ์†Œ์ ์œผ๋กœ๋Š” ์œ ํด๋ฆฌ๋“œ ๊ณต๊ฐ„์ฒ˜๋Ÿผ ๋ณด์ด์ง€๋งŒ ์ „์ฒด์ ์œผ๋กœ๋Š” ๋ณต์žกํ•œ ๊ตฌ์กฐ๋ฅผ ๊ฐ€์ง„ ๊ณต๊ฐ„์ด์•ผ. ์˜ˆ๋ฅผ ๋“ค์–ด, ์ง€๊ตฌ ํ‘œ๋ฉด์„ ์ƒ๊ฐํ•ด๋ด. ์šฐ๋ฆฌ๊ฐ€ ์„œ ์žˆ๋Š” ์ž‘์€ ์˜์—ญ์€ ํ‰ํ‰ํ•ด ๋ณด์ด์ง€๋งŒ, ์‹ค์ œ๋กœ๋Š” ๊ตฌ ๋ชจ์–‘์ด์ž–์•„? ์ด๊ฒŒ ๋ฐ”๋กœ ๋‹ค์–‘์ฒด์˜ ๊ฐœ๋…์ด์•ผ. ๐ŸŒ

๋ณต์†Œ ๋‹ค์–‘์ฒด๋Š” ์ด๋Ÿฐ ๋‹ค์–‘์ฒด์— ๋ณต์†Œ์ˆ˜ ๊ตฌ์กฐ๊ฐ€ ์ถ”๊ฐ€๋œ ๊ฑฐ์•ผ. ๊ฐ ์  ๊ทผ์ฒ˜์—์„œ ๋ณต์†Œ ์ขŒํ‘œ๊ณ„๋ฅผ ์ •์˜ํ•  ์ˆ˜ ์žˆ๊ณ , ์ขŒํ‘œ ๋ณ€ํ™˜์ด ์ •์น™ํ•จ์ˆ˜(holomorphic function)๋กœ ์ด๋ฃจ์–ด์ง€๋Š” ๊ณต๊ฐ„์ด์ง€. ์ •์น™ํ•จ์ˆ˜๋Š” ๋ณต์†Œ ๋ฏธ๋ถ„๊ฐ€๋Šฅํ•œ ํ•จ์ˆ˜๋ฅผ ๋งํ•˜๋Š”๋ฐ, ์ด๊ฒŒ ์‹คํ•จ์ˆ˜์˜ ๋ฏธ๋ถ„๊ฐ€๋Šฅ์„ฑ๋ณด๋‹ค ํ›จ์”ฌ ๊ฐ•ํ•œ ์กฐ๊ฑด์ด์•ผ.

๐Ÿ“š ๋ณต์†Œ ๋‹ค์–‘์ฒด์˜ ์ •์˜ n์ฐจ์› ๋ณต์†Œ ๋‹ค์–‘์ฒด M์€ ๋‹ค์Œ ์กฐ๊ฑด์„ ๋งŒ์กฑํ•˜๋Š” ์œ„์ƒ๊ณต๊ฐ„์ด์•ผ:

1๏ธโƒฃ M์€ ํ•˜์šฐ์Šค๋„๋ฅดํ”„ ๊ณต๊ฐ„์ด๊ณ  ์ œ2๊ฐ€์‚ฐ๊ณต๋ฆฌ๋ฅผ ๋งŒ์กฑํ•ด
2๏ธโƒฃ M์€ ์ขŒํ‘œ ์ฐจํŠธ๋“ค์˜ ๋ชจ์ž„์œผ๋กœ ๋ฎ์—ฌ์žˆ์–ด
3๏ธโƒฃ ๊ฐ ์ฐจํŠธ๋Š” โ„‚โฟ์˜ ์—ด๋ฆฐ์ง‘ํ•ฉ๊ณผ ๋™ํ˜•์‚ฌ์ƒ์ด์•ผ
4๏ธโƒฃ ์ฐจํŠธ ์ „์ดํ•จ์ˆ˜๋“ค์ด ๋ชจ๋‘ ์ •์น™ํ•จ์ˆ˜์•ผ

์ด๋Ÿฐ ๋ณต์†Œ ๋‹ค์–‘์ฒด์˜ ๋Œ€ํ‘œ์ ์ธ ์˜ˆ์‹œ๊ฐ€ ๋ฐ”๋กœ ๋ณต์†Œ ์‚ฌ์˜๊ณต๊ฐ„(Complex Projective Space) โ„‚Pโฟ์ด์•ผ. ์ด๊ฑด (n+1)์ฐจ์› ๋ณต์†Œ ๋ฒกํ„ฐ๊ณต๊ฐ„์—์„œ ์›์ ์„ ์ œ์™ธํ•œ ์ ๋“ค์„ ๋ณต์†Œ์ˆ˜๋ฐฐ๋กœ ๋™์ผ์‹œํ•œ ๊ณต๊ฐ„์ด์ง€. ์ˆ˜์‹์œผ๋กœ ์“ฐ๋ฉด ์ด๋ ‡๊ฒŒ ๋ผ:

โ„‚Pโฟ = (โ„‚โฟโบยน \ {0}) / ~
์—ฌ๊ธฐ์„œ (zโ‚€, zโ‚, ..., zโ‚™) ~ (ฮปzโ‚€, ฮปzโ‚, ..., ฮปzโ‚™), ฮป โˆˆ โ„‚*
๋ณต์†Œ ๋‹ค์–‘์ฒด์˜ ๊ตฌ์กฐ ๊ตญ์†Œ ์ขŒํ‘œ๊ณ„ ๋ณต์†Œ ์ขŒํ‘œ (zโ‚, zโ‚‚, ..., zโ‚™) ์ •์น™ ์ „์ดํ•จ์ˆ˜ ์ฐจํŠธ ๊ฒน์นจ ์˜์—ญ ์ •์น™์„ฑ ๋ณด์žฅ ๋ณต์†Œ ๊ตฌ์กฐ ๋ณด์กด

๐ŸŽจ ๋ณต์†Œ ๊ตฌ์กฐ์™€ ๊ฑฐ์˜ ๋ณต์†Œ ๊ตฌ์กฐ

์ด์ œ ์ข€ ๋” ๊นŠ์ด ๋“ค์–ด๊ฐ€๋ณผ๊นŒ? ๋ณต์†Œ ๋‹ค์–‘์ฒด๋ฅผ ์ดํ•ดํ•˜๋ ค๋ฉด ๋ณต์†Œ ๊ตฌ์กฐ(Complex Structure)๋ผ๋Š” ๊ฐœ๋…์ด ํ•ต์‹ฌ์ด์•ผ. ์ด๊ฑด ์‹ค ๋‹ค์–‘์ฒด ์œ„์— ์ •์˜๋˜๋Š” ํŠน๋ณ„ํ•œ ์„ ํ˜• ๋ณ€ํ™˜์ด์•ผ. ๐Ÿ“

์‹ค ๋‹ค์–‘์ฒด M์˜ ๊ฐ ์  p์—์„œ ์ ‘๊ณต๊ฐ„(tangent space) Tโ‚šM์„ ์ƒ๊ฐํ•ด๋ณด์ž. ๋ณต์†Œ ๊ตฌ์กฐ J๋Š” ์ด ์ ‘๊ณต๊ฐ„ ์œ„์˜ ์„ ํ˜• ๋ณ€ํ™˜์ธ๋ฐ, ๋‹ค์Œ ์กฐ๊ฑด์„ ๋งŒ์กฑํ•ด์•ผ ํ•ด:

Jยฒ = -I
(์—ฌ๊ธฐ์„œ I๋Š” ํ•ญ๋“ฑ๋ณ€ํ™˜)

์ด๊ฒŒ ๋ฌด์Šจ ์˜๋ฏธ๋ƒ๋ฉด, J๋ฅผ ๋‘ ๋ฒˆ ์ ์šฉํ•˜๋ฉด -1์„ ๊ณฑํ•œ ๊ฒƒ๊ณผ ๊ฐ™๋‹ค๋Š” ๊ฑฐ์•ผ. ๋ณต์†Œ์ˆ˜ i๋ฅผ ์ƒ๊ฐํ•ด๋ด. iยฒ = -1์ด์ž–์•„? ๋ฐ”๋กœ ๊ทธ ์„ฑ์งˆ์„ ๊ธฐํ•˜ํ•™์ ์œผ๋กœ ๊ตฌํ˜„ํ•œ ๊ฑฐ์ง€! ์ด J๋ฅผ ํ†ตํ•ด ์šฐ๋ฆฌ๋Š” ์‹ค ๋ฒกํ„ฐ๊ณต๊ฐ„์„ ๋ณต์†Œ ๋ฒกํ„ฐ๊ณต๊ฐ„์ฒ˜๋Ÿผ ๋‹ค๋ฃฐ ์ˆ˜ ์žˆ๊ฒŒ ๋ผ. ๐ŸŽฏ

ํ•˜์ง€๋งŒ ์—ฌ๊ธฐ์„œ ์ค‘์š”ํ•œ ๊ฒŒ ์žˆ์–ด. ๋ชจ๋“  ๊ฑฐ์˜ ๋ณต์†Œ ๊ตฌ์กฐ(Almost Complex Structure)๊ฐ€ ์ง„์งœ ๋ณต์†Œ ๊ตฌ์กฐ๊ฐ€ ๋˜๋Š” ๊ฑด ์•„๋‹ˆ์•ผ. ๊ฑฐ์˜ ๋ณต์†Œ ๊ตฌ์กฐ๋Š” ๋‹จ์ˆœํžˆ Jยฒ = -I๋งŒ ๋งŒ์กฑํ•˜๋ฉด ๋˜์ง€๋งŒ, ์ง„์งœ ๋ณต์†Œ ๊ตฌ์กฐ๊ฐ€ ๋˜๋ ค๋ฉด ์ถ”๊ฐ€ ์กฐ๊ฑด์ด ํ•„์š”ํ•ด. ๋ฐ”๋กœ ์ ๋ถ„๊ฐ€๋Šฅ์„ฑ(Integrability)์ด์•ผ!

โš ๏ธ ๋‰ด๋žœ๋”-๋‹ˆ๋ Œ๋ฒ„๊ทธ ์ •๋ฆฌ(Newlander-Nirenberg Theorem) ๊ฑฐ์˜ ๋ณต์†Œ ๊ตฌ์กฐ J๊ฐ€ ์ง„์งœ ๋ณต์†Œ ๊ตฌ์กฐ๊ฐ€ ๋˜๊ธฐ ์œ„ํ•œ ํ•„์š”์ถฉ๋ถ„์กฐ๊ฑด์€ ๋‹ˆ์  ํ•˜์œ„์Šค ํ…์„œ(Nijenhuis Tensor) N_J๊ฐ€ 0์ด ๋˜๋Š” ๊ฑฐ์•ผ. ์ด ์ •๋ฆฌ๋Š” ๋ณต์†Œ ๊ธฐํ•˜ํ•™์—์„œ ์ •๋ง ์ค‘์š”ํ•œ ์ •๋ฆฌ ์ค‘ ํ•˜๋‚˜์ง€!

โœจ ์—๋ฅด๋ฏธํŠธ ๊ณ„๋Ÿ‰๊ณผ ์ผ€์ผ๋Ÿฌ ๊ตฌ์กฐ๋กœ์˜ ์—ฌ์ •

์ž, ์ด์ œ ๋ณธ๊ฒฉ์ ์œผ๋กœ ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด(Kรคhler Manifold)๋กœ ๊ฐ€๋Š” ๊ธธ์„ ์—ด์–ด๋ณด์ž! ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด๋ฅผ ์ดํ•ดํ•˜๋ ค๋ฉด ๋จผ์ € ์—๋ฅด๋ฏธํŠธ ๊ณ„๋Ÿ‰(Hermitian Metric)์„ ์•Œ์•„์•ผ ํ•ด. ๐ŸŒŸ

๋ณต์†Œ ๋‹ค์–‘์ฒด M ์œ„์˜ ์—๋ฅด๋ฏธํŠธ ๊ณ„๋Ÿ‰ h๋Š” ๊ฐ ์ ‘๊ณต๊ฐ„ Tโ‚šM ์œ„์— ์ •์˜๋œ ์—๋ฅด๋ฏธํŠธ ๋‚ด์ ์ด์•ผ. ์—๋ฅด๋ฏธํŠธ ๋‚ด์ ์€ ๋ณต์†Œ ๋ฒกํ„ฐ๊ณต๊ฐ„์—์„œ์˜ ๋‚ด์ ์ธ๋ฐ, ๋‹ค์Œ ์„ฑ์งˆ๋“ค์„ ๋งŒ์กฑํ•ด:

๐Ÿ“ ์—๋ฅด๋ฏธํŠธ ๋‚ด์ ์˜ ์„ฑ์งˆ 1๏ธโƒฃ h(u, v) = hฬ„(v, u) (์ผค๋ ˆ ๋Œ€์นญ์„ฑ)
2๏ธโƒฃ h(ฮฑu + ฮฒv, w) = ฮฑh(u, w) + ฮฒh(v, w) (์ฒซ ๋ฒˆ์งธ ์ธ์ž์— ๋Œ€ํ•œ ์„ ํ˜•์„ฑ)
3๏ธโƒฃ h(u, u) > 0 for u โ‰  0 (์–‘์ •๋ถ€์„ฑ)
4๏ธโƒฃ h(Ju, Jv) = h(u, v) (๋ณต์†Œ ๊ตฌ์กฐ์™€์˜ ํ˜ธํ™˜์„ฑ)

์—๋ฅด๋ฏธํŠธ ๊ณ„๋Ÿ‰ h๊ฐ€ ์ฃผ์–ด์ง€๋ฉด, ์šฐ๋ฆฌ๋Š” ์ด๊ฒƒ์˜ ์‹ค๋ถ€์™€ ํ—ˆ๋ถ€๋ฅผ ๋ถ„๋ฆฌํ•  ์ˆ˜ ์žˆ์–ด. ์‹ค๋ถ€๋ฅผ g๋ผ๊ณ  ํ•˜๊ณ , ํ—ˆ๋ถ€์— -1์„ ๊ณฑํ•œ ๊ฑธ ฯ‰๋ผ๊ณ  ํ•˜๋ฉด:

h(u, v) = g(u, v) - iฯ‰(u, v)

์—ฌ๊ธฐ์„œ g๋Š” ๋ฆฌ๋งŒ ๊ณ„๋Ÿ‰(Riemannian Metric)์ด ๋˜๊ณ , ฯ‰๋Š” 2-ํ˜•์‹(2-form)์ด ๋ผ. ์ด ฯ‰๋ฅผ ๊ธฐ๋ณธ ํ˜•์‹(Fundamental Form) ๋˜๋Š” ์ผ€์ผ๋Ÿฌ ํ˜•์‹(Kรคhler Form)์ด๋ผ๊ณ  ๋ถˆ๋Ÿฌ. ๐ŸŽช

๊ทธ๋Ÿฐ๋ฐ ์—ฌ๊ธฐ์„œ ๋งˆ๋ฒ• ๊ฐ™์€ ์ผ์ด ์ผ์–ด๋‚˜! ๋งŒ์•ฝ ์ด ฯ‰๊ฐ€ ๋‹ซํ˜€์žˆ๋‹ค๋ฉด(closed), ์ฆ‰ dฯ‰ = 0์ด๋ผ๋ฉด, ์šฐ๋ฆฌ๋Š” ์ด ์—๋ฅด๋ฏธํŠธ ๋‹ค์–‘์ฒด๋ฅผ ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด๋ผ๊ณ  ๋ถ€๋ฅด๋Š” ๊ฑฐ์•ผ! ์ด๊ฒŒ ๋ฐ”๋กœ ์ผ€์ผ๋Ÿฌ ์กฐ๊ฑด์ด์ง€.

๐ŸŽฏ ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด์˜ ์ •์˜ ๋ณต์†Œ ๋‹ค์–‘์ฒด M์ด ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด๊ฐ€ ๋˜๋ ค๋ฉด:
โ€ข ์—๋ฅด๋ฏธํŠธ ๊ณ„๋Ÿ‰ h๊ฐ€ ์กด์žฌํ•˜๊ณ 
โ€ข ๊ทธ ๊ธฐ๋ณธ ํ˜•์‹ ฯ‰๊ฐ€ ๋‹ซํ˜€์žˆ์–ด์•ผ ํ•ด (dฯ‰ = 0)

์ด ์กฐ๊ฑด์ด ๋งŒ์กฑ๋˜๋ฉด ์—„์ฒญ๋‚˜๊ฒŒ ์•„๋ฆ„๋‹ค์šด ๊ธฐํ•˜ํ•™์  ๊ตฌ์กฐ๊ฐ€ ๋‚˜ํƒ€๋‚˜!

๐ŸŒˆ ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด์˜ ๋†€๋ผ์šด ์„ฑ์งˆ๋“ค

์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด๊ฐ€ ์™œ ๊ทธ๋ ‡๊ฒŒ ํŠน๋ณ„ํ•œ์ง€ ์•Œ์•„๋ณด์ž. ์ผ€์ผ๋Ÿฌ ์กฐ๊ฑด dฯ‰ = 0์€ ๊ฒ‰๋ณด๊ธฐ์—” ๋‹จ์ˆœํ•ด ๋ณด์ด์ง€๋งŒ, ์ด๊ฒŒ ์—„์ฒญ๋‚œ ๊ฒฐ๊ณผ๋“ค์„ ๊ฐ€์ ธ์™€! ๐Ÿ˜ฎ

์ฒซ์งธ, ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด์—์„œ๋Š” ๋ฆฌ๋งŒ ๊ธฐํ•˜ํ•™, ๋ณต์†Œ ๊ธฐํ•˜ํ•™, ์‹ฌํ”Œ๋ ‰ํ‹ฑ ๊ธฐํ•˜ํ•™์ด ๋ชจ๋‘ ์กฐํ™”๋กญ๊ฒŒ ์–ด์šฐ๋Ÿฌ์ ธ. ์ด๊ฒŒ ๋ฌด์Šจ ๋ง์ด๋ƒ๋ฉด:

๐Ÿ”„ ์„ธ ๊ฐ€์ง€ ๊ด€์ ์˜ ํ†ตํ•ฉ 1. ๋ฆฌ๋งŒ ๊ธฐํ•˜ํ•™์  ๊ด€์ :
์ผ€์ผ๋Ÿฌ ๊ณ„๋Ÿ‰ g๋Š” ๋ฆฌ๋งŒ ๊ณ„๋Ÿ‰์ด์•ผ. ๋”ฐ๋ผ์„œ ๊ณก๋ฅ , ์ธก์ง€์„  ๊ฐ™์€ ๋ฆฌ๋งŒ ๊ธฐํ•˜ํ•™์˜ ๋ชจ๋“  ๋„๊ตฌ๋ฅผ ์‚ฌ์šฉํ•  ์ˆ˜ ์žˆ์–ด.

2. ๋ณต์†Œ ๊ธฐํ•˜ํ•™์  ๊ด€์ :
๋ณต์†Œ ๊ตฌ์กฐ J์™€ ๊ณ„๋Ÿ‰์ด ํ˜ธํ™˜๋ผ. ์ •์น™ ๋ฒกํ„ฐ์žฅ, ์ •์น™ ๊ณก์„  ๊ฐ™์€ ๋ณต์†Œ ๊ธฐํ•˜ํ•™์  ๋Œ€์ƒ๋“ค์„ ์ž์—ฐ์Šค๋Ÿฝ๊ฒŒ ๋‹ค๋ฃฐ ์ˆ˜ ์žˆ์ง€.

3. ์‹ฌํ”Œ๋ ‰ํ‹ฑ ๊ธฐํ•˜ํ•™์  ๊ด€์ :
์ผ€์ผ๋Ÿฌ ํ˜•์‹ ฯ‰๋Š” ์‹ฌํ”Œ๋ ‰ํ‹ฑ ํ˜•์‹์ด์•ผ. ํ•ด๋ฐ€ํ„ด ์—ญํ•™, ๋ชจ๋ฉ˜ํŠธ ๋งต ๊ฐ™์€ ์‹ฌํ”Œ๋ ‰ํ‹ฑ ๊ธฐํ•˜ํ•™์˜ ๊ฐœ๋…๋“ค์„ ์ ์šฉํ•  ์ˆ˜ ์žˆ์–ด.

๋‘˜์งธ, ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด์—์„œ๋Š” ๋ ˆ๋น„-์น˜๋น„ํƒ€ ์ ‘์†(Levi-Civita Connection)์ด ๋ณต์†Œ ๊ตฌ์กฐ๋ฅผ ๋ณด์กดํ•ด. ์ด๊ฒŒ ์ •๋ง ์ค‘์š”ํ•œ ์„ฑ์งˆ์ธ๋ฐ, ์ˆ˜์‹์œผ๋กœ ์“ฐ๋ฉด:

โˆ‡J = 0

์—ฌ๊ธฐ์„œ โˆ‡๋Š” ๋ ˆ๋น„-์น˜๋น„ํƒ€ ์ ‘์†์ด์•ผ. ์ด ์กฐ๊ฑด์€ ํ‰ํ–‰์ด๋™์ด ๋ณต์†Œ ๊ตฌ์กฐ๋ฅผ ๋ณด์กดํ•œ๋‹ค๋Š” ์˜๋ฏธ์•ผ. ์‹ค์ œ๋กœ ์ด๊ฒƒ๊ณผ ์ผ€์ผ๋Ÿฌ ์กฐ๊ฑด dฯ‰ = 0์€ ๋™์น˜์•ผ! ๐ŸŽจ

์…‹์งธ, ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด์—์„œ๋Š” ํ˜ธ์ง€ ์ด๋ก (Hodge Theory)์ด ํŠน๋ณ„ํžˆ ์•„๋ฆ„๋‹ค์šด ํ˜•ํƒœ๋กœ ๋‚˜ํƒ€๋‚˜. ํ˜ธ์ง€ ๋ถ„ํ•ด(Hodge Decomposition)๋ฅผ ํ†ตํ•ด ๋“œ๋žŒ ์ฝ”ํ˜ธ๋ชฐ๋กœ์ง€(de Rham Cohomology)๋ฅผ ๋ณต์†Œ ๊ตฌ์กฐ์— ๋งž๊ฒŒ ์„ธ๋ถ„ํ™”ํ•  ์ˆ˜ ์žˆ์–ด:

H^k(M, โ„‚) = โŠ•_{p+q=k} H^{p,q}(M)

์ด๊ฑธ ํ˜ธ์ง€ ๋ถ„ํ•ด๋ผ๊ณ  ํ•ด. ์—ฌ๊ธฐ์„œ H^{p,q}(M)์€ (p,q)-ํ˜•์‹๋“ค์˜ ์ฝ”ํ˜ธ๋ชฐ๋กœ์ง€ ๊ทธ๋ฃน์ด์•ผ. ์ด ๋ถ„ํ•ด๋Š” ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด์—์„œ๋งŒ ์„ฑ๋ฆฝํ•˜๋Š” ํŠน๋ณ„ํ•œ ์„ฑ์งˆ์ด์ง€! ์žฌ๋Šฅ๋„ท์˜ ์ง€์‹์ธ์˜ ์ˆฒ์—์„œ ์ด๋Ÿฐ ๊นŠ์€ ์ˆ˜ํ•™ ์ด์•ผ๊ธฐ๋ฅผ ๋‚˜๋ˆŒ ์ˆ˜ ์žˆ๋‹ค๋‹ˆ, ์ •๋ง ๋ฉ‹์ง€์ง€ ์•Š์•„? ๐Ÿ˜Š

์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด์˜ ๊ตฌ์กฐ ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด ๋ฆฌ๋งŒ ๊ธฐํ•˜ํ•™ ๋ณต์†Œ ๊ธฐํ•˜ํ•™ ์‹ฌํ”Œ๋ ‰ํ‹ฑ ๊ธฐํ•˜ํ•™ ๊ณ„๋Ÿ‰ g ๊ตฌ์กฐ J ํ˜•์‹ ฯ‰ ๊ณก๋ฅ  ์ธก์ง€์„  ์ •์น™ํ•จ์ˆ˜ ๋ณต์†Œ๊ตฌ์กฐ dฯ‰ = 0 (๋‹ซํžŒ ํ˜•์‹)

๐ŸŽช ์ผ€์ผ๋Ÿฌ ํฌํ…์…œ๊ณผ ๊ตญ์†Œ ์ขŒํ‘œ๊ณ„

์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด๋ฅผ ๊ตฌ์ฒด์ ์œผ๋กœ ๋‹ค๋ฃจ๋ ค๋ฉด ์ผ€์ผ๋Ÿฌ ํฌํ…์…œ(Kรคhler Potential)์ด๋ผ๋Š” ๊ฐœ๋…์ด ์—„์ฒญ ์œ ์šฉํ•ด. ๊ตญ์†Œ์ ์œผ๋กœ ์ผ€์ผ๋Ÿฌ ํ˜•์‹ ฯ‰๋Š” ์–ด๋–ค ํ•จ์ˆ˜ K์˜ ๋ฏธ๋ถ„์œผ๋กœ ํ‘œํ˜„๋  ์ˆ˜ ์žˆ์–ด. ์ด K๋ฅผ ์ผ€์ผ๋Ÿฌ ํฌํ…์…œ์ด๋ผ๊ณ  ํ•˜์ง€. ๐ŸŽฏ

๊ตญ์†Œ ๋ณต์†Œ ์ขŒํ‘œ (zยน, zยฒ, ..., zโฟ)๋ฅผ ์‚ฌ์šฉํ•˜๋ฉด, ์ผ€์ผ๋Ÿฌ ํ˜•์‹์„ ์ด๋ ‡๊ฒŒ ์“ธ ์ˆ˜ ์žˆ์–ด:

ฯ‰ = (i/2) โˆ‚โˆ‚ฬ„K = (i/2) ฮฃ_{j,k} (โˆ‚ยฒK/โˆ‚z^jโˆ‚zฬ„^k) dz^j โˆง dzฬ„^k

์—ฌ๊ธฐ์„œ โˆ‚๋Š” ์ •์น™ ๋ฐฉํ–ฅ์˜ ๋ฏธ๋ถ„์ด๊ณ , โˆ‚ฬ„๋Š” ๋ฐ˜์ •์น™ ๋ฐฉํ–ฅ์˜ ๋ฏธ๋ถ„์ด์•ผ. ์ด ํ‘œํ˜„์ด ์ •๋ง ๊ฐ•๋ ฅํ•œ ์ด์œ ๋Š” ์ผ€์ผ๋Ÿฌ ๊ณ„๋Ÿ‰์˜ ์„ฑ๋ถ„๋“ค์„ ์ผ€์ผ๋Ÿฌ ํฌํ…์…œ๋กœ๋ถ€ํ„ฐ ์ง์ ‘ ๊ณ„์‚ฐํ•  ์ˆ˜ ์žˆ๊ธฐ ๋•Œ๋ฌธ์ด์•ผ:

g_{jkฬ„} = โˆ‚ยฒK/โˆ‚z^jโˆ‚zฬ„^k

์ด g_{jkฬ„}๋ฅผ ์ผ€์ผ๋Ÿฌ ๊ณ„๋Ÿ‰์˜ ์„ฑ๋ถ„์ด๋ผ๊ณ  ํ•ด. ์ผ€์ผ๋Ÿฌ ํฌํ…์…œ K๊ฐ€ ์ฃผ์–ด์ง€๋ฉด, ์ด ๋‹ค์–‘์ฒด์˜ ๋ชจ๋“  ๊ธฐํ•˜ํ•™์  ์ •๋ณด๋ฅผ ๊ณ„์‚ฐํ•  ์ˆ˜ ์žˆ์–ด! ๊ณก๋ฅ , ๋ฆฌ์น˜ ๊ณก๋ฅ , ์Šค์นผ๋ผ ๊ณก๋ฅ  ๋“ฑ๋“ฑ ๋ง์ด์•ผ. ๐Ÿ“Š

์˜ˆ๋ฅผ ๋“ค์–ด, ๋ฆฌ์น˜ ํ˜•์‹(Ricci Form)์€ ์ด๋ ‡๊ฒŒ ํ‘œํ˜„๋ผ:

Ric(ฯ‰) = -(i/2) โˆ‚โˆ‚ฬ„ log det(g_{jkฬ„})

์ด ์‹์ด ๋ณด์—ฌ์ฃผ๋Š” ๊ฑด, ๋ฆฌ์น˜ ๊ณก๋ฅ ๋„ ์ผ€์ผ๋Ÿฌ ํฌํ…์…œ๋กœ๋ถ€ํ„ฐ ์™„์ „ํžˆ ๊ฒฐ์ •๋œ๋‹ค๋Š” ๊ฑฐ์•ผ. ์ด๊ฒŒ ๋ฐ”๋กœ ์ผ€์ผ๋Ÿฌ ๊ธฐํ•˜ํ•™์˜ ์•„๋ฆ„๋‹ค์›€์ด์ง€! ๐ŸŒŸ

๐Ÿ”๏ธ ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด์˜ ๋Œ€ํ‘œ์ ์ธ ์˜ˆ์‹œ๋“ค

์ด๋ก ๋งŒ ์–˜๊ธฐํ•˜๋ฉด ์žฌ๋ฏธ์—†์œผ๋‹ˆ๊นŒ, ๊ตฌ์ฒด์ ์ธ ์˜ˆ์‹œ๋“ค์„ ์‚ดํŽด๋ณด์ž! ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด๋Š” ์ˆ˜ํ•™๊ณผ ๋ฌผ๋ฆฌํ•™ ๊ณณ๊ณณ์—์„œ ๋‚˜ํƒ€๋‚˜๊ฑฐ๋“ . ๐Ÿ˜Š

1๏ธโƒฃ ๋ณต์†Œ ์‚ฌ์˜๊ณต๊ฐ„ โ„‚Pโฟ ๊ฐ€์žฅ ๊ธฐ๋ณธ์ ์ด๊ณ  ์ค‘์š”ํ•œ ์˜ˆ์‹œ์•ผ. ๋ณต์†Œ ์‚ฌ์˜๊ณต๊ฐ„์˜ ์ผ€์ผ๋Ÿฌ ํฌํ…์…œ์€ ์ด๋ ‡๊ฒŒ ์ฃผ์–ด์ ธ:
K = log(1 + |zโ‚|ยฒ + |zโ‚‚|ยฒ + ... + |zโ‚™|ยฒ)
์ด๊ฑธ ํ‘ธ๋น„๋‹ˆ-์Šคํ„ฐ๋”” ๊ณ„๋Ÿ‰(Fubini-Study Metric)์ด๋ผ๊ณ  ํ•ด. ์ด ๊ณ„๋Ÿ‰์€ ๋ณต์†Œ ์‚ฌ์˜๊ณต๊ฐ„์— ์ž์—ฐ์Šค๋Ÿฌ์šด ๊ธฐํ•˜ํ•™์  ๊ตฌ์กฐ๋ฅผ ๋ถ€์—ฌํ•˜์ง€.
2๏ธโƒฃ ๋ณต์†Œ ํ† ๋Ÿฌ์Šค โ„‚โฟ/ฮ› ๊ฒฉ์ž ฮ›์— ๋Œ€ํ•œ ๋ณต์†Œ ์œ ํด๋ฆฌ๋“œ ๊ณต๊ฐ„์˜ ๋ชซ๊ณต๊ฐ„์ด์•ผ. ํ‰ํ‰ํ•œ ์ผ€์ผ๋Ÿฌ ๊ณ„๋Ÿ‰์„ ๊ฐ€์ง€๊ณ  ์žˆ์–ด:
K = |zโ‚|ยฒ + |zโ‚‚|ยฒ + ... + |zโ‚™|ยฒ
์ด ๊ฒฝ์šฐ ๋ชจ๋“  ๊ณก๋ฅ ์ด 0์ด ๋ผ. ๊ฐ€์žฅ ๋‹จ์ˆœํ•œ ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด์ง€๋งŒ, ๋ณต์†Œ ๊ธฐํ•˜ํ•™์—์„œ ๋งค์šฐ ์ค‘์š”ํ•œ ์—ญํ• ์„ ํ•ด!
3๏ธโƒฃ ์นผ๋ผ๋น„-์•ผ์šฐ ๋‹ค์–‘์ฒด(Calabi-Yau Manifold) ์ด๊ฑด ์ •๋ง ํŠน๋ณ„ํ•œ ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด์•ผ! ๋ฆฌ์น˜ ํ‰ํƒ„(Ricci-flat) ์กฐ๊ฑด์„ ๋งŒ์กฑํ•˜๋Š” ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด๋ฅผ ๋งํ•ด:
Ric(ฯ‰) = 0
์นผ๋ผ๋น„-์•ผ์šฐ ๋‹ค์–‘์ฒด๋Š” ๋ˆ ์ด๋ก (String Theory)์—์„œ ์—„์ฒญ๋‚˜๊ฒŒ ์ค‘์š”ํ•œ ์—ญํ• ์„ ํ•ด. ์šฐ๋ฆฌ ์šฐ์ฃผ์˜ ์—ฌ๋ถ„ ์ฐจ์›์ด ์นผ๋ผ๋น„-์•ผ์šฐ ๋‹ค์–‘์ฒด๋กœ ์ปดํŒฉํŠธํ™”๋˜์–ด ์žˆ๋‹ค๋Š” ๊ฒŒ ๋ˆ ์ด๋ก ์˜ ํ•ต์‹ฌ ์•„์ด๋””์–ด ์ค‘ ํ•˜๋‚˜๊ฑฐ๋“ ! ๐ŸŒŒ

์ด ์™ธ์—๋„ K3 ๊ณก๋ฉด, ์•„๋ฒจ ๋‹ค์–‘์ฒด, ํ”Œ๋ž˜๊ทธ ๋‹ค์–‘์ฒด ๋“ฑ ์ˆ˜๋งŽ์€ ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด๋“ค์ด ์žˆ์–ด. ๊ฐ๊ฐ์ด ๋…ํŠนํ•œ ์„ฑ์งˆ๊ณผ ์‘์šฉ์„ ๊ฐ€์ง€๊ณ  ์žˆ์ง€!

๐Ÿ”ฌ ๋ณต์†Œ ๋ฏธ๋ถ„๊ธฐํ•˜ํ•™์˜ ํ•ต์‹ฌ ๋„๊ตฌ๋“ค

์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด๋ฅผ ์ œ๋Œ€๋กœ ์—ฐ๊ตฌํ•˜๋ ค๋ฉด ๋ณต์†Œ ๋ฏธ๋ถ„๊ธฐํ•˜ํ•™์˜ ์—ฌ๋Ÿฌ ๋„๊ตฌ๋“ค์„ ์•Œ์•„์•ผ ํ•ด. ํ•˜๋‚˜์”ฉ ์‚ดํŽด๋ณด์ž! ๐Ÿ› ๏ธ

๐Ÿ“ ๋Œ๋ณด ์ฝ”ํ˜ธ๋ชฐ๋กœ์ง€(Dolbeault Cohomology)

๋ณต์†Œ ๋‹ค์–‘์ฒด์—์„œ ๋“œ๋žŒ ์ฝ”ํ˜ธ๋ชฐ๋กœ์ง€์˜ ๋ณต์†Œ ๋ฒ„์ „์ด๋ผ๊ณ  ์ƒ๊ฐํ•˜๋ฉด ๋ผ. ๋ณต์†Œ ๋‹ค์–‘์ฒด M์—์„œ (p,q)-ํ˜•์‹๋“ค์˜ ๊ณต๊ฐ„์„ ฮฉ^{p,q}(M)์ด๋ผ๊ณ  ํ•˜๋ฉด, โˆ‚ฬ„-์—ฐ์‚ฐ์ž๋ฅผ ์‚ฌ์šฉํ•ด์„œ ์ฝ”ํ˜ธ๋ชฐ๋กœ์ง€๋ฅผ ์ •์˜ํ•  ์ˆ˜ ์žˆ์–ด:

H^{p,q}_โˆ‚ฬ„(M) = ker(โˆ‚ฬ„: ฮฉ^{p,q} โ†’ ฮฉ^{p,q+1}) / im(โˆ‚ฬ„: ฮฉ^{p,q-1} โ†’ ฮฉ^{p,q})

์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด์—์„œ๋Š” ๋Œ๋ณด ์ฝ”ํ˜ธ๋ชฐ๋กœ์ง€์™€ ๋“œ๋žŒ ์ฝ”ํ˜ธ๋ชฐ๋กœ์ง€๊ฐ€ ํ˜ธ์ง€ ๋ถ„ํ•ด๋ฅผ ํ†ตํ•ด ์—ฐ๊ฒฐ๋ผ. ์ด๊ฒŒ ๋ฐ”๋กœ ํ˜ธ์ง€ ์ด๋ก ์˜ ํ•ต์‹ฌ์ด์•ผ! ๐ŸŽจ

๐ŸŒŠ ์ฒด๋ฅธ ํด๋ž˜์Šค(Chern Class)

๋ณต์†Œ ๋ฒกํ„ฐ ๋‹ค๋ฐœ์˜ ์œ„์ƒ์  ๋ถˆ๋ณ€๋Ÿ‰์ด์•ผ. ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด์˜ ์ ‘๋‹ค๋ฐœ(tangent bundle)์— ๋Œ€ํ•œ ์ฒด๋ฅธ ํด๋ž˜์Šค๋“ค์€ ๋‹ค์–‘์ฒด์˜ ๊ธฐํ•˜ํ•™์  ์„ฑ์งˆ์„ ๋ฐ˜์˜ํ•ด. ํŠนํžˆ ์ฒซ ๋ฒˆ์งธ ์ฒด๋ฅธ ํด๋ž˜์Šค cโ‚์€ ๋ฆฌ์น˜ ๊ณก๋ฅ ๊ณผ ์ง์ ‘ ์—ฐ๊ฒฐ๋ผ:

cโ‚(M) = [Ric(ฯ‰)/2ฯ€] โˆˆ Hยฒ(M, โ„)

์ด ๊ด€๊ณ„์‹์ด ๋ณด์—ฌ์ฃผ๋Š” ๊ฑด, ์œ„์ƒ์  ์ •๋ณด(์ฒด๋ฅธ ํด๋ž˜์Šค)์™€ ๊ธฐํ•˜ํ•™์  ์ •๋ณด(๋ฆฌ์น˜ ๊ณก๋ฅ )๊ฐ€ ๊นŠ๊ฒŒ ์—ฐ๊ฒฐ๋˜์–ด ์žˆ๋‹ค๋Š” ๊ฑฐ์•ผ. ์ •๋ง ๋†€๋ž์ง€ ์•Š์•„? ๐Ÿ˜ฎ

โšก ์นผ๋ผ๋น„ ์ถ”์ธก๊ณผ ์•ผ์šฐ์˜ ์ •๋ฆฌ

๋ณต์†Œ ๊ธฐํ•˜ํ•™ ์—ญ์‚ฌ์ƒ ๊ฐ€์žฅ ์ค‘์š”ํ•œ ๊ฒฐ๊ณผ ์ค‘ ํ•˜๋‚˜๋ฅผ ์†Œ๊ฐœํ• ๊ฒŒ. 1954๋…„ ์นผ๋ผ๋น„(Calabi)๋Š” ๋‹ค์Œ๊ณผ ๊ฐ™์€ ์ถ”์ธก์„ ์ œ์‹œํ–ˆ์–ด:

"์ปดํŒฉํŠธ ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด M์—์„œ, ์ฃผ์–ด์ง„ ์ฒซ ๋ฒˆ์งธ ์ฒด๋ฅธ ํด๋ž˜์Šค cโ‚(M)์— ๋Œ€ํ•ด, ๊ทธ ํด๋ž˜์Šค๋ฅผ ๋Œ€ํ‘œํ•˜๋Š” ๋ฆฌ์น˜ ํ˜•์‹์„ ๊ฐ€์ง„ ์ผ€์ผ๋Ÿฌ ๊ณ„๋Ÿ‰์ด ์กด์žฌํ•œ๋‹ค."

์ด ์ถ”์ธก์€ 1976๋…„ ์•ผ์šฐ(Yau)์— ์˜ํ•ด ์ฆ๋ช…๋˜์—ˆ๊ณ , ์•ผ์šฐ๋Š” ์ด ์—…์ ์œผ๋กœ ํ•„์ฆˆ์ƒ์„ ๋ฐ›์•˜์–ด! ์ด ์ •๋ฆฌ์˜ ํŠน๋ณ„ํ•œ ๊ฒฝ์šฐ๊ฐ€ ๋ฐ”๋กœ ์นผ๋ผ๋น„-์•ผ์šฐ ๋‹ค์–‘์ฒด์˜ ์กด์žฌ์„ฑ์„ ๋ณด์žฅํ•˜๋Š” ๊ฑฐ์•ผ. ๐Ÿ†

๐Ÿ’ซ ์นผ๋ผ๋น„-์•ผ์šฐ ์ •๋ฆฌ์˜ ์˜๋ฏธ ์ด ์ •๋ฆฌ๋Š” ๋‹จ์ˆœํžˆ ํŠน์ • ๊ณ„๋Ÿ‰์˜ ์กด์žฌ๋ฅผ ๋ณด์žฅํ•˜๋Š” ๊ฒƒ ์ด์ƒ์˜ ์˜๋ฏธ๋ฅผ ๊ฐ€์ ธ. ๋ณต์†Œ ๊ธฐํ•˜ํ•™๊ณผ ๋ฏธ๋ถ„๊ธฐํ•˜ํ•™์„ ์—ฐ๊ฒฐํ•˜๋Š” ๋‹ค๋ฆฌ ์—ญํ• ์„ ํ•˜๊ณ , ๋ˆ ์ด๋ก  ๊ฐ™์€ ๋ฌผ๋ฆฌํ•™ ์ด๋ก ์—๋„ ์—„์ฒญ๋‚œ ์˜ํ–ฅ์„ ๋ฏธ์ณค์–ด. ์ˆ˜ํ•™์ด ๋ฌผ๋ฆฌํ•™๊ณผ ๋งŒ๋‚˜๋Š” ์•„๋ฆ„๋‹ค์šด ์ˆœ๊ฐ„์ด์ง€!

๐ŸŽญ ์ผ€์ผ๋Ÿฌ-์•„์ธ์Šˆํƒ€์ธ ๊ณ„๋Ÿ‰

์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด ์ค‘์—์„œ๋„ ํŠน๋ณ„ํžˆ ์ค‘์š”ํ•œ ๊ฑด ์ผ€์ผ๋Ÿฌ-์•„์ธ์Šˆํƒ€์ธ ๊ณ„๋Ÿ‰(Kรคhler-Einstein Metric)์„ ๊ฐ€์ง„ ๋‹ค์–‘์ฒด์•ผ. ์ด๊ฑด ๋ฆฌ์น˜ ๊ณก๋ฅ ์ด ๊ณ„๋Ÿ‰์— ๋น„๋ก€ํ•˜๋Š” ์ผ€์ผ๋Ÿฌ ๊ณ„๋Ÿ‰์„ ๋งํ•ด:

Ric(ฯ‰) = ฮปฯ‰

์—ฌ๊ธฐ์„œ ฮป๋Š” ์ƒ์ˆ˜์•ผ. ฮป์˜ ๊ฐ’์— ๋”ฐ๋ผ ์„ธ ๊ฐ€์ง€ ๊ฒฝ์šฐ๋กœ ๋‚˜๋‰˜์–ด:

1๏ธโƒฃ ฮป > 0 (์–‘์˜ ๋ฆฌ์น˜ ๊ณก๋ฅ ):
์ด ๊ฒฝ์šฐ๋Š” ๋ณต์†Œ ์‚ฌ์˜๊ณต๊ฐ„ ๊ฐ™์€ ๋‹ค์–‘์ฒด๋“ค์ด ํ•ด๋‹น๋ผ. ํ‘ธ๋น„๋‹ˆ-์Šคํ„ฐ๋”” ๊ณ„๋Ÿ‰์ด ๋Œ€ํ‘œ์ ์ธ ์˜ˆ์‹œ์ง€.

2๏ธโƒฃ ฮป = 0 (๋ฆฌ์น˜ ํ‰ํƒ„):
์นผ๋ผ๋น„-์•ผ์šฐ ๋‹ค์–‘์ฒด๊ฐ€ ๋ฐ”๋กœ ์ด ๊ฒฝ์šฐ์•ผ! ๋ˆ ์ด๋ก ์—์„œ ์ค‘์š”ํ•œ ์—ญํ• ์„ ํ•˜์ง€.

3๏ธโƒฃ ฮป < 0 (์Œ์˜ ๋ฆฌ์น˜ ๊ณก๋ฅ ):
์ด ๊ฒฝ์šฐ๊ฐ€ ๊ฐ€์žฅ ๋ณต์žกํ•ด. ์•ผ์šฐ-ํƒ€์šฐ๋ฒ ์Šค(Yau-Taubes) ์ •๋ฆฌ ๋“ฑ ๊นŠ์€ ๊ฒฐ๊ณผ๋“ค์ด ์žˆ์–ด. ๐ŸŽช

์ผ€์ผ๋Ÿฌ-์•„์ธ์Šˆํƒ€์ธ ๊ณ„๋Ÿ‰์˜ ์กด์žฌ์„ฑ ๋ฌธ์ œ๋Š” ์˜ค๋žซ๋™์•ˆ ๋ฏธํ•ด๊ฒฐ ๋ฌธ์ œ์˜€๋Š”๋ฐ, 2012๋…„ ์ฒœ์ƒค์˜ค์Š(Chen Xiuxiong), ๋„๋‚ ๋“œ์Šจ(Donaldson), ์‘จ์†ก(Sun Song)์˜ ์—ฐ๊ตฌ์™€ 2015๋…„ ์ฒœ์ƒค์˜ค์Š์˜ ์ตœ์ข… ์ฆ๋ช…์œผ๋กœ ์™„์ „ํžˆ ํ•ด๊ฒฐ๋์–ด. ์ด๊ฒƒ๋„ ํ•„์ฆˆ์ƒ๊ธ‰ ์—…์ ์ด์•ผ! ๐ŸŒŸ

์ผ€์ผ๋Ÿฌ-์•„์ธ์Šˆํƒ€์ธ ๊ณ„๋Ÿ‰์˜ ๋ถ„๋ฅ˜ ฮป > 0 ์–‘์˜ ๋ฆฌ์น˜ ๊ณก๋ฅ  ๋ณต์†Œ ์‚ฌ์˜๊ณต๊ฐ„ ํ‘ธ๋น„๋‹ˆ-์Šคํ„ฐ๋”” ๊ณ„๋Ÿ‰ Ric(ฯ‰) = ฮปฯ‰ (ฮป > 0) ฮป = 0 ๋ฆฌ์น˜ ํ‰ํƒ„ ์นผ๋ผ๋น„-์•ผ์šฐ ๋ˆ ์ด๋ก  ์ปดํŒฉํŠธํ™” Ric(ฯ‰) = 0 ์•ผ์šฐ์˜ ์ •๋ฆฌ ฮป < 0 ์Œ์˜ ๋ฆฌ์น˜ ๊ณก๋ฅ  ์Œ๊ณก ๊ตฌ์กฐ ์•ผ์šฐ-ํƒ€์šฐ๋ฒ ์Šค ์ •๋ฆฌ Ric(ฯ‰) = -ฯ‰ (ฮป < 0)

๐ŸŒ€ ๋ชจ๋…ธ์ง€-์•™ํŽ˜๋ฅด ๋ฐฉ์ •์‹

์ผ€์ผ๋Ÿฌ ๊ธฐํ•˜ํ•™์—์„œ ๊ฐ€์žฅ ์ค‘์š”ํ•œ ํŽธ๋ฏธ๋ถ„๋ฐฉ์ •์‹ ์ค‘ ํ•˜๋‚˜๊ฐ€ ๋ฐ”๋กœ ๋ณต์†Œ ๋ชจ๋…ธ์ง€-์•™ํŽ˜๋ฅด ๋ฐฉ์ •์‹(Complex Monge-Ampรจre Equation)์ด์•ผ. ์ด ๋ฐฉ์ •์‹์€ ์ผ€์ผ๋Ÿฌ ๊ณ„๋Ÿ‰์˜ ์กด์žฌ์„ฑ ๋ฌธ์ œ์™€ ์ง์ ‘ ์—ฐ๊ฒฐ๋˜์–ด ์žˆ์–ด. ๐ŸŽฏ

์ผ€์ผ๋Ÿฌ ํฌํ…์…œ ฯ†์— ๋Œ€ํ•œ ๋ณต์†Œ ๋ชจ๋…ธ์ง€-์•™ํŽ˜๋ฅด ๋ฐฉ์ •์‹์€ ์ด๋ ‡๊ฒŒ ์ƒ๊ฒผ์–ด:

det(g_{jkฬ„} + โˆ‚ยฒฯ†/โˆ‚z^jโˆ‚zฬ„^k) = e^F

์—ฌ๊ธฐ์„œ g_{jkฬ„}๋Š” ๋ฐฐ๊ฒฝ ์ผ€์ผ๋Ÿฌ ๊ณ„๋Ÿ‰์ด๊ณ , F๋Š” ์ฃผ์–ด์ง„ ํ•จ์ˆ˜์•ผ. ์ด ๋ฐฉ์ •์‹์˜ ํ•ด ฯ†๋ฅผ ์ฐพ์œผ๋ฉด, ์ƒˆ๋กœ์šด ์ผ€์ผ๋Ÿฌ ๊ณ„๋Ÿ‰์„ ๊ตฌ์„ฑํ•  ์ˆ˜ ์žˆ์–ด!

์ด ๋ฐฉ์ •์‹์ด ์™œ ์ค‘์š”ํ•˜๋ƒ๋ฉด, ์นผ๋ผ๋น„ ์ถ”์ธก์„ ์ฆ๋ช…ํ•˜๋Š” ํ•ต์‹ฌ ๋„๊ตฌ์˜€๊ธฐ ๋•Œ๋ฌธ์ด์•ผ. ์•ผ์šฐ๋Š” ์ด ๋น„์„ ํ˜• ํŽธ๋ฏธ๋ถ„๋ฐฉ์ •์‹์˜ ํ•ด์˜ ์กด์žฌ์„ฑ๊ณผ ์œ ์ผ์„ฑ์„ ์ฆ๋ช…ํ•จ์œผ๋กœ์จ ์นผ๋ผ๋น„ ์ถ”์ธก์„ ํ•ด๊ฒฐํ–ˆ์–ด. ์ •๋ง ๋Œ€๋‹จํ•œ ์—…์ ์ด์ง€! ๐Ÿ†

๋ณต์†Œ ๋ชจ๋…ธ์ง€-์•™ํŽ˜๋ฅด ๋ฐฉ์ •์‹์€ ๋‹ค์Œ๊ณผ ๊ฐ™์€ ํŠน์ง•๋“ค์„ ๊ฐ€์ ธ:

๐Ÿ” ๋ชจ๋…ธ์ง€-์•™ํŽ˜๋ฅด ๋ฐฉ์ •์‹์˜ ํŠน์ง• โ€ข ์™„์ „ ๋น„์„ ํ˜•(Fully Nonlinear): ์ตœ๊ณ ์ฐจ ๋ฏธ๋ถ„ํ•ญ์ด ๋น„์„ ํ˜•์œผ๋กœ ๋‚˜ํƒ€๋‚˜
โ€ข ํƒ€์›ํ˜•(Elliptic): ์ ์ ˆํ•œ ์กฐ๊ฑด ํ•˜์—์„œ ํƒ€์›ํ˜• ๋ฐฉ์ •์‹์ด ๋ผ
โ€ข ๊ธฐํ•˜ํ•™์  ์˜๋ฏธ: ์ผ€์ผ๋Ÿฌ ํ˜•์‹์˜ ๋ถ€ํ”ผ ํ˜•์‹์„ ์ œ์–ดํ•ด
โ€ข ์ •์น™์„ฑ ์ด๋ก : ํ•ด์˜ ๋งค๋„๋Ÿฌ์›€์„ ๋ณด์žฅํ•˜๋Š” ๊นŠ์€ ์ด๋ก ์ด ํ•„์š”ํ•ด

์ด ๋ฐฉ์ •์‹์„ ํ‘ธ๋Š” ๊ฑด ์ •๋ง ์–ด๋ ค์šด ์ผ์ด์•ผ. ์„ ํ˜• ํŽธ๋ฏธ๋ถ„๋ฐฉ์ •์‹๋„ ์–ด๋ ค์šด๋ฐ, ์ด๊ฑด ์™„์ „ ๋น„์„ ํ˜•์ด๊ฑฐ๋“ ! ํ•˜์ง€๋งŒ ๊ธฐํ•˜ํ•™์  ์ง๊ด€๊ณผ ํ•ด์„ํ•™์  ๊ธฐ๋ฒ•์„ ๊ฒฐํ•ฉํ•˜๋ฉด ๋†€๋ผ์šด ๊ฒฐ๊ณผ๋ฅผ ์–ป์„ ์ˆ˜ ์žˆ์–ด. ๐Ÿ˜Š

๐ŸŽจ ํ˜ธ์ง€ ์ด๋ก ๊ณผ ์กฐํ™” ํ˜•์‹

์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด์—์„œ ํ˜ธ์ง€ ์ด๋ก (Hodge Theory)์€ ์ •๋ง ์•„๋ฆ„๋‹ต๊ฒŒ ์ž‘๋™ํ•ด. ํ˜ธ์ง€ ์ด๋ก ์˜ ํ•ต์‹ฌ์€ ์กฐํ™” ํ˜•์‹(Harmonic Form)์ด์•ผ. ๐ŸŽต

์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด M์—์„œ k-ํ˜•์‹ ฮฑ๊ฐ€ ์กฐํ™”ํ˜•์‹์ด ๋˜๋ ค๋ฉด:

ฮ”ฮฑ = 0

์—ฌ๊ธฐ์„œ ฮ”๋Š” ๋ผํ”Œ๋ผ์Šค-๋ฒจํŠธ๋ผ๋ฏธ ์—ฐ์‚ฐ์ž(Laplace-Beltrami Operator)์•ผ. ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด์—์„œ๋Š” ์ด๊ฒŒ ํŠน๋ณ„ํ•œ ํ˜•ํƒœ๋ฅผ ๊ฐ€์ ธ:

ฮ” = 2(โˆ‚โˆ‚* + โˆ‚*โˆ‚) = 2(โˆ‚ฬ„โˆ‚ฬ„* + โˆ‚ฬ„*โˆ‚ฬ„)

์ด ์‹์ด ๋ณด์—ฌ์ฃผ๋Š” ๊ฑด, ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด์—์„œ ๋ผํ”Œ๋ผ์‹œ์•ˆ์ด โˆ‚์™€ โˆ‚ฬ„ ์—ฐ์‚ฐ์ž๋“ค๋กœ ๊น”๋”ํ•˜๊ฒŒ ๋ถ„ํ•ด๋œ๋‹ค๋Š” ๊ฑฐ์•ผ. ์ด๊ฒŒ ๋ฐ”๋กœ ์ผ€์ผ๋Ÿฌ ์กฐ๊ฑด์˜ ์œ„๋ ฅ์ด์ง€! ๐Ÿ’ช

ํ˜ธ์ง€ ์ •๋ฆฌ(Hodge Theorem)๋Š” ๋‹ค์Œ์„ ๋งํ•ด:

๐ŸŽผ ํ˜ธ์ง€ ์ •๋ฆฌ ์ปดํŒฉํŠธ ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด M์—์„œ, ๊ฐ ๋“œ๋žŒ ์ฝ”ํ˜ธ๋ชฐ๋กœ์ง€ ํด๋ž˜์Šค๋Š” ์œ ์ผํ•œ ์กฐํ™” ๋Œ€ํ‘œ์›์†Œ๋ฅผ ๊ฐ€์ ธ. ์ฆ‰:

H^k(M, โ„) โ‰… {ฮฑ โˆˆ ฮฉ^k(M) : ฮ”ฮฑ = 0}

๋” ๋‚˜์•„๊ฐ€, ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด์—์„œ๋Š” ํ˜ธ์ง€ ๋ถ„ํ•ด๊ฐ€ ์„ฑ๋ฆฝํ•ด:

H^k(M, โ„‚) = โŠ•_{p+q=k} H^{p,q}(M)

์—ฌ๊ธฐ์„œ H^{p,q}(M)์€ (p,q)-ํ˜•์‹์˜ ์กฐํ™”ํ˜•์‹๋“ค์˜ ๊ณต๊ฐ„์ด์•ผ.

์ด ํ˜ธ์ง€ ๋ถ„ํ•ด๋Š” ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด์—์„œ๋งŒ ์„ฑ๋ฆฝํ•˜๋Š” ํŠน๋ณ„ํ•œ ์„ฑ์งˆ์ด์•ผ. ์ผ๋ฐ˜์ ์ธ ๋ณต์†Œ ๋‹ค์–‘์ฒด์—์„œ๋Š” ์„ฑ๋ฆฝํ•˜์ง€ ์•Š์•„! ์ด๊ฒŒ ๋ฐ”๋กœ ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด๊ฐ€ ํŠน๋ณ„ํ•œ ์ด์œ  ์ค‘ ํ•˜๋‚˜์ง€. ๐ŸŒŸ

ํ˜ธ์ง€ ์ˆ˜(Hodge Number) h^{p,q}๋Š” H^{p,q}(M)์˜ ์ฐจ์›์„ ๋งํ•ด. ์ด ํ˜ธ์ง€ ์ˆ˜๋“ค์€ ๋‹ค์–‘์ฒด์˜ ์ค‘์š”ํ•œ ์œ„์ƒ์  ๋ถˆ๋ณ€๋Ÿ‰์ด์•ผ. ์˜ˆ๋ฅผ ๋“ค์–ด:

h^{0,0} = 1 (ํ•ญ์ƒ)
h^{1,0} = ๋ณต์†Œ ๊ตฌ์กฐ์˜ ๋ณ€ํ˜• ์ฐจ์›
h^{n,0} = ์ •์น™ n-ํ˜•์‹์˜ ๊ฐœ์ˆ˜

์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด์—์„œ๋Š” h^{p,q} = h^{q,p}๋ผ๋Š” ๋Œ€์นญ์„ฑ๋„ ์„ฑ๋ฆฝํ•ด. ์ด๋Ÿฐ ์„ฑ์งˆ๋“ค์ด ๋ชจ์—ฌ์„œ ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด์˜ ํ’๋ถ€ํ•œ ๊ตฌ์กฐ๋ฅผ ๋งŒ๋“ค์–ด๋‚ด๋Š” ๊ฑฐ์•ผ! ๐Ÿ˜Š

๐Ÿš€ ๋ฌผ๋ฆฌํ•™๊ณผ์˜ ์—ฐ๊ฒฐ: ๋ˆ ์ด๋ก 

์ผ€์ผ๋Ÿฌ ๊ธฐํ•˜ํ•™, ํŠนํžˆ ์นผ๋ผ๋น„-์•ผ์šฐ ๋‹ค์–‘์ฒด๋Š” ํ˜„๋Œ€ ์ด๋ก ๋ฌผ๋ฆฌํ•™์—์„œ ์—„์ฒญ๋‚˜๊ฒŒ ์ค‘์š”ํ•œ ์—ญํ• ์„ ํ•ด. ํŠนํžˆ ๋ˆ ์ด๋ก (String Theory)์—์„œ ๋ง์ด์•ผ! ๐ŸŒŒ

๋ˆ ์ด๋ก ์€ ์šฐ์ฃผ์˜ ๊ธฐ๋ณธ ๊ตฌ์„ฑ์š”์†Œ๊ฐ€ ์ ์ž…์ž๊ฐ€ ์•„๋‹ˆ๋ผ 1์ฐจ์› ๋ˆ์ด๋ผ๊ณ  ์ฃผ์žฅํ•˜๋Š” ์ด๋ก ์ด์•ผ. ์ด ์ด๋ก ์ด ์ˆ˜ํ•™์ ์œผ๋กœ ์ผ๊ด€์„ฑ์„ ๊ฐ€์ง€๋ ค๋ฉด ์‹œ๊ณต๊ฐ„์ด 10์ฐจ์›์ด์–ด์•ผ ํ•ด. ๊ทธ๋Ÿฐ๋ฐ ์šฐ๋ฆฌ๊ฐ€ ๊ฒฝํ—˜ํ•˜๋Š” ๊ฑด 4์ฐจ์›(๊ณต๊ฐ„ 3์ฐจ์› + ์‹œ๊ฐ„ 1์ฐจ์›)์ด์ž–์•„? ๋‚˜๋จธ์ง€ 6์ฐจ์›์€ ์–ด๋”” ๊ฐ”์„๊นŒ? ๐Ÿค”

๋ฐ”๋กœ ์—ฌ๊ธฐ์„œ ์นผ๋ผ๋น„-์•ผ์šฐ ๋‹ค์–‘์ฒด๊ฐ€ ๋“ฑ์žฅํ•ด! ๋ˆ ์ด๋ก ์—์„œ๋Š” ์—ฌ๋ถ„์˜ 6์ฐจ์›์ด ์นผ๋ผ๋น„-์•ผ์šฐ 3-ํด๋“œ(3-fold)๋กœ ์ปดํŒฉํŠธํ™”๋˜์–ด ์žˆ๋‹ค๊ณ  ๊ฐ€์ •ํ•ด. ์นผ๋ผ๋น„-์•ผ์šฐ 3-ํด๋“œ๋Š” ๋ณต์†Œ 3์ฐจ์›(์‹ค 6์ฐจ์›) ์นผ๋ผ๋น„-์•ผ์šฐ ๋‹ค์–‘์ฒด๋ฅผ ๋งํ•ด.

์™œ ํ•˜ํ•„ ์นผ๋ผ๋น„-์•ผ์šฐ ๋‹ค์–‘์ฒด์ผ๊นŒ? ๊ทธ๊ฑด ์ดˆ๋Œ€์นญ์„ฑ(Supersymmetry) ๋•Œ๋ฌธ์ด์•ผ:

โšก ์ดˆ๋Œ€์นญ์„ฑ๊ณผ ์นผ๋ผ๋น„-์•ผ์šฐ ๋ˆ ์ด๋ก ์—์„œ ์ดˆ๋Œ€์นญ์„ฑ์„ ๋ณด์กดํ•˜๋ ค๋ฉด, ์ปดํŒฉํŠธํ™” ๊ณต๊ฐ„์ด ๋ฆฌ์น˜ ํ‰ํƒ„ํ•ด์•ผ ํ•ด. ๋ณต์†Œ ๋‹ค์–‘์ฒด ์ค‘์—์„œ ๋ฆฌ์น˜ ํ‰ํƒ„ํ•œ ๊ฑด ๋ฐ”๋กœ ์นผ๋ผ๋น„-์•ผ์šฐ ๋‹ค์–‘์ฒด์•ผ! ์ด๊ฒŒ ์นผ๋ผ๋น„-์•ผ์šฐ ๋‹ค์–‘์ฒด๊ฐ€ ๋ˆ ์ด๋ก ์—์„œ ์ค‘์š”ํ•œ ์ด์œ ์ง€.

์นผ๋ผ๋น„-์•ผ์šฐ ๋‹ค์–‘์ฒด์˜ ๊ธฐํ•˜ํ•™์  ์„ฑ์งˆ๋“ค์€ 4์ฐจ์› ์‹œ๊ณต๊ฐ„์—์„œ ๊ด€์ธก๋˜๋Š” ๋ฌผ๋ฆฌ ๋ฒ•์น™๋“ค์„ ๊ฒฐ์ •ํ•ด. ์˜ˆ๋ฅผ ๋“ค์–ด:

โ€ข ํ˜ธ์ง€ ์ˆ˜: ์ž…์ž์˜ ์ข…๋ฅ˜์™€ ๊ฐœ์ˆ˜๋ฅผ ๊ฒฐ์ •
โ€ข ๋ชจ๋“ˆ๋ผ์ด ๊ณต๊ฐ„: ๋ฌผ๋ฆฌ ์ƒ์ˆ˜๋“ค์˜ ๊ฐ€๋Šฅํ•œ ๊ฐ’๋“ค์„ ๊ฒฐ์ •
โ€ข ์œ„์ƒ์  ์„ฑ์งˆ: ๊ฒŒ์ด์ง€ ๋Œ€์นญ์„ฑ์„ ๊ฒฐ์ •

์ด๋ ‡๊ฒŒ ์ˆœ์ˆ˜ ์ˆ˜ํ•™์œผ๋กœ ๋ณด์ด๋˜ ์ผ€์ผ๋Ÿฌ ๊ธฐํ•˜ํ•™์ด ์šฐ์ฃผ์˜ ๊ทผ๋ณธ ๊ตฌ์กฐ๋ฅผ ์„ค๋ช…ํ•˜๋Š” ๋ฐ ์‚ฌ์šฉ๋˜๋‹ค๋‹ˆ, ์ •๋ง ๋†€๋ž์ง€ ์•Š์•„? ์ˆ˜ํ•™๊ณผ ๋ฌผ๋ฆฌํ•™์˜ ์•„๋ฆ„๋‹ค์šด ๋งŒ๋‚จ์ด์•ผ! ๐ŸŽจ

๐Ÿ”ง ๊ณ„์‚ฐ ์˜ˆ์‹œ: ๋ณต์†Œ ์‚ฌ์˜์ง์„  โ„‚Pยน

์ด๋ก ๋งŒ ์–˜๊ธฐํ•˜๋ฉด ์ถ”์ƒ์ ์ด๋‹ˆ๊นŒ, ๊ฐ€์žฅ ๊ฐ„๋‹จํ•œ ์˜ˆ์‹œ์ธ ๋ณต์†Œ ์‚ฌ์˜์ง์„  โ„‚Pยน์„ ๊ตฌ์ฒด์ ์œผ๋กœ ๊ณ„์‚ฐํ•ด๋ณด์ž! ์ด๊ฑด ๋ฆฌ๋งŒ ๊ตฌ๋ฉด๊ณผ ๋™ํ˜•์ด์•ผ. ๐ŸŒ

โ„‚Pยน์€ ๋‘ ๊ฐœ์˜ ์ขŒํ‘œ ์ฐจํŠธ๋กœ ๋ฎ์„ ์ˆ˜ ์žˆ์–ด:
โ€ข Uโ‚€ = {[zโ‚€ : zโ‚] : zโ‚€ โ‰  0}, ์ขŒํ‘œ w = zโ‚/zโ‚€
โ€ข Uโ‚ = {[zโ‚€ : zโ‚] : zโ‚ โ‰  0}, ์ขŒํ‘œ ฮถ = zโ‚€/zโ‚

Uโ‚€์—์„œ ํ‘ธ๋น„๋‹ˆ-์Šคํ„ฐ๋”” ์ผ€์ผ๋Ÿฌ ํฌํ…์…œ์€:

K = log(1 + |w|ยฒ)

์ด๋กœ๋ถ€ํ„ฐ ์ผ€์ผ๋Ÿฌ ๊ณ„๋Ÿ‰์„ ๊ณ„์‚ฐํ•˜๋ฉด:

g = โˆ‚ยฒK/โˆ‚wโˆ‚wฬ„ = 1/(1 + |w|ยฒ)ยฒ

์ผ€์ผ๋Ÿฌ ํ˜•์‹์€:

ฯ‰ = (i/2) โˆ‚โˆ‚ฬ„K = (i/2) ยท 1/(1 + |w|ยฒ)ยฒ dw โˆง dwฬ„

์ด์ œ ์ด๊ฒŒ ์ •๋ง ๋‹ซํ˜€์žˆ๋Š”์ง€ ํ™•์ธํ•ด๋ณด์ž. dฯ‰๋ฅผ ๊ณ„์‚ฐํ•˜๋ฉด... 0์ด ๋‚˜์™€! ๋”ฐ๋ผ์„œ โ„‚Pยน์€ ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด์•ผ. โœ…

๋ฆฌ์น˜ ๊ณก๋ฅ ๋„ ๊ณ„์‚ฐํ•  ์ˆ˜ ์žˆ์–ด. โ„‚Pยน์˜ ๊ฒฝ์šฐ:

Ric(ฯ‰) = 2ฯ‰

๋”ฐ๋ผ์„œ โ„‚Pยน์€ ์ผ€์ผ๋Ÿฌ-์•„์ธ์Šˆํƒ€์ธ ๋‹ค์–‘์ฒด์ด๊ณ , ์–‘์˜ ๋ฆฌ์น˜ ๊ณก๋ฅ ์„ ๊ฐ€์ ธ! ์ด ๊ณ„์‚ฐ์ด ๋ณด์—ฌ์ฃผ๋Š” ๊ฑด, ์ผ€์ผ๋Ÿฌ ํฌํ…์…œ๋งŒ ์•Œ๋ฉด ๋ชจ๋“  ๊ธฐํ•˜ํ•™์  ์ •๋ณด๋ฅผ ์–ป์„ ์ˆ˜ ์žˆ๋‹ค๋Š” ๊ฑฐ์•ผ. ๐ŸŽฏ

๐ŸŒŠ ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด์˜ ๋ณ€ํ˜• ์ด๋ก 

์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด๋ฅผ ์—ฐ๊ตฌํ•  ๋•Œ ์ค‘์š”ํ•œ ์งˆ๋ฌธ ์ค‘ ํ•˜๋‚˜๋Š”: "์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด๋ฅผ ์กฐ๊ธˆ ๋ณ€ํ˜•ํ•˜๋ฉด ์–ด๋–ป๊ฒŒ ๋ ๊นŒ?"์•ผ. ์ด๊ฒŒ ๋ฐ”๋กœ ๋ณ€ํ˜• ์ด๋ก (Deformation Theory)์˜ ์ฃผ์ œ์ง€. ๐Ÿ”„

๋ณต์†Œ ๋‹ค์–‘์ฒด์˜ ๋ณ€ํ˜•์€ ํฌ๊ฒŒ ๋‘ ๊ฐ€์ง€๋กœ ๋‚˜๋‰˜์–ด:

1๏ธโƒฃ ๋ณต์†Œ ๊ตฌ์กฐ์˜ ๋ณ€ํ˜•
๋ณต์†Œ ๊ตฌ์กฐ ์ž์ฒด๋ฅผ ๋ฐ”๊พธ๋Š” ๊ฑฐ์•ผ. ์ด๊ฑด ์ฝ”๋‹ค์ด๋ผ-์ŠคํŽœ์„œ ์ด๋ก (Kodaira-Spencer Theory)์œผ๋กœ ์—ฐ๊ตฌ๋ผ. ๋ณต์†Œ ๊ตฌ์กฐ์˜ ๋ฌดํ•œ์†Œ ๋ณ€ํ˜•์€ Hยน(M, T^{1,0})์œผ๋กœ ๋ถ„๋ฅ˜๋˜๋Š”๋ฐ, ์—ฌ๊ธฐ์„œ T^{1,0}๋Š” ์ •์น™ ์ ‘๋‹ค๋ฐœ์ด์•ผ.

2๏ธโƒฃ ์ผ€์ผ๋Ÿฌ ๊ตฌ์กฐ์˜ ๋ณ€ํ˜•
๋ณต์†Œ ๊ตฌ์กฐ๋Š” ๊ณ ์ •ํ•˜๊ณ  ์ผ€์ผ๋Ÿฌ ๊ณ„๋Ÿ‰๋งŒ ๋ฐ”๊พธ๋Š” ๊ฑฐ์•ผ. ์ผ€์ผ๋Ÿฌ ํด๋ž˜์Šค(Kรคhler class)์˜ ๋ณ€ํ˜•์€ H^{1,1}(M, โ„)์œผ๋กœ ๋ถ„๋ฅ˜๋ผ.

๐Ÿ“Š ๋ชจ๋“ˆ๋ผ์ด ๊ณต๊ฐ„ ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด๋“ค์˜ ๋ชจ๋“  ๊ฐ€๋Šฅํ•œ ๋ณ€ํ˜•๋“ค์„ ๋ชจ์•„๋†“์€ ๊ณต๊ฐ„์„ ๋ชจ๋“ˆ๋ผ์ด ๊ณต๊ฐ„(Moduli Space)์ด๋ผ๊ณ  ํ•ด. ์ด ๊ณต๊ฐ„ ์ž์ฒด๋„ ๋ณต์žกํ•œ ๊ธฐํ•˜ํ•™์  ๊ตฌ์กฐ๋ฅผ ๊ฐ€์ง€๊ณ  ์žˆ์–ด!

์˜ˆ๋ฅผ ๋“ค์–ด, ์นผ๋ผ๋น„-์•ผ์šฐ 3-ํด๋“œ์˜ ๋ชจ๋“ˆ๋ผ์ด ๊ณต๊ฐ„์€ ๋ˆ ์ด๋ก ์—์„œ ๋ฌผ๋ฆฌ ์ƒ์ˆ˜๋“ค์˜ ๊ณต๊ฐ„์œผ๋กœ ํ•ด์„๋ผ. ์ด ๊ณต๊ฐ„์˜ ๊ธฐํ•˜ํ•™์ด ๋ฌผ๋ฆฌ ๋ฒ•์น™์„ ๊ฒฐ์ •ํ•˜๋Š” ๊ฑฐ์ง€!

๋ณ€ํ˜• ์ด๋ก ์—์„œ ์ค‘์š”ํ•œ ๊ฐœ๋…์ด ๋ฏธ๋Ÿฌ ๋Œ€์นญ(Mirror Symmetry)์ด์•ผ. ์ด๊ฑด ๋‘ ๊ฐœ์˜ ์„œ๋กœ ๋‹ค๋ฅธ ์นผ๋ผ๋น„-์•ผ์šฐ ๋‹ค์–‘์ฒด๊ฐ€ ๋ฌผ๋ฆฌ์ ์œผ๋กœ ๊ฐ™์€ ๋ˆ ์ด๋ก ์„ ์ค€๋‹ค๋Š” ๋†€๋ผ์šด ํ˜„์ƒ์ด์•ผ. ํ•œ ๋‹ค์–‘์ฒด์˜ ๋ณต์†Œ ๊ตฌ์กฐ ๋ณ€ํ˜•์ด ๋‹ค๋ฅธ ๋‹ค์–‘์ฒด์˜ ์ผ€์ผ๋Ÿฌ ๊ตฌ์กฐ ๋ณ€ํ˜•๊ณผ ๋Œ€์‘๋˜๋Š” ๊ฑฐ์ง€! ๐Ÿชž

๋ฏธ๋Ÿฌ ๋Œ€์นญ์€ ์ˆ˜ํ•™์ž๋“ค์—๊ฒŒ๋„ ์—„์ฒญ๋‚œ ์˜ํ–ฅ์„ ๋ฏธ์ณค์–ด. ๋ฌผ๋ฆฌํ•™์ž๋“ค์ด ๋ฏธ๋Ÿฌ ๋Œ€์นญ์„ ์ด์šฉํ•ด ์˜ˆ์ธกํ•œ ์ˆ˜ํ•™์  ๊ฒฐ๊ณผ๋“ค์ด ๋‚˜์ค‘์— ์ˆ˜ํ•™์ ์œผ๋กœ ์ฆ๋ช…๋˜๋Š” ์ผ์ด ๋งŽ์•˜๊ฑฐ๋“ . ์ˆ˜ํ•™๊ณผ ๋ฌผ๋ฆฌํ•™์˜ ์•„๋ฆ„๋‹ค์šด ์ƒํ˜ธ์ž‘์šฉ์ด์•ผ! ์žฌ๋Šฅ๋„ท ๊ฐ™์€ ํ”Œ๋žซํผ์—์„œ ์ด๋Ÿฐ ํ•™์ œ๊ฐ„ ์ง€์‹์„ ๊ณต์œ ํ•  ์ˆ˜ ์žˆ๋‹ค๋ฉด ์ •๋ง ๋ฉ‹์งˆ ๊ฒƒ ๊ฐ™์•„. ๐Ÿ˜Š

๐ŸŽช ํŠน์ˆ˜ํ•œ ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด๋“ค

์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด ์ค‘์—์„œ๋„ ํŠน๋ณ„ํ•œ ์„ฑ์งˆ์„ ๊ฐ€์ง„ ๊ฒƒ๋“ค์ด ์žˆ์–ด. ๋ช‡ ๊ฐ€์ง€ ์ค‘์š”ํ•œ ์˜ˆ์‹œ๋“ค์„ ์‚ดํŽด๋ณด์ž! ๐ŸŒŸ

๐Ÿ”ท ํ•˜์ดํผ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด(Hyperkรคhler Manifold)

ํ•˜์ดํผ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด๋Š” ์„ธ ๊ฐœ์˜ ๋ณต์†Œ ๊ตฌ์กฐ I, J, K๋ฅผ ๊ฐ€์ง€๊ณ  ์žˆ์–ด์„œ, ์‚ฌ์›์ˆ˜(quaternion)์˜ ๊ด€๊ณ„์‹์„ ๋งŒ์กฑํ•ด:

Iยฒ = Jยฒ = Kยฒ = IJK = -1

์ด ์„ธ ๋ณต์†Œ ๊ตฌ์กฐ ๊ฐ๊ฐ์— ๋Œ€ํ•ด ์ผ€์ผ๋Ÿฌ ๊ตฌ์กฐ๋ฅผ ๊ฐ€์ง€๊ณ  ์žˆ์–ด. ํ•˜์ดํผ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด๋Š” ์ž๋™์œผ๋กœ ๋ฆฌ์น˜ ํ‰ํƒ„์ด์•ผ! K3 ๊ณก๋ฉด์ด ๋Œ€ํ‘œ์ ์ธ ์˜ˆ์‹œ์ง€. ๐ŸŽจ

๐Ÿ”ถ ํ˜ธ์ง€ ๋‹ค์–‘์ฒด(Hodge Manifold)

์ผ€์ผ๋Ÿฌ ํ˜•์‹ ฯ‰์˜ ์ฝ”ํ˜ธ๋ชฐ๋กœ์ง€ ํด๋ž˜์Šค๊ฐ€ ์ •์ˆ˜ ๊ณ„์ˆ˜ ์ฝ”ํ˜ธ๋ชฐ๋กœ์ง€์— ์†ํ•˜๋Š” ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด๋ฅผ ํ˜ธ์ง€ ๋‹ค์–‘์ฒด๋ผ๊ณ  ํ•ด. ์ด๋Ÿฐ ๋‹ค์–‘์ฒด๋Š” ๋ณต์†Œ ์‚ฌ์˜๊ณต๊ฐ„์— ๋งค์žฅ๋  ์ˆ˜ ์žˆ์–ด. ์ดˆ์šฐ์˜ ์ •๋ฆฌ(Chow's Theorem)๊ฐ€ ์ด๊ฑธ ๋ณด์žฅํ•˜์ง€!

๐Ÿ”ธ ํ† ๋ฆญ ๋‹ค์–‘์ฒด(Toric Variety)

ํ† ๋ฆญ ๋‹ค์–‘์ฒด๋Š” ๋ณต์†Œ ํ† ๋Ÿฌ์Šค (โ„‚*)โฟ์˜ ์ž‘์šฉ์„ ๊ฐ€์ง„ ๋‹ค์–‘์ฒด์•ผ. ์ด๋Ÿฐ ๋‹ค์–‘์ฒด๋“ค์€ ์กฐํ•ฉ๋ก ์  ๋ฐ์ดํ„ฐ(ํŒฌ, fan)๋กœ ์™„์ „ํžˆ ๊ธฐ์ˆ ๋  ์ˆ˜ ์žˆ์–ด. ์ผ€์ผ๋Ÿฌ ๊ธฐํ•˜ํ•™๊ณผ ์กฐํ•ฉ๋ก ์ด ๋งŒ๋‚˜๋Š” ์•„๋ฆ„๋‹ค์šด ์˜ˆ์‹œ์ง€! ๐Ÿ“

๐Ÿงฎ ์ผ€์ผ๋Ÿฌ ๊ธฐํ•˜ํ•™์˜ ํ˜„๋Œ€์  ๋ฐœ์ „

์ผ€์ผ๋Ÿฌ ๊ธฐํ•˜ํ•™์€ ์ง€๊ธˆ๋„ ํ™œ๋ฐœํžˆ ์—ฐ๊ตฌ๋˜๊ณ  ์žˆ๋Š” ๋ถ„์•ผ์•ผ. ์ตœ๊ทผ์˜ ์ค‘์š”ํ•œ ๋ฐœ์ „๋“ค์„ ์†Œ๊ฐœํ• ๊ฒŒ! ๐Ÿš€

๐Ÿ’Ž ์ผ€์ผ๋Ÿฌ-๋ฆฌ์น˜ ํ๋ฆ„(Kรคhler-Ricci Flow)

๋ฆฌ์น˜ ํ๋ฆ„์€ ๊ณ„๋Ÿ‰์„ ์‹œ๊ฐ„์— ๋”ฐ๋ผ ์ง„ํ™”์‹œํ‚ค๋Š” ๊ธฐํ•˜ํ•™์  ํ๋ฆ„์ด์•ผ:

โˆ‚g/โˆ‚t = -2Ric(g)

์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด์—์„œ ์ด ํ๋ฆ„์€ ์ผ€์ผ๋Ÿฌ ๊ตฌ์กฐ๋ฅผ ๋ณด์กดํ•ด. ์ผ€์ผ๋Ÿฌ-๋ฆฌ์น˜ ํ๋ฆ„์€ ์ผ€์ผ๋Ÿฌ-์•„์ธ์Šˆํƒ€์ธ ๊ณ„๋Ÿ‰์˜ ์กด์žฌ์„ฑ์„ ์—ฐ๊ตฌํ•˜๋Š” ๊ฐ•๋ ฅํ•œ ๋„๊ตฌ์•ผ. ํŽ˜๋ ๋งŒ(Perelman)์ด ํ‘ธ์•ต์นด๋ ˆ ์ถ”์ธก์„ ์ฆ๋ช…ํ•  ๋•Œ ์‚ฌ์šฉํ•œ ๋ฆฌ์น˜ ํ๋ฆ„์˜ ์ผ€์ผ๋Ÿฌ ๋ฒ„์ „์ด์ง€! ๐ŸŒŠ

โšก ์ต์ŠคํŠธ๋ฆฌ๋ฉ€ ์ผ€์ผ๋Ÿฌ ๊ณ„๋Ÿ‰(Extremal Kรคhler Metric)

์นผ๋ผ๋น„๊ฐ€ ์ œ์•ˆํ•œ ๊ฐœ๋…์œผ๋กœ, ์นผ๋ผ๋น„ ํ•จ์ˆ˜(Calabi Functional)๋ฅผ ์ตœ์†Œํ™”ํ•˜๋Š” ์ผ€์ผ๋Ÿฌ ๊ณ„๋Ÿ‰์ด์•ผ. ์ผ€์ผ๋Ÿฌ-์•„์ธ์Šˆํƒ€์ธ ๊ณ„๋Ÿ‰๋ณด๋‹ค ์ผ๋ฐ˜์ ์ธ ๊ฐœ๋…์ด์ง€. ์Šค์นผ๋ผ ๊ณก๋ฅ ์˜ ๊ทธ๋ž˜๋””์–ธํŠธ๊ฐ€ ์ •์น™ ๋ฒกํ„ฐ์žฅ์ด ๋˜๋Š” ํŠน์ง•์„ ๊ฐ€์ ธ:

grad(S) โˆˆ h^{1,0}(M)

์—ฌ๊ธฐ์„œ S๋Š” ์Šค์นผ๋ผ ๊ณก๋ฅ ์ด์•ผ. ์ด๋Ÿฐ ๊ณ„๋Ÿ‰์˜ ์กด์žฌ์„ฑ๊ณผ ์œ ์ผ์„ฑ์€ ์—ฌ์ „ํžˆ ํ™œ๋ฐœํ•œ ์—ฐ๊ตฌ ์ฃผ์ œ์•ผ! ๐Ÿ”ฌ

๐ŸŒŸ K-์•ˆ์ •์„ฑ(K-stability)

์ผ€์ผ๋Ÿฌ-์•„์ธ์Šˆํƒ€์ธ ๊ณ„๋Ÿ‰์˜ ์กด์žฌ์„ฑ์„ ๋Œ€์ˆ˜๊ธฐํ•˜ํ•™์ ์œผ๋กœ ํŠน์ง•์ง“๋Š” ๊ฐœ๋…์ด์•ผ. ํ‹ฐ์•ˆ(Tian), ๋„๋‚ ๋“œ์Šจ(Donaldson), ์ฒœ์ƒค์˜ค์Š(Chen) ๋“ฑ์˜ ์—ฐ๊ตฌ๋กœ ๋ฐœ์ „ํ–ˆ์–ด. K-์•ˆ์ •์„ฑ์€ ๊ธฐํ•˜ํ•™์  ๋ถˆ๋ณ€๋Ÿ‰ ์ด๋ก (Geometric Invariant Theory)๊ณผ ๊นŠ์€ ์—ฐ๊ฒฐ์„ ๊ฐ€์ง€๊ณ  ์žˆ์ง€! ๐Ÿ’ซ

๐ŸŽ“ ์ผ€์ผ๋Ÿฌ ๊ธฐํ•˜ํ•™ ๊ณต๋ถ€ํ•˜๊ธฐ

์ด๋ ‡๊ฒŒ ์–ด๋ ค์šด ์ˆ˜ํ•™์„ ์–ด๋–ป๊ฒŒ ๊ณต๋ถ€ํ•  ์ˆ˜ ์žˆ์„๊นŒ? ๋ช‡ ๊ฐ€์ง€ ์กฐ์–ธ์„ ํ•ด์ค„๊ฒŒ! ๐Ÿ“š

1๏ธโƒฃ ๊ธฐ์ดˆ๋ฅผ ํƒ„ํƒ„ํžˆ
์ผ€์ผ๋Ÿฌ ๊ธฐํ•˜ํ•™์„ ์ดํ•ดํ•˜๋ ค๋ฉด ๋‹ค์Œ ๋ถ„์•ผ๋“ค์˜ ๊ธฐ์ดˆ๊ฐ€ ํ•„์š”ํ•ด:
โ€ข ๋‹ค๋ณ€์ˆ˜ ๋ณต์†Œํ•ด์„ํ•™
โ€ข ๋ฏธ๋ถ„๊ธฐํ•˜ํ•™ (๋ฆฌ๋งŒ ๊ธฐํ•˜ํ•™)
โ€ข ๋Œ€์ˆ˜์œ„์ƒ์ˆ˜ํ•™
โ€ข ํŽธ๋ฏธ๋ถ„๋ฐฉ์ •์‹

2๏ธโƒฃ ๊ตฌ์ฒด์ ์ธ ์˜ˆ์‹œ๋ถ€ํ„ฐ
๋ณต์†Œ ์‚ฌ์˜๊ณต๊ฐ„, ๋ณต์†Œ ํ† ๋Ÿฌ์Šค ๊ฐ™์€ ๊ฐ„๋‹จํ•œ ์˜ˆ์‹œ๋“ค์„ ์ง์ ‘ ๊ณ„์‚ฐํ•ด๋ณด๋Š” ๊ฒŒ ์ค‘์š”ํ•ด. ์ถ”์ƒ์ ์ธ ์ด๋ก ๋งŒ ๋ณด๋ฉด ๊ฐ์ด ์•ˆ ์žกํžˆ๊ฑฐ๋“ ! ๐ŸŽฏ

3๏ธโƒฃ ๋ฌผ๋ฆฌํ•™๊ณผ์˜ ์—ฐ๊ฒฐ
๋ˆ ์ด๋ก ์ด๋‚˜ ์–‘์ž์žฅ๋ก ๊ณผ์˜ ์—ฐ๊ฒฐ์„ ๊ณต๋ถ€ํ•˜๋ฉด ๋™๊ธฐ๋ถ€์—ฌ๊ฐ€ ๋ผ. ์ˆœ์ˆ˜ ์ˆ˜ํ•™๋งŒ ๋ณด๋ฉด ์ง€๋ฃจํ•  ์ˆ˜ ์žˆ๋Š”๋ฐ, ๋ฌผ๋ฆฌํ•™์  ์‘์šฉ์„ ๋ณด๋ฉด ํฅ๋ฏธ๋กœ์›Œ์ง€์ง€! ๐ŸŒŒ

4๏ธโƒฃ ์„ธ๋ฏธ๋‚˜์™€ ํ† ๋ก 
ํ˜ผ์ž ๊ณต๋ถ€ํ•˜๊ธฐ ์–ด๋ ค์šด ๋ถ„์•ผ์•ผ. ์Šคํ„ฐ๋”” ๊ทธ๋ฃน์ด๋‚˜ ์„ธ๋ฏธ๋‚˜์— ์ฐธ์—ฌํ•˜๋Š” ๊ฒŒ ์ข‹์•„. ์žฌ๋Šฅ๋„ท ๊ฐ™์€ ํ”Œ๋žซํผ์—์„œ ํ•จ๊ป˜ ๊ณต๋ถ€ํ•  ์‚ฌ๋žŒ๋“ค์„ ์ฐพ๋Š” ๊ฒƒ๋„ ์ข‹์€ ๋ฐฉ๋ฒ•์ด์•ผ! ๐Ÿ‘ฅ

๐Ÿ“– ์ถ”์ฒœ ๊ต์žฌ โ€ข Griffiths & Harris - "Principles of Algebraic Geometry"
โ€ข Huybrechts - "Complex Geometry"
โ€ข Zheng - "Complex Differential Geometry"
โ€ข Ballmann - "Lectures on Kรคhler Manifolds"

์ด ์ฑ…๋“ค์€ ์ผ€์ผ๋Ÿฌ ๊ธฐํ•˜ํ•™์˜ ๊ณ ์ „์ด์ž ํ•„๋…์„œ์•ผ!

๐ŸŽฏ ์ผ€์ผ๋Ÿฌ ๊ธฐํ•˜ํ•™์˜ ๋ฏธ๋ž˜

์ผ€์ผ๋Ÿฌ ๊ธฐํ•˜ํ•™์€ ์•ž์œผ๋กœ๋„ ๊ณ„์† ๋ฐœ์ „ํ•  ๋ถ„์•ผ์•ผ. ๋ช‡ ๊ฐ€์ง€ ํฅ๋ฏธ๋กœ์šด ์—ฐ๊ตฌ ๋ฐฉํ–ฅ๋“ค์„ ์†Œ๊ฐœํ• ๊ฒŒ! ๐Ÿ”ฎ

๐ŸŒˆ ์–‘์ž ์ฝ”ํ˜ธ๋ชฐ๋กœ์ง€(Quantum Cohomology)
์‹ฌํ”Œ๋ ‰ํ‹ฑ ๊ธฐํ•˜ํ•™๊ณผ ์ผ€์ผ๋Ÿฌ ๊ธฐํ•˜ํ•™์ด ๋งŒ๋‚˜๋Š” ๋ถ„์•ผ์•ผ. ๊ทธ๋กœ๋ชจํ”„-์œ„ํŠผ ๋ถˆ๋ณ€๋Ÿ‰(Gromov-Witten Invariants)์„ ํ†ตํ•ด ๊ณก์„ ์˜ ๊ฐœ์ˆ˜๋ฅผ ์„ธ๋Š” ๋ฌธ์ œ์™€ ์—ฐ๊ฒฐ๋ผ. ๋ฏธ๋Ÿฌ ๋Œ€์นญ์˜ ์ˆ˜ํ•™์  ์ •์‹ํ™”์— ํ•ต์‹ฌ์ ์ธ ์—ญํ• ์„ ํ•˜์ง€!

๐ŸŽจ ๋น„๊ฐ€ํ™˜ ๊ธฐํ•˜ํ•™(Noncommutative Geometry)
์ฝ˜(Connes)์˜ ๋น„๊ฐ€ํ™˜ ๊ธฐํ•˜ํ•™๊ณผ ์ผ€์ผ๋Ÿฌ ๊ธฐํ•˜ํ•™์„ ๊ฒฐํ•ฉํ•˜๋ ค๋Š” ์‹œ๋„๋“ค์ด ์žˆ์–ด. ์–‘์ž์—ญํ•™์˜ ๋น„๊ฐ€ํ™˜์„ฑ์„ ๊ธฐํ•˜ํ•™์— ํ†ตํ•ฉํ•˜๋Š” ๊ฑฐ์ง€!

๐Ÿ”ฌ ์ˆ˜์น˜์  ๋ฐฉ๋ฒ•(Numerical Methods)
๋ณต์žกํ•œ ์ผ€์ผ๋Ÿฌ ๊ณ„๋Ÿ‰์„ ์ปดํ“จํ„ฐ๋กœ ๊ทผ์‚ฌํ•˜๋Š” ๋ฐฉ๋ฒ•๋“ค์ด ๋ฐœ์ „ํ•˜๊ณ  ์žˆ์–ด. ์ด๋ก ์ ์œผ๋กœ ์กด์žฌ๊ฐ€ ์ฆ๋ช…๋œ ๊ณ„๋Ÿ‰๋“ค์„ ์‹ค์ œ๋กœ ๊ณ„์‚ฐํ•  ์ˆ˜ ์žˆ๊ฒŒ ๋˜๋Š” ๊ฑฐ์•ผ!

๐ŸŒŸ ๊ธฐ๊ณ„ํ•™์Šต๊ณผ์˜ ์œตํ•ฉ
์ตœ๊ทผ์—๋Š” ๊ธฐ๊ณ„ํ•™์Šต์„ ์ด์šฉํ•ด ์นผ๋ผ๋น„-์•ผ์šฐ ๋‹ค์–‘์ฒด์˜ ์„ฑ์งˆ์„ ์—ฐ๊ตฌํ•˜๋Š” ์‹œ๋„๋“ค๋„ ์žˆ์–ด. ์ˆ˜ํ•™๊ณผ AI์˜ ๋งŒ๋‚จ์ด์ง€! ๐Ÿค–

๐Ÿ’ญ ๋งˆ์น˜๋ฉฐ

์™€, ์ •๋ง ๊ธด ์—ฌ์ •์ด์—ˆ์ง€? ๐Ÿ˜… ๋ณต์†Œ ๊ธฐํ•˜ํ•™๊ณผ ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด๋ฅผ ํ†ตํ•œ ๋ณต์†Œ ๋ฏธ๋ถ„๊ธฐํ•˜ํ•™์  ๊ตฌ์กฐ์— ๋Œ€ํ•ด ์ด์•ผ๊ธฐํ•ด๋ดค์–ด.

์ผ€์ผ๋Ÿฌ ๊ธฐํ•˜ํ•™์€ ์ •๋ง ์•„๋ฆ„๋‹ค์šด ๋ถ„์•ผ์•ผ. ๋ณต์†Œํ•ด์„ํ•™, ๋ฏธ๋ถ„๊ธฐํ•˜ํ•™, ๋Œ€์ˆ˜๊ธฐํ•˜ํ•™, ์œ„์ƒ์ˆ˜ํ•™์ด ๋ชจ๋‘ ์กฐํ™”๋กญ๊ฒŒ ์–ด์šฐ๋Ÿฌ์ง€๋Š” ๊ณณ์ด๊ฑฐ๋“ . ๊ทธ๋ฆฌ๊ณ  ๋ˆ ์ด๋ก  ๊ฐ™์€ ๋ฌผ๋ฆฌํ•™๊ณผ๋„ ๊นŠ์€ ์—ฐ๊ฒฐ์„ ๊ฐ€์ง€๊ณ  ์žˆ์–ด. ์ˆœ์ˆ˜ ์ˆ˜ํ•™์ด ์šฐ์ฃผ์˜ ๊ทผ๋ณธ ๊ตฌ์กฐ๋ฅผ ์„ค๋ช…ํ•˜๋Š” ๋ฐ ์‚ฌ์šฉ๋œ๋‹ค๋‹ˆ, ์ •๋ง ๋†€๋ž์ง€ ์•Š์•„? ๐ŸŒŒ

๋ฌผ๋ก  ์—„์ฒญ๋‚˜๊ฒŒ ์–ด๋ ค์šด ๋ถ„์•ผ์•ผ. ๋Œ€ํ•™์› ์ˆ˜์ค€์˜ ์ˆ˜ํ•™์ด๊ณ , ๋งŽ์€ ๋ฐฐ๊ฒฝ์ง€์‹์ด ํ•„์š”ํ•˜์ง€. ํ•˜์ง€๋งŒ ๊ทธ๋งŒํผ ๋ณด๋žŒ๋„ ํฌ๊ณ , ๋ฐฐ์šธ ๊ฒŒ ๋งŽ์€ ๋ถ„์•ผ์•ผ. ์ˆ˜ํ•™์˜ ์—ฌ๋Ÿฌ ๋ถ„์•ผ๋“ค์ด ์–ด๋–ป๊ฒŒ ์—ฐ๊ฒฐ๋˜๋Š”์ง€ ๋ณผ ์ˆ˜ ์žˆ๊ณ , ์ถ”์ƒ์ ์ธ ์ด๋ก ์ด ๊ตฌ์ฒด์ ์ธ ์‘์šฉ์œผ๋กœ ์ด์–ด์ง€๋Š” ๊ฑธ ๊ฒฝํ—˜ํ•  ์ˆ˜ ์žˆ๊ฑฐ๋“ ! ๐ŸŽจ

์ผ€์ผ๋Ÿฌ ๊ธฐํ•˜ํ•™์„ ๊ณต๋ถ€ํ•˜๋ฉด์„œ ๋А๋ผ๋Š” ๊ฑด, ์ˆ˜ํ•™์ด ์ •๋ง ์‚ด์•„์žˆ๋Š” ํ•™๋ฌธ์ด๋ผ๋Š” ๊ฑฐ์•ผ. ์ง€๊ธˆ๋„ ์ƒˆ๋กœ์šด ์ •๋ฆฌ๋“ค์ด ์ฆ๋ช…๋˜๊ณ , ์ƒˆ๋กœ์šด ์—ฐ๊ฒฐ๋“ค์ด ๋ฐœ๊ฒฌ๋˜๊ณ  ์žˆ์–ด. ์•ผ์šฐ์˜ ์นผ๋ผ๋น„ ์ถ”์ธก ์ฆ๋ช…(1976), ์ผ€์ผ๋Ÿฌ-์•„์ธ์Šˆํƒ€์ธ ๊ณ„๋Ÿ‰์˜ ์กด์žฌ์„ฑ ์ฆ๋ช…(2015) ๊ฐ™์€ ์—ญ์‚ฌ์ ์ธ ์ˆœ๊ฐ„๋“ค์ด ์šฐ๋ฆฌ ์‹œ๋Œ€์— ์ผ์–ด๋‚ฌ์–ด!

์ด๋Ÿฐ ๊นŠ์€ ์ˆ˜ํ•™์  ์ง€์‹์„ ๋‚˜๋ˆ„๊ณ  ๋ฐฐ์šธ ์ˆ˜ ์žˆ๋Š” ๊ณต๊ฐ„์ด ๋” ๋งŽ์•„์กŒ์œผ๋ฉด ์ข‹๊ฒ ์–ด. ์žฌ๋Šฅ๋„ท์˜ ์ง€์‹์ธ์˜ ์ˆฒ ๊ฐ™์€ ๊ณณ์—์„œ ๋ง์ด์•ผ. ํ•จ๊ป˜ ๊ณต๋ถ€ํ•˜๊ณ , ํ† ๋ก ํ•˜๊ณ , ์„ฑ์žฅํ•  ์ˆ˜ ์žˆ๋Š” ์ปค๋ฎค๋‹ˆํ‹ฐ๊ฐ€ ์ค‘์š”ํ•˜๊ฑฐ๋“ . ๐ŸŒณ

์ผ€์ผ๋Ÿฌ ๊ธฐํ•˜ํ•™์€ ์–ด๋ ต์ง€๋งŒ, ๊ทธ ์•„๋ฆ„๋‹ค์›€์„ ํ•œ๋ฒˆ ๋ง›๋ณด๋ฉด ํ—ค์–ด๋‚˜์˜ฌ ์ˆ˜ ์—†์–ด. ๋ณต์†Œ์ˆ˜์˜ ์„ธ๊ณ„๊ฐ€ ๋งŒ๋“ค์–ด๋‚ด๋Š” ๊ธฐํ•˜ํ•™์  ๊ตฌ์กฐ๋“ค, ๊ทธ ์•ˆ์— ์ˆจ๊ฒจ์ง„ ๋Œ€์นญ์„ฑ๊ณผ ์กฐํ™”, ๊ทธ๋ฆฌ๊ณ  ๋ฌผ๋ฆฌํ•™๊ณผ์˜ ๋†€๋ผ์šด ์—ฐ๊ฒฐ... ์ด ๋ชจ๋“  ๊ฒŒ ์ผ€์ผ๋Ÿฌ ๊ธฐํ•˜ํ•™์˜ ๋งค๋ ฅ์ด์•ผ! โœจ

์ด ๊ธ€์ด ์ผ€์ผ๋Ÿฌ ๊ธฐํ•˜ํ•™์— ๊ด€์‹ฌ์„ ๊ฐ€์ง„ ์‚ฌ๋žŒ๋“ค์—๊ฒŒ ์กฐ๊ธˆ์ด๋‚˜๋งˆ ๋„์›€์ด ๋˜์—ˆ์œผ๋ฉด ์ข‹๊ฒ ์–ด. ์–ด๋ ค์šด ๋‚ด์šฉ์ด์ง€๋งŒ, ํฌ๊ธฐํ•˜์ง€ ๋ง๊ณ  ํ•œ ๊ฑธ์Œ์”ฉ ๋‚˜์•„๊ฐ€๋‹ค ๋ณด๋ฉด ์–ธ์  ๊ฐ€๋Š” ์ด ์•„๋ฆ„๋‹ค์šด ์„ธ๊ณ„๋ฅผ ์ดํ•ดํ•  ์ˆ˜ ์žˆ์„ ๊ฑฐ์•ผ! ๐Ÿ’ช

์ˆ˜ํ•™์€ ์ธ๋‚ด์™€ ์—ด์ •์ด ํ•„์š”ํ•œ ๋ถ„์•ผ์•ผ. ํ•˜์ง€๋งŒ ๊ทธ๋งŒํผ ํฐ ๋ณด์ƒ์„ ์ฃผ์ง€. ์ผ€์ผ๋Ÿฌ ๊ธฐํ•˜ํ•™์˜ ์„ธ๊ณ„๋กœ ๋– ๋‚˜๋Š” ์—ฌ๋Ÿฌ๋ถ„์˜ ์—ฌ์ •์„ ์‘์›ํ• ๊ฒŒ! ํ™”์ดํŒ…! ๐Ÿš€๐ŸŒŸ

๐ŸŽ“ ๋ณต์†Œ ๊ธฐํ•˜ํ•™๊ณผ ์ผ€์ผ๋Ÿฌ ๋‹ค์–‘์ฒด์˜ ์•„๋ฆ„๋‹ค์šด ์„ธ๊ณ„๋ฅผ ํƒํ—˜ํ•˜๋Š” ์—ฌ์ •, ํ•จ๊ป˜ํ•ด์ค˜์„œ ๊ณ ๋งˆ์›Œ! ๐ŸŒŸ
์ˆ˜ํ•™์˜ ๊นŠ์ด์™€ ์•„๋ฆ„๋‹ค์›€์„ ํ•จ๊ป˜ ๋‚˜๋ˆ„๋ฉฐ ์„ฑ์žฅํ•˜๋Š” ์šฐ๋ฆฌ๊ฐ€ ๋˜์ž! ๐Ÿ’ซ

๋Œ“๊ธ€ ์ž‘์„ฑ

์ด ๊ธ€์— ๋Œ€ํ•œ ์—ฌ๋Ÿฌ๋ถ„์˜ ์ƒ๊ฐ์„ ๋“ค๋ ค์ฃผ์„ธ์š”

๋Œ“๊ธ€ 0
๋Œ“๊ธ€์„ ๋ถˆ๋Ÿฌ์˜ค๋Š” ์ค‘์ž…๋‹ˆ๋‹ค.

์•„์ง ๋Œ“๊ธ€์ด ์—†์Šต๋‹ˆ๋‹ค.