相关论文: Abel ODEs: Equivalence and Integrable Classes
Solvable Lie algebras having at least one Abelian descending central ideal are studied. It is shown that all such Lie algebras can be built up from canonically defined ideals. The nature of such ideals is elucidated and their construction…
In this paper we investigate Abel maps on normal surface singularities described in \cite{NNI}. We investigate the affine version of the class of the images of Abel maps on normal surface singularities. More precisely we consider the…
We define inductively a sequence of purely algebraic invariants - namely, classes in the Quillen cohomology of the Pi-algebra \pi_* X - for distinguishing between different homotopy types of spaces. Another sequence of such cohomology…
We extend the classification of solvable Lie algebras with abelian nilradicals to classify solvable Leibniz algebras which are one dimensional extensions of an abelian nilradicals.
Starting categorically, we give simple and precise models of equivariant classifying spaces. We need these models for work in progress in equivariant infinite loop space theory and equivariant algebraic K-theory, but the models are of…
As it follows from G\"odel's incompleteness theorems, any consistent formal system of axioms and rules of inference should imply a true unprovable statement. Actually, this fundamental principle can be efficiently applicable in…
We consider families of chain-cochain infinite complexes $\mathcal C$ of spaces with elements depending on a number of parameters, and endowed with a converging associative multiple product. The existence of left/right local/non-local…
We give a complete derived equivalence classification of all symmetric algebras of domestic representation type over an algebraically closed field. This completes previous work by R. Bocian and the authors, where in this paper we solve the…
We present a formalization, in the theorem prover Lean, of the classification of solvable Lie algebras of dimension at most three over arbitrary fields. Lie algebras are algebraic objects which encode infinitesimal symmetries, and as such…
We find a class of algebras A satisfying the following property: for every nontrivial noncommutative polynomial, the linear span of all its values in A equals A. This class includes the algebras of all bounded and all compact operators on…
We solve the local equivalence problem for second order (smooth or analytic) ordinary differential equations. We do so by presenting a {\em complete convergent normal form} for this class of ODEs. The normal form is optimal in the sense…
The class of abelian $p$-groups are an example of some very interesting phenomena in computable structure theory. We will give an elementary first-order theory $T_p$ whose models are each bi-interpretable with the disjoint union of an…
Welcome to a beautiful subject in scientific computing: numerical solution of ordinary differential equations (ODEs) with initial conditions.
$N_\infty$-operads are an equivariant generalization of $E_\infty$-operads introduced by Blumberg and Hill to study structural problems in equivariant stable homotopy theory. In the original paper introducing these objects, Blumberg and…
We present a classification theorem for a class of unital simple separable amenable ${\cal Z}$-stable $C^*$-algebras by the Elliott invariant. This class of simple $C^*$-algebras exhausts all possible Elliott invariant for unital stably…
In a recent article, we introduced and studied a precise class of dynamical systems called solvable systems. These systems present a dynamic ruled by discontinuous ordinary differential equations with solvable right-hand terms and unique…
We consider a class of differential-algebraic equations (DAEs) with index zero in an infinite dimensional Hilbert space. We define a space of consistent initial values, which lead to classical continuously differential solutions for the…
This work analyses types of group actions on families of $t$-dependent vector fields of a particular class, the hereby called quasi-Lie families. We devise methods to obtain the defined here quasi-Lie invariants, namely a kind of functions…
We use classical invariant theory to solve the biholomorphic equivalence problem for two families of plane curve singularities previously considered in the literature. Our calculations motivate an intriguing conjecture that proposes a way…
For a given hereditary abelian category satisfying some finiteness conditions, in certain twisted cases it is shown that the modified Ringel-Hall algebra is isomorphic to the naive lattice algebra and there exists an epimorphism from the…