Ver3.0 ๐ ๋ณต์ ๊ธฐํํ๊ณผ ์ผ์ผ๋ฌ ๋ค์์ฒด๋ฅผ ํตํ ๋ณต์ ๋ฏธ๋ถ๊ธฐํํ์ ๊ตฌ์กฐ์ ์ธ๊ณ

๐ ๋ณต์ ๊ธฐํํ๊ณผ ์ผ์ผ๋ฌ ๋ค์์ฒด๋ฅผ ํตํ ๋ณต์ ๋ฏธ๋ถ๊ธฐํํ์ ๊ตฌ์กฐ์ ์ธ๊ณ
๋ณต์์์ ์๋ฆ๋ค์ด ๊ธฐํํ์ ๊ตฌ์กฐ ์์ผ๋ก ๋ ๋๋ ์ํ์ ์ฌํ โจ
๐ฏ ๋ณต์ ๊ธฐํํ, ์ ์ด๋ ๊ฒ ์ด๋ ต๊ณ ์๋ฆ๋ค์ด๊ฐ?
์๋
, ์น๊ตฌ! ์ค๋์ ์ ๋ง ์ด๋ ค์ด ์ํ ์ด์ผ๊ธฐ๋ฅผ ํด๋ณด๋ ค๊ณ ํด. ๐ ๋ณต์ ๊ธฐํํ๊ณผ ์ผ์ผ๋ฌ ๋ค์์ฒด๋ผ๋ ์ฃผ์ ์ธ๋ฐ, ์์งํ ๋งํ๋ฉด ์ด๊ฑด ๋ํ์ ์์ค์ ์ํ์ด์ผ. ํ์ง๋ง ๊ฑฑ์ ํ์ง ๋ง! ์ต๋ํ ์น๊ทผํ๊ฒ, ๊ทธ๋ฌ๋ฉด์๋ ์ ํํ๊ฒ ์ค๋ช
ํด๋ณผ๊ฒ.
๋จผ์ ๋ณต์ ๊ธฐํํ(Complex Geometry)์ด ๋ญ์ง๋ถํฐ ์์๋ณด์. ์ฐ๋ฆฌ๊ฐ ๊ณ ๋ฑํ๊ต ๋ ๋ฐฐ์ด ๋ณต์์ ๊ธฐ์ต๋์ง? a + bi ํํ๋ก ํํ๋๋ ๊ทธ ์ ๋ง์ด์ผ. ๋ณต์ ๊ธฐํํ์ ์ด๋ฐ ๋ณต์์๋ค์ด ๋ง๋ค์ด๋ด๋ ๊ธฐํํ์ ๊ตฌ์กฐ๋ฅผ ์ฐ๊ตฌํ๋ ๋ถ์ผ์ผ. ๋จ์ํ ํ๋ฉด ์์ ์ ์ผ๋ก ๋ณต์์๋ฅผ ํํํ๋ ๊ฒ ์๋๋ผ, ํจ์ฌ ๋ ๋ณต์กํ๊ณ ์๋ฆ๋ค์ด ๊ตฌ์กฐ๋ค์ ๋ค๋ฃจ์ง. ๐จ
๐ ๋ณต์ ๋ค์์ฒด(Complex Manifold)์ ์ธ๊ณ
๋ณธ๊ฒฉ์ ์ผ๋ก ๋ค์ด๊ฐ๊ธฐ ์ ์ ๋ณต์ ๋ค์์ฒด๋ผ๋ ๊ฐ๋
์ ์ดํดํด์ผ ํด. ๋ค์์ฒด(manifold)๋ ๊ตญ์์ ์ผ๋ก๋ ์ ํด๋ฆฌ๋ ๊ณต๊ฐ์ฒ๋ผ ๋ณด์ด์ง๋ง ์ ์ฒด์ ์ผ๋ก๋ ๋ณต์กํ ๊ตฌ์กฐ๋ฅผ ๊ฐ์ง ๊ณต๊ฐ์ด์ผ. ์๋ฅผ ๋ค์ด, ์ง๊ตฌ ํ๋ฉด์ ์๊ฐํด๋ด. ์ฐ๋ฆฌ๊ฐ ์ ์๋ ์์ ์์ญ์ ํํํด ๋ณด์ด์ง๋ง, ์ค์ ๋ก๋ ๊ตฌ ๋ชจ์์ด์์? ์ด๊ฒ ๋ฐ๋ก ๋ค์์ฒด์ ๊ฐ๋
์ด์ผ. ๐
๋ณต์ ๋ค์์ฒด๋ ์ด๋ฐ ๋ค์์ฒด์ ๋ณต์์ ๊ตฌ์กฐ๊ฐ ์ถ๊ฐ๋ ๊ฑฐ์ผ. ๊ฐ ์ ๊ทผ์ฒ์์ ๋ณต์ ์ขํ๊ณ๋ฅผ ์ ์ํ ์ ์๊ณ , ์ขํ ๋ณํ์ด ์ ์นํจ์(holomorphic function)๋ก ์ด๋ฃจ์ด์ง๋ ๊ณต๊ฐ์ด์ง. ์ ์นํจ์๋ ๋ณต์ ๋ฏธ๋ถ๊ฐ๋ฅํ ํจ์๋ฅผ ๋งํ๋๋ฐ, ์ด๊ฒ ์คํจ์์ ๋ฏธ๋ถ๊ฐ๋ฅ์ฑ๋ณด๋ค ํจ์ฌ ๊ฐํ ์กฐ๊ฑด์ด์ผ.
1๏ธโฃ M์ ํ์ฐ์ค๋๋ฅดํ ๊ณต๊ฐ์ด๊ณ ์ 2๊ฐ์ฐ๊ณต๋ฆฌ๋ฅผ ๋ง์กฑํด
2๏ธโฃ M์ ์ขํ ์ฐจํธ๋ค์ ๋ชจ์์ผ๋ก ๋ฎ์ฌ์์ด
3๏ธโฃ ๊ฐ ์ฐจํธ๋ โโฟ์ ์ด๋ฆฐ์งํฉ๊ณผ ๋ํ์ฌ์์ด์ผ
4๏ธโฃ ์ฐจํธ ์ ์ดํจ์๋ค์ด ๋ชจ๋ ์ ์นํจ์์ผ
์ด๋ฐ ๋ณต์ ๋ค์์ฒด์ ๋ํ์ ์ธ ์์๊ฐ ๋ฐ๋ก ๋ณต์ ์ฌ์๊ณต๊ฐ(Complex Projective Space) โPโฟ์ด์ผ. ์ด๊ฑด (n+1)์ฐจ์ ๋ณต์ ๋ฒกํฐ๊ณต๊ฐ์์ ์์ ์ ์ ์ธํ ์ ๋ค์ ๋ณต์์๋ฐฐ๋ก ๋์ผ์ํ ๊ณต๊ฐ์ด์ง. ์์์ผ๋ก ์ฐ๋ฉด ์ด๋ ๊ฒ ๋ผ:
์ฌ๊ธฐ์ (zโ, zโ, ..., zโ) ~ (ฮปzโ, ฮปzโ, ..., ฮปzโ), ฮป โ โ*
๐จ ๋ณต์ ๊ตฌ์กฐ์ ๊ฑฐ์ ๋ณต์ ๊ตฌ์กฐ
์ด์ ์ข ๋ ๊น์ด ๋ค์ด๊ฐ๋ณผ๊น? ๋ณต์ ๋ค์์ฒด๋ฅผ ์ดํดํ๋ ค๋ฉด ๋ณต์ ๊ตฌ์กฐ(Complex Structure)๋ผ๋ ๊ฐ๋
์ด ํต์ฌ์ด์ผ. ์ด๊ฑด ์ค ๋ค์์ฒด ์์ ์ ์๋๋ ํน๋ณํ ์ ํ ๋ณํ์ด์ผ. ๐
์ค ๋ค์์ฒด M์ ๊ฐ ์ p์์ ์ ๊ณต๊ฐ(tangent space) TโM์ ์๊ฐํด๋ณด์. ๋ณต์ ๊ตฌ์กฐ J๋ ์ด ์ ๊ณต๊ฐ ์์ ์ ํ ๋ณํ์ธ๋ฐ, ๋ค์ ์กฐ๊ฑด์ ๋ง์กฑํด์ผ ํด:
(์ฌ๊ธฐ์ I๋ ํญ๋ฑ๋ณํ)
์ด๊ฒ ๋ฌด์จ ์๋ฏธ๋๋ฉด, J๋ฅผ ๋ ๋ฒ ์ ์ฉํ๋ฉด -1์ ๊ณฑํ ๊ฒ๊ณผ ๊ฐ๋ค๋ ๊ฑฐ์ผ. ๋ณต์์ i๋ฅผ ์๊ฐํด๋ด. iยฒ = -1์ด์์? ๋ฐ๋ก ๊ทธ ์ฑ์ง์ ๊ธฐํํ์ ์ผ๋ก ๊ตฌํํ ๊ฑฐ์ง! ์ด J๋ฅผ ํตํด ์ฐ๋ฆฌ๋ ์ค ๋ฒกํฐ๊ณต๊ฐ์ ๋ณต์ ๋ฒกํฐ๊ณต๊ฐ์ฒ๋ผ ๋ค๋ฃฐ ์ ์๊ฒ ๋ผ. ๐ฏ
ํ์ง๋ง ์ฌ๊ธฐ์ ์ค์ํ ๊ฒ ์์ด. ๋ชจ๋ ๊ฑฐ์ ๋ณต์ ๊ตฌ์กฐ(Almost Complex Structure)๊ฐ ์ง์ง ๋ณต์ ๊ตฌ์กฐ๊ฐ ๋๋ ๊ฑด ์๋์ผ. ๊ฑฐ์ ๋ณต์ ๊ตฌ์กฐ๋ ๋จ์ํ Jยฒ = -I๋ง ๋ง์กฑํ๋ฉด ๋์ง๋ง, ์ง์ง ๋ณต์ ๊ตฌ์กฐ๊ฐ ๋๋ ค๋ฉด ์ถ๊ฐ ์กฐ๊ฑด์ด ํ์ํด. ๋ฐ๋ก ์ ๋ถ๊ฐ๋ฅ์ฑ(Integrability)์ด์ผ!
โจ ์๋ฅด๋ฏธํธ ๊ณ๋๊ณผ ์ผ์ผ๋ฌ ๊ตฌ์กฐ๋ก์ ์ฌ์
์, ์ด์ ๋ณธ๊ฒฉ์ ์ผ๋ก ์ผ์ผ๋ฌ ๋ค์์ฒด(Kรคhler Manifold)๋ก ๊ฐ๋ ๊ธธ์ ์ด์ด๋ณด์! ์ผ์ผ๋ฌ ๋ค์์ฒด๋ฅผ ์ดํดํ๋ ค๋ฉด ๋จผ์ ์๋ฅด๋ฏธํธ ๊ณ๋(Hermitian Metric)์ ์์์ผ ํด. ๐
๋ณต์ ๋ค์์ฒด M ์์ ์๋ฅด๋ฏธํธ ๊ณ๋ h๋ ๊ฐ ์ ๊ณต๊ฐ TโM ์์ ์ ์๋ ์๋ฅด๋ฏธํธ ๋ด์ ์ด์ผ. ์๋ฅด๋ฏธํธ ๋ด์ ์ ๋ณต์ ๋ฒกํฐ๊ณต๊ฐ์์์ ๋ด์ ์ธ๋ฐ, ๋ค์ ์ฑ์ง๋ค์ ๋ง์กฑํด:
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์ ๊ณฑํ ๊ฑธ ฯ๋ผ๊ณ ํ๋ฉด:
์ฌ๊ธฐ์ g๋ ๋ฆฌ๋ง ๊ณ๋(Riemannian Metric)์ด ๋๊ณ , ฯ๋ 2-ํ์(2-form)์ด ๋ผ. ์ด ฯ๋ฅผ ๊ธฐ๋ณธ ํ์(Fundamental Form) ๋๋ ์ผ์ผ๋ฌ ํ์(Kรคhler Form)์ด๋ผ๊ณ ๋ถ๋ฌ. ๐ช
๊ทธ๋ฐ๋ฐ ์ฌ๊ธฐ์ ๋ง๋ฒ ๊ฐ์ ์ผ์ด ์ผ์ด๋! ๋ง์ฝ ์ด ฯ๊ฐ ๋ซํ์๋ค๋ฉด(closed), ์ฆ dฯ = 0์ด๋ผ๋ฉด, ์ฐ๋ฆฌ๋ ์ด ์๋ฅด๋ฏธํธ ๋ค์์ฒด๋ฅผ ์ผ์ผ๋ฌ ๋ค์์ฒด๋ผ๊ณ ๋ถ๋ฅด๋ ๊ฑฐ์ผ! ์ด๊ฒ ๋ฐ๋ก ์ผ์ผ๋ฌ ์กฐ๊ฑด์ด์ง.
โข ์๋ฅด๋ฏธํธ ๊ณ๋ h๊ฐ ์กด์ฌํ๊ณ
โข ๊ทธ ๊ธฐ๋ณธ ํ์ ฯ๊ฐ ๋ซํ์์ด์ผ ํด (dฯ = 0)
์ด ์กฐ๊ฑด์ด ๋ง์กฑ๋๋ฉด ์์ฒญ๋๊ฒ ์๋ฆ๋ค์ด ๊ธฐํํ์ ๊ตฌ์กฐ๊ฐ ๋ํ๋!
๐ ์ผ์ผ๋ฌ ๋ค์์ฒด์ ๋๋ผ์ด ์ฑ์ง๋ค
์ผ์ผ๋ฌ ๋ค์์ฒด๊ฐ ์ ๊ทธ๋ ๊ฒ ํน๋ณํ์ง ์์๋ณด์. ์ผ์ผ๋ฌ ์กฐ๊ฑด dฯ = 0์ ๊ฒ๋ณด๊ธฐ์ ๋จ์ํด ๋ณด์ด์ง๋ง, ์ด๊ฒ ์์ฒญ๋ ๊ฒฐ๊ณผ๋ค์ ๊ฐ์ ธ์! ๐ฎ
์ฒซ์งธ, ์ผ์ผ๋ฌ ๋ค์์ฒด์์๋ ๋ฆฌ๋ง ๊ธฐํํ, ๋ณต์ ๊ธฐํํ, ์ฌํ๋ ํฑ ๊ธฐํํ์ด ๋ชจ๋ ์กฐํ๋กญ๊ฒ ์ด์ฐ๋ฌ์ ธ. ์ด๊ฒ ๋ฌด์จ ๋ง์ด๋๋ฉด:
์ผ์ผ๋ฌ ๊ณ๋ g๋ ๋ฆฌ๋ง ๊ณ๋์ด์ผ. ๋ฐ๋ผ์ ๊ณก๋ฅ , ์ธก์ง์ ๊ฐ์ ๋ฆฌ๋ง ๊ธฐํํ์ ๋ชจ๋ ๋๊ตฌ๋ฅผ ์ฌ์ฉํ ์ ์์ด.
2. ๋ณต์ ๊ธฐํํ์ ๊ด์ :
๋ณต์ ๊ตฌ์กฐ J์ ๊ณ๋์ด ํธํ๋ผ. ์ ์น ๋ฒกํฐ์ฅ, ์ ์น ๊ณก์ ๊ฐ์ ๋ณต์ ๊ธฐํํ์ ๋์๋ค์ ์์ฐ์ค๋ฝ๊ฒ ๋ค๋ฃฐ ์ ์์ง.
3. ์ฌํ๋ ํฑ ๊ธฐํํ์ ๊ด์ :
์ผ์ผ๋ฌ ํ์ ฯ๋ ์ฌํ๋ ํฑ ํ์์ด์ผ. ํด๋ฐํด ์ญํ, ๋ชจ๋ฉํธ ๋งต ๊ฐ์ ์ฌํ๋ ํฑ ๊ธฐํํ์ ๊ฐ๋ ๋ค์ ์ ์ฉํ ์ ์์ด.
๋์งธ, ์ผ์ผ๋ฌ ๋ค์์ฒด์์๋ ๋ ๋น-์น๋นํ ์ ์(Levi-Civita Connection)์ด ๋ณต์ ๊ตฌ์กฐ๋ฅผ ๋ณด์กดํด. ์ด๊ฒ ์ ๋ง ์ค์ํ ์ฑ์ง์ธ๋ฐ, ์์์ผ๋ก ์ฐ๋ฉด:
์ฌ๊ธฐ์ โ๋ ๋ ๋น-์น๋นํ ์ ์์ด์ผ. ์ด ์กฐ๊ฑด์ ํํ์ด๋์ด ๋ณต์ ๊ตฌ์กฐ๋ฅผ ๋ณด์กดํ๋ค๋ ์๋ฏธ์ผ. ์ค์ ๋ก ์ด๊ฒ๊ณผ ์ผ์ผ๋ฌ ์กฐ๊ฑด dฯ = 0์ ๋์น์ผ! ๐จ
์
์งธ, ์ผ์ผ๋ฌ ๋ค์์ฒด์์๋ ํธ์ง ์ด๋ก (Hodge Theory)์ด ํน๋ณํ ์๋ฆ๋ค์ด ํํ๋ก ๋ํ๋. ํธ์ง ๋ถํด(Hodge Decomposition)๋ฅผ ํตํด ๋๋ ์ฝํธ๋ชฐ๋ก์ง(de Rham Cohomology)๋ฅผ ๋ณต์ ๊ตฌ์กฐ์ ๋ง๊ฒ ์ธ๋ถํํ ์ ์์ด:
์ด๊ฑธ ํธ์ง ๋ถํด๋ผ๊ณ ํด. ์ฌ๊ธฐ์ H^{p,q}(M)์ (p,q)-ํ์๋ค์ ์ฝํธ๋ชฐ๋ก์ง ๊ทธ๋ฃน์ด์ผ. ์ด ๋ถํด๋ ์ผ์ผ๋ฌ ๋ค์์ฒด์์๋ง ์ฑ๋ฆฝํ๋ ํน๋ณํ ์ฑ์ง์ด์ง! ์ฌ๋ฅ๋ท์ ์ง์์ธ์ ์ฒ์์ ์ด๋ฐ ๊น์ ์ํ ์ด์ผ๊ธฐ๋ฅผ ๋๋ ์ ์๋ค๋, ์ ๋ง ๋ฉ์ง์ง ์์? ๐
๐ช ์ผ์ผ๋ฌ ํฌํ ์ ๊ณผ ๊ตญ์ ์ขํ๊ณ
์ผ์ผ๋ฌ ๋ค์์ฒด๋ฅผ ๊ตฌ์ฒด์ ์ผ๋ก ๋ค๋ฃจ๋ ค๋ฉด ์ผ์ผ๋ฌ ํฌํ
์
(Kรคhler Potential)์ด๋ผ๋ ๊ฐ๋
์ด ์์ฒญ ์ ์ฉํด. ๊ตญ์์ ์ผ๋ก ์ผ์ผ๋ฌ ํ์ ฯ๋ ์ด๋ค ํจ์ K์ ๋ฏธ๋ถ์ผ๋ก ํํ๋ ์ ์์ด. ์ด K๋ฅผ ์ผ์ผ๋ฌ ํฌํ
์
์ด๋ผ๊ณ ํ์ง. ๐ฏ
๊ตญ์ ๋ณต์ ์ขํ (zยน, zยฒ, ..., zโฟ)๋ฅผ ์ฌ์ฉํ๋ฉด, ์ผ์ผ๋ฌ ํ์์ ์ด๋ ๊ฒ ์ธ ์ ์์ด:
์ฌ๊ธฐ์ โ๋ ์ ์น ๋ฐฉํฅ์ ๋ฏธ๋ถ์ด๊ณ , โฬ๋ ๋ฐ์ ์น ๋ฐฉํฅ์ ๋ฏธ๋ถ์ด์ผ. ์ด ํํ์ด ์ ๋ง ๊ฐ๋ ฅํ ์ด์ ๋ ์ผ์ผ๋ฌ ๊ณ๋์ ์ฑ๋ถ๋ค์ ์ผ์ผ๋ฌ ํฌํ ์ ๋ก๋ถํฐ ์ง์ ๊ณ์ฐํ ์ ์๊ธฐ ๋๋ฌธ์ด์ผ:
์ด g_{jkฬ}๋ฅผ ์ผ์ผ๋ฌ ๊ณ๋์ ์ฑ๋ถ์ด๋ผ๊ณ ํด. ์ผ์ผ๋ฌ ํฌํ
์
K๊ฐ ์ฃผ์ด์ง๋ฉด, ์ด ๋ค์์ฒด์ ๋ชจ๋ ๊ธฐํํ์ ์ ๋ณด๋ฅผ ๊ณ์ฐํ ์ ์์ด! ๊ณก๋ฅ , ๋ฆฌ์น ๊ณก๋ฅ , ์ค์นผ๋ผ ๊ณก๋ฅ ๋ฑ๋ฑ ๋ง์ด์ผ. ๐
์๋ฅผ ๋ค์ด, ๋ฆฌ์น ํ์(Ricci Form)์ ์ด๋ ๊ฒ ํํ๋ผ:
์ด ์์ด ๋ณด์ฌ์ฃผ๋ ๊ฑด, ๋ฆฌ์น ๊ณก๋ฅ ๋ ์ผ์ผ๋ฌ ํฌํ ์ ๋ก๋ถํฐ ์์ ํ ๊ฒฐ์ ๋๋ค๋ ๊ฑฐ์ผ. ์ด๊ฒ ๋ฐ๋ก ์ผ์ผ๋ฌ ๊ธฐํํ์ ์๋ฆ๋ค์์ด์ง! ๐
๐๏ธ ์ผ์ผ๋ฌ ๋ค์์ฒด์ ๋ํ์ ์ธ ์์๋ค
์ด๋ก ๋ง ์๊ธฐํ๋ฉด ์ฌ๋ฏธ์์ผ๋๊น, ๊ตฌ์ฒด์ ์ธ ์์๋ค์ ์ดํด๋ณด์! ์ผ์ผ๋ฌ ๋ค์์ฒด๋ ์ํ๊ณผ ๋ฌผ๋ฆฌํ ๊ณณ๊ณณ์์ ๋ํ๋๊ฑฐ๋ . ๐
์ด ์ธ์๋ K3 ๊ณก๋ฉด, ์๋ฒจ ๋ค์์ฒด, ํ๋๊ทธ ๋ค์์ฒด ๋ฑ ์๋ง์ ์ผ์ผ๋ฌ ๋ค์์ฒด๋ค์ด ์์ด. ๊ฐ๊ฐ์ด ๋ ํนํ ์ฑ์ง๊ณผ ์์ฉ์ ๊ฐ์ง๊ณ ์์ง!
๐ฌ ๋ณต์ ๋ฏธ๋ถ๊ธฐํํ์ ํต์ฌ ๋๊ตฌ๋ค
์ผ์ผ๋ฌ ๋ค์์ฒด๋ฅผ ์ ๋๋ก ์ฐ๊ตฌํ๋ ค๋ฉด ๋ณต์ ๋ฏธ๋ถ๊ธฐํํ์ ์ฌ๋ฌ ๋๊ตฌ๋ค์ ์์์ผ ํด. ํ๋์ฉ ์ดํด๋ณด์! ๐ ๏ธ
๐ ๋๋ณด ์ฝํธ๋ชฐ๋ก์ง(Dolbeault Cohomology)
๋ณต์ ๋ค์์ฒด์์ ๋๋ ์ฝํธ๋ชฐ๋ก์ง์ ๋ณต์ ๋ฒ์ ์ด๋ผ๊ณ ์๊ฐํ๋ฉด ๋ผ. ๋ณต์ ๋ค์์ฒด M์์ (p,q)-ํ์๋ค์ ๊ณต๊ฐ์ ฮฉ^{p,q}(M)์ด๋ผ๊ณ ํ๋ฉด, โฬ-์ฐ์ฐ์๋ฅผ ์ฌ์ฉํด์ ์ฝํธ๋ชฐ๋ก์ง๋ฅผ ์ ์ํ ์ ์์ด:
์ผ์ผ๋ฌ ๋ค์์ฒด์์๋ ๋๋ณด ์ฝํธ๋ชฐ๋ก์ง์ ๋๋ ์ฝํธ๋ชฐ๋ก์ง๊ฐ ํธ์ง ๋ถํด๋ฅผ ํตํด ์ฐ๊ฒฐ๋ผ. ์ด๊ฒ ๋ฐ๋ก ํธ์ง ์ด๋ก ์ ํต์ฌ์ด์ผ! ๐จ
๐ ์ฒด๋ฅธ ํด๋์ค(Chern Class)
๋ณต์ ๋ฒกํฐ ๋ค๋ฐ์ ์์์ ๋ถ๋ณ๋์ด์ผ. ์ผ์ผ๋ฌ ๋ค์์ฒด์ ์ ๋ค๋ฐ(tangent bundle)์ ๋ํ ์ฒด๋ฅธ ํด๋์ค๋ค์ ๋ค์์ฒด์ ๊ธฐํํ์ ์ฑ์ง์ ๋ฐ์ํด. ํนํ ์ฒซ ๋ฒ์งธ ์ฒด๋ฅธ ํด๋์ค cโ์ ๋ฆฌ์น ๊ณก๋ฅ ๊ณผ ์ง์ ์ฐ๊ฒฐ๋ผ:
์ด ๊ด๊ณ์์ด ๋ณด์ฌ์ฃผ๋ ๊ฑด, ์์์ ์ ๋ณด(์ฒด๋ฅธ ํด๋์ค)์ ๊ธฐํํ์ ์ ๋ณด(๋ฆฌ์น ๊ณก๋ฅ )๊ฐ ๊น๊ฒ ์ฐ๊ฒฐ๋์ด ์๋ค๋ ๊ฑฐ์ผ. ์ ๋ง ๋๋์ง ์์? ๐ฎ
โก ์นผ๋ผ๋น ์ถ์ธก๊ณผ ์ผ์ฐ์ ์ ๋ฆฌ
๋ณต์ ๊ธฐํํ ์ญ์ฌ์ ๊ฐ์ฅ ์ค์ํ ๊ฒฐ๊ณผ ์ค ํ๋๋ฅผ ์๊ฐํ ๊ฒ. 1954๋
์นผ๋ผ๋น(Calabi)๋ ๋ค์๊ณผ ๊ฐ์ ์ถ์ธก์ ์ ์ํ์ด:
"์ปดํฉํธ ์ผ์ผ๋ฌ ๋ค์์ฒด M์์, ์ฃผ์ด์ง ์ฒซ ๋ฒ์งธ ์ฒด๋ฅธ ํด๋์ค cโ(M)์ ๋ํด, ๊ทธ ํด๋์ค๋ฅผ ๋ํํ๋ ๋ฆฌ์น ํ์์ ๊ฐ์ง ์ผ์ผ๋ฌ ๊ณ๋์ด ์กด์ฌํ๋ค."
์ด ์ถ์ธก์ 1976๋
์ผ์ฐ(Yau)์ ์ํด ์ฆ๋ช
๋์๊ณ , ์ผ์ฐ๋ ์ด ์
์ ์ผ๋ก ํ์ฆ์์ ๋ฐ์์ด! ์ด ์ ๋ฆฌ์ ํน๋ณํ ๊ฒฝ์ฐ๊ฐ ๋ฐ๋ก ์นผ๋ผ๋น-์ผ์ฐ ๋ค์์ฒด์ ์กด์ฌ์ฑ์ ๋ณด์ฅํ๋ ๊ฑฐ์ผ. ๐
๐ญ ์ผ์ผ๋ฌ-์์ธ์ํ์ธ ๊ณ๋
์ผ์ผ๋ฌ ๋ค์์ฒด ์ค์์๋ ํน๋ณํ ์ค์ํ ๊ฑด ์ผ์ผ๋ฌ-์์ธ์ํ์ธ ๊ณ๋(Kรคhler-Einstein Metric)์ ๊ฐ์ง ๋ค์์ฒด์ผ. ์ด๊ฑด ๋ฆฌ์น ๊ณก๋ฅ ์ด ๊ณ๋์ ๋น๋กํ๋ ์ผ์ผ๋ฌ ๊ณ๋์ ๋งํด:
์ฌ๊ธฐ์ ฮป๋ ์์์ผ. ฮป์ ๊ฐ์ ๋ฐ๋ผ ์ธ ๊ฐ์ง ๊ฒฝ์ฐ๋ก ๋๋์ด:
1๏ธโฃ ฮป > 0 (์์ ๋ฆฌ์น ๊ณก๋ฅ ):
์ด ๊ฒฝ์ฐ๋ ๋ณต์ ์ฌ์๊ณต๊ฐ ๊ฐ์ ๋ค์์ฒด๋ค์ด ํด๋น๋ผ. ํธ๋น๋-์คํฐ๋ ๊ณ๋์ด ๋ํ์ ์ธ ์์์ง.
2๏ธโฃ ฮป = 0 (๋ฆฌ์น ํํ):
์นผ๋ผ๋น-์ผ์ฐ ๋ค์์ฒด๊ฐ ๋ฐ๋ก ์ด ๊ฒฝ์ฐ์ผ! ๋ ์ด๋ก ์์ ์ค์ํ ์ญํ ์ ํ์ง.
3๏ธโฃ ฮป < 0 (์์ ๋ฆฌ์น ๊ณก๋ฅ ):
์ด ๊ฒฝ์ฐ๊ฐ ๊ฐ์ฅ ๋ณต์กํด. ์ผ์ฐ-ํ์ฐ๋ฒ ์ค(Yau-Taubes) ์ ๋ฆฌ ๋ฑ ๊น์ ๊ฒฐ๊ณผ๋ค์ด ์์ด. ๐ช
์ผ์ผ๋ฌ-์์ธ์ํ์ธ ๊ณ๋์ ์กด์ฌ์ฑ ๋ฌธ์ ๋ ์ค๋ซ๋์ ๋ฏธํด๊ฒฐ ๋ฌธ์ ์๋๋ฐ, 2012๋ ์ฒ์ค์ค์(Chen Xiuxiong), ๋๋ ๋์จ(Donaldson), ์จ์ก(Sun Song)์ ์ฐ๊ตฌ์ 2015๋ ์ฒ์ค์ค์์ ์ต์ข ์ฆ๋ช ์ผ๋ก ์์ ํ ํด๊ฒฐ๋์ด. ์ด๊ฒ๋ ํ์ฆ์๊ธ ์ ์ ์ด์ผ! ๐
๐ ๋ชจ๋ ธ์ง-์ํ๋ฅด ๋ฐฉ์ ์
์ผ์ผ๋ฌ ๊ธฐํํ์์ ๊ฐ์ฅ ์ค์ํ ํธ๋ฏธ๋ถ๋ฐฉ์ ์ ์ค ํ๋๊ฐ ๋ฐ๋ก ๋ณต์ ๋ชจ๋
ธ์ง-์ํ๋ฅด ๋ฐฉ์ ์(Complex Monge-Ampรจre Equation)์ด์ผ. ์ด ๋ฐฉ์ ์์ ์ผ์ผ๋ฌ ๊ณ๋์ ์กด์ฌ์ฑ ๋ฌธ์ ์ ์ง์ ์ฐ๊ฒฐ๋์ด ์์ด. ๐ฏ
์ผ์ผ๋ฌ ํฌํ
์
ฯ์ ๋ํ ๋ณต์ ๋ชจ๋
ธ์ง-์ํ๋ฅด ๋ฐฉ์ ์์ ์ด๋ ๊ฒ ์๊ฒผ์ด:
์ฌ๊ธฐ์ g_{jkฬ}๋ ๋ฐฐ๊ฒฝ ์ผ์ผ๋ฌ ๊ณ๋์ด๊ณ , F๋ ์ฃผ์ด์ง ํจ์์ผ. ์ด ๋ฐฉ์ ์์ ํด ฯ๋ฅผ ์ฐพ์ผ๋ฉด, ์๋ก์ด ์ผ์ผ๋ฌ ๊ณ๋์ ๊ตฌ์ฑํ ์ ์์ด!
์ด ๋ฐฉ์ ์์ด ์ ์ค์ํ๋๋ฉด, ์นผ๋ผ๋น ์ถ์ธก์ ์ฆ๋ช
ํ๋ ํต์ฌ ๋๊ตฌ์๊ธฐ ๋๋ฌธ์ด์ผ. ์ผ์ฐ๋ ์ด ๋น์ ํ ํธ๋ฏธ๋ถ๋ฐฉ์ ์์ ํด์ ์กด์ฌ์ฑ๊ณผ ์ ์ผ์ฑ์ ์ฆ๋ช
ํจ์ผ๋ก์จ ์นผ๋ผ๋น ์ถ์ธก์ ํด๊ฒฐํ์ด. ์ ๋ง ๋๋จํ ์
์ ์ด์ง! ๐
๋ณต์ ๋ชจ๋
ธ์ง-์ํ๋ฅด ๋ฐฉ์ ์์ ๋ค์๊ณผ ๊ฐ์ ํน์ง๋ค์ ๊ฐ์ ธ:
โข ํ์ํ(Elliptic): ์ ์ ํ ์กฐ๊ฑด ํ์์ ํ์ํ ๋ฐฉ์ ์์ด ๋ผ
โข ๊ธฐํํ์ ์๋ฏธ: ์ผ์ผ๋ฌ ํ์์ ๋ถํผ ํ์์ ์ ์ดํด
โข ์ ์น์ฑ ์ด๋ก : ํด์ ๋งค๋๋ฌ์์ ๋ณด์ฅํ๋ ๊น์ ์ด๋ก ์ด ํ์ํด
์ด ๋ฐฉ์ ์์ ํธ๋ ๊ฑด ์ ๋ง ์ด๋ ค์ด ์ผ์ด์ผ. ์ ํ ํธ๋ฏธ๋ถ๋ฐฉ์ ์๋ ์ด๋ ค์ด๋ฐ, ์ด๊ฑด ์์ ๋น์ ํ์ด๊ฑฐ๋ ! ํ์ง๋ง ๊ธฐํํ์ ์ง๊ด๊ณผ ํด์ํ์ ๊ธฐ๋ฒ์ ๊ฒฐํฉํ๋ฉด ๋๋ผ์ด ๊ฒฐ๊ณผ๋ฅผ ์ป์ ์ ์์ด. ๐
๐จ ํธ์ง ์ด๋ก ๊ณผ ์กฐํ ํ์
์ผ์ผ๋ฌ ๋ค์์ฒด์์ ํธ์ง ์ด๋ก (Hodge Theory)์ ์ ๋ง ์๋ฆ๋ต๊ฒ ์๋ํด. ํธ์ง ์ด๋ก ์ ํต์ฌ์ ์กฐํ ํ์(Harmonic Form)์ด์ผ. ๐ต
์ผ์ผ๋ฌ ๋ค์์ฒด M์์ k-ํ์ ฮฑ๊ฐ ์กฐํํ์์ด ๋๋ ค๋ฉด:
์ฌ๊ธฐ์ ฮ๋ ๋ผํ๋ผ์ค-๋ฒจํธ๋ผ๋ฏธ ์ฐ์ฐ์(Laplace-Beltrami Operator)์ผ. ์ผ์ผ๋ฌ ๋ค์์ฒด์์๋ ์ด๊ฒ ํน๋ณํ ํํ๋ฅผ ๊ฐ์ ธ:
์ด ์์ด ๋ณด์ฌ์ฃผ๋ ๊ฑด, ์ผ์ผ๋ฌ ๋ค์์ฒด์์ ๋ผํ๋ผ์์์ด โ์ โฬ ์ฐ์ฐ์๋ค๋ก ๊น๋ํ๊ฒ ๋ถํด๋๋ค๋ ๊ฑฐ์ผ. ์ด๊ฒ ๋ฐ๋ก ์ผ์ผ๋ฌ ์กฐ๊ฑด์ ์๋ ฅ์ด์ง! ๐ช
ํธ์ง ์ ๋ฆฌ(Hodge Theorem)๋ ๋ค์์ ๋งํด:
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^{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โ์์ ํธ๋น๋-์คํฐ๋ ์ผ์ผ๋ฌ ํฌํ
์
์:
์ด๋ก๋ถํฐ ์ผ์ผ๋ฌ ๊ณ๋์ ๊ณ์ฐํ๋ฉด:
์ผ์ผ๋ฌ ํ์์:
์ด์ ์ด๊ฒ ์ ๋ง ๋ซํ์๋์ง ํ์ธํด๋ณด์. dฯ๋ฅผ ๊ณ์ฐํ๋ฉด... 0์ด ๋์! ๋ฐ๋ผ์ โPยน์ ์ผ์ผ๋ฌ ๋ค์์ฒด์ผ. โ
๋ฆฌ์น ๊ณก๋ฅ ๋ ๊ณ์ฐํ ์ ์์ด. โPยน์ ๊ฒฝ์ฐ:
๋ฐ๋ผ์ โPยน์ ์ผ์ผ๋ฌ-์์ธ์ํ์ธ ๋ค์์ฒด์ด๊ณ , ์์ ๋ฆฌ์น ๊ณก๋ฅ ์ ๊ฐ์ ธ! ์ด ๊ณ์ฐ์ด ๋ณด์ฌ์ฃผ๋ ๊ฑด, ์ผ์ผ๋ฌ ํฌํ ์ ๋ง ์๋ฉด ๋ชจ๋ ๊ธฐํํ์ ์ ๋ณด๋ฅผ ์ป์ ์ ์๋ค๋ ๊ฑฐ์ผ. ๐ฏ
๐ ์ผ์ผ๋ฌ ๋ค์์ฒด์ ๋ณํ ์ด๋ก
์ผ์ผ๋ฌ ๋ค์์ฒด๋ฅผ ์ฐ๊ตฌํ ๋ ์ค์ํ ์ง๋ฌธ ์ค ํ๋๋: "์ผ์ผ๋ฌ ๋ค์์ฒด๋ฅผ ์กฐ๊ธ ๋ณํํ๋ฉด ์ด๋ป๊ฒ ๋ ๊น?"์ผ. ์ด๊ฒ ๋ฐ๋ก ๋ณํ ์ด๋ก (Deformation Theory)์ ์ฃผ์ ์ง. ๐
๋ณต์ ๋ค์์ฒด์ ๋ณํ์ ํฌ๊ฒ ๋ ๊ฐ์ง๋ก ๋๋์ด:
1๏ธโฃ ๋ณต์ ๊ตฌ์กฐ์ ๋ณํ
๋ณต์ ๊ตฌ์กฐ ์์ฒด๋ฅผ ๋ฐ๊พธ๋ ๊ฑฐ์ผ. ์ด๊ฑด ์ฝ๋ค์ด๋ผ-์คํ์ ์ด๋ก (Kodaira-Spencer Theory)์ผ๋ก ์ฐ๊ตฌ๋ผ. ๋ณต์ ๊ตฌ์กฐ์ ๋ฌดํ์ ๋ณํ์ Hยน(M, T^{1,0})์ผ๋ก ๋ถ๋ฅ๋๋๋ฐ, ์ฌ๊ธฐ์ T^{1,0}๋ ์ ์น ์ ๋ค๋ฐ์ด์ผ.
2๏ธโฃ ์ผ์ผ๋ฌ ๊ตฌ์กฐ์ ๋ณํ
๋ณต์ ๊ตฌ์กฐ๋ ๊ณ ์ ํ๊ณ ์ผ์ผ๋ฌ ๊ณ๋๋ง ๋ฐ๊พธ๋ ๊ฑฐ์ผ. ์ผ์ผ๋ฌ ํด๋์ค(Kรคhler class)์ ๋ณํ์ H^{1,1}(M, โ)์ผ๋ก ๋ถ๋ฅ๋ผ.
์๋ฅผ ๋ค์ด, ์นผ๋ผ๋น-์ผ์ฐ 3-ํด๋์ ๋ชจ๋๋ผ์ด ๊ณต๊ฐ์ ๋ ์ด๋ก ์์ ๋ฌผ๋ฆฌ ์์๋ค์ ๊ณต๊ฐ์ผ๋ก ํด์๋ผ. ์ด ๊ณต๊ฐ์ ๊ธฐํํ์ด ๋ฌผ๋ฆฌ ๋ฒ์น์ ๊ฒฐ์ ํ๋ ๊ฑฐ์ง!
๋ณํ ์ด๋ก ์์ ์ค์ํ ๊ฐ๋
์ด ๋ฏธ๋ฌ ๋์นญ(Mirror Symmetry)์ด์ผ. ์ด๊ฑด ๋ ๊ฐ์ ์๋ก ๋ค๋ฅธ ์นผ๋ผ๋น-์ผ์ฐ ๋ค์์ฒด๊ฐ ๋ฌผ๋ฆฌ์ ์ผ๋ก ๊ฐ์ ๋ ์ด๋ก ์ ์ค๋ค๋ ๋๋ผ์ด ํ์์ด์ผ. ํ ๋ค์์ฒด์ ๋ณต์ ๊ตฌ์กฐ ๋ณํ์ด ๋ค๋ฅธ ๋ค์์ฒด์ ์ผ์ผ๋ฌ ๊ตฌ์กฐ ๋ณํ๊ณผ ๋์๋๋ ๊ฑฐ์ง! ๐ช
๋ฏธ๋ฌ ๋์นญ์ ์ํ์๋ค์๊ฒ๋ ์์ฒญ๋ ์ํฅ์ ๋ฏธ์ณค์ด. ๋ฌผ๋ฆฌํ์๋ค์ด ๋ฏธ๋ฌ ๋์นญ์ ์ด์ฉํด ์์ธกํ ์ํ์ ๊ฒฐ๊ณผ๋ค์ด ๋์ค์ ์ํ์ ์ผ๋ก ์ฆ๋ช
๋๋ ์ผ์ด ๋ง์๊ฑฐ๋ . ์ํ๊ณผ ๋ฌผ๋ฆฌํ์ ์๋ฆ๋ค์ด ์ํธ์์ฉ์ด์ผ! ์ฌ๋ฅ๋ท ๊ฐ์ ํ๋ซํผ์์ ์ด๋ฐ ํ์ ๊ฐ ์ง์์ ๊ณต์ ํ ์ ์๋ค๋ฉด ์ ๋ง ๋ฉ์ง ๊ฒ ๊ฐ์. ๐
๐ช ํน์ํ ์ผ์ผ๋ฌ ๋ค์์ฒด๋ค
์ผ์ผ๋ฌ ๋ค์์ฒด ์ค์์๋ ํน๋ณํ ์ฑ์ง์ ๊ฐ์ง ๊ฒ๋ค์ด ์์ด. ๋ช ๊ฐ์ง ์ค์ํ ์์๋ค์ ์ดํด๋ณด์! ๐
๐ท ํ์ดํผ์ผ์ผ๋ฌ ๋ค์์ฒด(Hyperkรคhler Manifold)
ํ์ดํผ์ผ์ผ๋ฌ ๋ค์์ฒด๋ ์ธ ๊ฐ์ ๋ณต์ ๊ตฌ์กฐ I, J, K๋ฅผ ๊ฐ์ง๊ณ ์์ด์, ์ฌ์์(quaternion)์ ๊ด๊ณ์์ ๋ง์กฑํด:
์ด ์ธ ๋ณต์ ๊ตฌ์กฐ ๊ฐ๊ฐ์ ๋ํด ์ผ์ผ๋ฌ ๊ตฌ์กฐ๋ฅผ ๊ฐ์ง๊ณ ์์ด. ํ์ดํผ์ผ์ผ๋ฌ ๋ค์์ฒด๋ ์๋์ผ๋ก ๋ฆฌ์น ํํ์ด์ผ! K3 ๊ณก๋ฉด์ด ๋ํ์ ์ธ ์์์ง. ๐จ
๐ถ ํธ์ง ๋ค์์ฒด(Hodge Manifold)
์ผ์ผ๋ฌ ํ์ ฯ์ ์ฝํธ๋ชฐ๋ก์ง ํด๋์ค๊ฐ ์ ์ ๊ณ์ ์ฝํธ๋ชฐ๋ก์ง์ ์ํ๋ ์ผ์ผ๋ฌ ๋ค์์ฒด๋ฅผ ํธ์ง ๋ค์์ฒด๋ผ๊ณ ํด. ์ด๋ฐ ๋ค์์ฒด๋ ๋ณต์ ์ฌ์๊ณต๊ฐ์ ๋งค์ฅ๋ ์ ์์ด. ์ด์ฐ์ ์ ๋ฆฌ(Chow's Theorem)๊ฐ ์ด๊ฑธ ๋ณด์ฅํ์ง!
๐ธ ํ ๋ฆญ ๋ค์์ฒด(Toric Variety)
ํ ๋ฆญ ๋ค์์ฒด๋ ๋ณต์ ํ ๋ฌ์ค (โ*)โฟ์ ์์ฉ์ ๊ฐ์ง ๋ค์์ฒด์ผ. ์ด๋ฐ ๋ค์์ฒด๋ค์ ์กฐํฉ๋ก ์ ๋ฐ์ดํฐ(ํฌ, fan)๋ก ์์ ํ ๊ธฐ์ ๋ ์ ์์ด. ์ผ์ผ๋ฌ ๊ธฐํํ๊ณผ ์กฐํฉ๋ก ์ด ๋ง๋๋ ์๋ฆ๋ค์ด ์์์ง! ๐
๐งฎ ์ผ์ผ๋ฌ ๊ธฐํํ์ ํ๋์ ๋ฐ์
์ผ์ผ๋ฌ ๊ธฐํํ์ ์ง๊ธ๋ ํ๋ฐํ ์ฐ๊ตฌ๋๊ณ ์๋ ๋ถ์ผ์ผ. ์ต๊ทผ์ ์ค์ํ ๋ฐ์ ๋ค์ ์๊ฐํ ๊ฒ! ๐
๐ ์ผ์ผ๋ฌ-๋ฆฌ์น ํ๋ฆ(Kรคhler-Ricci Flow)
๋ฆฌ์น ํ๋ฆ์ ๊ณ๋์ ์๊ฐ์ ๋ฐ๋ผ ์งํ์ํค๋ ๊ธฐํํ์ ํ๋ฆ์ด์ผ:
์ผ์ผ๋ฌ ๋ค์์ฒด์์ ์ด ํ๋ฆ์ ์ผ์ผ๋ฌ ๊ตฌ์กฐ๋ฅผ ๋ณด์กดํด. ์ผ์ผ๋ฌ-๋ฆฌ์น ํ๋ฆ์ ์ผ์ผ๋ฌ-์์ธ์ํ์ธ ๊ณ๋์ ์กด์ฌ์ฑ์ ์ฐ๊ตฌํ๋ ๊ฐ๋ ฅํ ๋๊ตฌ์ผ. ํ๋ ๋ง(Perelman)์ด ํธ์ต์นด๋ ์ถ์ธก์ ์ฆ๋ช ํ ๋ ์ฌ์ฉํ ๋ฆฌ์น ํ๋ฆ์ ์ผ์ผ๋ฌ ๋ฒ์ ์ด์ง! ๐
โก ์ต์คํธ๋ฆฌ๋ฉ ์ผ์ผ๋ฌ ๊ณ๋(Extremal Kรคhler Metric)
์นผ๋ผ๋น๊ฐ ์ ์ํ ๊ฐ๋ ์ผ๋ก, ์นผ๋ผ๋น ํจ์(Calabi Functional)๋ฅผ ์ต์ํํ๋ ์ผ์ผ๋ฌ ๊ณ๋์ด์ผ. ์ผ์ผ๋ฌ-์์ธ์ํ์ธ ๊ณ๋๋ณด๋ค ์ผ๋ฐ์ ์ธ ๊ฐ๋ ์ด์ง. ์ค์นผ๋ผ ๊ณก๋ฅ ์ ๊ทธ๋๋์ธํธ๊ฐ ์ ์น ๋ฒกํฐ์ฅ์ด ๋๋ ํน์ง์ ๊ฐ์ ธ:
์ฌ๊ธฐ์ S๋ ์ค์นผ๋ผ ๊ณก๋ฅ ์ด์ผ. ์ด๋ฐ ๊ณ๋์ ์กด์ฌ์ฑ๊ณผ ์ ์ผ์ฑ์ ์ฌ์ ํ ํ๋ฐํ ์ฐ๊ตฌ ์ฃผ์ ์ผ! ๐ฌ
๐ K-์์ ์ฑ(K-stability)
์ผ์ผ๋ฌ-์์ธ์ํ์ธ ๊ณ๋์ ์กด์ฌ์ฑ์ ๋์๊ธฐํํ์ ์ผ๋ก ํน์ง์ง๋ ๊ฐ๋ ์ด์ผ. ํฐ์(Tian), ๋๋ ๋์จ(Donaldson), ์ฒ์ค์ค์(Chen) ๋ฑ์ ์ฐ๊ตฌ๋ก ๋ฐ์ ํ์ด. K-์์ ์ฑ์ ๊ธฐํํ์ ๋ถ๋ณ๋ ์ด๋ก (Geometric Invariant Theory)๊ณผ ๊น์ ์ฐ๊ฒฐ์ ๊ฐ์ง๊ณ ์์ง! ๐ซ
๐ ์ผ์ผ๋ฌ ๊ธฐํํ ๊ณต๋ถํ๊ธฐ
์ด๋ ๊ฒ ์ด๋ ค์ด ์ํ์ ์ด๋ป๊ฒ ๊ณต๋ถํ ์ ์์๊น? ๋ช ๊ฐ์ง ์กฐ์ธ์ ํด์ค๊ฒ! ๐
1๏ธโฃ ๊ธฐ์ด๋ฅผ ํํํ
์ผ์ผ๋ฌ ๊ธฐํํ์ ์ดํดํ๋ ค๋ฉด ๋ค์ ๋ถ์ผ๋ค์ ๊ธฐ์ด๊ฐ ํ์ํด:
โข ๋ค๋ณ์ ๋ณต์ํด์ํ
โข ๋ฏธ๋ถ๊ธฐํํ (๋ฆฌ๋ง ๊ธฐํํ)
โข ๋์์์์ํ
โข ํธ๋ฏธ๋ถ๋ฐฉ์ ์
2๏ธโฃ ๊ตฌ์ฒด์ ์ธ ์์๋ถํฐ
๋ณต์ ์ฌ์๊ณต๊ฐ, ๋ณต์ ํ ๋ฌ์ค ๊ฐ์ ๊ฐ๋จํ ์์๋ค์ ์ง์ ๊ณ์ฐํด๋ณด๋ ๊ฒ ์ค์ํด. ์ถ์์ ์ธ ์ด๋ก ๋ง ๋ณด๋ฉด ๊ฐ์ด ์ ์กํ๊ฑฐ๋ ! ๐ฏ
3๏ธโฃ ๋ฌผ๋ฆฌํ๊ณผ์ ์ฐ๊ฒฐ
๋ ์ด๋ก ์ด๋ ์์์ฅ๋ก ๊ณผ์ ์ฐ๊ฒฐ์ ๊ณต๋ถํ๋ฉด ๋๊ธฐ๋ถ์ฌ๊ฐ ๋ผ. ์์ ์ํ๋ง ๋ณด๋ฉด ์ง๋ฃจํ ์ ์๋๋ฐ, ๋ฌผ๋ฆฌํ์ ์์ฉ์ ๋ณด๋ฉด ํฅ๋ฏธ๋ก์์ง์ง! ๐
4๏ธโฃ ์ธ๋ฏธ๋์ ํ ๋ก
ํผ์ ๊ณต๋ถํ๊ธฐ ์ด๋ ค์ด ๋ถ์ผ์ผ. ์คํฐ๋ ๊ทธ๋ฃน์ด๋ ์ธ๋ฏธ๋์ ์ฐธ์ฌํ๋ ๊ฒ ์ข์. ์ฌ๋ฅ๋ท ๊ฐ์ ํ๋ซํผ์์ ํจ๊ป ๊ณต๋ถํ ์ฌ๋๋ค์ ์ฐพ๋ ๊ฒ๋ ์ข์ ๋ฐฉ๋ฒ์ด์ผ! ๐ฅ
โข 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
์ง์์ธ์ ์ฒ - ์ง์ ์ฌ์ฐ๊ถ ๋ณดํธ ๊ณ ์ง
์ง์ ์ฌ์ฐ๊ถ ๋ณดํธ ๊ณ ์ง
- ์ ์๊ถ ๋ฐ ์์ ๊ถ: ๋ณธ ์ปจํ ์ธ ๋ ์ฌ๋ฅ๋ท์ ๋ ์ AI ๊ธฐ์ ๋ก ์์ฑ๋์์ผ๋ฉฐ, ๋ํ๋ฏผ๊ตญ ์ ์๊ถ๋ฒ ๋ฐ ๊ตญ์ ์ ์๊ถ ํ์ฝ์ ์ํด ๋ณดํธ๋ฉ๋๋ค.
- AI ์์ฑ ์ปจํ ์ธ ์ ๋ฒ์ ์ง์: ๋ณธ AI ์์ฑ ์ปจํ ์ธ ๋ ์ฌ๋ฅ๋ท์ ์ง์ ์ฐฝ์๋ฌผ๋ก ์ธ์ ๋๋ฉฐ, ๊ด๋ จ ๋ฒ๊ท์ ๋ฐ๋ผ ์ ์๊ถ ๋ณดํธ๋ฅผ ๋ฐ์ต๋๋ค.
- ์ฌ์ฉ ์ ํ: ์ฌ๋ฅ๋ท์ ๋ช ์์ ์๋ฉด ๋์ ์์ด ๋ณธ ์ปจํ ์ธ ๋ฅผ ๋ณต์ , ์์ , ๋ฐฐํฌ, ๋๋ ์์ ์ ์ผ๋ก ํ์ฉํ๋ ํ์๋ ์๊ฒฉํ ๊ธ์ง๋ฉ๋๋ค.
- ๋ฐ์ดํฐ ์์ง ๊ธ์ง: ๋ณธ ์ปจํ ์ธ ์ ๋ํ ๋ฌด๋จ ์คํฌ๋ํ, ํฌ๋กค๋ง, ๋ฐ ์๋ํ๋ ๋ฐ์ดํฐ ์์ง์ ๋ฒ์ ์ ์ฌ์ ๋์์ด ๋ฉ๋๋ค.
- AI ํ์ต ์ ํ: ์ฌ๋ฅ๋ท์ AI ์์ฑ ์ปจํ ์ธ ๋ฅผ ํ AI ๋ชจ๋ธ ํ์ต์ ๋ฌด๋จ ์ฌ์ฉํ๋ ํ์๋ ๊ธ์ง๋๋ฉฐ, ์ด๋ ์ง์ ์ฌ์ฐ๊ถ ์นจํด๋ก ๊ฐ์ฃผ๋ฉ๋๋ค.
์์ง ๋๊ธ์ด ์์ต๋๋ค.