Related papers: Rankin-Cohen brackets of eigenforms and modular fo…
We show analogues of the classical Krein-Milman theorem for several ordered algebraic structures, especially in a semilattice (non-linear) framework. In that case, subsemilattices are seen as convex subsets, and for our proofs we use…
We give a proof of the Morrison-Kawamata cone conjecture for Enriques surfaces independent of their characteristic. It is based on the analysis of certain generically finite morphisms of degree two.
Elements of the Riordan group $\cal R$ over a field $\mathbb F$ of characteristic zero are infinite lower triangular matrices which are defined in terms of pairs of formal power series. We wish to bring to the forefront, as a tool in the…
We study how macroscopic observational constraints restrict admissible microscopic explanatory structures when no intrinsic order or dynamics is assumed a priori. Starting from an unordered collection of measurement outcomes, we formulate…
A strong quantitative form of Manin's conjecture is established for a certain variety in biprojective space. The singular integral in an application of the circle method involves the third power of the integral sine function, and is…
This paper exploits adjacencies between the orbits of an ordered set P and a consequence of the classification of finite simple groups to, in many cases, exponentially bound the number of automorphisms. Results clearly identify the…
In this work we introduce the concept of Modular Framization or simply Framization. We construct a framization $F_{d,n}$ of the Birman--Wenzl--Murakami algebra, also known as BMW algebra, and start a systematic study of this framization. We…
We prove wall-crossing formulas for the motivic invariants of the moduli spaces of framed objects in the ind-constructible abelian categories. Developed techniques are applied in the case of the motivic Donaldson-Thomas invariants of…
We show how to "interleave" the monad for operads and the monad for contractions on the category \coll of collections, to construct the monad for the operads-with-contraction of Leinster. We first decompose the adjunction for operads and…
We introduce the notion of Drinfeld modular forms with $A$-expansions, where instead of the usual Fourier expansion in $t^n$ ($t$ being the uniformizer at `infinity'), parametrized by $n \in \mathbb{N}$, we look at expansions in $t_a$,…
The set of natural integers is fundamental for at least two reasons: it is the free induction algebra over the empty set (and at such allows definitions of maps by primitive recursion) and it is the free monoid over a one-element set, the…
We prove the Morrison--Kawamata cone conjecture for projective primitive symplectic varieties with $\Q$-factorial and terminal singularities with $b_2\geq 5$, from which we derive for instance the finiteness of minimal models of such…
Braided monoidal categories arise naturally as centres of monoidal categories and have been the focus of much recent attention in both mathematics and physics. By suitably restricting the use of the exchange rule, we obtain a sequent…
The Donald-Flanigan conjecture asserts that any group algebra of a finite group has a separable deformation. We apply an inductive method to deform group algebras from deformations of normal subgroup algebras, establishing an infinite…
It is commonly agreed that the success of future proof assistants will rely on their ability to incorporate computations within deduction in order to mimic the mathematician when replacing the proof of a proposition P by the proof of an…
We compare form factors in sine-Gordon theory, obtained via the bootstrap, to finite volume matrix elements computed using the truncated conformal space approach. For breather form factors, this is essentially a straightforward application…
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…
Here we follow on the proposed generalization of Maeda's conjecture made in [2]. We report on computations that suggest a relation between the number of local types and the number of non-CM newform Galois orbits. We extend the conjecture…
In this paper we show that under certain condition the Fontaine--Mazur $L$-invariant for a Hilbert eigenform coincides with its Teitelbaum type $L$-invariant, and thus prove a conjecture of Chida, Mok and Park.
We give an account of the basic combinatorial structure underlying the notion of type dependency. We do so by considering the category of all dependent sequent calculi, and exhibiting it as the category of algebras for a monad on a presheaf…