2025-11-20T09:07:15.079926

Landau-Ginzburg models, Monge-Ampรƒยจre domains and (pre-)Frobenius manifolds

Combe
Kontsevich suggested that the Landau-Ginzburg model presents a good formalism for homological mirror symmetry. In this paper we propose to investigate the LG theory from the viewpoint of Koopman-von Neumann's construction. New advances are thus provided, namely regarding a conjecture of Kontsevich-Soibelman (on a version of the Strominger-Yau-Zaslow mirror problem). We show that there exists a Monge-Ampรƒยจre domain Y, generated by a space of probability densities parametrising mirror dual Calabi-Yau manifolds. This provides torus fibrations over Y. The mirror pairs are obtained via the Berglund-Hubsch-Krawitz construction. We also show that the Monge-Ampรƒยจre manifolds are pre-Frobenius manifolds. Our method allows to recover certain results concerning Lagrangian torus fibrations. We illustrate our construction on a concrete toy model, which allows us, additionally to deduce a relation between von Neumann algebras, Monge-Ampรƒยจre manifolds and pre-Frobenius manifolds.
academic

Landau-Ginzburg ๋ชจ๋ธ, Monge-Ampรจre ์˜์—ญ ๋ฐ (์ „-)Frobenius ๋‹ค์–‘์ฒด

๊ธฐ๋ณธ ์ •๋ณด

  • ๋…ผ๋ฌธ ID: 2409.00835
  • ์ œ๋ชฉ: Landau-Ginzburg models, Monge-Ampรจre domains and (pre-)Frobenius manifolds
  • ์ €์ž: Noemie C. Combe
  • ๋ถ„๋ฅ˜: math.AG (๋Œ€์ˆ˜๊ธฐํ•˜ํ•™), math.DG (๋ฏธ๋ถ„๊ธฐํ•˜ํ•™)
  • ์ œ์ถœ ์‹œ๊ฐ„: 2024๋…„ 9์›” 2์ผ ์ œ์ถœ, 2025๋…„ 1์›” 2์ผ ์—…๋ฐ์ดํŠธ
  • ๋…ผ๋ฌธ ๋งํฌ: https://arxiv.org/abs/2409.00835

์ดˆ๋ก

Kontsevich๋Š” Landau-Ginzburg ๋ชจ๋ธ์ด ๋™ํ˜• ๊ฑฐ์šธ ๋Œ€์นญ์— ๋Œ€ํ•œ ์ข‹์€ ํ˜•์‹ํ™” ํ‹€์„ ์ œ๊ณตํ•œ๋‹ค๊ณ  ์ œ์•ˆํ–ˆ์Šต๋‹ˆ๋‹ค. ๋ณธ ๋…ผ๋ฌธ์€ Koopman-von Neumann ๊ตฌ์„ฑ์˜ ๊ด€์ ์—์„œ LG ์ด๋ก ์„ ์—ฐ๊ตฌํ•˜๋ฉฐ, Kontsevich-Soibelman ์ถ”์ธก(Strominger-Yau-Zaslow ๊ฑฐ์šธ ๋ฌธ์ œ์˜ ํ•œ ๋ฒ„์ „)์— ๋Œ€ํ•ด ์ƒˆ๋กœ์šด ์ง„์ „์„ ์ œ๊ณตํ•ฉ๋‹ˆ๋‹ค. ์ €์ž๋Š” ํ™•๋ฅ  ๋ฐ€๋„ ๊ณต๊ฐ„์— ์˜ํ•ด ์ƒ์„ฑ๋˜๋Š” Monge-Ampรจre ์˜์—ญ Y๊ฐ€ ์กด์žฌํ•จ์„ ์ฆ๋ช…ํ•˜๋ฉฐ, ์ด๋Š” ๊ฑฐ์šธ ์Œ๋Œ€ Calabi-Yau ๋‹ค์–‘์ฒด๋ฅผ ๋งค๊ฐœ๋ณ€์ˆ˜ํ™”ํ•˜๊ณ  Y ์œ„์˜ ์›ํ™˜ ์„ฌ์œ ํ™”๋ฅผ ์ œ๊ณตํ•ฉ๋‹ˆ๋‹ค. ๊ฑฐ์šธ ์Œ์€ Berglund-Hรผbsch-Krawitz ๊ตฌ์„ฑ์„ ํ†ตํ•ด ์–ป์–ด์ง‘๋‹ˆ๋‹ค. ์ €์ž๋Š” ๋˜ํ•œ Monge-Ampรจre ๋‹ค์–‘์ฒด๊ฐ€ ์ „-Frobenius ๋‹ค์–‘์ฒด์ž„์„ ์ฆ๋ช…ํ•˜๋ฉฐ, ์ด ๋ฐฉ๋ฒ•์€ Lagrangian ์›ํ™˜ ์„ฌ์œ ํ™”์— ๊ด€ํ•œ ํŠน์ • ๊ฒฐ๊ณผ๋ฅผ ๋ณต๊ตฌํ•  ์ˆ˜ ์žˆ๊ฒŒ ํ•ฉ๋‹ˆ๋‹ค.

์—ฐ๊ตฌ ๋ฐฐ๊ฒฝ ๋ฐ ๋™๊ธฐ

๋ฌธ์ œ ๋ฐฐ๊ฒฝ

  1. ๊ฑฐ์šธ ๋Œ€์นญ ์ด๋ก : ๊ฑฐ์šธ ๋Œ€์นญ์€ ๋Œ€์ˆ˜๊ธฐํ•˜ํ•™๊ณผ ์‹ฌํ”Œ๋ ‰ํ‹ฑ ๊ธฐํ•˜ํ•™์„ ์—ฐ๊ฒฐํ•˜๋Š” ์ค‘์š”ํ•œ ๋‹ค๋ฆฌ์ด๋ฉฐ, ํŠนํžˆ Calabi-Yau ๋‹ค์–‘์ฒด ์—ฐ๊ตฌ์—์„œ ํ•ต์‹ฌ์  ์œ„์น˜๋ฅผ ์ฐจ์ง€ํ•ฉ๋‹ˆ๋‹ค.
  2. Strominger-Yau-Zaslow (SYZ) ์ถ”์ธก: ์ด ์ถ”์ธก์€ ๊ฑฐ์šธ ์Œ๋Œ€ ๋‹ค์–‘์ฒด๊ฐ€ ํŠน์ˆ˜ํ•œ Lagrangian ์›ํ™˜ ์„ฌ์œ ํ™” ๊ตฌ์กฐ๋ฅผ ๊ฐ€์ ธ์•ผ ํ•œ๋‹ค๊ณ  ์ œ์•ˆํ•˜๋ฉฐ, ์ด๋Š” ๊ฑฐ์šธ ๋Œ€์นญ์„ ์ดํ•ดํ•˜๊ธฐ ์œ„ํ•œ ๊ธฐํ•˜ํ•™์  ์ง๊ด€์„ ์ œ๊ณตํ•ฉ๋‹ˆ๋‹ค.
  3. Landau-Ginzburg ์ด๋ก : ์›๋ž˜ ์ดˆ์ „๋„ ํ˜„์ƒ์„ ์„ค๋ช…ํ•˜๊ธฐ ์œ„ํ•ด Landau์™€ Ginzburg์— ์˜ํ•ด ์ œ์•ˆ๋˜์—ˆ์œผ๋ฉฐ, ๋‚˜์ค‘์— Calabi-Yau ๊ธฐํ•˜ํ•™๊ณผ ๊นŠ์€ ์—ฐ๊ด€์ด ์žˆ์Œ์ด ๋ฐœ๊ฒฌ๋˜์—ˆ์Šต๋‹ˆ๋‹ค.

์—ฐ๊ตฌ ๋™๊ธฐ

  1. ์ด๋ก  ํ†ตํ•ฉ: Landau-Ginzburg ์ด๋ก , Monge-Ampรจre ๋ฐฉ์ •์‹ ๋ฐ Frobenius ๋‹ค์–‘์ฒด๋ฅผ ํ•˜๋‚˜์˜ ํ‹€ ๋‚ด์— ํ†ตํ•ฉํ•ฉ๋‹ˆ๋‹ค.
  2. ์ถ”์ธก ๊ฒ€์ฆ: SYZ ๊ฑฐ์šธ ๋ฌธ์ œ์— ๋Œ€ํ•œ Kontsevich-Soibelman์˜ ์ถ”์ธก์— ์ƒˆ๋กœ์šด ์ฆ๊ฑฐ์™€ ๋ฐฉ๋ฒ•์„ ์ œ๊ณตํ•ฉ๋‹ˆ๋‹ค.
  3. ๊ธฐํ•˜ํ•™์  ์ดํ•ด: ํ™•๋ฅ  ๋ฐ€๋„ ๊ณต๊ฐ„์˜ ๊ธฐํ•˜ํ•™์  ๊ตฌ์กฐ๋ฅผ ํ†ตํ•ด ๊ฑฐ์šธ ๋Œ€์นญ ํ˜„์ƒ์„ ์ดํ•ดํ•ฉ๋‹ˆ๋‹ค.

ํ•ต์‹ฌ ๊ธฐ์—ฌ

  1. LG ์ด๋ก ๊ณผ Monge-Ampรจre ์˜์—ญ์˜ ์—ฐ๊ฒฐ ํ™•๋ฆฝ: Koopman-von Neumann ํ‹€ ํ•˜์—์„œ LG ์ด๋ก  ํž๋ฒ ๋ฅดํŠธ ๊ณต๊ฐ„์ด ์‹ค์ˆ˜ Monge-Ampรจre ์˜์—ญ์œผ๋กœ ๋งค๊ฐœ๋ณ€์ˆ˜ํ™”๋  ์ˆ˜ ์žˆ์Œ์„ ์ฆ๋ช…ํ–ˆ์Šต๋‹ˆ๋‹ค.
  2. ๊ฑฐ์šธ ์Œ์˜ ํ†ตํ•ฉ ๋งค๊ฐœ๋ณ€์ˆ˜ํ™” ๊ตฌ์„ฑ: ๊ฑฐ์šธ ์Œ๋Œ€ Calabi-Yau ๋‹ค์–‘์ฒด๋ฅผ ๋™์‹œ์— ๋งค๊ฐœ๋ณ€์ˆ˜ํ™”ํ•˜๊ณ  ์›ํ™˜ ์„ฌ์œ ํ™”๋ฅผ ํ˜•์„ฑํ•˜๋Š” ๋‹จ์ผ Monge-Ampรจre ์˜์—ญ Y๊ฐ€ ์กด์žฌํ•จ์„ ์ฆ๋ช…ํ–ˆ์Šต๋‹ˆ๋‹ค.
  3. Monge-Ampรจre ๋‹ค์–‘์ฒด์˜ ์ „-Frobenius ๊ตฌ์กฐ ํ™•๋ฆฝ: ํƒ€์› Monge-Ampรจre ๋‹ค์–‘์ฒด๊ฐ€ ์ „-Frobenius ๋‹ค์–‘์ฒด ๊ตฌ์กฐ๋ฅผ ๊ฐ€์ง์„ ์ฆ๋ช…ํ–ˆ์Šต๋‹ˆ๋‹ค.
  4. ๊ตฌ์ฒด์ ์ธ ์žฅ๋‚œ๊ฐ ๋ชจ๋ธ ์ œ๊ณต: ๋Œ€์นญ ์›๋ฟ”์˜ ์—ฐ๊ตฌ๋ฅผ ํ†ตํ•ด von Neumann ๋Œ€์ˆ˜, Monge-Ampรจre ๋‹ค์–‘์ฒด ๋ฐ Frobenius ๋‹ค์–‘์ฒด ์‚ฌ์ด์˜ ์—ฐ๊ฒฐ์„ ํ™•๋ฆฝํ–ˆ์Šต๋‹ˆ๋‹ค.

๋ฐฉ๋ฒ• ์ƒ์„ธ ์„ค๋ช…

์ด๋ก  ํ‹€

Koopman-von Neumann ๊ตฌ์„ฑ

์ €์ž๋Š” Koopman-von Neumann์˜ ์–‘์ž์—ญํ•™ ํ‘œํ˜„์„ ์ฑ„ํƒํ•˜์—ฌ LG ์ด๋ก ์„ ์žฌ๊ฒ€ํ† ํ•ฉ๋‹ˆ๋‹ค:

  1. ํž๋ฒ ๋ฅดํŠธ ๊ณต๊ฐ„: ํŒŒ๋™ํ•จ์ˆ˜ ฯˆ(x)๋Š” ํž๋ฒ ๋ฅดํŠธ ๊ณต๊ฐ„ H๋ฅผ ๊ตฌ์„ฑํ•˜๋ฉฐ, ์—ฌ๊ธฐ์„œ x๋Š” ์œ„์ƒ ๊ณต๊ฐ„์˜ ์ ์ž…๋‹ˆ๋‹ค.
  2. ํ™•๋ฅ  ๋ฐ€๋„: ๊ฐ ํŒŒ๋™ํ•จ์ˆ˜ ฯˆ๋Š” ํ™•๋ฅ  ๋ฐ€๋„ ฯ(ฯˆ) = |ฯˆ|ยฒ์— ๋Œ€์‘ํ•˜๋ฉฐ, ์ •๊ทœํ™” ์กฐ๊ฑด โˆซ_M |ฯˆ|ยฒdฮป = 1์„ ๋งŒ์กฑํ•ฉ๋‹ˆ๋‹ค.
  3. ์ง„ํ™” ์—ฐ์‚ฐ์ž: Liouville ๋ฐฉ์ •์‹์„ ํ†ตํ•ด ์‹œ์Šคํ…œ ์ง„ํ™”๋ฅผ ์„ค๋ช…ํ•ฉ๋‹ˆ๋‹ค:
    โˆ‚ฯ(ฯˆ,t)/โˆ‚t = Lฬ‚ฯ(ฯˆ,t)
    

Monge-Ampรจre ๊ธฐํ•˜ํ•™

์ €์ž๋Š” ํƒ€์› Monge-Ampรจre ๋ฐฉ์ •์‹์˜ ๊ธฐํ•˜ํ•™ํ™”๋ฅผ ํ™•๋ฆฝํ–ˆ์Šต๋‹ˆ๋‹ค:

  1. GEMA ์ •์˜: ์—„๊ฒฉํžˆ ๋ณผ๋กํ•œ ์œ ๊ณ„ ์˜์—ญ D์™€ ์Œ์ด ์•„๋‹Œ ํ•จ์ˆ˜ f์— ๋Œ€ํ•ด, ๋‹ค์Œ์„ ๋งŒ์กฑํ•˜๋Š” ์œ ์ผํ•œ ๋ณผ๋ก ๋งค๋„๋Ÿฌ์šด ํ•จ์ˆ˜ ฮฆ๊ฐ€ ์กด์žฌํ•ฉ๋‹ˆ๋‹ค:
    det(Hess(ฮฆ)) = f
    
  2. ์•„ํ•€ ๊ตฌ์กฐ: Monge-Ampรจre ๋ฐฉ์ •์‹์€ ๋‹จ๋ชจ ์„ ํ˜• ๋ณ€ํ™˜ ํ•˜์—์„œ ๋ถˆ๋ณ€์ด๋ฉฐ, ์˜์—ญ D์— ์•„ํ•€ ํ‰ํƒ„ ๊ตฌ์กฐ๋ฅผ ๋ถ€์—ฌํ•ฉ๋‹ˆ๋‹ค.
  3. Hessian ๋ฉ”ํŠธ๋ฆญ: ๋ฉ”ํŠธ๋ฆญ ํ…์„œ๋Š” ๋‹ค์Œ๊ณผ ๊ฐ™์ด ์ •์˜๋ฉ๋‹ˆ๋‹ค:
    g_ij(x) = โˆ‚ยฒฮฆ/โˆ‚x^iโˆ‚x^j
    

ํ•ต์‹ฌ ์ •๋ฆฌ

์ •๋ฆฌ 4.6.1 (์ฃผ์š” ๊ฒฐ๊ณผ)

H๋ฅผ Landau-Ginzburg/Koopman-von Neumann ์ด๋ก ์œผ๋กœ ์ •์˜๋œ ์ œ๊ณฑ ์ ๋ถ„ ๊ฐ€๋Šฅ ํ•จ์ˆ˜์˜ ํž๋ฒ ๋ฅดํŠธ ๊ณต๊ฐ„์ด๋ผ ํ•˜๋ฉด, H๋ฅผ ๋งค๊ฐœ๋ณ€์ˆ˜ํ™”ํ•˜๋Š” ์‹ค์ˆ˜ Monge-Ampรจre ์˜์—ญ Y๊ฐ€ ์กด์žฌํ•˜์—ฌ ฯ€: H โ†’ Y๊ฐ€ ์›ํ™˜ ์„ฌ์œ ํ™”๋ฅผ ํ˜•์„ฑํ•ฉ๋‹ˆ๋‹ค.

์ฆ๋ช… ๊ฐœ์š”:

  1. ๊ธฐ์ € ๊ณต๊ฐ„ ๊ตฌ์„ฑ: ๊ฐ ฯˆ โˆˆ H๋Š” ํ™•๋ฅ  ๋ฐ€๋„ ฯ(ฯˆ) = |ฯˆ|ยฒ์— ๋Œ€์‘ํ•ฉ๋‹ˆ๋‹ค
  2. ์„ฌ์œ ํ™” ํ™•๋ฆฝ: ์„ฌ์œ  ฯ€^(-1)(ฯ)๋Š” ๋™์น˜๋ฅ˜ (ฯˆโ‚,...,ฯˆโ‚™) ~ (e^(iฮธโ‚)ฯˆโ‚,...,e^(iฮธโ‚™)ฯˆโ‚™)๋กœ ์ฃผ์–ด์ง‘๋‹ˆ๋‹ค
  3. Y๊ฐ€ Monge-Ampรจre ์˜์—ญ์ž„์„ ์ฆ๋ช…: ์ตœ์  ์ˆ˜์†ก ์ด๋ก ์„ ํ†ตํ•ด ์ˆ˜์†ก ์‚ฌ์ƒ์„ ํ™•๋ฆฝํ•ฉ๋‹ˆ๋‹ค

์ •๋ฆฌ 3.2.1 (์ „-Frobenius ๊ตฌ์กฐ)

D๋ฅผ ์˜์—ญ(๋˜๋Š” ๋‹ค์–‘์ฒด)์ด๋ผ ํ•˜๋ฉด, ์˜ค์›์กฐ (D,ฮฆ,g,A,โˆ‡โฐ)๋Š” ์ž ์žฌ์  ์ „-Frobenius ์˜์—ญ(๋˜๋Š” ๋‹ค์–‘์ฒด)์ž…๋‹ˆ๋‹ค.

๊ธฐ์ˆ ์  ํ˜์‹ ์ 

  1. ํ™•๋ฅ  ๊ธฐํ•˜ํ•™ ๋ฐฉ๋ฒ•: ์–‘์ž ์ƒํƒœ ๊ณต๊ฐ„์˜ ํ™•๋ฅ  ๊ตฌ์กฐ๋ฅผ ๋ฏธ๋ถ„๊ธฐํ•˜ํ•™๊ณผ ์—ฐ๊ฒฐํ•ฉ๋‹ˆ๋‹ค.
  2. ์ตœ์  ์ˆ˜์†ก ์ด๋ก  ์‘์šฉ: Brenier์˜ ์ธ์ˆ˜๋ถ„ํ•ด ์ •๋ฆฌ๋ฅผ ์ด์šฉํ•˜์—ฌ Monge-Ampรจre ๊ตฌ์กฐ๋ฅผ ํ™•๋ฆฝํ•ฉ๋‹ˆ๋‹ค.
  3. ๋Œ€์นญ ์›๋ฟ” ์ด๋ก : Jordan ๋Œ€์ˆ˜ ์ด๋ก ์„ ํ†ตํ•ด ๊ตฌ์ฒด์ ์ธ ๊ธฐํ•˜ํ•™์  ๊ตฌ์กฐ๋ฅผ ๋ถ„์„ํ•ฉ๋‹ˆ๋‹ค.

์‹คํ—˜ ์„ค์ •

์žฅ๋‚œ๊ฐ ๋ชจ๋ธ ๊ตฌ์„ฑ

์ €์ž๋Š” ์ด๋ก ์„ ๊ฒ€์ฆํ•˜๊ธฐ ์œ„ํ•ด ๊ตฌ์ฒด์ ์ธ ๋Œ€์นญ ์›๋ฟ” ๋ชจ๋ธ์„ ๊ตฌ์„ฑํ–ˆ์Šต๋‹ˆ๋‹ค:

๋ฐ์ดํ„ฐ ๊ตฌ์กฐ

์‹ค์ˆ˜ ๋‚˜๋ˆ—์…ˆ ๋Œ€์ˆ˜ K (R, C, H, O)์— ๋Œ€ํ•ด nร—n ์–‘์ •์น˜ ๋Œ€์นญ ํ–‰๋ ฌ๋กœ ๊ตฌ์„ฑ๋œ ๊ธฐ์•ฝ ์›๋ฟ” P_n(K)๋ฅผ ๊ณ ๋ คํ•ฉ๋‹ˆ๋‹ค.

๊ธฐํ•˜ํ•™์  ์„ฑ์งˆ ๋ถ„์„

  1. ๋Œ€์นญ ๊ณต๊ฐ„ ๊ตฌ์กฐ: ์›๋ฟ” P_n(K)๋Š” ๋ฆฌ ๊ตฐ ๋ชซ ๊ณต๊ฐ„ GL_n(K)/K_n์œผ๋กœ ํ‘œํ˜„๋  ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค
  2. Cartan ๋ถ„ํ•ด: ๋ฆฌ ๋Œ€์ˆ˜ ๋ถ„ํ•ด g = k โŠ• t
  3. ์ธก์ง€ ๋ถ€๋ถ„๋‹ค์–‘์ฒด: Cartan ๋ถ€๋ถ„๋Œ€์ˆ˜๋ฅผ ํ†ตํ•ด ํ‰ํƒ„ ์ธก์ง€ ๋ถ€๋ถ„๋‹ค์–‘์ฒด๋ฅผ ๊ตฌ์„ฑํ•ฉ๋‹ˆ๋‹ค

ํ‰๊ฐ€ ๋ฐฉ๋ฒ•

  1. ๊ณก๋ฅ  ๊ณ„์‚ฐ: ์ „-Frobenius ๊ตฌ์กฐ์˜ ์กด์žฌ ๊ฒ€์ฆ
  2. ๊ฒฐํ•ฉ์„ฑ ๊ฒ€์ฆ: WDVV ๋ฐฉ์ •์‹์˜ ๋งŒ์กฑ ์—ฌ๋ถ€ ํ™•์ธ
  3. ์„ฌ์œ ํ™” ์„ฑ์งˆ: ์›ํ™˜ ์„ฌ์œ ํ™” ๊ตฌ์กฐ ํ™•์ธ

์‹คํ—˜ ๊ฒฐ๊ณผ

์ฃผ์š” ๊ฒฐ๊ณผ

์ •๋ฆฌ 6.5.1 (Frobenius ๋‹ค์–‘์ฒด์˜ ์กด์žฌ์„ฑ)

๋Œ€์นญ ์›๋ฟ” P์—๋Š” Frobenius ๋‹ค์–‘์ฒด F = exp รฃ๊ฐ€ ์กด์žฌํ•˜๋ฉฐ, ์—ฌ๊ธฐ์„œ รฃ๋Š” Cartan ๋ถ€๋ถ„๋Œ€์ˆ˜์ž…๋‹ˆ๋‹ค.

๋ช…์ œ 5.2.1 (์ „-Frobenius ๊ตฌ์กฐ)

์—ด๋ฆฐ ์›๋ฟ” P๋Š” ์ „-Frobenius ๊ตฌ์กฐ๋ฅผ ๊ฐ€์ง€๋ฉฐ, ๋‘ ๊ฐ€์ง€ ๋ฐฉ๋ฒ•์œผ๋กœ ์ฆ๋ช…๋ฉ๋‹ˆ๋‹ค:

  1. ํƒ€์› Monge-Ampรจre ๋ฐฉ์ •์‹ ๋ฐฉ๋ฒ•
  2. ๋Œ€์นญ ๊ณต๊ฐ„ ์ด๋ก  ๋ฐฉ๋ฒ•

๊ตฌ์ฒด์  ๊ณ„์‚ฐ ๊ฒฐ๊ณผ

Calabi-Yau ๋งค๊ฐœ๋ณ€์ˆ˜ํ™”

์‹ค์ˆ˜ ์›๋ฟ” P_n(R)์— ๋Œ€ํ•ด:

  • n์ฐจ์› ์ฃผ ๊ทนํ™” ์›ํ™˜ ๋งค๊ฐœ๋ณ€์ˆ˜ํ™”
  • Calabi-Yau ๋‹ค์–‘์ฒด์˜ ๊ตฌ์ฒด์  ์˜ˆ์‹œ ์ œ๊ณต
  • ์ฐจ์› ๊ด€๊ณ„: 2dim_R(Y) = dim_R(X)

๊ณก๋ฅ  ์„ฑ์งˆ

์ •๋ฆฌ 5.5.1์„ ํ†ตํ•ด ๊ณ„์‚ฐ๋œ ๊ฒฐ๊ณผ:

R(X,Y)Z = -[[X,Y],Z]

์—ฌ๊ธฐ์„œ X,Y,Z โˆˆ T_pP๋Š” ์ ‘์„  ๋ฒกํ„ฐ์žฅ์ž…๋‹ˆ๋‹ค.

์‘์šฉ ์‚ฌ๋ก€

von Neumann ๋Œ€์ˆ˜ ์—ฐ๊ฒฐ

Connes์˜ ๊ฒฐ๊ณผ๋ฅผ ํ†ตํ•ด ํ™•๋ฆฝ:

  • von Neumann ๋Œ€์ˆ˜ โ†” ์ž๊ธฐ์Œ๋Œ€ ๋ฉด ๋™ํ˜• ๋ณต์†Œ ์›๋ฟ”
  • ์ „-Frobenius ๋‹ค์–‘์ฒด โ†” Monge-Ampรจre ๋‹ค์–‘์ฒด

๊ด€๋ จ ์—ฐ๊ตฌ

๊ฑฐ์šธ ๋Œ€์นญ ์ด๋ก 

  1. SYZ ์ถ”์ธก: Strominger-Yau-Zaslow์˜ Lagrangian ์›ํ™˜ ์„ฌ์œ ํ™”์— ๊ด€ํ•œ ์›๋ณธ ์—ฐ๊ตฌ
  2. Kontsevich ํ”„๋กœ๊ทธ๋žจ: ๋™ํ˜• ๊ฑฐ์šธ ๋Œ€์นญ์˜ ๋ฒ”์ฃผํ™” ๋ฐฉ๋ฒ•
  3. LG/CY ๋Œ€์‘: Greene-Vafa-Warner๊ฐ€ ํ™•๋ฆฝํ•œ Landau-Ginzburg์™€ Calabi-Yau์˜ ๋Œ€์‘ ๊ด€๊ณ„

Frobenius ๋‹ค์–‘์ฒด ์ด๋ก 

  1. Dubrovin ์ด๋ก : 2D ์œ„์ƒ ์žฅ๋ก ์˜ ๊ฒฐํ•ฉ์„ฑ ๋ฐฉ์ •์‹
  2. Manin ๊ธฐํ•˜ํ•™ํ™”: WDVV ๋ฐฉ์ •์‹์˜ ๊ธฐํ•˜ํ•™์  ์ดํ•ด
  3. ์ ๋ถ„ ์‹œ์Šคํ…œ: Dubrovin-Novikov์˜ ์ด์ค‘ ํ•ด๋ฐ€ํ„ด ์‹œ์Šคํ…œ์— ๊ด€ํ•œ ์—ฐ๊ตฌ

Monge-Ampรจre ์ด๋ก 

  1. ์ตœ์  ์ˆ˜์†ก: Brenier์˜ ๊ทน ๋ถ„ํ•ด์— ๊ด€ํ•œ ๊ณ ์ „ ๊ฒฐ๊ณผ
  2. ๋ณผ๋ก ๊ธฐํ•˜ํ•™: Caffarelli์˜ ์ •์น™์„ฑ์— ๊ด€ํ•œ ์—ฐ๊ตฌ
  3. ์ •๋ณด ๊ธฐํ•˜ํ•™: Amari-Nagaoka์˜ ํ†ต๊ณ„ ๋‹ค์–‘์ฒด ์ด๋ก 

๊ฒฐ๋ก  ๋ฐ ๋…ผ์˜

์ฃผ์š” ๊ฒฐ๋ก 

  1. ์ด๋ก  ํ†ตํ•ฉ: LG ์ด๋ก , Monge-Ampรจre ๊ธฐํ•˜ํ•™ ๋ฐ Frobenius ๋‹ค์–‘์ฒด ์‚ฌ์ด์˜ ๊นŠ์€ ์—ฐ๊ฒฐ์„ ์„ฑ๊ณต์ ์œผ๋กœ ํ™•๋ฆฝํ–ˆ์Šต๋‹ˆ๋‹ค.
  2. ๊ฑฐ์šธ ๋Œ€์นญ์˜ ์ƒˆ๋กœ์šด ๊ด€์ : ํ™•๋ฅ  ๋ฐ€๋„ ๊ณต๊ฐ„์„ ํ†ตํ•ด SYZ ์ถ”์ธก์— ์ƒˆ๋กœ์šด ๊ธฐํ•˜ํ•™์  ์‹คํ˜„์„ ์ œ๊ณตํ•ฉ๋‹ˆ๋‹ค.
  3. ๊ตฌ์ฒด์  ๊ตฌ์„ฑ: ์ด๋ก ์˜ ์œ ํšจ์„ฑ์„ ๊ฒ€์ฆํ•˜๋Š” ๊ณ„์‚ฐ ๊ฐ€๋Šฅํ•œ ์žฅ๋‚œ๊ฐ ๋ชจ๋ธ์„ ์ œ๊ณตํ•ฉ๋‹ˆ๋‹ค.

์ œํ•œ ์‚ฌํ•ญ

  1. ๊ธฐ์ˆ ์  ์ œํ•œ: ์ผ๋ถ€ ๊ฒฐ๊ณผ๋Š” ์ถ”๊ฐ€์ ์ธ ์ •์น™์„ฑ ๊ฐ€์ •๊ณผ ๊ฒฝ๊ณ„ ์กฐ๊ฑด์ด ํ•„์š”ํ•ฉ๋‹ˆ๋‹ค.
  2. ์ฐจ์› ์ œํ•œ: ํŒ”์›์ˆ˜์˜ ๊ฒฝ์šฐ 3ร—3 ํ–‰๋ ฌ๋กœ๋งŒ ์ œํ•œ๋˜์–ด ์ผ๋ฐ˜์„ฑ์„ ์ œํ•œํ•ฉ๋‹ˆ๋‹ค.
  3. ํŠน์ด์  ์ฒ˜๋ฆฌ: Monge-Ampรจre ์˜์—ญ์˜ ํŠน์ด ์„ฌ์œ ์— ๋Œ€ํ•ด ๋” ์„ธ๋ฐ€ํ•œ ๋ถ„์„์ด ํ•„์š”ํ•ฉ๋‹ˆ๋‹ค.

ํ–ฅํ›„ ๋ฐฉํ–ฅ

  1. ์ˆ˜์น˜ ๊ตฌํ˜„: Monge-Ampรจre ์ˆ˜์†ก ์‚ฌ์ƒ์„ ๊ณ„์‚ฐํ•˜๊ธฐ ์œ„ํ•œ ๊ตฌ์ฒด์  ์•Œ๊ณ ๋ฆฌ์ฆ˜ ๊ฐœ๋ฐœ.
  2. ๊ณ ์ฐจ์› ์ผ๋ฐ˜ํ™”: ๊ฒฐ๊ณผ๋ฅผ ๋” ์ผ๋ฐ˜์ ์ธ Calabi-Yau ๋‹ค์–‘์ฒด ๋ฒ”์ฃผ๋กœ ํ™•์žฅ.
  3. ๋ฌผ๋ฆฌ ์‘์šฉ: ์‘์ถ• ๋ฌผ์งˆ ๋ฌผ๋ฆฌํ•™์—์„œ์˜ ๊ตฌ์ฒด์  ์‘์šฉ ํƒ์ƒ‰.

์‹ฌ์ธต ํ‰๊ฐ€

์žฅ์ 

  1. ์ด๋ก ์  ๊นŠ์ด: ์—ฌ๋Ÿฌ ์ค‘์š”ํ•œ ์ˆ˜ํ•™ ๋ถ„์•ผ๋ฅผ ํ•˜๋‚˜์˜ ํ‹€ ๋‚ด์— ํ†ตํ•ฉํ•˜์—ฌ ๊นŠ์€ ์ˆ˜ํ•™์  ํ†ต์ฐฐ๋ ฅ์„ ๋ณด์—ฌ์ค๋‹ˆ๋‹ค.
  2. ๋ฐฉ๋ฒ•๋ก  ํ˜์‹ : Koopman-von Neumann ๊ด€์ ์€ ๊ณ ์ „์  ๋ฌธ์ œ์— ์™„์ „ํžˆ ์ƒˆ๋กœ์šด ๋ถ„์„ ๋„๊ตฌ๋ฅผ ์ œ๊ณตํ•ฉ๋‹ˆ๋‹ค.
  3. ๊ตฌ์กฐ์  ๋ช…ํ™•์„ฑ: ๋…ผ๋ฌธ ๊ตฌ์กฐ๊ฐ€ ํ•ฉ๋ฆฌ์ ์ด๋ฉฐ ์ถ”์ƒ ์ด๋ก ์—์„œ ๊ตฌ์ฒด์  ์˜ˆ์‹œ๋กœ ๋‹จ๊ณ„์ ์œผ๋กœ ์ง„ํ–‰๋ฉ๋‹ˆ๋‹ค.
  4. ๊ณ„์‚ฐ์˜ ๊ตฌ์ฒด์„ฑ: ๊ฒ€์ฆ ๊ฐ€๋Šฅํ•œ ๊ตฌ์ฒด์  ๊ณ„์‚ฐ๊ณผ ๋ช…ํ™•ํ•œ ๊ธฐํ•˜ํ•™์  ๊ตฌ์„ฑ์„ ์ œ๊ณตํ•ฉ๋‹ˆ๋‹ค.

๋ถ€์กฑํ•œ ์ 

  1. ๊ธฐ์ˆ ์  ์ง„์ž… ์žฅ๋ฒฝ: ๋…์ž๊ฐ€ ์—ฌ๋Ÿฌ ์ˆ˜ํ•™ ๋ถ„์•ผ์˜ ๊นŠ์€ ๋ฐฐ๊ฒฝ ์ง€์‹์„ ํ•„์š”๋กœ ํ•ฉ๋‹ˆ๋‹ค.
  2. ์ œํ•œ๋œ ์‘์šฉ: ์ด๋ก ์ด ์šฐ์•„ํ•˜์ง€๋งŒ ์‹ค์ œ ์‘์šฉ ์‹œ๋‚˜๋ฆฌ์˜ค๋Š” ์—ฌ์ „ํžˆ ์ถ”๊ฐ€ ๊ฐœ๋ฐœ์ด ํ•„์š”ํ•ฉ๋‹ˆ๋‹ค.
  3. ๋ณต์žกํ•œ ์ฆ๋ช…: ์ผ๋ถ€ ํ•ต์‹ฌ ์ •๋ฆฌ์˜ ์ฆ๋ช…์€ ์—ฌ๋Ÿฌ ๊นŠ์€ ์ˆ˜ํ•™ ๊ฒฐ๊ณผ์— ์˜์กดํ•ฉ๋‹ˆ๋‹ค.

์˜ํ–ฅ๋ ฅ

  1. ํ•™์ˆ ์  ๊ฐ€์น˜: ๊ฑฐ์šธ ๋Œ€์นญ ์ด๋ก ์— ์ƒˆ๋กœ์šด ๊ธฐํ•˜ํ•™์  ํ‹€์„ ์ œ๊ณตํ•˜์—ฌ ํ›„์† ์—ฐ๊ตฌ์— ์˜๊ฐ์„ ์ค„ ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค.
  2. ํ•™์ œ๊ฐ„ ์—ฐ๊ฒฐ: ๋Œ€์ˆ˜๊ธฐํ•˜ํ•™, ๋ฏธ๋ถ„๊ธฐํ•˜ํ•™, ํ™•๋ฅ ๋ก  ๋ฐ ์ˆ˜ํ•™ ๋ฌผ๋ฆฌํ•™ ์‚ฌ์ด์˜ ๋‹ค๋ฆฌ๋ฅผ ๊ตฌ์ถ•ํ•ฉ๋‹ˆ๋‹ค.
  3. ๋ฐฉ๋ฒ•๋ก  ๊ธฐ์—ฌ: Koopman-von Neumann ๋ฐฉ๋ฒ•์€ ๋‹ค๋ฅธ ๊ธฐํ•˜ํ•™์  ๋ฌธ์ œ์—๋„ ์ ์šฉ๋  ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค.

์ ์šฉ ๋ถ„์•ผ

  1. ์ด๋ก  ์—ฐ๊ตฌ: ๊ฑฐ์šธ ๋Œ€์นญ, Calabi-Yau ๊ธฐํ•˜ํ•™์„ ์—ฐ๊ตฌํ•˜๋Š” ์ด๋ก  ์ˆ˜ํ•™์ž์—๊ฒŒ ์ ํ•ฉํ•ฉ๋‹ˆ๋‹ค.
  2. ์ˆ˜ํ•™ ๋ฌผ๋ฆฌํ•™: ํ˜„ ์ด๋ก , ์œ„์ƒ ์žฅ๋ก ์„ ์—ฐ๊ตฌํ•˜๋Š” ๋ฌผ๋ฆฌํ•™์ž์—๊ฒŒ ์ฐธ๊ณ  ๊ฐ€์น˜๊ฐ€ ์žˆ์Šต๋‹ˆ๋‹ค.
  3. ๊ณ„์‚ฐ ๊ธฐํ•˜ํ•™: ์ƒˆ๋กœ์šด ๊ธฐํ•˜ํ•™์  ์•Œ๊ณ ๋ฆฌ์ฆ˜ ๊ฐœ๋ฐœ์— ์ด๋ก ์  ๊ธฐ์ดˆ๋ฅผ ์ œ๊ณตํ•ฉ๋‹ˆ๋‹ค.

์ฐธ๊ณ  ๋ฌธํ—Œ

๋…ผ๋ฌธ์€ ํ’๋ถ€ํ•œ ์ฐธ๊ณ  ๋ฌธํ—Œ์„ ์ธ์šฉํ•˜๊ณ  ์žˆ์Šต๋‹ˆ๋‹ค:

  • ๋™ํ˜• ๊ฑฐ์šธ ๋Œ€์นญ์— ๊ด€ํ•œ Kontsevich์˜ ํš๊ธฐ์  ์—ฐ๊ตฌ
  • Frobenius ๋‹ค์–‘์ฒด์— ๊ด€ํ•œ Dubrovin์˜ ๊ณ ์ „ ์ด๋ก 
  • ๋Œ€์นญ ๊ณต๊ฐ„์— ๊ด€ํ•œ Helgason์˜ ๊ถŒ์œ„ ์žˆ๋Š” ๊ต๊ณผ์„œ
  • ์ตœ์  ์ˆ˜์†ก์— ๊ด€ํ•œ Brenier์˜ ๊ธฐ์ดˆ ๊ฒฐ๊ณผ
  • F-๋‹ค์–‘์ฒด์— ๊ด€ํ•œ Manin์˜ ์ตœ์‹  ๋ฐœ์ „

์ข…ํ•ฉ ํ‰๊ฐ€: ์ด๋Š” ๊ฑฐ์šธ ๋Œ€์นญ ์ด๋ก ์—์„œ ํ˜์‹ ์ ์ธ ๊ธฐํ•˜ํ•™์  ํ‹€์„ ์ œ์‹œํ•˜๋Š” ๊ณ ํ’ˆ์งˆ์˜ ์ด๋ก  ์ˆ˜ํ•™ ๋…ผ๋ฌธ์ž…๋‹ˆ๋‹ค. ๊ธฐ์ˆ ์  ์š”๊ตฌ ์‚ฌํ•ญ์ด ๋†’์ง€๋งŒ, ๊ด€๋ จ ๋ถ„์•ผ์˜ ๋ฐœ์ „์— ์ค‘์š”ํ•œ ์ด๋ก ์  ๊ธฐ์—ฌ์™€ ์ƒˆ๋กœ์šด ์—ฐ๊ตฌ ๋ฐฉํ–ฅ์„ ์ œ๊ณตํ•ฉ๋‹ˆ๋‹ค.