Related papers: Initiation to mould calculus through the example o…
The notion of singular reduction modules, i.e., of singular modules of nonclassical (conditional) symmetry, of differential equations is introduced. It is shown that the derivation of nonclassical symmetries for differential equations can…
We provide explicit formulas of non-recursive type for the linearizing transformations of a non-resonant analytic germ of diffeomorphism at a fixed point or a non-resonant analytic germ of vector field at a singular point, in any complex…
We introduce a simple extension of the $\lambda$-calculus with pairs---called the distributive $\lambda$-calculus---obtained by adding a computational interpretation of the valid distributivity isomorphism $A \Rightarrow (B\wedge C)\ \…
Variational calculus on a vector bundle E equipped with a structure of a general algebroid is developed, together with the corresponding analogs of Euler-Lagrange equations. Constrained systems are introduced in the variational and in the…
A natural explicit condition is given ensuring that an action of the multiplicative monoid of non-negative reals on a manifold F comes from homotheties of a vector bundle structure on F, or, equivalently, from an Euler vector field. This is…
The paper presents an algorithm for topological classification of nondegenerate saddle-focus singularities of integrable Hamiltonian systems with three degrees of freedom up to semi-local equivalence. In particular, we prove that any…
We study a specific class of deformations of curve singularities: the case when the singular point splits to several ones, such that the total $\delta$ invariant is preserved. These are also known as equi-normalizable or equi-generic…
Recent works have suggested that the no-boundary proposal should be defined as a sum over regular, not necessarily compact, metrics. We show that such a prescription can be implemented in the presence of a scalar field. For concreteness, we…
We obtain a parametric normal form for any non-degenerate perturbation of the generalized saddle-node case of Bogdanov--Takens singularity. Explicit formulas are derived and greatly simplified for an efficient implementation in any computer…
In this paper, we study renormalization, that is, the procedure for eliminating singularities, for a special model using both combinatorial techniques in the framework of working with formal series, and using a limit transition in a…
In a series of recent papers, Chiodo, Farkas and Ludwig carry out a deep analysis of the singular locus of the moduli space of stable (twisted) curves with an $\ell$-torsion line bundle. They show that for $\ell\leq 6$ and $\ell\neq 5$…
In this note we highlight a common origin for many ubiquitous geometric structures, as well as several new ones by using only the functors of differential calculus in A.M Vinogradov's original sense, adapted to special classes of (graded)…
In this paper, we present a general realizability semantics for the simply typed $\lambda\mu$-calculus. Then, based on this semantics, we derive both weak and strong normalization results for two versions of the $\lambda\mu$-calculus…
Recently Guillemin gave an explicit combinatorial way of constructing "toric" Kahler metrics on (symplectic) toric varieties, using only data on the moment polytope. In this paper, differential geometric properties of these metrics are…
To compute the unique formal normal form of families of vector fields with nilpotent linear part, we choose a basis of the Lie algebra consisting of orbits under the linear nilpotent. This creates a new problem: to find explicit formulas…
We construct smooth axisymmetric-with-swirl initial data in a periodic cylinder for which the three-dimensional incompressible Euler evolution develops a finite-time boundary singularity. The construction is carried out in the dynamically…
We present computational algorithms to work with points on the modular curve associated to the normaliser of a non-split Cartan group of prime level $p$. Rather than working with explicit equations, we represent these points using the…
In this article, we develop a new approach to the Poincar\'e--Dulac normal form theory for a system of differential equations near a singular point. Using the continuous averaging method, we construct a normalization flow that moves a…
This paper provides an alternate proof to parts of the Goulden-Slofstra formula for enumerating two vertex maps by genus, which is an extension of the famous Harer-Zagier formula that computes the Euler characteristic of the moduli space of…
We develop a calculus for $S_n$-equivariant Euler characteristics of moduli spaces of stable curves and stable maps. Our approach involves an enrichment of P\'olya's cycle index polynomial of a graph to a certain algebra $\Lambda^{[2]}$ of…