We prove that the rational cohomology group
This content will become publicly available on June 1, 2025
The wellstudied moduli space of complex cubic surfaces has three different, but isomorphic, compact realizations: as a GIT quotient
 Award ID(s):
 2101640
 NSFPAR ID:
 10504954
 Publisher / Repository:
 Cambridge University Press
 Date Published:
 Journal Name:
 Nagoya Mathematical Journal
 Volume:
 254
 ISSN:
 00277630
 Page Range / eLocation ID:
 315 to 365
 Format(s):
 Medium: X
 Sponsoring Org:
 National Science Foundation
More Like this

Abstract vanishes unless$H^{11}(\overline {\mathcal {M}}_{g,n})$ and$g = 1$ . We show furthermore that$n \geq 11$ is pure Hodge–Tate for all even$H^k(\overline {\mathcal {M}}_{g,n})$ and deduce that$k \leq 12$ is surprisingly well approximated by a polynomial in$\# \overline {\mathcal {M}}_{g,n}(\mathbb {F}_q)$ q . In addition, we use and its image under Gysin pushforward for tautological maps to produce many new examples of moduli spaces of stable curves with nonvanishing odd cohomology and nontautological algebraic cycle classes in Chow cohomology.$H^{11}(\overline {\mathcal {M}}_{1,11})$ 
Abstract For any subset
, consider the set$Z \subseteq {\mathbb {Q}}$ of subfields$S_Z$ which contain a coinfinite subset$L\subseteq {\overline {\mathbb {Q}}}$ that is universally definable in$C \subseteq L$ L such that . Placing a natural topology on the set$C \cap {\mathbb {Q}}=Z$ of subfields of${\operatorname {Sub}({\overline {\mathbb {Q}}})}$ , we show that if${\overline {\mathbb {Q}}}$ Z is not thin in , then${\mathbb {Q}}$ is meager in$S_Z$ . Here,${\operatorname {Sub}({\overline {\mathbb {Q}}})}$ thin andmeager both mean “small”, in terms of arithmetic geometry and topology, respectively. For example, this implies that only a meager set of fieldsL have the property that the ring of algebraic integers is universally definable in$\mathcal {O}_L$ L . The main tools are Hilbert’s Irreducibility Theorem and a new normal form theorem for existential definitions. The normal form theorem, which may be of independent interest, says roughly that every definable subset of an algebraic extension of$\exists $ is a finite union of single points and projections of hypersurfaces defined by absolutely irreducible polynomials.${\mathbb Q}$ 
Abstract Given a family
of bipartite graphs, the$\mathcal{F}$ Zarankiewicz number is the maximum number of edges in an$z(m,n,\mathcal{F})$ by$m$ bipartite graph$n$ that does not contain any member of$G$ as a subgraph (such$\mathcal{F}$ is called$G$ $\mathcal{F}$ free ). For , a family$1\leq \beta \lt \alpha \lt 2$ of bipartite graphs is$\mathcal{F}$ $(\alpha,\beta )$ smooth if for some and every$\rho \gt 0$ ,$m\leq n$ . Motivated by their work on a conjecture of Erdős and Simonovits on compactness and a classic result of Andrásfai, Erdős and Sós, Allen, Keevash, Sudakov and Verstraëte proved that for any$z(m,n,\mathcal{F})=\rho m n^{\alpha 1}+O(n^\beta )$ smooth family$(\alpha,\beta )$ , there exists$\mathcal{F}$ such that for all odd$k_0$ and sufficiently large$k\geq k_0$ , any$n$ vertex$n$ free graph with minimum degree at least$\mathcal{F}\cup \{C_k\}$ is bipartite. In this paper, we strengthen their result by showing that for every real$\rho (\frac{2n}{5}+o(n))^{\alpha 1}$ , there exists$\delta \gt 0$ such that for all odd$k_0$ and sufficiently large$k\geq k_0$ , any$n$ vertex$n$ free graph with minimum degree at least$\mathcal{F}\cup \{C_k\}$ is bipartite. Furthermore, our result holds under a more relaxed notion of smoothness, which include the families$\delta n^{\alpha 1}$ consisting of the single graph$\mathcal{F}$ when$K_{s,t}$ . We also prove an analogous result for$t\gg s$ free graphs for every$C_{2\ell }$ , which complements a result of Keevash, Sudakov and Verstraëte.$\ell \geq 2$ 
We study the spaces of twisted conformal blocks attached to a
curve$\Gamma$ with marked$\Sigma$ orbits and an action of$\Gamma$ on a simple Lie algebra$\Gamma$ , where$\mathfrak {g}$ is a finite group. We prove that if$\Gamma$ stabilizes a Borel subalgebra of$\Gamma$ , then the propagation theorem and factorization theorem hold. We endow a flat projective connection on the sheaf of twisted conformal blocks attached to a smooth family of pointed$\mathfrak {g}$ curves; in particular, it is locally free. We also prove that the sheaf of twisted conformal blocks on the stable compactification of Hurwitz stack is locally free. Let$\Gamma$ be the parahoric Bruhat–Tits group scheme on the quotient curve$\mathscr {G}$ obtained via the$\Sigma /\Gamma$ invariance of Weil restriction associated to$\Gamma$ and the simply connected simple algebraic group$\Sigma$ with Lie algebra$G$ . We prove that the space of twisted conformal blocks can be identified with the space of generalized theta functions on the moduli stack of quasiparabolic$\mathfrak {g}$ torsors on$\mathscr {G}$ when the level$\Sigma /\Gamma$ is divisible by$c$ (establishing a conjecture due to Pappas and Rapoport).$\Gamma $ 
Abstract For
and$g\ge 2$ , let$n\ge 0$ denote the complex moduli stack of$\mathcal {H}_{g,n}\subset \mathcal {M}_{g,n}$ n marked smooth hyperelliptic curves of genusg . A normal crossings compactification of this space is provided by the theory of pointed admissible 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$\mathbb {Z}/2\mathbb {Z}$ . Using this graph complex, we give a sumovergraphs formula for the$\mathcal {H}_{g, n}$ equivariant weight zero compactly supported Euler characteristic of$S_n$ . This formula allows for the computeraided calculation, for each$\mathcal {H}_{g, n}$ , of the generating function$g\le 7$ for these equivariant Euler characteristics for all$\mathsf {h}_g$ n . More generally, we determine the dual complex of the boundary in any moduli space of pointed admissibleG covers of genus zero curves, whenG is abelian, as a symmetric complex. We use these complexes to generalize our formula for$\Delta $ to moduli spaces of$\mathsf {h}_g$ n pointed smooth abelian covers of genus zero curves.