An official website of the United States government
Abstract For$$g\ge 2$$and$$n\ge 0$$, let$$\mathcal {H}_{g,n}\subset \mathcal {M}_{g,n}$$denote the complex moduli stack ofn-marked smooth hyperelliptic curves of genusg. A normal crossings compactification of this space is provided by the theory of pointed admissible$$\mathbb {Z}/2\mathbb {Z}$$-covers. We explicitly determine the resulting dual complex, and we use this to define a graph complex which computes the weight zero compactly supported cohomology of$$\mathcal {H}_{g, n}$$. Using this graph complex, we give a sum-over-graphs formula for the$$S_n$$-equivariant weight zero compactly supported Euler characteristic of$$\mathcal {H}_{g, n}$$. This formula allows for the computer-aided calculation, for each$$g\le 7$$, of the generating function$$\mathsf {h}_g$$for these equivariant Euler characteristics for alln. More generally, we determine the dual complex of the boundary in any moduli space of pointed admissibleG-covers of genus zero curves, whenGis abelian, as a symmetric$$\Delta $$-complex. We use these complexes to generalize our formula for$$\mathsf {h}_g$$to moduli spaces ofn-pointed smooth abelian covers of genus zero curves.
more »
« less
This content will become publicly available on March 1, 2026
SOME CASES OF OORT’S CONJECTURE ABOUT NEWTON POLYGONS OF CURVES
Abstract This paper contains a method to prove the existence of smooth curves in positive characteristic whose Jacobians have unusual Newton polygons. Using this method, I give a new proof that there exist supersingular curves of genus$$4$$in every prime characteristic. More generally, the main result of the paper is that, for every$$g \geq 4$$and primep, every Newton polygon whosep-rank is at least$$g-4$$occurs for a smooth curve of genusgin characteristicp. In addition, this method resolves some cases of Oort’s conjecture about Newton polygons of curves.
more »
« less
- Award ID(s):
- 2200418
- PAR ID:
- 10623809
- Publisher / Repository:
- Cambridge University Press
- Date Published:
- Journal Name:
- Nagoya Mathematical Journal
- Volume:
- 257
- ISSN:
- 0027-7630
- Page Range / eLocation ID:
- 93 to 103
- Subject(s) / Keyword(s):
- Curve, Jacobian, moduli space, Newton polygon, supersingular
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
We describe how the quadratic Chabauty method may be applied to determine the set of rational points on modular curves of genus$$g>1$$whose Jacobians have Mordell–Weil rank$$g$$. This extends our previous work on the split Cartan curve of level 13 and allows us to consider modular curves that may have few known rational points or non-trivial local height contributions at primes of bad reduction. We illustrate our algorithms with a number of examples where we determine the set of rational points on several modular curves of genus 2 and 3: this includes Atkin–Lehner quotients$$X_0^+(N)$$of prime level$$N$$, the curve$$X_{S_4}(13)$$, as well as a few other curves relevant to Mazur's Program B. We also compute the set of rational points on the genus 6 non-split Cartan modular curve$$X_{\scriptstyle \mathrm { ns}} ^+ (17)$$.more » « less
-
Abstract Let$$\alpha \colon X \to Y$$be a finite cover of smooth curves. Beauville conjectured that the pushforward of a general vector bundle under$$\alpha $$is semistable if the genus ofYis at least$$1$$and stable if the genus ofYis at least$$2$$. We prove this conjecture if the map$$\alpha $$is general in any component of the Hurwitz space of covers of an arbitrary smooth curveY.more » « less
-
Abstract We study collections of subrings of$$H^*({\overline {\mathcal {M}}}_{g,n})$$that are closed under the tautological operations that map cohomology classes on moduli spaces of smaller dimension to those on moduli spaces of larger dimension and contain the tautological subrings. Such extensions of tautological rings are well-suited for inductive arguments and flexible enough for a wide range of applications. In particular, we confirm predictions of Chenevier and Lannes for the$$\ell $$-adic Galois representations and Hodge structures that appear in$$H^k({\overline {\mathcal {M}}}_{g,n})$$for$$k = 13$$,$$14$$and$$15$$. We also show that$$H^4({\overline {\mathcal {M}}}_{g,n})$$is generated by tautological classes for allgandn, confirming a prediction of Arbarello and Cornalba from the 1990s. In order to establish the final base cases needed for the inductive proofs of our main results, we use Mukai’s construction of canonically embedded pentagonal curves of genus 7 as linear sections of an orthogonal Grassmannian and a decomposition of the diagonal to show that the pure weight cohomology of$${\mathcal {M}}_{7,n}$$is generated by algebraic cycle classes, for$$n \leq 3$$.more » « less
-
For a finite group$$G$$of not prime power order, Oliver showed that the obstruction for a finite CW-complex$$F$$to be the fixed point set of a contractible finite$$G$$-CW-complex is determined by the Euler characteristic$$\chi (F)$$. (He also has similar results for compact Lie group actions.) We show that the analogous problem for$$F$$to be the fixed point set of a finite$$G$$-CW-complex of some given homotopy type is still determined by the Euler characteristic. Using trace maps on$$K_0$$[2, 7, 18], we also see that there are interesting roles for the fundamental group and the component structure of the fixed point set.more » « less
