• Aucun résultat trouvé

The study of the homology of these groups is known to be extremely hard and related to the problem of excision in algebraicK-theory

N/A
N/A
Protected

Academic year: 2022

Partager "The study of the homology of these groups is known to be extremely hard and related to the problem of excision in algebraicK-theory"

Copied!
3
0
0

Texte intégral

(1)

Polynomial functors on hermitian spaces Aur´elien Djament

(joint work with Christine Vespa)

In the early fifties, Eilenberg and Mac Lane [3] introduced the notion ofpolyno- mial functorsbetween categories of modules to study the homology of topological spaces which have now their name. The interest of this notion has remained strong, because of other connections with algebraic topology (Henn-Lannes-Schwartz), representation theory, algebraic K-theory and stable homology of linear groups (Betley, Suslin, Scorichenko). This classical notion of polynomial functor can be defined in the same way for functors from a (small) symmetric monoidal category (C,+,0) whose unit 0 is anzero objectto a (nice) abelian category.

But for some purposes, this setting is not enough. For example, many recent works deal withF I-modules (functors from the category of finite sets with injec- tions to abelian groups, see [1]); finitely generatedF I-modules carry polynomial properties (for dimension functions, when the values are in finite-dimensional vec- tor spaces over a field). Another example comes from the quotients of the lower central serie of the automorphism group of a free group — see recent works by Satoh and Bartholdi. But our main motivation to introduce a generalized notion of polynomial functors in the study ofstable homology of congruence groups. To be more precise, letI a ringwithout unit,na non-negative integer and

GLn(I) :=Ker(GLn(I⊕Z)→GLn(Z))

the corresponding general linear group, which is congruence group (I⊕Z is the ring obtained by adding formally a unit toI). The study of the homology of these groups is known to be extremely hard and related to the problem of excision in algebraicK-theory. For a qualitative approach of this problem, let us remark that the stabilization maps H(GLn(I)) → H(GLn+1(I)) and the natural action of GLn(Z) onH(GLn(I)) assemble to give a functor

S(Z)→Ab Zn7→Hd(GLn(I))

for eachd∈N(which will be denoted byHd(GL(I))). Here, we denote byS(R), for any ring R, the category of finitely generated left freeR-modules with split R-linear injections, the splitting being given in the structure.

Conjecture. For any ring without unitIand anyd∈N, the functorHd(GL(I)) : S(Z)→Abis weakly polynomial of degree≤2d.

This conjecture is inspired by the beautiful work of Suslin [4].

We will now explain the meaning of weakly polynomialand how wich kind of classification result we can get for this kind of polynomial functors (following [2]).

The categoryS(R) can be seen as a particular case of the categoryH(A) of her- mitian spaces over a ring with involutionA(the objects are the finitely generated free A-modules endowed with a non-degenerate hermitian form, the morphisms are A-linear maps which preserve the hermitian forms): S(R) is equivalent to H(Rop×R), where Rop×R is endowed with the canonical involution. We deal with this general hermitian setting, which is not harder thanS(Z).

1

(2)

2 Oberwolfach Report /

Strongly polynomial functors

In the sequel, (C,+,0) denotes a (small) symmetric monoidal category whose unit 0 is aninitial object(asF Iwith the disjoint union orH(A) with the hermitian sum) andAa Grothendieck category. The categoryFct(C,A) of functors fromC toAis also a Grothendieck category.

Definition. For any object x of C, let τx : Fct(C,A) → Fct(C,A) denote the precomposition by the functor−+x:C → C. We denote also byδx (respectively κx) the cokernel (resp. kernel) of the natural transformation Id =τ0→τxinduced by the unique map 0→x.

A functorF :C → Ais saidstrongly polynomial of degree≤difδa0δa1. . . δad(F) = 0 for any (d+ 1)-tuple (a0, . . . , ad) of objects ofC.

This notion is not so well-behaved, because is it not stable under subfunctors.

Weakly polynomial functors

To avoid this problem, we change the definition by working in a suitable quotient category:

Proposition and definition. The full subcategory SN(C,A) of Fct(C,A) of functorsF such thatF = P

x∈ObC

κx(F) is localizing. We denote by St(C,A) the quotient categoryFct(C,A)/SN(C,A).

For any objectxofC,τxinduces an exact functor (always denoted in the same way) ofSt(C,A); in this category, the natural transformation Id→ τx is monic.

So its cokernelδx is exact.

An objectXofSt(C,A) is said polynomial of degree≤difδa0δa1. . . δad(X) = 0 for any (d+ 1)-tuple (a0, . . . , ad) of objects ofC.

The full subcategoryPold(C,A) ofSt(C,A) of these objects is bilocalizing.

A functor F : C → A is said weakly polynomial of degree ≤ d if its image in St(C,A) belongs toPold(C,A).

Main result

Theorem ([2]). LetAbe a ring with involution andAa Grothendieck category.

For anyd∈N, the forgetful functorH(A)→F(A) (category of finitely generated freeA-modules, with usual morphisms) induces an equivalence of categories:

Pold(F(A),A)/Pold−1(F(A),A)→ Pold(H(A),A)/Pold−1(H(A),A) (the source category can be described from the wreath product ofAandSd).

References

[1] T. Church, J. Ellenberg and B. Farb,FI-modules and stability for representations of sym- metric groups, Duke Math. J.,to appear.

[2] A. Djament and C. Vespa,De la structure des foncteurs polynomiaux sur les espaces her- mitiens, preprint available on http://hal.archives-ouvertes.fr/hal-00851869.

[3] S. Eilenberg and S. Mac Lane,On the groupsH(Π, n). II. Methods of computation, Ann.

of Math. (2)60(1954), 49–139.

(3)

3

[4] A. Suslin, Excision in integer algebraic K-theory, Trudy Mat. Inst. Steklov 208(1995), 290–317.

Références

Documents relatifs

Since a functor of F quad is colimit of its subfunctors which take values in finite vector spaces, we deduce from Lemma 4.8, that it is sufficient to prove the result for the

However, since (G, a) represents the restriction of the functor to the category ofpreschemes which are reduced and a direct sum ofpreschemes of finite type over k, it follows that

As we saw in the proof of Proposition 32, it suffices to study the subsystems obtained from equation (34) that correspond to the orbits of the action of conjugation by δ.. This

able at http://tel.archives-ouvertes.fr/tel-00526976/, this program computes a fundamental domain for the Bianchi groups in hyperbolic 3-space, the associated quotient space

In fact one of the motivations of the representation theory was to analyze invariant linear differential equations, as seen in the Fourier transform for the constant

Keywords: Infinite subsets, finite depth, Engel groups, minimal condition on normal sub- groups, finite-by-nilpotent groups, finitely generated hyper-(Abelian-by-finite)

BECK, Homology and standard constructions, Lecture Notes in Math. Introduction to Seminar on triples and categorical homology theory, Lecture Notes in

THEOREM 2.5: The quotient G/Rad G can be embedded as a direct sum of a fznite number of linear groups over locally finite fields. PROOF: The isomorphism between