Related papers: Explainable Ramanujan-type Congruences on Square-C…

For unitary groups associated to a ramified quadratic extension of a $p$-adic field, we define various regular formal moduli spaces of $p$-divisible groups with parahoric levels, characterize exceptional special divisors on them, and…

When Mike Hirschhorn showed us his lovely gem, that gives the simplest-to-date proof of Ramanujan's famous result that p(11n+6) is divisible by 11, we realized that his amazing method can be extended, and taught to a computer, and can prove…

This paper describes the theory of Jacobi curves, a far reaching extension of the spaces of Jacobi fields along Riemannian geodesics, developed by Agrachev and Zelenko. Jacobi curves are curves in the Lagrangian Grassmannian of a symplectic…

The combinatorial description via ribbon graphs of the moduli space of Riemann surfaces makes it possible to define combinatorial cycles in a natural way. Witten and Kontsevich first conjectured that these classes are polynomials in the…

The Ramanujan polynomials arise in three intertwined contexts. As remarked by BerndtEvans-Wilson, no combinatorial perspective seems to be alluded to in the original definition of Ramanujan. On a different stage, Dumont-Ramamonjisoa…

We describe higher dimensional generalizations of Ramanujan's classical differential relations satisfied by the Eisenstein series $E_2$, $E_4$, $E_6$. Such "higher Ramanujan equations" are given geometrically in terms of vector fields…

We study congruences between cuspidal modular forms and Eisenstein series at levels which are square-free integers and for equal even weights. This generalizes our previous results from Naskr\k{e}cki [17] for prime levels and provides…

This paper classifies and constructs explicitly all the irreducible representations of affine Hecke algebras of rank two root systems. The methods used to obtain this classification are primarily combinatorial and are, for the most part, an…

Given a rational elliptic curve E, a suitable imaginary quadratic field K and a quaternionic Hecke eigenform g of weight 2 obtained from E by level raising such that the sign in the functional equation for L_K(E,s) (respectively, L_K(g,1))…

Bruinier and Ono recently developed the theory of generalized Borcherds products, which uses coefficients of certain Maass forms as exponents in infinite product expansions of meromorphic modular forms. Using this, one can use classical…

We study congruences involving truncated hypergeometric series of the form_rF_{r-1}(1/2,...,1/2;1,...,1;\lambda)_{(mp^s-1)/2} = \sum_{k=0}^{(mp^s-1)/2} ((1/2)_k/k!)^r \lambda^k where p is a prime and m, s, r are positive integers. These…

Let $K$ be an imaginary quadratic field. Modular forms for GL(2) over $K$ are known as Bianchi modular forms. Standard modularity conjectures assert that every weight 2 rational Bianchi newform has either an associated elliptic curve over…

Let $p$ be a prime number and $N$ an integer prime to $p$. We show that the operator $U_p$ on the space of cuspidal modular forms of level $pN$ and weight two is semi-simple. It follows from this that the Hecke algebra acting on the space…

The study of arithmetic properties of coefficients of modular forms $f(\tau) = \sum a(n)q^n$ has a rich history, including deep results regarding congruences in arithmetic progressions. Recently, work of C.-S. Radu, S. Ahlgren, B. Kim, N.…

The Pappas-Rapoport coherence conjecture, proved by Zhu, states that the dimensions of spaces of sections of certain line bundles coincide. The two sides of the equality correspond to the line bundles on spherical Schubert varieties in the…

Atkin and Swinnerton-Dyer congruences are special congruence recursions satisfied by coefficients of noncongruence modular forms. These are in some sense $p$-adic analogues of Hecke recursion satisfied by classic Hecke eigenforms. They…

We introduce higher-order support varieties for pairs of modules over a commutative local complete intersection ring, and give a complete description of which varieties occur as such support varieties. In the context of a group algebra of a…

We construct a model of type theory enjoying parametricity from an arbitrary one. A type in the new model is a semi-cubical type in the old one, illustrating the correspondence between parametricity and cubes. Our construction works not…

It is well known that Ramanujan conjectured congruences modulo powers of $5$, $7$ and and $11$ for the partition function. These were subsequently proved by Watson (1938) and Atkin (1967). In 2009 Choi, Kang, and Lovejoy proved congruences…

We prove modularity of formal series of Jacobi forms that satisfy a natural symmetry condition. They are formal analogues of Fourier-Jacobi expansions of Siegel modular forms. From our result and a theorem of Wei Zhang, we deduce Kudla's…