English

Extreme Divisors on $\bar{M}_{0,7}$ and Differences over Characteristic 2

Algebraic Geometry 2022-03-29 v1

Abstract

We find 101,052 new extreme divisors on Mˉ0,7\bar{M}_{0,7} (in 31 S7S_7-orbits) and millions of extreme nef curves over characteristic 0. Over characteristic 2, we identify two more S7S_7-orbits of extreme divisors, and prove Effˉk(Mˉ0,n)\bar{\text{Eff}}^k (\bar{M}_{0,n}) is strictly larger over characteristic 2 than it is over characteristic 0, for all 1kn61\leq k \leq n-6. For each such kk we provide explicit cycles which are extreme in Effk(Mˉ0,n)\text{Eff}^k(\bar{M}_{0,n}) over characteristic 2 but external to Effˉk(Mˉ0,n)\bar{\text{Eff}}^k(\bar{M}_{0,n}) over characteristic 0. We apply our method of finding new extreme divisors to compute Eff(Mˉ0,A)\text{Eff}(\bar{M}_{0,\mathcal{A}}) for A=(13,13,13,13,13,13,1)\mathcal{A}=(\frac{1}{3}, \frac{1}{3}, \frac{1}{3}, \frac{1}{3}, \frac{1}{3}, \frac{1}{3}, 1), proving it is polyhedral over any field, and conjecture a description of Eff(BleLMˉ7)\text{Eff}(\text{Bl}_e \bar{LM}_7).

Keywords

Cite

@article{arxiv.2203.13917,
  title  = {Extreme Divisors on $\bar{M}_{0,7}$ and Differences over Characteristic 2},
  author = {Mathieu Dutour Sikirić and Eric Jovinelly},
  journal= {arXiv preprint arXiv:2203.13917},
  year   = {2022}
}

Comments

73 pages, 5 figures