Related papers: The Classification Problem for 2-Forms in Four Var…

We show that for any regular bounded domain $\Omega\subseteq \mathbb R^n$, $n=2,3$, there exist infinitely many global diffeomorphisms equal to the identity on $\partial \Omega$ which solve the Eikonal equation. We also provide explicit…

The article provides a local classification of singularities of meromorphic second order linear differential equation with respect to analytic/meromorphic linear point transformations. It also addresses the problem of determining the Lie…

We classify generic unfoldings of germs of antiholomorphic diffeomorphisms with a parabolic point of codimension 1 (i.e. a double fixed point) under conjugacy. These generic unfolding depend on one real parameter. The classification is done…

We revisit the results on admissible transformations between normal linear systems of second-order ordinary differential equations with an arbitrary number of dependent variables under several appropriate gauges of the arbitrary elements…

Homotopic morphisms of $\mathbb E$-triangles in extriangulated categories are introduced. Any morphism of $\mathbb E$-triangles is a composition of homotopic morphisms. Any morphism $(\alpha_1, \alpha_2, \alpha_3)$ of $\mathbb E$-triangles…

Kreck's modified surgery gives an approach to classifying smooth $2n$-manifolds up to stable diffeomorphism, i.e. up to connected sum with copies of $S^n \times S^n$. In dimension 4, we use a combination of modified and classical surgery to…

Lambda calculi with algebraic data types lie at the core of functional programming languages and proof assistants, but conceal at least two fundamental theoretical problems already in the presence of the simplest non-trivial data type, the…

We use a 1-parameter version of gauge theory to investigate the topology of the diffeomorphism group of 4-manifolds. A polynomial invariant, analogous to the Donaldson polynomial, is defined, and is used to show that the diffeomorphism…

Symmetries and isomorphisms play similar conceptual roles when we consider how models represent physical situations, but they are formally distinct, as two models related by symmetries are not typically isomorphic. I offer a rigorous…

We describe in the space of binary forms of degree d the strata of forms having constant rank. We also give a simple algorithm to determine the rank of a given form.

We introduce an invariant of tuples of commutative diffeomorphisms on a 4-manifold using families of Seiberg-Witten equations. This is a generalization of Ruberman's invariant of diffeomorphisms defined using 1-parameter families of…

We consider three (2-)categories and their (anti-)equivalence. They are the category of small abelian categories and exact functors, the category of definable additive categories and interpretation functors, the category of locally coherent…

This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other. Notably,…

We consider a class of linear ODEs of second order with variable coefficients and construct its Lie algebra of Lie group of equivalence transformations. Further we find invariants and differential invariants of this Lie algebra and by using…

This text proposes geometrical descriptions of all variational problems invariant by conformal transformations in two variables. First a characterisation in terms of C-Finsler manifolds, a suitable generalization of Finsler manifolds, is…

The equivalence of multidimensional systems is closely related to the reduction of multivariate polynomial matrices, with the Smith normal form of matrices playing a key role. So far, the problem of reducing multivariate polynomial matrices…

We classify, up to isomorphism, the 2-dimensional algebras over a field K. We focuse also on the case of characteristic 2, identifying the matrices of GL(2,F_2) with the elements of the symmetric group S_3. The classification is then given…

Let G a group of germs of analytic diffeomorphisms in (C^2,0). We find some remarkable properties supposing that G is finite, linearizable, abelian nilpotent and solvable. In particular, if the group is abelian and has a generic dicritic…

Matrix congruence can be used to mimic linear maps between homogeneous quadratic polynomials in $n$ variables. We introduce a generalization, called standard-form congruence, which mimics affine maps between non-homogeneous quadratic…

Quantization of diffeomorphism invariant theories of connections is studied. A solutions of the diffeomorphism constraints is found. The space of solutions is equipped with an inner product that is shown to satisfy the physical reality…