diff --git a/presentation/Makefile b/presentation/Makefile index 734a023..45ce559 100644 --- a/presentation/Makefile +++ b/presentation/Makefile @@ -16,5 +16,12 @@ haltfast: dirs xelatex -file-line-error -output-directory=build --halt-on-error Rational_Homotopy_Theory.tex cp build/Rational_Homotopy_Theory.pdf ./ +symbols: dirs + xelatex -file-line-error -output-directory=build symbols.tex + xelatex -file-line-error -output-directory=build symbols.tex + scp build/symbols.pdf moerman@stitch.science.ru.nl:~/rathtpy_images.pdf + ssh moerman@stitch.science.ru.nl 'pdf2svg rathtpy_images.pdf rathtpy_images.svg' + scp moerman@stitch.science.ru.nl:~/rathtpy_images.svg ./symbols.svg + dirs: mkdir -p build diff --git a/presentation/Rational_Homotopy_Theory.tex b/presentation/Rational_Homotopy_Theory.tex index 59c058a..da2ffff 100644 --- a/presentation/Rational_Homotopy_Theory.tex +++ b/presentation/Rational_Homotopy_Theory.tex @@ -7,6 +7,8 @@ \usepackage{tabularx} \renewcommand{\tabularxcolumn}[1]{p{#1}} +\graphicspath{ {../presentation/images/} } + \newcommand{\Frame}[2]{ \begin{frame}{#1}#2\end{frame} } @@ -32,21 +34,20 @@ \section{Introduction to homotopy theory} \Frame{Homotopy theory}{ \begin{center} - Study of space or shapes \\ + Study of spaces or shapes \\ with ``weak equivalences'' \bigskip - \td{plaatje} + \includegraphics{weak_eqs2} \end{center} } \Frame{Important spaces}{ -\td{plaatjes} \begin{align*} - S^1 &= ... \\[1em] - S^2 &= ... \\[1em] - S^3 &= \cdots \\[1em] - &\cdots + S^1 &= \raisebox{-0.4\height}{\includegraphics{spheres1}} \\[1em] + S^2 &= \raisebox{-0.4\height}{\includegraphics{spheres2}} \\[1em] + S^3 &= \>\> \cdots \\[1em] + &\>\> \vdots \end{align*} } @@ -56,7 +57,7 @@ \[ \pi_1(X) = \text{maps } S^1 \to X \text{ up to homotopy} \] \bigskip - \td{plaatje} + \includegraphics{fundamental_group} } \Frame{Important tools}{ @@ -66,7 +67,7 @@ \pi_1(X) &= \text{maps } S^1 \to X \text{ up to homotopy} \\[1em] \pi_2(X) &= \text{maps } S^2 \to X \text{ up to homotopy} \\[1em] \pi_3(X) &= \text{maps } S^3 \to X \text{ up to homotopy} \\[1em] - &\cdots + &\>\>\vdots \end{align*} } @@ -109,7 +110,7 @@ $X$ is \emph{rational} if $\pi_n(X)$ is a $\Q$-vector space \bigskip - \td{plaatje telescoop} + \[ S^1_\Q = \raisebox{-0.55\height}{\includegraphics{infinite_telescope}} \] } @@ -177,8 +178,8 @@ homotopy $$h: X \times I \to Y$$ & homotopy $$h: A \to B \tensor \Lambda(t, dt)$$ \\[1em] - $f: X \to Y$ weak equivalence if $\pi_n(f): \pi_n(X) \iso \pi_n(Y)$ - & $f: A \to B$ weak equivalence if $H(f): H(X) \iso H(Y)$ + weak equivalence $$\pi_n(f): \pi_n(X) \iso \pi_n(Y)$$ + & weak equivalence if $$H(f): H(X) \iso H(Y)$$ } } diff --git a/presentation/images/fundamental_group.pdf b/presentation/images/fundamental_group.pdf new file mode 100644 index 0000000..14fce23 Binary files /dev/null and b/presentation/images/fundamental_group.pdf differ diff --git a/presentation/images/fundamental_group.svg b/presentation/images/fundamental_group.svg new file mode 100644 index 0000000..234f660 --- /dev/null +++ b/presentation/images/fundamental_group.svg @@ -0,0 +1,647 @@ + + + + + + image/svg+xml + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/presentation/images/infinite_telescope.pdf b/presentation/images/infinite_telescope.pdf new file mode 100644 index 0000000..88c3f8b Binary files /dev/null and b/presentation/images/infinite_telescope.pdf differ diff --git a/presentation/images/infinite_telescope.pdf-rect9055-982.png b/presentation/images/infinite_telescope.pdf-rect9055-982.png new file mode 100644 index 0000000..d4fa8d6 Binary files /dev/null and b/presentation/images/infinite_telescope.pdf-rect9055-982.png differ diff --git a/presentation/images/infinite_telescope.svg b/presentation/images/infinite_telescope.svg new file mode 100644 index 0000000..73c1baa --- /dev/null +++ b/presentation/images/infinite_telescope.svg @@ -0,0 +1,313 @@ + + + + + + image/svg+xml + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/presentation/images/spheres.svg b/presentation/images/spheres.svg new file mode 100644 index 0000000..5e273b2 --- /dev/null +++ b/presentation/images/spheres.svg @@ -0,0 +1,99 @@ + + + + + + + + + + image/svg+xml + + + + + + + + + + + + + diff --git a/presentation/images/spheres1.pdf b/presentation/images/spheres1.pdf new file mode 100644 index 0000000..c058fa6 --- /dev/null +++ b/presentation/images/spheres1.pdf @@ -0,0 +1,70 @@ +%PDF-1.5 +% +3 0 obj +<< /Length 4 0 R + /Filter /FlateDecode +>> +stream +xUA +1 E9ſ1mm= bt)."b׷3M!$',u>b> + >> +>> +endobj +5 0 obj +<< /Type /Page + /Parent 1 0 R + /MediaBox [ 0 0 35.656151 35.656151 ] + /Contents 3 0 R + /Group << + /Type /Group + /S /Transparency + /I true + /CS /DeviceRGB + >> + /Resources 2 0 R +>> +endobj +1 0 obj +<< /Type /Pages + /Kids [ 5 0 R ] + /Count 1 +>> +endobj +6 0 obj +<< /Creator (cairo 1.12.16 (http://cairographics.org)) + /Producer (cairo 1.12.16 (http://cairographics.org)) +>> +endobj +7 0 obj +<< /Type /Catalog + /Pages 1 0 R +>> +endobj +xref +0 8 +0000000000 65535 f +0000000553 00000 n +0000000255 00000 n +0000000015 00000 n +0000000233 00000 n +0000000327 00000 n +0000000618 00000 n +0000000747 00000 n +trailer +<< /Size 8 + /Root 7 0 R + /Info 6 0 R +>> +startxref +799 +%%EOF diff --git a/presentation/images/spheres2.pdf b/presentation/images/spheres2.pdf new file mode 100644 index 0000000..78a88be --- /dev/null +++ b/presentation/images/spheres2.pdf @@ -0,0 +1,70 @@ +%PDF-1.5 +% +3 0 obj +<< /Length 4 0 R + /Filter /FlateDecode +>> +stream +xJ1 y1I&}Apquyq!#(,Mw"ChNr݁wx L_ x +pG)[*TK"nP250XJ5Xy >6B? XC<[Ŝ) O=JwWl.WI+SjjTRȼQPOڪv{d +\|uWgٸ]z<4fLK Ŧu 7p +endstream +endobj +4 0 obj + 239 +endobj +2 0 obj +<< + /ExtGState << + /a0 << /CA 1 /ca 1 >> + >> +>> +endobj +5 0 obj +<< /Type /Page + /Parent 1 0 R + /MediaBox [ 0 0 35.656151 35.656151 ] + /Contents 3 0 R + /Group << + /Type /Group + /S /Transparency + /I true + /CS /DeviceRGB + >> + /Resources 2 0 R +>> +endobj +1 0 obj +<< /Type /Pages + /Kids [ 5 0 R ] + /Count 1 +>> +endobj +6 0 obj +<< /Creator (cairo 1.12.16 (http://cairographics.org)) + /Producer (cairo 1.12.16 (http://cairographics.org)) +>> +endobj +7 0 obj +<< /Type /Catalog + /Pages 1 0 R +>> +endobj +xref +0 8 +0000000000 65535 f +0000000651 00000 n +0000000353 00000 n +0000000015 00000 n +0000000331 00000 n +0000000425 00000 n +0000000716 00000 n +0000000845 00000 n +trailer +<< /Size 8 + /Root 7 0 R + /Info 6 0 R +>> +startxref +897 +%%EOF diff --git a/presentation/images/tube.svg b/presentation/images/tube.svg new file mode 100644 index 0000000..b8799e3 --- /dev/null +++ b/presentation/images/tube.svg @@ -0,0 +1,185 @@ + + + + + + image/svg+xml + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/presentation/images/weak_eqs.svg b/presentation/images/weak_eqs.svg new file mode 100644 index 0000000..adc596b --- /dev/null +++ b/presentation/images/weak_eqs.svg @@ -0,0 +1,142 @@ + + + + + + image/svg+xml + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/presentation/images/weak_eqs1.pdf b/presentation/images/weak_eqs1.pdf new file mode 100644 index 0000000..11cc775 --- /dev/null +++ b/presentation/images/weak_eqs1.pdf @@ -0,0 +1,72 @@ +%PDF-1.5 +% +3 0 obj +<< /Length 4 0 R + /Filter /FlateDecode +>> +stream +xuTK1 ر9K ![ސhd݁ +Nt<4:RWV)mrvt +#i)(nKpd6&ؼ0nZGn[ RxV jWuNeԫI1]@:hX +ԴjQfgQWjްgՅ>z6Ms#a|j;{lCٛ(SR/mbK9;D'FR< $3G:t ':oow>}@A=]nSI/ADՅof&6;-`PKKR"nz6ɇyTAaڲVZ[U탵CmZk"Q+P fZ|\4[L)'H K!xӸA_/ZɄ1Ӈ&+ҲaB˃`4v,7t ㏡# !+ +endstream +endobj +4 0 obj + 561 +endobj +2 0 obj +<< + /ExtGState << + /a0 << /CA 1 /ca 1 >> + /a1 << /CA 0.196078 /ca 0.196078 >> + >> +>> +endobj +5 0 obj +<< /Type /Page + /Parent 1 0 R + /MediaBox [ 0 0 268.632507 47.823738 ] + /Contents 3 0 R + /Group << + /Type /Group + /S /Transparency + /I true + /CS /DeviceRGB + >> + /Resources 2 0 R +>> +endobj +1 0 obj +<< /Type /Pages + /Kids [ 5 0 R ] + /Count 1 +>> +endobj +6 0 obj +<< /Creator (cairo 1.12.16 (http://cairographics.org)) + /Producer (cairo 1.12.16 (http://cairographics.org)) +>> +endobj +7 0 obj +<< /Type /Catalog + /Pages 1 0 R +>> +endobj +xref +0 8 +0000000000 65535 f +0000001016 00000 n +0000000675 00000 n +0000000015 00000 n +0000000653 00000 n +0000000789 00000 n +0000001081 00000 n +0000001210 00000 n +trailer +<< /Size 8 + /Root 7 0 R + /Info 6 0 R +>> +startxref +1262 +%%EOF diff --git a/presentation/images/weak_eqs2.pdf b/presentation/images/weak_eqs2.pdf new file mode 100644 index 0000000..03d56a1 Binary files /dev/null and b/presentation/images/weak_eqs2.pdf differ diff --git a/presentation/symbols.tex b/presentation/symbols.tex new file mode 100644 index 0000000..2f94de9 --- /dev/null +++ b/presentation/symbols.tex @@ -0,0 +1,30 @@ +\documentclass[14pt]{beamer} + +\definecolor{todocolor}{rgb}{1, 0.3, 0.2} +\newcommand{\td}[1]{\colorbox{todocolor}{*\footnote{TODO: #1}}} + +\input{preamble} +\usepackage{tabularx} +\renewcommand{\tabularxcolumn}[1]{p{#1}} + +\newcommand{\Frame}[2]{ + \begin{frame}{#1}#2\end{frame} +} + +\title{Rational Homotopy Theory} +\author{Joshua Moerman} +\institute[Radboud Universiteit Nijmegen]{Supervisor: Ieke Moerdijk} +\date{} + +\begin{document} + + +\Frame{}{ + \[ 1 \times \] + \[ 2 \times \] + \[ 3 \times \] + \[ 4 \times \] +} + + +\end{document}