What is an example of a regular realization of $C_5$ over $\mathbb{Q}(x)$? It's known that all abelian groups are regularly realizable over $\mathbb{Q}(x)$, but it occurred to me that I don't even have an example of a cyclic regular extension of $\mathbb{Q}(x)$ handy.
So: what is an example of a regular realization of $C_5$ over $\mathbb{Q}(x)$?
 A: Emma Lehmer's quintic
\begin{align*}
y^5 +& x^2y^4 - (2x^3 + 6x^2 + 10x + 10)y^3 +\\
 &(x^4 + 5x^3 + 11x^2 + 15x + 5)y^2 + (x^3 + 4x^2 +10x + 10)y + 1
\end{align*}
has Galois group $C_5$ over ${\mathbf Q}(x)$ and the splitting field over ${\mathbf Q}(x)$ is a regular extension. Her paper is "Connection between Gaussian periods and cyclic units" Math. Comp. 50 (1988), 535--541.
Typing "Lehmer quintic" in Google produces several hits which will give more information.
A: I wanted to make a certain comment, but it got too long, so here it is as an "answer" that is constructive in principle (and applicable over any field of characteristic 0, suitable to make cyclic regular covers ramified in a controlled locus).
Let $k$ be a field of characteristic 0 and let $X$ be the projective line over $k$, so its usual Jacobian vanishes. Thus, its generalized Jacobians are affine. Being commutative and connected, they're products of a unipotent $k$-group and a $k$-torus, so isogenies to them from smooth connected commutative $k$-groups must arise from the torus part (as we're in char. 0). Hence, in language of geometric class field theory (see sec. 2 in Ch. I and sec. 3 in Ch. V of Serre's book "Algebraic groups and class fields"), we can stick with reduced moduli; i.e., reduced divisors $D$ on $X$ and their generalized Jacobians $J_D$, which are $k$-tori. 
The generalized Jacobian is isomorphic to the Picard variety ${\rm{Pic}}^0_{X_D/k}$ where $X_D$ is the geometrically integral curve over $k$ obtained by "crushing $D$ to a $k$-point" (defined via Galois descent of an analogous procedure over a splitting field of $D$). By 9.2/10 in "Neron Models", this is described rather explicitly as a $k$-torus. It is the quotient of a product of Weil restrictions: 
$$J_D = (\prod_{x \in D} {\rm{R}}_{k(x)/k}(\mathbf{G}_m))/\mathbf{G}_m.$$
We seek connected commutative extensions of this $k$-torus by (cyclic) finite constant $k$-groups.
A cofinal system of tori equipped with isogenies onto $J_D$ over $k$ is given by the multiplication maps $[n]:J_D \rightarrow J_D$, whose kernels are (by the snake lemma with commutative $k$-groups) 
$$J_D[n] = (\prod_{x \in D} {\rm{R}}_{k(x)/k}(\mu_n))/\mu_n.$$
as $k$-groups. Let $C_{D,n} = J_D[n]/H_{D,n}$ denote the maximal $k$-group quotient of $J_D[n]$ that is constant (i.e., trivial as a Galois module). Using $\infty$ as a $k$-rational base point and assuming $\infty\not\in D$, there is a canonical $k$-morphism $$f_D:X - D \rightarrow J_D,$$ and geometrc CFT says that the $f_D$-pullbacks of the $C_{D,n}$-coverings $J_D/H_{D,n} \rightarrow J_D$ are a cofinal system of geometrically connected finite abelian coverings of $X$ (i.e., regular finite abelian extensions of $k(X)$) unramified outside of $D$. So if $f_D$ could be made explicit, then we'd have a pretty "explicit" way of making finite abelian regular extensions of $X$ unramified outside of $D$, provided we can understand the structure of the Galois module of geometric points of $J_D[n]$. For $k = \mathbf{Q}$ this Galois module seems like something one can understand pretty systematically, provided that one understands how $\mathbf{Q}(\zeta_n)$ interacts with each of the fields $k(x)$ for $x \in D$.  
Example: Suppose $n = p$ is an odd prime and $k = \mathbf{Q}$ and $D$ is the single closed point $x \in \mathbf{A}^1_k$ with degree $p-1 > 1$ corresponding to the primitive $p$th roots of unity. Then ${\rm{R}}_{k(x)/k}(\mu_n)$ has the $p$-torsion Galois module of geometric points given by $\oplus_{0 \le i < p} \omega^i$ where $\omega$ is the mod-$p$ cyclotomic character, with $\mu_p = \omega$ embedded in the evident manner (the factor for $i = 1$). Hence, there's exactly one cyclic quotient of order $p$ with trivial Galois action (projection to the factor for $i = 0$) and so we conclude that $\mathbf{P}^1_{\mathbf{Q}}$ admits a unique degree-$p$ geometrically connected cyclic covering whose ramification is supported at precisely the primitive $p$th roots of unity.  This corresponds to a particularly natural degree-$p$ regular abelian extension of $\mathbf{Q}(t)$. What is it? (I have no idea, even for $p = 3$ or $p = 5$.)
In general, here is how I think $f_D$ can be made explicit. Change coordinates so $0 \not\in D$ (no problem, since $X(k)$ is infinite), and increase $D$ (harmless) so that $\infty \in D$. Then $D' := D - \{\infty\}$ is the zero locus of a unique separable $h \in k[t]$ such that $h(0) = 1$, and $J_D = \prod_{x \in D'} {\rm{R}}_{k(x)/k}(\mathbf{G}_m)$. For $x \in D'$, let $h_x|h$ be the unique irreducible factor over $k$ with $h_x(0) = 1$ and $h_x(x) = 0$, and let $y_x = y \bmod h_x(y) \in k[y]/(h_x) = k(x)$ be the "canonical" zero of $h_x$ in $k(x)$. The $x$th component of $f_D$ corresponds to a unit in $k(x)[t][1/h]$. This unit is probably $1 - (t/y_x)$ or its inverse (but I have not checked rigorously).
