Related papers: Mould expansions for the saddle-node and resurgenc…
We give an arithmetical proof of the strong normalization of the $\lambda$-calculus (and also of the $\lambda\mu$-calculus) where the type system is the one of simple types with recursive equations on types. The proof using candidates of…
In this work, following [Bit15] and [Bit16a], we consider analytic singular vector fields in $(\mathbb{C}^{3},0)$ with an isolated and doubly-resonant singularity of saddle-node type at the origin. Such vector fields come from irregular…
The theory of elliptic modular forms has gained significant momentum from the discovery of relaxed yet well-behaved notions of modularity, such as mock modular forms, higher order modular forms, and iterated Eichler-Shimura integrals.…
The symmetric $\lambda \mu$-calculus is the $\lambda \mu$-calculus introduced by Parigot in which the reduction rule $\m'$, which is the symmetric of $\mu$, is added. We give arithmetical proofs of some strong normalization results for this…
We give general expressions for singular vectors of the N=2 superconformal algebra in the form of {\it monomials} in the continued operators by which the universal enveloping algebra of N=2 is extended. We then show how the algebraic…
This article aims to reinforce the broad applicability of the umbral approach to address complex mathematical challenges and contribute to various scientific and engineering endeavors. The umbral methods are used to reformulate the…
Any attracting, hyperbolic and proper node of a two-dimensional analytic vector-field has a unique strong-stable manifold. This manifold is analytic. The corresponding weak-stable manifolds are, on the other hand, not unique, but in the…
We develop recursive formulas for the horizontal and vertical monodromies of a quasi-ordinary surface. These are monodromies associated to the Milnor fiber of a slice transverse to a component of the singular locus. In the course of working…
This article is dedicated to the study of the normal functor in the category of smooth real vector bundles. Particularly, we focus on a symmetry phenomena which occurs after iterating two times the normal functor on a commutative square of…
Given a scheme $Y$ equipped with a collection of globally generated vector bundles $E_1, \dots, E_n$, we study the universal morphism from $Y$ to a fine moduli space $\mathcal{M}(E)$ of cyclic modules over the endomorphism algebra of…
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…
The conformal anomaly has well-known ambiguities related to the possible schemes of regularization and renormalization. In case of dimensional regularization, one of the options is to formulate the theory as conformal in the dimension $D…
Inductive and coinductive specifications are widely used in formalizing computational systems. Such specifications have a natural rendition in logics that support fixed-point definitions. Another useful formalization device is that of…
We consider the untyped lambda calculus with constructors and recursively defined constants. We construct a domain-theoretic model such that any term not denoting bottom is strongly normalising provided all its `stratified approximations'…
The standard formulation of a massive Abelian vector field in $2+1$ dimensions involves a Maxwell kinetic term plus a Chern-Simons mass term; in its place we consider a Chern-Simons kinetic term plus a Stuekelberg mass term. In this latter…
Guided by Tarksi's fixpoint theorem in order theory, we show how to derive monotone recursive types with constant-time roll and unroll operations within Cedille, an impredicative, constructive, and logically consistent pure typed lambda…
For any cluster algebra whose underlying combinatorial data can be encoded by a bordered surface with marked points, we construct a geometric realization in terms of suitable decorated Teichmueller space of the surface. On the geometric…
In these notes we give an overview of different topics in resurgence theory from a physics point of view, but with particular mathematical flavour. After a short review of the standard Borel method for the resummation of asymptotic series,…
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 present a simple way of constructing conformal couplings of a scalar field to higher order Euler densities. This is done by constructing a four-rank tensor involving the curvature and derivatives of the field, which transforms…