-
Non-additive derived functors via chain resolutions
Authors:
Maxime Culot,
Fara Renaud,
Tim Van der Linden
Abstract:
Let $F\colon \mathcal{C} \to \mathcal{E}$ be a functor from a category $\mathcal{C}$ to a homological (Borceux-Bourn) or semi-abelian (Janelidze-Márki-Tholen) category $\mathcal{E}$. We investigate conditions under which the homology of an object $X$ in $\mathcal{C}$ with coefficients in the functor $F$, defined via projective resolutions in $\mathcal{C}$, remains independent of the chosen resolut…
▽ More
Let $F\colon \mathcal{C} \to \mathcal{E}$ be a functor from a category $\mathcal{C}$ to a homological (Borceux-Bourn) or semi-abelian (Janelidze-Márki-Tholen) category $\mathcal{E}$. We investigate conditions under which the homology of an object $X$ in $\mathcal{C}$ with coefficients in the functor $F$, defined via projective resolutions in $\mathcal{C}$, remains independent of the chosen resolution. Consequently, the left derived functors of $F$ can be constructed analogously to the classical abelian case.
Our approach extends the concept of chain homotopy to a non-additive setting using the technique of imaginary morphisms. Specifically, we utilize the approximate subtractions of Bourn-Janelidze, originally introduced in the context of subtractive categories. This method is applicable when $\mathcal{C}$ is a pointed regular category with finite coproducts and enough projectives, provided the class of projectives is closed under protosplit subobjects, a new condition introduced in this article and naturally satisfied in the abelian context. We further assume that the functor $F$ meets certain exactness conditions: for instance, it may be protoadditive and preserve proper morphisms and binary coproducts - conditions that amount to additivity when $\mathcal{C}$ and $\mathcal{E}$ are abelian categories.
Within this framework, we develop a basic theory of derived functors, compare it with the simplicial approach, and provide several examples.
△ Less
Submitted 11 January, 2025; v1 submitted 19 June, 2024;
originally announced June 2024.
-
A symmetric approach to higher coverings in categorical Galois theory
Authors:
Fara Renaud,
Tim Van der Linden
Abstract:
In the context of a tower of (strongly Birkhoff) Galois structures in the sense of categorical Galois theory, we show that the concept of a higher covering admits a characterisation which is at the same time absolute (with respect to the base level in the tower), rather than inductively defined relative to extensions of a lower order; and symmetric, rather than depending on a perspective in terms…
▽ More
In the context of a tower of (strongly Birkhoff) Galois structures in the sense of categorical Galois theory, we show that the concept of a higher covering admits a characterisation which is at the same time absolute (with respect to the base level in the tower), rather than inductively defined relative to extensions of a lower order; and symmetric, rather than depending on a perspective in terms of arrows pointing in a certain chosen direction. This result applies to the Galois theory of quandles, for instance, where it helps us characterising the higher coverings in purely algebraic terms.
△ Less
Submitted 2 June, 2022;
originally announced June 2022.
-
Rewriting the elements in the intersection of the kernels of two morphisms between free groups
Authors:
François Renaud
Abstract:
Let F be the free group functor, left adjoint to the forgetful functor between the category of groups GRP and the category of sets SET. Let f from A to B, and h from A to C be two functions in SET and let Ker(F(f)) and Ker(F(h)) be the kernels of the induced morphisms between free groups. Provided that the kernel pairs Eq(f) and Eq(h) of f and h permute (such as it is the case when the pushout of…
▽ More
Let F be the free group functor, left adjoint to the forgetful functor between the category of groups GRP and the category of sets SET. Let f from A to B, and h from A to C be two functions in SET and let Ker(F(f)) and Ker(F(h)) be the kernels of the induced morphisms between free groups. Provided that the kernel pairs Eq(f) and Eq(h) of f and h permute (such as it is the case when the pushout of f and h is a double extension in SET), this short article describes a method to rewrite a general element in the intersection of Ker(F(f)) and Ker(F(g)) as a product of generators in A which is (f,h)-symmetric in the sense of the higher covering theory of racks and quandles.
△ Less
Submitted 8 March, 2021;
originally announced March 2021.
-
Higher coverings of racks and quandles -- Part II
Authors:
François Renaud
Abstract:
This article is the second part of a series of three articles, in which we develop a higher covering theory of racks and quandles. This project is rooted in M. Eisermann's work on quandle coverings, and the categorical perspective brought to the subject by V. Even, who characterizes coverings as those surjections which are categorically central, relatively to trivial quandles. We extend this work…
▽ More
This article is the second part of a series of three articles, in which we develop a higher covering theory of racks and quandles. This project is rooted in M. Eisermann's work on quandle coverings, and the categorical perspective brought to the subject by V. Even, who characterizes coverings as those surjections which are categorically central, relatively to trivial quandles. We extend this work by applying the techniques from higher categorical Galois theory, in the sense of G. Janelidze, and in particular we identify meaningful higher-dimensional centrality conditions defining our higher coverings of racks and quandles.
In this second article (Part II), we show that categorical Galois theory applies to the inclusion of the category of coverings into the category of surjective morphisms of racks and quandles. We characterise the induced Galois theoretic concepts of trivial covering, normal covering and covering in this two-dimensional context. The latter is described via our definition and study of double coverings, also called algebraically central double extensions of racks and quandles. We define a suitable and well-behaved commutator which captures the zero, one and two-dimensional concepts of centralization in the category of quandles. We keep track of the links with the corresponding concepts in the category of groups.
△ Less
Submitted 20 January, 2021; v1 submitted 6 January, 2021;
originally announced January 2021.
-
Higher coverings of racks and quandles -- Part I
Authors:
François Renaud
Abstract:
This article is the second part of a series of three articles, in which we develop a higher covering theory of racks and quandles. This project is rooted in M. Eisermann's work on quandle coverings, and the categorical perspective brought by V. Even, who characterizes coverings as those surjections which are central, relatively to trivial quandles. We extend this work by applying the techniques fr…
▽ More
This article is the second part of a series of three articles, in which we develop a higher covering theory of racks and quandles. This project is rooted in M. Eisermann's work on quandle coverings, and the categorical perspective brought by V. Even, who characterizes coverings as those surjections which are central, relatively to trivial quandles. We extend this work by applying the techniques from higher categorical Galois theory, in the sense of G. Janelidze, and in particular we identify meaningful higher-dimensional centrality conditions defining our higher coverings of racks and quandles. In this first article (Part I), we revisit and clarify the foundations of the covering theory of interest, we extend it to the more general context of racks and mathematically describe how to navigate between racks and quandles. We explain the algebraic ingredients at play, and reinforce the homotopical and topological interpretations of these ingredients. In particular we justify and insist on the crucial role of the left adjoint of the conjugation functor Conj between groups and racks (or quandles). We rename this functor Pth, and explain in which sense it sends a rack to its group of homotopy classes of paths. We characterize coverings and relative centrality using Pth, but also develop a more visual ``geometrical'' understanding of these conditions. We use alternative generalizable and visual proofs for the characterization of central extensions of racks and quandles. We complete the recovery of M. Eisermann's ad hoc constructions (weakly universal cover, and fundamental groupoid) from a Galois-theoretic perspective. We sketch how to deduce M. Eisermann's detailed classification results from the fundamental theorem of categorical Galois theory. We lay down all the ideas and results which will articulate the higher-dimensional theory developed in Part II and III.
△ Less
Submitted 8 March, 2021; v1 submitted 7 July, 2020;
originally announced July 2020.
-
A reduction methodology using free-free component eigenmodes and Arnoldi enrichment
Authors:
Hadrien Tournaire,
Franck Renaud,
Jean-Luc Dion
Abstract:
In order to perform faster simulations, the model reduction is nowadays used in industrial contexts to solve large and complex problems. However, the efficiency of such an approach is sometimes cut by the interface size of the reduced model and its reusability. In this article, we focus on the development of a reduction methodology for the build of modal analysis oriented and updatable reduced ord…
▽ More
In order to perform faster simulations, the model reduction is nowadays used in industrial contexts to solve large and complex problems. However, the efficiency of such an approach is sometimes cut by the interface size of the reduced model and its reusability. In this article, we focus on the development of a reduction methodology for the build of modal analysis oriented and updatable reduced order model whose size is not linked to their contacting interface. In order to allow latter model readjusting, we impose the use of eigenmodes in the reduction basis. Eventually, the method introduced is coupled to an Arnoldi based enrichment algorithm in order to improve the accuracy of the reduced model produced. In the last section the proposed methodology is discussed and compared to the Craig and Bampton reduction method. During this comparison we observed that even when not enriched, our work enables us to recover the Craig and Bampton accuracy with partially updatable and smaller reduced order model.
△ Less
Submitted 5 March, 2019;
originally announced March 2019.
