Related papers: Initiation to mould calculus through the example o…
We prove an algebraic formula for the Euler characteristic of the Milnor fibres of functions with critical locus a smooth curve on a space which is a weighted homogeneous complete intersection with isolated singularity.
The sequent calculus is a proof system which was designed as a more symmetric alternative to natural deduction. The {\lambda}{\mu}{\mu}-calculus is a term assignment system for the sequent calculus and a great foundation for compiler…
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…
We discuss various aspects concerning transformations of local analytic, or formal, vector fields to Poincare-Dulac normal form, and the convergence of such transformations. We first review A.D. Bruno's approach to formal normalization, as…
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…
We study Milner's lambda-calculus with partial substitutions. Particularly, we show confluence on terms and metaterms, preservation of \b{eta}-strong normalisation and characterisation of strongly normalisable terms via an intersection…
We give a natural and complete description of Ecalle's mould-comould formalism within a Hopf-algebraic framework. The arborification transform thus appears as a factorization of characters, involving the shuffle or quasishuffle Hopf…
In this paper we are going to compute the $ \mathrm{KW} $-Euler classes for rank 2 vector bundles on the classifying stack $ \mathcal{B}N $, where $N$ is the normaliser of the standard torus in $SL_2$ and $\mathrm{KW}$ represents Balmer's…
We classify canonical algebras such that for every dimension vector of a regular module the corresponding module variety is normal (respectively, a complete intersection). We also prove that for the dimension vectors of regular modules…
In this paper we approach the study of generalized theta linear series on moduli of vector bundles on curves via vector bundle techniques on abelian varieties. We study what are called the Verlinde bundles in order to obtain information…
When a boudnary-parabolic representation of a link group to PSL(2,$\mathbb{C}$) is given, Inoue and Kabaya suggested a combinatorial method to obtain the developing map of the representation using the octahedral triangulation and the…
In this paper we obtain an explicit formula for the number of curves in a compact complex surface $X$ (passing through the right number of generic points), that has up to one node and one singularity of codimension $k$, provided the total…
Representations of vertex operator algebras define sheaves of coinvariants and conformal blocks on moduli of stable pointed curves. Assuming certain finiteness and semisimplicity conditions, we prove that such sheaves satisfy the…
Unlike classical modular forms, there is currently no general way to implement the computation of Siegel modular forms of arbitrary weight, level and character, even in degree two. There is however, a way to do it in a unified way. After…
Euler starts with a hypergeometric series F(a, b, c, x), and differentiates it to get a functional relation. This relation is today known as Euler's identity. Then he integrates to get another and ends up with something like Legendre…
We propose a natural generalization of a conjecture by Garsia, originally concerning the realization of conformal classes of genus-1 surfaces via embeddings in three-dimensional Euclidean space. This generalized conjecture is formulated…
In this article an interpretation and a proof of some classical \\theorems in analysis on the integration of analytic vectors fields are derived from the algebraic method of realization of bialgebras which are constructed with the data of a…
This paper addresses the topological structures induced on vector spaces by convex modulars that do not satisfy the $\Delta_2$ condition, with particular focus on their applications to variable exponent spaces such as \( \ell^{(p_n)} \) and…
We give an explicit expression for the (finitely) flat remainder after analytic normal form reduction of a family of planar saddles of diffeomorphisms or vector fields. We distinguish between a rational or irrational ratio of the moduli of…
The definitional equality of an intensional type theory is its test of type compatibility. Today's systems rely on ordinary evaluation semantics to compare expressions in types, frustrating users with type errors arising when evaluation…