\documentclass[a4paper,12pt]{article}
%%%%%%%%%%
% Deutsch
%%%%%%%%%%
\usepackage{ngerman}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
%\usepackage[latin1]{inputenc}
\usepackage[T1]{fontenc}


%\usepackage{mathrsfs}
%%%
\usepackage{latexsym,amssymb,amsmath}
%\usepackage{mltex}
\usepackage{graphicx}
\usepackage{hyperref}
%\usepackage{amstext}
\usepackage[english]{babel}
\usepackage[matrix,arrow]{xy}
\usepackage{enumerate}
\parindent0mm

\frenchspacing
%\vfuzz=2pt \hfuzz=2pt
\def \be{\begin{eqnarray*}}
\def \ee{\end{eqnarray*}}
\def \ben{\begin{enumerate}[{\rm (a)}]}
\def \een{\end{enumerate}}
\def \beit{\begin{itemize}}
\def \eeit{\end{itemize}}
\def \bui#1#2{\mathrel{\mathop{\kern 0pt#1}\limits^{#2}}}
%\[\bui{\rightarrow}{b}\]
\def \buil#1#2{\mathrel{\mathop{\kern 0pt#1}\limits_{#2}}}
\def \bfll{\begin{flushleft}}
\def \efll{\end{flushleft}}
\def \bflr{\begin{flushright}}
\def \eflr{\end{flushright}}
\def \ligne{\noindent \rule{\textwidth}{0.5mm} \\}
\def \findemo{\hfill$\square$\\}
\def \fintdemo{\hfill$\surd$\\}
\def \grad{\mathop{\mathrm{grad}}}
\def \diam{\mathop{\mathrm{diam}}}
\def \ker{\mathop{\mathrm{ker}}}
\def \im{\mathop{\mathrm{im}}}
\def \injrad{\mathop{\mathrm{injrad}}}
\def \lra{\longrightarrow}
\def \lmt{\longmapsto}
\def \ovl{\overline}
\def \udl{\underline}
\def \wih{\widehat}
\def \wit{\widetilde}
\def \wnabla{\wit{\nabla}}
\def \cdotM{\buil{\cdot}{M}}
\def \diag{\mathrm{diag}}
\def \Id{\mathrm{Id}}
\def \Q{\mathrm{Q}}
\def \ric{\mathrm{ric}}
\def \SO{\mathrm{SO}}
\def \so{\mathfrak{so}}
\def \Spin{\mathrm{Spin}}
\def \SU{\mathrm{SU}}
\def \su{\mathfrak{su}}
\def \Sym{\mathrm{Sym}}
\def \tr{\mathrm{tr}}
\def \T{\mathrm{T}}
\def \lala{\langle\!\langle}
\def \rara{\rangle\!\rangle}

\def\End{\mathop\mathrm{End}}

\def\cC{\mathcal{C}}
\def\cF{\mathcal{F}}
\def\cK{\mathcal{K}}
\def\cS{\mathcal{S}}

\def\mR{\mathbb{R}}
\def\mC{\mathbb{C}}
\def\mZ{\mathbb{Z}}
\def\mN{\mathbb{N}}

\let\R\mR
\let\C\mC
\let\ol\overline


\newcommand{\lquot}[2]{\raisebox{-0.5ex}{$#2$}\backslash\!\raisebox{0.5ex}{$#1$}}
\newcommand{\rquot}[2]{\raisebox{0.5ex}{$#1$}\!/\!\raisebox{-0.5ex}{$#2$}}
\newcommand{\pa}[1]{\left(#1\right)}
%\pa{argument}
\newcommand{\page}[1]{\ind \begin{minipage}[t]{15cm} #1 \end{minipage}}
\newcommand{\la}{\langle}
\newcommand{\ra}{\rangle}
\newcommand{\mnote}[1]{\marginpar{\tiny\em #1}}

\newtheorem{ethm}{Theorem}[section]
\newtheorem{edefi}[ethm]{Def\mbox{}inition}
\newtheorem{elemme}[ethm]{Lemma}
\newtheorem{erem}[ethm]{Note}
\newtheorem{erems}[ethm]{Notes}
\newtheorem{ecor}[ethm]{Corollary}
\newtheorem{prop}[ethm]{Proposition}
\newtheorem{eexemple}[ethm]{Example}
\newtheorem{eexemples}[ethm]{Examples}
\setlength{\textheight}{247mm}
%\setlength{\oddsidemargin}{-20mm}
%\setlength{\evensidemargin}{-20mm} \setlength{\textwidth}{200mm}
\setlength{\topmargin}{-1.5cm}

\let\al\alpha
\let\de\delta
\let\ep\epsilon
\let\ga\gamma
\let\la\lambda
\let\si\sigma

\def \Id{\mathrm{Id}}
\def \Q{\mathrm{Q}}
\def \SO{\mathrm{SO}}
\def \so{\mathfrak{so}}
\def \Spin{\mathrm{Spin}}
\def \SU{\mathrm{SU}}
\def \su{\mathfrak{su}}
\def \Sym{\mathrm{Sym}}
\def \tr{\mathrm{tr}}
\def \T{\mathrm{T}}

\def\RP{\mR\mathrm P}

\let\<\langle
\let\>\rangle
\def\lala{\langle\!\langle}
\def\rara{\rangle\!\rangle}

\let\witi\widetilde
\let\ti\tilde
\let\na\nabla
\let\pa\partial
\let\setminus\smallsetminus

\def \bui#1#2{\mathrel{\mathop{\kern 0pt#1}\limits^{#2}}}
%\[\bui{\rightarrow}{b}\]
\def \buil#1#2{\mathrel{\mathop{\kern 0pt#1}\limits_{#2}}}
\def\ROR#1{\mathop{Or}\nolimits_R(#1)}



\begin{document}
\pagestyle{empty}
Universit\"at Regensburg, Mathematik\hfill SS 2011\\
Prof. Dr. Bernd Ammann\hfill 14.7.2011\\
Dr. Nicolas Ginoux\\

\begin{center}
{\bf Topologie II \\
  10. \"Ubungsblatt} $ $\\
\end{center}



{\bf Aufgabe 1}\\
Sei $V$ ein $2k$-dimensionaler reeller Vektorraum ($k\geq 1$) und $B:V\times V\lra\R$ eine regul\"are symmetrische Bilinearform auf $V$.
Angenommen, ein $k$-di\-men\-sio\-na\-ler Unterraum $W\subset V$ existiere mit $B_{|_{W\times W}}=0$.
Zeigen Sie, dass dann eine Basis von $V$ so existiert, dass die Matrix von $B$ in dieser Basis die Gestalt 
$\left(\begin{array}{cc} 1\!{\rm I}_k&0\\0&-1\!{\rm I}_k\end{array}\right)$ hat.\\

{\bf Aufgabe 2}\\
Sei $M$ eine $2k$-dimensionale kompakte orientierbare topologische Mannigfaltigkeit, wobei $k\geq 1$.
Zeigen Sie: ist $H_{k-1}(M;\mathbb{Z})$ torsionsfrei, so ist $H_{k}(M;\mathbb{Z})$ ebenfalls torsionsfrei.\\




{\bf Aufgabe 3}\\
Ziel der Aufgabe ist es, die Ringstruktur von $H^\bullet(\C\mathrm{P}^n;\mathbb{Z})$ mit Hilfe der Schnitt\-form zu bestimmen.
\ben\item  Bestimmen Sie die $\mathbb{Z}$-Kohomologiemoduln $H^q(\C\mathrm{P}^n;\mathbb{Z})$ f\"ur alle $q\in\mathbb{Z}$.
Dazu zeigen Sie, dass die Inklusion $\C\mathrm{P}^{n-1}\bui{\hookrightarrow}{\iota}\C\mathrm{P}^n$ einen $\mathbb{Z}$-Mo\-dul\-iso\-mor\-phis\-mus $H^q(\C\mathrm{P}^n;\mathbb{Z})\bui{\lra}{H^q(\iota)}H^q(\C\mathrm{P}^{n-1};\mathbb{Z})$ induziert f\"ur alle $q\neq 2n-2$.\\
{\sl (Hinweis: wenden Sie das universelle Koeffiziententheorem an.)}
\item Sei $\alpha_1$ ein Erzeuger von $H^2(\C\mathrm{P}^2;\mathbb{Z})$.
Zeigen Sie mit Hilfe der Regularit\"at der Schnittform, dass $\alpha_1\cup\alpha_1$ ein Erzeuger von $H^4(\C\mathrm{P}^2;\mathbb{Z})$ ist.
Weisen Sie damit nach, dass $H^\bullet(\C\mathrm{P}^2;\mathbb{Z})$ als Ring zu $\rquot{\mathbb{Z}[\alpha_1]}{\left(\alpha_1^3\right)}$ isomorph ist.
\item Zeigen Sie durch Induktion \"uber $n$, dass $H^\bullet(\C\mathrm{P}^n;\mathbb{Z})$ zu $\rquot{\mathbb{Z}[\alpha]}{\left(\alpha^{n+1}\right)}$ isomorph ist.
\een


\newpage
{\bf Aufgabe 4}\\
Sei $R$ ein kommutativer Ring mit Eins und $n\in\mathbb{N}$ beliebig.
\ben\item Bestimmen Sie einen (m\"oglichst expliziten) Erzeuger $\alpha$ von $H^1(\R|0;R)$.
Von hier aus bezeichne $\wit{\alpha}\in H^1(\R^n|\R^{n-1}\setminus\{0\};R)$ ``das'' durch Homotopie\"aquivalenz bestimmte Urbild von $\alpha$.
\item Man akzeptiere folgende Konstruktion ohne Begr\"undung: sind $A,B$ offene Teilmengen eines topologischen Raumes $X$, so kann das Cap-Produkt $H_{p+q}(X,A\cup B;R)\times H^q(X,A;R)\bui{\lra}{\cap}H_p(X,B;R)$ definiert werden (f\"ur alle $p,q$) und ist $R$-bilinear.
Zeigen Sie, dass das Cap-Produkt mit $\wit{\alpha}$ einen $R$-Mo\-dul\-iso\-mor\-phis\-mus $H_n(\R^n|0;R)\lra H_{n-1}(\R^{n-1}|0;R)$ liefert.
\item Sei $U$ eine offene Teilmenge von $\R^n$ mit $0\in U$.
Zeigen Sie die Existenz eines $R$-Mo\-dul\-iso\-mor\-phis\-mus $H_n(U|0;R)\lra H_{n-1}(U\cap(\R^{n-1}\times\{0\})|0;R)$.
\item Sei $V$ eine $n$-dimensionale topologische Mannigfaltigkeit mit Rand.
Leiten Sie aus den obigen Teilaufgaben her, dass jede Orientierung auf $V\setminus\partial V$ eine Orientierung auf $\partial V$ induziert.
\een

\vskip1cm
{\sl Abgabe der L\"osungen:
\textbf{Donnerstag 21.7.2011} vor der Vorlesung}.\\



\end{document}