Let $p : E \rightarrow B$ be a cover s.t. Aut(E) acts transitively on $p^{-1}(b)$ for some fix $b \in B$. Then $E/Aut(E)$ is homeomorphic to $B$ where $Aut(E) \subset Cov(E,E)$. The problem is that I don't even understand how the map E/Aut(E) -> B is defined, would someone please give me this definition? Apparently it is "clear" but I fail to see this.
Cover E -> B gives a homeomorphism E/Aut(E) -> B
2
$\begingroup$
general-topology
-
8$\widetilde{x} \mapsto p(x)$? (Where $\widetilde{x}$ is the class of $x$ in $E/\!\mathrm{Aut}(E)$.) – 2010-09-17
-
0Thank you, I feel ashamed... – 2010-09-23
2 Answers
4
Let's remove this question from the list of unanswered questions by up-voting this community wiki answer stating that Agusti Roig's comment above contains the right answer.
-3
Let's honor Rasmus' creative handling of the software restrictions by downvoting this self-referential community wiki answer.
-
0Funny, for a moment I thought you got this idea from http://mathoverflow.net/questions/39626/is-there-a-general-setting-for-self-reference but apparently that post turned up later. – 2010-09-22