Master thesis on Rational Homotopy Theory
https://github.com/Jaxan/Rational-Homotopy-Theory
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
155 lines
11 KiB
155 lines
11 KiB
|
|
\Chapter{Rationalizations}{Rationalization}
|
|
|
|
In this section we will prove the existence of rationalizations $X \to X_\Q$. We will do this in a cellular way. The $n$-spheres play an important role here, so their rationalizations will be discussed first. In this section $1$-connectedness of spaces will play an important role.
|
|
|
|
\section{Rationalization of \texorpdfstring{$S^n$}{Sn}}
|
|
We will construct $S^n_\Q$ as an infinite telescope, as depicted for $n=1$ in the following picture.
|
|
\cimage{telescope}
|
|
The space will consist of multiple copies of $S^n$, one for each $k \in \N^{>0}$, glued together by $(n+1)$-cells. The role of the $k$th copy (together with the gluing) is to be able to ``divide by $k$''.
|
|
|
|
So $S^n_\Q$ will be of the form $S^n_\Q = \bigvee_{k>0} S^n \cup_{h} \coprod_{k>0} D^{n+1}$. We will define the attaching map $h$ by doing the construction in stages.
|
|
|
|
We start the construction with $S^n(1) = S^n$. Now assume $S^n(r) = \bigvee_{i=1}^r S^n \cup_{h(r)} \coprod_{i=1}^{r-1} D^{n+1}$ is constructed. Let $i: S^n \to S^n(r)$ be the inclusion into the last (i.e. $r$th) sphere, and let $g : S^n \to S^n$ be a representative for the class $(r+1)[\id] \in \pi_n(S^n)$. Combine the two maps to obtain $\phi : S^n \to S^n \vee S^n \tot{i \vee g} S^n(r) \vee S^n$. We define $S^n(r+1)$ as the pushout:
|
|
\[ \xymatrix{
|
|
S^n \ar[r]^-\phi \arcof[d] \xypo & S^n(r) \vee S^n \ar[d] \\
|
|
D^{n+1} \ar[r] & S^n(r+1)
|
|
} \]
|
|
So that $S^n(r+1) = \bigvee_{i=1}^{r+1} S^n \cup_{h(r+1)} \coprod_{i=1}^{r} D^{n+1}$. To finish the construction we define $S^n_\Q = \colim_{r} S^n(r)$.
|
|
|
|
We note two things here. First, at any stage, the inclusion $i : S^n \to S^n(r)$ into the $r$th sphere is a weak equivalence, as we can collapse the (finite) telescope to the last sphere. This identifies $\pi_n(S^n(r)) = \Z$ for all $r$. Secondly, let $i_r: S^n \to S^n(r+1)$ be the inclusion of the $r$th sphere and let $i_{r+1} : S^n \to S^n(r+1)$ be the inclusion of the last sphere, then $[i_r] = (r+1)[i_{r+1}] \in \pi^n(S^n(r+1))$, by construction. This means that we can divide \linebreak the class $[i_r]$ by $r+1$. This shows that the inclusion $S^n(r) \to S^n(r+1)$ induces a multiplication by $r+1$ under the identification $\pi^n(S^n(r)) = \Z$ for all $r$.
|
|
|
|
The $n$th homotopy group of $S^n_\Q$ can be calculated as follows. We use the fact that the homotopy groups commute with filtered colimits \cite[9.4]{may} to compute $\pi_n(S^n_\Q)$ as the colimit of the terms $\pi_n(S^n(r)) \iso \Z$ and the induced maps as depicted in the following diagram:
|
|
\[ \xymatrix{ \Z \ar[r]^-{\times 2} & \Z \ar[r]^-{\times 3} & \Z \ar[r]^-{\times 4} & \Z \ar@{-->}[rr] & & \Q } \]
|
|
|
|
Moreover we note that the generator $1 \in \Z = \pi_n(S^n)$ is sent to $1 \in \Q = \pi_n(S^n_\Q)$ via the inclusion $S^n \to S^n_\Q$ of the initial sphere. However the other homotopy groups are harder to calculate as we have generally no idea what the induced maps are. But in the case of $n=1$, the other homotopy groups of $S^1$ are trivial.
|
|
|
|
\Corollary{rationalization-S1}{
|
|
The inclusion $S^1 \to S^1_\Q$ is a rationalization.
|
|
}
|
|
|
|
For $n>1$ we can resort to homology, which also commutes with filtered colimits \cite[14.6]{may}. By connectedness we have $H_0(S^n_\Q) = \Z$ and for $i \neq 0, n$ we have $H_i(S^n) = 0$, so the colimit is also trivial. For $i = n$ we can use the same sequence as above (or use the Hurewicz theorem) to conclude:
|
|
|
|
$$ H_i(S^n_\Q) = \begin{cases}
|
|
\Z, &\text{ if } i = 0 \\
|
|
\Q, &\text{ if } i = n \\
|
|
0, &\text{ otherwise.}
|
|
\end{cases} $$
|
|
|
|
By the Serre-Hurewicz theorem (\CorollaryRef{rational-hurewicz-2}) we see that $S^n_\Q$ is indeed rational. Then by the Serre-Whitehead theorem (\CorollaryRef{rational-whitehead}) the inclusion map $S^n \to S^n_\Q$ is a rationalization.
|
|
|
|
\Corollary{rationalization-Sn}{
|
|
The inclusion $S^n \to S^n_\Q$ is a rationalization.
|
|
}
|
|
|
|
The \Def{rational disk} is now defined as cone of the rational sphere: $D^{n+1}_\Q = CS^n_\Q$. By the naturality of the cone construction we get the following commutative diagram of inclusions.
|
|
|
|
\begin{displaymath}
|
|
\xymatrix{
|
|
S^{n} \arcof[r] \arcof[d] & S^{n}_{\Q} \arcof[d] \\
|
|
D^{n+1} \arcof[r] & D^{n+1}_{\Q}
|
|
}
|
|
\end{displaymath}
|
|
|
|
\Lemma{SnQ-extension}{
|
|
Let $X$ be a rational space and $f : S^n \to X$ be a map. Then this map extends to a map $f' : S^n_\Q \to X$ making the following diagram commute.
|
|
\begin{displaymath}
|
|
\xymatrix{
|
|
S^n \ar[r]^i \ar[rd]^f & S^n_\Q \ar@{-->}[d]^{f'} \\
|
|
& X
|
|
}
|
|
\end{displaymath}
|
|
Furthermore $f'$ is determined up to homotopy (i.e. any map $f''$ with $f''i = f$ is homotopic to $f'$) and homotopic maps have homotopic extensions (i.e. if $f \simeq g$, then $f' \simeq g'$).
|
|
}
|
|
\Proof{
|
|
Note that $f$ represents a class $\alpha \in \pi_n(X)$. Since $\pi_n(X)$ is a $\Q$-vector space there exists elements $\frac{1}{2}\alpha, \frac{1}{3}\alpha, \ldots$ with representatives $\frac{1}{2}f, \frac{1}{3}f, \ldots$. Recall that $S^n_\Q$ consists of many copies of $S^n$, we can define $f'$ on the $k$th copy to be $\frac{1}{k!}f$, as depicted in the following diagram.
|
|
\cimage{telescope_maps}
|
|
|
|
Since $[\frac{1}{(k-1)!}f] = k[\frac{1}{k!}f] \in \pi_n(X)$ we can define $f'$ accordingly on the $n+1$-cells. Since our inclusion $i: S^n \cof S^n_\Q$ is in the first sphere, we get $f = f' \circ i$.
|
|
|
|
Let $f''$ be any map such that $f''i = f$. Then $f''$ also represents $\alpha$ and all the functions $\frac{1}{2}f''$, $\frac{1}{6}f''$,\dots are hence homotopic to $\frac{1}{2}f$, $\frac{1}{6}f$,\dots. So indeed $f$ is homotopic to $f''$.
|
|
|
|
Now if $g$ is homotopic to $f$. We can extend the homotopy $h$ in a similar way to the rational sphere. Hence the extensions are homotopic.
|
|
}
|
|
|
|
\section{Rationalizations of arbitrary spaces}
|
|
Having rational cells we wish to replace the cells in a CW complex $X$ by the rational cells to obtain a rationalization.
|
|
|
|
\Lemma{rationalization-CW}{
|
|
Any simply connected CW complex admits a rationalization.
|
|
}
|
|
\Proof{
|
|
Let $X$ be a CW complex. We will define $X_\Q$ with induction on the skeleton. Since $X$ is simply connected we can start with $X^0_\Q = X^1_\Q = \ast$. Now assume that the rationalization $X^k \tot{\phi^k} X^k_\Q$ is already defined. Let $A$ be the set of $k+1$-cells and $f_\alpha : S^k \to X^{k+1}$ be the attaching maps. Then by \LemmaRef{SnQ-extension} these extend to $g_\alpha = (\phi^k \circ f_\alpha)' : S^k_\Q \to X^k_\Q$. This defines $X^{k+1}_\Q$ as the pushout in the following diagram.
|
|
|
|
\begin{displaymath}
|
|
\xymatrix{
|
|
\coprod_A S^n_\Q \ar[r]^{(g_\alpha)} \arcof[d] \xypo & X^k_\Q \ar@{-->}[d] \\
|
|
\coprod_A D^{n+1}_\Q \ar@{-->}[r] & X^{k+1}_\Q
|
|
}
|
|
\end{displaymath}
|
|
|
|
Now by the universal property of $X^{k+1}$, we get a map $\phi^{k+1} : X^{k+1} \to X^{k+1}_\Q$ which is compatible with $\phi^k$ and which is a rationalization.
|
|
}
|
|
|
|
\Lemma{rationalization}{
|
|
Any simply connected space admits a rationalization.
|
|
}
|
|
\Proof{
|
|
Let $Y \tot{f} X$ be a CW approximation and let $Y \tot{\phi} Y_\Q$ be the rationalization of $Y$. Now we define $X_\Q$ as the double mapping cylinder (or homotopy pushout):
|
|
$$ X_\Q = X \cup_f (Y \times I) \cup_{\phi} Y_\Q. $$
|
|
with the obvious inclusion $\psi: X \to X_\Q$. By excision we see that $H_\ast(X_\Q, Y_\Q) \iso H_\ast(X \cup_f (Y \times I), Y \times {1}) = 0$. So by the long exact sequence of the inclusion we get $H_\ast(X_\Q) \iso H_\ast(Y_\Q)$, which proves by the rational Hurewicz theorem that $X_\Q$ is a rational space. At last we note that $H_\ast(X_\Q, X; \Q) \iso H_\ast(Y_\Q, Y; \Q) = 0$, since $\phi$ was a rationalization. This proves that $H_\ast(\psi; \Q)$ is an isomorphism, so by the rational Whitehead theorem, $\psi$ is a rationalization.
|
|
}
|
|
|
|
\Theorem{localization}{
|
|
The above construction is in fact a \Def{localization}, i.e. for any map $f : X \to Z$ to a rational space $Z$, there is an extension $f' : X_\Q \to Z$ making the following diagram commute.
|
|
|
|
\begin{displaymath}
|
|
\xymatrix{
|
|
X \ar[r]^i \ar[rd]^f & X_\Q \ar@{-->}[d]^{f'} \\
|
|
& Z
|
|
}
|
|
\end{displaymath}
|
|
|
|
Moreover, $f'$ is determined up to homotopy and homotopic maps have homotopic extensions.
|
|
}
|
|
|
|
We will note prove that above theorem (it is analogue to \LemmaRef{SnQ-extension}), but refer to \cite{felix}. The extension property allows us to define a rationalization of maps. Given $f : X \to Y$, we can consider the composite $if : X \to Y \to Y_\Q$. Now this extends to $(if)' : X_\Q \to Y_\Q$. Note that this construction is not functorial, since there are choices of homotopies involved. When passing to the homotopy category, however, this construction \emph{is} functorial and has an universal property.
|
|
|
|
We already mentioned in the first section that for rational spaces the notions of weak equivalence and rational equivalence coincide. Now that we always have a rationalization we have:
|
|
|
|
\Corollary{weak-eq-rationalization}{
|
|
Let $f: X \to Y$ be a map, then $f$ is a rational equivalence if and only if $f_\Q : X_\Q \to Y_\Q$ is a weak equivalence.
|
|
}
|
|
|
|
\Corollary{rat-htpy-is-htpy-rat}{
|
|
The homotopy category of $1$-connected rational spaces is equivalent to the rational homotopy category of $1$-connected spaces.
|
|
}
|
|
|
|
\section{Other constructions}
|
|
There are others ways to obtain a rationalization. One of them relies on the observations that it is easy to rationalize Eilenberg-MacLane spaces. Since we already have a rationalization at hand the details in this section will be skipped and the focus lies on the construction.
|
|
|
|
\Remark{rationalization-em-space}{
|
|
Let $A$ be an abelian group and $n \geq 1$. Then
|
|
$$ K(A, n) \to K(A \tensor \Q, n) $$
|
|
is a rationalization
|
|
}
|
|
|
|
Any simply connected space can be decomposed into a Postnikov tower $X \to \ldots \fib P_2(X) \fib P_1(X) \fib P_0(X)$ \cite[Chapter 22.4]{may}. Furthermore if $X$ is a simply connected CW complex, $P_{n}(X)$ can be constructed from $P_{n-1}(X)$ as the pullback in
|
|
\begin{displaymath}
|
|
\xymatrix{
|
|
P_{n}(X) \ar[r] \arfib[d] \xypb & PK(\pi_n(X), n+1) \arfib[d] \\
|
|
P_{n-1}(X) \ar[r]^-{k_{n-1}} & K(\pi_n(X), n+1),
|
|
}
|
|
\end{displaymath}
|
|
where the map $k_{n-1}$ is called the $k$-invariant. We will only need its existence for the construction. The rationalization can now be constructed with induction on this Postnikov tower. Start the induction with $X_\Q(2) = K(\pi_2(X) \tensor \Q, 2)$. Now assume we constructed $X_\Q(r-1)$ compatible with the $k$-invariant described above. We are in the following situation:
|
|
\begin{displaymath}
|
|
\xymatrix@C=0cm@R=0.5cm{
|
|
P_r(X) \ar[rr] \arfib[dd] & & PK(\pi_r(X), r+1) \ar[rd] \arfib[dd] & \\
|
|
& & & PK(\pi_r(X) \tensor \Q, r+1) \arfib[dd] \\
|
|
P_{r-1}(X) \ar[rr]^{k_{r-1}} \ar[rd]^{\phi_{r-1}} & & K(\pi_r(X), r+1) \ar[rd] \\
|
|
& X_\Q(r-1) \ar[rr] & & K(\pi_r(X) \tensor \Q, r+1)
|
|
}
|
|
\end{displaymath}
|
|
where the bottom square is our induction hypothesis, the right square is by naturality of the path space fibration and the back face is the pullback described above. We can define $X_\Q(r)$ to be the pullback of the front face, which induces a map $\phi_r : P_r(X) \to X_\Q(r)$. By inspecting the long exact sequence of the fibration $X_\Q(r) \fib X_\Q(r-1)$ we see that $\phi_r$ is indeed a rationalization.
|
|
|
|
We finish the construction by defining $X_\Q = \lim_r X_\Q(r)$. For more details, one can read \cite{sullivan} or \cite{berglund}.
|
|
|