Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [branched-covers]

The tag has no usage guidance.

4
votes
1answer
123 views

Pre-images of Seifert surfaces are incompressible?

Consider a knot $K \subset S^3$ and let $M_K$ be the associated double branched cover. The pre-image $S$ of a Seifert surface is a surface without boundary inside $M_K$. Can $S$ be incompressible? If ...
4
votes
1answer
206 views

moduli stack of double covers of $\mathbb{P}^1$ with one marked point

I am trying to improve my moderate knowledge of moduli spaces/stacks by examining the moduli stack of stable double covers of $\mathbb{P}^1$ with one marked point. My idea is to ignore the stack ...
4
votes
1answer
357 views

Monodromy representation of elementary simple covers

Let $X$, $Y$ be smooth, connected, compact manifolds (for instance, projective varieties) and $f \colon X \longrightarrow Y$ be a finite, branched cover of degree $n$, with branch locus $B \subset Y$. ...
3
votes
1answer
181 views

Constructing ramified covers with prescribed multiplicities at ramification points

Let $Y$ be a smooth projective curve defined over number field $K$. Let $P_1,\dots ,P_m$ be some $K$-points to which we will associate "multiplicities" $m_i\in\{ 2,3,\dots \}$ for $i=1,\dots ,m$. The ...
13
votes
3answers
587 views

Cohomology of ramified double cover of $\mathbb P^n$ (reference)

Let $X\rightarrow \mathbb P^n_{\mathbb C}$ be a double cover ramified over a smooth hypersurface $B$ of degre $2d$. In the case of hypersurfaces of $\mathbb P^n$ one can determine the integral ...
10
votes
0answers
193 views

What is the preimage of a braid in a covering space branched over the braid?

For a knot $K\subset \mathbb{S}^3$, one can construct the covering space branched over that knot by assigning elements of the symmetric group $S_n$ to each arc of the knot. You can find the knot group ...
2
votes
1answer
175 views

Is the number of ramified coverings of given degree of a curve with prescribed branch divisor finite?

Let Y be a smooth projective curve over C and prescribe a branch divisor B on Y. I want to know if the number of coverings of Y of fixed degree and branched along B is finite. If so, why? Or, where is ...
5
votes
1answer
382 views

Two ways to look at a double cover of the projective line

Let $f:L\rightarrow \mathbb P^1_{\mathbb C}$ be the line bundle associated to the invertible sheaf $\mathcal O_{\mathbb P^1}(2)$, $\phi=(X_0-X_1)^3X_0\in H^0(\mathbb P^1, \mathcal O_{\mathbb P^1}(4))$ ...
0
votes
1answer
85 views

Uniformizing variable for branched covering of the Riemann sphere

Suppose I have a function $Q(z)$ of a complex variable $z\in\mathbb P^1$, possessing square root type branch points at the positions $\left\{z_i\right\}_{i=1}^{2M}$. I know that the Riemann surface $\...
6
votes
1answer
301 views

Smoothness of the branch divisor and ramification on surfaces

Let $f \colon X \longrightarrow Y$ be a finite morphism of degree $n \geq 2$ between smooth compact, complex surfaces. Let $B \subset Y$ be the branch divisor of $f$ and assume that the ...
13
votes
1answer
375 views

$S^3$ as cyclic branched cover of itself

In Chapter One of his notes (March 2002) Thurston says: If $K$ is the trivial knot the cyclic branched covers are $S^3$. It seems intuitively obvious (but it is not known) that this is the only ...
8
votes
0answers
200 views

Two transfers for ramified or branched covers

Let $\pi: X \rightarrow Y$ be a 2-fold branched cover of complex varieties. I know of (at least) two types of pushforwards associated to this situation: If I'm not mistaken, there is a pushforward ...
4
votes
1answer
183 views

Flatness of Weil restriction

Let $X\rightarrow Y$ a ramified double cover of smooth projective curves, and let $$\mathcal G:=Res_{X/Y}(SL_n)$$ be the Weil restriction of the constant group scheme $SL_n$ over $X$. Question: Is ...
5
votes
1answer
276 views

Can you functorially “reconstruct” a branched cover of curves from its etale locus?

I'm sure this must be covered somewhere, but all the references I have only treat this in very special cases (mostly when working over fields). Suppose $f : X\rightarrow S$ is smooth of finite ...
8
votes
3answers
500 views

Conditions for underlying space of an orbifold $\Bbb T^n/\Gamma$ to be a sphere?

Given a $n$-dimensional torus, is it always possible to find a discrete action to produce an orbifold such that its underlying space is the $n$-dimensional sphere? Or does it only happens for specific ...
4
votes
1answer
613 views

Definition and sigularity of Ramified covers

Let $X$ be a normal variety over $\mathbb{C}$. In their book Birational geometry of algebraic varieties, Kollár and Mori define [Definition 2.50 and 2.51] a ramified m-th cyclic cover associate to a ...
2
votes
1answer
346 views

Kummer Coverings

Let $L_1$, $\cdots$, $L_k$ be homogenous linear forms in three variables $z_0$, $z_1$, $z_2$ defining $k$ lines in $\mathbb{P}_{2}$. Consider the abelian extension $K ((L_2/L_1)^{1/n}, \cdots, (L_k/...
5
votes
3answers
812 views

Heegaard Floer Homology of double branched cover

The question is the following: Let $K\subset S^{3}$ be a knot, consider the double branched cover $Y$ of $S^{3}$ over $K$. We know $Y$ has a unique spin structure $\mathfrak{s}$, now the question is: ...
8
votes
1answer
589 views

Finite morphisms to projective space

Let $X$ be a projective variety of dimension n. Then there exists a finite surjective morphism $X \to \mathbf P^n$. Let $d$ be the minimal degree of such a finite surjective morphism. Let $d^\prime ...
5
votes
1answer
350 views

To what extent does the branch locus determine the covering (Chisini's conjecture)?

Suppose that $X$ is a smooth projective surface over $\mathbb C$ and $f\colon X\to\mathbb P^2$ is a finite morphism branched over a curve $S\subset\mathbb P^2$. Assume in addition that all the ...
5
votes
1answer
825 views

The cyclic branched covers of “simple” knots in $S^3$

Is there a convenient place in the literature where the geometric decompositions of cyclic branched covers of $S^3$ branched over "small" knots is recorded? By small knots, I'm referring to things ...
2
votes
0answers
272 views

branch locus of the discriminant map $\overline{\mathcal{H}}_{g',r} \to \overline{\mathcal{M}}_{g,n}$

Let $\overline{\mathcal{M}}_{g,n}$ be the moduli space of pointed, stable, genus $g$ curves. Let $\overline{\mathcal{H}}_{g',r}$ be the hurwitz space of cyclic covers of degree $r$ of genus $g$ curves ...
4
votes
2answers
727 views

chern classes of push-pulled vector bundles

Let $f:X\to Y$ be a finite cover of smooth algebraic varieties, branched along a divisor $R\subset Y$. Let $E$ be a vector bundle on $Y$. What is the relation between the chern classes of $E$ and the ...
12
votes
2answers
819 views

Orbifolds vs. branched covers

Forgive me if this is a basic question. I'm just learning about orbifolds, and covering spaces are my happy place for thinking about group actions. If $M$ is a manifold and $G$ is a group acting ...
2
votes
2answers
212 views

Confusion about two statements about cohomology of curves with automorphisms

Let $\pi :C\rightarrow \mathbb{P}^{1}$ be a cyclic cover of degree $m$ of $\mathbb{P}^{1}$. So $C$ has an action of $\mathbb{Z}/m\mathbb{Z}$. Let $\xi$ be a primitive $m$-th root of unity. Consider ...
5
votes
2answers
725 views

How to explicitly see the ramification over infinity

Take the equation $y^{d}=\Pi_{1}^{n}(x-t_{i})^{m_{i}}$ over $\mathbb{C}$. This affine equation gives a cyclic cover of $\mathbb{P}^{1}$. Now it is usually said without explanation that if the sum $\...
8
votes
3answers
2k views

What prevents a cover to be Galois?

Let $f:X\rightarrow Y$ be a ramified cover of Riemann surfaces or algebraic curves over $\mathbb{C}$. My question is can one in terms of the ramification data of $f$, determine whether the cover is ...
4
votes
2answers
157 views

Dimension of the space of invariant quadratic differentials in Galois covers

Let $f: X \rightarrow Y $ be a Galois cover of with $X$ and $Y$ algebraic curves over $\mathbb{C}$. I want to compute the dimension of the subspace of $G$-invariants in $H^{0}(X,\omega^{\otimes2})$ (...
3
votes
1answer
266 views

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 ...
3
votes
1answer
263 views

regularity of finite flat branched covers

Let $D$ and $S$ be two regular schemes and let $D$ be a divisor of $S$. Let $C \to S$ be a finite flat morphism, branched along $D$. Is $C$ regular as well?
2
votes
1answer
498 views

Trigonal curves of genus three: can their Galois closure be non-abelian

Let $X$ be a curve of genus three which is not hyperelliptic. Then $X$ is trigonal, i.e., there exists a finite morphism $X \to \mathbf P^1$ of degree $3$. Let $Y\to X \to \mathbf P^1$ be a Galois ...
8
votes
1answer
660 views

Question about local description of the branch locus

Let $\pi:Y\to X$ be a dominant, finite morphism of nonsingular varieties over an algebraically closed field $\Bbbk$. Assume furthermore that for all $Q\in Y$, with $P=\pi(Q)$, we have $$\mathcal O_{Y,...
4
votes
3answers
316 views

Automorphism of finite groups and Hurwitz spaces

If $G$ is a finite group, embedded as a transitive subgroup of $S_n$ for some $n$, will every automorphism of $G$ extend to an inner automorphism of $S_n$? I'm trying to connect the language that's ...
4
votes
0answers
378 views

Do regular noetherian schemes of dimension one only have finitely many etale covers of bounded degree

Let $X$ be a regular noetherian scheme of dimension one. Let $d$ be an integer. Question. Are there only finitely many finite etale morphisms $Y\to X$ of degree $d$? I want to exclude finite etale ...
3
votes
0answers
355 views

Galois group decomposition of non-cyclic covers

If $\pi: C \rightarrow \mathbb{P}^{1}$ is a cyclic cover of $\mathbb{P}^{1}$ with Galois group $\mathbb{Z}/m \mathbb{Z}$ and thus with the (affine) formula $y^{m}= (x_{1}-a_{1})^{t_{1}}....(x_{n}-a_{...
2
votes
3answers
354 views

Equations for abelian coverings of $\mathbb{P^{1}}$

Cyclic coverings of $\mathbb{P^{1}}$ have a simple (affine) equation, namely the formula, $y^{m}= (x_{1}-a_{1})^{t_{1}}....(x_{n}-a_{n})^{t_{n}}$. Is there such a nice equation for abelian non-cyclic ...
3
votes
0answers
327 views

Every curve is a Hurwitz space in infinitely many ways

Diaz, Donagi and Harbater proved that every curve over $\overline{\mathbf{Q}}$ is a Hurwitz space. A Hurwitz space is a connected component of the curve $H_n$. The curve $H_n$ is (the ...
1
vote
1answer
614 views

Is this function field extension a Galois extension ?

Setting and question Let $X$ be a variety over an algebraically closed field of null characteristic, and let $C$ be a (regular if you want) curve included in $X$. Consider $X'$ the normalization of $...
4
votes
2answers
273 views

Number of connected components of the Hurwitz space $H_n^o$ and subgroups of the fundamental group

A cover (of $\mathbf{P}^1_{\overline{\mathbf{Q}}}$) is a finite morphism $X\to \mathbf{P}^1_{\overline{\mathbf{Q}}}$, where $X$ is a smooth projective connected curve over $\overline{\mathbf{Q}}$. ...
4
votes
2answers
1k views

Fibre cardinality of an unramified morphism

Let $\varphi: X \to Y$ be a finite, dominant, unramified morphism of varieties over an algebraically closed field. If necessary, we can assume $X$ and $Y$ to be nonsingular. I am trying to prove that ...
5
votes
0answers
284 views

degenerating surface II

In degenerating surface, Robert Bryant give us an example of a sequence of minimal immersions which converges (in $C^2$- topology) to $z\mapsto z^{2k+1}$ on the unit disc $\mathbb{D}$. My question is ...
1
vote
1answer
283 views

Manin-Drinfeld and constructing a finite morphism with two given ramification points

Fix a smooth projective connected curve $X$ over $\overline{\mathbf{Q}}$ of genus $g\geq 1$ and distinct points $x,y \in X$ such that $x-y$ has infinite order in the Jacobian. Can we always find a ...
5
votes
2answers
694 views

degenerating surface

Hi, i have a sequence of immersed disc $u_n: \mathbb{D} \rightarrow \mathbb{R}^3$ which converge to a singular cover of the disc: $z^k$ for $k\geq 2$, moreprecisely $u_n \rightarrow z^k$ in $C^2(\...
2
votes
1answer
239 views

Comparing heights of rational points on curves through covers

Let $a$ be a closed point in $\mathbf{P}^1_{\overline{\mathbf{Q}}}$. Let $Y \cong \mathbf{P}^1_{\overline{\mathbf{Q}}} $ and let $\pi:Y\to \mathbf{P}^1_{\overline{\mathbf{Q}}}$ be a finite morphism ...
12
votes
2answers
2k views

Finite, Étale Morphism Of Varieties

I have a, probably very simple, question: My intuition tells me that the following statement should be true, but I couldn't find it anywhere and I wanted to make sure I am not missing something. Let $...
3
votes
0answers
321 views

cardinality of the fibre of a constantly branched, finite morphism over the branch locus

Let $\pi:Y\to X$ be a Galois cover, i.e. a finite morphism of nonsingular varieties over an algebraically closed field $\Bbbk$ such that $K(X)\hookrightarrow K(Y)$ is Galois. Let $H\subset X$ be the ...
17
votes
5answers
4k views

Higher dimensional version of the Hurwitz formula?

In Hartshorne IV.2, notions related to ramification and branching are introduced, but only for curves. The main result is the Hurwitz formula. Now if you have a finite surjective morphism between ...
33
votes
4answers
2k views

Curves which are not covers of P^1 with four branch points

The following interesting question came up in a discussion I was having with Alex Wright. Suppose given a branched cover C -> P^1 with four branch points. It's not hard to see that the field of ...