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

We study integrals of the form $\int_{\Omega}f\left( d\omega\right)$, where $1\leq k\leq n$, $f:\Lambda^{k}\rightarrow\mathbb{R}$ is continuous and $\omega$ is a $\left(k-1\right)$-form. We introduce the appropriate notions of convexity,…

The problem of classifying equivalence classes of presentations up to isomorphism of Cayley graphs is considered in this article in the case of dicyclic groups. The number of equivalence classes of presentations is uniformly bounded - it is…

Bimorphic lenses are a simplification of polymorphic lenses that (like polymorphic lenses) have a type defined by 4 parameters, but which are defined in a monomorphic type system (i.e. an ordinary category with finite products). We show…

The cohomological rigidity problem for toric orbifolds asks when an integral cohomology isomorphism implies a homotopy equivalence. In this paper we reformulate the cohomological rigidity problem in the context of $4$-dimensional toric…

The isomorphism problem means to decide if two given finite-dimensional simple algebras over the same centre are isomorphic and, if so, to construct an isomorphism between them. A solution to this problem has applications in computational…

We construct a 2-category of differential graded schemes. The local affine models in this theory are differential graded algebras, which are graded commutative with unit over a field of characteristic zero, are concentrated in non-positive…

For any block of a finite group over an algebraically closed field of characteristic $2$ which has dihedral, semidihedral, or generalized quaternion defect groups, we determine explicitly the decomposition of the associated diagonal…

We relate the graph isomorphism problem to the solvability of certain systems of linear equations with nonnegative variables. This version replaces the two previous versions of this paper.

We give a normal form of the cuspidal edge which uses only diffeomorphisms on the source and isometries on the target. Using this normal form, we study differential geometric invariants of cuspidal edges which determine them up to order…

We consider the homeomorphic classification of finite-dimensional continua as well as several related equivalence relations. We show that, when $n \geq 2$, the classification problem of $n$-dimensional continua is strictly more complex than…

We study the approximation properties of a wide class of finite element differential forms on curvilinear cubic meshes in n dimensions. Specifically, we consider meshes in which each element is the image of a cubical reference element under…

This paper is concerned with the problem of stable diffeomorphism classification of 4-manifolds obtained using the surgery on loops. The main theorem states that under the assumption that the normal 1-type of two 4-manifolds in question is…

This Note presents the resolution of a differential system on the plane that translates a geometrical problem about isotropic deformations of area and length. The system stems from a probability study on deformed random fields [J.Fournier…

We investigate the local dynamics of antiholomorphic diffeomorphisms around a parabolic fixed point. We first give a normal form. Then we give a complete classification including a modulus space for antiholomorphic germs with a parabolic…

This is the third in a series of papers which outlines an approach to the classification of $\mathcal{N}{=}2$ superconformal field theories at rank 2 via the study of their Coulomb branch geometries. Here we use the fact that the encoding…

We solve the word problem for free double categories without equations between generators by translating it to the word problem for 2-categories. This yields a quadratic algorithm deciding the equality of diagrams in a free double category.…

This article surveys recent advances and future challenges in the $2$-representation theory of finitary $2$-categories with a particular emphasis on problems related to classification of various classes of $2$-representations.

The application of the notion of `observable' from gauge theory to diffeomorphism-invariant theories -- most relevantly to general relativity -- has led to numerous conceptual and technical issues when interpreting classical theories with…

We give the definition of a duality that is applicable to arbitrary $k$-forms. The operator that defines the duality depends on a fixed form $\Omega$. Our definition extends in a very natural way the Hodge duality of $n$-forms in $2n$…

This paper adresses two issues in dealing with bicategories of fractions. The first is to introduce a set of conditions on a class of arrows in a bicategory which is weaker than the one given in Pronk, Etendues and stacks as bicategories of…