Classification of fiber-preserving branched covers between Seifert fibered integer homology spheres Is there an easy classification (and proof) of the possible branched covers between Seifert fibered integer homology spheres which are fiber-preserving and branched over fibers (or at least what the possible relations between the orders of the singular fibers should be)?
There exist branched covers of the form $f:\Sigma(p_1,\ldots,p_k) \to \Sigma(p_1,\ldots,p_{k-1})$ (branched cover over a regular fiber) or $\Sigma(p_1,\ldots,p_k \cdot n) \to \Sigma(p_1,\ldots,p_k)$ (branched cover over the singular fiber of order $p_k$).  I think that everything should be something like a composition of maps of this form (or at least the Seifert invariants should be related by such moves).  There is a very long and tedious brute force method given by applying the results of Huang (http://www.ams.org/journals/proc/2002-130-08/S0002-9939-02-06306-2/) that seems like it should work, but it also feels like there should be a quick way to prove this fact (or disprove it).
 A: The class of homology sphere Seifert-fibered spaces fiber over 2-orbifolds $S^2(p_1,\ldots,p_k)$, where $\gcd(p_i,p_j)=1, i\neq j$. If one has a fiber-preserving map of one homology sphere to another, then there is a corresponding non-zero degree map between the base orbifolds obtained by quotienting the fibers. 
Suppose that the map has degree $d >1$, so we have a degree $d$ map $\phi: S^2(p_1,\ldots,p_k)\to S^2(q_1,\ldots,q_l)$. I claim then that $l\leq 3$. 
The maps between the underlying topological spaces of the orbifolds must be a branched cover $\varphi: S^2\to S^2$. Associate branching data to this map as follows. Let there be $r$ critical values of $\varphi$ (branch points). Associated to each branch point $y_i$ is branch data $A_i= (e_{i1},\ldots,e_{in_i})$ a partition of $d$, so $e_{i1}+\cdots+e_{in_i}=d$, and $n_i$ is the cardinality of $\varphi^{-1}(y_i)$. First, note that for each singular point of the orbifold $S^2(q_1,\ldots, q_l)$, the underlying point $y$ of $S^2$ must be a branch point, since otherwise $S^2(p_1,\ldots, p_k)$ would have at least $d$ orbifold points with branching multiple of $q_i$ for some $i$, contradicting that it underlies a homology sphere. So we have $l\leq r$, and we may assume that the first $l$ branch points of $\varphi$ correspond to orbifold points. Now, suppose $y_i$ is a branch point corresponding to an orbifold point of order $q_i$. Then the order of the orbifold singularity of the preimage with branch data $e_{ij}$ must be a multiple of $q_i/\gcd(e_{ij},q_i)$. Thus, we have that $\gcd(q_i/\gcd(e_{ij},q_i),q_i/\gcd(e_{im},q_i))=1$ for $1\leq j\leq m\leq n_i$. In particular, for at most one $j$ does $\gcd(e_{ij},q_i)=1$, and if so, all the rest must be multiples of $q_i$. For example, we might have $A_i=(1,q_i,\ldots,q_i)$, where $1+(n_i-1)q_i=d$. In this case, one may check either $q_i=2$ and $n_i\leq (d+1)/2$, or $n_i\leq d/2$.  If there are no preimage branch points of order $1$, then $e_{ij}\geq 2$ for all $j$, and thus $n_i\leq d/2$. We also have from the euler characteristic computation (Hurwitz formula) $\sum_{i,j} (e_{ij}-1) = 2d-2$. Thus, we have $\sum_{i=1}^{l} \sum_{j=1}^{n_i} (e_{ij}-1) \leq 2d-2$. Since $\sum_j e_{ij}=d$, we have $ld-\sum_{i=1}^{l} n_i \leq 2d-2$. But $n_i\leq d/2$, except for one possible branch point which has $q_i=2$ and $n_i\leq (d+1)/2$. Then we get $(l/2-2)d\leq -1$, so $l \leq  3$. So if the degree is $>1$, then one gets stringent requirements on the image orbifold, namely that it has at most 3 branch points. I think some further analysis  of the branch data for $l=3$ should rule out this possibility, except for the sort of example of $S^3\to \Sigma(2,3,5)$.
Otherwise, the map $\phi$ has degree 1. In this case, I think one can show that the map is a composition of the sorts of maps you suggest, since one can only decrease the orders of the orbifold points in a degree one branched cover between 2-orbifolds.   
Addendum: I didn't work through the case $l=3$ completely, but here's a special case that works out cleanly. We have $\frac{1}{q_1}+\frac{1}{q_2}+\frac{1}{q_3}<1$ (the base orbifold can't be spherical or Euclidean). Suppose all of the branch points over these singularities have at least one branch datum of $1$. Then the branch data must look like $(1,k_2q_i,\ldots,k_{n_i}q_i)$, so $d\geq 1+(n_i-1)q_i$, or $n_i\leq 1+\frac{d-1}{q_i}$. By the Riemann-Hurwitz formula, $$d\leq n_1+n_2+n_3-2 \leq 1+ (d-1)(\frac{1}{q_1}+\frac{1}{q_2}+\frac{1}{q_3}) <d,$$
a contradiction. This case must hold, for example, when all the $q_i$ are prime powers. 
The other cases should be even easier, since then the fractions $n_i/d$ should be much smaller, but I haven't gone through the analysis.  
