Kurs:Elliptische Kurven (Osnabrück 2021-2022)/Arbeitsblatt 8/latex
\setcounter{section}{8}
\zwischenueberschrift{Aufgaben}
\inputaufgabe
{}
{
Es seien
\mavergleichskette
{\vergleichskette
{ \Gamma_1, \Gamma_2
}
{ \subseteq }{ \R^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {vollständige Gitter}{}{.}
Zeige, dass es eine
$\R$-\definitionsverweis {lineare Abbildung}{}{}
\maabbdisp {} { \R^n} { \R^n
} {}
gibt, die einen
\definitionsverweis {Gruppenisomorphismus}{}{}
\maabbdisp {} {\Gamma_1} { \Gamma_2
} {}
induziert.
}
{} {}
\inputaufgabe
{}
{
Es seien
\mathl{\Gamma_1, \Gamma_2 \subseteq \R^n}{} rationale
\definitionsverweis {vollständige Gitter}{}{.}
Zeige, dass es eine
$\Q$-\definitionsverweis {lineare Abbildung}{}{}
\maabbdisp {} { \Q^n} { \Q^n
} {}
gibt, die einen
\definitionsverweis {Gruppenisomorphismus}{}{}
\maabbdisp {} {\Gamma_1} { \Gamma_2
} {}
induziert.
}
{} {}
\inputaufgabe
{}
{
Es seien
\mavergleichskette
{\vergleichskette
{ \Gamma_1, \Gamma_2
}
{ \subseteq }{ \R^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
rationale
\definitionsverweis {vollständige Gitter}{}{.}
Zeige, dass es ein rationales Gitter
\mavergleichskette
{\vergleichskette
{ \Gamma
}
{ \subseteq }{ \R^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{\Gamma_1, \Gamma_2
}
{ \subseteq }{ \Gamma
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt.
}
{} {}
\inputaufgabe
{}
{
Alle Springmäuse leben in $\Z^2$ und verfügen über zwei Sprünge, nämlich den Sprung
\mathl{\pm (3,4)}{} und den Sprung
\mathl{\pm (5,2)}{.} Wie viele Springmaus-Populationen gibt es? Die Springmäuse Albert, Beate, Erich, Heinz, Sabine und Frida sitzen in den Positionen
\mathdisp {(14,11),\, (13,15),\, (17, 12),\,(15,19 ) ,\, (16,16) \mbox{ und } (12,20)} { . }
Welche Springmäuse können sich begegnen?
}
{} {}
\inputaufgabe
{}
{
Es sei
\mavergleichskette
{\vergleichskette
{\Gamma
}
{ = }{ \langle r+s { \mathrm i} , t+u { \mathrm i} \rangle
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein
\definitionsverweis {Gitter}{}{}
in ${\mathbb C}$ mit
\mavergleichskette
{\vergleichskette
{r,s,t,u
}
{ \in }{\Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ ru-st
}
{ =} {1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Zeige, dass $\Gamma$ das Standardgitter
\mathl{\langle 1, { \mathrm i} \rangle}{} ist.
}
{} {}
\inputaufgabe
{}
{
Zeige, dass die Untergruppe
\mavergleichskettedisp
{\vergleichskette
{\Z + \Z \cdot \sqrt{3}
}
{ \subseteq} {\R
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\definitionsverweis {dicht}{}{}
ist.
}
{} {}
\inputaufgabe
{}
{
Zeige, dass der Einheitskreis
\mavergleichskettedisp
{\vergleichskette
{ S^1_\R
}
{ =} { { \left\{ z \in \R[ { \mathrm i} ] \cong {\mathbb C} \mid \betrag { z } = 1 \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\definitionsverweis {isomorph}{}{}
zu
\mathl{\R/\Z}{} ist.
}
{} {}
\inputaufgabe
{}
{
Charakterisiere die
\definitionsverweis {Restklassengruppe}{}{}
eines
\definitionsverweis {Gitters}{}{}
\mavergleichskette
{\vergleichskette
{ \Gamma
}
{ \subseteq }{ \R^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
{} {}
\inputaufgabe
{}
{
Zeige, dass die
\definitionsverweis {Gruppen}{}{}
\mathl{(\R,+)}{,}
\mathl{(\R \setminus \{0\}, \cdot)}{,}
\mathl{( {\mathbb C} ,+)}{,}
\mathl{( {\mathbb C} \setminus \{0\}, \cdot)}{,}
\mathl{(\R^n,+)}{,}
\mathl{(S^1,\text{ mit der Winkeladdition} )}{,} die
\definitionsverweis {allgemeine lineare Gruppe}{}{}
\mathl{\operatorname{GL}_{ n } \! { \left( \R \right) }}{} bzw.
\mathl{\operatorname{GL}_{ n } \! { \left( {\mathbb C} \right) }}{}
\definitionsverweis {Lie-Gruppen}{}{}
sind.
}
{} {}
\inputaufgabe
{}
{
Betrachte die
\definitionsverweis {Kreislinie}{}{}
$S^1$. Definiere eine \stichwort {differenzierbare Gruppenstruktur} {} auf $S^1$, also ein neutrales Element
\mathl{P \in S^1}{,} eine
\definitionsverweis {differenzierbare Abbildung}{}{}
\maabbeledisp {\alpha} {S^1} {S^1
} {x} { \alpha (x)
} {,}
und eine differenzierbare Abbildung
\maabbeledisp {} {T = S^1 \times S^1} {S^1
} {(x,y)} { \varphi(x,y)
} {,}
derart, dass $S^1$ mit diesen Daten zu einer
\definitionsverweis {kommutativen Gruppe}{}{}
wird.
}
{} {}
\inputaufgabe
{}
{
Betrachte die
\definitionsverweis {allgemeine lineare Gruppe}{}{}
\mavergleichskette
{\vergleichskette
{G
}
{ = }{\operatorname{GL}_{ n } \! { \left( \R \right) }
}
{ \subseteq }{ \R^{n^2}
}
{ }{
}
{ }{
}
}
{}{}{}
als
\definitionsverweis {offene Untermannigfaltigkeit}{}{}
des $\R^{n^2}$. Definiere eine \stichwort {differenzierbare Gruppenstruktur} {} auf $G$, also ein neutrales Element
\mathl{P \in G}{,} eine
\definitionsverweis {differenzierbare Abbildung}{}{}
\maabbeledisp {\alpha} {G} {G
} {x} { \alpha (x)
} {,}
und eine differenzierbare Abbildung
\maabbeledisp {\varphi} {G \times G} {G
} {(x,y)} { \varphi(x,y)
} {,}
derart, dass $G$ mit diesen Daten zu einer
\definitionsverweis {Gruppe}{}{}
wird.
}
{} {}
\inputaufgabe
{}
{
Zeige, dass das \definitionsverweis {Tangentialbündel}{}{} auf einer \definitionsverweis {Lie-Gruppe}{}{} \definitionsverweis {trivial}{}{} ist.
}
{} {Tipp: Zeige, dass man den Tangentialraum am neutralen Element in sinnvoller Weise in die anderen Tangentialräume transportieren kann.}
\inputaufgabe
{}
{
Beschreibe den Torus
\mathl{S^1 \times S^1}{} als
\definitionsverweis {Rotationsmenge}{}{}
im $\R^3$.
}
{} {}
\inputaufgabe
{}
{
Es sei
\mathl{R>0}{} und betrachte die Abbildung
\maabbeledisp {} {\R^3} {\R
} {(x,y,z)} { { \left( \sqrt{x^2+y^2}- R \right) }^2 +z^2
} {.}
Bestimme die
\definitionsverweis {regulären Punkte}{}{}
der Abbildung und die Gestalt der Faser über
\mathl{s \in \R}{.} Wie ändert sich die Gestalt beim Übergang von
\mathl{\sqrt{s} < R}{} zu
\mathl{\sqrt{s} > R}{.}
}
{} {}
\inputaufgabe
{}
{
Definiere die Abbildung
\maabbdisp {} {S^1 \times S^1} { S^2
} {,}
die zu einem Winkelpaar
\mathl{(\alpha, \beta)}{} die erste Komponente als Äquatorpunkt interpretiert und von dort aus mit der zweiten Komponente auf dem Großkreis Richtung Norden wandert. Ist die Abbildung
\definitionsverweis {differenzierbar}{}{?}
Wie sehen die Fasern der Abbildung aus?
}
{} {}
\inputaufgabe
{}
{
Man gebe ein heuristisches Argument, dass die Einheitssphäre
\mathl{S^2}{} und der Torus
\mathl{S^1 \times S^1}{} nicht
\definitionsverweis {homöomorph}{}{}
sind.
}
{} {}
\inputaufgabe
{}
{
Zu welcher
\definitionsverweis {differenzierbaren Mannigfaltigkeit}{}{}
ist
\mathl{S^1 \times S^1 \setminus \triangle}{,} also der Torus ohne die
\definitionsverweis {Diagonale}{}{,}
\definitionsverweis {diffeomorph}{}{?}
}
{} {}
\inputaufgabegibtloesung
{}
{
Es sei $X$ ein
\definitionsverweis {Torus}{}{.}
Man gebe eine surjektive
\definitionsverweis {differenzierbare Abbildung}{}{}
\maabbdisp {\varphi} {\R^2} {X
} {}
derart an, dass auch die
\definitionsverweis {Tangentialabbildung}{}{}
\maabbdisp {T_P(\varphi)} { T_P\R^2 } { T_{\varphi(P)}X
} {}
in jedem Punkt
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ \R^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
surjektiv ist.
}
{} {}
\inputaufgabe
{}
{
Zeige, dass es auf einem \definitionsverweis {Torus}{}{} \definitionsverweis {bijektive}{}{} \definitionsverweis {stetig differenzierbare}{}{} Abbildungen ohne \definitionsverweis {Fixpunkt}{}{} gibt.
}
{} {}
\inputaufgabe
{}
{
Es sei $T$ ein
\definitionsverweis {Torus}{}{.}
Zeige, dass die Vorgabe einer Basis der
\definitionsverweis {Fundamentalgruppe}{}{}
von $T$ im Wesentlichen äquivalent zur Angabe einer
\definitionsverweis {Homöomorphie}{}{}
\mavergleichskette
{\vergleichskette
{ T
}
{ \cong }{ S^1 \times S^1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist.
}
{} {}
\inputaufgabegibtloesung
{}
{
Es seien \mathkor {} {V} {und} {W} {} \definitionsverweis {endlichdimensionale}{}{} \definitionsverweis {reelle Vektorräume}{}{} und sei \maabb {\varphi} {V} {W } {} ein \definitionsverweis {stetiger}{}{} \definitionsverweis {Gruppenhomomorphismus}{}{.} Zeige, dass dann $\varphi$ eine $\R$-\definitionsverweis {lineare Abbildung}{}{} ist.
}
{} {}
Eine
\definitionsverweis {kommutative Gruppe}{}{}
$G$ heißt
\definitionswort {divisibel}{,}
wenn es zu jedem
\mathl{n \in \N_+}{} und jedem
\mavergleichskette
{\vergleichskette
{ g
}
{ \in }{ G
}
{ }{}
{ }{}
{ }{}
}
{}{}{}
ein
\mathl{h\in G}{} mit
\mavergleichskette
{\vergleichskette
{g
}
{ = }{nh
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt.
\inputaufgabe
{}
{
Zeige, dass die Gruppen
\mathl{(\R, +)}{} und
\mathl{(\R_+, \cdot)}{}
\definitionsverweis {divisibel}{}{}
sind. Ist auch
\mathl{( \R^{\times} , \cdot)}{} divisibel?
}
{} {}
\inputaufgabe
{}
{
Es sei $K$ ein \definitionsverweis {Körper}{}{.} Zeige, dass die additive Gruppe $(K,0,+)$ genau dann \definitionsverweis {divisibel}{}{} ist, wenn die \definitionsverweis {Charakteristik}{}{} von $K$ gleich $0$ ist.
}
{} {}
\inputaufgabe
{}
{
Zeige, dass die Gruppe
\mathl{(\Q_+, \cdot)}{} nicht
\definitionsverweis {divisibel}{}{}
ist.
}
{} {}
\inputaufgabe
{}
{
Es sei $K$ ein \definitionsverweis {algebraisch abgeschlossener Körper}{}{.} Zeige, dass die \definitionsverweis {Einheitengruppe}{}{} $K^{\times}$ \definitionsverweis {divisibel}{}{} ist.
}
{} {}
\inputaufgabe
{}
{
Zeige, dass die Kreisgruppe $S^1$ \definitionsverweis {divisibel}{}{} ist.
}
{} {}
\inputaufgabe
{}
{
Zeige, dass ein \definitionsverweis {komplexer Torus}{}{} als kommutative Gruppe \definitionsverweis {divisibel}{}{} ist.
}
{} {}
Zur vorstehenden Aufgabe siehe auch
Aufgabe 14.4.