์ฝ˜ํ…์ธ  ๋Œ€ํ‘œ ์ด๋ฏธ์ง€ - ๐Ÿงฎ ๋น„๊ฐ€ํ™˜ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ๊ตฌ์กฐ์™€ ์„ฑ์งˆ ๐Ÿงฉ

๐Ÿงฎ ๋น„๊ฐ€ํ™˜ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ๊ตฌ์กฐ์™€ ์„ฑ์งˆ ๐Ÿงฉ

์ˆ˜ํ•™์˜ ์‹ ๋น„๋กœ์šด ์„ธ๊ณ„๋กœ ํ•จ๊ป˜ ๋– ๋‚˜๋Š” ์—ฌํ–‰

์•ˆ๋…•, ์ˆ˜ํ•™ ํƒํ—˜๊ฐ€! ์˜ค๋Š˜์€ ์ˆ˜ํ•™์˜ ๊นŠ์€ ์ˆฒ์†์œผ๋กœ ๋“ค์–ด๊ฐ€ ๋น„๊ฐ€ํ™˜ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์ด๋ผ๋Š” ์‹ ๋น„๋กœ์šด ์กด์žฌ์— ๋Œ€ํ•ด ์•Œ์•„๋ณผ ๊ฑฐ์•ผ. ์–ด๋ ต๊ฒŒ ๋“ค๋ฆด ์ˆ˜ ์žˆ์ง€๋งŒ, ์นœ๊ตฌ์ฒ˜๋Ÿผ ์‰ฝ๊ฒŒ ์„ค๋ช…ํ•ด ์ค„๊ฒŒ. ์ด ์—ฌ์ •์„ ํ†ตํ•ด ๋Œ€์ˆ˜๊ธฐํ•˜ํ•™์˜ ์•„๋ฆ„๋‹ค์›€์„ ํ•จ๊ป˜ ๋ฐœ๊ฒฌํ•ด๋ณด์ž! ๐Ÿš€

๐Ÿ“š ๋ชฉ์ฐจ

  1. ๋น„๊ฐ€ํ™˜ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์ด๋ž€ ๋ฌด์—‡์ธ๊ฐ€?
  2. ํฌ๋ ˆ๋ชจ๋‚˜ ๋ณ€ํ™˜์˜ ๊ธฐ์ดˆ
  3. ๋น„๊ฐ€ํ™˜์„ฑ์˜ ์˜๋ฏธ์™€ ์ค‘์š”์„ฑ
  4. ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ๊ตฌ์กฐ ํƒํ—˜
  5. ๋Œ€ํ‘œ์ ์ธ ์˜ˆ์‹œ์™€ ์‘์šฉ
  6. ๋น„๊ฐ€ํ™˜ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ํŠน๋ณ„ํ•œ ์„ฑ์งˆ
  7. ํ˜„๋Œ€ ์ˆ˜ํ•™์—์„œ์˜ ์œ„์น˜์™€ ์—ฐ๊ตฌ ๋™ํ–ฅ
  8. ์žฌ๋ฏธ์žˆ๋Š” ๋ฌธ์ œ์™€ ํ•จ๊ป˜ํ•˜๋Š” ์‹ค์Šต
  9. ๋งˆ๋ฌด๋ฆฌ ๋ฐ ๋” ์•Œ์•„๋ณผ ๋‚ด์šฉ

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 ์ž–์•„.

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

๋น„๊ฐ€ํ™˜ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ ์‹œ๊ฐํ™” A B AยทB = BยทA ๊ฐ€ํ™˜ ์—ฐ์‚ฐ AยทB BยทA ๋น„๊ฐ€ํ™˜ ์—ฐ์‚ฐ A B AยทB โ‰  BยทA (๋น„๊ฐ€ํ™˜ ์—ฐ์‚ฐ์—์„œ๋Š” ์ˆœ์„œ๊ฐ€ ์ค‘์š”ํ•ด์š”!)

์žฌ๋Šฅ๋„ท์—์„œ ์ˆ˜ํ•™ ํŠœํ„ฐ๋ง์„ ์ฐพ์•„๋ณธ ์  ์žˆ์–ด? ์ด๋Ÿฐ ๊ณ ๊ธ‰ ์ˆ˜ํ•™ ์ฃผ์ œ๋Š” ํ˜ผ์ž ๊ณต๋ถ€ํ•˜๊ธฐ ์–ด๋ ค์šธ ์ˆ˜ ์žˆ์ง€๋งŒ, ์ „๋ฌธ๊ฐ€์˜ ๋„์›€์„ ๋ฐ›์œผ๋ฉด ํ›จ์”ฌ ์‰ฝ๊ฒŒ ์ดํ•ดํ•  ์ˆ˜ ์žˆ์–ด. ํŠนํžˆ ๋น„๊ฐ€ํ™˜ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ ๊ฐ™์€ ์ถ”์ƒ์ ์ธ ๊ฐœ๋…์€ ์‹œ๊ฐ์  ์„ค๋ช…๊ณผ ํ•จ๊ป˜ํ•  ๋•Œ ๋” ์ž˜ ์™€๋‹ฟ์ง€! ๐ŸŽ“

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)์ด๋ผ๋Š” ์ ์ด์•ผ. ์ฆ‰, ๋ณ€ํ™˜๊ณผ ๊ทธ ์—ญ๋ณ€ํ™˜ ๋ชจ๋‘ ์œ ๋ฆฌ์ ์ด๋ผ๋Š” ๊ฑฐ์ง€. ์ด๋Š” ๋ณ€ํ™˜์ด (๊ฑฐ์˜ ๋ชจ๋“  ์ ์—์„œ) ์ผ๋Œ€์ผ ๋Œ€์‘์ด ๋˜๋ฉฐ, ์—ญ๋ณ€ํ™˜๋„ ์œ ๋ฆฌํ•จ์ˆ˜๋กœ ํ‘œํ˜„๋œ๋‹ค๋Š” ์˜๋ฏธ์•ผ.

ํฌ๋ ˆ๋ชจ๋‚˜ ๋ณ€ํ™˜ ์‹œ๊ฐํ™” ์›๋ณธ ํ‰๋ฉด Pยฒ A B ๋ณ€ํ™˜๋œ ํ‰๋ฉด Pยฒ A' B' ฯ† ฯ†โปยน ฯ†: [x:y:z] โ†ฆ [P(x,y,z):Q(x,y,z):R(x,y,z)] ์Œ์œ ๋ฆฌ์  ๋ณ€ํ™˜ (birational transformation)

ํฌ๋ ˆ๋ชจ๋‚˜ ๋ณ€ํ™˜์„ ์ดํ•ดํ•˜๋Š” ๋ฐ ์žˆ์–ด ์ค‘์š”ํ•œ ๊ฐœ๋… ์ค‘ ํ•˜๋‚˜๋Š” ๊ธฐ๋ณธ์ (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)

๊ฒฐ๊ณผ๊ฐ€ ๋‹ค๋ฅด์ง€? ฯ†โˆ˜ฯˆ โ‰  ฯˆโˆ˜ฯ† ์ด๋ฏ€๋กœ, ์ด ๋‘ ๋ณ€ํ™˜์€ ๋น„๊ฐ€ํ™˜์ ์ด์•ผ.

๋น„๊ฐ€ํ™˜์„ฑ์ด ์ค‘์š”ํ•œ ์ด์œ ๋Š” ๋ฌด์—‡์ผ๊นŒ? ๊ทธ๊ฒƒ์€ ๋” ํ’๋ถ€ํ•œ ์ˆ˜ํ•™์  ๊ตฌ์กฐ๋ฅผ ๋งŒ๋“ค์–ด๋‚ด๊ธฐ ๋•Œ๋ฌธ์ด์•ผ. ๊ฐ€ํ™˜ ๊ตฌ์กฐ๋ณด๋‹ค ๋น„๊ฐ€ํ™˜ ๊ตฌ์กฐ๊ฐ€ ๋” ๋ณต์žกํ•˜๊ณ , ๋”ฐ๋ผ์„œ ๋” ๋‹ค์–‘ํ•œ ์ˆ˜ํ•™์  ํ˜„์ƒ์„ ์„ค๋ช…ํ•  ์ˆ˜ ์žˆ์–ด.

๋ฌผ๋ฆฌํ•™์—์„œ๋„ ๋น„๊ฐ€ํ™˜์„ฑ์€ ์ค‘์š”ํ•œ ์—ญํ• ์„ ํ•ด. ์˜ˆ๋ฅผ ๋“ค์–ด, ์–‘์ž์—ญํ•™์—์„œ ์œ„์น˜ ์—ฐ์‚ฐ์ž์™€ ์šด๋™๋Ÿ‰ ์—ฐ์‚ฐ์ž๋Š” ๋น„๊ฐ€ํ™˜์ ์ด์•ผ. ์ด๊ฒƒ์ด ํ•˜์ด์  ๋ฒ ๋ฅดํฌ์˜ ๋ถˆํ™•์ •์„ฑ ์›๋ฆฌ์˜ ์ˆ˜ํ•™์  ๊ธฐ์ดˆ๊ฐ€ ๋˜์ง€.

๋น„๊ฐ€ํ™˜์„ฑ ์‹œ๊ฐํ™”: ๋‘ ํฌ๋ ˆ๋ชจ๋‚˜ ๋ณ€ํ™˜์˜ ํ•ฉ์„ฑ ์›๋ณธ ๊ณต๊ฐ„ P ฯ†(P) ์ ์šฉ ํ›„ ฯ†(P) ฯˆ(ฯ†(P)) ์ตœ์ข… ๊ฒฐ๊ณผ ฯˆ(ฯ†(P)) ฯˆ(P) ์ ์šฉ ํ›„ ฯˆ(P) ฯ†(ฯˆ(P)) ์ตœ์ข… ๊ฒฐ๊ณผ ฯ†(ฯˆ(P)) ฯ† ฯˆ ฯˆ ฯ† ฯ†โˆ˜ฯˆ โ‰  ฯˆโˆ˜ฯ† (๋น„๊ฐ€ํ™˜์„ฑ)

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

๐Ÿš€ ๋น„๊ฐ€ํ™˜์„ฑ์˜ ์‘์šฉ

๋น„๊ฐ€ํ™˜ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ๊ตฌ์กฐ๋Š” ๋Œ€์ˆ˜๊ธฐํ•˜ํ•™ ๋ฟ๋งŒ ์•„๋‹ˆ๋ผ ๋‹ค์Œ๊ณผ ๊ฐ™์€ ๋ถ„์•ผ์—๋„ ์‘์šฉ๋ผ:

  1. ์•”ํ˜ธํ•™: ๋น„๊ฐ€ํ™˜ ๊ตฌ์กฐ๋ฅผ ์ด์šฉํ•œ ์ƒˆ๋กœ์šด ์•”ํ˜ธํ™” ๋ฐฉ์‹
  2. ์–‘์ž ์ปดํ“จํŒ…: ๋น„๊ฐ€ํ™˜ ์—ฐ์‚ฐ์„ ๊ธฐ๋ฐ˜์œผ๋กœ ํ•œ ์•Œ๊ณ ๋ฆฌ์ฆ˜
  3. ์—ญํ•™๊ณ„: ๋น„๊ฐ€ํ™˜ ๋ณ€ํ™˜์œผ๋กœ ์ธํ•œ ์นด์˜ค์Šค ํ˜„์ƒ ์—ฐ๊ตฌ
  4. ๋ฏธ๋ถ„๊ธฐํ•˜ํ•™: ๋น„๊ฐ€ํ™˜ ๊ณต๊ฐ„์˜ ๊ณก๋ฅ  ์—ฐ๊ตฌ

๋น„๊ฐ€ํ™˜์„ฑ์„ ์ดํ•ดํ•˜๋Š” ๊ฒƒ์€ ํ˜„๋Œ€ ์ˆ˜ํ•™์˜ ๋งŽ์€ ๋ถ„์•ผ๋ฅผ ์ดํ•ดํ•˜๋Š” ๋ฐ ํ•ต์‹ฌ์ด์•ผ. ์ˆœ์„œ๊ฐ€ ์ค‘์š”ํ•˜๋‹ค๋Š” ๋‹จ์ˆœํ•œ ๊ฐœ๋…์ด ์–ผ๋งˆ๋‚˜ ๊นŠ๊ณ  ํ’๋ถ€ํ•œ ์ˆ˜ํ•™์  ๊ตฌ์กฐ๋ฅผ ๋งŒ๋“ค์–ด๋‚ด๋Š”์ง€ ์ •๋ง ๋†€๋ผ์›Œ! ๐ŸŒŸ

4. ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ๊ตฌ์กฐ ํƒํ—˜ ๐Ÿ—บ๏ธ

์ด์ œ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ๊ตฌ์กฐ์— ๋Œ€ํ•ด ๋” ๊นŠ์ด ๋“ค์–ด๊ฐ€ ๋ณผ๊ฒŒ. ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์€ ๋‹จ์ˆœํ•œ ์ง‘ํ•ฉ์ด ์•„๋‹ˆ๋ผ ํ’๋ถ€ํ•œ ๋Œ€์ˆ˜์ , ๊ธฐํ•˜ํ•™์  ๊ตฌ์กฐ๋ฅผ ๊ฐ€์ง„ ์ˆ˜ํ•™์  ๊ฐ์ฒด์•ผ.

๐Ÿ—๏ธ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ๊ธฐ๋ณธ ๊ตฌ์กฐ

n์ฐจ์› ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ Cr(n)์€ ๋‹ค์Œ๊ณผ ๊ฐ™์€ ํŠน์„ฑ์„ ๊ฐ€์ ธ:

  1. ๋ฌดํ•œ ์ฐจ์› ๊ตฐ์ด๋‹ค (n โ‰ฅ 2์ผ ๋•Œ)
  2. ๋น„๊ฐ€ํ™˜์ ์ด๋‹ค (n โ‰ฅ 2์ผ ๋•Œ)
  3. ์‚ฌ์˜์„ ํ˜•๊ตฐ PGL(n+1)์„ ๋ถ€๋ถ„๊ตฐ์œผ๋กœ ํฌํ•จํ•œ๋‹ค
  4. ๋‹จ์ˆœ๊ตฐ์ด ์•„๋‹ˆ๋‹ค (์ฆ‰, ์ž๋ช…ํ•˜์ง€ ์•Š์€ ์ •๊ทœ ๋ถ€๋ถ„๊ตฐ์„ ๊ฐ€์ง„๋‹ค)

ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ Cr(n)์˜ ๊ฐ€์žฅ ๊ธฐ๋ณธ์ ์ธ ๋ถ€๋ถ„๊ตฐ์€ ์‚ฌ์˜์„ ํ˜•๊ตฐ PGL(n+1)์ด์•ผ. ์ด ๋ถ€๋ถ„๊ตฐ์€ ์‚ฌ์˜๊ณต๊ฐ„์˜ ์„ ํ˜• ์ž๊ธฐ๋™ํ˜•์‚ฌ์ƒ๋“ค๋กœ ๊ตฌ์„ฑ๋˜์–ด ์žˆ์–ด. ์‰ฝ๊ฒŒ ๋งํ•˜๋ฉด, ์„ ํ˜• ๋ณ€ํ™˜๋งŒ์„ ๊ณ ๋ คํ•œ ๋ถ€๋ถ„์ง‘ํ•ฉ์ด์ง€.

๋˜ ๋‹ค๋ฅธ ์ค‘์š”ํ•œ ๋ถ€๋ถ„๊ตฐ์€ ์œ ๋ฆฌ ๋‹จํ•ญ์‹ ๊ตฐ(rational monomial group)์ด์•ผ. ์ด ๋ถ€๋ถ„๊ตฐ์€ ์ขŒํ‘œ๋“ค์˜ ๋‹จํ•ญ์‹ ๋ณ€ํ™˜์œผ๋กœ ๊ตฌ์„ฑ๋˜์–ด ์žˆ์–ด. ์˜ˆ๋ฅผ ๋“ค๋ฉด:

(x, y) โ†ฆ (x^a ยท y^b, x^c ยท y^d)

์—ฌ๊ธฐ์„œ ํ–‰๋ ฌ [[a, b], [c, d]]๋Š” ์ •์ˆ˜ ์„ฑ๋ถ„์„ ๊ฐ€์ง€๋ฉฐ ํ–‰๋ ฌ์‹์ด ยฑ1์ด์•ผ.

ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ๊ตฌ์กฐ๋ฅผ ์ดํ•ดํ•˜๋Š” ๋ฐ ์ค‘์š”ํ•œ ๊ฐœ๋… ์ค‘ ํ•˜๋‚˜๋Š” ์ƒ์„ฑ์ž(generators)์•ผ. ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์€ ๋ฌดํ•œ ์ฐจ์›์ด๊ธฐ ๋•Œ๋ฌธ์— ์œ ํ•œํ•œ ์ˆ˜์˜ ์ƒ์„ฑ์ž๋กœ ํ‘œํ˜„ํ•  ์ˆ˜ ์—†์–ด. ํ•˜์ง€๋งŒ ํŠน์ • ๋ถ€๋ถ„๊ตฐ์€ ์œ ํ•œํ•œ ์ˆ˜์˜ ์ƒ์„ฑ์ž๋กœ ํ‘œํ˜„๋  ์ˆ˜ ์žˆ์ง€.

ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ๊ตฌ์กฐ Cr(n) n์ฐจ์› ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ PGL(n+1) ์‚ฌ์˜์„ ํ˜•๊ตฐ ์œ ๋ฆฌ ๋‹จํ•ญ์‹ ๊ตฐ de Jonquiรจres ๋ถ€๋ถ„๊ตฐ ๊ต์ง‘ํ•ฉ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์€ ๋‹ค์–‘ํ•œ ๋ถ€๋ถ„๊ตฐ๋“ค์˜ ๋ณต์žกํ•œ ๊ตฌ์กฐ๋ฅผ ๊ฐ€์ง€๊ณ  ์žˆ์Šต๋‹ˆ๋‹ค ๊ฐ ๋ถ€๋ถ„๊ตฐ์€ ํŠน์ • ์œ ํ˜•์˜ ๋ณ€ํ™˜๋“ค์„ ๋‚˜ํƒ€๋ƒ…๋‹ˆ๋‹ค

ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ๋˜ ๋‹ค๋ฅธ ์ค‘์š”ํ•œ ์ธก๋ฉด์€ ์ •๊ทœ ๋ถ€๋ถ„๊ตฐ(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)์ด์•ผ. ์ด๋Š” ๋ชจ๋“  ์ „์‚ฌ ์ค€๋™ํ˜•์‚ฌ์ƒ์ด ์ž๋™์œผ๋กœ ๋‹จ์‚ฌ๋ผ๋Š” ์˜๋ฏธ์ง€. ์‰ฝ๊ฒŒ ๋งํ•˜๋ฉด, ๊ตฐ์„ ์ž๊ธฐ ์ž์‹ ์—๊ฒŒ "์••์ถ•"ํ•  ์ˆ˜ ์—†๋‹ค๋Š” ๋œป์ด์•ผ.

๋น„๊ฐ€ํ™˜ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ๋˜ ๋‹ค๋ฅธ ํฅ๋ฏธ๋กœ์šด ์ธก๋ฉด์€ ๋™์—ญํ•™์  ์„ฑ์งˆ์ด์•ผ. ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ์›์†Œ๋“ค์€ ๊ทธ ๋ฐ˜๋ณต ์ ์šฉ์— ๋”ฐ๋ผ ์„ธ ๊ฐ€์ง€ ์œ ํ˜•์œผ๋กœ ๋ถ„๋ฅ˜๋  ์ˆ˜ ์žˆ์–ด:

  1. ์œ ํ•œ ์ฐจ์ˆ˜(Finite order): ์–ด๋–ค n์— ๋Œ€ํ•ด ฯ†โฟ = id์ธ ๊ฒฝ์šฐ
  2. ํƒ€์›์ (Elliptic): ์ฐจ์ˆ˜ ์‹œํ€€์Šค๊ฐ€ ์œ ๊ณ„์ธ ๊ฒฝ์šฐ
  3. ๋กœ์‹œ์ (Loxodromic): ์ฐจ์ˆ˜ ์‹œํ€€์Šค๊ฐ€ ์ง€์ˆ˜์ ์œผ๋กœ ์ฆ๊ฐ€ํ•˜๋Š” ๊ฒฝ์šฐ

์ด ๋ถ„๋ฅ˜๋Š” ํฌ๋ ˆ๋ชจ๋‚˜ ๋ณ€ํ™˜์˜ ๋™์—ญํ•™์  ํ–‰๋™์„ ์ดํ•ดํ•˜๋Š” ๋ฐ ํ•ต์‹ฌ์ ์ด์•ผ. ํŠนํžˆ ๋กœ์‹œ์  ๋ณ€ํ™˜์€ ์นด์˜ค์Šค์  ํ–‰๋™์„ ๋ณด์ด๋Š” ๊ฒฝ์šฐ๊ฐ€ ๋งŽ์•„์„œ ์—ญํ•™๊ณ„ ์—ฐ๊ตฌ์— ์ค‘์š”ํ•ด.

๐ŸŒ€ ๋กœ์‹œ์  ๋ณ€ํ™˜์˜ ์˜ˆ

๋‹ค์Œ ๋ณ€ํ™˜์„ ์ƒ๊ฐํ•ด๋ณด์ž:

ฯ†: (x, y) โ†ฆ (y, yยฒ/x)

์ด ๋ณ€ํ™˜์˜ ์ฐจ์ˆ˜ ์‹œํ€€์Šค๋Š” [2, 3, 5, 8, 13, ...]๋กœ, ํ”ผ๋ณด๋‚˜์น˜ ์ˆ˜์—ด์„ ๋”ฐ๋ผ ์ฆ๊ฐ€ํ•ด. ์ด๋Š” ์ „ํ˜•์ ์ธ ๋กœ์‹œ์  ๋ณ€ํ™˜์˜ ์˜ˆ์•ผ.

๋น„๊ฐ€ํ™˜ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ๋˜ ๋‹ค๋ฅธ ์ค‘์š”ํ•œ ์„ฑ์งˆ์€ ์ •๊ทœ ๋ถ€๋ถ„๊ตฐ ๊ตฌ์กฐ์™€ ๊ด€๋ จ์ด ์žˆ์–ด. ์•ž์„œ ์–ธ๊ธ‰ํ–ˆ๋“ฏ์ด, 2์ฐจ์› ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ๋ชจ๋“  ์ž๋ช…ํ•˜์ง€ ์•Š์€ ์ •๊ทœ ๋ถ€๋ถ„๊ตฐ์€ PGL(3)์„ ํฌํ•จํ•ด. ์ด ๊ฒฐ๊ณผ๋Š” ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ๋Œ€์ˆ˜์  ๊ตฌ์กฐ์— ๋Œ€ํ•œ ๊นŠ์€ ํ†ต์ฐฐ์„ ์ œ๊ณตํ•ด.

๐Ÿ” ์ •๋ฆฌ: ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ์ž๊ธฐ๋™ํ˜•๊ตฐ

2์ฐจ์› ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ Cr(2)์˜ ์ž๊ธฐ๋™ํ˜•๊ตฐ์€ PGL(3)์˜ ์ž๊ธฐ๋™ํ˜•๊ตฐ๊ณผ ๋™ํ˜•์ด๋‹ค.

์ด ๋†€๋ผ์šด ๊ฒฐ๊ณผ๋Š” ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ๊ตฌ์กฐ๊ฐ€ ์–ผ๋งˆ๋‚˜ ์—„๊ฒฉํ•˜๊ฒŒ ์ œํ•œ๋˜์–ด ์žˆ๋Š”์ง€ ๋ณด์—ฌ์ค˜.

๋งˆ์ง€๋ง‰์œผ๋กœ, ๋น„๊ฐ€ํ™˜ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์€ ํ‘œํ˜„ ์ด๋ก (representation theory) ์ธก๋ฉด์—์„œ๋„ ํฅ๋ฏธ๋กœ์šด ์„ฑ์งˆ์„ ๊ฐ€์ ธ. ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ์„ ํ˜• ํ‘œํ˜„์€ ๋งค์šฐ ์ œํ•œ์ ์ด๋ฉฐ, ์ด๋Š” ๊ตฐ์˜ ๋น„์„ ํ˜•์  ํŠน์„ฑ์„ ๋ฐ˜์˜ํ•ด.

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

7. ํ˜„๋Œ€ ์ˆ˜ํ•™์—์„œ์˜ ์œ„์น˜์™€ ์—ฐ๊ตฌ ๋™ํ–ฅ ๐Ÿš€

๋น„๊ฐ€ํ™˜ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์€ ํ˜„๋Œ€ ์ˆ˜ํ•™, ํŠนํžˆ ๋Œ€์ˆ˜๊ธฐํ•˜ํ•™๊ณผ ๊ตฐ๋ก ์˜ ๊ต์ฐจ์ ์— ์œ„์น˜ํ•œ ์ค‘์š”ํ•œ ์—ฐ๊ตฌ ์ฃผ์ œ์•ผ. ์ตœ๊ทผ ๋ช‡ ์‹ญ ๋…„ ๋™์•ˆ ์ด ๋ถ„์•ผ๋Š” ์ƒ๋‹นํ•œ ๋ฐœ์ „์„ ์ด๋ฃจ์—ˆ๊ณ , ์—ฌ์ „ํžˆ ํ™œ๋ฐœํ•œ ์—ฐ๊ตฌ๊ฐ€ ์ง„ํ–‰ ์ค‘์ด์•ผ. ํ˜„๋Œ€ ์ˆ˜ํ•™์—์„œ ๋น„๊ฐ€ํ™˜ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ์œ„์น˜์™€ ์ตœ์‹  ์—ฐ๊ตฌ ๋™ํ–ฅ์„ ์‚ดํŽด๋ณด์ž!

๐Ÿ“š ์ฃผ์š” ์—ฐ๊ตฌ ๋ถ„์•ผ

  1. ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ๊ตฌ์กฐ ์ด๋ก : ์ƒ์„ฑ์ž, ๊ด€๊ณ„์‹, ๋ถ€๋ถ„๊ตฐ ๋“ฑ
  2. ๋™์—ญํ•™์  ์ธก๋ฉด: ํฌ๋ ˆ๋ชจ๋‚˜ ๋ณ€ํ™˜์˜ ๋ฐ˜๋ณต ์ ์šฉ๊ณผ ๊ทธ ํšจ๊ณผ
  3. ๊ธฐํ•˜ํ•™์  ๋ถˆ๋ณ€๋Ÿ‰: ํฌ๋ ˆ๋ชจ๋‚˜ ๋ณ€ํ™˜ ํ•˜์—์„œ ๋ณด์กด๋˜๋Š” ์„ฑ์งˆ๋“ค
  4. ์Œ์œ ๋ฆฌ์  ๊ธฐํ•˜ํ•™: ๋‹ค์–‘์ฒด๋“ค ์‚ฌ์ด์˜ ์Œ์œ ๋ฆฌ์  ๋™ํ˜•์„ฑ
  5. ๊ณ„์‚ฐ์  ์ธก๋ฉด: ํฌ๋ ˆ๋ชจ๋‚˜ ๋ณ€ํ™˜์˜ ํšจ์œจ์ ์ธ ๊ณ„์‚ฐ ๋ฐฉ๋ฒ•

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)์— ๊ด€ํ•œ ๊ฒƒ์ด์•ผ. ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์„ ๋ฌดํ•œ ์ฐจ์› ๋‹ค์–‘์ฒด์˜ ์ž๊ธฐ๋™ํ˜•๊ตฐ์œผ๋กœ ์‹คํ˜„ํ•˜๋Š” ๋ฐฉ๋ฒ•์— ๋Œ€ํ•œ ์—ฐ๊ตฌ๊ฐ€ ํ™œ๋ฐœํžˆ ์ง„ํ–‰ ์ค‘์ด์•ผ. ์ด๋Š” ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ์œ„์ƒ์ , ๊ธฐํ•˜ํ•™์  ์„ฑ์งˆ์„ ๋” ์ž˜ ์ดํ•ดํ•˜๋Š” ๋ฐ ๋„์›€์„ ์ค˜.

โ“ ์ฃผ์š” ๋ฏธํ•ด๊ฒฐ ๋ฌธ์ œ๋“ค

  1. 3์ฐจ์› ์ด์ƒ์˜ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ์ƒ์„ฑ์ž์™€ ๊ด€๊ณ„์‹์€ ๋ฌด์—‡์ธ๊ฐ€?
  2. ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ์ฝ”ํ˜ธ๋ชฐ๋กœ์ง€ ๊ตฐ(cohomology groups)์€ ์–ด๋–ค ๊ตฌ์กฐ๋ฅผ ๊ฐ€์ง€๋Š”๊ฐ€?
  3. ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ํ‘œํ˜„ ์ด๋ก ์€ ์–ด๋–ป๊ฒŒ ๋ฐœ์ „์‹œํ‚ฌ ์ˆ˜ ์žˆ๋Š”๊ฐ€?
  4. ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ๊ธฐํ•˜ํ•™์  ์‹คํ˜„์— ๋Œ€ํ•œ ์ตœ์ ์˜ ๋ฐฉ๋ฒ•์€ ๋ฌด์—‡์ธ๊ฐ€?
  5. ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ๋ถ€๋ถ„๊ตฐ ๊ตฌ์กฐ, ํŠนํžˆ ๋ฌดํ•œ ๋ถ€๋ถ„๊ตฐ์˜ ๋ถ„๋ฅ˜๋Š” ์–ด๋–ป๊ฒŒ ํ•  ์ˆ˜ ์žˆ๋Š”๊ฐ€?

๋น„๊ฐ€ํ™˜ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ ์—ฐ๊ตฌ๋Š” ์ˆœ์ˆ˜ ์ˆ˜ํ•™์  ๊ด€์‹ฌ์„ ๋„˜์–ด ์‘์šฉ ๋ถ„์•ผ๋กœ๋„ ํ™•์žฅ๋˜๊ณ  ์žˆ์–ด. ํŠนํžˆ ๋Œ€์ˆ˜์  ์•”ํ˜ธํ•™, ์–‘์ž ์ •๋ณด ์ด๋ก , ๋ณต์žก๊ณ„ ๋ชจ๋ธ๋ง ๋“ฑ์˜ ๋ถ„์•ผ์—์„œ ํฌ๋ ˆ๋ชจ๋‚˜ ๋ณ€ํ™˜์˜ ์‘์šฉ ๊ฐ€๋Šฅ์„ฑ์ด ํƒ๊ตฌ๋˜๊ณ  ์žˆ์ง€.

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

๐Ÿ”ฎ ๋ฏธ๋ž˜ ์—ฐ๊ตฌ ๋ฐฉํ–ฅ

๋น„๊ฐ€ํ™˜ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ ์—ฐ๊ตฌ์˜ ๋ฏธ๋ž˜ ๋ฐฉํ–ฅ์€ ๋‹ค์Œ๊ณผ ๊ฐ™์€ ์˜์—ญ์„ ํฌํ•จํ•  ๊ฒƒ์œผ๋กœ ์˜ˆ์ƒ๋ผ:

  1. ๊ณ ์ฐจ์› ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ๊ตฌ์กฐ ์ดํ•ด
  2. ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ๊ณผ ๋‹ค๋ฅธ ์ˆ˜ํ•™์  ๊ตฌ์กฐ(์˜ˆ: ์–‘์ž๊ตฐ, ํ˜ธํ”„ ๋Œ€์ˆ˜) ์‚ฌ์ด์˜ ์—ฐ๊ฒฐ์„ฑ ํƒ๊ตฌ
  3. ํฌ๋ ˆ๋ชจ๋‚˜ ๋ณ€ํ™˜์˜ ๊ณ„์‚ฐ์  ์ธก๋ฉด ๋ฐœ์ „
  4. ๋น„๊ฐ€ํ™˜ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ๋ฌผ๋ฆฌํ•™์  ์‘์šฉ ํ™•์žฅ
  5. ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ํ‘œํ˜„ ์ด๋ก  ๊ฐœ๋ฐœ

์žฌ๋Šฅ๋„ท์—์„œ๋Š” ์ด๋Ÿฐ ์ตœ์‹  ์ˆ˜ํ•™ ์—ฐ๊ตฌ ๋™ํ–ฅ์„ ๋”ฐ๋ผ๊ฐ€๋Š” ๋ฐ ๋„์›€์ด ๋˜๋Š” ์ „๋ฌธ๊ฐ€๋“ค์˜ ๊ฐ•์˜์™€ ์ž๋ฃŒ๋ฅผ ์ฐพ์•„๋ณผ ์ˆ˜ ์žˆ์–ด. ์ˆ˜ํ•™์˜ ์ตœ์ „์„ ์—์„œ ์ผ์–ด๋‚˜๋Š” ํฅ๋ฏธ๋กœ์šด ๋ฐœ์ „์„ ํ•จ๊ป˜ ํƒ๊ตฌํ•ด๋ณด๋Š” ๊ฑด ์–ด๋–จ๊นŒ? ๐Ÿ”ญ

8. ์žฌ๋ฏธ์žˆ๋Š” ๋ฌธ์ œ์™€ ํ•จ๊ป˜ํ•˜๋Š” ์‹ค์Šต โœ๏ธ

์ง€๊ธˆ๊นŒ์ง€ ๋น„๊ฐ€ํ™˜ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์— ๋Œ€ํ•œ ์ด๋ก ์ ์ธ ๋‚ด์šฉ์„ ๋งŽ์ด ๋ฐฐ์› ์–ด. ์ด์ œ ๋ช‡ ๊ฐ€์ง€ ์žฌ๋ฏธ์žˆ๋Š” ๋ฌธ์ œ๋ฅผ ํ’€์–ด๋ณด๋ฉด์„œ ๊ฐœ๋…์„ ๋” ํ™•์‹คํžˆ ์ดํ•ดํ•ด๋ณด์ž! ๋„ˆ๋ฌด ์–ด๋ ต๊ฒŒ ๋А๊ปด์ง€์ง€ ์•Š๋„๋ก ๋‹จ๊ณ„๋ณ„๋กœ ์ ‘๊ทผํ•  ๊ฑฐ์•ผ. ์ค€๋น„๋๋‹ˆ? ๐Ÿงฉ

๋ฌธ์ œ 1: ๊ฐ„๋‹จํ•œ ํฌ๋ ˆ๋ชจ๋‚˜ ๋ณ€ํ™˜ ๊ณ„์‚ฐํ•˜๊ธฐ

๋‹ค์Œ ํฌ๋ ˆ๋ชจ๋‚˜ ๋ณ€ํ™˜์„ ์ƒ๊ฐํ•ด๋ณด์ž:

ฯ†: (x, y) โ†ฆ (1/x, y/x)

๋‹ค์Œ ์งˆ๋ฌธ์— ๋‹ตํ•ด๋ณด์ž:

  1. ฯ†ยฒ(x, y), ์ฆ‰ ฯ†๋ฅผ ๋‘ ๋ฒˆ ์ ์šฉํ•œ ๊ฒฐ๊ณผ๋Š” ๋ฌด์—‡์ธ๊ฐ€?
  2. ฯ†์˜ ๊ธฐ๋ณธ์ (base points)์€ ์–ด๋””์ธ๊ฐ€?
  3. ฯ†๋Š” ์œ ํ•œ ์ฐจ์ˆ˜๋ฅผ ๊ฐ€์ง€๋Š”๊ฐ€? ๋งŒ์•ฝ ๊ทธ๋ ‡๋‹ค๋ฉด, ๊ทธ ์ฐจ์ˆ˜๋Š” ์–ผ๋งˆ์ธ๊ฐ€?

๋ฌธ์ œ 1 ํ’€์ด

  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), ์ฆ‰ ํ•ญ๋“ฑ๋ณ€ํ™˜์ด๋‹ค!
  2. ฯ†(x, y) = (1/x, y/x)์—์„œ x = 0์ผ ๋•Œ ์ •์˜๋˜์ง€ ์•Š์œผ๋ฏ€๋กœ, ๊ธฐ๋ณธ์ ์€ x = 0์ธ ๋ชจ๋“  ์ ๋“ค์ด๋‹ค.
  3. ฯ†ยฒ(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)

๋‘ ๋ฒˆ์งธ ์ขŒํ‘œ๊ฐ€ ๋‹ค๋ฅด๋ฏ€๋กœ, ฯ†โˆ˜ฯˆ โ‰  ฯˆโˆ˜ฯ†์ด๋‹ค. ๋”ฐ๋ผ์„œ ์ด ๋‘ ๋ณ€ํ™˜์€ ๋น„๊ฐ€ํ™˜์ ์ด๋‹ค!

๋ฌธ์ œ ์‹œ๊ฐํ™”: ๋น„๊ฐ€ํ™˜ ํฌ๋ ˆ๋ชจ๋‚˜ ๋ณ€ํ™˜ (x, y) ฯ†(x, y) = (1/x, y/x) ฯˆ(ฯ†(x, y)) = (1/x, x/y) ฯˆ(x, y) = (x, 1/y) ฯ†(ฯˆ(x, y)) = (1/x, 1/(xy)) ฯ† ฯˆ ฯˆ ฯ† ฯ†โˆ˜ฯˆ โ‰  ฯˆโˆ˜ฯ† (๋น„๊ฐ€ํ™˜์„ฑ ํ™•์ธ)

๋ฌธ์ œ 3: ํ‘œ์ค€ ์ œ๊ณฑ ๋ณ€ํ™˜ ํƒ๊ตฌํ•˜๊ธฐ

ํ‘œ์ค€ ์ œ๊ณฑ ๋ณ€ํ™˜ ฯƒ: [x : y : z] โ†ฆ [yz : xz : xy]๋ฅผ ์ƒ๊ฐํ•ด๋ณด์ž.

๋‹ค์Œ ์งˆ๋ฌธ์— ๋‹ตํ•ด๋ณด์ž:

  1. ฯƒยฒ๋ฅผ ๊ณ„์‚ฐํ•˜๋ผ.
  2. ฯƒ์˜ ๊ธฐ๋ณธ์ ๋“ค์„ ์ฐพ์•„๋ผ.
  3. ์ง์„  y = 0์ด ฯƒ์— ์˜ํ•ด ์–ด๋–ป๊ฒŒ ๋ณ€ํ™˜๋˜๋Š”์ง€ ์„ค๋ช…ํ•˜๋ผ.

๋ฌธ์ œ 3 ํ’€์ด

  1. ฯƒยฒ๋ฅผ ๊ณ„์‚ฐํ•ด๋ณด์ž:
    ฯƒ([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)์ด๋‹ค.
  2. ฯƒ([x : y : z]) = [yz : xz : xy]์—์„œ, ๋งŒ์•ฝ ๋‘ ์ขŒํ‘œ๊ฐ€ 0์ด๋ฉด ๊ฒฐ๊ณผ์˜ ๋ชจ๋“  ์ขŒํ‘œ๊ฐ€ 0์ด ๋˜์–ด ์ •์˜๋˜์ง€ ์•Š๋Š”๋‹ค. ๋”ฐ๋ผ์„œ ๊ธฐ๋ณธ์ ์€ [1:0:0], [0:1:0], [0:0:1]์ด๋‹ค.
  3. ์ง์„  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. ๋งˆ๋ฌด๋ฆฌ ๋ฐ ๋” ์•Œ์•„๋ณผ ๋‚ด์šฉ ๐ŸŽฏ

์™€์šฐ! ์ •๋ง ๊ธด ์—ฌ์ •์ด์—ˆ์–ด. ๋น„๊ฐ€ํ™˜ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ๊ตฌ์กฐ์™€ ์„ฑ์งˆ์— ๋Œ€ํ•ด ๊นŠ์ด ์žˆ๊ฒŒ ํƒ๊ตฌํ•ด๋ดค์–ด. ์ด์ œ ์šฐ๋ฆฌ๊ฐ€ ๋ฐฐ์šด ๋‚ด์šฉ์„ ์ •๋ฆฌํ•˜๊ณ , ๋” ์•Œ์•„๋ณผ ์ˆ˜ ์žˆ๋Š” ์ฃผ์ œ๋“ค์„ ์‚ดํŽด๋ณด์ž!

๐Ÿ“ ์ฃผ์š” ๋‚ด์šฉ ์š”์•ฝ

  1. ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์€ ์‚ฌ์˜๊ณต๊ฐ„์˜ ์œ ๋ฆฌ์  ์ž๊ธฐ๋™ํ˜•์‚ฌ์ƒ๋“ค์˜ ์ง‘ํ•ฉ์ด๋‹ค.
  2. ๋น„๊ฐ€ํ™˜์„ฑ์€ ๋‘ ๋ณ€ํ™˜์˜ ํ•ฉ์„ฑ ์ˆœ์„œ๊ฐ€ ๊ฒฐ๊ณผ์— ์˜ํ–ฅ์„ ๋ฏธ์นœ๋‹ค๋Š” ์˜๋ฏธ์ด๋‹ค.
  3. ํฌ๋ ˆ๋ชจ๋‚˜ ๋ณ€ํ™˜์€ ์œ ๋ฆฌํ•จ์ˆ˜๋กœ ์ •์˜๋˜๋ฉฐ, ๊ธฐ๋ณธ์ ์„ ๊ฐ€์งˆ ์ˆ˜ ์žˆ๋‹ค.
  4. 2์ฐจ์› ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์€ ์‚ฌ์˜์„ ํ˜•๋ณ€ํ™˜๊ณผ ํ‘œ์ค€ ์ œ๊ณฑ ๋ณ€ํ™˜์œผ๋กœ ์ƒ์„ฑ๋œ๋‹ค.
  5. ๋™์—ญํ•™์  ๋ถ„๋ฅ˜์— ๋”ฐ๋ผ ์œ ํ•œ ์ฐจ์ˆ˜, ํƒ€์›์ , ๋กœ์‹œ์  ๋ณ€ํ™˜์œผ๋กœ ๋‚˜๋ˆŒ ์ˆ˜ ์žˆ๋‹ค.
  6. ๋น„๊ฐ€ํ™˜ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์€ ๋Œ€์ˆ˜๊ธฐํ•˜ํ•™, ๊ตฐ๋ก , ๋™์—ญํ•™๊ณ„ ๋“ฑ ๋‹ค์–‘ํ•œ ์ˆ˜ํ•™ ๋ถ„์•ผ์™€ ์—ฐ๊ฒฐ๋œ๋‹ค.
  7. ํ˜„๋Œ€ ์—ฐ๊ตฌ๋Š” ๊ณ ์ฐจ์› ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ, ๋ถ€๋ถ„๊ตฐ ๊ตฌ์กฐ, ๋™์—ญํ•™์  ์„ฑ์งˆ ๋“ฑ์— ์ดˆ์ ์„ ๋งž์ถ”๊ณ  ์žˆ๋‹ค.

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

๋น„๊ฐ€ํ™˜ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ ํƒํ—˜ ์—ฌ์ • ์‹œ์ž‘ ๊ธฐ๋ณธ ๊ฐœ๋… ํฌ๋ ˆ๋ชจ๋‚˜ ๋ณ€ํ™˜ ๋น„๊ฐ€ํ™˜์„ฑ ๊ตฐ ๊ตฌ์กฐ ์‘์šฉ ๋ฐ ์—ฐ๊ตฌ ๋” ๊นŠ์€ ํƒ๊ตฌ ๋Œ€์ˆ˜๊ธฐํ•˜ํ•™ ๋™์—ญํ•™๊ณ„ ์ด๋ก  ๋น„๊ฐ€ํ™˜ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ ํƒํ—˜์€ ๊ณ„์†๋ฉ๋‹ˆ๋‹ค! ์ˆ˜ํ•™์˜ ์•„๋ฆ„๋‹ค์›€์€ ๋์—†๋Š” ๋ฐœ๊ฒฌ์˜ ์—ฌ์ •์ž…๋‹ˆ๋‹ค

๋” ์•Œ์•„๋ณด๊ณ  ์‹ถ๋‹ค๋ฉด, ๋‹ค์Œ๊ณผ ๊ฐ™์€ ๊ด€๋ จ ์ฃผ์ œ๋“ค์„ ํƒ๊ตฌํ•ด๋ณผ ์ˆ˜ ์žˆ์–ด:

๐ŸŒฑ ์Œ์œ ๋ฆฌ์  ๊ธฐํ•˜ํ•™(Birational Geometry)

ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์€ ์Œ์œ ๋ฆฌ์  ๊ธฐํ•˜ํ•™์˜ ํ•ต์‹ฌ ๊ฐœ๋…์ด์•ผ. ๋Œ€์ˆ˜๋‹ค์–‘์ฒด์˜ ์Œ์œ ๋ฆฌ์  ๋ถ„๋ฅ˜, ์ตœ์†Œ ๋ชจ๋ธ ์ด๋ก , ์œ ๋ฆฌ์  ์—ฐ๊ฒฐ์„ฑ ๋“ฑ์˜ ์ฃผ์ œ๋ฅผ ๋” ํƒ๊ตฌํ•ด๋ณผ ์ˆ˜ ์žˆ์–ด.

๐ŸŒฑ ๊ธฐํ•˜ํ•™์  ๊ตฐ ์ด๋ก (Geometric Group Theory)

ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์€ ๊ธฐํ•˜ํ•™์  ๊ตฐ ์ด๋ก ์˜ ํฅ๋ฏธ๋กœ์šด ์˜ˆ์‹œ์•ผ. ๋ฌดํ•œ ์ฐจ์› ๊ตฐ์˜ ๊ธฐํ•˜ํ•™์  ์„ฑ์งˆ, ์ฟฑ๋งŒ ๋ณตํ•ฉ์ฒด(Curvature complexes), ๊ตฐ ์ž‘์šฉ ์ด๋ก  ๋“ฑ์„ ๋” ์•Œ์•„๋ณผ ์ˆ˜ ์žˆ์–ด.

๐ŸŒฑ ๋ณต์†Œ ์—ญํ•™๊ณ„(Complex Dynamical Systems)

ํฌ๋ ˆ๋ชจ๋‚˜ ๋ณ€ํ™˜์˜ ๋ฐ˜๋ณต ์ ์šฉ์€ ๋ณต์†Œ ์—ญํ•™๊ณ„ ์ด๋ก ๊ณผ ๋ฐ€์ ‘ํ•˜๊ฒŒ ์—ฐ๊ด€๋˜์–ด ์žˆ์–ด. ์ค„๋ฆฌ์•„ ์ง‘ํ•ฉ(Julia sets), ํ”ผํƒ€๋“œ ์ด๋ก (Fatou-Julia theory), ๋ณต์†Œ ๋‹ค์–‘์ฒด์—์„œ์˜ ์—ญํ•™๊ณ„ ๋“ฑ์„ ํƒ๊ตฌํ•ด๋ณผ ์ˆ˜ ์žˆ์–ด.

๐ŸŒฑ ์–‘์ž ๋Œ€์ˆ˜(Quantum Algebra)

๋น„๊ฐ€ํ™˜ ๊ตฌ์กฐ๋Š” ์–‘์ž ๋Œ€์ˆ˜์™€ ์–‘์ž ๊ตฐ ์ด๋ก ์—์„œ๋„ ์ค‘์š”ํ•ด. ํ˜ธํ”„ ๋Œ€์ˆ˜(Hopf algebras), ์–‘์ž ๊ตฐ(quantum groups), ๋น„๊ฐ€ํ™˜ ๊ธฐํ•˜ํ•™ ๋“ฑ์˜ ์ฃผ์ œ๋กœ ํ™•์žฅํ•ด๋ณผ ์ˆ˜ ์žˆ์–ด.

๐Ÿ“š ์ถ”์ฒœ ํ•™์Šต ์ž๋ฃŒ

  1. "Cremona Groups and the Icosahedron" by Igor Dolgachev
  2. "Birational Geometry of Algebraic Varieties" by Janos Kollรกr and Shigefumi Mori
  3. "The Cremona Group" by Julie Dรฉserti
  4. "Algebraic Geometry" by Robin Hartshorne (๊ธฐ์ดˆ ๊ฐœ๋… ํ•™์Šต์šฉ)
  5. "Dynamics of Cremona Transformations" by Serge Cantat

์ด๋Ÿฐ ์ž๋ฃŒ๋“ค์€ ์žฌ๋Šฅ๋„ท์—์„œ ์ˆ˜ํ•™ ์ „๋ฌธ๊ฐ€๋“ค์˜ ์ถ”์ฒœ์„ ํ†ตํ•ด ๋” ๋งŽ์ด ์ฐพ์•„๋ณผ ์ˆ˜ ์žˆ์–ด! ๐ŸŽ“

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

์˜ค๋Š˜ ์šฐ๋ฆฌ๊ฐ€ ํ•จ๊ป˜ ํƒํ—˜ํ•œ ๋น„๊ฐ€ํ™˜ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ์„ธ๊ณ„๊ฐ€ ๋„ˆ์—๊ฒŒ ์ˆ˜ํ•™์˜ ์•„๋ฆ„๋‹ค์›€์„ ๋А๋ผ๋Š” ๊ธฐํšŒ๊ฐ€ ๋˜์—ˆ๊ธธ ๋ฐ”๋ผ. ์ˆ˜ํ•™์€ ๋‹จ์ˆœํ•œ ๊ณ„์‚ฐ์„ ๋„˜์–ด, ์šฐ์ฃผ์˜ ๊ทผ๋ณธ์ ์ธ ๊ตฌ์กฐ๋ฅผ ์ดํ•ดํ•˜๋Š” ์–ธ์–ด์ด์ž ๋„๊ตฌ๋‹ˆ๊นŒ. ์•ž์œผ๋กœ๋„ ํ˜ธ๊ธฐ์‹ฌ์„ ๊ฐ€์ง€๊ณ  ์ˆ˜ํ•™์˜ ์‹ ๋น„๋กœ์šด ์„ธ๊ณ„๋ฅผ ํƒํ—˜ํ•ด๋ณด์ž! ๐ŸŒŸ

๐ŸŽ‰ ๋งˆ์น˜๋ฉฐ

๋น„๊ฐ€ํ™˜ ํฌ๋ ˆ๋ชจ๋‚˜ ๊ตฐ์˜ ์—ฌ์ •์„ ํ•จ๊ป˜ํ•ด์ค˜์„œ ๊ณ ๋งˆ์›Œ! ๋” ๋งŽ์€ ์ˆ˜ํ•™์  ํƒํ—˜์„ ์›ํ•œ๋‹ค๋ฉด, ์žฌ๋Šฅ๋„ท์—์„œ ๋‹ค์–‘ํ•œ ์ˆ˜ํ•™ ๊ฐ•์˜์™€ ์ž๋ฃŒ๋ฅผ ์ฐพ์•„๋ณผ ์ˆ˜ ์žˆ์–ด. ์ˆ˜ํ•™์˜ ์•„๋ฆ„๋‹ค์›€์€ ํ•จ๊ป˜ ๋‚˜๋ˆŒ ๋•Œ ๋”์šฑ ๋น›๋‚˜๋‹ˆ๊นŒ! ๐Ÿ˜Š

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

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

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

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