• 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
En savoir plus ( Page)

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

Qualitatively different categories of descriptions concerning the meaning of evalua- ting technical solutions, performing a house hop and being able to act with presence

However, for many combinatorial categories appearing in representation stability theory, their self-embedding functors and the induced shift functors have extra interesting

In Section 4, we prove our second main result, that if the ideal of relations of a category is generated in degrees at most d, then every module presented in finite degrees is

Hors concours : Société Geucvoise pour la construction d’instruments de physi­ que, Genève.. Bell et Cie,

Proposition 5.4, it follows that any product of dihedral 2-groups and groups of order 2 is isomorphic to a direct sum of edges of the trivial group, of the edge of the group of order

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

Partial group actions were considered first by Exel [E1] in the context of operator algebras and they turned out to be a powerful tool in the study of C -algebras generated by

maximal subgroups of Sylow subgroups of Fitting subgroup of a finite. group,

The purpose of this paper is to employ u-independence for the investigation of finite rank torsion-free modules, obtaining results analogous to the ones that hold

Rendiconti del Seminario Matematico della Università di Padova, tome 55 (1976),

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

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

recognition mechanism depends on subtle changes in tubulin curvature in the transition between MT lattice and curved tubulin sheet that is predicted to be different between plus

groups, the Algerian Popular Group realized the value of time in its variable dimensions through its day- to-day experiences in life.. These latter were crucial in

We then further refine our results when the distribution is specified by a Markovian scheme, and in particular we give a phase transition theorem which generalizes the classical

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

Raman scattering data show the presence of Ge-Ge, Ge-Sb and Sb-Sb bonds in the S- deficient glass but only Ge-Sb bonds are needed to fit diffraction and

Les germes le plus souvent saprophytes vont donc remonter jusque dans la vessie puis dans le haut de l’appareil urinaire du fait de la baisse des défenses de

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

Note : Quand vous avez fait la de saisie des données avec plusieurs tableaux (Access etc), vous devez utiliser le même code (ID) pour chaque données de tableaux différents.