Intereting Posts

Functional equations leading to sine and cosine
Monotone functions and continuity
Division by $0$
Calculate $1\times 3\times 5\times \cdots \times 2013$ last three digits.
Write the closed interval $$ as the union of semi-intervals.
Maximum area of a rectangle inscribed in a triangle is $1/2$ the area of triangle
Can a continuous surjection from a Hilbert cube to a segment behave bad wrt Lebesgue measures?
Does Pi contain all possible number combinations?
Proof of exchange principle in set theory
Young's inequality without using convexity
can a number of the form $x^2 + 1 $ be a square number?
Resources for learning Elliptic Integrals
Division of Complex Numbers
if $f$ is entire and $|f(z)| \leq 1+|z|^{1/2}$, why must $f$ be constant?
Degree of the extension $\mathbb{Q}(\sqrt{a+\sqrt{b}})$ over $\mathbb{Q}$

We work with a topological space $B$ which is path-connected and locally path-connected.

I have troubles writing down a formal proof for the following proposition:

Prop:Any local coeeficient system $A\hookrightarrow E \to B$ is of the form $$ A \hookrightarrow \tilde{B}\times_{\pi_1B} A \to B $$ i.e. is associated

to the principal $\pi_1B$-bundle given by the universal cover

$\tilde{B}$ of $B$ where the action is given by a homomorphism $\pi_1B \to $Aut$(A)$.

- $S^n \backslash S^m $ homotopy equivalent to $ S^{n-m-1} $
- How to prove the Cone is contractible?
- Is the product of covering maps a covering map?
- Homology Group of Quotient Space
- Does the Euler characteristic of a manifold depend upon the field of coefficients?
- Fundamental group of the special orthogonal group SO(n)

I’m able to show that the natural monodromy action of the fundamental group on $A$ gives a group homomorphism $\pi_1B \to $Aut$(A)$. But I’m not able to show that this implies that $E \cong \tilde{B}\times_{\pi_1B} A $. Can you help me on that?

Note: The author of the book I’m reading says this should be easy to show using a standard covering space argument.

Here are some definitions:

**Def:** A *local coefficient system* is a fiber bundle $p:E\to B$ such that

- The fiber is a discrete abelian group $A$
- The structure group $G$ is a subset of Aut$(A)$

**Def:** Let $p:P\to B$ be a principal $G$-bundle, where $G$ acts on an abelian group $A$. The *Borel contruction* is the quotient

$$ P\times_G A = P\times A \;/ \sim $$

where the equivalence relation $\sim$ is defined by $(p,a) \sim (pg, g^{-1}a) $, for $g\in G$.

The map $q:P\times_G A \to B$ given by $q([p,a]) = p(p)$ gives a fiber bundle with fiber $A$.

- Does there exist a CW complex with prescribed fundamental group and trivial higher homology?
- Quotient space and Retractions
- Calculate $\pi_2(S^2 \vee S^1)$
- Homology of $S^1 \times (S^1 \vee S^1)$
- Why does Van Kampen Theorem fail for the Hawaiian earring space?
- Homology with twisted coefficients of the circle
- Why homology with coefficients?
- how to compute the de Rham cohomology of the punctured plane just by Calculus?
- Fundamental theorem of Algebra using fundamental groups.
- If a covering map has a section, is it a $1$-fold cover?

I think one can proceed as follows :

Let us call $p : E \to B$ the local coeffiscient system, and let $x$ be a point in $B$ Let us also call $\varphi : \pi_B \to \mbox{Aut}(A)$ the holonomy homomorphism. Every choice of a point $a\in p^{-1}(x)$ determines a sub-covering in $E$, so that $a$ and $b$ live in the same sub-covering if and only if they are related by an element of $\pi_1B$. So each of these sub-coverings has fibre $\mbox{Im} (\varphi) \cong \pi_1B/\ker \varphi$, with $\pi_1B$ acting on the global covering as one would expect, so they are all isomorphic (to $\tilde{B}/\ker(\varphi)$).

Furthermore there are obviously $A/\pi_1B$ ($=A/\mbox{Im}(\varphi)$) copies of this bundle in $E$, so that $E\cong \tilde{B}/\ker(\varphi) \times A/\mbox{Im}(\varphi)$.

Now

\begin{align*}\tilde{B}\times_{\pi_1B}A = (\tilde{B}\times A)/\pi_1B &=((\tilde{B}\times A)/\ker(\varphi))/(\pi_1B/\ker(\varphi))\\ &=((\tilde{B}/\ker(\varphi))\times A)/(\pi_1B/\ker(\varphi))\end{align*} because the action of $\ker(\varphi)$ on $A$ is trivial (by definition). For the last step, choose a $y\in p^{-1}(x)$, and define the following map :

$$

((\tilde{B}/\ker(\varphi))\times A)/(\pi_1B/\ker(\varphi)) \to \tilde{B}/\ker(\varphi) \times A/\mbox{Im}(\varphi) \\

[([z],a)] \mapsto ([\tilde{z}],[a])

$$

where $[ – ]$ stands for `class of $-$’ and $\tilde{z}$ denotes any element of the $\pi_1G$-orbit of $z$ that is on the same sub-bundle as $y$. The $\tilde{z}$ are all related by an element of $\ker(\varphi)$, so this map is well defined, one can compute an inverse, so it is bijective, and one can check that it is a fibre bundle morphism.

I hope this helped, and wasn’t too messy.

- Inclusionâ€“exclusion principle
- Prove that distinct Fermat Numbers are relatively prime
- When is differentiating an equation valid?
- Prove that every element of a finite group has an order
- Partial Fractions with a Repeated and a Irreducible Quadratic factor
- Inequalities involving the probability density function and variance
- Proving an asymptotic lower bound for the integral $\int_{0}^{\infty} \exp\left( – \frac{x^2}{2y^{2r}} – \frac{y^2}{2}\right) \frac{dy}{y^s}$
- Groups where all elements are order 3
- Bases having countable subfamilies which are bases in second countable space
- Possible all-Pentagon Polyhedra
- Weak topology on an infinite-dimensional normed vector space is not metrizable
- Does this inequality hold true, in general?
- Suppose an entire function $f$ is real if and only if $z$ is real. Prove that $f$ has at most $1$ zero.
- Decoding and correcting $(1,0,0,1,0,0,1)$ Hamming$ (7,4)$ code
- How to define $x^a$ for arbitrary real numbers $x$ and $a$