Integration of the Kenzo System within SageMath for New Algebraic Topology Computations

This work integrates the Kenzo system within Sagemath as an interface and an optional package. Our work makes it possible to communicate both computer algebra programs and it enhances the SageMath system with new capabilities in algebraic topology, such as the computation of homotopy groups and some kind of spectral sequences, dealing in particular with simplicial objects of an infinite nature. The new interface allows computing homotopy groups that were not known before.

From simplicial homotopy to crossed module homotopy in modified categories of interest

We address the (pointed) homotopy of crossed module morphisms in modified categories of interest that unify the notions of groups and various algebraic structures. We prove that the homotopy relation gives rise to an equivalence relation as well as to a groupoid structure with no restriction on either domain or co-domain of the corresponding crossed module morphisms. Furthermore, we also consider particular cases such as crossed modules in the categories of associative algebras, Leibniz algebras, Lie algebras and dialgebras of the unified homotopy definition. Finally, as one of the major objectives of this paper, we prove that the functor from simplicial objects to crossed modules in modified categories of interest preserves the homotopy as well as the homotopy equivalence.

Smoothness in Relative Geometry

In [TVa], Bertrand Toën and Michel Vaquié defined a scheme theory for a closed monoidal category ( ⊗1). In this article, we define a notion of smoothness in this relative (and not necessarily additive) context which generalizes the notion of smoothness in the category of rings. This generalisation consists in replacing homological finiteness conditions by homotopical ones, using the Dold-Kan correspondence. To do this, we provide the category s of simplicial objects in a monoidal category and all the categories sA-mod, sA-alg (A ∈ sComm()) with compatible model structures using the work of Rezk [R]. We then give a general notion of smoothness in sComm(). We prove that this notion is a generalisation of the notion of smooth morphism in the category of rings and is stable under composition and homotopy pushouts. Finally we provide some examples of smooth morphisms, in particular in ℕ-alg and Comm(Set).