Ver2.0 ๐งฎ ๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๊ตฌ์กฐ์ ์ฑ์ง ๐งฉ

๐งฎ ๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๊ตฌ์กฐ์ ์ฑ์ง ๐งฉ
์ํ์ ์ ๋น๋ก์ด ์ธ๊ณ๋ก ํจ๊ป ๋ ๋๋ ์ฌํ
์๋ , ์ํ ํํ๊ฐ! ์ค๋์ ์ํ์ ๊น์ ์ฒ์์ผ๋ก ๋ค์ด๊ฐ ๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ด๋ผ๋ ์ ๋น๋ก์ด ์กด์ฌ์ ๋ํด ์์๋ณผ ๊ฑฐ์ผ. ์ด๋ ต๊ฒ ๋ค๋ฆด ์ ์์ง๋ง, ์น๊ตฌ์ฒ๋ผ ์ฝ๊ฒ ์ค๋ช ํด ์ค๊ฒ. ์ด ์ฌ์ ์ ํตํด ๋์๊ธฐํํ์ ์๋ฆ๋ค์์ ํจ๊ป ๋ฐ๊ฒฌํด๋ณด์! ๐
๐ ๋ชฉ์ฐจ
- ๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ด๋ ๋ฌด์์ธ๊ฐ?
- ํฌ๋ ๋ชจ๋ ๋ณํ์ ๊ธฐ์ด
- ๋น๊ฐํ์ฑ์ ์๋ฏธ์ ์ค์์ฑ
- ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๊ตฌ์กฐ ํํ
- ๋ํ์ ์ธ ์์์ ์์ฉ
- ๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ํน๋ณํ ์ฑ์ง
- ํ๋ ์ํ์์์ ์์น์ ์ฐ๊ตฌ ๋ํฅ
- ์ฌ๋ฏธ์๋ ๋ฌธ์ ์ ํจ๊ปํ๋ ์ค์ต
- ๋ง๋ฌด๋ฆฌ ๋ฐ ๋ ์์๋ณผ ๋ด์ฉ
1. ๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ด๋ ๋ฌด์์ธ๊ฐ? ๐ค
๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ด๋ผ... ์ด๋ฆ๋ถํฐ ์ข ์ด๋ ต๊ฒ ๋๊ปด์ง์ง? ํ์ง๋ง ์ฒ์ฒํ ํ์ด๋ณด๋ฉด ๊ทธ๋ ๊ฒ ๋ฌด์์ด ๊ฐ๋ ์ ์๋์ผ. ๋จผ์ 'ํฌ๋ ๋ชจ๋ ๊ตฐ'์ด๋ผ๋ ์ฉ์ด๋ถํฐ ์์๋ณด์.
๐ ํฌ๋ ๋ชจ๋ ๊ตฐ(Cremona Group)์ ์ ์
ํฌ๋ ๋ชจ๋ ๊ตฐ์ n์ฐจ์ ์ฌ์๊ณต๊ฐ P^n์ ์ ๋ฆฌ์ ์๊ธฐ๋ํ์ฌ์๋ค์ ์งํฉ์ด์ผ. ์ฝ๊ฒ ๋งํ๋ฉด, n์ฐจ์ ๊ณต๊ฐ์์ ์ ๋ค์ ์ ๋ฆฌํจ์๋ฅผ ํตํด ๋ค๋ฅธ ์ ์ผ๋ก ๋ณํ์ํค๋ ๋ชจ๋ ๋ฐฉ๋ฒ๋ค์ ๋ชจ์์ด์ง.
์... ์ฌ์ ํ ์ด๋ ต๊ฒ ๋๊ปด์ง๋ค๋ฉด, 2์ฐจ์ ํ๋ฉด์ ์๋ก ๋ค์ด๋ณผ๊ฒ. ํ๋ฉด ์์ ์ (x, y)๋ฅผ ๋ค๋ฅธ ์ (f(x,y), g(x,y))๋ก ๋ณด๋ด๋ ๋ณํ์ ์๊ฐํด๋ด. ์ฌ๊ธฐ์ f์ g๋ ์ ๋ฆฌํจ์, ์ฆ ๋คํญ์์ ๋น(ๆฏ)๋ก ํํ๋๋ ํจ์์ผ. ์ด๋ฐ ๋ณํ๋ค์ ๋ชจ์๋์ ์งํฉ์ด ๋ฐ๋ก 2์ฐจ์ ํฌ๋ ๋ชจ๋ ๊ตฐ์ด์ผ.
๊ทธ๋ผ '๋น๊ฐํ'์ด๋ผ๋ ๊ฑด ๋ญ๊น? ์ํ์์ '๊ฐํ'์ด๋ ์ฐ์ฐ์ ์์๊ฐ ๊ฒฐ๊ณผ์ ์ํฅ์ ์ฃผ์ง ์๋ ์ฑ์ง์ ๋งํด. ์๋ฅผ ๋ค์ด, ๋ง์ ์ ๊ฐํ ์ฐ์ฐ์ด์ผ. 2+3=3+2 ๋๊น. ํ์ง๋ง ๋บ์ ์ ๋น๊ฐํ์ด์ง. 2-3โ 3-2 ์์.
๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๊ทธ ์ฐ์ฐ(์ฌ๊ธฐ์๋ ํจ์์ ํฉ์ฑ)์ด ์์์ ๋ฐ๋ผ ๋ค๋ฅธ ๊ฒฐ๊ณผ๋ฅผ ๋ด๋ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๋งํด. ์ด๊ฒ ์ ์ค์ํ๋๋ฉด, ์ด ๋น๊ฐํ์ฑ์ด ๋ณต์กํ ๊ธฐํํ์ ๊ตฌ์กฐ๋ฅผ ๋ง๋ค์ด๋ด๊ณ , ๊ทธ ์์์ ํฅ๋ฏธ๋ก์ด ์ํ์ ํจํด๊ณผ ์ฑ์ง๋ค์ด ๋ฐ๊ฒฌ๋๊ธฐ ๋๋ฌธ์ด์ผ! ๐ฎ
์ฌ๋ฅ๋ท์์ ์ํ ํํฐ๋ง์ ์ฐพ์๋ณธ ์ ์์ด? ์ด๋ฐ ๊ณ ๊ธ ์ํ ์ฃผ์ ๋ ํผ์ ๊ณต๋ถํ๊ธฐ ์ด๋ ค์ธ ์ ์์ง๋ง, ์ ๋ฌธ๊ฐ์ ๋์์ ๋ฐ์ผ๋ฉด ํจ์ฌ ์ฝ๊ฒ ์ดํดํ ์ ์์ด. ํนํ ๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ ๊ฐ์ ์ถ์์ ์ธ ๊ฐ๋ ์ ์๊ฐ์ ์ค๋ช ๊ณผ ํจ๊ปํ ๋ ๋ ์ ์๋ฟ์ง! ๐
2. ํฌ๋ ๋ชจ๋ ๋ณํ์ ๊ธฐ์ด ๐
์, ์ด์ ํฌ๋ ๋ชจ๋ ๋ณํ์ ๋ํด ์ข ๋ ์์ธํ ์์๋ณด์. ํฌ๋ ๋ชจ๋ ๋ณํ์ ์ดํ๋ฆฌ์ ์ํ์ ๋ฃจ์ด์ง ํฌ๋ ๋ชจ๋(Luigi Cremona)์ ์ด๋ฆ์ ๋ฐ์ ๋ช ๋ช ๋์์ด. 19์ธ๊ธฐ ๋์๊ธฐํํ์ ๋ฐ์ ์ ํฐ ๊ธฐ์ฌ๋ฅผ ํ ์ธ๋ฌผ์ด์ง.
๐ ๊ฐ๋จํ ํฌ๋ ๋ชจ๋ ๋ณํ ์์
๊ฐ์ฅ ๊ธฐ๋ณธ์ ์ธ ํฌ๋ ๋ชจ๋ ๋ณํ ์ค ํ๋๋ ํ์ค 2์ฐจ์ ์ฌ์ํ๋ฉด Pยฒ์์์ ํ์ค ์ ๊ณฑ ๋ณํ์ด์ผ:
[x : y : z] โฆ [xยฒ : yยฒ : zยฒ]
์ฌ๊ธฐ์ [x : y : z]๋ ์ฌ์์ขํ๋ฅผ ๋ํ๋ด. ์ด ๋ณํ์ ๋จ์ํด ๋ณด์ด์ง๋ง, ์ฌ์ํ๋ฉด์ ๊ตฌ์กฐ์ ํฅ๋ฏธ๋ก์ด ์ํฅ์ ๋ฏธ์น์ง.
ํฌ๋ ๋ชจ๋ ๋ณํ์ ํต์ฌ์ ์ ๋ฆฌ์ (rational) ์ฑ์ง์ด์ผ. ์ ๋ฆฌ์ ์ด๋ผ๋ ๊ฑด ๋ณํ์ ์ ์ํ๋ ํจ์๋ค์ด ๋คํญ์๋ค์ ๋น(ๆฏ)๋ก ํํ๋๋ค๋ ๋ป์ด์ผ. ์๋ฅผ ๋ค์ด, ํ๋ฉด์์์ ํฌ๋ ๋ชจ๋ ๋ณํ์ ๋ค์๊ณผ ๊ฐ์ ํํ๋ฅผ ๊ฐ์ ธ:
(x, y) โฆ (P(x,y)/R(x,y), Q(x,y)/S(x,y))
์ฌ๊ธฐ์ P, Q, R, S๋ x์ y์ ๋คํญ์์ด์ผ.
์ด๋ฐ ๋ณํ์ ์ค์ํ ํน์ง์ ์์ ๋ฆฌ์ (birational)์ด๋ผ๋ ์ ์ด์ผ. ์ฆ, ๋ณํ๊ณผ ๊ทธ ์ญ๋ณํ ๋ชจ๋ ์ ๋ฆฌ์ ์ด๋ผ๋ ๊ฑฐ์ง. ์ด๋ ๋ณํ์ด (๊ฑฐ์ ๋ชจ๋ ์ ์์) ์ผ๋์ผ ๋์์ด ๋๋ฉฐ, ์ญ๋ณํ๋ ์ ๋ฆฌํจ์๋ก ํํ๋๋ค๋ ์๋ฏธ์ผ.
ํฌ๋ ๋ชจ๋ ๋ณํ์ ์ดํดํ๋ ๋ฐ ์์ด ์ค์ํ ๊ฐ๋ ์ค ํ๋๋ ๊ธฐ๋ณธ์ (base points)์ด์ผ. ๊ธฐ๋ณธ์ ์ ๋ณํ์ด ์ ์๋์ง ์๋ ์ ๋ค์ด์ง. ์๋ฅผ ๋ค์ด, ๋ค์๊ณผ ๊ฐ์ ๊ฐ๋จํ ๋ณํ์ ์๊ฐํด๋ณด์:
(x, y) โฆ (1/x, 1/y)
์ด ๋ณํ์ ์์ (0,0)์์ ์ ์๋์ง ์์. ์๋ํ๋ฉด 0์ผ๋ก ๋๋๋ ๊ฒ์ ์ ์๋์ง ์๊ธฐ ๋๋ฌธ์ด์ง. ์ด๋ฐ ์ ๋ค์ด ๋ฐ๋ก ๊ธฐ๋ณธ์ ์ด์ผ.
ํฌ๋ ๋ชจ๋ ๋ณํ์ ๋ ๋ค๋ฅธ ์ค์ํ ํน์ฑ์ ์ฐจ์(degree)์ผ. ๋ณํ์ ์ฐจ์๋ ๋ณํ์ ์ ์ํ๋ ๋คํญ์๋ค์ ์ต๋ ์ฐจ์๋ก ์ ์๋ผ. ์ฐจ์๊ฐ ๋์์๋ก ๋ณํ์ ๋ ๋ณต์กํ ๊ธฐํํ์ ํจ๊ณผ๋ฅผ ๊ฐ์ ธ์ค์ง.
๐ ์ฐธ๊ณ ์ฌํญ
ํฌ๋ ๋ชจ๋ ๋ณํ์ ๋์๊ธฐํํ, ํนํ ์์ ๋ฆฌ์ ๊ธฐํํ์์ ํต์ฌ์ ์ธ ์ญํ ์ ํด. ์ด๋ฐ ๋ณํ๋ค์ ์งํฉ์ด ๊ตฐ์ ์ด๋ฃจ๋๋ฐ, ์ด๊ฒ์ด ๋ฐ๋ก ์ฐ๋ฆฌ๊ฐ ๊ณต๋ถํ๊ณ ์๋ ํฌ๋ ๋ชจ๋ ๊ตฐ์ด์ผ!
์ฌ๋ฅ๋ท์์๋ ์ด๋ฐ ๊ณ ๊ธ ์ํ ๊ฐ๋ ์ ์๊ฐ์ ์ผ๋ก ์ค๋ช ํด์ฃผ๋ ํํฐ๋ค์ ๋ง๋ ์ ์์ด. ์ถ์์ ์ธ ๊ฐ๋ ๋ ์ ์ ํ ์๊ฐํ์ ์์๋ฅผ ํตํด ์ดํดํ๊ธฐ ์ฌ์์ง์ง! ๐
3. ๋น๊ฐํ์ฑ์ ์๋ฏธ์ ์ค์์ฑ ๐
์ด์ '๋น๊ฐํ์ฑ'์ด๋ผ๋ ๊ฐ๋ ์ ๋ํด ๋ ๊น์ด ๋ค์ด๊ฐ ๋ณผ๊ฒ. ๋น๊ฐํ์ฑ์ ๋จ์ํ "์์๊ฐ ์ค์ํ๋ค"๋ ๊ฒ ์ด์์ ์๋ฏธ๋ฅผ ๊ฐ์ง๊ณ ์์ด.
๐งฉ ๋น๊ฐํ์ฑ(Non-commutativity)์ ์ ์
์ํ์ ์ผ๋ก, ์ฐ์ฐ *์ ๋ํด a * b โ b * a์ผ ๋ ์ด ์ฐ์ฐ์ ๋น๊ฐํ์ ์ด๋ผ๊ณ ํด. ํฌ๋ ๋ชจ๋ ๊ตฐ์์๋ ๋ ๋ณํ์ ํฉ์ฑ ์์๊ฐ ๊ฒฐ๊ณผ์ ์ํฅ์ ๋ฏธ์น๋ค๋ ์๋ฏธ์ผ.
์ผ์์ํ์์ ๋น๊ฐํ ์ฐ์ฐ์ ์๋ฅผ ๋ค์ด๋ณผ๊น? ์๋ง์ ์ ๊ณ ์ ๋ฐ์ ์ ๋ ๊ฒ๊ณผ, ์ ๋ฐ์ ์ ๊ณ ์๋ง์ ์ ๋ ๊ฒ์ ์์ ํ ๋ค๋ฅธ ๊ฒฐ๊ณผ๋ฅผ ๊ฐ์ ธ์ค์ง! ์ด์ฒ๋ผ ์์๊ฐ ๊ฒฐ๊ณผ์ ์ํฅ์ ๋ฏธ์น๋ ์ํฉ์ด ๋น๊ฐํ์ ์ด์ผ. ๐
ํฌ๋ ๋ชจ๋ ๊ตฐ์์์ ๋น๊ฐํ์ฑ์ ๊ธฐํํ์ ๋ณํ์ ๋ณต์ก์ฑ์ ๋ณด์ฌ์ค. ๋ ๋ณํ ฯ์ ฯ๊ฐ ์์ ๋, ฯโฯ(๋จผ์ ฯ๋ฅผ ์ ์ฉํ๊ณ ๊ทธ ๋ค์ ฯ๋ฅผ ์ ์ฉ)์ ฯโฯ(๋จผ์ ฯ๋ฅผ ์ ์ฉํ๊ณ ๊ทธ ๋ค์ ฯ๋ฅผ ์ ์ฉ)๋ ์ผ๋ฐ์ ์ผ๋ก ๋ค๋ฅธ ๊ฒฐ๊ณผ๋ฅผ ๊ฐ์ ธ์.
๐ข ๊ฐ๋จํ ์์๋ก ๋น๊ฐํ์ฑ ์ดํดํ๊ธฐ
๋ค์ ๋ ํฌ๋ ๋ชจ๋ ๋ณํ์ ์๊ฐํด๋ณด์:
ฯ: (x, y) โฆ (1/x, y/x)
ฯ: (x, y) โฆ (x, 1/y)
์ด์ ๋ ๋ณํ์ ํฉ์ฑ์ ๊ณ์ฐํด๋ณด๋ฉด:
ฯโฯ: (x, y) โฆ ฯ(x, y) โฆ ฯ(x, 1/y) = (1/x, (1/y)/x) = (1/x, 1/(xy))
ฯโฯ: (x, y) โฆ ฯ(x, y) โฆ ฯ(1/x, y/x) = (1/x, 1/(y/x)) = (1/x, x/y)
๊ฒฐ๊ณผ๊ฐ ๋ค๋ฅด์ง? ฯโฯ โ ฯโฯ ์ด๋ฏ๋ก, ์ด ๋ ๋ณํ์ ๋น๊ฐํ์ ์ด์ผ.
๋น๊ฐํ์ฑ์ด ์ค์ํ ์ด์ ๋ ๋ฌด์์ผ๊น? ๊ทธ๊ฒ์ ๋ ํ๋ถํ ์ํ์ ๊ตฌ์กฐ๋ฅผ ๋ง๋ค์ด๋ด๊ธฐ ๋๋ฌธ์ด์ผ. ๊ฐํ ๊ตฌ์กฐ๋ณด๋ค ๋น๊ฐํ ๊ตฌ์กฐ๊ฐ ๋ ๋ณต์กํ๊ณ , ๋ฐ๋ผ์ ๋ ๋ค์ํ ์ํ์ ํ์์ ์ค๋ช ํ ์ ์์ด.
๋ฌผ๋ฆฌํ์์๋ ๋น๊ฐํ์ฑ์ ์ค์ํ ์ญํ ์ ํด. ์๋ฅผ ๋ค์ด, ์์์ญํ์์ ์์น ์ฐ์ฐ์์ ์ด๋๋ ์ฐ์ฐ์๋ ๋น๊ฐํ์ ์ด์ผ. ์ด๊ฒ์ด ํ์ด์ ๋ฒ ๋ฅดํฌ์ ๋ถํ์ ์ฑ ์๋ฆฌ์ ์ํ์ ๊ธฐ์ด๊ฐ ๋์ง.
๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์์๋ ๋ ๋ณํ์ ํฉ์ฑ ์์์ ๋ฐ๋ผ ๊ธฐํํ์ ์ผ๋ก ์์ ํ ๋ค๋ฅธ ๊ฒฐ๊ณผ๊ฐ ๋ํ๋. ์ด๋ฐ ๋น๊ฐํ์ฑ์ด ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๊ตฌ์กฐ๋ฅผ ๋์ฑ ํ๋ถํ๊ณ ๋ณต์กํ๊ฒ ๋ง๋ค์ด์ฃผ๋ ๊ฑฐ์ผ.
๐ ๋น๊ฐํ์ฑ์ ์์ฉ
๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๊ตฌ์กฐ๋ ๋์๊ธฐํํ ๋ฟ๋ง ์๋๋ผ ๋ค์๊ณผ ๊ฐ์ ๋ถ์ผ์๋ ์์ฉ๋ผ:
- ์ํธํ: ๋น๊ฐํ ๊ตฌ์กฐ๋ฅผ ์ด์ฉํ ์๋ก์ด ์ํธํ ๋ฐฉ์
- ์์ ์ปดํจํ : ๋น๊ฐํ ์ฐ์ฐ์ ๊ธฐ๋ฐ์ผ๋ก ํ ์๊ณ ๋ฆฌ์ฆ
- ์ญํ๊ณ: ๋น๊ฐํ ๋ณํ์ผ๋ก ์ธํ ์นด์ค์ค ํ์ ์ฐ๊ตฌ
- ๋ฏธ๋ถ๊ธฐํํ: ๋น๊ฐํ ๊ณต๊ฐ์ ๊ณก๋ฅ ์ฐ๊ตฌ
๋น๊ฐํ์ฑ์ ์ดํดํ๋ ๊ฒ์ ํ๋ ์ํ์ ๋ง์ ๋ถ์ผ๋ฅผ ์ดํดํ๋ ๋ฐ ํต์ฌ์ด์ผ. ์์๊ฐ ์ค์ํ๋ค๋ ๋จ์ํ ๊ฐ๋ ์ด ์ผ๋ง๋ ๊น๊ณ ํ๋ถํ ์ํ์ ๊ตฌ์กฐ๋ฅผ ๋ง๋ค์ด๋ด๋์ง ์ ๋ง ๋๋ผ์! ๐
4. ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๊ตฌ์กฐ ํํ ๐บ๏ธ
์ด์ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๊ตฌ์กฐ์ ๋ํด ๋ ๊น์ด ๋ค์ด๊ฐ ๋ณผ๊ฒ. ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๋จ์ํ ์งํฉ์ด ์๋๋ผ ํ๋ถํ ๋์์ , ๊ธฐํํ์ ๊ตฌ์กฐ๋ฅผ ๊ฐ์ง ์ํ์ ๊ฐ์ฒด์ผ.
๐๏ธ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๊ธฐ๋ณธ ๊ตฌ์กฐ
n์ฐจ์ ํฌ๋ ๋ชจ๋ ๊ตฐ Cr(n)์ ๋ค์๊ณผ ๊ฐ์ ํน์ฑ์ ๊ฐ์ ธ:
- ๋ฌดํ ์ฐจ์ ๊ตฐ์ด๋ค (n โฅ 2์ผ ๋)
- ๋น๊ฐํ์ ์ด๋ค (n โฅ 2์ผ ๋)
- ์ฌ์์ ํ๊ตฐ PGL(n+1)์ ๋ถ๋ถ๊ตฐ์ผ๋ก ํฌํจํ๋ค
- ๋จ์๊ตฐ์ด ์๋๋ค (์ฆ, ์๋ช ํ์ง ์์ ์ ๊ท ๋ถ๋ถ๊ตฐ์ ๊ฐ์ง๋ค)
ํฌ๋ ๋ชจ๋ ๊ตฐ Cr(n)์ ๊ฐ์ฅ ๊ธฐ๋ณธ์ ์ธ ๋ถ๋ถ๊ตฐ์ ์ฌ์์ ํ๊ตฐ PGL(n+1)์ด์ผ. ์ด ๋ถ๋ถ๊ตฐ์ ์ฌ์๊ณต๊ฐ์ ์ ํ ์๊ธฐ๋ํ์ฌ์๋ค๋ก ๊ตฌ์ฑ๋์ด ์์ด. ์ฝ๊ฒ ๋งํ๋ฉด, ์ ํ ๋ณํ๋ง์ ๊ณ ๋ คํ ๋ถ๋ถ์งํฉ์ด์ง.
๋ ๋ค๋ฅธ ์ค์ํ ๋ถ๋ถ๊ตฐ์ ์ ๋ฆฌ ๋จํญ์ ๊ตฐ(rational monomial group)์ด์ผ. ์ด ๋ถ๋ถ๊ตฐ์ ์ขํ๋ค์ ๋จํญ์ ๋ณํ์ผ๋ก ๊ตฌ์ฑ๋์ด ์์ด. ์๋ฅผ ๋ค๋ฉด:
(x, y) โฆ (x^a ยท y^b, x^c ยท y^d)
์ฌ๊ธฐ์ ํ๋ ฌ [[a, b], [c, d]]๋ ์ ์ ์ฑ๋ถ์ ๊ฐ์ง๋ฉฐ ํ๋ ฌ์์ด ยฑ1์ด์ผ.
ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๊ตฌ์กฐ๋ฅผ ์ดํดํ๋ ๋ฐ ์ค์ํ ๊ฐ๋ ์ค ํ๋๋ ์์ฑ์(generators)์ผ. ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๋ฌดํ ์ฐจ์์ด๊ธฐ ๋๋ฌธ์ ์ ํํ ์์ ์์ฑ์๋ก ํํํ ์ ์์ด. ํ์ง๋ง ํน์ ๋ถ๋ถ๊ตฐ์ ์ ํํ ์์ ์์ฑ์๋ก ํํ๋ ์ ์์ง.
ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๋ ๋ค๋ฅธ ์ค์ํ ์ธก๋ฉด์ ์ ๊ท ๋ถ๋ถ๊ตฐ(normal subgroups)์ ์กด์ฌ์ผ. ์ ๊ท ๋ถ๋ถ๊ตฐ์ ๊ตฐ ๊ตฌ์กฐ๋ฅผ ์ดํดํ๋ ๋ฐ ํต์ฌ์ ์ธ ์ญํ ์ ํด. 2์ฐจ์ ํฌ๋ ๋ชจ๋ ๊ตฐ Cr(2)์ ๊ฒฝ์ฐ, ๊ทธ ์ ๊ท ๋ถ๋ถ๊ตฐ ๊ตฌ์กฐ๊ฐ ์๋นํ ๋ณต์กํด.
๐ ์ ๋ฆฌ: ํฌ๋ ๋ชจ๋ ๊ตฐ์ ์ ๊ท ๋ถ๋ถ๊ตฐ
2์ฐจ์ ํฌ๋ ๋ชจ๋ ๊ตฐ Cr(2)์์, ๋ชจ๋ ์๋ช ํ์ง ์์ ์ ๊ท ๋ถ๋ถ๊ตฐ์ PGL(3)์ ํฌํจํ๋ค.
์ด ์ ๋ฆฌ๋ Serge Cantat์ ์ํด ์ฆ๋ช ๋์์ผ๋ฉฐ, ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๊ตฌ์กฐ์ ๋ํ ์ค์ํ ํต์ฐฐ์ ์ ๊ณตํด.
ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๊ตฌ์กฐ๋ฅผ ์ฐ๊ตฌํ๋ ๋ฐ ์์ด ์ค์ํ ๋๊ตฌ ์ค ํ๋๋ ์ฐจ์ ์ํ์ค(degree sequence)์ผ. ๋ณํ ฯ์ ์ฐจ์ ์ํ์ค๋ ฯ, ฯยฒ, ฯยณ, ... ๋ฑ์ ์ฐจ์๋ฅผ ๋์ดํ ์์ด์ด์ผ. ์ด ์ํ์ค๋ ๋ณํ์ ๋์ญํ์ ์ฑ์ง์ ์ดํดํ๋ ๋ฐ ๋์์ ์ค.
์๋ฅผ ๋ค์ด, ์ฐจ์ ์ํ์ค๊ฐ ์ ํ์ ์ผ๋ก ์ฆ๊ฐํ๋ค๋ฉด ํด๋น ๋ณํ์ ๋ก์(Loxodromic) ์ฑ์ง์ ๊ฐ์ง๋ค๊ณ ํด. ์ด๋ ๋ณํ์ ๋ฐ๋ณต ์ ์ฉํ ๋ ์ ๋ค์ด ํน์ ๋ฐฉํฅ์ผ๋ก ๊ณ์ ๋ฉ์ด์ง๋ค๋ ์๋ฏธ์ผ.
๐ ์ฐจ์ ์ํ์ค ์์
๋ค์ ๋ณํ์ ์๊ฐํด๋ณด์:
(x, y) โฆ (y, y/x)
์ด ๋ณํ์ ์ฐจ์ ์ํ์ค๋ [2, 3, 5, 8, 13, 21, ...]๋ก, ํผ๋ณด๋์น ์์ด์ ๋ฐ๋ผ. ์ด๋ ์ด ๋ณํ์ด ํน๋ณํ ๋์ญํ์ ์ฑ์ง์ ๊ฐ์ง๊ณ ์์์ ์์ฌํด.
ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๊ตฌ์กฐ๋ฅผ ์ดํดํ๋ ๊ฒ์ ํ๋ ๋์๊ธฐํํ์ ์ค์ํ ์ฐ๊ตฌ ์ฃผ์ ์ผ. ์ด ๊ตฌ์กฐ๋ ์๊ฐ๋ณด๋ค ํจ์ฌ ๋ณต์กํ๊ณ ํ๋ถํด์, ์ํ์๋ค์๊ฒ ๋์์๋ ๋์ ๊ณผ ์๊ฐ์ ์ ๊ณตํ๊ณ ์์ด. ๐งฉ
์ฌ๋ฅ๋ท์์๋ ์ด๋ฐ ๊ณ ๊ธ ์ํ ์ฃผ์ ์ ๋ํ ์ ๋ฌธ๊ฐ๋ค์ ๊ฐ์์ ํํฐ๋ง์ ์ฐพ์๋ณผ ์ ์์ด. ๋ณต์กํ ์ํ์ ๊ตฌ์กฐ๋ ์ ์ ํ ์ค๋ช ๊ณผ ์๊ฐํ๋ฅผ ํตํด ๋ ์ฝ๊ฒ ์ดํดํ ์ ์์ง! ๐
5. ๋ํ์ ์ธ ์์์ ์์ฉ ๐
์ด๋ก ์ ์ธ ๋ด์ฉ์ ์ถฉ๋ถํ ์ดํด๋ดค์ผ๋, ์ด์ ๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๊ตฌ์ฒด์ ์ธ ์์์ ์ค์ ์์ฉ์ ๋ํด ์์๋ณด์. ์ถ์์ ์ธ ๊ฐ๋ ๋ ๊ตฌ์ฒด์ ์ธ ์์๋ฅผ ํตํด ๋ ์ ์ดํดํ ์ ์์ผ๋๊น! ๐
๐ ํ์ค 2์ฐจ์ ํฌ๋ ๋ชจ๋ ๋ณํ
๊ฐ์ฅ ๊ธฐ๋ณธ์ ์ธ 2์ฐจ์ ํฌ๋ ๋ชจ๋ ๋ณํ ์ค ํ๋๋ ํ์ค ์ ๊ณฑ ๋ณํ(standard quadratic transformation)์ด์ผ:
ฯ: [x : y : z] โฆ [yz : xz : xy]
์ด ๋ณํ์ ์ธ ๊ฐ์ ๊ธฐ๋ณธ์ [1:0:0], [0:1:0], [0:0:1]์ ๊ฐ์ง๋ฉฐ, ์๊ธฐ ์ญ์(self-inverse)์ด์ผ. ์ฆ, ฯยฒ = id ์ด์ง.
์ด ํ์ค ์ ๊ณฑ ๋ณํ์ ํฌ๋ ๋ชจ๋ ๊ตฐ ์ด๋ก ์์ ๊ธฐ๋ณธ์ ์ธ ๋น๋ฉ ๋ธ๋ก ์ญํ ์ ํด. ๋๋๊ฒ๋, ๋ชจ๋ 2์ฐจ์ ํฌ๋ ๋ชจ๋ ๋ณํ์ ์ฌ์ ์ ํ ๋ณํ๊ณผ ์ด ํ์ค ์ ๊ณฑ ๋ณํ์ ํฉ์ฑ์ผ๋ก ํํํ ์ ์์ด!
์ด์ ์ข ๋ ๋ณต์กํ ์์๋ฅผ ์ดํด๋ณด์:
๐ ํค์ผ๋ฒ ๋ฅดํฌ ๋ณํ(Hessenberg transformation)
๋ค์ ๋ณํ์ ์๊ฐํด๋ณด์:
H: (x, y) โฆ (y, (yยฒ + 1)/x)
์ด ๋ณํ์ ๋ฌดํ ์ฐจ์๋ฅผ ๊ฐ์ง๋ฉฐ, ๋ฐ๋ณต ์ ์ฉ ์ ํฅ๋ฏธ๋ก์ด ๋์ญํ์ ์ฑ์ง์ ๋ณด์ฌ์ค. H์ n๋ฒ ๋ฐ๋ณต ์ ์ฉ ํ ์ฐจ์๋ ํผ๋ณด๋์น ์์ด์ ๋ฐ๋ผ ์ฆ๊ฐํด!
๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ์ด๋ก ์ ์ธ ์๋ฆ๋ค์ ์ธ์๋ ๋ค์ํ ๋ถ์ผ์ ์์ฉ๋ผ. ๋ช ๊ฐ์ง ์ค์ํ ์์ฉ ๋ถ์ผ๋ฅผ ์ดํด๋ณด์:
๐ฌ ๋์๊ธฐํํ
๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๋์๋ค์์ฒด์ ์์ ๋ฆฌ์ ์๊ธฐ๋ํ์ฌ์์ ์ฐ๊ตฌํ๋ ๋ฐ ํต์ฌ์ ์ธ ๋๊ตฌ์ผ. ํนํ K3 ๊ณก๋ฉด, ์นผ๋ผ๋น-์ผ์ฐ ๋ค์์ฒด ๋ฑ์ ์ฐ๊ตฌ์ ์ค์ํ๊ฒ ํ์ฉ๋ผ.
๐ ์ํธํ
๋น๊ฐํ ๊ตฌ์กฐ์ ๋ณต์ก์ฑ์ ์๋ก์ด ์ํธํ ์๊ณ ๋ฆฌ์ฆ ๊ฐ๋ฐ์ ํ์ฉ๋ ์ ์์ด. ํนํ ์์ ์ปดํจํฐ์ ๋์ํ๋ ํฌ์คํธ ์์ ์ํธํ์์ ๊ด์ฌ์ ๋ฐ๊ณ ์์ง.
๐ ์ญํ๊ณ
ํฌ๋ ๋ชจ๋ ๋ณํ์ ๋ณต์กํ ์ญํ๊ณ์ ๋ชจ๋ธ๋ง์ ์ฌ์ฉ๋ ์ ์์ด. ํนํ ์นด์ค์ค ์ด๋ก ๊ณผ ๊ด๋ จ๋ ์ฐ๊ตฌ์์ ์ค์ํ ์์๋ฅผ ์ ๊ณตํด.
๐ฅ๏ธ ์ปดํจํฐ ๊ทธ๋ํฝ์ค
์ ๋ฆฌ์ ๋ณํ์ ๋ณต์กํ ๊ธฐํํ์ ํํ๋ฅผ ์์ฑํ๊ณ ๋ณํํ๋ ๋ฐ ์ฌ์ฉ๋ ์ ์์ด. ํ๋ํ ์์ฑ์ด๋ ํน์ ํจ๊ณผ ๊ตฌํ์ ํ์ฉ๋์ง.
์ค์ ๋ก ๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๊ฐ๋ ์ ํ๋ ์ํ์ ์ฌ๋ฌ ๋ถ์ผ๋ฅผ ์ฐ๊ฒฐํ๋ ๋ค๋ฆฌ ์ญํ ์ ํด. ๊ตฐ๋ก , ๋์๊ธฐํํ, ๋์ญํ๊ณ ๋ฑ์ ๋ถ์ผ๊ฐ ์ด ๊ฐ๋ ์ ํตํด ์๋ก ์ฐ๊ฒฐ๋์ด ์์ด.
๐ก ํฅ๋ฏธ๋ก์ด ์ฌ์ค
2์ฐจ์ ํฌ๋ ๋ชจ๋ ๊ตฐ Cr(2)๋ ๋ฌดํ ์ฐจ์์ด์ง๋ง, ํน์ ์ ํ ๋ถ๋ถ๊ตฐ๋ค์ ์์ ํ ๋ถ๋ฅ๋์ด ์์ด. ์๋ฅผ ๋ค์ด, ์์๊ฐ 60 ์ดํ์ธ ๋ชจ๋ ์ ํ ๋ถ๋ถ๊ตฐ์ ๋ถ๋ฅ๋์ด ์์ง!
๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ์์์ ์์ฉ์ ํตํด ์ด ์ถ์์ ์ธ ๊ฐ๋ ์ด ์ผ๋ง๋ ํ๋ถํ๊ณ ๋ค์ํ ์ํ์ ํ์์ ์ค๋ช ํ ์ ์๋์ง ์ ์ ์์ด. ์ํ์ ์๋ฆ๋ค์์ ์ด๋ ๊ฒ ์ถ์์ ์ธ ๊ฐ๋ ์ด ๊ตฌ์ฒด์ ์ธ ํ์์ ์ค๋ช ํ ๋ ๋์ฑ ๋น๋๋ ๊ฒ ๊ฐ์! โจ
6. ๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ํน๋ณํ ์ฑ์ง ๐ฎ
๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ์ผ๋ฐ์ ์ธ ๊ตฐ๋ค๊ณผ๋ ๋ค๋ฅธ ํน๋ณํ ์ฑ์ง๋ค์ ๋ง์ด ๊ฐ์ง๊ณ ์์ด. ์ด๋ฒ ์น์ ์์๋ ๊ทธ๋ฐ ๋ ํนํ ์ฑ์ง๋ค์ ์์ธํ ์ดํด๋ณด์!
๐ ๋ฌดํ ์ฐจ์์ฑ(Infinite dimensionality)
n โฅ 2์ผ ๋, ํฌ๋ ๋ชจ๋ ๊ตฐ Cr(n)์ ๋ฌดํ ์ฐจ์์ด์ผ. ์ด๋ ์ ํ ๊ฐ์ ์์ฑ์๋ก ์ ์ฒด ๊ตฐ์ ์์ฑํ ์ ์๋ค๋ ์๋ฏธ์ง. ์ด ์ฑ์ง์ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๋ณต์ก์ฑ์ ๋ณด์ฌ์ฃผ๋ ์ค์ํ ์งํ์ผ.
๋ฌดํ ์ฐจ์์ฑ์ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ์์์ ๊ตฌ์กฐ์๋ ์ํฅ์ ๋ฏธ์ณ. ์ ์ ํ ์์์ ๋ถ์ฌํ์ ๋, ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๊ตญ์ ์ปดํฉํธํ์ง ์์(non-locally compact) ์์ ๊ตฐ์ด ๋ผ. ์ด๋ ๋ง์ ํ์ค์ ์ธ ๊ตฐ ์ด๋ก ๊ฒฐ๊ณผ๋ค์ ์ ์ฉํ๊ธฐ ์ด๋ ต๊ฒ ๋ง๋ค์ด.
๐งฉ ๋จ์ ์ฐ๊ฒฐ๋์ง ์์(Non-simple connectedness)
ํฌ๋ ๋ชจ๋ ๊ตฐ Cr(2)๋ ๋จ์ ์ฐ๊ฒฐ๋์ง ์์์ด. ์ด๋ ๊ตฐ์ ์์์ ๊ตฌ์กฐ๊ฐ ๋ณต์กํ๋ค๋ ๊ฒ์ ์๋ฏธํ๋ฉฐ, ๊ธฐ๋ณธ๊ตฐ(fundamental group)์ด ์๋ช ํ์ง ์๋ค๋ ๋ป์ด์ผ.
๋ ๋ค๋ฅธ ํฅ๋ฏธ๋ก์ด ์ฑ์ง์ ์๋ฉ์ฑ(amenability)๊ณผ ๊ด๋ จ์ด ์์ด. ํฌ๋ ๋ชจ๋ ๊ตฐ Cr(2)๋ ์๋ฉ ๊ตฐ์ด ์๋์ผ. ์๋ฉ์ฑ์ ๊ตฐ์ ํ๊ท ์ด ์กด์ฌํ๋์ง์ ๊ดํ ์ฑ์ง์ธ๋ฐ, ์ด ์ฑ์ง์ด ์๋ค๋ ๊ฒ์ ๊ตฐ์ ๊ตฌ์กฐ๊ฐ ๋งค์ฐ ๋ณต์กํ๋ค๋ ๊ฒ์ ์์ฌํด.
๐ ํธํ ์ฑ์ง(Hopfian property)
ํฌ๋ ๋ชจ๋ ๊ตฐ Cr(2)๋ ํธํ ๊ตฐ(Hopfian group)์ด์ผ. ์ด๋ ๋ชจ๋ ์ ์ฌ ์ค๋ํ์ฌ์์ด ์๋์ผ๋ก ๋จ์ฌ๋ผ๋ ์๋ฏธ์ง. ์ฝ๊ฒ ๋งํ๋ฉด, ๊ตฐ์ ์๊ธฐ ์์ ์๊ฒ "์์ถ"ํ ์ ์๋ค๋ ๋ป์ด์ผ.
๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๋ ๋ค๋ฅธ ํฅ๋ฏธ๋ก์ด ์ธก๋ฉด์ ๋์ญํ์ ์ฑ์ง์ด์ผ. ํฌ๋ ๋ชจ๋ ๊ตฐ์ ์์๋ค์ ๊ทธ ๋ฐ๋ณต ์ ์ฉ์ ๋ฐ๋ผ ์ธ ๊ฐ์ง ์ ํ์ผ๋ก ๋ถ๋ฅ๋ ์ ์์ด:
- ์ ํ ์ฐจ์(Finite order): ์ด๋ค n์ ๋ํด ฯโฟ = id์ธ ๊ฒฝ์ฐ
- ํ์์ (Elliptic): ์ฐจ์ ์ํ์ค๊ฐ ์ ๊ณ์ธ ๊ฒฝ์ฐ
- ๋ก์์ (Loxodromic): ์ฐจ์ ์ํ์ค๊ฐ ์ง์์ ์ผ๋ก ์ฆ๊ฐํ๋ ๊ฒฝ์ฐ
์ด ๋ถ๋ฅ๋ ํฌ๋ ๋ชจ๋ ๋ณํ์ ๋์ญํ์ ํ๋์ ์ดํดํ๋ ๋ฐ ํต์ฌ์ ์ด์ผ. ํนํ ๋ก์์ ๋ณํ์ ์นด์ค์ค์ ํ๋์ ๋ณด์ด๋ ๊ฒฝ์ฐ๊ฐ ๋ง์์ ์ญํ๊ณ ์ฐ๊ตฌ์ ์ค์ํด.
๐ ๋ก์์ ๋ณํ์ ์
๋ค์ ๋ณํ์ ์๊ฐํด๋ณด์:
ฯ: (x, y) โฆ (y, yยฒ/x)
์ด ๋ณํ์ ์ฐจ์ ์ํ์ค๋ [2, 3, 5, 8, 13, ...]๋ก, ํผ๋ณด๋์น ์์ด์ ๋ฐ๋ผ ์ฆ๊ฐํด. ์ด๋ ์ ํ์ ์ธ ๋ก์์ ๋ณํ์ ์์ผ.
๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๋ ๋ค๋ฅธ ์ค์ํ ์ฑ์ง์ ์ ๊ท ๋ถ๋ถ๊ตฐ ๊ตฌ์กฐ์ ๊ด๋ จ์ด ์์ด. ์์ ์ธ๊ธํ๋ฏ์ด, 2์ฐจ์ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๋ชจ๋ ์๋ช ํ์ง ์์ ์ ๊ท ๋ถ๋ถ๊ตฐ์ PGL(3)์ ํฌํจํด. ์ด ๊ฒฐ๊ณผ๋ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๋์์ ๊ตฌ์กฐ์ ๋ํ ๊น์ ํต์ฐฐ์ ์ ๊ณตํด.
๐ ์ ๋ฆฌ: ํฌ๋ ๋ชจ๋ ๊ตฐ์ ์๊ธฐ๋ํ๊ตฐ
2์ฐจ์ ํฌ๋ ๋ชจ๋ ๊ตฐ Cr(2)์ ์๊ธฐ๋ํ๊ตฐ์ PGL(3)์ ์๊ธฐ๋ํ๊ตฐ๊ณผ ๋ํ์ด๋ค.
์ด ๋๋ผ์ด ๊ฒฐ๊ณผ๋ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๊ตฌ์กฐ๊ฐ ์ผ๋ง๋ ์๊ฒฉํ๊ฒ ์ ํ๋์ด ์๋์ง ๋ณด์ฌ์ค.
๋ง์ง๋ง์ผ๋ก, ๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ํํ ์ด๋ก (representation theory) ์ธก๋ฉด์์๋ ํฅ๋ฏธ๋ก์ด ์ฑ์ง์ ๊ฐ์ ธ. ํฌ๋ ๋ชจ๋ ๊ตฐ์ ์ ํ ํํ์ ๋งค์ฐ ์ ํ์ ์ด๋ฉฐ, ์ด๋ ๊ตฐ์ ๋น์ ํ์ ํน์ฑ์ ๋ฐ์ํด.
์ด๋ฐ ๋ค์ํ ํน๋ณํ ์ฑ์ง๋ค์ด ๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ํ๋ ๋์๊ธฐํํ๊ณผ ๊ตฐ๋ก ์์ ์ค์ํ ์ฐ๊ตฌ ๋์์ผ๋ก ๋ง๋ค๊ณ ์์ด. ์ถ์์ ์ธ ๊ฐ๋ ์ด์ง๋ง, ๊ทธ ๊ตฌ์กฐ์ ์ฑ์ง์ ์ดํดํ๋ ๊ฒ์ ์ํ์ ์ฌ๋ฌ ๋ถ์ผ๋ฅผ ์ฐ๊ฒฐํ๋ ๋ฐ ํฐ ๋์์ด ๋ผ! ๐
7. ํ๋ ์ํ์์์ ์์น์ ์ฐ๊ตฌ ๋ํฅ ๐
๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ํ๋ ์ํ, ํนํ ๋์๊ธฐํํ๊ณผ ๊ตฐ๋ก ์ ๊ต์ฐจ์ ์ ์์นํ ์ค์ํ ์ฐ๊ตฌ ์ฃผ์ ์ผ. ์ต๊ทผ ๋ช ์ญ ๋ ๋์ ์ด ๋ถ์ผ๋ ์๋นํ ๋ฐ์ ์ ์ด๋ฃจ์๊ณ , ์ฌ์ ํ ํ๋ฐํ ์ฐ๊ตฌ๊ฐ ์งํ ์ค์ด์ผ. ํ๋ ์ํ์์ ๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ์์น์ ์ต์ ์ฐ๊ตฌ ๋ํฅ์ ์ดํด๋ณด์!
๐ ์ฃผ์ ์ฐ๊ตฌ ๋ถ์ผ
- ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๊ตฌ์กฐ ์ด๋ก : ์์ฑ์, ๊ด๊ณ์, ๋ถ๋ถ๊ตฐ ๋ฑ
- ๋์ญํ์ ์ธก๋ฉด: ํฌ๋ ๋ชจ๋ ๋ณํ์ ๋ฐ๋ณต ์ ์ฉ๊ณผ ๊ทธ ํจ๊ณผ
- ๊ธฐํํ์ ๋ถ๋ณ๋: ํฌ๋ ๋ชจ๋ ๋ณํ ํ์์ ๋ณด์กด๋๋ ์ฑ์ง๋ค
- ์์ ๋ฆฌ์ ๊ธฐํํ: ๋ค์์ฒด๋ค ์ฌ์ด์ ์์ ๋ฆฌ์ ๋ํ์ฑ
- ๊ณ์ฐ์ ์ธก๋ฉด: ํฌ๋ ๋ชจ๋ ๋ณํ์ ํจ์จ์ ์ธ ๊ณ์ฐ ๋ฐฉ๋ฒ
21์ธ๊ธฐ์ ๋ค์ด์๋ฉด์ ๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๋ํ ์ฐ๊ตฌ๋ ์๋ก์ด ๋๊ตฌ์ ๊ด์ ์ ๋์ ์ผ๋ก ํฐ ๋ฐ์ ์ ์ด๋ฃจ์์ด. ํนํ ๋ชจ๋ธ ์ด๋ก (model theory), ๊ธฐํํ์ ๊ตฐ ์ด๋ก (geometric group theory), ๋์ญํ๊ณ ์ด๋ก ๋ฑ์ ๋๊ตฌ๊ฐ ํฌ๋ ๋ชจ๋ ๊ตฐ ์ฐ๊ตฌ์ ์ฑ๊ณต์ ์ผ๋ก ์ ์ฉ๋์์ง.
์ต๊ทผ์ ์ฃผ์ ์ฐ๊ตฌ ์ฑ๊ณผ ์ค ํ๋๋ 3์ฐจ์ ํฌ๋ ๋ชจ๋ ๊ตฐ Cr(3)์ ๊ตฌ์กฐ์ ๊ดํ ๊ฒ์ด์ผ. 2์ฐจ์ ํฌ๋ ๋ชจ๋ ๊ตฐ๊ณผ ๋ฌ๋ฆฌ, 3์ฐจ์ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ํจ์ฌ ๋ ๋ณต์กํ๊ณ ๋ ์ดํด๋์ด ์์ด. ๊ทธ๋ฌ๋ ์ต๊ทผ ์ฐ๊ตฌ๋ค์ 3์ฐจ์ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ํน์ ๋ถ๋ถ๊ตฐ๊ณผ ๊ทธ ๊ตฌ์กฐ์ ๋ํ ์๋ก์ด ํต์ฐฐ์ ์ ๊ณตํ๊ณ ์์ง.
๐ ์ฃผ์ ์ฐ๊ตฌ์๋ค
๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ ์ฐ๊ตฌ์ ์ค์ํ ๊ธฐ์ฌ๋ฅผ ํ ํ๋ ์ํ์๋ค:
- โข Serge Cantat - ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๋์ญํ์ ์ธก๋ฉด ์ฐ๊ตฌ
- โข Ivan Cheltsov - 3์ฐจ์ ํฌ๋ ๋ชจ๋ ๊ตฐ๊ณผ ์์ ๋ฆฌ์ ๊ธฐํํ
- โข Jรฉrรฉmy Blanc - ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๋ถ๋ถ๊ตฐ ๊ตฌ์กฐ ์ฐ๊ตฌ
- โข Julie Dรฉserti - ํฌ๋ ๋ชจ๋ ๊ตฐ์ ์๊ธฐ๋ํ๊ตฐ ์ฐ๊ตฌ
- โข Stรฉphane Lamy - ๊ณ ์ฐจ์ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๊ตฌ์กฐ ์ฐ๊ตฌ
๋ ๋ค๋ฅธ ์ค์ํ ์ฐ๊ตฌ ๋ฐฉํฅ์ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๊ธฐํํ์ ์คํ(geometric realization)์ ๊ดํ ๊ฒ์ด์ผ. ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๋ฌดํ ์ฐจ์ ๋ค์์ฒด์ ์๊ธฐ๋ํ๊ตฐ์ผ๋ก ์คํํ๋ ๋ฐฉ๋ฒ์ ๋ํ ์ฐ๊ตฌ๊ฐ ํ๋ฐํ ์งํ ์ค์ด์ผ. ์ด๋ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ์์์ , ๊ธฐํํ์ ์ฑ์ง์ ๋ ์ ์ดํดํ๋ ๋ฐ ๋์์ ์ค.
โ ์ฃผ์ ๋ฏธํด๊ฒฐ ๋ฌธ์ ๋ค
- 3์ฐจ์ ์ด์์ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ์์ฑ์์ ๊ด๊ณ์์ ๋ฌด์์ธ๊ฐ?
- ํฌ๋ ๋ชจ๋ ๊ตฐ์ ์ฝํธ๋ชฐ๋ก์ง ๊ตฐ(cohomology groups)์ ์ด๋ค ๊ตฌ์กฐ๋ฅผ ๊ฐ์ง๋๊ฐ?
- ํฌ๋ ๋ชจ๋ ๊ตฐ์ ํํ ์ด๋ก ์ ์ด๋ป๊ฒ ๋ฐ์ ์ํฌ ์ ์๋๊ฐ?
- ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๊ธฐํํ์ ์คํ์ ๋ํ ์ต์ ์ ๋ฐฉ๋ฒ์ ๋ฌด์์ธ๊ฐ?
- ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๋ถ๋ถ๊ตฐ ๊ตฌ์กฐ, ํนํ ๋ฌดํ ๋ถ๋ถ๊ตฐ์ ๋ถ๋ฅ๋ ์ด๋ป๊ฒ ํ ์ ์๋๊ฐ?
๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ ์ฐ๊ตฌ๋ ์์ ์ํ์ ๊ด์ฌ์ ๋์ด ์์ฉ ๋ถ์ผ๋ก๋ ํ์ฅ๋๊ณ ์์ด. ํนํ ๋์์ ์ํธํ, ์์ ์ ๋ณด ์ด๋ก , ๋ณต์ก๊ณ ๋ชจ๋ธ๋ง ๋ฑ์ ๋ถ์ผ์์ ํฌ๋ ๋ชจ๋ ๋ณํ์ ์์ฉ ๊ฐ๋ฅ์ฑ์ด ํ๊ตฌ๋๊ณ ์์ง.
ํ๋ ์ปดํจํฐ ๊ธฐ์ ์ ๋ฐ์ ์ ํฌ๋ ๋ชจ๋ ๊ตฐ ์ฐ๊ตฌ์๋ ํฐ ์ํฅ์ ๋ฏธ์ณค์ด. ์ปดํจํฐ ๋์ ์์คํ ์ ์ด์ฉํ ๊ณ์ฐ์ ์ ๊ทผ๋ฒ์ ๋ณต์กํ ํฌ๋ ๋ชจ๋ ๋ณํ์ ์ฑ์ง์ ํ๊ตฌํ๋ ๋ฐ ๊ฐ๋ ฅํ ๋๊ตฌ๊ฐ ๋๊ณ ์์ด.
๐ฎ ๋ฏธ๋ ์ฐ๊ตฌ ๋ฐฉํฅ
๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ ์ฐ๊ตฌ์ ๋ฏธ๋ ๋ฐฉํฅ์ ๋ค์๊ณผ ๊ฐ์ ์์ญ์ ํฌํจํ ๊ฒ์ผ๋ก ์์๋ผ:
- ๊ณ ์ฐจ์ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๊ตฌ์กฐ ์ดํด
- ํฌ๋ ๋ชจ๋ ๊ตฐ๊ณผ ๋ค๋ฅธ ์ํ์ ๊ตฌ์กฐ(์: ์์๊ตฐ, ํธํ ๋์) ์ฌ์ด์ ์ฐ๊ฒฐ์ฑ ํ๊ตฌ
- ํฌ๋ ๋ชจ๋ ๋ณํ์ ๊ณ์ฐ์ ์ธก๋ฉด ๋ฐ์
- ๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๋ฌผ๋ฆฌํ์ ์์ฉ ํ์ฅ
- ํฌ๋ ๋ชจ๋ ๊ตฐ์ ํํ ์ด๋ก ๊ฐ๋ฐ
์ฌ๋ฅ๋ท์์๋ ์ด๋ฐ ์ต์ ์ํ ์ฐ๊ตฌ ๋ํฅ์ ๋ฐ๋ผ๊ฐ๋ ๋ฐ ๋์์ด ๋๋ ์ ๋ฌธ๊ฐ๋ค์ ๊ฐ์์ ์๋ฃ๋ฅผ ์ฐพ์๋ณผ ์ ์์ด. ์ํ์ ์ต์ ์ ์์ ์ผ์ด๋๋ ํฅ๋ฏธ๋ก์ด ๋ฐ์ ์ ํจ๊ป ํ๊ตฌํด๋ณด๋ ๊ฑด ์ด๋จ๊น? ๐ญ
8. ์ฌ๋ฏธ์๋ ๋ฌธ์ ์ ํจ๊ปํ๋ ์ค์ต โ๏ธ
์ง๊ธ๊น์ง ๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๋ํ ์ด๋ก ์ ์ธ ๋ด์ฉ์ ๋ง์ด ๋ฐฐ์ ์ด. ์ด์ ๋ช ๊ฐ์ง ์ฌ๋ฏธ์๋ ๋ฌธ์ ๋ฅผ ํ์ด๋ณด๋ฉด์ ๊ฐ๋ ์ ๋ ํ์คํ ์ดํดํด๋ณด์! ๋๋ฌด ์ด๋ ต๊ฒ ๋๊ปด์ง์ง ์๋๋ก ๋จ๊ณ๋ณ๋ก ์ ๊ทผํ ๊ฑฐ์ผ. ์ค๋น๋๋? ๐งฉ
๋ฌธ์ 1: ๊ฐ๋จํ ํฌ๋ ๋ชจ๋ ๋ณํ ๊ณ์ฐํ๊ธฐ
๋ค์ ํฌ๋ ๋ชจ๋ ๋ณํ์ ์๊ฐํด๋ณด์:
ฯ: (x, y) โฆ (1/x, y/x)
๋ค์ ์ง๋ฌธ์ ๋ตํด๋ณด์:
- ฯยฒ(x, y), ์ฆ ฯ๋ฅผ ๋ ๋ฒ ์ ์ฉํ ๊ฒฐ๊ณผ๋ ๋ฌด์์ธ๊ฐ?
- ฯ์ ๊ธฐ๋ณธ์ (base points)์ ์ด๋์ธ๊ฐ?
- ฯ๋ ์ ํ ์ฐจ์๋ฅผ ๊ฐ์ง๋๊ฐ? ๋ง์ฝ ๊ทธ๋ ๋ค๋ฉด, ๊ทธ ์ฐจ์๋ ์ผ๋ง์ธ๊ฐ?
๋ฌธ์ 1 ํ์ด
- ฯยฒ(x, y)๋ฅผ ๊ณ์ฐํด๋ณด์:
ฯ(x, y) = (1/x, y/x)
ฯยฒ(x, y) = ฯ(1/x, y/x) = (x/(1/x), (y/x)/(1/x)) = (x, y)
๋ฐ๋ผ์ ฯยฒ(x, y) = (x, y), ์ฆ ํญ๋ฑ๋ณํ์ด๋ค! - ฯ(x, y) = (1/x, y/x)์์ x = 0์ผ ๋ ์ ์๋์ง ์์ผ๋ฏ๋ก, ๊ธฐ๋ณธ์ ์ x = 0์ธ ๋ชจ๋ ์ ๋ค์ด๋ค.
- ฯยฒ(x, y) = (x, y)์ด๋ฏ๋ก, ฯ๋ ์ฐจ์ 2๋ฅผ ๊ฐ์ง๋ค.
์ด ์์๋ ์ ํ ์ฐจ์๋ฅผ ๊ฐ์ง๋ ํฌ๋ ๋ชจ๋ ๋ณํ์ ๊ฐ๋จํ ์์ผ. ํนํ ฯยฒ๊ฐ ํญ๋ฑ๋ณํ์ด๋ฏ๋ก, ฯ๋ ๋ํฉ(involution)์ด๋ผ๊ณ ๋ถ๋ฌ!
๋ฌธ์ 2: ๋น๊ฐํ์ฑ ํ์ธํ๊ธฐ
๋ค์ ๋ ํฌ๋ ๋ชจ๋ ๋ณํ์ ์๊ฐํด๋ณด์:
ฯ: (x, y) โฆ (1/x, y/x)
ฯ: (x, y) โฆ (x, 1/y)
ฯโฯ์ ฯโฯ๋ฅผ ๊ณ์ฐํ๊ณ , ์ด ๋ ๋ณํ์ด ๊ฐ์์ง ํ์ธํด๋ณด์.
๋ฌธ์ 2 ํ์ด
ฯโฯ๋ฅผ ๊ณ์ฐํด๋ณด์:
ฯ(x, y) = (x, 1/y)
ฯ(ฯ(x, y)) = ฯ(x, 1/y) = (1/x, (1/y)/x) = (1/x, 1/(xy))
ฯโฯ๋ฅผ ๊ณ์ฐํด๋ณด์:
ฯ(x, y) = (1/x, y/x)
ฯ(ฯ(x, y)) = ฯ(1/x, y/x) = (1/x, 1/(y/x)) = (1/x, x/y)
๊ฒฐ๊ณผ๋ฅผ ๋น๊ตํด๋ณด๋ฉด:
ฯโฯ(x, y) = (1/x, 1/(xy))
ฯโฯ(x, y) = (1/x, x/y)
๋ ๋ฒ์งธ ์ขํ๊ฐ ๋ค๋ฅด๋ฏ๋ก, ฯโฯ โ ฯโฯ์ด๋ค. ๋ฐ๋ผ์ ์ด ๋ ๋ณํ์ ๋น๊ฐํ์ ์ด๋ค!
๋ฌธ์ 3: ํ์ค ์ ๊ณฑ ๋ณํ ํ๊ตฌํ๊ธฐ
ํ์ค ์ ๊ณฑ ๋ณํ ฯ: [x : y : z] โฆ [yz : xz : xy]๋ฅผ ์๊ฐํด๋ณด์.
๋ค์ ์ง๋ฌธ์ ๋ตํด๋ณด์:
- ฯยฒ๋ฅผ ๊ณ์ฐํ๋ผ.
- ฯ์ ๊ธฐ๋ณธ์ ๋ค์ ์ฐพ์๋ผ.
- ์ง์ y = 0์ด ฯ์ ์ํด ์ด๋ป๊ฒ ๋ณํ๋๋์ง ์ค๋ช ํ๋ผ.
๋ฌธ์ 3 ํ์ด
- ฯยฒ๋ฅผ ๊ณ์ฐํด๋ณด์:
ฯ([x : y : z]) = [yz : xz : xy]
ฯยฒ([x : y : z]) = ฯ([yz : xz : xy]) = [(xz)(xy) : (yz)(xy) : (yz)(xz)]
= [xยฒyz : xyยฒz : xyzยฒ]
= [x : y : z] (xyz๋ก ์ฝ๋ถ)
๋ฐ๋ผ์ ฯยฒ = id, ์ฆ ฯ๋ ๋ํฉ(involution)์ด๋ค. - ฯ([x : y : z]) = [yz : xz : xy]์์, ๋ง์ฝ ๋ ์ขํ๊ฐ 0์ด๋ฉด ๊ฒฐ๊ณผ์ ๋ชจ๋ ์ขํ๊ฐ 0์ด ๋์ด ์ ์๋์ง ์๋๋ค. ๋ฐ๋ผ์ ๊ธฐ๋ณธ์ ์ [1:0:0], [0:1:0], [0:0:1]์ด๋ค.
- ์ง์ y = 0์ ์ฌ์ํ๋ฉด์์ [x : 0 : z] ํํ์ ์ ๋ค๋ก ํํ๋๋ค. ์ด ์ ๋ค์ ฯ๋ฅผ ์ ์ฉํ๋ฉด:
ฯ([x : 0 : z]) = [0 : xz : 0] = [0 : 1 : 0] (xz โ 0์ผ ๋)
๋ฐ๋ผ์ ์ง์ y = 0์ ์ [0:1:0]์ผ๋ก "์์ถ"๋๋ค. ์ด๋ ฯ๊ฐ ๋ธ๋ก์ฐ์ (blow-up) ๋ณํ์ ์ผ์ข ์์ ๋ณด์ฌ์ค๋ค.
๋ฌธ์ 4: ๋์ญํ์ ์ฑ์ง ํ๊ตฌํ๊ธฐ
๋ค์ ํฌ๋ ๋ชจ๋ ๋ณํ์ ์๊ฐํด๋ณด์:
ฯ: (x, y) โฆ (y, (yยฒ + 1)/x)
์ด ๋ณํ์ ์ฒซ ๋ช ๊ฐ์ ๋ฐ๋ณต ์ ์ฉ ํ ์ฐจ์๋ฅผ ๊ณ์ฐํ๊ณ , ์ด๋ค ๋์ญํ์ ์ ํ(์ ํ ์ฐจ์, ํ์์ , ๋ก์์ )์ ์ํ๋์ง ์ถ์ธกํด๋ณด์.
๋ฌธ์ 4 ํ์ด
๋จผ์ ฯ์ ์ฐจ์๋ฅผ ๊ณ์ฐํด๋ณด์. ฯ: (x, y) โฆ (y, (yยฒ + 1)/x)์์ ๋ถ์์ ์ต๊ณ ์ฐจ์๋ 2, ๋ถ๋ชจ์ ์ต๊ณ ์ฐจ์๋ 1์ด๋ฏ๋ก ฯ์ ์ฐจ์๋ max(1, 2) = 2์ด๋ค.
์ด์ ฯยฒ๋ฅผ ๊ณ์ฐํด๋ณด์:
ฯ(x, y) = (y, (yยฒ + 1)/x)
ฯยฒ(x, y) = ฯ(y, (yยฒ + 1)/x) = ((yยฒ + 1)/x, ((yยฒ + 1)/x)ยฒ + 1)/y)
= ((yยฒ + 1)/x, ((yยฒ + 1)ยฒ + xยฒyยฒ)/(xยฒy))
์ด ํํ์์ ์ฐจ์๋ฅผ ๊ณ์ฐํ๋ฉด 3์ด ๋์จ๋ค.
๋น์ทํ ๋ฐฉ์์ผ๋ก ๊ณ์ ๊ณ์ฐํ๋ฉด, ฯยณ์ ์ฐจ์๋ 5, ฯโด์ ์ฐจ์๋ 8์ด ๋๋ค.
์ฐจ์ ์ํ์ค [2, 3, 5, 8, ...]๋ ํผ๋ณด๋์น ์์ด์ ๋ฐ๋ฅด๊ณ ์์ผ๋ฉฐ, ์ง์์ ์ผ๋ก ์ฆ๊ฐํ๋ค. ๋ฐ๋ผ์ ์ด ๋ณํ์ ๋ก์์ (loxodromic) ์ ํ์ ์ํ๋ค๊ณ ์ถ์ธกํ ์ ์๋ค.
์ด๋? ๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๋ํ ๋ฌธ์ ๋ค์ ํ์ด๋ณด๋ ๊ฐ๋ ์ด ์ข ๋ ๋ช ํํด์ก์ง? ์ด๋ฐ ์ค์ต ๋ฌธ์ ๋ค์ ์ถ์์ ์ธ ๊ฐ๋ ์ ๊ตฌ์ฒด์ ์ผ๋ก ์ดํดํ๋ ๋ฐ ํฐ ๋์์ด ๋ผ. ์ฌ๋ฅ๋ท์์๋ ์ด๋ฐ ๋ฐฉ์์ผ๋ก ๋ณต์กํ ์ํ ๊ฐ๋ ์ ์ฝ๊ฒ ์ ๊ทผํ ์ ์๋ ๊ฐ์์ ์๋ฃ๋ค์ ์ฐพ์๋ณผ ์ ์์ด! ๐งฎ
๐ ๋์ ๋ฌธ์
๋ค์ ํฌ๋ ๋ชจ๋ ๋ณํ๋ค์ด ์์ฑํ๋ ๊ตฐ์ ๊ตฌ์กฐ๋ฅผ ๊ฒฐ์ ํด๋ณด์:
ฯ: (x, y) โฆ (1/x, y/x)
ฯ: (x, y) โฆ (x, 1/y)
ํํธ: ฯยฒ์ ฯยฒ๋ ๋ฌด์์ธ๊ฐ? ฯ์ ฯ์ ํฉ์ฑ์ ์ด๋ค ๊ด๊ณ๋ฅผ ๋ง์กฑํ๋๊ฐ?
์ด๋ฐ ๋ฌธ์ ๋ค์ ํตํด ๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๊ตฌ์กฐ์ ์ฑ์ง์ ๋ ๊น์ด ์ดํดํ ์ ์์ด. ์ํ์ ์ค์ ๋ก ๋ฌธ์ ๋ฅผ ํ์ด๋ณด๋ฉด์ ๋ฐฐ์ธ ๋ ๊ฐ์ฅ ํจ๊ณผ์ ์ผ๋ก ์ดํดํ ์ ์๊ฑฐ๋ ! ๐ง
9. ๋ง๋ฌด๋ฆฌ ๋ฐ ๋ ์์๋ณผ ๋ด์ฉ ๐ฏ
์์ฐ! ์ ๋ง ๊ธด ์ฌ์ ์ด์์ด. ๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๊ตฌ์กฐ์ ์ฑ์ง์ ๋ํด ๊น์ด ์๊ฒ ํ๊ตฌํด๋ดค์ด. ์ด์ ์ฐ๋ฆฌ๊ฐ ๋ฐฐ์ด ๋ด์ฉ์ ์ ๋ฆฌํ๊ณ , ๋ ์์๋ณผ ์ ์๋ ์ฃผ์ ๋ค์ ์ดํด๋ณด์!
๐ ์ฃผ์ ๋ด์ฉ ์์ฝ
- ํฌ๋ ๋ชจ๋ ๊ตฐ์ ์ฌ์๊ณต๊ฐ์ ์ ๋ฆฌ์ ์๊ธฐ๋ํ์ฌ์๋ค์ ์งํฉ์ด๋ค.
- ๋น๊ฐํ์ฑ์ ๋ ๋ณํ์ ํฉ์ฑ ์์๊ฐ ๊ฒฐ๊ณผ์ ์ํฅ์ ๋ฏธ์น๋ค๋ ์๋ฏธ์ด๋ค.
- ํฌ๋ ๋ชจ๋ ๋ณํ์ ์ ๋ฆฌํจ์๋ก ์ ์๋๋ฉฐ, ๊ธฐ๋ณธ์ ์ ๊ฐ์ง ์ ์๋ค.
- 2์ฐจ์ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ์ฌ์์ ํ๋ณํ๊ณผ ํ์ค ์ ๊ณฑ ๋ณํ์ผ๋ก ์์ฑ๋๋ค.
- ๋์ญํ์ ๋ถ๋ฅ์ ๋ฐ๋ผ ์ ํ ์ฐจ์, ํ์์ , ๋ก์์ ๋ณํ์ผ๋ก ๋๋ ์ ์๋ค.
- ๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๋์๊ธฐํํ, ๊ตฐ๋ก , ๋์ญํ๊ณ ๋ฑ ๋ค์ํ ์ํ ๋ถ์ผ์ ์ฐ๊ฒฐ๋๋ค.
- ํ๋ ์ฐ๊ตฌ๋ ๊ณ ์ฐจ์ ํฌ๋ ๋ชจ๋ ๊ตฐ, ๋ถ๋ถ๊ตฐ ๊ตฌ์กฐ, ๋์ญํ์ ์ฑ์ง ๋ฑ์ ์ด์ ์ ๋ง์ถ๊ณ ์๋ค.
๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ์ฒ์์๋ ์ด๋ ต๊ฒ ๋๊ปด์ง ์ ์์ง๋ง, ๊ธฐ๋ณธ ๊ฐ๋ ์ ์ดํดํ๊ณ ๊ตฌ์ฒด์ ์ธ ์์๋ฅผ ํตํด ์ ๊ทผํ๋ฉด ์ถฉ๋ถํ ์ดํดํ ์ ์๋ ์ฃผ์ ์ผ. ์ด ๋ถ์ผ๋ ํ๋ ์ํ์ ์ฌ๋ฌ ์์ญ์ ์ฐ๊ฒฐํ๋ ์๋ฆ๋ค์ด ์ด๋ก ์ด์ง!
๋ ์์๋ณด๊ณ ์ถ๋ค๋ฉด, ๋ค์๊ณผ ๊ฐ์ ๊ด๋ จ ์ฃผ์ ๋ค์ ํ๊ตฌํด๋ณผ ์ ์์ด:
๐ฑ ์์ ๋ฆฌ์ ๊ธฐํํ(Birational Geometry)
ํฌ๋ ๋ชจ๋ ๊ตฐ์ ์์ ๋ฆฌ์ ๊ธฐํํ์ ํต์ฌ ๊ฐ๋ ์ด์ผ. ๋์๋ค์์ฒด์ ์์ ๋ฆฌ์ ๋ถ๋ฅ, ์ต์ ๋ชจ๋ธ ์ด๋ก , ์ ๋ฆฌ์ ์ฐ๊ฒฐ์ฑ ๋ฑ์ ์ฃผ์ ๋ฅผ ๋ ํ๊ตฌํด๋ณผ ์ ์์ด.
๐ฑ ๊ธฐํํ์ ๊ตฐ ์ด๋ก (Geometric Group Theory)
ํฌ๋ ๋ชจ๋ ๊ตฐ์ ๊ธฐํํ์ ๊ตฐ ์ด๋ก ์ ํฅ๋ฏธ๋ก์ด ์์์ผ. ๋ฌดํ ์ฐจ์ ๊ตฐ์ ๊ธฐํํ์ ์ฑ์ง, ์ฟฑ๋ง ๋ณตํฉ์ฒด(Curvature complexes), ๊ตฐ ์์ฉ ์ด๋ก ๋ฑ์ ๋ ์์๋ณผ ์ ์์ด.
๐ฑ ๋ณต์ ์ญํ๊ณ(Complex Dynamical Systems)
ํฌ๋ ๋ชจ๋ ๋ณํ์ ๋ฐ๋ณต ์ ์ฉ์ ๋ณต์ ์ญํ๊ณ ์ด๋ก ๊ณผ ๋ฐ์ ํ๊ฒ ์ฐ๊ด๋์ด ์์ด. ์ค๋ฆฌ์ ์งํฉ(Julia sets), ํผํ๋ ์ด๋ก (Fatou-Julia theory), ๋ณต์ ๋ค์์ฒด์์์ ์ญํ๊ณ ๋ฑ์ ํ๊ตฌํด๋ณผ ์ ์์ด.
๐ฑ ์์ ๋์(Quantum Algebra)
๋น๊ฐํ ๊ตฌ์กฐ๋ ์์ ๋์์ ์์ ๊ตฐ ์ด๋ก ์์๋ ์ค์ํด. ํธํ ๋์(Hopf algebras), ์์ ๊ตฐ(quantum groups), ๋น๊ฐํ ๊ธฐํํ ๋ฑ์ ์ฃผ์ ๋ก ํ์ฅํด๋ณผ ์ ์์ด.
๐ ์ถ์ฒ ํ์ต ์๋ฃ
- "Cremona Groups and the Icosahedron" by Igor Dolgachev
- "Birational Geometry of Algebraic Varieties" by Janos Kollรกr and Shigefumi Mori
- "The Cremona Group" by Julie Dรฉserti
- "Algebraic Geometry" by Robin Hartshorne (๊ธฐ์ด ๊ฐ๋ ํ์ต์ฉ)
- "Dynamics of Cremona Transformations" by Serge Cantat
์ด๋ฐ ์๋ฃ๋ค์ ์ฌ๋ฅ๋ท์์ ์ํ ์ ๋ฌธ๊ฐ๋ค์ ์ถ์ฒ์ ํตํด ๋ ๋ง์ด ์ฐพ์๋ณผ ์ ์์ด! ๐
๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ํ๋ ์ํ์ ์๋ฆ๋ค์ด ์ด๋ก ์ค ํ๋์ผ. ์ฒ์์๋ ์ด๋ ต๊ฒ ๋๊ปด์ง ์ ์์ง๋ง, ๊ธฐ๋ณธ ๊ฐ๋ ๋ถํฐ ์ฐจ๊ทผ์ฐจ๊ทผ ์ ๊ทผํ๋ฉด ๊ทธ ์๋ฆ๋ค์๊ณผ ๊น์ด๋ฅผ ์ถฉ๋ถํ ์ดํดํ ์ ์์ด. ์ํ์ ์ฌ์ ์ ๋์ด ์๊ณ , ํญ์ ์๋ก์ด ๋ฐ๊ฒฌ์ด ๊ธฐ๋ค๋ฆฌ๊ณ ์์ง! ๐
์ค๋ ์ฐ๋ฆฌ๊ฐ ํจ๊ป ํํํ ๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ์ธ๊ณ๊ฐ ๋์๊ฒ ์ํ์ ์๋ฆ๋ค์์ ๋๋ผ๋ ๊ธฐํ๊ฐ ๋์๊ธธ ๋ฐ๋ผ. ์ํ์ ๋จ์ํ ๊ณ์ฐ์ ๋์ด, ์ฐ์ฃผ์ ๊ทผ๋ณธ์ ์ธ ๊ตฌ์กฐ๋ฅผ ์ดํดํ๋ ์ธ์ด์ด์ ๋๊ตฌ๋๊น. ์์ผ๋ก๋ ํธ๊ธฐ์ฌ์ ๊ฐ์ง๊ณ ์ํ์ ์ ๋น๋ก์ด ์ธ๊ณ๋ฅผ ํํํด๋ณด์! ๐
๐ ๋ง์น๋ฉฐ
๋น๊ฐํ ํฌ๋ ๋ชจ๋ ๊ตฐ์ ์ฌ์ ์ ํจ๊ปํด์ค์ ๊ณ ๋ง์! ๋ ๋ง์ ์ํ์ ํํ์ ์ํ๋ค๋ฉด, ์ฌ๋ฅ๋ท์์ ๋ค์ํ ์ํ ๊ฐ์์ ์๋ฃ๋ฅผ ์ฐพ์๋ณผ ์ ์์ด. ์ํ์ ์๋ฆ๋ค์์ ํจ๊ป ๋๋ ๋ ๋์ฑ ๋น๋๋๊น! ๐
๊ด๋ จ ํค์๋
๋๊ธ ์์ฑ
์ด ๊ธ์ ๋ํ ์ฌ๋ฌ๋ถ์ ์๊ฐ์ ๋ค๋ ค์ฃผ์ธ์
๋ก๊ทธ์ธ์ด ํ์ํฉ๋๋ค
๋๊ธ์ ์์ฑํ๋ ค๋ฉด ๋จผ์ ๋ก๊ทธ์ธํด์ฃผ์ธ์.
๋๊ธ 0
์ง์์ธ์ ์ฒ - ์ง์ ์ฌ์ฐ๊ถ ๋ณดํธ ๊ณ ์ง
์ง์ ์ฌ์ฐ๊ถ ๋ณดํธ ๊ณ ์ง
- ์ ์๊ถ ๋ฐ ์์ ๊ถ: ๋ณธ ์ปจํ ์ธ ๋ ์ฌ๋ฅ๋ท์ ๋ ์ AI ๊ธฐ์ ๋ก ์์ฑ๋์์ผ๋ฉฐ, ๋ํ๋ฏผ๊ตญ ์ ์๊ถ๋ฒ ๋ฐ ๊ตญ์ ์ ์๊ถ ํ์ฝ์ ์ํด ๋ณดํธ๋ฉ๋๋ค.
- AI ์์ฑ ์ปจํ ์ธ ์ ๋ฒ์ ์ง์: ๋ณธ AI ์์ฑ ์ปจํ ์ธ ๋ ์ฌ๋ฅ๋ท์ ์ง์ ์ฐฝ์๋ฌผ๋ก ์ธ์ ๋๋ฉฐ, ๊ด๋ จ ๋ฒ๊ท์ ๋ฐ๋ผ ์ ์๊ถ ๋ณดํธ๋ฅผ ๋ฐ์ต๋๋ค.
- ์ฌ์ฉ ์ ํ: ์ฌ๋ฅ๋ท์ ๋ช ์์ ์๋ฉด ๋์ ์์ด ๋ณธ ์ปจํ ์ธ ๋ฅผ ๋ณต์ , ์์ , ๋ฐฐํฌ, ๋๋ ์์ ์ ์ผ๋ก ํ์ฉํ๋ ํ์๋ ์๊ฒฉํ ๊ธ์ง๋ฉ๋๋ค.
- ๋ฐ์ดํฐ ์์ง ๊ธ์ง: ๋ณธ ์ปจํ ์ธ ์ ๋ํ ๋ฌด๋จ ์คํฌ๋ํ, ํฌ๋กค๋ง, ๋ฐ ์๋ํ๋ ๋ฐ์ดํฐ ์์ง์ ๋ฒ์ ์ ์ฌ์ ๋์์ด ๋ฉ๋๋ค.
- AI ํ์ต ์ ํ: ์ฌ๋ฅ๋ท์ AI ์์ฑ ์ปจํ ์ธ ๋ฅผ ํ AI ๋ชจ๋ธ ํ์ต์ ๋ฌด๋จ ์ฌ์ฉํ๋ ํ์๋ ๊ธ์ง๋๋ฉฐ, ์ด๋ ์ง์ ์ฌ์ฐ๊ถ ์นจํด๋ก ๊ฐ์ฃผ๋ฉ๋๋ค.
์์ง ๋๊ธ์ด ์์ต๋๋ค.