%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% a1poster Portrait Poster
% LaTeX Template
% Version 1.0 (22/06/13)
%
% The a0poster class was created by:
% Gerlinde Kettl and Matthias Weiser (tex@kettl.de)
%
% This template has been downloaded from:
% http://www.LaTeXTemplates.com
%
% License:
% CC BY-NC-SA 3.0 (http://creativecommons.org/licenses/by-nc-sa/3.0/)
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%----------------------------------------------------------------------------------------
% PACKAGES AND OTHER DOCUMENT CONFIGURATIONS
%----------------------------------------------------------------------------------------
\pdfoutput=1
\documentclass[a0,portrait]{a0poster}
\usepackage{multicol} % This is so we can have multiple columns of text side-by-side
\columnsep=20pt % This is the amount of white space between the columns in the poster
\columnseprule=1pt % This is the thickness of the black line between the columns in the poster
\usepackage[svgnames]{xcolor} % Specify colors by their 'svgnames', for a full list of all colors available see here: http://www.latextemplates.com/svgnames-colors
\usepackage{times} % Use the times font
%\usepackage{palatino} % Uncomment to use the Palatino font
\usepackage{graphicx} % Required for including images
\graphicspath{{figures/}} % Location of the graphics files
\usepackage{booktabs} % Top and bottom rules for table
\usepackage[font=small,labelfont=bf]{caption} % Required for specifying captions to tables and figures
\usepackage{amsfonts, amsmath, amsthm, amssymb} % For math fonts, symbols and environments
\usepackage{wrapfig} % Allows wrapping text around tables and figures
\usepackage{framed,color}
\usepackage{vwcol}
\definecolor{shadecolor}{rgb}{1,0.8,0.3}
\usepackage{mdframed}%Allows text boxes and text background
\usepackage{pagecolor}%Allows a change of background colour
\usepackage{xcolor}%extends the range of specified colours
\usepackage{float}
\begin{document}
\definecolor{Charcoal}{rgb}{0.21, 0.27, 0.31}%defines more colours
\definecolor{deeppeach}{rgb}{1.0, 0.8, 0.64}
\definecolor{LemonChiffon}{rgb}{1.0, 0.98, 0.8}
\definecolor{lightmauve}{rgb}{0.86, 0.82, 1.0}
\definecolor{nadeshikopink}{rgb}{0.96, 0.68, 0.78}
\pagecolor{Gainsboro}
%----------------------------------------------------------------------------------------
% POSTER HEADER
%----------------------------------------------------------------------------------------
% The header is divided into two boxes:
% The first is 75% wide and houses the title, subtitle, names, university/organization and contact information
% The second is 25% wide and houses a logo for your university/organization or a photo of you
% The widths of these boxes can be easily edited to accommodate your content as you see fit
\begin{mdframed}[backgroundcolor=white,roundcorner=4pt,shadow=true,linewidth=1pt]
\begin{minipage}[b]{1.25 \linewidth}
\begin{multicols}{2}%creates two columns
\
\color{Navy} %makes text navy
\Huge
\textbf{Embeddings \& Immersions of Manifolds: \\Whitney-Stiefel classes $\&$ Smale's Theorem} \\ % Title \textbf creates bold
\huge {Hayley Wragg}\\[0.5cm] % Author(s)
\huge University of Sussex\\[0.4cm] % University/organization
\Large \texttt{hw236@sussex.ac.uk} %Email %large changes text size, \texttt changes font
\includegraphics[width=20cm]{logo-university-of-sussex}\\
\end{multicols}
\end{minipage}
\end{mdframed}
\vspace{0.5cm} % A bit of extra whitespace between the header and poster content
%----------------------------------------------------------------------------------------
% INTRODUCTION
%----------------------------------------------------------------------------------------
\begin{mdframed}[backgroundcolor=white,roundcorner=4pt,shadow=true,linewidth=1pt]
\color{Navy} % Navy color for the introduction
\section*{Introduction}
Differential Topology is the study of smooth manifolds and their differentiable structures. In this project I will present some of the most oustanding and surprising results obtained in the field over the last fifty years mostly on the problem of embedding and immersions of manifolds. In order to do so I will introduce some technical device including vector bundles and Stiffel-Whitney (Chern-Pontryagin) classes that serve as key ingredients in formulating necessary and sufficient conditions for such immersions to exist. As a remarakble consequence I will present the extraordinarily surprising theorem of Steven Smale (1954) on eversion of spheres in three space which astounded the mathematical community for decades!
\end{mdframed}
\vspace{0.5cm}
%----------------------------------------------------------------------------------------
\begin{multicols}{3} % This is how many columns your poster will be broken into, a portrait poster is generally split into 3 columns
%----------------------------------------------------------------------------------------
% Topic 1
%------------------------------------------------
\begin{mdframed}[backgroundcolor=white,roundcorner=4pt,shadow=true,linewidth=1pt]%creates a box with shadow around the text
\color{Maroon} %makes the text of topic 1 Maroon
\section*{Classification of Surfaces, Genus \& Euler Characteristic}
Let us start by looking at {\it surfaces}, that is, $2$-dimensional smooth closed manifolds. Then by a classical result in topology each such surface is diffeomorphic to a sphere with $g$ handles attached to it. The number $g$ here is a topological invariant and is called the {\it genus} of the surface. A related and equally useful notion is that of Euler characteristic $\chi$ defined as $\chi=2-2g$. So the sphere ($g=0$) has $\chi=2$ and the torus ($g=1$) has $\chi=0$ and all other surfaces have negative $\chi$.
\includegraphics[width=0.12\linewidth]{Sphere}
\includegraphics[width=0.18\linewidth]{torus}
\includegraphics[width=0.18\linewidth]{double_torus}
\includegraphics[width=0.2\linewidth]{triple_torus}
\includegraphics[width=0.2\linewidth]{genus_4}
g=0\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:g=1\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:g=2\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:g=3\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:g=4
\end{mdframed}
%$allowws maths text to be used \: creates spaces. & has a command so \& prints the & symbol
%----------------------------------------------------------------------------------------
%----------------------------------------------------------------------------------------
% Topic 2
%------------------------------------------------
\begin{mdframed}[backgroundcolor=white,roundcorner=4pt,shadow=true,linewidth=1pt]
\color{Navy} % Navy color for topic 2
\section*{Embeddings and Immersions of Manifolds }
An immersion is a mapping of one smooth manifold into another whose differential satisfies a certain non-degeneracy condition. An embedding is an immersion which is additionally injective. This can be easily seen in the case of the circle in the plane. Any smooth closed curve in the plane is an immersion of the circle where as the only embeddings of the circle are smooth Jordan curves! One of the fundamental problems in differential topology is to characterise, for a given pair of manifolds, all possible classes of immersion of one manifold into the other. An indespensible tool for doing this are the so-called "Characteristic classes" described below.
\end{mdframed}
%-----------------------------------------------
%----------------------------------------------------------------------------------------
% Topic 3
%------------------------------------------------
\begin{mdframed}[backgroundcolor=white,roundcorner=4pt,shadow=true,linewidth=1pt]
%creates a black box around everything between beginning and end with a shadow and a white background
\color{Maroon} % Maroon color for topic 3
\subsection*{Some Classes of $n$-Manifolds}
For the sake of clarity here we list some important classes of manifolds that frequently occur in the theory:
\begin{enumerate}
\item Sphere ${\mathbb S}^n$.
\item Projective spaces: \\
$(a)$ Real ${\mathbb P}_n({\mathbb R})$, $(b)$ Complex ${\mathbb P}_n({\mathbb C})$, $(c)$ Quaternionic ${\mathbb P}_n({\mathbb H})$.
\item Grassmann and Stiefel manifolds $G_{n,k}, V_{n,k}$.
\item Orthogonal and Special Orthogonal Groups ${\bf O}(n), {\bf SO}(n)$.
\item Unitary and Special Unitary Groups ${\bf U}(n), {\bf SU}(n)$.
\end{enumerate}
\end{mdframed}%ends the box
%----------------------------------------------------------------------------------------
% Topic 4
%------------------------------------------------
%------------------------------------------------
\begin{mdframed}[backgroundcolor=white,roundcorner=4pt,shadow=true,linewidth=1pt]
\color{Navy} % Maroon color for topic 5
\section*{Vector Bundles}
A vector bundle over a manifold is an assignment of a vector spaces (real or complex) to each point of the manifold. Whilst locally the structure of a vector bundle is dictated by the structure of the vector space the picture is completely different globally. The study of vector bundles over a manifolds says a lot about the topology and immersions of the manifold.
We proceed by first presenting the precise definition leaving the discussion and some prominent exmaples of vector bundles to the next section. A real vector bundle $\xi$ over a base space B consists of the following:
\begin{enumerate}
\item A topological space E=E($\xi$) reffered to as the total space.
\item A projection map $\pi$:E$\rightarrow$B .
\item the structure of a vector space $\forall$ b$\in$B over the real numbers in the set $\pi^{-1}(b)$.
\end{enumerate}
Note that it is the last condition above that describes the local structure of a bundle as that of its corresponding vector space.
\end{mdframed}
%----------------------------------------------------------------------------------------
% Topic 5
%---------------------------------------------------------------------------------------
%------------------------------------------------
\begin{mdframed}[backgroundcolor=white,roundcorner=4pt,shadow=true,linewidth=1pt]
\color{Maroon} %Navy color for topic 6
\subsection*{The Tangent Bundle}
The \textit{Tangent bundle} $\tau_M$ of a manifold $M$ is a vector bundle in which the total space $DM$ is formed of the pairs $(x,v)$ with $x\in M$ and $v$ in the tangent space to $M$ at $x$. The projection map $\pi:DM\rightarrow M$ such that $\pi (x,v)=x$ and the vector space structure $\pi^{-1}(x)$ defined by $t_1(x,v_1)+t_2(x,v_2)=(x,t_1v_1+t_2v_2)$
\end{mdframed}
\begin{mdframed}[backgroundcolor=white,roundcorner=4pt,shadow=true,linewidth=1pt]
\color{Navy}
\subsection*{The Normal Bundle}
The \textit{Normal bundle} $\nu$ of a manifold $M\subset \mathbb{R}^n$ is the vector bundle where the total space $E\subset Mx \mathbb{R}^n$ is formed of the pairs $(x,v)$ where $v$ is orthogonal to the tangent space of $M$ at $x$. The projection map $\pi:E\rightarrow M$. The vector space structore in $\pi^{-1}(x)$ defined by $t_1(x,v_1)+t_2(x,v_2)=(x,t_1v_1+t_2v_2)$
\end{mdframed}
%----------------------------------------------------------------------------------------
% Topic 6
\begin{mdframed}[backgroundcolor=white,roundcorner=4pt,shadow=true,linewidth=1pt]
\color{Navy} % Navy color for topic 4
\section*{Whitney-Stiefel Characteristic Classes}
In general a Characteristic class is a cohomology class associated to a vector bundle attached to a topological space. What concerns us most in this research, and the problem of immerssions of manifolds, are primarily the {\it Stiefel-Whitney} and the {\it Chern-Pontryagin} classes. To put this into context we present the following fundamental existence result on the Stiefel-Whitney class: There is a cohomology class $w_i(\xi)$ on each vector bundle $\xi$ of a manifold where
$w_{i}(\xi)\in H^{i}(B(\xi);\mathbb{Z}/2),i=0,1,2,...,$
$H^{i}(B\xi);\mathbb{Z}/2)$ is the $i^{th}$ singular cohomology groups of B with coefficients in $\mathbb{z}/2$
$w_{i}(\xi)$ is the Stiefel-Whitney class of $\xi\:$
$w_{i}(\xi)$\:satisfies the following
\begin{enumerate}
\item
If a bundle map covers f:B($\xi)\rightarrow B(\eta)$ then $:w_{i}(\xi)=f^{*}(w_{i}(\eta)).
$
\item If $\xi$ and $\eta$ are vector bundles over the same base space, then
$
w_k(\xi+\eta)=\sum\limits_{i=0}^k w_i(\xi)\cup w_{k-i}(\eta).
$
\end{enumerate}
\noindent One can think of these Characteristic classes as obstruction cocyles asscociated with the extendibility of maps from the manifolds and its corresponding vector bundle to the Stiefel manifold $V_{n,k}$.In what follows we show how this device can be used to solve the eversion problem for the $2$-sphere ${\mathbb S}^2 \subset {\mathbb R}^3$.
\end{mdframed}
%------------------------------------------------------------------------------------
% Topic 7
%-------------------------------------------------------------------------------------
\begin{mdframed}[backgroundcolor=white,roundcorner=4pt,shadow=true,linewidth=1pt]
\color{Maroon} % sienna color for the introduction
\section*{The $n$-Sphere Inversion Problem}
Take a circle, try to invert it inside out without leaving the plane. This challenging task turns out to be impossible! For many years it was believed that the same is true for the 2-sphere. However much to the surprise of the mathematical world, Steven Smale, using tools from differential topology proved that it is possible to invert a 2-Sphere inside out in the 3-space. Technically speaking this means that there exists a homotopy within the class of immersions of the 2-Sphere in $\mathbb{R}^3$, starting from the identity and terminating at the antipodal map.
\\ %\subsection*{Smale's Theorem}
\noindent Using similar techniques Smale managed to give a complete proof of the Poincar$\acute{e}$ conjecture in dimensions $n \ge 5$. More precisely: If $M^n$ is a differentiable homotopy sphere of dimension $n\ge 5$, then $M^n$ is homeomorphic to $S^n$. In fact, $M^n$ is diffeomorphic to a manifold obtained by gluing together the boundaries of two closed n-balls under a suitable diffeomorphism.
\end{mdframed}
\begin{mdframed}[backgroundcolor=white,roundcorner=4pt,shadow=true,linewidth=1pt]
\color{Navy}
\subsection*{Method}
\begin{minipage}[c]{0.4\linewidth}
\includegraphics[width=0.6\linewidth]{poster_1}\\
\includegraphics[width=0.6\linewidth]{poster_2}\\
\includegraphics[width=0.6\linewidth]{poster_3}\\
\includegraphics[width=0.6\linewidth]{poster_4}\\
\end{minipage}
\begin{minipage}[c]{0.575\linewidth}
Consider a Sphere which can be bent, and stretched, and pass through itself. But we can not make tight creases.
\\
\\
We can not simply pass the sphere through itself since this creates a tight crease.
\\
Now imagine the Sphere is made up of a series of circles which we give a wavy boundary.
\\
We can then stretch this circle to create most of our sphere then use a dome at the top and bottom to show the poles.
\end{minipage}
\end{mdframed}
\begin{mdframed}[backgroundcolor=white,roundcorner=4pt,shadow=true,linewidth=1pt]
\color{Navy}
\begin{minipage}[c]{0.4\linewidth}
\includegraphics[width=0.6\linewidth]{poster_5}\\
\includegraphics[width=0.6\linewidth]{poster_6}\\
\includegraphics[width=0.6\linewidth]{poster_7}\\
\includegraphics[width=0.6\linewidth]{poster_8}\\
\end{minipage}
\begin{minipage}[c]{0.575\linewidth}
We represent one of these waves with a guide, with the poles at the top and bottom, we now want to turn this guide inside out.\\
\\ \\ To start we pass the poles through each other, but not far enough to form a crease from the loop.\\
\\ Then rotate the poles once in opposite directions.\\
\\
This untwists the loop and our guide has been turned inside out.
\end{minipage}
\end{mdframed}
\begin{mdframed}[backgroundcolor=white,roundcorner=4pt,shadow=true,linewidth=1pt]
\color{Navy}
\begin{minipage}[c]{0.3\linewidth}
\includegraphics[width=0.8\linewidth]{poster_9}\\
\includegraphics[width=0.8\linewidth]{poster_10}\\
\includegraphics[width=0.8\linewidth]{poster_11}\\
\includegraphics[width=0.8\linewidth]{poster_12}\\
\end{minipage}
\begin{minipage}[c]{0.37\linewidth}
Now consider the same process with multiple guides.
\\
\\ Since the surface can pass through itself, each guide can be turned inside out at the same time.
\\ \\ We then have that the entire Sphere has been turned inside out without making any holes or tight creases.
\end{minipage}
\begin{minipage}[c]{0.27\linewidth}
\includegraphics[width=0.8\linewidth]{poster_13}\\
\includegraphics[width=0.8\linewidth]{poster_14}\\
\includegraphics[width=0.8\linewidth]{poster_15}\\
\end{minipage}
\end{mdframed}
\vspace{1cm}
%------------------------------------------------------------------------------------
% Topic 8
%------------------------------------------------------------------------------------
\begin{mdframed}[backgroundcolor=white,roundcorner=4pt,shadow=true,linewidth=1pt]
\color{Maroon}
\section*{Poincar$\boldmath \acute{e}$-Hopf Theorem}
Let $X$ be a smooth vector field on a compact manifold $M^n$. If $X$ has only isolated zeros then, Index(X)=$\chi(M^n)$. Here
\begin{equation}
\chi(M^n)=\sum_{i=0}^n (-1)^i \beta_i(M),
\end{equation}
where $\beta_i$ is the i-th Betti number on $M^n$: $\beta_i=dim_{\mathbb{R}}H^i(M^n)$. As $\chi(M^n)$ is a topological invariant of $M^n$ then so is the index of $X$!
\end{mdframed}
\vspace{1cm}
%----------------------------------------------------------------------------------------
% CONCLUSION
%----------------------------------------------------------------------------------------
\begin{mdframed}[backgroundcolor=white,roundcorner=4pt,shadow=true,linewidth=1pt]
\color{Navy} % Maroon color for the conclusion
\section*{Existence of an immersion}
According to Whitneys embedding theorem every smooth manifold $M^n$ embedds smoothly in ${\mathbb R}^{2n}$ and immerses smoothly into ${\mathbb R}^{2n-1}$. The device of characterstic classes and the vanishing of the corresponding cohomology co-cyles dictates whether one can reduce the dimensions further in the target Euclidean space (e.g., if $w_i(M^m)\neq 0, i<k$ Then M can not be immersed in $\mathbb{R}^{m+k}$).
\end{mdframed}
\vspace{1cm}
\begin{mdframed}[backgroundcolor=white,roundcorner=4pt,shadow=true,linewidth=1pt]
\color{Maroon}
\subsubsection*{Examples and results}
\begin{enumerate}
\item If $M^n$ is parallelisable then it can be immersed in ${\mathbb R}^{n+1}$.
\item Every closed $3$-manifold can be immersed in ${\mathbb R}^4$.
\item If $n \equiv 1 (4)$ then $M^n$ can be immersed in ${\mathbb R}^{2n-2}$.
\item ${\mathbb P}_n({\mathbb R})$ can {\it not} be immersed in ${\mathbb R}^{2n-2}$ with $n=2^s$.
\item ${\mathbb P}_2({\mathbb R})$ can {\it not} be embedded in ${\mathbb R}^3$ but can in ${\mathbb R}^4$.
\end{enumerate}
(Note that a manifold is said to be parallelisable {\it iff} its tangent bundle is trivial. As an example the only parallelisable spheres are ${\mathbb S}^1$, ${\mathbb S}^3$ and ${\mathbb S}^7$ and no more!)
\end{mdframed}
\vspace{0.5cm}
%----------------------------------------------------------------------------------------
% REFERENCES
%----------------------------------------------------------------------------------------
\begin{mdframed}[backgroundcolor=white,roundcorner=4pt,shadow=true,linewidth=1pt]
\color{Maroon} % Navy color for the introduction
\section*{References}
\begin{enumerate}
\item J. Milnor, J. Stasheff,
\textit{Characteristic Classes}, Princeton University Press, 1974.
\item J. Lee,
\textit{Introduction to Smooth Manifolds}, Springer, 1950.
\item M. Adachi,
\textit{Embeddings and Immersions},AMS, 1993.
\item M. Hirsch,
\textit{Differential Topology}, Springer, 1980.
\item G.Bredon,
\textit{Topology and Geometry}, Spinger, 1997.
\item J. Rotman, \textit{Introduction to Algebraic Topology}, Springer, 1988.
\item J. Ratcliffe, \textit{Foundations of Hyperbolic Manifolds}, Springer, 2006.
\item I. Madsen, J. Tornehave, \textit{From calculus to Cohomology}, Cambridge University Press, 1998.
\end{enumerate}
%----------------------------------------------------------------------------------------
% ACKNOWLEDGEMENTS
%----------------------------------------------------------------------------------------
\section*{Acknowledgements}
Ali Taheri, Miroslav Chlebnik, Stuart Day, Charles Morris, Abimbola Abolarinwa.
\end{mdframed}
%----------------------------------------------------------------------------------------
\end{multicols}
\end{document}
