2025-11-16T13:55:12.542856

Irreducible lattices fibring over the circle

Hughes
We investigate the Bieri--Neumann--Strebel--Renz (BNSR) invariants of irreducible uniform lattices. In the case of a direct product of a tree and a Euclidean space we show that vanishing of the BNSR invariants for all finite-index subgroups of a given uniform lattice is equivalent to irreducibility. On the other hand we construct irreducible uniform lattices which admit maps to the integers whose kernels' finiteness properties are determined by the finiteness properties of certain Bestvina--Brady groups.
academic

āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ āϜāĻžāϞāĻŋ āĻŦ⧃āĻ¤ā§āϤ⧇āϰ āωāĻĒāϰ āφāρāĻļāϝ⧁āĻ•ā§āϤ

āĻŽā§ŒāϞāĻŋāĻ• āϤāĻĨā§āϝ

  • āĻĒāĻ¤ā§āϰāĻŋāĻ•āĻž ID: 2201.06525
  • āĻļāĻŋāϰ⧋āύāĻžāĻŽ: āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ āϜāĻžāϞāĻŋ āĻŦ⧃āĻ¤ā§āϤ⧇āϰ āωāĻĒāϰ āφāρāĻļāϝ⧁āĻ•ā§āϤ
  • āϞ⧇āĻ–āĻ•: āĻ¸ā§āϝāĻžāĻŽ āĻšāĻŋāωāĻœā§‡āϏ (āĻŦāύ āĻŦāĻŋāĻļā§āĻŦāĻŦāĻŋāĻĻā§āϝāĻžāϞāϝāĻŧ)
  • āĻļā§āϰ⧇āĻŖā§€āĻŦāĻŋāĻ­āĻžāĻ—: math.GR (āĻ—ā§āϰ⧁āĻĒ āϤāĻ¤ā§āĻ¤ā§āĻŦ), math.AT (āĻŦā§€āϜāĻ—āĻŖāĻŋāϤ āϟāĻĒā§‹āϞāϜāĻŋ), math.GT (āĻœā§āϝāĻžāĻŽāĻŋāϤāĻŋāĻ• āϟāĻĒā§‹āϞāϜāĻŋ)
  • āĻĒā§āϰāĻ•āĻžāĻļāύāĻžāϰ āϏāĻŽāϝāĻŧ: ⧍ā§Ļ⧍ā§Ģ āϏāĻžāϞ⧇āϰ āĻ…āĻ•ā§āĻŸā§‹āĻŦāϰ ā§§ā§Ģ (arXiv āϏāĻ‚āĻ¸ā§āĻ•āϰāĻŖ)
  • āĻĒāĻ¤ā§āϰāĻŋāĻ•āĻž āϞāĻŋāĻ™ā§āĻ•: https://arxiv.org/abs/2201.06525

āϏāĻžāϰāϏāĻ‚āĻ•ā§āώ⧇āĻĒ

āĻāχ āĻĒāĻ¤ā§āϰāĻŋāĻ•āĻžāϝāĻŧ āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ āϏāĻŽāϰ⧂āĻĒ āϜāĻžāϞāĻŋāϰ Bieri-Neumann-Strebel-Renz (BNSR) āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ āĻ…āĻ§ā§āϝāϝāĻŧāύ āĻ•āϰāĻž āĻšāϝāĻŧ⧇āϛ⧇āĨ¤ āĻ—āĻžāĻ› āĻāĻŦāĻ‚ āχāωāĻ•ā§āϞāĻŋāĻĄā§€āϝāĻŧ āĻ¸ā§āĻĨāĻžāύ⧇āϰ āϏāϰāĻžāϏāϰāĻŋ āϗ⧁āĻŖāĻĢāϞ⧇āϰ āĻ•ā§āώ⧇āĻ¤ā§āϰ⧇, āϞ⧇āĻ–āĻ• āĻĒā§āϰāĻŽāĻžāĻŖ āĻ•āϰ⧇āϛ⧇āύ āϝ⧇ āĻĒā§āϰāĻĻāĻ¤ā§āϤ āϏāĻŽāϰ⧂āĻĒ āϜāĻžāϞāĻŋāϰ āϏāĻŽāĻ¸ā§āϤ āϏ⧀āĻŽāĻŋāϤ āϏ⧂āϚāĻ• āωāĻĒāĻ—ā§āϰ⧁āĻĒ⧇āϰ BNSR āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ⧇āϰ āĻ…āĻ¨ā§āϤāĻ°ā§āϧāĻžāύ āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧāϤāĻžāϰ āϏāĻŽāϤ⧁āĻ˛ā§āϝāĨ¤ āĻ…āĻ¨ā§āϝāĻĻāĻŋāϕ⧇, āϞ⧇āĻ–āĻ• āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ āϏāĻŽāϰ⧂āĻĒ āϜāĻžāϞāĻŋ āύāĻŋāĻ°ā§āĻŽāĻžāĻŖ āĻ•āϰ⧇āϛ⧇āύ āϝāĻž āĻĒā§‚āĻ°ā§āĻŖāϏāĻ‚āĻ–ā§āϝāĻžāϰ āĻĒā§āϰāϤāĻŋ āĻŽā§āϝāĻžāĻĒāĻŋāĻ‚ āĻ¸ā§āĻŦā§€āĻ•āĻžāϰ āĻ•āϰ⧇, āϝāĻžāϰ āĻ•āĻžāĻ°ā§āύ⧇āϞ⧇āϰ āϏ⧀āĻŽāĻŋāϤ āĻŦ⧈āĻļāĻŋāĻˇā§āĻŸā§āϝ āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟ Bestvina-Brady āĻ—ā§āϰ⧁āĻĒ⧇āϰ āϏ⧀āĻŽāĻŋāϤ āĻŦ⧈āĻļāĻŋāĻˇā§āĻŸā§āϝ āĻĻā§āĻŦāĻžāϰāĻž āύāĻŋāĻ°ā§āϧāĻžāϰāĻŋāϤ āĻšāϝāĻŧāĨ¤

āĻ—āĻŦ⧇āώāĻŖāĻž āĻĒāϟāĻ­ā§‚āĻŽāĻŋ āĻāĻŦāĻ‚ āĻĒā§āϰ⧇āϰāĻŖāĻž

āϏāĻŽāĻ¸ā§āϝāĻžāϰ āĻĒāϟāĻ­ā§‚āĻŽāĻŋ

ā§§. āĻ§ā§āϰ⧁āĻŦāĻ• āĻĢāϞāĻžāĻĢāϞ⧇āϰ āϏāĻžāϧāĻžāϰāĻŖā§€āĻ•āϰāĻŖ: Margulis āĻāϰ āĻ¸ā§āĻŦāĻžāĻ­āĻžāĻŦāĻŋāĻ• āωāĻĒāĻ—ā§āϰ⧁āĻĒ āωāĻĒāĻĒāĻžāĻĻā§āϝ āĻ…āĻ°ā§āϧ-āϏāϰāϞ āϞāĻžāχ āĻ—ā§āϰ⧁āĻĒ⧇ āϜāĻžāϞāĻŋāϰ āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧāϤāĻž āĻāĻŦāĻ‚ āĻĒā§āϰāĻĨāĻŽ āϏāĻšāϏāĻŽāĻŦāĻŋāĻœā§āĻžāĻžāύ āĻ—ā§āϰ⧁āĻĒ⧇āϰ āĻ…āĻ¨ā§āϤāĻ°ā§āϧāĻžāύāϕ⧇ āϏāĻ‚āϝ⧁āĻ•ā§āϤ āĻ•āϰ⧇āĨ¤ āĻāχ āĻĒāĻ¤ā§āϰāĻŋāĻ•āĻž āĻāχ āĻĢāϞāĻžāĻĢāϞāϟāĻŋ āφāϰāĻ“ āϏāĻžāϧāĻžāϰāĻŖ CAT(0) āĻ¸ā§āĻĨāĻžāύ⧇āϰ āϏāĻŽāĻĻā§‚āϰāĻŦāĻ°ā§āϤ⧀ āĻ—ā§āϰ⧁āĻĒ⧇āϰ āϗ⧁āĻŖāĻĢāϞ⧇ āϜāĻžāϞāĻŋāϤ⧇ āĻĒā§āϰāϏāĻžāϰāĻŋāϤ āĻ•āϰāĻžāϰ āĻšā§‡āĻˇā§āϟāĻž āĻ•āϰ⧇āĨ¤

āĨ¨. BNSR āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ⧇āϰ āĻĒā§āϰāϝāĻŧā§‹āĻ—: āϝāĻ–āύ āĻĒā§āϰāĻĨāĻŽ āϏāĻšāϏāĻŽāĻŦāĻŋāĻœā§āĻžāĻžāύ āĻ—ā§āϰ⧁āĻĒ āĻ…-āĻļā§‚āĻ¨ā§āϝ āĻšāϝāĻŧ, āϤāĻ–āύ BNSR āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ (ÎŖ-āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ) āĻŦā§āϝāĻŦāĻšāĻžāϰ āĻ•āϰāĻž āĻĒā§āϰāϝāĻŧā§‹āϜāύ āϝāĻž āĻĒā§āϰāĻĨāĻŽ āϏāĻšāϏāĻŽāĻŦāĻŋāĻœā§āĻžāĻžāύ āĻļā§āϰ⧇āĻŖā§€ āφāρāĻļāϝ⧁āĻ•ā§āϤāĻ•āϰāĻŖ āĻĨ⧇āϕ⧇ āĻ•āϤāĻĻā§‚āϰ⧇ āϤāĻž āĻĒāϰāĻŋāĻŽāĻžāĻĒ āĻ•āϰāϤ⧇āĨ¤ āĻāχ āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧāϗ⧁āϞāĻŋ āĻ•āĻžāĻ°ā§āύ⧇āϞ āĻ—ā§āϰ⧁āĻĒ⧇āϰ āϏ⧀āĻŽāĻŋāϤ āĻŦ⧈āĻļāĻŋāĻˇā§āĻŸā§āϝ āĻĒāϰāĻŋāĻŽāĻžāĻĒ āĻ•āϰ⧇āĨ¤

āĨŠ. CAT(0) āĻ¸ā§āĻĨāĻžāύ⧇ āϜāĻžāϞāĻŋāϰ āĻļā§āϰ⧇āĻŖā§€āĻŦāĻŋāĻ­āĻžāĻ—: āφāϰāĻ“ āϏāĻžāϧāĻžāϰāĻŖ CAT(0) āĻ¸ā§āĻĨāĻžāύ āϏ⧇āϟāĻŋāĻ‚āϝāĻŧ⧇, Burger-Mozes āĻāϰ āϏāĻ°ā§āĻŦāϜāύ⧀āύ āĻ•āĻ­āĻžāϰāĻŋāĻ‚ āĻ•ā§ŒāĻļāϞ āĻĻ⧇āĻ–āĻžāϝāĻŧ āϝ⧇ Margulis āωāĻĒāĻĒāĻžāĻĻā§āϝ⧇āϰ āϏāϰāĻžāϏāϰāĻŋ āϏāĻžāϧāĻžāϰāĻŖā§€āĻ•āϰāĻŖ āĻŦā§āϝāĻ°ā§āĻĨ āĻšāĻŦ⧇, āϤāĻžāχ āύāϤ⧁āύ āĻĒāĻĻā§āϧāϤāĻŋ āĻāĻŦāĻ‚ āϏāϰāĻžā§āϜāĻžāĻŽā§‡āϰ āĻĒā§āϰāϝāĻŧā§‹āϜāύāĨ¤

āĻ—āĻŦ⧇āώāĻŖāĻž āĻĒā§āϰ⧇āϰāĻŖāĻž

āĻāχ āĻĒāĻ¤ā§āϰāĻŋāĻ•āĻžāϰ āĻŽā§‚āϞ āĻĒā§āϰāĻļā§āύ āĻšāϞ: āĻĒā§āϰāĻļā§āύ ā§§.āĨ¨: āϧāϰ⧁āύ Γ āωāĻĒāϝ⧁āĻ•ā§āϤ āĻ¨ā§āϝ⧂āύāϤāĻŽ āĻ…āϏ⧀āĻŽ CAT(0) āĻ¸ā§āĻĨāĻžāύ X₁×X₂ āϗ⧁āĻŖāĻĢāϞ⧇ āĻāĻ•āϟāĻŋ āϏāĻŽāϰ⧂āĻĒ āϜāĻžāϞāĻŋāĨ¤ āϝāĻĻāĻŋ āϕ⧋āύ⧋ nâ‰Ĩ1 āĻāϰ āϜāĻ¨ā§āϝ, ÎŖâŋ(Γ) āĻŦāĻž ÎŖâŋ(Γ;Z) āĻ…-āĻ–āĻžāϞāĻŋ āĻšāϝāĻŧ, āϤāĻžāĻšāϞ⧇ āĻ•āĻŋ Γ āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ āĻšāϤ⧇ āĻšāĻŦ⧇?

āĻāχ āĻĒā§āϰāĻļā§āύāϟāĻŋ āĻ—āĻžāϛ⧇āϰ āϗ⧁āĻŖāĻĢāϞ⧇āϰ āĻ•ā§āώ⧇āĻ¤ā§āϰ⧇āĻ“ āĻ–ā§‹āϞāĻž āĻĨāĻžāϕ⧇ āĻāĻŦāĻ‚ āϗ⧁āϰ⧁āĻ¤ā§āĻŦāĻĒā§‚āĻ°ā§āĻŖ āϤāĻžāĻ¤ā§āĻ¤ā§āĻŦāĻŋāĻ• āϤāĻžā§ŽāĻĒāĻ°ā§āϝ āϰāϝāĻŧ⧇āϛ⧇āĨ¤

āĻŽā§‚āϞ āĻ…āĻŦāĻĻāĻžāύ

āĨ§. āĻ—āĻžāĻ›-āχāωāĻ•ā§āϞāĻŋāĻĄā§€āϝāĻŧ āĻ¸ā§āĻĨāĻžāύ āϗ⧁āĻŖāĻĢāϞ⧇ āφāρāĻļāϝ⧁āĻ•ā§āϤāĻ•āϰāϪ⧇āϰ āϏāĻŽā§āĻĒā§‚āĻ°ā§āĻŖ āĻŦ⧈āĻļāĻŋāĻˇā§āĻŸā§āϝ: āĻ¸ā§āĻĨāĻžāύ⧀āϝāĻŧāĻ­āĻžāĻŦ⧇ āϏ⧀āĻŽāĻŋāϤ āĻ—āĻžāĻ› T āĻāĻŦāĻ‚ āχāωāĻ•ā§āϞāĻŋāĻĄā§€āϝāĻŧ āĻ¸ā§āĻĨāĻžāύ Eâŋ āĻāϰ āϗ⧁āĻŖāĻĢāϞ⧇āϰ āϜāĻ¨ā§āϝ, āĻĒā§āϰāĻŽāĻžāĻŖ āĻ•āϰāĻž āĻšāϝāĻŧ⧇āϛ⧇ āϝ⧇ āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ āϏāĻŽāϰ⧂āĻĒ āϜāĻžāϞāĻŋ āĻ­āĻžāĻ°ā§āϚ⧁āϝāĻŧāĻžāϞ āĻŦā§€āϜāĻ—āĻŖāĻŋāϤ āφāρāĻļāϝ⧁āĻ•ā§āϤ āϝāĻ–āύ āĻāĻŦāĻ‚ āĻļ⧁āϧ⧁āĻŽāĻžāĻ¤ā§āϰ āϝāĻ–āύ āĻāϟāĻŋ āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ (āωāĻĒāĻĒāĻžāĻĻā§āϝ A)āĨ¤

āĨ¨. āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟ āφāρāĻļāϝ⧁āĻ•ā§āϤāĻ•āϰāĻŖ āĻŦ⧈āĻļāĻŋāĻˇā§āĻŸā§āϝ: n=2 āĻāϰ āĻ•ā§āώ⧇āĻ¤ā§āϰ⧇, āφāϰāĻ“ āĻĒā§āϰāĻŽāĻžāĻŖ āĻ•āϰāĻž āĻšāϝāĻŧ⧇āϛ⧇ āϝ⧇ āĻ­āĻžāĻ°ā§āϚ⧁āϝāĻŧāĻžāϞ āφāρāĻļāϝ⧁āĻ•ā§āϤāĻ•āϰāĻŖ āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧāϤāĻžāϰ āϏāĻŽāϤ⧁āĻ˛ā§āϝ (āωāĻĒāĻĒāĻžāĻĻā§āϝ B)āĨ¤

āĨŠ. āφāρāĻļāϝ⧁āĻ•ā§āϤ āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ āϜāĻžāϞāĻŋ āύāĻŋāĻ°ā§āĻŽāĻžāĻŖ: āϏāĻŽāϰ⧂āĻĒ āĻ¸ā§āĻĨāĻžāύ āĻāĻŦāĻ‚ Salvetti āϜāϟāĻŋāϞāϤāĻžāϰ āϗ⧁āĻŖāĻĢāϞ⧇ āφāρāĻļāϝ⧁āĻ•ā§āϤ āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ āϏāĻŽāϰ⧂āĻĒ āϜāĻžāϞāĻŋāϰ āĻĒāϰāĻŋāĻŦāĻžāϰ āύāĻŋāĻ°ā§āĻŽāĻžāĻŖ āĻ•āϰāĻž āĻšāϝāĻŧ⧇āϛ⧇ (āωāĻĒāĻĒāĻžāĻĻā§āϝ C)āĨ¤

āĨĒ. āϏāĻšāϏāĻŽāĻŦāĻŋāĻœā§āĻžāĻžāύ āĻ—āĻŖāύāĻž: āϜāĻžāϞāĻŋāϰ āĻŦ⧃āĻšā§Ž āĻļā§āϰ⧇āĻŖā§€āϰ āϜāĻ¨ā§āϝ āĻĒā§āϰāĻĨāĻŽ āϏāĻšāϏāĻŽāĻŦāĻŋāĻœā§āĻžāĻžāύ āĻ—ā§āϰ⧁āĻĒ⧇āϰ āĻ¸ā§āĻĒāĻˇā§āϟ āĻ—āĻŖāύāĻž āĻĒā§āϰāĻĻāĻžāύ āĻ•āϰāĻž āĻšāϝāĻŧ⧇āϛ⧇ (āωāĻĒāĻĒāĻžāĻĻā§āϝ āĨŠ.āĨ§)āĨ¤

āĻĒāĻĻā§āϧāϤāĻŋāϰ āĻŦāĻŋāĻ¸ā§āϤāĻžāϰāĻŋāϤ āĻŦāĻŋāĻŦāϰāĻŖ

āĻ•āĻžāĻœā§‡āϰ āϏāĻ‚āĻœā§āĻžāĻž

āϏāĻŽāϰ⧂āĻĒ āϜāĻžāϞāĻŋ Γ āĻāϰ āϗ⧁āĻŖāĻĢāϞ āĻ¸ā§āĻĨāĻžāύ Isom(Eâŋ)×T āĻ āφāρāĻļāϝ⧁āĻ•ā§āϤāĻ•āϰāĻŖ āĻŦ⧈āĻļāĻŋāĻˇā§āĻŸā§āϝ āĻ…āĻ§ā§āϝāϝāĻŧāύ āĻ•āϰāĻž, āϝ⧇āĻ–āĻžāύ⧇ T āĻ¸ā§āĻĨāĻžāύ⧀āϝāĻŧāĻ­āĻžāĻŦ⧇ āϏ⧀āĻŽāĻŋāϤ āĻ—āĻžāϛ⧇āϰ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āϰ⧂āĻĒāϤāĻž āĻ—ā§āϰ⧁āĻĒāĨ¤ āĻŽā§‚āϞ āĻŦāĻŋāώāϝāĻŧ āĻšāϞ āĻ•āĻ–āύ āϚāϰāĻŋāĻ¤ā§āϰ Ά: Γ → Z āĻŦāĻŋāĻĻā§āϝāĻŽāĻžāύ āϝāĻžāϤ⧇ ker(Ά) āĻ­āĻžāϞ āϏ⧀āĻŽāĻŋāϤ āĻŦ⧈āĻļāĻŋāĻˇā§āĻŸā§āϝ āϰāĻžāϖ⧇ āϤāĻž āύāĻŋāĻ°ā§āϧāĻžāϰāĻŖ āĻ•āϰāĻžāĨ¤

āĻĒā§āϰāϧāĻžāύ āĻĒā§āϰāϝ⧁āĻ•ā§āϤāĻŋāĻ—āϤ āĻĒāĻĻā§āϧāϤāĻŋ

āĨ§. āĻ—ā§āϰāĻžāĻĢ āĻ—ā§āϰ⧁āĻĒ āϜāϟāĻŋāϞāϤāĻž āĻ•ā§ŒāĻļāϞ

Γ āĻāϰ Isom(Eâŋ)-āϜāĻžāϞāĻŋ āĻšāĻŋāϏāĻžāĻŦ⧇ āĻ—ā§āϰāĻžāĻĢ āĻ—ā§āϰ⧁āĻĒ āϜāϟāĻŋāϞāϤāĻž āĻ•āĻžāĻ āĻžāĻŽā§‹ āĻŦā§āϝāĻŦāĻšāĻžāϰ āĻ•āϰāĻž:

  • āĻĒā§āϰāϤāĻŋāϟāĻŋ āĻļā§€āĻ°ā§āώ āĻ¸ā§āĻĨāĻŋāϤāĻŋāĻļā§€āϞāĻ• āϏ⧀āĻŽāĻŋāϤ-by-{n-āĻŽāĻžāĻ¤ā§āϰāĻŋāĻ• āĻ¸ā§āĻĢāϟāĻŋāĻ• āĻ—ā§āϰ⧁āĻĒ}
  • āϚāϰāĻŋāĻ¤ā§āϰ⧇āϰ āĻ¸ā§āĻĨāĻŋāϤāĻŋāĻļā§€āϞāĻ•āĻĻ⧇āϰ āωāĻĒāϰ āϏ⧀āĻŽāĻžāĻŦāĻĻā§āϧāϤāĻž āĻŦāĻŋāĻļā§āϞ⧇āώāĻŖ āĻ•āϰāϤ⧇ āĻāχ āĻ•āĻžāĻ āĻžāĻŽā§‹ āĻŦā§āϝāĻŦāĻšāĻžāϰ āĻ•āϰāĻž

āĨ¨. āĻŦāĻ°ā§āĻŖāĻžāϞ⧀ āĻ•ā§āϰāĻŽ āĻĒāĻĻā§āϧāϤāĻŋ

āĻĒā§āϰāĻĨāĻŽ āϏāĻšāϏāĻŽāĻŦāĻŋāĻœā§āĻžāĻžāύ āĻ—āĻŖāύāĻž āĻ•āϰāϤ⧇ Γ-āϏāĻŽāϤ⧁āĻ˛ā§āϝ āĻŦāĻ°ā§āĻŖāĻžāϞ⧀ āĻ•ā§āϰāĻŽ āĻŦā§āϝāĻŦāĻšāĻžāϰ āĻ•āϰāĻž:

E₁^{p,q} = ⊕_{ĪƒâˆˆÎŖ(p)} H^q(Γ_΃) ⟹ H^{p+q}(Γ)

āĻŽā§‚āϞ āĻĒāĻ°ā§āϝāĻŦ⧇āĻ•ā§āώāĻŖ: āϚāϰāĻŋāĻ¤ā§āϰ āϏāĻŽāĻ¸ā§āϤ āϕ⧋āώ⧀āϝāĻŧ āĻ¸ā§āĻĨāĻŋāϤāĻŋāĻļā§€āϞāĻ•āĻĻ⧇āϰ āωāĻĒāϰ āĻ…āĻ¨ā§āϤāĻ°ā§āϧāĻžāύ āĻ•āϰ⧇āĨ¤

āĨŠ. Cashen-Levitt āĻŽāĻžāύāĻĻāĻŖā§āĻĄ

āĻ—ā§āϰāĻžāĻĢ āĻ—ā§āϰ⧁āĻĒ⧇āϰ āφāρāĻļāϝ⧁āĻ•ā§āϤāĻ•āϰāĻŖ āĻŽāĻžāύāĻĻāĻŖā§āĻĄ āĻĒā§āϰāϝāĻŧā§‹āĻ— āĻ•āϰāĻž: āĻšā§āϰāĻžāϏāĻ•ā§ƒāϤ āĻ—ā§āϰāĻžāĻĢ āĻ—ā§āϰ⧁āĻĒ⧇āϰ āϜāĻ¨ā§āϝ, āϝāĻĻāĻŋ āĻāϟāĻŋ āϊāĻ°ā§āĻ§ā§āĻŦāĻŽā§āĻ–ā§€ HNN āϏāĻŽā§āĻĒā§āϰāϏāĻžāϰāĻŖ āύāĻž āĻšāϝāĻŧ, āϤāĻžāĻšāϞ⧇ ÎŖÂš(Γ) āĻāϰ āϚāϰāĻŋāĻ¤ā§āϰ āĻĒā§āϰāϤāĻŋāϟāĻŋ āĻĒā§āϰāĻžāĻ¨ā§āϤ āĻ—ā§āϰ⧁āĻĒ⧇ āĻ…-āϤ⧁āĻšā§āĻ›āĨ¤

āĨĒ. Salvetti āϜāϟāĻŋāϞāϤāĻž āύāĻŋāĻ°ā§āĻŽāĻžāĻŖ

āύāĻŋāĻŽā§āύāϞāĻŋāĻ–āĻŋāϤ āĻĒāĻĻāĻ•ā§āώ⧇āĻĒ⧇āϰ āĻŽāĻžāĻ§ā§āϝāĻŽā§‡ āφāρāĻļāϝ⧁āĻ•ā§āϤ āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ āϜāĻžāϞāĻŋ āύāĻŋāĻ°ā§āĻŽāĻžāĻŖ āĻ•āϰāĻž:

  • āĨŠ-āύāĻŋāϝāĻŧāĻŽāĻŋāϤ āĻ—āĻžāϛ⧇āϰ āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ āϜāĻžāϞāĻŋ āĻĨ⧇āϕ⧇ āĻļ⧁āϰ⧁ āĻ•āϰāĻž
  • Huang āĻ•ā§ŒāĻļāϞ āĻŦā§āϝāĻŦāĻšāĻžāϰ āĻ•āϰ⧇ āĨĒ-āύāĻŋāϝāĻŧāĻŽāĻŋāϤ āĻ—āĻžāϛ⧇ āϜāĻžāϞāĻŋāϤ⧇ āϰ⧂āĻĒāĻžāĻ¨ā§āϤāϰ āĻ•āϰāĻž
  • Salvetti āϜāϟāĻŋāϞāϤāĻžāϰ āĻ¸ā§āĻŦāϝāĻŧāĻ‚āϰ⧂āĻĒāϤāĻž āĻ—ā§āϰ⧁āĻĒ⧇ āĻāĻŽā§āĻŦ⧇āĻĄ āĻ•āϰāĻž

āĻĒā§āϰāϝ⧁āĻ•ā§āϤāĻŋāĻ—āϤ āωāĻĻā§āĻ­āĻžāĻŦāύ⧀ āĻĒāϝāĻŧ⧇āĻ¨ā§āϟ

āĨ§. āĻ¸ā§āĻĨāĻŋāϤāĻŋāĻļā§€āϞāĻ• āĻ…āĻ¨ā§āϤāĻ°ā§āϧāĻžāύ āϞ⧇āĻŽā§āĻŽāĻž: āĻĒā§āϰāĻŽāĻžāĻŖ āĻ•āϰāĻž āĻšāϝāĻŧ⧇āϛ⧇ āϝ⧇ āϚāϰāĻŋāĻ¤ā§āϰ āϏāĻŽāĻ¸ā§āϤ āϕ⧋āώ⧀āϝāĻŧ āĻ¸ā§āĻĨāĻŋāϤāĻŋāĻļā§€āϞāĻ•āĻĻ⧇āϰ āωāĻĒāϰ āĻ…āĻ¨ā§āϤāĻ°ā§āϧāĻžāύ āĻ•āϰ⧇, āĻāϟāĻŋ āĻŽā§‚āϞ āĻĒā§āϰāϝ⧁āĻ•ā§āϤāĻŋāĻ—āϤ āĻ…āĻ—ā§āϰāĻ—āϤāĻŋāĨ¤

āĨ¨. āĻŦāĻ°ā§āĻŖāĻžāϞ⧀ āĻ•ā§āϰāĻŽ āĻ—āĻŖāύāĻž: āĻĒā§āϰāĻĨāĻŽ āϏāĻšāϏāĻŽāĻŦāĻŋāĻœā§āĻžāĻžāύ āĻ—ā§āϰ⧁āĻĒ āϏ⧁āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟāĻ­āĻžāĻŦ⧇ āĻ—āĻŖāύāĻž āĻ•āϰāϤ⧇ āĻŦāĻ°ā§āĻŖāĻžāϞ⧀ āĻ•ā§āϰāĻŽ āϚāϤ⧁āϰāĻ­āĻžāĻŦ⧇ āĻŦā§āϝāĻŦāĻšāĻžāϰ āĻ•āϰāĻžāĨ¤

āĨŠ. āύāĻŋāĻ°ā§āĻŽāĻžāĻŖ āĻĒāĻĻā§āϧāϤāĻŋāϰ āϏāĻŽāĻ¨ā§āĻŦāϝāĻŧ: āĻ—āĻžāϛ⧇āϰ āωāĻĒāϰ āĻ•ā§āϰāĻŋāϝāĻŧāĻž, āϞ⧇āĻŦ⧇āϞ-āϏāĻ‚āϰāĻ•ā§āώāĻŖ āĻŦ⧈āĻļāĻŋāĻˇā§āĻŸā§āϝ āĻāĻŦāĻ‚ Salvetti āϜāϟāĻŋāϞāϤāĻž āĻ•āĻžāĻ āĻžāĻŽā§‹āϕ⧇ āϜ⧈āĻŦāĻŋāĻ•āĻ­āĻžāĻŦ⧇ āĻāĻ•āĻ¤ā§āϰāĻŋāϤ āĻ•āϰāĻžāĨ¤

āĻĒā§āϰāϧāĻžāύ āωāĻĒāĻĒāĻžāĻĻā§āϝ āĻāĻŦāĻ‚ āĻĒā§āϰāĻŽāĻžāĻŖ āĻ•ā§ŒāĻļāϞ

āωāĻĒāĻĒāĻžāĻĻā§āϝ A (āĻ—āĻžāĻ›-āχāωāĻ•ā§āϞāĻŋāĻĄā§€āϝāĻŧ āĻ•ā§āώ⧇āĻ¤ā§āϰ)

āωāĻĒāĻĒāĻžāĻĻā§āϝ: āϧāϰ⧁āύ T āĻ¸ā§āĻĨāĻžāύ⧀āϝāĻŧāĻ­āĻžāĻŦ⧇ āϏ⧀āĻŽāĻŋāϤ āĻĒāĻžāϤāĻžāĻšā§€āύ āϏāĻ‚āĻ•ā§āώāĻŋāĻĒā§āϤ āĻ—āĻžāĻ›, T = Aut(T)āĨ¤ āϧāϰ⧁āύ Γ āĻāĻ•āϟāĻŋ (Isom(Eâŋ)×T)-āϏāĻŽāϰ⧂āĻĒ āϜāĻžāϞāĻŋ, āϤāĻžāĻšāϞ⧇ Γ āĻ­āĻžāĻ°ā§āϚ⧁āϝāĻŧāĻžāϞ āĻŦā§€āϜāĻ—āĻŖāĻŋāϤ āφāρāĻļāϝ⧁āĻ•ā§āϤ āϝāĻ–āύ āĻāĻŦāĻ‚ āĻļ⧁āϧ⧁āĻŽāĻžāĻ¤ā§āϰ āϝāĻ–āύ Γ āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧāĨ¤

āĻĒā§āϰāĻŽāĻžāĻŖ āĻ•ā§ŒāĻļāϞ: āĨ§. āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ ⟹ āφāρāĻļāϝ⧁āĻ•ā§āϤ: āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ āϜāĻžāϞāĻŋ āĻ­āĻžāĻ°ā§āϚ⧁āϝāĻŧāĻžāϞāĻŋ Z×Γ' āĻ āĻŦāĻŋāϝāĻŧā§‹āϜāĻŋāϤ āĻšāϝāĻŧ, āϝ⧇āĻ–āĻžāύ⧇ Γ' āĻāĻ•āϟāĻŋ CAT(0) āĻ—ā§āϰ⧁āĻĒ āĨ¨. āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ ⟹ āĻ…-āφāρāĻļāϝ⧁āĻ•ā§āϤ:

  • āĻ—ā§āϰāĻžāĻĢ āĻ—ā§āϰ⧁āĻĒ āĻ•āĻžāĻ āĻžāĻŽā§‹ āĻāĻŦāĻ‚ āĻ¸ā§āĻĨāĻŋāϤāĻŋāĻļā§€āϞāĻ• āĻ…āĻ¨ā§āϤāĻ°ā§āϧāĻžāύ āϞ⧇āĻŽā§āĻŽāĻž āĻŦā§āϝāĻŦāĻšāĻžāϰ āĻ•āϰāĻž
  • Cashen-Levitt āĻŽāĻžāύāĻĻāĻŖā§āĻĄ āĻĒā§āϰāϝāĻŧā§‹āĻ— āĻ•āϰāĻž
  • āĻĒā§āϰāĻŽāĻžāĻŖ āĻ•āϰāĻž āϝ⧇ āϏāĻŽāĻ¸ā§āϤ āϚāϰāĻŋāĻ¤ā§āϰ ÎŖÂš(Γ) āĻ āύ⧇āχ

āωāĻĒāĻĒāĻžāĻĻā§āϝ C (āĻ…āĻ¸ā§āϤāĻŋāĻ¤ā§āĻŦ āĻĢāϞāĻžāĻĢāϞ)

āωāĻĒāĻĒāĻžāĻĻā§āϝ: āφāρāĻļāϝ⧁āĻ•ā§āϤ āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ āϜāĻžāϞāĻŋ āĻŦāĻŋāĻĻā§āϝāĻŽāĻžāύāĨ¤

āĻĒā§āϰāĻŽāĻžāĻŖ āύāĻŋāĻ°ā§āĻŽāĻžāĻŖ: āĨ§. PSL₂(ℝ)×PSL₂(ℚ₂) āĻĨ⧇āϕ⧇ āĻŽā§āĻ•ā§āϤ āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ āϜāĻžāϞāĻŋ āĻĻāĻŋāϝāĻŧ⧇ āĻļ⧁āϰ⧁ āĻ•āϰāĻž āĨ¨. āωāĻĒāϝ⧁āĻ•ā§āϤ āĻĒāϤāĻžāĻ•āĻž āϜāϟāĻŋāϞāϤāĻž L āύāĻŋāĻ°ā§āĻŦāĻžāϚāύ āĻ•āϰāĻž āĨŠ. āϚāϰāĻŋāĻ¤ā§āϰ Ī•: A_L → Z āύāĻŋāĻ°ā§āĻŽāĻžāĻŖ āĻ•āϰāĻž āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟ āĻœā§‡āύāĻžāϰ⧇āϟāϰ⧇ āĻ…āĻ¨ā§āϤāĻ°ā§āϧāĻžāύ āĻ•āϰ⧇ āĨĒ. Bestvina-Brady āϤāĻ¤ā§āĻ¤ā§āĻŦ āĻŦā§āϝāĻŦāĻšāĻžāϰ āĻ•āϰ⧇ āφāρāĻļāϝ⧁āĻ•ā§āϤāĻ•āϰāĻŖ āĻŦ⧈āĻļāĻŋāĻˇā§āĻŸā§āϝ āϝāĻžāϚāĻžāχ āĻ•āϰāĻž

āĻĒāϰ⧀āĻ•ā§āώāĻžāĻŽā§‚āϞāĻ• āĻĢāϞāĻžāĻĢāϞ āĻāĻŦāĻ‚ āϝāĻžāϚāĻžāχāĻ•āϰāĻŖ

āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟ āωāĻĻāĻžāĻšāϰāĻŖ: Leary-Minasyan āĻ—ā§āϰ⧁āĻĒ

āĻŽā§āϝāĻžāĻŸā§āϰāĻŋāĻ•ā§āϏ A = 3/5, -4/5; 4/5, 3/5 āĻāĻŦāĻ‚ āϜāĻžāϞāĻŋ L āĻŦāĻŋāĻŦ⧇āϚāύāĻž āĻ•āϰ⧁āύ, āĻ—ā§āϰ⧁āĻĒ āύāĻŋāĻ°ā§āĻŽāĻžāĻŖ āĻ•āϰ⧁āύ:

LM(A,L) = ⟨a,b,t | [a,b], ta²bâģštâģš = a²b, tab²tâģš = aâģšb²⟩

āĻāϟāĻŋ EÂ˛Ã—Aut(T) āĻ āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ āϜāĻžāϞāĻŋāϰ āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟ āĻŦāĻžāĻ¸ā§āϤāĻŦāĻžāϝāĻŧāύ āĻĒā§āϰāĻĻāĻžāύ āĻ•āϰ⧇āĨ¤

āφāρāĻļāϝ⧁āĻ•ā§āϤāĻ•āϰāĻŖ āϝāĻžāϚāĻžāχāĻ•āϰāĻŖ

āύāĻŋāĻ°ā§āĻŽāĻŋāϤ āĻĒāϤāĻžāĻ•āĻž āϜāϟāĻŋāϞāϤāĻž L āĻāϰ āϜāĻ¨ā§āϝ (āĻ¤ā§āϰāĻŋāϭ⧁āϜ āϏāĻš), āϚāϰāĻŋāĻ¤ā§āϰ Ī• a,b āĻ›āĻžāĻĄāĻŧāĻž āĻ…āĻ¨ā§āϝāĻžāĻ¨ā§āϝ āĻœā§‡āύāĻžāϰ⧇āϟāϰāϕ⧇ 1 āĻ āĻŽā§āϝāĻžāĻĒ āĻ•āϰ⧇, a,b āϕ⧇ 0 āĻ āĻŽā§āϝāĻžāĻĒ āĻ•āϰ⧇āĨ¤ āϝāĻžāϚāĻžāχ āĻ•āϰ⧁āύ:

  • L* āϏāĻ‚āϕ⧋āϚāύāϝ⧋āĻ—ā§āϝ
  • āϏāĻŽāĻ¸ā§āϤ āĻĒā§āϰāĻžāϏāĻ™ā§āĻ—āĻŋāĻ• āϞāĻŋāĻ™ā§āĻ• āϏāĻ‚āϕ⧋āϚāύāϝ⧋āĻ—ā§āϝ
  • Bestvina-Brady āϤāĻ¤ā§āĻ¤ā§āĻŦ āĻĻā§āĻŦāĻžāϰāĻž, ker(Ī•) F-āĻĒā§āϰāĻ•āĻžāϰ

āϏāĻŽā§āĻĒāĻ°ā§āĻ•āĻŋāϤ āĻ•āĻžāϜ

āϐāϤāĻŋāĻšāĻžāϏāĻŋāĻ• āωāĻ¨ā§āύāϝāĻŧāύ

āĨ§. Margulis āωāĻĒāĻĒāĻžāĻĻā§āϝ: āĻ…āĻ°ā§āϧ-āϏāϰāϞ āϞāĻžāχ āĻ—ā§āϰ⧁āĻĒ⧇ āϜāĻžāϞāĻŋāϰ āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧāϤāĻž āĻāĻŦāĻ‚ Hš āĻ…āĻ¨ā§āϤāĻ°ā§āϧāĻžāύ⧇āϰ āĻŽāĻ§ā§āϝ⧇ āϏāĻ‚āϝ⧋āĻ— āĻ¸ā§āĻĨāĻžāĻĒāύ āĻ•āϰāĻž āĨ¨. Bestvina-Brady āĻ•āĻžāϜ: āϏāĻŽāϕ⧋āĻŖ Artin āĻ—ā§āϰ⧁āĻĒ⧇āϰ āφāρāĻļāϝ⧁āĻ•ā§āϤāĻ•āϰāĻŖ āĻŦ⧈āĻļāĻŋāĻˇā§āĻŸā§āϝ āĻ…āĻ§ā§āϝāϝāĻŧāύ āĻ•āϰāĻž āĨŠ. Agol āωāĻĒāĻĒāĻžāĻĻā§āϝ: āĻšāĻžāχāĻĒāĻžāϰāĻŦā§‹āϞāĻŋāĻ• āĨŠ-āĻŦāĻšā§āϗ⧁āϪ⧇āϰ āĻ­āĻžāĻ°ā§āϚ⧁āϝāĻŧāĻžāϞ āφāρāĻļāϝ⧁āĻ•ā§āϤāĻ•āϰāĻŖ āĨĒ. CAT(0) āĻœā§āϝāĻžāĻŽāĻŋāϤāĻŋ: Bridson-Haefliger āϤāĻ¤ā§āĻ¤ā§āĻŦ āĻāĻŦāĻ‚ Caprace-Monod āĻ•āĻžāĻ āĻžāĻŽā§‹ āϤāĻ¤ā§āĻ¤ā§āĻŦ

āĻāχ āĻĒāĻ¤ā§āϰāĻŋāĻ•āĻžāϰ āĻ…āĻŦāĻĻāĻžāύ⧇āϰ āĻ…āĻŦāĻ¸ā§āĻĨāĻžāύ

  • āĻ—āĻžāĻ›-āχāωāĻ•ā§āϞāĻŋāĻĄā§€āϝāĻŧ āϗ⧁āĻŖāĻĢāϞ⧇ āφāρāĻļāϝ⧁āĻ•ā§āϤāĻ•āϰāĻŖ āϏāĻŽāĻ¸ā§āϝāĻž āϏāĻŽā§āĻĒā§‚āĻ°ā§āĻŖāĻ­āĻžāĻŦ⧇ āϏāĻŽāĻžāϧāĻžāύ āĻ•āϰāĻž āĻĒā§āϰāĻĨāĻŽ
  • āφāρāĻļāϝ⧁āĻ•ā§āϤ āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ āϜāĻžāϞāĻŋ āύāĻŋāĻ°ā§āĻŽāĻžāϪ⧇āϰ āϜāĻ¨ā§āϝ āĻĒāĻĻā§āϧāϤāĻŋāĻ—āϤ āĻĒāĻĻā§āϧāϤāĻŋ āĻĒā§āϰāĻĻāĻžāύ āĻ•āϰāĻž
  • BNSR āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ āĻāĻŦāĻ‚ āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧāϤāĻžāϰ āĻŽāĻ§ā§āϝ⧇ āϏ⧁āύāĻŋāĻ°ā§āĻĻāĻŋāĻˇā§āϟ āϏāĻ‚āϝ⧋āĻ— āĻ¸ā§āĻĨāĻžāĻĒāύ āĻ•āϰāĻž

āωāĻĒāϏāĻ‚āĻšāĻžāϰ āĻāĻŦāĻ‚ āφāϞ⧋āϚāύāĻž

āĻĒā§āϰāϧāĻžāύ āωāĻĒāϏāĻ‚āĻšāĻžāϰ

āĨ§. āĻ—āĻžāĻ›-āχāωāĻ•ā§āϞāĻŋāĻĄā§€āϝāĻŧ āϗ⧁āĻŖāĻĢāϞ⧇, āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧāϤāĻž āĻ…-āφāρāĻļāϝ⧁āĻ•ā§āϤāĻ•āϰāϪ⧇āϰ āϏāĻŽāϤ⧁āĻ˛ā§āϝ āĨ¨. āφāρāĻļāϝ⧁āĻ•ā§āϤ āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ āϜāĻžāϞāĻŋ āĻŦāĻŋāĻĻā§āϝāĻŽāĻžāύ, āĻ•āĻŋāĻ¨ā§āϤ⧁ āϤāĻžāĻĻ⧇āϰ āφāϰāĻ“ āϜāϟāĻŋāϞ āĻ¸ā§āĻĨāĻžāύ⧇ āĻŦāĻžāĻ¸ā§āϤāĻŦāĻžāϝāĻŧāĻŋāϤ āĻšāϤ⧇ āĻšāĻŦ⧇ āĨŠ. BNSR āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ āϜāĻžāϞāĻŋāϰ āĻœā§āϝāĻžāĻŽāĻŋāϤāĻŋāĻ• āĻŦ⧈āĻļāĻŋāĻˇā§āĻŸā§āϝ āĻ…āĻ§ā§āϝāϝāĻŧāύ⧇āϰ āϜāĻ¨ā§āϝ āĻļāĻ•ā§āϤāĻŋāĻļāĻžāϞ⧀ āϏāϰāĻžā§āϜāĻžāĻŽ āĻĒā§āϰāĻĻāĻžāύ āĻ•āϰ⧇

āϏ⧀āĻŽāĻžāĻŦāĻĻā§āϧāϤāĻž

āĨ§. āωāĻšā§āϚ-āĻŽāĻžāĻ¤ā§āϰāĻŋāĻ• āχāωāĻ•ā§āϞāĻŋāĻĄā§€āϝāĻŧ āĻ¸ā§āĻĨāĻžāύ (nâ‰ĨāĨŠ) āĻāϰ āϏāĻŽā§āĻĒā§‚āĻ°ā§āĻŖ āĻĢāϞāĻžāĻĢāϞ āĻ­āĻžāĻ°ā§āϚ⧁āϝāĻŧāĻžāϞ āĻŽā§āĻ•ā§āϤ-āĻŽā§‹āĻĄāĻŧ āϏāĻŽāĻ¸ā§āϝāĻž āϏāĻŽāĻžāϧāĻžāύ āĻĒā§āϰāϝāĻŧā§‹āϜāύ āĨ¨. āϏāĻžāϧāĻžāϰāĻŖ CAT(0) āĻ¸ā§āĻĨāĻžāύ āϗ⧁āĻŖāĻĢāϞ⧇āϰ āĻ•ā§āώ⧇āĻ¤ā§āϰ āĻāĻ–āύāĻ“ āĻ–ā§‹āϞāĻž āĨŠ. āύāĻŋāĻ°ā§āĻŽāĻžāĻŖ āĻĒāĻĻā§āϧāϤāĻŋāϰ āϏāĻžāĻ°ā§āĻŦāϜāύ⧀āύāϤāĻž āφāϰāĻ“ āĻ—āĻŦ⧇āώāĻŖāĻž āĻĒā§āϰāϝāĻŧā§‹āϜāύ

āĻ­āĻŦāĻŋāĻˇā§āϝāϤ āĻĻāĻŋāĻ•āύāĻŋāĻ°ā§āĻĻ⧇āĻļāύāĻž

āĨ§. āĻ…āύ⧁āĻŽāĻžāύ āĨ§.āĨŠ: āϏāĻŽāϰ⧂āĻĒ āĻ¸ā§āĻĨāĻžāύ āĻāĻŦāĻ‚ āĻŦāĻšā§āϭ⧁āϜ āϜāϟāĻŋāϞāϤāĻžāϰ āϗ⧁āĻŖāĻĢāϞ⧇ āϏāĻžāϧāĻžāϰāĻŖā§€āĻ•āϰāĻŖ āĨ¨. āĻĒā§āϰāĻļā§āύ āĨ§.āĨĒ: āĻ…āϏāĻ‚āϝ⧁āĻ•ā§āϤ āĻĒāϤāĻžāĻ•āĻž āϜāϟāĻŋāϞāϤāĻžāϰ āϏāĻ‚āĻļā§āϞāĻŋāĻˇā§āϟ āĻ•ā§āώ⧇āĻ¤ā§āϰ āĻ…āĻ§ā§āϝāϝāĻŧāύ āĻ•āϰāĻž āĨŠ. āĻĒāϰāĻŋāĻŽāĻžāĻĒ āϏāĻŽāϤ⧁āĻ˛ā§āϝāϤāĻž, āĻŦāĻŋāύāĻŋāĻŽāϝāĻŧāĻ•āĻžāϰ⧀ āĻāĻŦāĻ‚ āĻ…āĻ¨ā§āϝāĻžāĻ¨ā§āϝ āϤāĻ¤ā§āĻ¤ā§āĻŦ⧇āϰ āϏāĻžāĻĨ⧇ āϏāĻ‚āϝ⧋āĻ— āĻ…āĻ¨ā§āĻŦ⧇āώāĻŖ āĻ•āϰāĻž

āĻ—āĻ­ā§€āϰ āĻŽā§‚āĻ˛ā§āϝāĻžāϝāĻŧāύ

āϏ⧁āĻŦāĻŋāϧāĻž

āĨ§. āĻĒā§āϰāϝ⧁āĻ•ā§āϤāĻŋāĻ—āϤ āĻ—āĻ­ā§€āϰāϤāĻž: āĻ—ā§āϰ⧁āĻĒ āϤāĻ¤ā§āĻ¤ā§āĻŦ, āĻœā§āϝāĻžāĻŽāĻŋāϤāĻŋāĻ• āϟāĻĒā§‹āϞāϜāĻŋ āĻāĻŦāĻ‚ āĻŦā§€āϜāĻ—āĻŖāĻŋāϤ āϟāĻĒā§‹āϞāϜāĻŋāϰ āĻāĻ•āĻžāϧāĻŋāĻ• āĻ•ā§ŒāĻļāϞ āϚāϤ⧁āϰāĻ­āĻžāĻŦ⧇ āĻāĻ•āĻ¤ā§āϰāĻŋāϤ āĻ•āϰāĻž āĨ¨. āĻĢāϞāĻžāĻĢāϞ āϏāĻŽā§āĻĒā§‚āĻ°ā§āĻŖāϤāĻž: āύ⧇āϤāĻŋāĻŦāĻžāϚāĻ• āĻĢāϞāĻžāĻĢāϞ (āωāĻĒāĻĒāĻžāĻĻā§āϝ A) āĻāĻŦāĻ‚ āχāϤāĻŋāĻŦāĻžāϚāĻ• āĻĢāϞāĻžāĻĢāϞ (āωāĻĒāĻĒāĻžāĻĻā§āϝ C) āωāĻ­āϝāĻŧāχ āϰāϝāĻŧ⧇āϛ⧇ āĨŠ. āĻĒāĻĻā§āϧāϤāĻŋ āωāĻĻā§āĻ­āĻžāĻŦāύ: āĻ¸ā§āĻĨāĻŋāϤāĻŋāĻļā§€āϞāĻ• āĻ…āĻ¨ā§āϤāĻ°ā§āϧāĻžāύ āϞ⧇āĻŽā§āĻŽāĻž āĻāĻŦāĻ‚ āĻŦāĻ°ā§āĻŖāĻžāϞ⧀ āĻ•ā§āϰāĻŽ āĻ—āĻŖāύāĻžāϰ āϏāĻŽāĻ¨ā§āĻŦāϝāĻŧ āĻĒā§āϰāϝ⧁āĻ•ā§āϤāĻŋāĻ—āϤ āĻšāĻžāχāϞāĻžāχāϟ āĨĒ. āϤāĻžāĻ¤ā§āĻ¤ā§āĻŦāĻŋāĻ• āϤāĻžā§ŽāĻĒāĻ°ā§āϝ: āĻāĻ•āϟāĻŋ āĻŽā§ŒāϞāĻŋāĻ• āĻœā§āϝāĻžāĻŽāĻŋāϤāĻŋāĻ• āĻ—ā§āϰ⧁āĻĒ āϤāĻ¤ā§āĻ¤ā§āĻŦ āĻĒā§āϰāĻļā§āύ āĻ¸ā§āĻĒāĻˇā§āϟ āĻ•āϰāĻž

āĻ…āĻĒā§‚āĻ°ā§āĻŖāϤāĻž

āĨ§. āĻĒā§āϰāϝāĻŧā§‹āϗ⧇āϰ āĻĒāϰāĻŋāϏ⧀āĻŽāĻž: āϏāĻŽā§āĻĒā§‚āĻ°ā§āĻŖ āĻĢāϞāĻžāĻĢāϞ āĻļ⧁āϧ⧁āĻŽāĻžāĻ¤ā§āϰ āύāĻŋāĻŽā§āύ-āĻŽāĻžāĻ¤ā§āϰāĻŋāĻ• āχāωāĻ•ā§āϞāĻŋāĻĄā§€āϝāĻŧ āĻ¸ā§āĻĨāĻžāύ⧇āϰ āĻŽāĻ§ā§āϝ⧇ āϏ⧀āĻŽāĻžāĻŦāĻĻā§āϧ āĨ¨. āύāĻŋāĻ°ā§āĻŽāĻžāĻŖ āϜāϟāĻŋāϞāϤāĻž: āφāρāĻļāϝ⧁āĻ•ā§āϤ āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ āϜāĻžāϞāĻŋāϰ āύāĻŋāĻ°ā§āĻŽāĻžāĻŖ āĻ…āĻ¤ā§āϝāĻ¨ā§āϤ āĻĒā§āϰāϝ⧁āĻ•ā§āϤāĻŋāĻ—āϤ āĨŠ. āĻ–ā§‹āϞāĻž āϏāĻŽāĻ¸ā§āϝāĻž: āĻŦ⧇āĻļ āĻ•āϝāĻŧ⧇āĻ•āϟāĻŋ āϗ⧁āϰ⧁āĻ¤ā§āĻŦāĻĒā§‚āĻ°ā§āĻŖ āĻ–ā§‹āϞāĻž āϏāĻŽāĻ¸ā§āϝāĻž āϰ⧇āϖ⧇ āϝāĻžāϝāĻŧ

āĻĒā§āϰāĻ­āĻžāĻŦ

āĻāχ āĻĒāĻ¤ā§āϰāĻŋāĻ•āĻž āĻœā§āϝāĻžāĻŽāĻŋāϤāĻŋāĻ• āĻ—ā§āϰ⧁āĻĒ āϤāĻ¤ā§āĻ¤ā§āĻŦ⧇ āĻāĻ•āϟāĻŋ āĻŽā§ŒāϞāĻŋāĻ• āϏāĻŽāĻ¸ā§āϝāĻž āϏāĻŽāĻžāϧāĻžāύ āĻ•āϰ⧇, āϜāĻžāϞāĻŋāϰ āφāρāĻļāϝ⧁āĻ•ā§āϤāĻ•āϰāĻŖ āĻŦ⧈āĻļāĻŋāĻˇā§āĻŸā§āϝ āĻŦā§‹āĻāĻžāϰ āϜāĻ¨ā§āϝ āύāϤ⧁āύ āĻĻ⧃āĻˇā§āϟāĻŋāĻ­āĻ™ā§āĻ—āĻŋ āĻĒā§āϰāĻĻāĻžāύ āĻ•āϰ⧇āĨ¤ āĻĒāĻĻā§āϧāϤāĻŋ āĻāĻŦāĻ‚ āĻ•ā§ŒāĻļāϞ āϏāĻŽā§āĻĒāĻ°ā§āĻ•āĻŋāϤ āĻ•ā§āώ⧇āĻ¤ā§āϰ⧇āϰ āϜāĻ¨ā§āϝ āϗ⧁āϰ⧁āĻ¤ā§āĻŦāĻĒā§‚āĻ°ā§āĻŖ āϰ⧇āĻĢāĻžāϰ⧇āĻ¨ā§āϏ āĻŽā§‚āĻ˛ā§āϝ āϰāĻžāϖ⧇, āĻŦāĻŋāĻļ⧇āώāϤ CAT(0) āĻœā§āϝāĻžāĻŽāĻŋāϤāĻŋ āĻāĻŦāĻ‚ BNSR āĻ…āĻĒāϰāĻŋāĻŦāĻ°ā§āϤāύ⧀āϝāĻŧ⧇āϰ āĻĒā§āϰāϝāĻŧā§‹āϗ⧇āĨ¤

āĻĒā§āϰāϝ⧋āĻœā§āϝ āĻĒāϰāĻŋāĻ¸ā§āĻĨāĻŋāϤāĻŋ

āĻāχ āĻ—āĻŦ⧇āώāĻŖāĻž āĻĒā§āϰāϧāĻžāύāϤ āĻĒā§āϰāϝ⧋āĻœā§āϝ: āĨ§. āĻœā§āϝāĻžāĻŽāĻŋāϤāĻŋāĻ• āĻ—ā§āϰ⧁āĻĒ āϤāĻ¤ā§āĻ¤ā§āĻŦ⧇ āϜāĻžāϞāĻŋāϰ āĻļā§āϰ⧇āĻŖā§€āĻŦāĻŋāĻ­āĻžāĻ— āϏāĻŽāĻ¸ā§āϝāĻž āĨ¨. CAT(0) āĻ¸ā§āĻĨāĻžāύ⧇āϰ āĻœā§āϝāĻžāĻŽāĻŋāϤāĻŋāĻ• āĻŦāĻŋāĻļā§āϞ⧇āώāĻŖ āĨŠ. āφāρāĻļāϝ⧁āĻ•ā§āϤāĻ•āϰāĻŖ āϤāĻ¤ā§āĻ¤ā§āĻŦ⧇āϰ āĻĒā§āϰāϝāĻŧā§‹āĻ— āĨĒ. āĻŦā§€āϜāĻ—āĻŖāĻŋāϤ āϟāĻĒā§‹āϞāϜāĻŋāϤ⧇ āϏ⧀āĻŽāĻŋāϤ āĻŦ⧈āĻļāĻŋāĻˇā§āĻŸā§āϝ āĻ—āĻŦ⧇āώāĻŖāĻž

āϤāĻĨā§āϝāϏ⧂āĻ¤ā§āϰ

āĻĒāĻ¤ā§āϰāĻŋāĻ•āĻž ⧝āĨŽāϟāĻŋ āϏāĻŽā§āĻĒāĻ°ā§āĻ•āĻŋāϤ āϏāĻžāĻšāĻŋāĻ¤ā§āϝ āωāĻĻā§āϧ⧃āϤ āĻ•āϰ⧇āϛ⧇, āϝāĻž āĻ§ā§āϰ⧁āĻŦāĻ• Margulis āϤāĻ¤ā§āĻ¤ā§āĻŦ āĻĨ⧇āϕ⧇ āϏāĻ°ā§āĻŦāĻļ⧇āώ CAT(0) āĻœā§āϝāĻžāĻŽāĻŋāϤāĻŋ āωāĻ¨ā§āύāϝāĻŧāύ āĻĒāĻ°ā§āϝāĻ¨ā§āϤ āĻŦāĻŋāĻ¸ā§āϤ⧃āϤ, āĻāχ āĻ•ā§āώ⧇āĻ¤ā§āϰ⧇āϰ āĻ—āĻ­ā§€āϰ āϤāĻžāĻ¤ā§āĻ¤ā§āĻŦāĻŋāĻ• āĻ­āĻŋāĻ¤ā§āϤāĻŋ āĻāĻŦāĻ‚ āϏāĻ•ā§āϰāĻŋāϝāĻŧ āĻ—āĻŦ⧇āώāĻŖāĻž āĻ…āĻŦāĻ¸ā§āĻĨāĻž āĻĒā§āϰāϤāĻŋāĻĢāϞāĻŋāϤ āĻ•āϰ⧇āĨ¤