Skip to main content
added 91 characters in body
Source Link
Will Chen
  • 10.7k
  • 2
  • 32
  • 74

This is mostly adding to Vesselin Dimitrov's comment.

If there exists a regular extension of $\mathbb{Q}(t)$ with Galois group $G := GL_2(\mathbb{Z}/n)$ (ie, $\mathbb{Q}$ is algebraically closed inside the extension), then the answer to your original question ("Is everywe can construct a $GL_2(\mathbb{Z}/n)$-extensionGalois extension of $\mathbb{Q}$ contained in some elliptic curve's torsion field?"which does not contain $\mu_n$, and hence cannot contain $K$ (since any such $K$ must be equal to $\mathbb{Q}(E[n])$) is negative.

I(I believe it's expected, and certainly proved in some cases, that $GL_2(\mathbb{Z}/n)$ occurs as a regular Galois group over $\mathbb{Q}(t)$, though I'm having trouble finding references.)

Specifically, take a regular $G$-Galois extension of $\mathbb{Q}(t)$, which corresponds to a $G$-Galois cover $Y\rightarrow X$, where $X$ is some open subscheme of $\mathbb{P}^1_{\mathbb{Q}}$.

Let $K$ be any number field (for our purposes lets take $K = \mathbb{Q}(\mu_n)$), then by Hilbert irreducibility, $Y_K\rightarrow X_K$ has infinitely many connected fibers. More specifically, the $K$-points of $X_K$ over which the fiber is disconnected is a thin subset of $X_K(K)$ (One key property of thin sets is that subsets of thin sets are also thin). Let "$A$" denote this subset.

Since $Y_K\rightarrow X_K$ is $G$-Galois, these connected fibers are just $G$-Galois field extensions of $\mathbb{Q}$.

Now consider the set "$B$" of $\mathbb{Q}$-points of $X$, viewed as a subset of $X_K(K)$. I.e., given any map $\text{Spec }\mathbb{Q}\rightarrow X$, we can pull back this map by the natural base change map $X_K\rightarrow X$ to get a map $\text{Spec }K\rightarrow X_K$.

This set $B\subset X_K(K)$ is not thin (e.g. Proposition 3.2.1 in Serre's Topics in Galois Theory). Thus, we have two subsets $A,B\subset X_K(K)$, where $A$ is thin, and $B$ is not thin, and so $B$ is not contained in $A$ - In order words, there exist a $K$-point $x_K\in X_K(K)$, which have connected fiber in $Y_K$, which actually come from a $\mathbb{Q}$-point $x\in X(\mathbb{Q})$, but this means that the fiber of $Y\rightarrow X$ above this $\mathbb{Q}$-point $x$ is connected, and so is equal to $\text{Spec }L$ for some $G$-Galois extension $L/\mathbb{Q}$, and furthermore, since the connected fiber of $Y_K\rightarrow X_K$ above $x_K$ is $$\text{Spec }L\times_{\text{Spec }\mathbb{Q}}\text{Spec }K = \text{Spec }L\otimes_{\mathbb{Q}} K$$ this implies that $L\otimes_\mathbb{Q}K$ is a field - in particular $L\cap K = \mathbb{Q}$.

What this says is that if the "regular inverse galois problem" is true for $G$, then for any number field $K$, one can find $G$-Galois extensions of $\mathbb{Q}$ which intersect $K$ trivially.

If there exists a regular extension of $\mathbb{Q}(t)$ with Galois group $G := GL_2(\mathbb{Z}/n)$ (ie, $\mathbb{Q}$ is algebraically closed inside the extension), then the answer to your original question ("Is every $GL_2(\mathbb{Z}/n)$-extension of $\mathbb{Q}$ contained in some elliptic curve's torsion field?") is negative.

I believe it's expected, and certainly proved in some cases, that $GL_2(\mathbb{Z}/n)$ occurs as a regular Galois group over $\mathbb{Q}(t)$, though I'm having trouble finding references.

Specifically, take a regular $G$-Galois extension of $\mathbb{Q}(t)$, which corresponds to a $G$-Galois cover $Y\rightarrow X$, where $X$ is some open subscheme of $\mathbb{P}^1_{\mathbb{Q}}$.

Let $K$ be any number field (for our purposes lets take $K = \mathbb{Q}(\mu_n)$), then by Hilbert irreducibility, $Y_K\rightarrow X_K$ has infinitely many connected fibers. More specifically, the $K$-points of $X_K$ over which the fiber is disconnected is a thin subset of $X_K(K)$ (One key property of thin sets is that subsets of thin sets are also thin). Let "$A$" denote this subset.

Since $Y_K\rightarrow X_K$ is $G$-Galois, these connected fibers are just $G$-Galois field extensions of $\mathbb{Q}$.

Now consider the set "$B$" of $\mathbb{Q}$-points of $X$, viewed as a subset of $X_K(K)$. I.e., given any map $\text{Spec }\mathbb{Q}\rightarrow X$, we can pull back this map by the natural base change map $X_K\rightarrow X$ to get a map $\text{Spec }K\rightarrow X_K$.

This set $B\subset X_K(K)$ is not thin (e.g. Proposition 3.2.1 in Serre's Topics in Galois Theory). Thus, we have two subsets $A,B\subset X_K(K)$, where $A$ is thin, and $B$ is not thin, and so $B$ is not contained in $A$ - In order words, there exist a $K$-point $x_K\in X_K(K)$, which have connected fiber in $Y_K$, which actually come from a $\mathbb{Q}$-point $x\in X(\mathbb{Q})$, but this means that the fiber of $Y\rightarrow X$ above this $\mathbb{Q}$-point $x$ is connected, and so is equal to $\text{Spec }L$ for some $G$-Galois extension $L/\mathbb{Q}$, and furthermore, since the connected fiber of $Y_K\rightarrow X_K$ above $x_K$ is $$\text{Spec }L\times_{\text{Spec }\mathbb{Q}}\text{Spec }K = \text{Spec }L\otimes_{\mathbb{Q}} K$$ this implies that $L\otimes_\mathbb{Q}K$ is a field - in particular $L\cap K = \mathbb{Q}$.

What this says is that if the "regular inverse galois problem" is true for $G$, then for any number field $K$, one can find $G$-Galois extensions of $\mathbb{Q}$ which intersect $K$ trivially.

This is mostly adding to Vesselin Dimitrov's comment.

If there exists a regular extension of $\mathbb{Q}(t)$ with Galois group $G := GL_2(\mathbb{Z}/n)$ (ie, $\mathbb{Q}$ is algebraically closed inside the extension), then we can construct a $GL_2(\mathbb{Z}/n)$-Galois extension of $\mathbb{Q}$ which does not contain $\mu_n$, and hence cannot contain $K$ (since any such $K$ must be equal to $\mathbb{Q}(E[n])$).

(I believe it's expected, and certainly proved in some cases, that $GL_2(\mathbb{Z}/n)$ occurs as a regular Galois group over $\mathbb{Q}(t)$, though I'm having trouble finding references.)

Specifically, take a regular $G$-Galois extension of $\mathbb{Q}(t)$, which corresponds to a $G$-Galois cover $Y\rightarrow X$, where $X$ is some open subscheme of $\mathbb{P}^1_{\mathbb{Q}}$.

Let $K$ be any number field (for our purposes lets take $K = \mathbb{Q}(\mu_n)$), then by Hilbert irreducibility, $Y_K\rightarrow X_K$ has infinitely many connected fibers. More specifically, the $K$-points of $X_K$ over which the fiber is disconnected is a thin subset of $X_K(K)$ (One key property of thin sets is that subsets of thin sets are also thin). Let "$A$" denote this subset.

Since $Y_K\rightarrow X_K$ is $G$-Galois, these connected fibers are just $G$-Galois field extensions of $\mathbb{Q}$.

Now consider the set "$B$" of $\mathbb{Q}$-points of $X$, viewed as a subset of $X_K(K)$. I.e., given any map $\text{Spec }\mathbb{Q}\rightarrow X$, we can pull back this map by the natural base change map $X_K\rightarrow X$ to get a map $\text{Spec }K\rightarrow X_K$.

This set $B\subset X_K(K)$ is not thin (e.g. Proposition 3.2.1 in Serre's Topics in Galois Theory). Thus, we have two subsets $A,B\subset X_K(K)$, where $A$ is thin, and $B$ is not thin, and so $B$ is not contained in $A$ - In order words, there exist a $K$-point $x_K\in X_K(K)$, which have connected fiber in $Y_K$, which actually come from a $\mathbb{Q}$-point $x\in X(\mathbb{Q})$, but this means that the fiber of $Y\rightarrow X$ above this $\mathbb{Q}$-point $x$ is connected, and so is equal to $\text{Spec }L$ for some $G$-Galois extension $L/\mathbb{Q}$, and furthermore, since the connected fiber of $Y_K\rightarrow X_K$ above $x_K$ is $$\text{Spec }L\times_{\text{Spec }\mathbb{Q}}\text{Spec }K = \text{Spec }L\otimes_{\mathbb{Q}} K$$ this implies that $L\otimes_\mathbb{Q}K$ is a field - in particular $L\cap K = \mathbb{Q}$.

What this says is that if the "regular inverse galois problem" is true for $G$, then for any number field $K$, one can find $G$-Galois extensions of $\mathbb{Q}$ which intersect $K$ trivially.

added 125 characters in body
Source Link
Will Chen
  • 10.7k
  • 2
  • 32
  • 74

If there exists a regular extension of $\mathbb{Q}(t)$ with Galois group $G := GL_2(\mathbb{Z}/n)$ (ie, $\mathbb{Q}$ is algebraically closed inside the extension), then the answer to your original question ("Is every $GL_2(\mathbb{Z}/n)$-extension of $\mathbb{Q}$ contained in some elliptic curve's torsion field?") is nonegative.

I believe it's expected, and certainly proved in some cases, that $GL_2(\mathbb{Z}/n)$ occurs as a regular Galois group over $\mathbb{Q}(t)$, though I'm having trouble finding references.

Specifically, take a regular $G$-Galois extension of $\mathbb{Q}(t)$, which corresponds to a $G$-Galois cover $Y\rightarrow X$, where $X$ is some open subscheme of $\mathbb{P}^1_{\mathbb{Q}}$.

Let $K$ be any number field (for our purposes lets take $K = \mathbb{Q}(\mu_n)$), then by Hilbert irreducibility, $Y_K\rightarrow X_K$ has infinitely many connected fibers. More specifically, the $K$-points of $X_K$ over which the fiber is disconnected is a thin subset of $X_K(K)$ (One key property of thin sets is that subsets of thin sets are also thin). Let "$A$" denote this subset.

Since $Y_K\rightarrow X_K$ is $G$-Galois, these connected fibers are just $G$-Galois field extensions of $\mathbb{Q}$.

Now consider the set "$B$" of $\mathbb{Q}$-points of $X$, viewed as a subset of $X_K(K)$. I.e., given any map $\text{Spec }\mathbb{Q}\rightarrow X$, we can pull back this map by the natural base change map $X_K\rightarrow X$ to get a map $\text{Spec }K\rightarrow X_K$.

This set $B\subset X_K(K)$ is not thin (e.g. Proposition 3.2.1 in Serre's Topics in Galois Theory). Thus, we have two subsets $A,B\subset X_K(K)$, where $A$ is thin, and $B$ is not thin, and so $B$ is not contained in $A$ - In order words, there exist a $K$-point $x_K\in X_K(K)$, which have connected fiber in $Y_K$, which actually come from a $\mathbb{Q}$-point $x\in X(\mathbb{Q})$, but this means that the fiber of $Y\rightarrow X$ above this $\mathbb{Q}$-point $x$ is connected, and so is equal to $\text{Spec }L$ for some $G$-Galois extension $L/\mathbb{Q}$, and furthermore, since the connected fiber of $Y_K\rightarrow X_K$ above $x_K$ is $$\text{Spec }L\times_{\text{Spec }\mathbb{Q}}\text{Spec }K = \text{Spec }L\otimes_{\mathbb{Q}} K$$ this implies that $L\otimes_\mathbb{Q}K$ is a field - in particular $L\cap K = \mathbb{Q}$.

What this says is that if the "regular inverse galois problem" is true for $G$, then for any number field $K$, one can find $G$-Galois extensions of $\mathbb{Q}$ which intersect $K$ trivially.

If there exists a regular extension of $\mathbb{Q}(t)$ with Galois group $G := GL_2(\mathbb{Z}/n)$ (ie, $\mathbb{Q}$ is algebraically closed inside the extension), then the answer to your question is no.

I believe it's expected, and certainly proved in some cases, that $GL_2(\mathbb{Z}/n)$ occurs as a regular Galois group over $\mathbb{Q}(t)$, though I'm having trouble finding references.

Specifically, take a regular $G$-Galois extension of $\mathbb{Q}(t)$, which corresponds to a $G$-Galois cover $Y\rightarrow X$, where $X$ is some open subscheme of $\mathbb{P}^1_{\mathbb{Q}}$.

Let $K$ be any number field (for our purposes lets take $K = \mathbb{Q}(\mu_n)$), then by Hilbert irreducibility, $Y_K\rightarrow X_K$ has infinitely many connected fibers. More specifically, the $K$-points of $X_K$ over which the fiber is disconnected is a thin subset of $X_K(K)$ (One key property of thin sets is that subsets of thin sets are also thin). Let "$A$" denote this subset.

Since $Y_K\rightarrow X_K$ is $G$-Galois, these connected fibers are just $G$-Galois field extensions of $\mathbb{Q}$.

Now consider the set "$B$" of $\mathbb{Q}$-points of $X$, viewed as a subset of $X_K(K)$. I.e., given any map $\text{Spec }\mathbb{Q}\rightarrow X$, we can pull back this map by the natural base change map $X_K\rightarrow X$ to get a map $\text{Spec }K\rightarrow X_K$.

This set $B\subset X_K(K)$ is not thin (e.g. Proposition 3.2.1 in Serre's Topics in Galois Theory). Thus, we have two subsets $A,B\subset X_K(K)$, where $A$ is thin, and $B$ is not thin, and so $B$ is not contained in $A$ - In order words, there exist a $K$-point $x_K\in X_K(K)$, which have connected fiber in $Y_K$, which actually come from a $\mathbb{Q}$-point $x\in X(\mathbb{Q})$, but this means that the fiber of $Y\rightarrow X$ above this $\mathbb{Q}$-point $x$ is connected, and so is equal to $\text{Spec }L$ for some $G$-Galois extension $L/\mathbb{Q}$, and furthermore, since the connected fiber of $Y_K\rightarrow X_K$ above $x_K$ is $$\text{Spec }L\times_{\text{Spec }\mathbb{Q}}\text{Spec }K = \text{Spec }L\otimes_{\mathbb{Q}} K$$ this implies that $L\otimes_\mathbb{Q}K$ is a field - in particular $L\cap K = \mathbb{Q}$.

What this says is that if the "regular inverse galois problem" is true for $G$, then for any number field $K$, one can find $G$-Galois extensions of $\mathbb{Q}$ which intersect $K$ trivially.

If there exists a regular extension of $\mathbb{Q}(t)$ with Galois group $G := GL_2(\mathbb{Z}/n)$ (ie, $\mathbb{Q}$ is algebraically closed inside the extension), then the answer to your original question ("Is every $GL_2(\mathbb{Z}/n)$-extension of $\mathbb{Q}$ contained in some elliptic curve's torsion field?") is negative.

I believe it's expected, and certainly proved in some cases, that $GL_2(\mathbb{Z}/n)$ occurs as a regular Galois group over $\mathbb{Q}(t)$, though I'm having trouble finding references.

Specifically, take a regular $G$-Galois extension of $\mathbb{Q}(t)$, which corresponds to a $G$-Galois cover $Y\rightarrow X$, where $X$ is some open subscheme of $\mathbb{P}^1_{\mathbb{Q}}$.

Let $K$ be any number field (for our purposes lets take $K = \mathbb{Q}(\mu_n)$), then by Hilbert irreducibility, $Y_K\rightarrow X_K$ has infinitely many connected fibers. More specifically, the $K$-points of $X_K$ over which the fiber is disconnected is a thin subset of $X_K(K)$ (One key property of thin sets is that subsets of thin sets are also thin). Let "$A$" denote this subset.

Since $Y_K\rightarrow X_K$ is $G$-Galois, these connected fibers are just $G$-Galois field extensions of $\mathbb{Q}$.

Now consider the set "$B$" of $\mathbb{Q}$-points of $X$, viewed as a subset of $X_K(K)$. I.e., given any map $\text{Spec }\mathbb{Q}\rightarrow X$, we can pull back this map by the natural base change map $X_K\rightarrow X$ to get a map $\text{Spec }K\rightarrow X_K$.

This set $B\subset X_K(K)$ is not thin (e.g. Proposition 3.2.1 in Serre's Topics in Galois Theory). Thus, we have two subsets $A,B\subset X_K(K)$, where $A$ is thin, and $B$ is not thin, and so $B$ is not contained in $A$ - In order words, there exist a $K$-point $x_K\in X_K(K)$, which have connected fiber in $Y_K$, which actually come from a $\mathbb{Q}$-point $x\in X(\mathbb{Q})$, but this means that the fiber of $Y\rightarrow X$ above this $\mathbb{Q}$-point $x$ is connected, and so is equal to $\text{Spec }L$ for some $G$-Galois extension $L/\mathbb{Q}$, and furthermore, since the connected fiber of $Y_K\rightarrow X_K$ above $x_K$ is $$\text{Spec }L\times_{\text{Spec }\mathbb{Q}}\text{Spec }K = \text{Spec }L\otimes_{\mathbb{Q}} K$$ this implies that $L\otimes_\mathbb{Q}K$ is a field - in particular $L\cap K = \mathbb{Q}$.

What this says is that if the "regular inverse galois problem" is true for $G$, then for any number field $K$, one can find $G$-Galois extensions of $\mathbb{Q}$ which intersect $K$ trivially.

Source Link
Will Chen
  • 10.7k
  • 2
  • 32
  • 74

If there exists a regular extension of $\mathbb{Q}(t)$ with Galois group $G := GL_2(\mathbb{Z}/n)$ (ie, $\mathbb{Q}$ is algebraically closed inside the extension), then the answer to your question is no.

I believe it's expected, and certainly proved in some cases, that $GL_2(\mathbb{Z}/n)$ occurs as a regular Galois group over $\mathbb{Q}(t)$, though I'm having trouble finding references.

Specifically, take a regular $G$-Galois extension of $\mathbb{Q}(t)$, which corresponds to a $G$-Galois cover $Y\rightarrow X$, where $X$ is some open subscheme of $\mathbb{P}^1_{\mathbb{Q}}$.

Let $K$ be any number field (for our purposes lets take $K = \mathbb{Q}(\mu_n)$), then by Hilbert irreducibility, $Y_K\rightarrow X_K$ has infinitely many connected fibers. More specifically, the $K$-points of $X_K$ over which the fiber is disconnected is a thin subset of $X_K(K)$ (One key property of thin sets is that subsets of thin sets are also thin). Let "$A$" denote this subset.

Since $Y_K\rightarrow X_K$ is $G$-Galois, these connected fibers are just $G$-Galois field extensions of $\mathbb{Q}$.

Now consider the set "$B$" of $\mathbb{Q}$-points of $X$, viewed as a subset of $X_K(K)$. I.e., given any map $\text{Spec }\mathbb{Q}\rightarrow X$, we can pull back this map by the natural base change map $X_K\rightarrow X$ to get a map $\text{Spec }K\rightarrow X_K$.

This set $B\subset X_K(K)$ is not thin (e.g. Proposition 3.2.1 in Serre's Topics in Galois Theory). Thus, we have two subsets $A,B\subset X_K(K)$, where $A$ is thin, and $B$ is not thin, and so $B$ is not contained in $A$ - In order words, there exist a $K$-point $x_K\in X_K(K)$, which have connected fiber in $Y_K$, which actually come from a $\mathbb{Q}$-point $x\in X(\mathbb{Q})$, but this means that the fiber of $Y\rightarrow X$ above this $\mathbb{Q}$-point $x$ is connected, and so is equal to $\text{Spec }L$ for some $G$-Galois extension $L/\mathbb{Q}$, and furthermore, since the connected fiber of $Y_K\rightarrow X_K$ above $x_K$ is $$\text{Spec }L\times_{\text{Spec }\mathbb{Q}}\text{Spec }K = \text{Spec }L\otimes_{\mathbb{Q}} K$$ this implies that $L\otimes_\mathbb{Q}K$ is a field - in particular $L\cap K = \mathbb{Q}$.

What this says is that if the "regular inverse galois problem" is true for $G$, then for any number field $K$, one can find $G$-Galois extensions of $\mathbb{Q}$ which intersect $K$ trivially.