Related papers: Rankin-Cohen brackets of eigenforms and modular fo…
The Rankin--Cohen brackets provide a basic example of ``non-elementary" differential symmetry breaking operators. They can be interpreted as bi-differential operators remarkable for reflecting the structure of fusion rules for holomorphic…
Let H_n be the Siegel upper half space and let F and G be automorphic forms on H_n of weights k and l, respectively. We give explicit examples of differential operators D acting on functions on H_n x H_n such that the restriction of…
We construct Rankin-Cohen type differential operators on Hermitian modular forms of signature $(n,n)$. The bilinear differential operators given here specialize to the original Rankin-Cohen operators in the case $n=1$, and more generally…
In this paper, we use the theory of deformation quantization to understand Connes' and Moscovici's results \cite{cm:deformation}. We use Fedosov's method of deformation quantization of symplectic manifolds to reconstruct Zagier's…
Based on the Lie theoretical methods of algebraic Fourier transformation, we classify in the case of generic values of inducing parameters the scalar singular vectors corresponding to the diagonal branching rules for scalar generalized…
We establish a correspondence between vector-valued modular forms with respect to a symmetric tensor representation and quasimodular forms. This is carried out by first obtaining an explicit isomorphism between the space of vector-valued…
We prove that over an algebraically closed field there is a representation embedding from the category of classical Kronecker-modules without the simple injective into the category of finite-dimensional modules over any…
We establish two consequences of the Kawamata--Morrison--Totaro cone conjecture, and prove them unconditionally in all dimensions. First, for a K-trivial variety, the natural action of its automorphism group on the set of ample divisor…
In this paper, we prove an almost 40 year old conjecture by H. Cohen concerning the generating function of the Hurwitz class number of quadratic forms using the theory of mock modular forms. This conjecture yields an infinite number of so…
In the present note we discuss two different ring structures on the set of holomorphic discrete series of a causal symmetric space of Cayley type $G/H$ and we suggest a new interpretation of Rankin-Cohen brackets in terms of intertwining…
Riordan matrices are infinite lower triangular matrices determined by a pair of formal power series over the real or complex field. These matrices have been mainly studied as combinatorial objects with an emphasis placed on the algebraic or…
Sp\"ath showed that the Alperin-McKay conjecture in the representation theory of finite groups holds if the so-called inductive Alperin-McKay condition holds for all finite simple groups. In a previous article, we showed that the…
We describe a computational approach to the verification of Maeda's conjecture for the Hecke operator T2 on the space of cusp forms of level one. We provide experimental evidence for all weights less than 12000, as well as some applications…
For any non-negative integer v we construct explicitly [v/2]+1 independent covariant bilinear differential operators from J_{k,m} x J_{k',m'} to J_{k+k'+v,m+m'}. As an application we construct a covariant bilinear differential operator…
We propose an extension of pure type systems with an algebraic presentation of inductive and co-inductive type families with proper indices. This type theory supports coercions toward from smaller sorts to bigger sorts via explicit type…
In the first part of the paper we characterize certain systems of first order nonlinear differential equations whose space of solutions is an $\mathfrak{sl}_2(\mathbb{C})$-module. We prove that such systems, called Ramanujan systems of…
We develop a general obstruction theory to the formality of algebraic structures over any commutative ground ring. It relies on the construction of Kaledin obstruction classes that faithfully detect the formality of differential graded…
We present techniques for reasoning about constructor classes that (like the monad class) fix polymorphic operations and assert polymorphic axioms. We do not require a logic with first-class type constructors, first-class polymorphism, or…
We use perfectoid spaces associated to abelian varieties and Siegel moduli spaces to study torsion points and ordinary CM points. We reprove the Manin-Mumford conjecture i.e. Raynaud's theorem. We also prove the Tate-Voloch conjecture for a…
We construct motivic cohomology classes attached to Rankin--Selberg convolutions of modular forms of weights $\ge 2$, show that these vary analytically in p-adic families, and relate their image under the p-adic regulator map to values of…