Related papers: Rankin-Cohen brackets of eigenforms and modular fo…

One can perform equational reasoning about computational effects with a purely functional programming language thanks to monads. Even though equational reasoning for effectful programs is desirable, it is not yet mainstream. This is partly…

A fundamental question, first raised by Langlands, is to know whether the Rankin-Selberg product of two (not necessarily holomorphic) cusp forms f and g is modular, i.e., if there exists an automorphic form f box g on GL(4)/Q whose standard…

Let f be a modular eigenform of even weight k>0 and new at a prime p dividing exactly the level, with respect to an indefinite quaternion algebra. The theory of Fontaine-Mazur allows to attach to f a monodromy module D_FM(f) and an…

It is conjectured that for fixed $A$, $r \ge 1$, and $d \ge 1$, there is a uniform bound on the size of the torsion submodule of a Drinfeld $A$-module of rank $r$ over a degree $d$ extension $L$ of the fraction field $K$ of $A$. We verify…

Modular motives have coefficients in Hecke algebras. According to the equivariant philosophy, special values of $L$-functions of eigencuspforms should therefore exhibit equivariant properties with respect to various Hecke actions. This…

We present a unified categorical framework that connects the syntactic Henkin construction for the first-order Completeness Theorem with Lawvere's Fixed-Point Theorem. Concretely, we define two canonical functors from the category of…

Understanding the asymptotic behavior of the number of Galois orbits of newforms in $S_k(\Gamma_0(N), \Psi)$ as the weight increases is a central problem motivated by Maeda's conjecture. For trivial nebentypus, prior work of Dieulefait,…

In a classical Hamiltonian theory with second class constraints the phase space functions on the constraint surface are observables. We give general formulas for extended observables, which are expressions representing the observables in…

Goal-directed proof search in first-order logic uses meta-variables to delay the choice of witnesses; substitutions for such variables are produced when closing proof-tree branches, using first-order unification or a theory-specific…

This paper concerns the characterisation of second order marginals for random sets in a discrete setting. Under the instance of unit covariances, this problem possesses a combinatorial symmetry, exploited jointly in the companion paper to…

This is the third part of a series of articles providing a foundation for the theory of Drinfeld modular forms of arbitrary rank. In the present article we construct and study some examples of Drinfeld modular forms. In particular we define…

We show that the Euler system associated to Rankin--Selberg convolutions of modular forms, introduced in our earlier works with Lei and Kings, varies analytically as the modular forms vary in $p$-adic Coleman families. We prove an explicit…

We discuss the structure of the Motzkin algebra $M_k(D)$ by introducing a sequence of idempotents and the basic construction. We show that $\cup_{k\geq 1}M_k(D)$ admits a factor trace if and only if $D\in \{2\cos(\pi/n)+1|n\geq 3\}\cup…

We prove that the theory of the models constructible using finitely many cofinality quantifiers - $C_{\lambda_{1},...,\lambda_{n}}^{*}$ and $C_{<\lambda_{1},...,<\lambda_{n}}^{*}$ for $\lambda_{1},...,\lambda_{n}$ regular cardinals - is…

Let $f$ be a newform of weight $k\geq 2$, level $N$ with coefficients in a number field $K$, and $A$ the adjoint motive of the motive $M$ associated to $f$. We carefully discuss the construction of the realisations of $M$ and $A$, as well…

Although there are many simple proofs of Jordan's decomposition theorem in the literature (see [1], the references mentioned there, and [2]), our proof seems to be even more elementary. In fact, all we need is the theorem on the dimensions…

An elementary introduction to Hilbert modular forms, with a particular attention to their differential properties: Rankin-Cohen brakets, structure of differential rings... This text will appear in SMF Seminaires et Congres.

Gaudin algebra is the commutative subalgebra in $U(\mathfrak{g})^{\otimes N}$ generated by higher integrals of the quantum Gaudin magnet chain attached to a semisimple Lie algebra $\mathfrak{g}$. This algebra depends on a collection of…

We study the eigenforms of the action of A. Baker's Hecke operators on the holomorphic elliptic homology of various topological spaces. We prove a multiplicity one theorem (i.e., one-dimensionality of the space of these "topological Hecke…

In these lectures we explain the intimate relationship between modular invariants in conformal field theory and braided subfactors in operator algebras. A subfactor with a braiding determines a matrix $Z$ which is obtained as a coupling…