More Like this

1. Computing a categorical Gromov–Witten invariant

   https://doi.org/10.1112/S0010437X20007174  

   Căldăraru, Andrei ; Tu, Junwu ( July 2020 , Compositio Mathematica)

   null (Ed.)

   We compute the $g=1$ , $n=1$ B-model Gromov–Witten invariant of an elliptic curve $E$ directly from the derived category $\mathsf{D}_{\mathsf{coh}}^{b}(E)$ . More precisely, we carry out the computation of the categorical Gromov–Witten invariant defined by Costello using as target a cyclic $\mathscr{A}_{\infty }$ model of $\mathsf{D}_{\mathsf{coh}}^{b}(E)$ described by Polishchuk. This is the first non-trivial computation of a positive-genus categorical Gromov–Witten invariant, and the result agrees with the prediction of mirror symmetry: it matches the classical (non-categorical) Gromov–Witten invariants of a symplectic 2-torus computed by Dijkgraaf. 

   more » « less
2. A support theorem for\break the Hitchin fibration: The case of GL n and K C

   https://doi.org/10.1515/crelle-2021-0045  

   de Cataldo, Mark Andrea ; Heinloth, Jochen ; Migliorini, Luca ( August 2021 , Journal für die reine und angewandte Mathematik (Crelles Journal))

   We compute the supports of the perverse cohomology sheaves of the Hitchin fibration for${\mathrm{GL}}_n${\mathrm{GL}_{n}}over the locus of reduced spectral curves. In contrast to the case of meromorphic Higgs fields we find additional supports at the loci of reducible spectral curves. Their contribution to the global cohomology is governed by a finite twist of Hitchin fibrations for Levi subgroups. The corresponding summands give non-trivial contributions to the cohomology of the moduli spaces for every$n\ge 2${n\geq{2}}. A key ingredient is a restriction result for intersection cohomology sheaves that allows us to compare the fibration to the one defined over versal deformations of spectral curves.

    

   more » « less
3. Set Partitions, Fermions, and Skein Relations

   https://doi.org/10.1093/imrn/rnac110  

   Kim, Jesse ; Rhoades, Brendon ( May 2022 , International Mathematics Research Notices)

   Let $\Theta _n = (\theta _1, \dots , \theta _n)$ and $\Xi _n = (\xi _1, \dots , \xi _n)$ be two lists of $n$ variables, and consider the diagonal action of ${{\mathfrak {S}}}_n$ on the exterior algebra $\wedge \{ \Theta _n, \Xi _n \}$ generated by these variables. Jongwon Kim and the 2nd author defined and studied the fermionic diagonal coinvariant ring$FDR_n$ obtained from $\wedge \{ \Theta _n, \Xi _n \}$ by modding out by the ideal generated by the ${{\mathfrak {S}}}_n$-invariants with vanishing constant term. On the other hand, the 2nd author described an action of ${{\mathfrak {S}}}_n$ on the vector space with basis given by noncrossing set partitions of $\{1,\dots ,n\}$ using a novel family of skein relations that resolve crossings in set partitions. We give an isomorphism between a natural Catalan-dimensional submodule of $FDR_n$ and the skein representation. To do this, we show that set partition skein relations arise naturally in the context of exterior algebras. Our approach yields an ${{\mathfrak {S}}}_n$-equivariant way to resolve crossings in set partitions. We use fermions to clarify, sharpen, and extend the theory of set partition crossing resolution.

    

   more » « less
4. Overconvergent modular forms are highest-weight vectors in the Hodge-Tate weight zero part of completed cohomology

   https://doi.org/10.1017/fms.2021.16  

   Howe, Sean ( January 2021 , Forum of Mathematics, Sigma)

   null (Ed.)

   Abstract We construct a $(\mathfrak {gl}_2, B(\mathbb {Q}_p))$ and Hecke-equivariant cup product pairing between overconvergent modular forms and the local cohomology at $0$ of a sheaf on $\mathbb {P}^1$ , landing in the compactly supported completed $\mathbb {C}_p$ -cohomology of the modular curve. The local cohomology group is a highest-weight Verma module, and the cup product is non-trivial on a highest-weight vector for any overconvergent modular form of infinitesimal weight not equal to $1$ . For classical weight $k\geq 2$ , the Verma has an algebraic quotient $H^1(\mathbb {P}^1, \mathcal {O}(-k))$ , and on classical forms, the pairing factors through this quotient, giving a geometric description of ‘half’ of the locally algebraic vectors in completed cohomology; the other half is described by a pairing with the roles of $H^1$ and $H^0$ reversed between the modular curve and $\mathbb {P}^1$ . Under minor assumptions, we deduce a conjecture of Gouvea on the Hodge-Tate-Sen weights of Galois representations attached to overconvergent modular forms. Our main results are essentially a strict subset of those obtained independently by Lue Pan, but the perspective here is different, and the proofs are short and use simple tools: a Mayer-Vietoris cover, a cup product, and a boundary map in group cohomology. 

   more » « less
5. Cohomological Invariants in Positive Characteristic

   https://doi.org/10.1093/imrn/rnaa321  

   Totaro, Burt ( January 2021 , International Mathematics Research Notices)

   Abstract We determine the mod $p$ cohomological invariants for several affine group schemes $G$ in characteristic $p$. These are invariants of $G$-torsors with values in étale motivic cohomology, or equivalently in Kato’s version of Galois cohomology based on differential forms. In particular, we find the mod 2 cohomological invariants for the symmetric groups and the orthogonal groups in characteristic 2, which Serre computed in characteristic not 2. We also determine all operations on the mod $p$ étale motivic cohomology of fields, extending Vial’s computation of the operations on the mod $p$ Milnor K-theory of fields. 

   more » « less