7
$\begingroup$

Let $M_{g, n}$ be the moduli space of curves of genus $g$ with $n$ marked points. Let $M_{g, \vec{n}}$ be the moduli space of marked curves with a choice of a (possibly zero) tangent vector at each marked point. There is a map $i:M_{g, n}\to M_{g, \vec{n}}$ (the zero section), and there is a log structure on $M_{g, \vec{n}}$ associated to the normal crossings divisor which is the complement to the locus where all specified tangent vectors are nonzero. Let $M_{g, n}^{log}$ be the pullback of this log structure on $M_{g, \vec{n}}$ to $M_{g, n}$ along $i.$

Question: what is $M_{g, n}^{log}$ called? Who has studied it? At one point I heard the term "log moduli space of curves with log structure" floating around, though I've never seen it explicitly defined. Is my $M_{g, n}^{log}$ the (restriction from $\bar{M}_{g,n}$ to $M_{g,n}$) of this log moduli space?

$\endgroup$
7
  • $\begingroup$ Could you please explain what it means to pull back a log structure along a morphism of varieties? I seems to me that every time you have an open subscheme U⊂X with D:=X\U a normal crossing divisor, you can take the standard log structure on X associated to D and pull it back to the deepest stratum of D (whatever that means). What do you get in the case when X is affine n-space and D is a bunch of coordinate hyperplanes? $\endgroup$ Mar 23, 2018 at 23:44
  • $\begingroup$ Right, the log structure will be given by a local system of semigroups locally isomorphic to some power of the natural numbers. I don't think the local system will in general be trivial. $\endgroup$ Mar 23, 2018 at 23:52
  • 1
    $\begingroup$ Have you tried looking at this paper of Olsson? $\endgroup$ Mar 24, 2018 at 5:21
  • 1
    $\begingroup$ F. Kato: ams.org/mathscinet-getitem?mr=1754621 $\endgroup$ Mar 24, 2018 at 8:07
  • 2
    $\begingroup$ @DmitryVaintrob sorry, after reading Mattia's answer I realized I didn't read your question too carefully. What makes you think that the local system is not constant? Your marked points are ordered, and it seems that the $i$-th copy of the natural numbers corresponds to the $i$-th marked point. So it seems that your log structure is constant, i.e., the pull-back of the log structure on the log point ${\rm Spec}(\mathbf{N}^n\to \mathbf{C})$. $\endgroup$ Mar 24, 2018 at 19:30

2 Answers 2

5
$\begingroup$

As Piotr Achinger suggested in a comment, your log moduli space is the direct product of $M_{g,n}$ with the log point $\operatorname{Spec}(\mathbb{N}^n \to \mathbb{C})$ given by the monoid map $(x_1,\ldots,x_n) \mapsto 0$. The main reason is that the monoid $\mathbb{N}^n$ only has automorphisms given by reordering basis elements, and in this case, the basis elements are attached to marked points that have a specified order. That is, the local system is trivial for rather elementary reasons.

$\endgroup$
2
  • 1
    $\begingroup$ Sorry, after a little more thinking I ended up un-accepting this answer (based on Piotr's comment). The issue is that a family of constant $\mathbb{N}$-motives over a variety $X$ may not be (e.g. étale) locally constant, since it may be twisted by invertible functions on the base. As an example, if $L$ is a line bundle on $X$ and $X_L$ is the normal log structure on $X$ induced on $L$, its Kato-Nakayama space is the circle bundle associated to $L$, which remembers at least the Chern class (in Betti homology): something that can be nontrivial if $X$ is e.g. simply connected. $\endgroup$ Mar 25, 2018 at 22:49
  • $\begingroup$ @DmitryVaintrob I agree completely with your comment, and I plan to rewrite my answer in a few days (unless someone else writes a correct answer, in which case I will delete this). $\endgroup$
    – S. Carnahan
    Apr 1, 2018 at 9:10
4
$\begingroup$

(I'm not sure this is a real answer, but it was too long for a comment)

I've never seen the log structure you consider.

By "log moduli space of (stable) log curves" usually one refers to the natural log structure on $\overline{\mathcal M}_{g,n}$ given by the boundary normal crossings divisor $\Delta=\overline{\mathcal M}_{g,n}\setminus \mathcal M_{g,n}$. It turns out that the resulting log stack $(\overline{\mathcal M}_{g,n}, \Delta)$ represents the moduli functor of families of log smooth (stable) curves (with the right genus and "marked points") over the category of log schemes (I'm omitting some words, like fine saturated). This is in the paper by F. Kato linked by Piotr, and is also explained in this survey paper http://arxiv.org/abs/1006.5870 .

Of course if you restrict this log structure to $\mathcal M_{g,n}$ you obtain the trivial one. The log structure you describe is very different, as it's "supported everywhere" (as you point out in your comment).

$\endgroup$

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.