Searcharxiv⌕ Search

arXiv subjects

Christine Vespa

Publications and source records attributed to Christine Vespa.

At least 19 recordsLinked to original sources
arXiv2026

On integral extensions between the abelianization functor and its symmetric powers

This paper aims to study Ext-groups between certain functors defined on the category of finitely generated free groups. Rational Ext-groups between the abelianization functor and its symmetric powers are known, and are almost always equal to zero. Recently, using homotopical methods, Arone constructed an explicit bounded complex whose homology corresponds to the integral Ext-groups between the abelianization functor and its symmetric powers. The homology of this complex is far from being trivial. Using this complex, we explicitly calculate some of these Ext-groups. More precisely, we compute Ext^1, Ext^2, Ext^{d-1} and Ext^{d-2} between the abelianization functor and its dth symmetric power. We further explain how Arone's complex can be obtained from an explicit projective resolution of the abelianization functor. We compare our results with the computation of Ext-groups between functors from finitely generated free abelian groups, obtained by Franjou and Pirashvili. In particular, we obtain that the composition with the abelianization functor induces an isomorphism for the Ext^1 considered in this paper.

math.AT↗
arXiv2024

Higher Hochschild homology and exponential functors

We study higher Hochschild homology evaluated on wedges of circles, viewed as a functor on the category of free groups. The main results use coefficients arising from square-zero extensions; this is motivated by work of Turchin and Willwacher in relation to hairy graph cohomology. The functorial point of view allows us to exploit tools such as the theory of polynomial functors and exponential functors. We also introduce and make essential use of the category of outer functors, the full subcategory of functors on free groups on which inner automorphisms act trivially. We give a description of higher Hochschild homology in terms of intrinsically defined polynomial outer functors; we also obtain several explicit computations of these outer functors, working over a field of characteristic zero. In particular, higher Hochschild homology gives a natural source of non-trivial polynomial outer functors.

math.AT↗
arXiv2024

A prop structure on partitions

Motivated by its link with functor homology, we study the prop freely generated by the operadic suspension of the operad Com. We exhibit a particular family of generators, for which the composition and the symmetric group actions admit simple descriptions. We highlight associated subcategories of its Karoubi envelope which allows us to compute extensions groups between simple functors from free groups. We construct a particular prop structure on partitions whose composition corresponds to the Yoneda product of extensions between exterior power functors.

math.AT↗
arXiv2024

On analytic exponential functors on free groups

This paper concerns exponential contravariant functors on free groups. We obtain an equivalence of categories between analytic, exponential contravariant functors on free groups and conilpotent cocommutative Hopf algebras. This result explains how equivalences of categories obtained previously by Pirashvili and by Powell interact. Moreover, we obtain an equivalence between the categories of outer, exponential contravariant functors on free groups and bicommutative Hopf algebras. We also go further by introducing a subclass of analytic, contravariant functors on free groups, called primitive functors; and prove an equivalence between primitive, exponential contravariant functors and primitive cocommutative Hopf algebras.

math.AT↗
arXiv2022

On the functors associated with beaded open Jacobi diagrams

Morphisms in the linear category A of Jacobi diagrams in handlebodies give rise to interesting contravariant functors on the category gr of finitely-generated free groups, encoding part of the composition structure of the category A. These functors correspond, via an equivalence of categories given by Powell, to functors given by beaded open Jacobi diagrams. We study the polynomiality of these functors and whether they are outer functors. These results are inspired by and generalize previous results obtained by Katada.

math.AT↗
arXiv2021

On the wheeled PROP of stable cohomology of Aut(F_n) with bivariant coefficients

We show that the stable cohomology of automorphism groups of free groups with coefficients obtained by applying Hom(-,-) to tensor powers of the abelianization, is equipped with the structure of a wheeled PROP H. We define another wheeled PROP E by Ext-groups in the category of functors from the category of finitely generated free groups to k-modules. The main result of this paper is the construction of a morphism of wheeled PROPs $ϕ: E \to H$ such that $ϕ(E)$ is the wheeled PROP generated by the cohomology class h_1 constructed by the first author.

math.AT↗
arXiv2021

Décompositions à la Steinberg sur une catégorie additive

We give a description of simple functors taking finitely generated values, from a small additive category to the category of vector spaces over a field. This result is analogous to Steinberg's tensor product theorems in group representation theory. Our results rest on the notion of polynomial functor introduced by Eilenberg and Mac Lane. We give applications to representations of general linear groups or to finiteness properties of functor categories.

math.RT↗
arXiv2020

A Pirashvili-type theorem for functors on non-empty finite sets

Pirashvili's Dold-Kan type theorem for finite pointed sets follows from the identification in terms of surjections of the morphisms between the tensor powers of a functor playing the role of the augmentation ideal; these functors are projective. We give an unpointed analogue of this result: namely, we compute the morphisms between the tensor powers of the corresponding functor in the unpointed context. We also calculate the Ext groups between such objects, in particular showing that these functors are not projective; this is an important difference between the pointed and unpointed contexts. This work is motivated by our functorial analysis of the higher Hochschild homology of a wedge of circles.

math.AT↗
arXiv2017

Weakly polynomial functors

We introduce and study a general notion of polynomial functor from a small monoidal symmetric category whose unit is an initial object and give a classification result of polynomial functors of degree smaller of equal to n modulo those of degree smaller of equal to n-1 in the case of a category of hermitian spaces.

math.AT↗
arXiv2016

Extension between functors from groups

Motivated in part by the study of the stable homology of automorphism groups of free groups, we consider cohomological calculations in the category $\mathcal{F}(\textbf{gr})$ of functors from finitely generated free groups to abelian groups.In particular, we compute the groups $Ext^*\_{\mathcal{F}(\textbf{gr})}(T^n \circ \mathfrak{a}, T^m \circ \mathfrak{a})$ where $\mathfrak{a}$ is the abelianization functor and $T^n$ is the n-th tensor power functor for abelian groups. These groups are shown to be non-zero if and only if $*=m-n \geq 0$ and $Ext^{m-n}\_{\mathcal{F}(\textbf{gr})}(T^n \circ \mathfrak{a}, T^m \circ \mathfrak{a})=\mathbb{Z}[Surj(m,n)]$ where $Surj(m,n)$ is the set of surjections from a set having $m$ elements to a set having $n$ elements. We make explicit the action of symmetric groups on these groups and the Yoneda and external products. We deduce from these computations those of rational Ext-groups for functors of the form $F \circ \mathfrak{a}$ where $F$ is a symmetric or an exterior power functor. Combining these computations with a recent result of Djament we obtain explicit computations of stable homology of automorphism groups of free groups with coefficients given by particular contravariant functors.

math.AT↗
arXiv2015

On some properties of the category of cocommutative Hopf algebras

By a recent work of Gran-Kadjo-Vercruysse, the category of cocommutative Hopf algebras over a field of characteristic zero is semi-abelian. In this paper, we explore some properties of this categoy, in particular we show that its abelian core is the category of commutative and cocommutative Hopf algebras.

math.CT↗
arXiv2014

Cohomologie des foncteurs polynomiaux sur les groupes libres

We show that extension groups between two polynomial functors on free groups are the same in the category of all functors and in a subcategory of polynomial functors of bounded degree. We give some applications. ---- On montre que les groupes d'extensions entre foncteurs polynomiaux sur les groupes libres sont les mêmes dans la catégorie de tous les foncteurs et dans une sous-catégorie de foncteurs polynomiaux de degré borné. On donne quelques applications.

math.KT↗
arXiv2013

Sur l'homologie des groupes d'automorphismes des groupes libres à coefficients polynomiaux

We study in this article stable homology of automorphism groups of free groups with coefficients twisted by a poynomial functor. We show that this homology is zero for a reduced covariant polynomial functor. For a reduced contravariant functor, we compute the first homology group, which is in general non zero. Our methods relie on the use of functor categories. ---On étudie dans cet article l'homologie stable des groupes d'automorphismes des groupes libres à coefficients tordus par un foncteur polynomial. On montre que cette homologie est nulle pour un foncteur polynomial covariant réduit. Dans le cas d'un foncteur polynomial réduit contravariant, on calcule le premier groupe d'homologie, qui n'est généralement pas nul. Nos méthodes reposent sur l'utilisation de catégories de foncteurs.

math.AT↗
arXiv2012

Polynomial functors from Algebras over a set-operad and non-linear Mackey functors

In this paper, we give a description of polynomial functors from (finitely generated free) groups to abelian groups in terms of non-linear Mackey functors generalizing those given in a paper of Baues-Dreckmann-Franjou-Pirashvili published in 2001. This description is a consequence of our two main results: a description of functors from (fi nitely generated free) P-algebras (for P a set-operad) to abelian groups in terms of non-linear Mackey functors and the isomorphism between polynomial functors on (finitely generated free) monoids and those on (finitely generated free) groups. Polynomial functors from (finitely generated free) P-algebras to abelian groups and from (finitely generated free) groups to abelian groups are described explicitely by their cross-e ffects and maps relating them which satisfy a list of relations.

math.AT↗
arXiv2009

Quadratic functors on pointed categories

We study polynomial functors of degree 2, called quadratic, with values in the category of abelian groups $Ab$, and whose source category is an arbitrary category $\C$ with null object such that all objects are colimits of copies of a generating object $E$ which is small and regular projective; this includes all pointed algebraic varieties. More specifically, we are interested in such quadratic functors $F$ from $\C$ to $Ab$ which preserve filtered colimits and suitable coequalizers; one may take reflexive ones if $\C$ is Mal'cev and Barr exact. A functorial equivalence is established between such functors $F:\C\to Ab$ and certain minimal algebraic data which we call quadratic $\C$-modules: these involve the values on $E$ of the cross-effects of $F$ and certain structure maps generalizing the second Hopf invariant and the Whitehead product. Applying this general result to the case where $E$ is a cogroup these data take a particularly simple form. This application extends results of Baues and Pirashvili obtained for $\C$ being the category of groups or of modules over some ring; here quadratic $\C$-modules are equivalent with abelian square groups or quadratic $R$-modules, respectively.

math.AT↗
arXiv2009

Sur l'homologie des groupes orthogonaux et symplectiques à coefficients tordus

We compute the stable homology of orthogonal and symplectic groups over a finite field k with coefficients coming from an usual endofunctor F of k-vector spaces (exterior, symmetric, divided powers...), that is, for all natural integer i, we compute the colimits of the vector spaces $H_i(O_{n,n}(k) ; F(k^{2n}))$ and $H_i(Sp_{2n}(k) ; F(k^{2n}))$. In this situation, the stabilization is a classical result of Charney. We give a formal framework to connect stable homology of some families of groups and homology of suitable small categories thanks to a spectral sequence which collapses in several cases. By our purely algebraic methods (i.e. without stable K-theory) we obtain again results of Betley for stable homology of linear groups and symmetric groups. For orthogonal and symplectic groups over a field we prove a categorical result for vector spaces equipped with quadratic or alternating forms and use powerful cancellation results known in homology of functors (Suslin, Scorichenko, Djament) to deduce a spectacular simplification of the second sheet of our general spectral sequence. When we consider the orthogonal and symplectic groups over a finite field and we take coefficients with values in vector spaces over the same field, we can compute the second sheet of the spectral sequence thanks to classical results: homological cancellation with trivial coefficients (Quillen, Fiedorowicz-Priddy) and calculation of torsion groups between usual functors (Franjou-Friedlander-Scorichenko-Suslin, Chalupnik).

math.AT↗
arXiv2007

Generic representations of orthogonal groups: projective functors in the category Fquad

In this paper, we continue the study of the category of functors Fquad, associated to F_2-vector spaces equipped with a nondegenerate quadratic form, initiated in two previous papers of the author. We define a filtration of the standard projective objects in Fquad; this refines to give a decomposition into indecomposable factors of the two first standard projective objects in Fquad. As an application of these two decompositions, we give a complete description of the polynomial functors of the category Fquad.

math.AT↗