Hurwitz space

The topic of this article may not meet Wikitia's general notability guideline. Please help to demonstrate the notability of the topic by citing reliable secondary sources that are independent of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be merged, redirected, or deleted. Find sources: "Hurwitz space" – news · newspapers · books · scholar · JSTOR (Learn how and when to remove this template message)

In mathematics, in particular algebraic geometry, Hurwitz spaces are moduli spaces of ramified covers of the projective line, and they are related to the moduli of curves. Their rational points are of interest for the study of the inverse Galois problem, and as such they have been extensively studied by arithmetic geometers. More precisely, Hurwitz spaces classify isomorphism classes of Galois covers with a given automorphism group <math>G</math> and a specified number of branch points. The monodromy conjugacy classes at each branch point are also commonly fixed. These spaces have been introduced by Adolf Hurwitz^[1] which (with Alfred Clebsch and Jacob Lüroth) showed the connectedness of the Hurwitz spaces in the case of simply branched covers (i.e., the case where <math>G</math> is a symmetric group and the monodromy classes are the conjugacy class of transpositions).

Motivation[edit]

Let <math>G</math> be a finite group. The inverse Galois problem for <math>G</math> asks whether there exists a finite Galois extension <math>F \mid \Q</math> whose Galois group is isomorphic to <math>G</math>. By Hilbert's irreducibility theorem, a positive answer to this question may be deduced from the existence, instead, of a finite Galois extension <math>F \mid \Q(T)</math> of Galois group <math>G</math>. In other words, one may try to find a connected ramified cover of the projective line <math>\mathbb{P}^1_{\Q}</math> over <math>\Q</math> whose automorphism group is <math>G</math>. If one requires that this cover be geometrically connected, that is <math>F \cap \bar\Q = \Q</math>, then this stronger form of the inverse Galois problem is called the regular inverse Galois problem.

A motivation for constructing a moduli space of <math>G</math>-covers (i.e., connected covers of <math>\mathbb{P}^1</math> whose automorphism group is <math>G</math>) is to transform the regular inverse Galois problem into a problem of Diophantine geometry: if (geometric) points of the moduli spaces correspond to <math>G</math>-covers (or extensions of <math>\bar\Q(T)</math> with Galois group <math>G</math>) then it is expected that rational points are related to regular extensions of <math>\Q(T)</math> with Galois group <math>G</math>.

This geometric approach, pioneered by John G. Thompson, Michael D. Fried, Gunter Malle and Wolfgang Matzat^[2], has been key to the realization of 25 of the 26 sporadic groups as Galois groups over <math>\Q</math> — the only remaining sporadic group left to realize being the Mathieu group M23.

Definitions[edit]

Configuration spaces[edit]

Let <math>G</math> be a finite group and <math>n</math> be a fixed integer. A configuration is an unordered list of <math>n</math> distincts points of <math>\mathbb{A}^1_{\C}</math>. Configurations form a topological space: the configuration space <math>\mathrm{Conf}_n</math> of <math>n</math> points. This space is the analytification (see GAGA) of an algebraic scheme <math>\mathcal{U}_n</math>, which is the open subvariety of <math>\mathbb{A}^n</math> obtained by removing the closed subset corresponding to the vanishing of the discriminant.

The fundamental group of the (topological) configuration space <math>\mathrm{Conf}_n</math> is the Artin braid group <math>B_n</math>, generated by elementary braids <math>\sigma_1, \ldots, \sigma_{n-1}</math> subject to the braid relations (<math>\sigma_i</math> and <math>\sigma_j</math> commute if <math>|i-j|>1</math>, and <math>\sigma_i \sigma_{i+1} \sigma_i = \sigma_{i+1} \sigma_i \sigma_{i+1}</math>). The configuration space has the homotopy type of an Eilenberg–MacLane space <math>K(B_n, 1)</math>.^[3][4]

<math>G</math>-covers and monodromy conjugacy classes[edit]

A <math>G</math>-cover of <math>\mathbb{P}^1_{\C}</math> ramified at a configuration <math>\mathbf{t}</math> is a triple <math>(Y, p, f)</math> where <math>Y</math> is a connected topological space, <math>p : Y \to \mathbb{P}^1 \setminus \mathbf{t}</math> is a covering map, and <math>f</math> is an isomorphism <math>\mathrm{Aut}(Y, p) \simeq G</math>, satisfying the additional requirement that <math>p : Y \to \mathbb{P}^1\setminus\mathbf{t}</math> does not factor through any <math>Y \to \mathbb{P}^1\setminus\mathbf{t'}</math> where <math>\mathbf{t'}</math> is a configuration with less than <math>n</math> points. A <math>G</math>-cover is determined by its monodromy morphism, which is a surjective group morphism <math>\pi_1(\mathbb{P}^1 \setminus \mathbf{t},\, \infty) \to G</math> considered up to the conjugacy action of <math>G</math>.

One may choose a generating set of the fundamental group <math>\pi_1(\mathbb{P}^1 \setminus \mathbf{t},\, \infty)</math> consisting of homotopy classes of loops <math>\gamma_1, \ldots, \gamma_n</math>, each rotating once counterclockwise around each branch point, and satisfying the relation <math>\gamma_1 \cdots \gamma_n = 1</math>. The choice of this generating set of loops induces a correspondance between <math>G</math>-covers and tuples <math>(g_1, \ldots, g_n) \in G^n</math> satisfying <math>g_1 \cdots g_n = 1</math>, such that <math>g_1, \ldots, g_n</math> generate <math>G</math>, and considered modulo the conjugacy action of <math>G</math>.

The conjugacy classes of the elements <math>g_1, \ldots, g_n</math> appearing in the tuple do not depend on the choice of the generating loops. They are the monodromy conjugacy classes of a given <math>G</math>-cover. We denote by <math>V_n</math> the set of <math>n</math>-tuples <math>(g_1, \ldots, g_n)</math> of elements of <math>G</math> which satisfy <math>g_1 \cdots g_n = 1</math> and which generate <math>G</math>. If <math>\mathbf{c} = (c_1, \ldots, c_n)</math> is a list of conjugacy classes of <math>G</math>, then <math>V_n^{\mathbf{c}}</math> is the set of such tuples with the additional constraint <math>g_i \in c_i</math>.

Hurwitz spaces[edit]

Considered topologically, the Hurwitz space classifying <math>G</math>-covers with <math>n</math> branch points is an (unramified) cover of the configuration space <math>\mathrm{Conf}_n</math> whose fiber above a configuration <math>\mathbf{t}</math> is in bijection, via the choice of a generating set of loops in <math>\pi_1(\mathbb{P}^1 \setminus \mathbf{t},\, \infty)</math>, with the quotient <math>V_n/G</math> of <math>V_n</math> by the conjugacy action of <math>G</math>. Two points in the fiber are in the same connected component if they can be represented by tuples related via the action of the braid group <math>B_n</math> on the set <math>V_n/G</math>, induced by the following formula:<math display="block">\sigma_i.(g_1,\ldots,g_n) = (g_1,\ldots,g_{i+1}^{g_i}, g_i, \ldots,g_n).</math>This topological space may be constructed as the Borel construction <math>G \,\backslash\!\!\backslash\, V_n \,/\!\!/\, B_n</math>^[5][6]: its homotopy type is given by <math>\widetilde{\mathrm{Conf}_n} \underset{B_n}{\times} (V_n/G)</math>, where <math>\widetilde{\mathrm{Conf}_n}</math> is the universal cover <math>EB_n</math> of the configuration space <math>\mathrm{Conf}_n \cong BB_n</math>, and the action of the braid group <math>B_n</math> on <math>V_n/G</math> is as above. It may also be defined "by hand": locally, it is obtained by deforming a <math>G</math>-cover by letting its branch points move inside little disjoint disks, and the resulting small deformations may be assembled.

The fact that this space is the analyfication of the complex points of an algebraic scheme is a consequence of GAGA results, and the fact that this complex scheme is obtained via extension of scalars of a <math>\Z\left[\frac{1}{|G|}\right]</math>-scheme <math>\mathcal{H}_{G, n}</math> is a consequence of a descent criterion due to Weil.^[7][8]

The scheme <math>\mathcal{H}_{G, n}</math> is an étale cover of the "algebraic configuration space" <math>\mathcal{U}_n</math>. However, it is not a fine moduli space in general.

In what follows, we assume that <math>G</math> is centerless, in which case <math>\mathcal{H}_{G, n}</math> is a fine moduli space. Then, for any field <math>K</math> of characteristic relatively prime to <math>|G|</math>, we have a bijection between the <math>K</math>-points of <math>\mathcal{H}_{G,n}</math> and the geometrically connected <math>G</math>-covers of <math>\mathbb{P}^1_K</math> (i.e., the regular extensions of <math>K(T)</math> with Galois group <math>G</math>):

<math>\mathcal{H}_{G,n}(K) \simeq \left\{

   Y \overset{p}{\to} \mathbb{P}^1_K
   \text{ with }
   \begin{matrix}
       \mathrm{Aut}(Y, p) \simeq G,\\
       Y \text{ geometrically connected curve},\\
       p \text{ étale outside } n \text{ points}
   \end{matrix}

\right\}.</math>

In particular, the absolute Galois group of <math>\Q</math> acts on the <math>\bar\Q</math>-points of the scheme <math>\mathcal{H}_{G,n}</math>, and the fixed points of this action are precisely its <math>\Q</math>-points, which in this case correspond to regular extensions of <math>\Q(T)</math> with Galois group <math>G</math>.

Applications[edit]

The rigidity method[edit]

If conjugacy classes <math>(c_1, \ldots, c_n)</math> are given, the list <math>(c_1, \ldots, c_n)</math> is rigid when there is a tuple <math>(g_1, \ldots, g_n) \in c_1 \times \cdots \times c_n</math> unique up to conjugacy such that <math>g_1 \cdots g_n = 1</math> and <math>g_1, \ldots, g_n</math> generate <math>G</math> — in other words, <math>V_n^{\mathbf{c}}/G</math> is a singleton (see also rigid group). The conjugacy classes <math>c_1,\ldots,c_n</math> are rational if for any element <math>g_i \in c_i</math> and any integer <math>k</math> relatively prime to the order of <math>g_i</math>, the element <math>g_i^k</math> belongs to <math>c_i</math>.

Assume <math>G</math> is a centerless group, and fix a rigid list of rational conjugacy classes <math>\mathbf{c} = (c_1, \ldots, c_n)</math>. Since the classes <math>c_1, \ldots, c_n</math> are rational, the action of the absolute Galois group <math>G_{\Q}=\mathrm{Gal}(\bar\Q\mid\Q)</math> on a <math>G</math>-cover with monodromy conjugacy classes <math>c_1,\ldots,c_n </math> is (another) <math>G</math>-cover with monodromy conjugacy classes <math>c_1,\ldots,c_n </math> (this is an application of Fried's branch cycle lemma^[9]). As a consequence, one may define a subscheme <math>\mathcal{H}^{\mathbf{c}}_{G, n}</math> of <math>\mathcal{H}_{G, n}</math> consisting of <math>G</math>-covers whose monodromy conjugacy classes are <math>c_1, \ldots, c_n</math>.

Take a configuration <math>\mathbf{t}</math>. If the points of this configuration are not globally rational, then the action of <math>G_{\Q}</math> on <math>G</math>-covers ramified at <math>\mathbf{t}</math> will not preserve the ramification locus. However, if <math>\mathbf{t} \in \mathcal{U}_n(\Q)</math> is a configuration defined over <math>\Q</math> (for example, all points of the configuration are in <math>\mathbf{A}^1(\Q)</math>), then a <math>G</math>-cover branched at <math>\mathbf{t}</math> is mapped by an element of <math>G_{\Q}</math> to another <math>G</math>-cover branched at <math>\mathbf{t}</math>, i.e. another element of the fiber. The fiber of <math>\mathcal{H}^{\mathbf{c}}_{G, n} \to \mathcal{U}_n</math> above <math>\mathbf{t}</math> is in bijection with <math>V_n^{\mathbf{c}}/G</math>, which is a singleton by the rigidity hypothesis. Hence, the single point in the fiber is necessarily invariant under the <math>G_{\Q}</math>-action, and it defines a <math>G</math>-cover defined over <math>\Q</math>.

This proves a theorem due to Thompson: if there exists a rigid list of rational conjugacy classes of <math>G</math>, and <math>Z(G)=1</math>, then <math>G</math> is a Galois group over <math>\Q</math>. This has been applied to the Monster group, for which a rigid triple of conjugacy classes <math>(c_1, c_2, c_3)</math> (with elements of respective orders 2, 3, and 29) exists.

Thompson's proof does not explicitely use Hurwitz spaces (this rereading is due to Fried), but more sophisticated variants of the rigidity method (used for other sporadic groups) are best understood using moduli spaces. These methods involve defining a curve inside a Hurwitz space — obtained by fixing all branch points except one — and then applying standard methods used to find rational points on algebraic curves, notably the computation of their genus using the Riemann-Hurwitz formula.^[2]

Statistics of extensions of function fields over finite fields[edit]

Several conjectures concern the asymptotical distribution of field extensions of a given base field as the discriminant gets larger. Such conjectures include the Cohen-Lenstra heuristics and the Malle conjecture.

When the base field is a function field over a finite field <math>\mathbb{F}_q(T)</math>, where <math>q = p^r</math> and <math>p</math> does not divide the order of the group <math>G</math>, the count of extensions of <math>\mathbb{F}_q(T)</math> with Galois group <math>G</math> is linked with the count of <math>\mathbb{F}_q</math>-points on Hurwitz spaces. This approach was highlighted by works of Jordan Ellenberg, Akshay Venkatesh, Craig Westerland and TriThang Tran^{[10][6][11][12]}. Their strategy to count <math>\mathbb{F}_q</math>-points on Hurwitz spaces, for large values of <math>q</math>, is to compute the homology of the Hurwitz spaces, which reduces to purely topological questions (approached with combinatorial means), and to use the Grothendieck trace formula and Deligne's estimations of eigenvalues of Frobenius (as explained in the article about Weil conjectures).

See also[edit]

• Deformation theory
• Moduli space and Moduli space of curves
• Configuration space
• Inverse Galois theory
• Hilbert's irreducibility theorem
• Dessin d'enfant
• Grothendieck–Teichmüller group

References[edit]

External links[edit]

Add External links

This article "Hurwitz space" is from Wikipedia. The list of its authors can be seen in its historical. Articles taken from Draft Namespace on Wikipedia could be accessed on Wikipedia's Draft Namespace. [Category:Projective geometry]]