2
$\begingroup$

Fix a nice complex algebraic variety $X$ with base point $x$. (We will work in the analytic topology.)

Let $G$ be a finite group. Then the set of normal subgroups of $\pi_1(X,x)$ with quotient $G$ corresponds to the set of $X$-torsors for $G$. (We write $G$ for the constant sheaf on $X$ associated to $G$.)

This is just saying that Galois covers of $X$ correspond to torsors for $G$.

Now, not all covers of $X$ are Galois. In general, finite covers of $X$ correspond (in some sense) to finite index subgroups of $\pi_1(X,x)$ and the degree is given by the index.

I'd like to know if we can replace the set $H^1(X,G)$ of torsors for $G$ by something "torsorish" and still have a correspondence with the set of finite index subgroups of $\pi(X,x)$ of some fixed degree.

$\endgroup$
3
  • $\begingroup$ I feel like you're looking for something like the following. Galois covers of a topological space $X$ of degree $n$ correspond to homomorphisms $\pi_1X\to S_n$ where the image is transitive and has trivial point stabilizers. Arbitrary covers of degree $n$ correspond to homomorphisms $\pi_1X\to S_n$ where the image is just transitive. No doubt this can be phrased in terms of something torsorish --- the answer should be approximately '$H^1(X,Y)$ where $Y$ is a transitive-but-not-necessarily-simply-transitive $G$-set'. $\endgroup$
    – HJRW
    Mar 18, 2012 at 19:03
  • $\begingroup$ That should have been 'Arbitrary connected covers of degree $n$...' If you don't require connectedness, you can also drop the transitivity assumption. $\endgroup$
    – HJRW
    Mar 18, 2012 at 19:31
  • 1
    $\begingroup$ There is a mistake in your statement. The group $H^1(X,G)$ is in bijective correspondence with homomorphisms $\pi_1(X,x)\to G$ up to conjugacy. The kernel is a normal subgroup, but the quotient need not equal $G$ -- only a subgroup of $G$. $\endgroup$ Mar 18, 2012 at 21:11

1 Answer 1

6
$\begingroup$

Yes, absolutely. There is an equivalence of categories between étale covers of $X$ of degree $n$, and $S_n$-torsors over $X$.

The general principle here is that $H^1(X,\mathscr G)$, where $X$ is some site and $\mathscr G$ is a sheaf of groups, classifies locally trivial things over $X$ whose sheaf of automorphisms is given by $\mathscr G$. This includes facts like that $H^1(X,\mathcal O_X^\ast)$ classifies line bundles (since an automorphism of a line bundle is given by multiplication by a nonzero scalar on each fibre), or that $H^1(X,\mathcal T_X)$ classifies first order deformations when $X$ is smooth (since deformations of smooth $X$ are locally trivial, and an automorphism of a first order deformation is an infinitesimal automorphism which is a vector field). In your case, the statement follows because both étale covers of degree $n$ and $S_n$-torsors have $\underline{S_n}$ as sheaf of automorphisms.

A more concrete way of seeing this particular case is the following. Given a finite étale cover $Y \to X$, form the $n$-fold fibered product $Y \times_X \cdots \times_X Y \to X$ and remove the "big diagonal". Given an $S_n$-torsor $P \to X$, form the quotient $P/S_{n-1} \to X$. These constructions are inverse to each other.

$\endgroup$
2
  • $\begingroup$ @Dan Petersen:What you are saying is exactly what I'm puzzled in. Can you provide any reference? Thank you in advance. $\endgroup$ Jan 4, 2013 at 7:10
  • $\begingroup$ I mean the finite etale cover part. $\endgroup$ Jan 4, 2013 at 7:46

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.