Hyperbolization of Polyhedra

 July 26, 2008 talks mathematics

\newcommand{\N}{\mathbb{N}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\R}{\mathbb{R}} \newcommand{\C}{\mathbb{C}}

\newenvironment{question}[1][]{\par\textbf{Question (#1).}}{} \newenvironment{theorem}[1][]{\par\textbf{Theorem (#1).}}{} \newenvironment{lemma}[1][]{\par\textbf{Lemma (#1).}}{} \newenvironment{proof}{\textit{Proof.}}{}

I gave a talk in the Farb and Friends Student Seminar (back in March!) on [1].

This is an awesome paper—well-worth a few words on every blog!

The construction is way easier than you might think. The ingredients:
  • A model space X with a map f : X \to \Delta^n
  • Any simplicial complex K with a nondegenerate (edge-non-collapsing) map K \to \Delta^n (if having a map to \Delta^n seems like a bother, note that the barycentric subdivision K&39; comes with a map to \Delta^n for free).

Let X_J = f^{-1}(J) for J a subcomplex of \Delta^n ; we think of this as decomposing X into pieces resembling a simplex.

Now the construction is easy: replace each simplex in K with a corresponding piece of X . Or more formally, build the fiber product of X and \|K\| over \Delta^n ; this fiber product is denoted by X \tilde{\Delta} K in the paper. From this, we get a natural map f_K : X \tilde{\Delta} K \to K .

The vague upshot is this: features of X translate into features of X \tilde{\Delta} K , while nonetheless preserving features of K . Here are a couple of examples of how assumptions on X lead to consequence for X \tilde{\Delta} K .
  • If X is path-connected, and for each codimension 1 face \alpha of \Delta^n , we have Error:LaTeX failed:
    This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021/nixos.org) (preloaded format=latex) restricted \write18 enabled. entering extended mode (./working.tex LaTeX2e <2021-11-15> patch level 1 L3 programming layer <2022-02-24> (/nix/store/pibhz89i08877bwjc13mmq7b3kaqkmhi-texlive-combined-full-2021-final/s hare/texmf/tex/latex/base/article.cls Document Class: article 2021/10/04 v1.4n Standard LaTeX document class (/nix/store/pibhz89i08877bwjc13mmq7b3kaqkmhi-texlive-combined-full-2021-final/s hare/texmf/tex/latex/base/size12.clo)) (/nix/store/pibhz89i08877bwjc13mmq7b3kaqkmhi-texlive-combined-full-2021-final/s hare/texmf/tex/latex/preview/preview.sty (/nix/store/pibhz89i08877bwjc13mmq7b3kaqkmhi-texlive-combined-full-2021-final/s hare/texmf/tex/generic/luatex85/luatex85.sty) (/nix/store/pibhz89i08877bwjc13mmq7b3kaqkmhi-texlive-combined-full-2021-final/s hare/texmf/tex/latex/preview/prtightpage.def)) (/nix/store/pibhz89i08877bwjc13mmq7b3kaqkmhi-texlive-combined-full-2021-final/s hare/texmf/tex/latex/amsmath/amsmath.sty For additional information on amsmath, use the `?' option. (/nix/store/pibhz89i08877bwjc13mmq7b3kaqkmhi-texlive-combined-full-2021-final/s hare/texmf/tex/latex/amsmath/amstext.sty (/nix/store/pibhz89i08877bwjc13mmq7b3kaqkmhi-texlive-combined-full-2021-final/s hare/texmf/tex/latex/amsmath/amsgen.sty)) (/nix/store/pibhz89i08877bwjc13mmq7b3kaqkmhi-texlive-combined-full-2021-final/s hare/texmf/tex/latex/amsmath/amsbsy.sty) (/nix/store/pibhz89i08877bwjc13mmq7b3kaqkmhi-texlive-combined-full-2021-final/s hare/texmf/tex/latex/amsmath/amsopn.sty)) (/nix/store/pibhz89i08877bwjc13mmq7b3kaqkmhi-texlive-combined-full-2021-final/s hare/texmf/tex/latex/amsfonts/amsfonts.sty) (/nix/store/pibhz89i08877bwjc13mmq7b3kaqkmhi-texlive-combined-full-2021-final/s hare/texmf/tex/latex/base/fontenc.sty) (/nix/store/pibhz89i08877bwjc13mmq7b3kaqkmhi-texlive-combined-full-2021-final/s hare/texmf/tex/latex/lm/lmodern.sty) (/nix/store/pibhz89i08877bwjc13mmq7b3kaqkmhi-texlive-combined-full-2021-final/s hare/texmf/tex/latex/lm/t1lmr.fd) (/nix/store/pibhz89i08877bwjc13mmq7b3kaqkmhi-texlive-combined-full-2021-final/s hare/texmf/tex/latex/l3backend/l3backend-dvips.def) No file working.aux. Preview: Fontsize 12pt (/nix/store/pibhz89i08877bwjc13mmq7b3kaqkmhi-texlive-combined-full-2021-final/s hare/texmf/tex/latex/lm/ot1lmr.fd) (/nix/store/pibhz89i08877bwjc13mmq7b3kaqkmhi-texlive-combined-full-2021-final/s hare/texmf/tex/latex/lm/omllmm.fd) (/nix/store/pibhz89i08877bwjc13mmq7b3kaqkmhi-texlive-combined-full-2021-final/s hare/texmf/tex/latex/lm/omslmsy.fd) (/nix/store/pibhz89i08877bwjc13mmq7b3kaqkmhi-texlive-combined-full-2021-final/s hare/texmf/tex/latex/lm/omxlmex.fd) (/nix/store/pibhz89i08877bwjc13mmq7b3kaqkmhi-texlive-combined-full-2021-final/s hare/texmf/tex/latex/amsfonts/umsa.fd) (/nix/store/pibhz89i08877bwjc13mmq7b3kaqkmhi-texlive-combined-full-2021-final/s hare/texmf/tex/latex/amsfonts/umsb.fd) ! Undefined control sequence. l.11 X_{\alpha} \neq \varnothing Preview: Tightpage -32891 -32891 32891 32891 [1] (./working.aux) ) (see the transcript file for additional information) Output written on working.dvi (1 page, 1772 bytes). Transcript written on working.log.
    , then \pi_1(f_K) : \pi_1(X \tilde{\Delta} K) \to \pi_1(K) is a surjection.
  • If X and K are PL-manifolds, and \dim X_J = \dim J , and \partial X_J = X_{\partial J} , then X \tilde{\Delta} K is a PL-manifold.

[1] M.W. Davis, T. Januszkiewicz, Hyperbolization of polyhedra, J. Differential Geom. 34 (1991) 347–388. http://projecteuclid.org/euclid.jdg/1214447212.