Related papers: Abel ODEs: Equivalence and Integrable Classes
In groups, an abelian normal subgroup induces an abelian congruence. We construct a class of centrally nilpotent Moufang loops containing an abelian normal subloop that does not induce an abelian congruence. On the other hand, we prove that…
Solutions of an implicit ODE form a web. Already for cubic ODEs the 3-web of solutions has a nontrivial local invariant, namely the curvature form. Thus any local classification of implicit ODEs necessarily has functional moduli if no…
Implicit computational complexity is a lively area of theoretical computer science, which aims to provide machine-independent characterizations of relevant complexity classes. % for uniformity with subsequent uses >> 1960s (but feel free to…
We show that diagrammatic sets, a topologically sound alternative to polygraphs and strict $\omega$-categories, admit an internal notion of equivalence in the sense of coinductive weak invertibility. We prove that equivalences have the…
We give infinite triangularization and strict triangularization results for algebras of operators on infinite dimensional vector spaces. We introduce a class of algebras we call Ore-solvable algebras: these are similar to iterated Ore…
Based on the recent development of commutator theory for loops, we provide both syntactic and semantic characterization of abelian normal subloops. We highlight the analogies between well known central extensions and central nilpotence on…
In this paper we resolve the degree-2 Abel map for nodal curves. Our results are based on a previous work of the authors reducing the problem of the resolution of the Abel map to a combinatorial problem via tropical geometry. As an…
A nilpotent Lie algebra n_{n,1} with an (n-1) dimensional Abelian ideal is studied. All indecomposable solvable Lie algebras with n_{n,1} as their nilradical are obtained. Their dimension is at most n+2. The generalized Casimir invariants…
A standard tool for classifying the complexity of equivalence relations on $\omega$ is provided by computable reducibility. This reducibility gives rise to a rich degree structure. The paper studies equivalence relations, which induce…
The common in ring, module and algebra is that they are Abelian group with respect to addition. This property is enough to study integration. I treat integral of measurable map into normed Abelian $\Omega$-group. Theory of integration of…
This is a revised and corrected version of a preprint circulated in 1990 in which various non-self-adjoint limit algebras are classified. The principal invariant is the scaled $K_0$ group together with the algebraic order on the scale…
Invariants withstand transformations and, therefore, represent the essence of objects or phenomena. In mathematics, transformations often constitute a group action. Since the 19th century, studying the structure of various types of…
In this paper we classify invariant noncommutative connections in the framework of the algebra of endomorphisms of a complex vector bundle. It has been proven previously that this noncommutative algebra generalizes in a natural way the…
There exists two types of nonassociative algebras whose associator satisfies a symmetric relation associated with a 1-dimensional invariant vector space with respect to the natural action of the symmetric group on three elements. The first…
The first steps towards linearisation of partial orders and equivalence relations are described. The definitions of partial orders and equivalence relations (on sets) are formulated in a way that is standard in category theory and that…
Mechanistic models with differential equations are a key component of scientific applications of machine learning. Inference in such models is usually computationally demanding, because it involves repeatedly solving the differential…
Differential-elimination algorithms apply a finite number of differentiations and eliminations to systems of partial differential equations. For systems that are polynomially nonlinear with rational number coefficients, they guarantee the…
Ordinary differential equations (ODEs) and ordinary difference systems (O$\Delta$Ss) invariant under the actions of the Lie groups $\mathrm{SL}_x(2)$, $\mathrm{SL}_y(2)$ and $\mathrm{SL}_x(2)\times\mathrm{SL}_y(2)$ of projective…
We consider Abel maps for regular smoothing of nodal curves with values in the Esteves compactified Jacobian. In general, these maps are just rational, and an interesting question is to find an explicit resolution. We translate this problem…
We describe a class calculus that is expressive enough to describe and improve its own learning process. It can design and debug programs that satisfy given input/output constraints, based on its ontology of previously learned programs. It…