Related papers: Rankin-Cohen brackets of eigenforms and modular fo…
We introduce the $\omega$-Vaught's conjecture, a strengthening of the infinitary Vaught's conjecture. We believe that if one were to prove the infinitary Vaught's conjecture in a structural way without using techniques from higher recursion…
In functional programming, datatypes a la carte provide a convenient modular representation of recursive datatypes, based on their initial algebra semantics. Unfortunately it is highly challenging to implement this technique in proof…
We construct Poisson brackets at boundaries of open strings and membranes with constant background fields which are compatible with their boundary conditions. The boundary conditions are treated as primary constraints which give infinitely…
We study rings of integral modular forms for congruence subgroups as modules over the ring of integral modular forms for the full modular group. In many cases these modules are free or decompose at least into well-understood pieces. We…
In this paper we will describe all vector-valued Siegel modular forms of degree 2 and weight ${\rm Sym}^6({\rm St}) \otimes \det^{k}({\rm St})$ with $k$ odd. These vector-valued forms constitute a module over the ring of classical Siegel…
We prove the rank-4 case of the conjecture of Ha-Hai-Nghia for the invariant subspace of the truncated polynomial ring $\mathcal{Q}_m(n)=\mathbb{F}_q[x_1,\dots,x_n]/(x_1^{q^m},\dots,x_n^{q^m}),$ under a new, explicit technical hypothesis.…
We give an exposition of how the Kauffman bracket arises for certain systems of anyons, and do so outside the usual arena of Temperley-Lieb-Jones categories. This is further elucidated through the discussion of the Iwahori-Hecke algebra and…
Hecke operators on moduli of bundles over a global function field become substantially more complicated in the presence of ramification. We show that far enough in the Harder-Narasimhan cone of $\mathrm{Bun}_G$, this extra complexity has a…
We develop a toolbox for forcing over arbitrary models of set theory without the axiom of choice. In particular, we introduce a variant of the countable chain condition and prove an iteration theorem that applies to many classical forcings…
We study the circumstances under which one can reconstruct a stack from its associated functor of isomorphism classes. This is possible surprisingly often: we show that many of the standard examples of moduli stacks are determined by their…
We develop two structure theorems for vector valued Siegel modular forms for Igusa's subgroup \Gamma_2[2,4], the multiplier system induced by the theta constants and the representation Sym^2. In the proof, we identify some of these modular…
The mock theta conjectures are ten identities involving Ramanujan's fifth-order mock theta functions. The conjectures were proven by Hickerson in 1988 using q-series methods. Using methods from the theory of harmonic Maass forms,…
The classical Rankin-Cohen brackets are bi-differential operators from $C^\infty(\mathbb R)\times C^\infty(\mathbb R)$ into $ C^\infty(\mathbb R)$. They are covariant for the (diagonal) action of ${\rm SL}(2,\mathbb R)$ through principal…
We prove an infinite family of identities satisfied by the Rankin-Cohen brackets involving the Racah polynomials. A natural interpretation in the representation theory of sl(2) is provided. From these identities and known properties of the…
We connect the homotopy type of simplicial moduli spaces of algebraic structures to the cohomology of their deformation complexes. Then we prove that under several assumptions, mapping spaces of algebras over a monad in an appropriate…
Given a programming language, can we give a monadic denotational semantics that is stable under language extension? Models containing only a single monad are not stable. Models based on type-and-effect systems, in which there is a monad for…
Enochs' conjecture asserts that each covering class of modules (over any fixed ring) has to be closed under direct limits. Although various special cases of the conjecture have been verified, the conjecture remains open in its full…
We study a class of meromorphic modular forms characterised by Fourier coefficients that satisfy certain divisibility properties. We present new candidates for these so-called magnetic modular forms, and we conjecture properties that these…
In this paper we make a systematic study of certain motivic cohomology classes ("Rankin-Eisenstein classes") attached to the Rankin--Selberg convolution of two modular forms of weight $\ge 2$. The main result is the computation of the…
Given modular forms $f$ and $g$ of weights $k$ and $\ell$, respectively, their Rankin-Cohen bracket $[f,g]^{(k, \ell)}_n$ corresponding to a nonnegative integer $n$ is a modular form of weight $k +\ell +2n$, and it is given as a linear…