Related papers: Siegel modular forms arising from higher Chow cycl…
We present a Serre-type conjecture on the modularity of four-dimensional symplectic mod p Galois representations. We assume that the Galois representation is irreducible and odd (in the symplectic sense). The modularity condition is…
We give a summary of results for dimensions of spaces of cuspidal Siegel modular forms of degree 2. These results together with a list of dimensions of the irreducible representations of the finite groups GSp(4,Fp) are then used to produce…
We show that certain characteristic varieties of a finitely generated module over a given Weyl algebra arising from weighted degree filtrations are equal to the critical cone of some other characteristic varieties. This behaviour of the…
We extend Igusa's description of the relation between invariants of binary sextics and Siegel modular forms of degree two to a relation between covariants and vector-valued Siegel modular forms of degree two. We show how this relation can…
In a previous paper we constructed $\textit{higher}$ theta series for unitary groups over function fields, and conjectured their modularity properties. Here we prove the generic modularity of the $\ell$-adic realization of higher theta…
We prove an equidistribution theorem for a family of holomorphic Siegel cusp forms for $GSp_4/\mathbb{Q}$ in various aspects. A main tool is Arthur's invariant trace formula. While Shin and Shin-Templier used Euler-Poincar\'e functions at…
We give a complete picture of when the tensor product of an induced module and a Weyl module is a tilting module for the algebraic group $SL_2$ over an algebraically closed field of characteristic $p$. Whilst the result is recursive by…
To every $k$-dimensional modular invariant vector space we associate a modular form on $SL(2,\mathbb{Z})$ of weight $2k$. We explore number theoretic properties of this form and find a sufficient condition for its vanishing which yields…
The cosimplicial scheme $$Delta^bullet = \Delta^0 smallmatrix \to smallmatrix \Delta^1 smallmatrix to smallmatrix ...;\quad \Delta^n :=\Spec\Big(k[t_0,...c,t_n]/(\sum t_i -t)\Big)$$ was used in B to define higher Chow groups. In this note,…
Any smooth, projective variety satisfies the Hodge conjecture in codimension one, known as the Lefschetz (1,1) theorem. Totaro formulated a version for singular varieties. He asked whether the natural Bloch-Gillet-Soul\'{e} cycle class map…
In this paper we study the category of graded modules for the current algebra associated to $\mathfrak{sl}_2$. The category enjoys many nice properties, including a tilting theory which was established in previous work of the authors. We…
Let $F$ be a nearly holomorphic vector-valued Siegel modular form of weight $\rho$ with respect to some congruence subgroup of $\mathrm{Sp}_{2n}(\mathbb Q)$. In this note, we prove that the function on $\mathrm{Sp}_{2n}(\mathbb R)$ obtained…
We study generating series encoding linking numbers between geodesics in arithmetic hyperbolic $3$-folds. We show that the series converge to functions on genus $2$ Siegel space and that certain explicit modifications have the…
Let $\overline{\rho}: G_{\mathbf{Q}} \rightarrow {\rm GSp}_4(\mathbf{F}_3)$ be a continuous Galois representation with cyclotomic similitude character -- or, what turns out to be equivalent, the Galois representation associated to the…
This article describes results of joint work with Michael Rapoport and Tonghai Yang. First, we construct an modular form \phi(\tau) of weight 3/2 valued in the arithmetic Chow group of the arithmetic surface M attached toa Shimura curve…
We investigate the representations of a class of conformal Galilei algebras in one spatial dimension with central extension. This is done by explicitly constructing all singular vectors within the Verma modules, proving their completeness…
In this paper, we prove a minimal modularity lifting theorem for Galois representations (conjecturally) associated to Siegel modular forms of genus two which are holomorphic limits of discrete series at infinity.
We describe an algorithmic method to determine the image of restriction maps for Siegel modular forms with \textit{arbitrary} characters and arbitrary weight. A program has been implemented in the mathematical software \texttt{Java} to…
We construct a collection of families of higher Chow cycles of type $(2,1)$ on a 2-dimensional family of Kummer surfaces, and prove that for a very general member, they generate a subgroup of rank $\ge 18$ in the indecomposable part of the…
We show that mod $2$ cohomological invariants of the moduli stack $\mathscr{M}_{3,n}$ of smooth pointed curves of genus three contain a free module with generators in degree $0$, $2$, $3$, $4$ and $6$, formed by the invariants of the…