āĻāĻ āĻĒāϤā§āϰāĻŋāĻāĻžāĻāĻŋ āĻāĻŋāĻāĻā§āϰ āĻāĻĒāϰ āĻāĻŋāϰāĻžāϞāĻŋ āĻĒā§āϰāϏāĻžāϧāύ⧠āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰ (chirally cosmetic surgeries) āϏāĻŽāϏā§āϝāĻž āĻ āϧā§āϝāϝāĻŧāύ āĻāϰā§āĨ¤ āϝāĻĻāĻŋ āĻĻā§āĻāĻŋ āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰ āĻĻā§āĻŦāĻžāϰāĻž āĻā§āĻĒāĻžāĻĻāĻŋāϤ āĻŦāĻšā§āĻā§āĻŖāĻā§āϞāĻŋ āĻŦāĻŋāĻĒāϰā§āϤ āĻ āĻāĻŋāĻŽā§āĻ āĻāĻŋāύā§āϤ⧠āϏāĻŽāϰā§āĻĒā§ āĻšāϝāĻŧ, āϤāĻŦā§ āĻāĻ āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰā§āϰ āĻā§āĻĄāĻŧāĻā§ āĻāĻŋāϰāĻžāϞāĻŋ āĻĒā§āϰāϏāĻžāϧāύ⧠āĻŦāϞāĻž āĻšāϝāĻŧāĨ¤ āϞā§āĻāĻ Heegaard Floer āϏāĻŽāϏāϤā§āϤā§āĻŦ, āĻŦāĻŋāĻļā§āώāϤ āĻāĻŋāĻāĻ Floer āϏāĻŽāϏāϤā§āϤā§āĻŦā§āϰ āύāĻŋāĻŽāĻā§āĻāĻŋāϤ āĻŦāĻā§āϰāϰā§āĻāĻž āĻĒā§āϰāĻāĻžāĻļ āĻāĻŦāĻ āϏāĻāĻļā§āϞāĻŋāώā§āĻ āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰ āϏā§āϤā§āϰ āĻŦā§āϝāĻŦāĻšāĻžāϰ āĻāϰ⧠āĻāĻ āϧāϰāύā§āϰ āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰā§āϰ āĻ āϏā§āϤāĻŋāϤā§āĻŦā§āϰ āύāϤā§āύ āĻŦāĻžāϧāĻž āĻā§āĻāĻā§ āĻĒāĻžāύāĨ¤ āĻĒā§āϰāϝāĻŧā§āĻ āĻšāĻŋāϏāĻžāĻŦā§, āĻŦāĻŋāĻā§āĻĄāĻŧ āĻŦāĻŋāĻāϞā§āĻĒ āϞāĻŦāĻŖ-āĻāĻŦāĻ-āĻŽāϰāĻŋāĻ āĻāĻŋāĻāĻā§āϰ āĻāĻĒāϰ āĻāĻŋāϰāĻžāϞāĻŋ āĻĒā§āϰāϏāĻžāϧāύ⧠āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰ āϏāĻŽā§āĻĒā§āϰā§āĻŖāĻāĻžāĻŦā§ āĻļā§āϰā§āĻŖā§āĻŦāĻĻā§āϧ āĻāϰāĻž āĻšāϝāĻŧā§āĻā§, Whitehead āĻĻā§āĻŦāĻŋāĻā§āĻŖ āĻāĻŋāĻāĻā§āϰ āĻŦā§āĻšā§ āĻļā§āϰā§āĻŖā§āϰ āĻāĻ āϧāϰāύā§āϰ āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰ āĻŦāĻžāĻĻ āĻĻā§āĻāϝāĻŧāĻž āĻšāϝāĻŧā§āĻā§, āĻāĻŦāĻ āĻĒā§āϰāĻŽāĻžāĻŖ āĻāϰāĻž āĻšāϝāĻŧā§āĻā§ āϝ⧠L-āϏā§āĻĨāĻžāύ āĻāĻŋāĻāĻāĻā§āϞāĻŋ āĻŦāĻŋāĻĒāϰā§āϤ āĻāĻŋāĻšā§āύā§āϰ āĻĸāĻžāϞ āĻāĻĒāϰ āĻā§āύ⧠āĻĒā§āϰāϏāĻžāϧāύ⧠āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰ āϏā§āĻŦā§āĻāĻžāϰ āĻāϰ⧠āύāĻžāĨ¤
ā§§. āĻĒā§āϰāϏāĻžāϧāύ⧠āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰ āϏāĻŽāϏā§āϝāĻž: SÂŗ āĻ āĻāĻāĻāĻŋ āĻāĻŋāĻāĻ K āĻāĻŦāĻ āĻŽā§āϞāĻĻ āϏāĻāĻā§āϝāĻž r, r' āĻĻā§āĻāϝāĻŧāĻž āĻšāϞā§, āϝāĻĻāĻŋ SÂŗáĩŖ(K) āĻāĻŦāĻ SÂŗáĩŖ'(K) āϏāĻŽāϰā§āĻĒā§ āĻšāϝāĻŧ, āϤāĻŦā§ āĻĸāĻžāϞ r āĻāĻŦāĻ r' āĻŦāϰāĻžāĻŦāϰ āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰāĻā§ āĻĒā§āϰāϏāĻžāϧāύ⧠āĻŦāϞāĻž āĻšāϝāĻŧāĨ¤ āĻāϰāĻ, āϝāĻĻāĻŋ āϏāĻŽāϰā§āĻĒāϤāĻž āĻ āĻāĻŋāĻŽā§āĻ āϏāĻāϰāĻā§āώāĻŖ āĻāϰā§, āϤāĻžāĻā§ āĻŦāĻŋāĻļā§āĻĻā§āϧ āĻĒā§āϰāϏāĻžāϧāύ⧠(purely cosmetic) āĻŦāϞāĻž āĻšāϝāĻŧ; āϝāĻĻāĻŋ SÂŗáĩŖ(K) â -SÂŗáĩŖ'(K), āϤāĻŦā§ āϤāĻžāĻā§ āĻāĻŋāϰāĻžāϞāĻŋ āĻĒā§āϰāϏāĻžāϧāύ⧠(chirally cosmetic) āĻŦāϞāĻž āĻšāϝāĻŧāĨ¤
āĨ¨. āĻāĻŦā§āώāĻŖāĻžāϰ āĻŦāϰā§āϤāĻŽāĻžāύ āĻ āĻŦāϏā§āĻĨāĻž:
āĨŠ. āĻŽā§āϞ āϏāĻŽāϏā§āϝāĻž: āĻĒā§āϰāĻļā§āύ ā§§.āĨ§ āĻāĻŋāĻā§āĻāĻžāϏāĻž āĻāϰ⧠āϝ⧠āĻ -āĻĻā§āĻŦāĻŋāĻĒāĻā§āώā§āϝāĻŧ āĻāĻŦāĻ āĻ -(āĨ¨,n)-āĻā§āϰāĻžāϏ āĻāĻŋāĻāĻ āĻāĻŋāϰāĻžāϞāĻŋ āĻĒā§āϰāϏāĻžāϧāύ⧠āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰ āϏā§āĻŦā§āĻāĻžāϰ āĻāϰ⧠āĻāĻŋāύāĻžāĨ¤
āĻŦāĻŋāĻĻā§āϝāĻŽāĻžāύ Heegaard Floer āĻŦāĻžāϧāĻž āĻĻā§āĻāĻžāϝāĻŧ āϝ⧠āĻāĻāĻ āĻāĻŋāĻšā§āύā§āϰ āĻĸāĻžāϞ āĻŦāϰāĻžāĻŦāϰ āĻāĻŋāϰāĻžāϞāĻŋ āĻĒā§āϰāϏāĻžāϧāύ⧠āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰ āĻŦāĻŋāϰāϞ (Theorem āĨ§.āĨ¨)āĨ¤ āĻ āϤāĻāĻŦ āϏā§āĻŦāĻžāĻāĻžāĻŦāĻŋāĻāĻāĻžāĻŦā§ āĻĒā§āϰāĻļā§āύ āĨ§.āĨŠ āĻŦāĻŋāĻŦā§āĻāύāĻž āĻāϰāĻž āĻšāϝāĻŧ: āĻ -āĻĻā§āĻŦāĻŋāĻĒāĻā§āώā§āϝāĻŧ āĻāĻŋāĻāĻ āĻŦāĻŋāĻĒāϰā§āϤ āĻāĻŋāĻšā§āύā§āϰ āĻĸāĻžāϞ āĻŦāϰāĻžāĻŦāϰ āĻāĻŋāϰāĻžāϞāĻŋ āĻĒā§āϰāϏāĻžāϧāύ⧠āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰ āϏā§āĻŦā§āĻāĻžāϰ āĻāϰ⧠āĻāĻŋāύāĻž? āĻāĻ āĻĒāϤā§āϰāĻŋāĻāĻž āĻāĻ āϏāĻŽāϏā§āϝāĻžāϰ āĻāύā§āϝ āύāϤā§āύ āĻŦāĻžāϧāĻž āĻĒā§āϰāĻĻāĻžāύ āĻāϰāĻžāϰ āĻāύā§āϝāĨ¤
āĨ§. āύāϤā§āύ āĻŦāĻžāϧāĻž āĻāĻĒāĻĒāĻžāĻĻā§āϝ: Ī(K) = g(K) > āĨĻ āϏāύā§āϤā§āώā§āĻ āĻāϰ⧠āĻāĻŽāύ āĻāĻŋāĻāĻā§āϰ āĻāύā§āϝ, āĻŦāĻŋāĻĒāϰā§āϤ āĻāĻŋāĻšā§āύā§āϰ āĻĸāĻžāϞ āĻŦāϰāĻžāĻŦāϰ āĻāĻŋāϰāĻžāϞāĻŋ āĻĒā§āϰāϏāĻžāϧāύ⧠āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰā§āϰ āύāĻŋāϰā§āĻĻāĻŋāώā§āĻ āϏā§āĻŽāĻžāĻŦāĻĻā§āϧāϤāĻž āĻĒā§āϰāĻĻāĻžāύ āĻāϰāĻž āĻšāϝāĻŧā§āĻā§ (Theorem āĨ§.āĨĒ)
āĨ¨. āϏāĻŽā§āĻĒā§āϰā§āĻŖ āĻļā§āϰā§āĻŖā§āĻŦāĻŋāĻāĻžāĻ āĻĢāϞāĻžāĻĢāϞ: āĻŦāĻŋāĻā§āĻĄāĻŧ āĻŦāĻŋāĻāϞā§āĻĒ āϞāĻŦāĻŖ-āĻāĻŦāĻ-āĻŽāϰāĻŋāĻ āĻāĻŋāĻāĻ K(kâ,...,kââââ) āĻāϰ āĻāĻŋāϰāĻžāϞāĻŋ āĻĒā§āϰāϏāĻžāϧāύ⧠āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰ āϏāĻŽā§āĻĒā§āϰā§āĻŖāĻāĻžāĻŦā§ āĻļā§āϰā§āĻŖā§āĻŦāĻĻā§āϧ āĻāϰāĻž āĻšāϝāĻŧā§āĻā§ (Theorem āĨ§.āĨĢ)
āĨŠ. Whitehead āĻĻā§āĻŦāĻŋāĻā§āĻŖ āĻāĻŋāĻāĻ āĻĢāϞāĻžāĻĢāϞ: Whitehead āĻĻā§āĻŦāĻŋāĻā§āĻŖ āĻāĻŋāĻāĻ Dâē(K,n) āĻāϰ āĻŦā§āĻšā§ āĻļā§āϰā§āĻŖā§āϰ āĻāĻŋāϰāĻžāϞāĻŋ āĻĒā§āϰāϏāĻžāϧāύ⧠āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰ āĻŦāĻžāĻĻ āĻĻā§āĻāϝāĻŧāĻž āĻšāϝāĻŧā§āĻā§ (Theorem āĨ§.āĨ)
āĨĒ. L-āϏā§āĻĨāĻžāύ āĻāĻŋāĻāĻ āĻĢāϞāĻžāĻĢāϞ: āĻ -āϤā§āĻā§āĻ L-āϏā§āĻĨāĻžāύ āĻāĻŋāĻāĻāĻā§āϞāĻŋ āĻŦāĻŋāĻĒāϰā§āϤ āĻāĻŋāĻšā§āύā§āϰ āĻĸāĻžāϞ āĻŦāϰāĻžāĻŦāϰ āĻā§āύ⧠āĻĒā§āϰāϏāĻžāϧāύ⧠āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰ āϏā§āĻŦā§āĻāĻžāϰ āĻāϰ⧠āύāĻž āϤāĻž āĻĒā§āϰāĻŽāĻžāĻŖ āĻāϰāĻž āĻšāϝāĻŧā§āĻā§ (Theorem āĨ§.āĨŽ)
āĻāĻ āĻĒāϤā§āϰāĻŋāĻāĻž āĻĒā§āϰāϧāĻžāύāϤ Heegaard Floer āϏāĻŽāϏāϤā§āϤā§āĻŦā§āϰ āύāĻŋāĻŽāĻā§āĻāĻŋāϤ āĻŦāĻā§āϰāϰā§āĻāĻž āĻĒā§āϰāĻāĻžāĻļ āĻŦā§āϝāĻŦāĻšāĻžāϰ āĻāϰā§, āϝāĻž āĻāĻŋāĻāĻ Floer āϏāĻŽāϏāϤā§āϤā§āĻŦāĻā§ āĻāĻŋāĻĻā§āϰāϝā§āĻā§āϤ āĻā§āϰāĻžāϏā§āϰ āĻāĻĒāϰ āύāĻŋāĻŽāĻā§āĻāĻŋāϤ āĻŦāĻā§āϰāϰā§āĻāĻž āĻšāĻŋāϏāĻžāĻŦā§ āĻāύāĻā§āĻĄ āĻāϰāĻžāϰ āĻāĻāĻāĻŋ āĻĒāĻĻā§āϧāϤāĻŋāĨ¤
āĻāĻŋāĻāĻ K â SÂŗ āĻāϰ āĻāύā§āϝ, āĻāϰ āύāĻŋāĻŽāĻā§āĻāĻŋāϤ āĻŦāĻā§āϰāϰā§āĻāĻž āĻ āĻĒāϰāĻŋāĻŦāϰā§āϤāύā§āϝāĻŧ Î â Tâĸ āĻāĻŋāĻāĻā§āϰ Floer āϏāĻŽāϏāϤā§āϤā§āĻŦ āϤāĻĨā§āϝ āĻāύāĻā§āĻĄ āĻāϰā§āĨ¤ āϏāĻŋāϞāĻŋāύā§āĻĄāĻžāϰ āĻāĻāĻžāϰāĻŋāĻ TĖâĸ āĻ, Î āĻŦāĻŋāĻļā§āώ āĻāĻžāĻ āĻžāĻŽā§ āϰāϝāĻŧā§āĻā§:
Theorem āĨ¨.āĨ§ āĻāϰ āĻŽāĻžāϧā§āϝāĻŽā§, Dehn āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰā§āϰ Heegaard Floer āϏāĻŽāϏāϤā§āϤā§āĻŦ āύāĻŋāĻŽāĻā§āĻāĻŋāϤ āĻŦāĻā§āϰāϰā§āĻāĻžāϰ Lagrangian Floer āϏāĻŽāϏāϤā§āϤā§āĻŦ āĻĻā§āĻŦāĻžāϰāĻž āĻāĻŖāύāĻž āĻāϰāĻž āϝāĻžāϝāĻŧ:
ĤF(SÂŗâ(p/q)) â
HF(Î, Lâ/áĩŠ)
"āĻāĻžāύāĻžāύā§" āĻāύāĻĢāĻŋāĻāĻžāϰā§āĻļāύā§āϰ āύāĻŋāĻŽāĻā§āĻāĻŋāϤ āĻŦāĻā§āϰāϰā§āĻāĻžāϰ āĻāύā§āϝ, āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰ āĻŦāĻšā§āĻā§āĻŖā§āϰ Heegaard Floer āϏāĻŽāϏāϤā§āϤā§āĻŦā§āϰ āϰā§āϝāĻžāĻā§āĻ āύāĻŋāĻŽā§āύāϞāĻŋāĻāĻŋāϤ āϏā§āϤā§āϰ āĻĻā§āĻŦāĻžāϰāĻž āĻĻā§āĻāϝāĻŧāĻž āĻšāϝāĻŧ:
rk ĤF(SÂŗâ(p/q)) = |p - q(2Ī(K) - Îĩ(K))| + |q|Vert(K)
Ī(K) = g(K) > āĨĻ āϏāύā§āϤā§āώā§āĻ āĻāϰ⧠āĻāĻŽāύ āĻāĻŋāĻāĻā§āϰ āĻāύā§āϝ:
āĨ§. Lemma āĨ¨.āĨĒ: āϝāĻĻāĻŋ p/q > āĨ¨g(K) - āĨ§, āϤāĻŦā§ āĻĒā§āϰāϤāĻŋāĻāĻŋ Spináļ āĻāĻžāĻ āĻžāĻŽā§ s āĻāϰ āĻāύā§āϝ,
rk ĤF(SÂŗâ(p/q), s) ⤠maxáĩĸ náĩĸ(K)
āĨ¨. Lemma āĨ¨.āĨĢ: āϝāĻĻāĻŋ p/q < āĨĻ, āϤāĻŦā§ āĻāĻāĻāĻŋ Spináļ āĻāĻžāĻ āĻžāĻŽā§ s āĻŦāĻŋāĻĻā§āϝāĻŽāĻžāύ āϝā§āĻŽāύ
rk ĤF(SÂŗâ(p/q), s) âĨ maxáĩĸ náĩĸ(K) + āĨ§
āĨŠ. āĻŦāĻŋāϰā§āϧ āϝā§āĻā§āϤāĻŋ: āϝāĻĻāĻŋ p/q > āĨ¨g(K) - āĨ§ āĻāĻŦāĻ āĻāĻŋāϰāĻžāϞāĻŋ āĻĒā§āϰāϏāĻžāϧāύ⧠āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰ āĻŦāĻŋāĻĻā§āϝāĻŽāĻžāύ āĻĨāĻžāĻā§, āϤāĻŦā§ āĻĻā§āĻāĻŋ āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰ āĻŦāĻšā§āĻā§āĻŖā§āϰ Heegaard Floer āϏāĻŽāϏāϤā§āϤā§āĻŦ āϏāĻŽāϰā§āĻĒā§ āĻšāϤ⧠āĻĒāĻžāϰ⧠āύāĻžāĨ¤
āĨĒ. āύāĻŋāϰā§āĻā§āϞ āϏā§āĻŽāĻžāĻŦāĻĻā§āϧāϤāĻž: āϰā§āϝāĻžāĻā§āĻ āϏā§āϤā§āϰ āĻŦā§āϝāĻŦāĻšāĻžāϰ āĻāϰ⧠āύāĻŋāϰā§āĻā§āϞ āĻŦā§āĻāĻāĻŖāĻŋāϤā§āϝāĻŧ āϏā§āĻŽāĻžāĻŦāĻĻā§āϧāϤāĻž āĻĒāĻžāύ:
āĨ¨p = (Vert(K) + āĨ¨g(K) - āĨ§)(q + q')
āĻāĻ āĻĒāϤā§āϰāĻŋāĻāĻžāϰ "āĻĒāϰā§āĻā§āώāĻž" āϤāĻžāϤā§āϤā§āĻŦāĻŋāĻ āĻĢāϞāĻžāĻĢāϞ āύāĻŋāϰā§āĻĻāĻŋāώā§āĻ āĻāĻŋāĻāĻ āĻĒāϰāĻŋāĻŦāĻžāϰ⧠āĻĒā§āϰāϝāĻŧā§āĻ āĻāϰāĻž:
āĨ§. āĻŦāĻŋāĻā§āĻĄāĻŧ āĻŦāĻŋāĻāϞā§āĻĒ āϞāĻŦāĻŖ-āĻāĻŦāĻ-āĻŽāϰāĻŋāĻ āĻāĻŋāĻāĻ: P(-āĨ¨kâ-āĨ§, -āĨ¨kâ-āĨ§, ..., -āĨ¨kââââ-āĨ§) āĨ¨. Whitehead āĻĻā§āĻŦāĻŋāĻā§āĻŖ āĻāĻŋāĻāĻ: Dâē(K,n) āĨŠ. L-āϏā§āĻĨāĻžāύ āĻāĻŋāĻāĻ: āύāĻŋāϰā§āĻĻāĻŋāώā§āĻ āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰ L-āϏā§āĻĨāĻžāύ āĻā§āĻĒāĻžāĻĻāύ āĻāϰ⧠āĻāĻŽāύ āĻāĻŋāĻāĻ
K = K(kâ,...,kââââ) āĻāϰ āĻāύā§āϝ, āϝāĻĻāĻŋ āĻāĻŽāĻĒāĻā§āώ⧠āĻāĻāĻāĻŋ káĩĸ > āĨĻ, āϤāĻŦā§ K āĻā§āύ⧠āĻāĻŋāϰāĻžāϞāĻŋ āĻĒā§āϰāϏāĻžāϧāύ⧠āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰ āϏā§āĻŦā§āĻāĻžāϰ āĻāϰ⧠āύāĻžāĨ¤
āĨ§. āĻŦāĻŋāĻĒāϰā§āϤ āĻāĻŋāĻšā§āύā§āϰ āĻĸāĻžāϞ āĻā§āώā§āϤā§āϰ:
āĨ¨. āĻāĻāĻ āĻāĻŋāĻšā§āύā§āϰ āĻĸāĻžāϞ āĻā§āώā§āϤā§āϰ:
Seifert āĻ ā§āϝāĻžāϞāĻāϰāĻŋāĻĻāĻŽ āĻĻā§āĻŦāĻžāϰāĻž āύāĻŋāϰā§āϧāĻžāϰāĻ āĻāĻŖāύāĻž āĻāϰā§āύ:
det(K) = ÎŖ(m=āĨĻ to āĨ¨g) āĨ¨^m(āĨ¨g+āĨ§-m)sâ,āĨ¨ââāĨ§
āϝā§āĻāĻžāύ⧠sâ,â āĻĒā§āϰāĻžāĻĨāĻŽāĻŋāĻ āĻĒā§āϰāϤāĻŋāϏāĻŽ āĻŦāĻšā§āĻĒāĻĻāĨ¤
āĨ§. Whitehead āĻĻā§āĻŦāĻŋāĻā§āĻŖā§āϰ āĻĒāϰāĻŋāĻāĻŋāϤ āϏā§āϤā§āϰ āĻŦā§āϝāĻŦāĻšāĻžāϰ āĻāϰā§āύ:
āĨ¨. Lemma āĨŠ.āĨ§āĨĒ āĻāϰ Casson āĻĒā§āϰāĻāĻžāϰ āĻ āĻĒāϰāĻŋāĻŦāϰā§āϤāύā§āϝāĻŧ āĻŦāĻžāϧāĻž āϏāĻžāĻĨā§ āϏāĻāĻŽāĻŋāĻļā§āϰāĻŖ āĻāϰā§āύ
āĻ -āϤā§āĻā§āĻ L-āϏā§āĻĨāĻžāύ āĻāĻŋāĻāĻ āĻŦāĻŋāĻĒāϰā§āϤ āĻāĻŋāĻšā§āύā§āϰ āĻĸāĻžāϞ āĻŦāϰāĻžāĻŦāϰ āĻā§āύ⧠āĻĒā§āϰāϏāĻžāϧāύ⧠āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰ āϏā§āĻŦā§āĻāĻžāϰ āĻāϰ⧠āύāĻžāĨ¤
āĨ§. āĻāĻžāĻ āĻžāĻŽā§ āĻāĻĒāĻĒāĻžāĻĻā§āϝ (Lemma āĨĒ.āĨ§): L-āϏā§āĻĨāĻžāύ āĻāĻŋāĻāĻā§āϰ āύāĻŋāĻŽāĻā§āĻāĻŋāϤ āĻŦāĻā§āϰāϰā§āĻāĻž āĻ āĻĒāϰāĻŋāĻŦāϰā§āϤāύā§āϝāĻŧ āĻāĻāĻāĻŋ āĻāĻāĻ āĻāĻŽā§āĻŦā§āĻĄ āĻāϰāĻž āĻāĻĒāĻžāĻĻāĻžāύ āύāĻŋāϝāĻŧā§ āĻāĻ āĻŋāϤ
āĨ¨. āĻāĻĒā§āĻā§āώāĻŋāĻ āĻā§āϰā§āĻĄāĻŋāĻ āĻŦāĻŋāĻļā§āϞā§āώāĻŖ: āĻļāĻŋāϝāĻŧāĻžāϰ āϰā§āĻĒāĻžāύā§āϤāϰ āĻāĻŦāĻ āĻĒā§āϰāϤāĻŋāĻĢāϞāύ āĻŦā§āϝāĻŦāĻšāĻžāϰ āĻāϰ⧠āĻĻā§āĻŦāĻŋāĻŽā§āĻā§ Ī āĻĒā§āϰāϤāĻŋāώā§āĻ āĻž āĻāϰā§āύ, āĻŦāĻŋāĻāĻŋāύā§āύ Spináļ āĻāĻžāĻ āĻžāĻŽā§āϰ āĻŽāϧā§āϝ⧠āĻā§āϰā§āĻĄāĻŋāĻ āϏāĻŽā§āĻĒāϰā§āĻ āĻŦāĻŋāĻļā§āϞā§āώāĻŖ āĻāϰā§āύ
āĨŠ. āĻŦāĻŋāϰā§āϧ āϝā§āĻā§āϤāĻŋ: āĻāĻĄāĻŧ āĻā§āϰā§āĻĄāĻŋāĻ āĻĒāĻžāϰā§āĻĨāĻā§āϝ ââáĩĨâ āĻāϰ āĻāĻāĻā§āϝāĻŧā§āϤāĻž āĻĻā§āĻŦāĻžāϰāĻž āĻŦāĻŋāϰā§āϧ āĻĒāĻžāύ
āĨ§. āĻāĻŋāϰāĻžāϞāĻŋ āĻĒā§āϰāϏāĻžāϧāύ⧠āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰā§āϰ āĻāύā§āϝ āύāϤā§āύ āĻļāĻā§āϤāĻŋāĻļāĻžāϞ⧠āĻŦāĻžāϧāĻž āĻĒā§āϰāĻĻāĻžāύ āĻāϰāĻž āĻšāϝāĻŧā§āĻā§ āĨ¨. āĻŦāĻŋāĻā§āĻĄāĻŧ āĻŦāĻŋāĻāϞā§āĻĒ āϞāĻŦāĻŖ-āĻāĻŦāĻ-āĻŽāϰāĻŋāĻ āĻāĻŋāĻāĻā§āϰ āĻāĻŋāϰāĻžāϞāĻŋ āĻĒā§āϰāϏāĻžāϧāύ⧠āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰ āĻļā§āϰā§āĻŖā§āĻŦāĻŋāĻāĻžāĻ āϏāĻŽā§āĻĒā§āϰā§āĻŖāĻāĻžāĻŦā§ āϏāĻŽāĻžāϧāĻžāύ āĻāϰāĻž āĻšāϝāĻŧā§āĻā§ āĨŠ. āĻĒā§āϰāĻļā§āύ āĨ§.āĨŠ āĻāϰ āĻŦā§āĻāĻžāĻĒāĻĄāĻŧāĻž āĻāϞā§āϞā§āĻāϝā§āĻā§āϝāĻāĻžāĻŦā§ āĻ āĻā§āϰāϏāϰ āĻāϰāĻž āĻšāϝāĻŧā§āĻā§
āĨ§. āĻĒāĻĻā§āϧāϤāĻŋ āĻāĻĻā§āĻāĻžāĻŦāύ: āĻĒā§āϰāĻĨāĻŽāĻŦāĻžāϰā§āϰ āĻŽāϤ⧠āĻĒā§āϰāϏāĻžāϧāύ⧠āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰ āϏāĻŽāϏā§āϝāĻžāϝāĻŧ āύāĻŋāĻŽāĻā§āĻāĻŋāϤ āĻŦāĻā§āϰāϰā§āĻāĻž āĻĒā§āϰāĻāĻžāĻļ āĻĒāĻĻā§āϧāϤāĻŋāĻāϤāĻāĻžāĻŦā§ āĻĒā§āϰāϝāĻŧā§āĻ āĻāϰāĻž āĻšāϝāĻŧā§āĻā§ āĨ¨. āĻĢāϞāĻžāĻĢāϞ āϏāĻŽā§āĻĒā§āϰā§āĻŖāϤāĻž: āϞāĻŦāĻŖ-āĻāĻŦāĻ-āĻŽāϰāĻŋāĻ āĻāĻŋāĻāĻā§āϰ āϏāĻŽā§āĻĒā§āϰā§āĻŖ āĻļā§āϰā§āĻŖā§āĻŦāĻŋāĻāĻžāĻ, L-āϏā§āĻĨāĻžāύ āĻāĻŋāĻāĻā§āϰ āϏāĻŽā§āĻĒā§āϰā§āĻŖ āĻŦāϰā§āĻāύ āĨŠ. āĻĒā§āϰāϝā§āĻā§āϤāĻŋāĻāϤ āĻāĻā§āϰāϤāĻž: Heegaard Floer āϤāϤā§āϤā§āĻŦ, āϏā§āĻŽāĻŋāϤ āĻĒā§āϰāĻāĻžāϰ āĻ āĻĒāϰāĻŋāĻŦāϰā§āϤāύā§āϝāĻŧ āĻāĻŦāĻ āĻā§āϝāĻžāĻŽāĻŋāϤāĻŋāĻ āĻŦāĻŋāĻļā§āϞā§āώāĻŖā§āϰ āĻāĻŽā§āĻāĻžāϰ āϏāĻŽāύā§āĻŦāϝāĻŧ
āĨ§. āϤāĻžāϤā§āϤā§āĻŦāĻŋāĻ āĻ āĻŦāĻĻāĻžāύ: āĻā§āϰā§āϤā§āĻŦāĻĒā§āϰā§āĻŖ āĻā§āϞāĻž āϏāĻŽāϏā§āϝāĻžāϝāĻŧ āĻŦāĻžāϏā§āϤāĻŦ āĻ āĻā§āϰāĻāϤāĻŋ āĻĒā§āϰāĻĻāĻžāύ āĻāϰāĻž āĻšāϝāĻŧā§āĻā§ āĨ¨. āĻĒāĻĻā§āϧāϤāĻŋāĻāϤ āĻŽā§āϞā§āϝ: āĻāϧā§āύāĻŋāĻ āĻāĻŋāĻāĻ āĻ āĻĒāϰāĻŋāĻŦāϰā§āϤāύā§āϝāĻŧā§āϰ āĻļāĻā§āϤāĻŋāĻļāĻžāϞ⧠āĻĒā§āϰāĻĻāϰā§āĻļāύ āĻāϰāĻž āĻšāϝāĻŧā§āĻā§ āĨŠ. āϏāĻŽā§āĻĒā§āϰā§āĻŖāϤāĻž: āĻŦāĻŋāĻŽā§āϰā§āϤ āϤāϤā§āϤā§āĻŦ āĻĨā§āĻā§ āύāĻŋāϰā§āĻĻāĻŋāώā§āĻ āĻĒā§āϰāϝāĻŧā§āĻā§āϰ āϏāĻŽā§āĻĒā§āϰā§āĻŖ āĻļā§āĻā§āĻāϞ
āĨ§. āĻĒā§āϰāϝā§āĻā§āϝāϤāĻžāϰ āĻĒāϰāĻŋāϏā§āĻŽāĻž: āĻĒā§āϰāϧāĻžāύ āĻĢāϞāĻžāĻĢāϞ Ī(K) = g(K) āĻĒā§āϰāϝāĻŧā§āĻāύ, āĻĒā§āϰāϝā§āĻā§āϝ āĻāĻŋāĻāĻ āĻĒā§āϰāĻāĻžāϰ āϏā§āĻŽāĻŋāϤ āĻāϰ⧠āĨ¨. āĻĒā§āϰāϝā§āĻā§āϤāĻŋāĻāϤ āĻĒā§āϰāĻŦā§āĻļāĻĻā§āĻŦāĻžāϰ: āĻāĻā§āϰ Heegaard Floer āϤāϤā§āϤā§āĻŦ āĻĒāĻāĻā§āĻŽāĻŋ āĻĒā§āϰāϝāĻŧā§āĻāύ āĨŠ. āĻāĻŖāύāĻž āĻāĻāĻŋāϞāϤāĻž: āύāĻŋāϰā§āĻĻāĻŋāώā§āĻ āĻĒā§āϰāϝāĻŧā§āĻ āĻŦāĻŋāϏā§āϤā§āϤ āĻ āĻĒāϰāĻŋāĻŦāϰā§āϤāύā§āϝāĻŧ āĻāĻŖāύāĻž āĻĒā§āϰāϝāĻŧā§āĻāύ
āĨ§. āĻĒā§āϰāĻļā§āύ āĨ§.āĨ§ āϏāĻŽā§āĻĒā§āϰā§āĻŖāĻāĻžāĻŦā§ āϏāĻŽāĻžāϧāĻžāύ āĻāϰāĻž āĻšāϝāĻŧāύāĻŋ: āĻāĻāύāĻ āĻāĻŋāĻā§ āĻāĻŋāĻāĻ āĻĒā§āϰāĻāĻžāϰ āĻ āĻāĻāĻžāϰ āĻāϰāĻž āϰāϝāĻŧā§āĻā§ āĨ¨. āĻāĻ āύāĻŽā§āϞāĻ āĻ āĻĒā§āϰā§āĻŖāϤāĻž: āĻĒā§āϰāϧāĻžāύāϤ āĻŦāϰā§āĻāύāĻŽā§āϞāĻ āĻĢāϞāĻžāĻĢāϞ, āĻāϤāĻŋāĻŦāĻžāĻāĻ āĻāĻ āύ āĻ āĻāĻžāĻŦ āĨŠ. āϏāĻžāϧāĻžāϰāĻŖāϤāĻžāϰ āϏā§āĻŽāĻžāĻŦāĻĻā§āϧāϤāĻž: L-āϏā§āĻĨāĻžāύ āĻāĻŋāĻāĻ āĻĢāϞāĻžāĻĢāϞ āĻļāĻā§āϤāĻŋāĻļāĻžāϞ⧠āĻāĻŋāύā§āϤ⧠āĻĒā§āϰāĻāĻžāϰ āϏā§āĻŽāĻŋāϤ
āĨ§. āĻā§āώā§āϤā§āϰ āĻ āĻā§āϰāĻāϤāĻŋ: āĨŠD āĻāĻĒā§āϞāĻāĻŋāϤ⧠āĻĒā§āϰāϏāĻžāϧāύ⧠āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰ āϏāĻŽāϏā§āϝāĻž āĻāĻŦā§āώāĻŖāĻž āĻāϞā§āϞā§āĻāϝā§āĻā§āϝāĻāĻžāĻŦā§ āĻ āĻā§āϰāϏāϰ āĻāϰāĻž āĻšāϝāĻŧā§āĻā§ āĨ¨. āĻĒā§āϰāϝā§āĻā§āϤāĻŋ āĻĒā§āϰāĻĻāϰā§āĻļāύ: āύāĻŋāĻŽāĻā§āĻāĻŋāϤ āĻŦāĻā§āϰāϰā§āĻāĻž āĻĒā§āϰāϝā§āĻā§āϤāĻŋāϰ āĻĒā§āϰāϝāĻŧā§āĻā§āϰ āĻāύā§āϝ āĻāĻĻāĻžāĻšāϰāĻŖ āĻĒā§āϰāĻĻāĻžāύ āĻāϰāĻž āĻšāϝāĻŧā§āĻā§ āĨŠ. āϏāĻŽāϏā§āϝāĻž āϏāĻŽāĻžāϧāĻžāύ: āύāĻŋāϰā§āĻĻāĻŋāώā§āĻ āĻāĻŋāĻāĻ āĻĒāϰāĻŋāĻŦāĻžāϰā§āϰ āĻļā§āϰā§āĻŖā§āĻŦāĻŋāĻāĻžāĻ āϏāĻŽāϏā§āϝāĻž āϏāĻŽā§āĻĒā§āϰā§āĻŖāĻāĻžāĻŦā§ āϏāĻŽāĻžāϧāĻžāύ āĻāϰāĻž āĻšāϝāĻŧā§āĻā§
āĨ§. āĻĒāĻĻā§āϧāϤāĻŋ āϏāĻžāϧāĻžāϰāĻŖā§āĻāϰāĻŖ: āĻĒā§āϰāϝā§āĻā§āϤāĻŋ āĻ āύā§āϝāĻžāύā§āϝ āĻāĻŋāĻāĻ āĻĒāϰāĻŋāĻŦāĻžāϰ⧠āĻĒā§āϰāϝā§āĻā§āϝ āĻšāϤ⧠āĻĒāĻžāϰ⧠āĨ¨. āϤāĻžāϤā§āϤā§āĻŦāĻŋāĻ āĻāύā§āύāϝāĻŧāύ: Heegaard Floer āϤāϤā§āϤā§āĻŦā§āϰ āĻāϰāĻ āĻāύā§āύāϝāĻŧāύ āĻĒā§āϰāĻāĻžāϰ āĻāϰāϤ⧠āĻĒāĻžāϰ⧠āĨŠ. āĻā§āϰāϏ-āĻĄā§āĻŽā§āĻāύ āĻĒā§āϰāϝāĻŧā§āĻ: āĻĒāĻĻā§āϧāϤāĻŋ āϏāĻŽā§āĻĒāϰā§āĻāĻŋāϤ āĻā§āϝāĻžāĻŽāĻŋāϤāĻŋ āϏāĻŽāϏā§āϝāĻžāϝāĻŧ āĻĒā§āϰāϝāĻŧā§āĻ āĻšāϤ⧠āĻĒāĻžāϰā§
āĨ§. āĻāĻŋāĻāĻ āϤāϤā§āϤā§āĻŦ āĻāĻŦā§āώāĻŖāĻž: āĻŦāĻŋāĻļā§āώāϤ āĻĒā§āϰāϏāĻžāϧāύ⧠āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰ āĻāĻŦāĻ āĻāĻŋāĻāĻ āĻ āĻĒāϰāĻŋāĻŦāϰā§āϤāύā§āϝāĻŧ āĻāĻŦā§āώāĻŖāĻž āĨ¨. āĨŠD āĻāĻĒā§āϞāĻāĻŋ: Dehn āĻ āϏā§āϤā§āϰā§āĻĒāĻāĻžāϰ āĻāĻŦāĻ āĨŠD āĻŦāĻšā§āĻā§āĻŖ āĻļā§āϰā§āĻŖā§āĻŦāĻŋāĻāĻžāĻ āϏāĻŽāϏā§āϝāĻž āĨŠ. Heegaard Floer āϤāϤā§āϤā§āĻŦ: āύāĻŋāĻŽāĻā§āĻāĻŋāϤ āĻŦāĻā§āϰāϰā§āĻāĻž āĻĒā§āϰāϝā§āĻā§āϤāĻŋāϰ āĻāύā§āύāϝāĻŧāύ āĻāĻŦāĻ āĻĒā§āϰāϝāĻŧā§āĻ
āĻĒāϤā§āϰāĻŋāĻāĻž āĨĒāĨĻ āĻāĻŋ āĻā§āϰā§āϤā§āĻŦāĻĒā§āϰā§āĻŖ āϏāĻāĻĻāϰā§āĻ āĻāĻĻā§āϧā§āϤ āĻāϰā§, āĻĒā§āϰāϧāĻžāύāϤ āĻ āύā§āϤāϰā§āĻā§āĻā§āϤ:
āϏāĻžāĻŽāĻā§āϰāĻŋāĻ āĻŽā§āϞā§āϝāĻžāϝāĻŧāύ: āĻāĻāĻŋ āĨŠD āĻāĻĒā§āϞāĻāĻŋ āĻā§āώā§āϤā§āϰ⧠āĻā§āϰā§āϤā§āĻŦāĻĒā§āϰā§āĻŖ āĻ āĻŦāĻĻāĻžāύ āϏāĻš āĻāĻāĻāĻŋ āĻāĻā§āĻ āĻŽāĻžāύā§āϰ āĻĒāϤā§āϰāĻŋāĻāĻž, āĻĒā§āϰāϝā§āĻā§āϤāĻŋāĻāϤāĻāĻžāĻŦā§ āĻāĻā§āϰ, āĻĢāϞāĻžāĻĢāϞ āĻā§āϰā§āϤā§āĻŦāĻĒā§āϰā§āĻŖ, āĻĒāĻĻā§āϧāϤāĻŋ āĻāĻĻā§āĻāĻžāĻŦāύā§, āĻāĻŦāĻ āĻā§āώā§āϤā§āϰā§āϰ āĻ āĻā§āϰāĻāĻžāĻ āĻĒā§āϰāϤāĻŋāύāĻŋāϧāĻŋāϤā§āĻŦ āĻāϰā§āĨ¤ āϝāĻĻāĻŋāĻ āϏāĻžāϧāĻžāϰāĻŖāϤāĻžāϝāĻŧ āĻāĻāύāĻ āϏā§āĻŽāĻžāĻŦāĻĻā§āϧāϤāĻž āϰāϝāĻŧā§āĻā§, āĻāĻāĻŋ āĻā§āϰā§āϤā§āĻŦāĻĒā§āϰā§āĻŖ āĻā§āϞāĻž āϏāĻŽāϏā§āϝāĻžāϝāĻŧ āĻŦāĻžāϏā§āϤāĻŦ āĻ āĻā§āϰāĻāϤāĻŋ āĻĒā§āϰāĻĻāĻžāύ āĻāϰ⧠āĻāĻŦāĻ āĻ āϤā§āϝāύā§āϤ āĻāĻāĻžāĻĄā§āĻŽāĻŋāĻ āĻŽā§āϞā§āϝ āϰāϝāĻŧā§āĻā§āĨ¤