Related papers: The Stokes Groupoids
In this paper we introduce distinct approaches to loop braid groups, a generalisation of braid groups, and unify all the definitions that have appeared so far in literature, with a complete proof of the equivalence of these definitions.…
Motivated by the study of the corner singularities in the so-called cavity flow, we establish in this article, the existence and uniqueness of solutions in $L^2(\Omega)^2$ for the Stokes problem in a domain $\Omega,$ when $\Omega$ is a…
This is the first of a series of papers which define and study structures called rootoids, which are groupoids equipped with a representation in the category of Boolean rings and with an associated 1-cocycle. The axioms for rootoids are…
In this paper, we consider the groupoidification of the fermion algebra. We construct a groupoid as the categorical analogues of the fermionic Fock space, and the creation and annihilation operators correspond to spans of groupoids. The…
We design and analyse a new numerical method to solve ODE system based on the structural method. We compute approximations of solutions together with its derivatives up to order $K$ by solving an entire block corresponding to $R$ time…
Foundational cases of the generalized Stokes' theorem are visualized using geometric algebra. From considering bivector valued fields, two seldom used instances of the theorem are obtained. Graphical representations are given, showing a…
We develop a comprehensive theory of the stable representation categories of several sequences of groups, including the classical and symmetric groups, and their relation to the unstable categories. An important component of this theory is…
We try to convince the reader that the categorical version of differential geometry, called Synthetic Differential Geometry (SDG), offers valuable tools which can be applied to work with some unsolved problems of general relativity. We do…
A group-category is an additively semisimple category with a monoidal product structure in which the simple objects are invertible. For example in the category of representations of a group, 1-dimensional representations are the invertible…
We investigate the problem of classification of solutions for the steady Navier-Stokes equations in any cone-like domains. In the form of separated variables, $$u(x,y)=\left( \begin{array}{c} \varphi_1(r)v_1(\theta) \varphi_2(r)v_2(\theta)…
The general d-dimensional twisted group lattice is solved. The irreducible representations of the corresponding group are constructed by an explicit procedure. It is proven that they are complete. All matrix representation solutions to the…
We introduce a new notion of "regularity structure" that provides an algebraic framework allowing to describe functions and / or distributions via a kind of "jet" or local Taylor expansion around each point. The main novel idea is to…
Periodic travelling waves at the free surface of an incompressible inviscid fluid in two dimensions under gravity are numerically computed for an arbitrary vorticity distribution. The fluid domain over one period is conformally mapped from…
Based on the concept of manifold valued generalized functions we initiate a study of nonlinear ordinary differential equations with singular (in particular: distributional) right hand sides in a global setting. After establishing several…
We give finite presentations for the fundamental group of moduli stacks of smooth Weierstrass curves over complex projective space P^n which extend the classical result for elliptic curves to positive dimensional base. We thus get natural…
We study the regularity and finite element approximation of the axisymmetric Stokes problem on a polygonal domain $\Omega$. In particular, taking into account the singular coefficients in the equation and non-smoothness of the domain, we…
The paper deals with $\Sigma-$composition and $\Sigma$-essential composition of terms, which lead to stable and s-stable varieties of algebras. A full description of all stable varieties of semigroups, commutative and idempotent groupoids…
In this paper we define a family of continuous functions of an arbitrary number of variables, and prove that they all satisfy a generalization of one of the classical functional equations of the inverse tangent function.
We prove an analogue for Stokes torsors of Deligne's skeleton conjecture and deduce from it the representability of the functor of relative Stokes torsors by an affine scheme of finite type over C. This provides, in characteristic 0, a…
We provide a treatment of isomorphism within a set-theoretic formulation of dependent type theory. Type expressions are assigned their natural set-theoretic compositional meaning. Types are divided into small and large types --- sets and…