Related papers: An Introduction to Modular Forms
We enumerate smooth rational curves on very general Weierstrass fibrations over hypersurfaces in projective space. The generating functions for these numbers lie in the ring of classical modular forms. The method of proof uses topological…
These are the lecture notes from my portion of a mini-course for the summer school "Building Bridges 3" that was held in Sarajevo during July 2016. My lectures covered the Katz definition of modular forms, a family of forms defined from…
This is an introduction to some recent developments in string theory and M theory. We try to concentrate on the main physical aspects, and often leave more technical details to the original literature.
We give a modern introduction to the moduli of sheaves. After reviewing the classical theory, we give a catalogue of results from the last decade. We then consider a more "symmetric" formulation of the theory by working with gerbes from the…
We can define a module to be an exact functor on a small abelian category. This is explained and shown to be equivalent to the usual definition but it does offer a different perspective, inspired by the notions from model theory of…
It is well-known that Lagrange's four-square theorem, stating that every natural number may be written as the sum of four squares, may be proved using methods from the classical theory of modular forms and theta functions. We revisit this…
This is an appendix to the Handbook of Tilting Theory, edited by Angeleri-Huegel, Happel and Krause, to be published soon. Part 1 of the appendix provides an outline of the core of tilting theory. Part 2 is devoted to topics where tilting…
This note documents the specification of normal forms in cubical type theory. The definition is already present in the proof of normalization for cubical type theory, but we present it in a more traditional style explicitly for reference.
We give explicit structure of the graded ring of modular forms with respect to Gamma(N) (N=1,2,3,4,5,6,7,8,9,10,12,16,18) and for some other congruence groups. We also study the modular forms of half-integer weight for certain groups.
This paper investigates the theory of lattices, focusing on extending lattices relative to abstract classes, modular lattices, and torsion lattices. Definitions of type-1 and type-2 extending lattices are provided, along with their weakly…
In this talk we discuss a class of Feynman integrals, which can be expressed to all orders in the dimensional regularisation parameter as iterated integrals of modular forms. We review the mathematical prerequisites related to elliptic…
We present modular implicits, an extension to the OCaml language for ad-hoc polymorphism inspired by Scala implicits and modular type classes. Modular implicits are based on type-directed implicit module parameters, and elaborate…
In the former article "Formal mathematical systems including a structural induction principle" we have presented a unified theory for formal mathematical systems including recursive systems closely related to formal grammars, including the…
Homological algebra is often understood as the translator between the world of topology and algebra. However, this branch of mathematics is worth studying by itself, given that it provides fascinating perspectives about other disciplines,…
This text is the support for the course of Modeling of Solids, of the Master of Mechanics of the University Paris-Saclay - Curriculum MMM: Mathematical Methods for Mechanics, held at Versailles. The course is the continuation of the course…
In this paper we enrich the orthomodular structure by adding a modal operator, following a physical motivation. A logical system is developed, obtaining algebraic completeness and completeness with respect to a Kripke-style semantic founded…
In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of…
This is the first paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In this paper, we lay the foundations for this study by introducing the…
In [5], [6] and [8], the authors gave some modular forms over $\Gamma^0(2)$. In this note, we proceed with the study of cancellation formulas relating to the modular forms.
We present a unified theory for formal mathematical systems including recursive systems closely related to formal grammars, including the predicate calculus as well as a formal induction principle. We introduce recursive systems generating…