Related papers: Initiation to mould calculus through the example o…
We present an explicit and computationally actionable blueprint for constructing vector-valued Siegel modular forms associated to real multiplication (RM) abelian surfaces, leveraging the theta correspondence for the unitary dual pair…
We show that string theory with Dirichlet boundaries is equivalent to string theory containing surfaces with certain singular points. Surface curvature is singular at these points. A singular point is resolved in conformal coordinates to a…
Given a properly normalized parametrization of a genus-0 modular curve, the complex multiplication points map to algebraic numbers called singular moduli. In the classical case, the maps can be given analytically. However, in the Shimura…
Using invariants from commutative algebra to count geometric objects is a basic idea in singularities. For example, the multiplicity of an ideal is used to count points of intersection of two analytic sets at points of non-transverse…
Using the mould formalism introduced by Jean Ecalle, we define and study the geometric complexity of an isochronous center condition. The role played by several Lie ideals is discussed coming from the interplay between the universal mould…
The Algebraic lambda-calculus and the Linear-Algebraic lambda-calculus extend the lambda-calculus with the possibility of making arbitrary linear combinations of terms. In this paper we provide a fine-grained, System F-like type system for…
We investigate topology change in (1+1) dimensions by analyzing the scalar-curvature action $1/2 \int R dV$ at the points of metric-degeneration that (with minor exceptions) any nontrivial Lorentzian cobordism necessarily possesses. In two…
The linear-algebraic lambda-calculus and the algebraic lambda-calculus are untyped lambda-calculi extended with arbitrary linear combinations of terms. The former presents the axioms of linear algebra in the form of a rewrite system, while…
In this text, we develop the theory of vectorial modular forms with values in Tate algebras introduced by the first author, in a very special case (dimension two, for a very particular representation of {\Gamma} := GL 2 (Fq[$theta$])).…
It is proved that a multiset of permissible arcs over a tiling is uniquely determined by its intersection vector under a mild condition. This generalizes a classical result over marked surfaces with triangulations. We apply this result to…
Resurgence Theory and Mould Calculus were invented by J. Ecalle around 1980 in the context of analytic dynamical systems and are increasingly more used in the mathematical physics community, especially since the 2010s. We review the…
We formalise, in Coq, the opening sections of Parity Complexes [Street1991] up to and including the all important excision of extremals algorithm. Parity complexes describe the essential combinatorial structure exhibited by simplexes, cubes…
This paper proposes a definition of recognizable transducers over monads and comonads, which bridges two important ongoing efforts in the current research on regularity. The first effort is the study of regular transductions, which extends…
The main contribution of this thesis is a Tannaka duality theorem for proper Lie groupoids. This result is obtained by replacing the category of smooth vector bundles over the base manifold of a Lie groupoid with a larger category, the…
Much of arithmetic geometry is concerned with the study of principal bundles. They occur prominently in the arithmetic of elliptic curves and, more recently, in the study of the Diophantine geometry of curves of higher genus. In particular,…
Various extensions of standard inflationary models have been proposed recently by adding vector fields. Because they are generally motivated by large-scale anomalies, and the possibility of statistical anisotropy of primordial fluctuations,…
We give examples of stable rank 2 vector bundles on principally polarized abelian threefolds, and study their deformations. The starting point is the Serre construction, which gives a source of examples, and which we rephrase in terms of…
In this paper, we present an extension of $\lambda\mu$-calculus called $\lambda\mu^{++}$-calculus which has the following properties: subject reduction, strong normalization, unicity of the representation of data and thus confluence only on…
We establish a generic counting formula for the Euler number of a flat vector bundle of rank $2n$ over a $2n$ dimensional closed manifold, in terms of vertices of transversal open coverings of the underlying manifold. We use the…
We study vector spaces associated to a family of generalized Euler integrals. Their dimension is given by the Euler characteristic of a very affine variety. Motivated by Feynman integrals from particle physics, this has been investigated…