Related papers: Explicit Computation of Cusp forms via Hecke Actio…

We study the weight 2 graded piece of the compactly supported rational cohomology of the moduli spaces of curves $M_{g,n}$ and show that this can be computed as the cohomology of a graph complex that is closely related to graph complexes…

We exhibit algorithms to compute systems of Hecke eigenvalues for spaces of Hilbert modular forms over a totally real field. We provide many explicit examples as well as applications to modularity and Galois representations.

Let~$X=\Po/\Gamma$ be an~$n$-punctured sphere, $n>3$. We introduce and study~$n-3$ deformation operators on the space of modular forms~$M_*(\Gamma)$ based on the classical theory of uniformizing differential equations and accessory…

Let S_{w+2} be the vector space of cusp forms of weight w+2 on the full modular group, and let S_{w+2}^* denote its dual space. Periods of cusp forms can be regarded as elements of S_{w+2}^*. The Eichler-Shimura isomorphism theorem asserts…

Let $\Gamma$ be a finite d-valent graph and G an n-dimensional torus. An ``action'' of G on $\Gamma$ is defined by a map, $\alpha$, which assigns to each oriented edge e of $\Gamma$ a one-dimensional representation of G (or, alternatively,…

We present and discuss an algorithm and its implementation that is capable of directly determining Fourier expansions of any vector-valued modular form of weight at least $2$ associated with representations whose kernel is a congruence…

Second-order automorphic forms are similar to the usual automorphic forms but have a weaker automorphy condition. We answer a question of Zagier and find the dimensions of spaces of holomorphic, even weight, second-order forms. We also…

We compute tables of paramodular forms of degree two and cohomological weight via a correspondence with orthogonal modular forms on quinary lattices.

We describe an approach to calculating the cohomology rings of stable map spaces. The method we use is due to Akildiz-Carrell and employs a C^*-action and a vector field which is equivariant with respect to this C^*-action. We give an…

We prove several dimension formulas for spaces of scalar-valued Siegel modular forms of degree $2$ with respect to certain congruence subgroups of level $4$. In case of cusp forms, all modular forms considered originate from cuspidal…

We consider spaces of modular forms attached to definite orthogonal groups of low even rank and nontrivial level, equipped with Hecke operators defined by Kneser neighbours. After reviewing algorithms to compute with these spaces, we…

We develop a geometric version of the circle method and use it to compute the compactly supported cohomology of the space of rational curves through a point on a smooth affine hypersurface of sufficiently low degree.

We compute the stable cohomology of moduli spaces of hyperelliptic curves of a fixed genus embedded on a fixed Hirzebruch surface. We also describe these moduli spaces of embedded hyperelliptic curves in terms of moduli spaces of pointed…

We construct the cohomology groups with compact support of stacks of shtukas with $\mathbb Z_{\ell}$-coefficients. We construct the cuspidal cohomology groups and prove that they are $\mathbb Z_{\ell}$-modules of finite type. We prove that…

In 2003, Kedlaya gave an algorithm to compute the zeta function associated to a hyperelliptic curve over a finite field, by computing the rigid cohomology of the curve. Edixhoven remarked that it is actually possible to compute the…

This is a report on recent work, with Wen-Ching Winnie Li and Ling Long. In that work explicit formulas are given, involving hypergeometric character sums, for the traces of Hecke operators $T_p$ acting spaces of cusp forms $S_k(\Gamma)$ of…

We determine the moduli space of classical solutions to the field equations of Poisson Sigma Models on arbitrary Riemann surfaces for Poisson structures with vanishing Poisson form class. This condition ensures the existence of a…

We give a new, simple proof of the trace formula for Hecke operators on modular forms for finite index subgroups of the modular group. The proof uses algebraic properties of certain universal Hecke operators acting on period polynomials of…

We compute generators and relations for a certain $2$-adic Hecke algebra of level $8$ associated with the double cover of $\mathrm{SL}_2$ and a $2$-adic Hecke algebra of level $4$ associated with $\mathrm{PGL}_2$. We show that these two…

The Eichler-Shimura isomorphism realizes the automorphic representation generated by an automorphic newform in certain cohomology of an arithmetic group. In this short note, we give a cohomological interpretation of the Eichler-Shimura…