Related papers: Initiation to mould calculus through the example o…

Formal transformations somehow resembling the usual derivative are surprisingly common in computer science, with two notable examples being derivatives of regular expressions and derivatives of types. A newcomer to this list is the…

This paper serves as a first foray on regularisation for planar vector fields. Motivated by singularities in celestial mechanics, the block regularisation of a generic class of degenerate singularities is studied. The paper is concerned…

Saddle point problems arise in a variety of applications, e.g., when solving the Stokes equations. They can be formulated such that the system matrix is symmetric, but indefinite, so the variational convergence theory that is usually used…

In the classification of real singularities by Arnold et al. (1985), normal forms, as representatives of equivalence classes under right equivalence, are not always uniquely determined. We describe the complete structure of the equivalence…

In a previous paper [CG], we showed how one could generalize Taylor-Wiles modularity lifting theorems [Wil95, TW95] to contexts beyond those in which the automorphic forms in question arose from the middle degree cohomology of Shimura…

The intuitionistic fragment of the call-by-name version of Curien and Herbelin's \lambda\_mu\_{\~mu}-calculus is isolated and proved strongly normalising by means of an embedding into the simply-typed lambda-calculus. Our embedding is a…

Let $(X,0)$ be an isolated complete intersection complex singularity ($X$ can also be smooth at 0). Let $K$ be its link, $\cal X$ its canonical contact structure and $\D_X$ the complex vector bundle associated to $\cal X$. We prove that the…

We give an explicit conjectural formula for the motivic Euler characteristic of an arbitrary symplectic local system on the moduli space A_3 of principally polarized abelian threefolds. The main term of the formula is a conjectural motive…

We show that there exist flat surface bundles with closed leaves having non-trivial normal bundles. This leads us to compute the Abelianisation of surface diffeomorphism groups with marked points. We also extend a formula of Tsuboi that…

The main goal of this paper is to generalize Serre-Tate theory of "ordinary" local moduli to Shimura varieties of PEL type. To this end we develop a generalized notion of ordinariness, we prove a number of basic results about this, and we…

Androulidakis and Skandalis showed how to associate a holonomy groupoid, a smooth convolution algebra and a C*-algebra to any singular foliation. In this note, we consider the singular foliations of a one-dimensional manifold given by…

We give arithmetical proofs of the strong normalization of two symmetric $\lambda$-calculi corresponding to classical logic. The first one is the $\bar{\lambda}\mu\tilde{\mu}$-calculus introduced by Curien & Herbelin. It is derived via the…

We introduce graded, enriched characteristic cycles as a method for encoding Morse modules of strata with respect to a constructible complex of sheaves. Using this new device, we obtain results for arbitrary complex analytic functions on…

The blocking step of the renormalization group method is usually carried out by restricting it to fluctuations and to local blocked action. The tree-level, bi-local saddle point contribution to the blocking, defined by the infinitesimal…

We classify and explicitly describe homomorphisms of Verma modules for conformal Galilei algebras $\mathfrak{cga}_\ell(d,{\mathbb C})$ with $d=1$ for any integer value $\ell \in \mathbb{N}$. The homomorphisms are uniquely determined by…

The goal of this paper is to investigate the existence of saddle solutions for some classes of elliptic partial differential equations of the Allen-Cahn type, formulated as follows: \begin{equation*} -div\left(\frac{\nabla…

We define a Weil-\'etale complex with compact support for duals (in the sense of the Bloch dualizing cycles complex $\mathbb{Z}^c$) of a large class of $\mathbb{Z}$-constructible sheaves on an integral $1$-dimensional proper arithmetic…

Let $C$ be a nodal curve, and let $E$ be a union of semistable subcurves of $C$. We consider the problem of contracting the connected components of $E$ to singularities in a way that preserves the genus of $C$ and makes sense in families,…

We introduce a sl_2-invariant family of nonlinear vector fields with a non-semisimple triple zero singularity. In this paper we are concerned with characterization and normal form classification of these vector fields. We show that the…

This text is about the mathematical use of certain divergent power series. The first part is an introduction to 1-summability. The definitions rely on the formal Borel transform and the Laplace transform along an arbitrary direction of the…