Skip to main content
added 6 characters in body
Source Link
Makhalan Duff
  • 5.9k
  • 43
  • 80

To explain, I will use the following concrete example: Let $\mathcal{M}_g$ be the functor for the moduli problem of classifying genus $g$ smooth projective curves (taking a scheme $S$ to the set of ways that $S$ parametrizes genus $g$ curves). This, as is well known, has a coarse moduli space: $M_g$.

Let $\sigma \in Aut(\mathbb{C})$, and say that we begin with a specific $\mathbb{C}$-curve of genus $g$. This $\sigma$ may act in two ways on this curve (by act I mean turn it into a different curve, not act as meaning an automorphism):

  1. By taking a fiberedfiber product over the automorphism $Spec(\mathbb{C}) \rightarrow Spec(\mathbb{C})$ (this is the usual action people use, and has nothing to do with the moduli space)
  2. By letting $\sigma$ act on $M_g(\mathbb{C})$, the point corresponding to our curve, will be taken to another $\mathbb{C}$-point, which in turn corresponds to another curve.

The question is: do these two actions agree in general? Are there conditions that need to be fulfilled for this to be true?

As an aside, this is true if the moduli space is fine. For example, if the moduli of genus $g$ curves were fine (which it isn't), then the curve given bycorresponding to $Spec(\mathbb{C})\rightarrow M_g$ will be given simply by taking the fiber product with the universal family $E_g\rightarrow M_g$. Since fiber products commute, we get that the two actions above agree. This reasoning breaks down, however, if the moduli space is not fine.

To explain, I will use the following concrete example: Let $\mathcal{M}_g$ be the functor for the moduli problem of classifying genus $g$ smooth projective curves (taking a scheme $S$ to the set of ways that $S$ parametrizes genus $g$ curves). This, as is well known, has a coarse moduli space: $M_g$.

Let $\sigma \in Aut(\mathbb{C})$, and say that we begin with a specific $\mathbb{C}$-curve of genus $g$. This $\sigma$ may act in two ways on this curve (by act I mean turn it into a different curve, not act as meaning an automorphism):

  1. By taking a fibered product over the automorphism $Spec(\mathbb{C}) \rightarrow Spec(\mathbb{C})$ (this is the usual action people use, and has nothing to do with the moduli space)
  2. By letting $\sigma$ act on $M_g(\mathbb{C})$, the point corresponding to our curve, will be taken to another $\mathbb{C}$-point, which in turn corresponds to another curve.

The question is: do these two actions agree in general? Are there conditions that need to be fulfilled for this to be true?

As an aside, this is true if the moduli space is fine. For example, if the moduli of genus $g$ curves were fine (which it isn't), then the curve given by $Spec(\mathbb{C})\rightarrow M_g$ will be given simply by taking the fiber product with the universal family $E_g\rightarrow M_g$. Since fiber products commute, we get that the two actions above agree. This reasoning breaks down, however, if the moduli space is not fine.

To explain, I will use the following concrete example: Let $\mathcal{M}_g$ be the functor for the moduli problem of classifying genus $g$ smooth projective curves (taking a scheme $S$ to the set of ways that $S$ parametrizes genus $g$ curves). This, as is well known, has a coarse moduli space: $M_g$.

Let $\sigma \in Aut(\mathbb{C})$, and say that we begin with a specific $\mathbb{C}$-curve of genus $g$. This $\sigma$ may act in two ways on this curve (by act I mean turn it into a different curve, not act as meaning an automorphism):

  1. By taking a fiber product over the automorphism $Spec(\mathbb{C}) \rightarrow Spec(\mathbb{C})$ (this is the usual action people use, and has nothing to do with the moduli space)
  2. By letting $\sigma$ act on $M_g(\mathbb{C})$, the point corresponding to our curve, will be taken to another $\mathbb{C}$-point, which in turn corresponds to another curve.

The question is: do these two actions agree in general? Are there conditions that need to be fulfilled for this to be true?

As an aside, this is true if the moduli space is fine. For example, if the moduli of genus $g$ curves were fine (which it isn't), then the curve corresponding to $Spec(\mathbb{C})\rightarrow M_g$ will be given simply by taking the fiber product with the universal family $E_g\rightarrow M_g$. Since fiber products commute, we get that the two actions above agree. This reasoning breaks down, however, if the moduli space is not fine.

Source Link
Makhalan Duff
  • 5.9k
  • 43
  • 80

Do coarse moduli spaces respect Galois actions?

To explain, I will use the following concrete example: Let $\mathcal{M}_g$ be the functor for the moduli problem of classifying genus $g$ smooth projective curves (taking a scheme $S$ to the set of ways that $S$ parametrizes genus $g$ curves). This, as is well known, has a coarse moduli space: $M_g$.

Let $\sigma \in Aut(\mathbb{C})$, and say that we begin with a specific $\mathbb{C}$-curve of genus $g$. This $\sigma$ may act in two ways on this curve (by act I mean turn it into a different curve, not act as meaning an automorphism):

  1. By taking a fibered product over the automorphism $Spec(\mathbb{C}) \rightarrow Spec(\mathbb{C})$ (this is the usual action people use, and has nothing to do with the moduli space)
  2. By letting $\sigma$ act on $M_g(\mathbb{C})$, the point corresponding to our curve, will be taken to another $\mathbb{C}$-point, which in turn corresponds to another curve.

The question is: do these two actions agree in general? Are there conditions that need to be fulfilled for this to be true?

As an aside, this is true if the moduli space is fine. For example, if the moduli of genus $g$ curves were fine (which it isn't), then the curve given by $Spec(\mathbb{C})\rightarrow M_g$ will be given simply by taking the fiber product with the universal family $E_g\rightarrow M_g$. Since fiber products commute, we get that the two actions above agree. This reasoning breaks down, however, if the moduli space is not fine.