%%% This file is part of PlanetPhysics snapshot of 2011-09-01
%%% Primary Title: geometrization conjecture and theorem
%%% Primary Category Code: 00.
%%% Filename: GeometrizationConjectureAndTheorem.tex
%%% Version: 37
%%% Owner: bci1
%%% Author(s): bci1
%%% PlanetPhysics is released under the GNU Free Documentation License.
%%% You should have received a file called fdl.txt along with this file.
%%% If not, please write to gnu@gnu.org.
\documentclass[12pt]{article}
\pagestyle{empty}
\setlength{\paperwidth}{8.5in}
\setlength{\paperheight}{11in}
\setlength{\topmargin}{0.00in}
\setlength{\headsep}{0.00in}
\setlength{\headheight}{0.00in}
\setlength{\evensidemargin}{0.00in}
\setlength{\oddsidemargin}{0.00in}
\setlength{\textwidth}{6.5in}
\setlength{\textheight}{9.00in}
\setlength{\voffset}{0.00in}
\setlength{\hoffset}{0.00in}
\setlength{\marginparwidth}{0.00in}
\setlength{\marginparsep}{0.00in}
\setlength{\parindent}{0.00in}
\setlength{\parskip}{0.15in}
\usepackage{html}
% this is the default PlanetPhysics preamble. as your knowledge
% of TeX increases, you will probably want to edit this, but
% it should be fine as is for beginners.
% almost certainly you want these
\usepackage{amsmath, amssymb, amsfonts, amsthm, amscd, latexsym, enumerate}
\usepackage{xypic, xspace}
\usepackage[mathscr]{eucal}
\usepackage[dvips]{graphicx}
\usepackage[curve]{xy}
% define commands here
\theoremstyle{plain}
\newtheorem{lemma}{Lemma}[section]
\newtheorem{proposition}{Proposition}[section]
\newtheorem{theorem}{Theorem}[section]
\newtheorem{corollary}{Corollary}[section]
\theoremstyle{definition}
\newtheorem{definition}{Definition}[section]
\newtheorem{example}{Example}[section]
%\theoremstyle{remark}
\newtheorem{remark}{Remark}[section]
\newtheorem*{notation}{Notation}
\newtheorem*{claim}{Claim}
\renewcommand{\thefootnote}{\ensuremath{\fnsymbol{footnote}}}
\numberwithin{equation}{section}
\newcommand{\Ad}{{\rm Ad}}
\newcommand{\Aut}{{\rm Aut}}
\newcommand{\Cl}{{\rm Cl}}
\newcommand{\Co}{{\rm Co}}
\newcommand{\DES}{{\rm DES}}
\newcommand{\Diff}{{\rm Diff}}
\newcommand{\Dom}{{\rm Dom}}
\newcommand{\Hol}{{\rm Hol}}
\newcommand{\Mon}{{\rm Mon}}
\newcommand{\Hom}{{\rm Hom}}
\newcommand{\Ker}{{\rm Ker}}
\newcommand{\Ind}{{\rm Ind}}
\newcommand{\IM}{{\rm Im}}
\newcommand{\Is}{{\rm Is}}
\newcommand{\ID}{{\rm id}}
\newcommand{\grpL}{{\rm GL}}
\newcommand{\Iso}{{\rm Iso}}
\newcommand{\rO}{{\rm O}}
\newcommand{\Sem}{{\rm Sem}}
\newcommand{\SL}{{\rm Sl}}
\newcommand{\St}{{\rm St}}
\newcommand{\Sym}{{\rm Sym}}
\newcommand{\Symb}{{\rm Symb}}
\newcommand{\SU}{{\rm SU}}
\newcommand{\Tor}{{\rm Tor}}
\newcommand{\U}{{\rm U}}
\newcommand{\A}{\mathcal A}
\newcommand{\Ce}{\mathcal C}
\newcommand{\D}{\mathcal D}
\newcommand{\E}{\mathcal E}
\newcommand{\F}{\mathcal F}
%\newcommand{\grp}{\mathcal G}
\renewcommand{\H}{\mathcal H}
\renewcommand{\cL}{\mathcal L}
\newcommand{\Q}{\mathcal Q}
\newcommand{\R}{\mathcal R}
\newcommand{\cS}{\mathcal S}
\newcommand{\cU}{\mathcal U}
\newcommand{\W}{\mathcal W}
\newcommand{\bA}{\mathbb{A}}
\newcommand{\bB}{\mathbb{B}}
\newcommand{\bC}{\mathbb{C}}
\newcommand{\bD}{\mathbb{D}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\bF}{\mathbb{F}}
\newcommand{\bG}{\mathbb{G}}
\newcommand{\bK}{\mathbb{K}}
\newcommand{\bM}{\mathbb{M}}
\newcommand{\bN}{\mathbb{N}}
\newcommand{\bO}{\mathbb{O}}
\newcommand{\bP}{\mathbb{P}}
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bV}{\mathbb{V}}
\newcommand{\bZ}{\mathbb{Z}}
\newcommand{\bfE}{\mathbf{E}}
\newcommand{\bfX}{\mathbf{X}}
\newcommand{\bfY}{\mathbf{Y}}
\newcommand{\bfZ}{\mathbf{Z}}
\renewcommand{\O}{\Omega}
\renewcommand{\o}{\omega}
\newcommand{\vp}{\varphi}
\newcommand{\vep}{\varepsilon}
\newcommand{\diag}{{\rm diag}}
\newcommand{\grp}{{\mathsf{G}}}
\newcommand{\dgrp}{{\mathsf{D}}}
\newcommand{\desp}{{\mathsf{D}^{\rm{es}}}}
\newcommand{\grpeod}{{\rm Geod}}
%\newcommand{\grpeod}{{\rm geod}}
\newcommand{\hgr}{{\mathsf{H}}}
\newcommand{\mgr}{{\mathsf{M}}}
\newcommand{\ob}{{\rm Ob}}
\newcommand{\obg}{{\rm Ob(\mathsf{G)}}}
\newcommand{\obgp}{{\rm Ob(\mathsf{G}')}}
\newcommand{\obh}{{\rm Ob(\mathsf{H})}}
\newcommand{\Osmooth}{{\Omega^{\infty}(X,*)}}
\newcommand{\grphomotop}{{\rho_2^{\square}}}
\newcommand{\grpcalp}{{\mathsf{G}(\mathcal P)}}
\newcommand{\rf}{{R_{\mathcal F}}}
\newcommand{\grplob}{{\rm glob}}
\newcommand{\loc}{{\rm loc}}
\newcommand{\TOP}{{\rm TOP}}
\newcommand{\wti}{\widetilde}
\newcommand{\what}{\widehat}
\renewcommand{\a}{\alpha}
\newcommand{\be}{\beta}
\newcommand{\grpa}{\grpamma}
%\newcommand{\grpa}{\grpamma}
\newcommand{\de}{\delta}
\newcommand{\del}{\partial}
\newcommand{\ka}{\kappa}
\newcommand{\si}{\sigma}
\newcommand{\ta}{\tau}
\newcommand{\lra}{{\longrightarrow}}
\newcommand{\ra}{{\rightarrow}}
\newcommand{\rat}{{\rightarrowtail}}
\newcommand{\ovset}[1]{\overset {#1}{\ra}}
\newcommand{\ovsetl}[1]{\overset {#1}{\lra}}
\newcommand{\hr}{{\hookrightarrow}}
\newcommand{\<}{{\langle}}
\def\baselinestretch{1.1}
\hyphenation{prod-ucts}
\newcommand{\sqdiagram}[9]{$$ \diagram #1 \rto^{#2} \dto_{#4}&
#3 \dto^{#5} \\ #6 \rto_{#7} & #8 \enddiagram
\eqno{\mbox{#9}}$$ }
\def\C{C^{\ast}}
\newcommand{\labto}[1]{\stackrel{#1}{\longrightarrow}}
\newcommand{\quadr}[4]
{\begin{pmatrix} & #1& \\[-1.1ex] #2 & & #3\\[-1.1ex]& #4&
\end{pmatrix}}
\def\D{\mathsf{D}}
\begin{document}
\subsection{Thurston's Geometrization Theorem and Conjecture}
\subsubsection{History}
Haken manifolds are named after Wolfgang Haken (b.1928) because their definition involves the key \htmladdnormallink{concept}{http://planetphysics.us/encyclopedia/PreciseIdea.html} of incompressible surfaces, and also because Wolfgang Haken has pioneered the use of incompressible surfaces in topology.
At the University of Illinois at Urbana-Champaign, Haken and his colleague Kenneth Appel, solved in 1976 one of the most famous problems in mathematics by proving the {\bf \htmladdnormallink{four-color theorem}{http://planetphysics.us/encyclopedia/MinimalColoring.html}}. He also proved that Haken manifolds have a hierarchy. The hierarchy facilitates the proof of several \htmladdnormallink{theorems}{http://planetphysics.us/encyclopedia/Formula.html} about about Haken manifolds through logical/mathematical induction: first, one proves a theorem for 3-balls, then one proves that if a theorem is true for pieces resulting by ``cutting'' a Haken manifold, then it is also true for the whole Haken manifold; it is essential that such ``cutting'' is selected along a surface that was incompressible. This makes possible the proof by induction in most cases by proceeding from one induction step to the next. Thus, Haken showed that there is a finite procedure to find an incompressible surface if the 3-manifold had one; 20 years later, Jaco and Oertel showed again by utilizing induction that there was an \htmladdnormallink{algorithm}{http://planetphysics.us/encyclopedia/RecursiveFunction.html} to determine if a 3-manifold was Haken. Because according to Jaco and Oertel there exists an algorithm to find out if a 3-manifold is Haken, the fundamental \htmladdnormallink{topological}{http://planetphysics.us/encyclopedia/CoIntersections.html} problem of recognizing 3-manifolds can be considered to be solved for the \htmladdnormallink{category}{http://planetphysics.us/encyclopedia/Cod.html} of Haken manifolds. Furthermore, Friedhelm Waldhausen proved that \emph{closed Haken manifolds} are topologically rigid, and thus such 3-manifolds are completely determined by their \htmladdnormallink{fundamental group}{http://planetphysics.us/encyclopedia/HomotopyCategory.html}. One can also conjecture that,in general, CW--complexes $C_{wh}$ of closed Haken manifolds, $M_{cH}$, are completely determined by the \htmladdnormallink{fundamental groupoid functor}{http://planetphysics.us/encyclopedia/QuantumFundamentalGroupoid.html} $\F_G$ associated with the category of $C_{wh}$ and CW-homeomorphisms.
\subsection{Thurston's Geometrization Theorem}
William Thurston reported his proof of the geometrization theorem in 1980, and several complete proofs have been published since. Furthermore, in 2003, Grigori (Grisha) Perelman sketched a proof of the general, full geometrization conjecture using Ricci flows with surgery; his proof of the full geometrization conjecture --as reported by specialized mathematicians in 2008-- is said to be essentially correct.
\begin{definition}
Let us consider first a \emph{Haken manifold} which is defined as a compact, $P^2$--irreducible $3$--manifold that contains a two--sided incompressible
2D-surface. (One also considers in topology \emph{orientable Haken manifolds}, in which case the Haken manifold is a compact, orientable and irreducible
$3$--manifold that contains an orientable, incompressible surface).
\end{definition}
Thurston's geometrization theorem, also called ``the Hyperbolization Theorem'', is stated as follows:
\begin{theorem} {\bf Thurston Geometrization Theorem (1980):}
Haken manifolds can be decomposed into submanifolds that have geometric structures.
\end{theorem}
In essence, the Thurston geometrization theorem (TGT) stated as above was proven by him as a proof of his geometrization conjecture just for the special case of Haken manifolds. A very important corollary of TGT is that many knots and links are in fact hyperbolic. Taken together with his hyperbolic Dehn surgery theorem, the TGT corollary showed that closed hyperbolic 3-manifolds abound. The (TGT) geometrization theorem is sometimes called in mathematical circles ``Thurston's Monster Theorem'', both because of the length and the difficulty of its proof. Complete proofs of TGT were published only 20 years later than the initial report by Thurston in 1980. Such proofs involve several original, profound insights that link several apparently distinct \htmladdnormallink{fields}{http://planetphysics.us/encyclopedia/CosmologicalConstant.html} of mathematics to 3-manifolds.
In 1981, Thurston announced the \emph{orbifold theorem}, which is an extension of his geometrization theorem in the setting of 3-orbifolds instead of Haken manifolds. Twenty years later, two teams of mathematicians suceeded to complete a \htmladdnormallink{proof of Thurston's orbifold theorem}{http://planetphysics.org/?op=getobj&from=books&id=33} that was in essence built upon Thurston's lectures presented in Princeton in 1980 involving his original proof that relied partially on Richard Hamilton's \htmladdnormallink{work}{http://planetphysics.us/encyclopedia/Work.html} on the Ricci flow.
\subsection{Thurston's Geometrization Conjectures}
Thurston proposed this more general, geometrization conjecture in 1982 after proving his geometrization theorem. The same year, he was awarded the Fields Medal ``for the depth and originality of his contributions to mathematics.''
This geometrization conjecture can be simply stated as follows:
{\bf Thurston Conjecture:}
{\em Compact 3-manifolds can be decomposed into submanifolds that have geometric structures.}
The geometrization conjecture (GC) can be considered as a 3-manifold analogue of the uniformization theorem for 2D-surfaces; GC indicates that all
3-manifolds admit a certain kind of geometric decomposition involving eight special geometries, now called \emph{Thurston model geometries}; the hyperbolic geometry is perhaps the most important of the eight model geometries and seems to raise the most complex problems in this context.
Thurston's geometrization conjecture implies several other conjectures, such as, for example, Thurston's elliptization conjecture, and also the Poincar\'e conjecture. The {\em Poincar\'e Conjecture} that aimed at a topological characterization of the 3-sphere, has been for over 100 years one of the central unresolved questions in topology; since its formulation in 1904, Poincar\'e conjecture has been repeatedly approached, without success, using various topological methods. Because of its importance and difficulty it was chosen by the Clay Research Institute as one of the seven ``Clay Millennium Problems'' in Mathematics).
{\bf The Poincar\'e Conjecture:}
{\em If a space is homotopically equivalent to a three-dimensional sphere
then it is also homeomorphic to the three-sphere.}
Thurston's gemetrization conjecture-- that was proven later by Grigori Perelman-- solved in the affirmative Poincar\'e 's 1904 conjecture. Perelman was awarded in August 2006 the Fields Medal for ``{\em his contributions to geometry and his revolutionary insights into the analytical and geometric structure of the Ricci flow}''. (Perelman, however, declined to either accept the Fields Medal award or to appear at the congress where it was supposed to be presented to him.)
\begin{thebibliography}{9}
\bibitem{RH82}
Richard Hamilton. 1982, ``Three--manifolds with positive Ricci curvature'', Journal of Differential Geometry, vol. 17, pp. 255--306. The paper that introduced Ricci flow.
\bibitem{CP1}
Collected Papers on Ricci Flow, $ISBN 1-57146-110-8$.
\bibitem{ProofPC2k9}
\htmladdnormallink{Ricci Flow and the Poincar\'e Conjecture}{http://www.claymath.org/publications/ricciflow/}, CMI/AMS, CLAY MATH,
521 pp.: the completion of the proof for the Poincar\'e Conjecture;
the fourth part in this book is an expanded version of Perelman's third preprint that ``gives the first complete and detailed proof of the finite-time extinction theorem''.
\subsubsection{Perelman's Proof of the Geometrization Conjecture:}
\bibitem{PG2k2}
Perelman, Grisha (11 November 2002). \htmladdnormallink{The entropy formula for the Ricci flow and its geometric applications. $arxiv:math.DG/0211159$.}{http://planetphysics.org/?op=getobj&from=papers&id=65}
\bibitem{PG2k3M}
Perelman, Grisha (10 March 2003). Ricci flow with surgery on three--manifolds. $arxiv:math.DG/0303109$.
\bibitem{PG2k3J}
Perelman, Grisha (17 July 2003). Finite extinction time for the solutions to the Ricci flow on certain three--manifolds. $arxiv:math.DG/0307245$.
\end{thebibliography}
\end{document}
