Source author record

Serge Bouc

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.GR math.CT math.RA math.RT math.AT math.KT math.CO

Catalog footprint

Research overview

17works

7topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Diagonal $p$ -permutation functors, semisimplicity, and functorial equivalence of blocks

Let $k$ be an algebraically closed field of characteristic $p>0$ , let $R$ be a commutative ring, and let $\mathbb{F}$ be an algebraically closed field of characteristic 0. We consider the $R$ -linear category $\mathcal{F}^Δ_{Rpp_k}$ of diagonal $p$ -permutation functors over $R$ . We first show that the category $\mathcal{F}^Δ_{\mathbb{F}pp_k}$ is semisimple, and we give a parametrization of its simple objects, together with a description of their evaluations. Next, to any pair $(G,b)$ of a finite group $G$ and a block idempotent $b$ of $kG$ , we associate a diagonal $p$ -permutation functor $RT^Δ_{G,b}$ in $\mathcal{F}^Δ_{Rpp_k}$ . We find the decomposition of the functor $\mathbb{F}T^Δ_{G,b}$ as a direct sum of simple functors in $\mathcal{F}^Δ_{\mathbb{F}pp_k}$ . This leads to a characterization of nilpotent blocks in terms of their associated functors in $\mathcal{F}^Δ_{\mathbb{F}pp_k}$ . Finally, for such pairs $(G,b)$ of a finite group and a block idempotent, we introduce the notion of functorial equivalence over $R$ , which (in the case $R=\mathbb{Z}$ ) is slightly weaker than $p$ -permutation equivalence, and we prove a corresponding finiteness theorem: for a given finite $p$ -group $D$ , there is only a finite number of pairs $(G,b)$ , where $G$ is a finite group and $b$ a block idempotent of $kG$ with defect isomorphic to $D$ , up to functorial equivalence over $\mathbb{F}$ .

preprint2022arXiv

Green fields

We introduce {\em Green fields}, as commutative Green biset functors with no non-trivial ideals. We state some of their properties and give examples of known Green biset functors which are Green fields. Among the properties, we prove some criterions ensuring that a Green field is semisimple. Finally, we describe a type of Green field for which its category of modules is equivalent to a category of vector spaces over a field.

preprint2022arXiv

Shifted functors of linear representations are semisimple

We prove that, for any fields $k$ and $\mathbb{F}$ of characteristic $0$ and any finite group $T$ , the category of modules over the shifted Green biset functor $(kR_{\mathbb{F}})_T$ is semisimple.

preprint2022arXiv

The center of a Green biset functor

For a Green biset functor $A$ , we define the commutant and the center of $A$ and we study some of their properties and their relationship. This leads in particular to the main application of these constructions: the possibility of splitting the category of $A$ -modules as a direct product of smaller abelian categories. We give explicit examples of such decompositions for some classical shifted representation functors. These constructions are inspired by similar ones for Mackey functors for a fixed finite group.

preprint2020arXiv

A functorial presentation of units of Burnside rings

Let $B^\times$ be the biset functor over $\mathbb{F}_2$ sending a finite group~ $G$ to the group $B^\times(G)$ of units of its Burnside ring $B(G)$ , and let $\widehat{B^\times}$ be its dual functor. The main theorem of this paper gives a characterization of the cokernel of the natural injection from $B^\times$ in the dual Burnside functor $\widehat{\mathbb{F}_2B}$ , or equivalently, an explicit set of generators $\mathcal{G}_S$ of the kernel $L$ of the natural surjection $\mathbb{F}_2B\to \widehat{B^\times}$ . This yields a two terms projective resolution of $\widehat{B^\times}$ , leading to some information on the extension functors $\mathrm{Ext}^1(-,B^\times)$ . For a finite group $G$ , this also allows for a description of $B^\times(G)$ as a limit of groups $B^\times(T/S)$ over sections $(T,S)$ of $G$ such that $T/S$ is cyclic of odd prime order, Klein four, dihedral of order 8, or a Roquette 2-group. Another consequence is that the biset functor $B^\times$ is not finitely generated, and that its dual $\widehat{B^\times}$ is finitely generated, but not finitely presented. The last result of the paper shows in addition that $\mathcal{G}_S$ is a minimal set of generators of $L$ , and it follows that the lattice of subfunctors of $L$ is uncountable.

preprint2016arXiv

K-theory, genotypes, and biset functors

Let p be an odd prime number. In this paper, we show that the genome $Γ(P)$ of a finite $p$ -group $P$ , defined as the direct product of the genotypes of all rational irreducible representations of $P$ , can be recovered from the first group of $K$ -theory $K_1(\mathbb{Q}P)$ . It follows that the assignment $P \to Γ(P)$ is a $p$ -biset functor. We give an explicit formula for the action of bisets on $Γ$ , in terms of generalized transfers associated to left free bisets. Finally, we show that $Γ$ is a rational $p$ -biset functor, i.e. that $Γ$ factors through the Roquette category of finite $p$ -groups.

preprint2015arXiv

On a question of Rickard on tensor product of stably equivalent algebras

Let $\overline\F\_p$ be the algebraic closure of the prime field of characteristic $p$ . After observing that the principal block $B$ of $\overline\F\_pPSU(3,p^r)$ is stably equivalent of Morita type to its Brauer correspondent $b$ , we show however that the centre of $B$ is not isomorphic as an algebra to the centre of $b$ in the cases $p^r\in\{3,4,5,8\}$ . As a consequence, the algebra $B\otimes\_{\overline{\F}\_p}\overline \F\_p[X]/X^p$ is not stably equivalent of Morita type to $b\otimes\_{\overline\F\_p}\overline\F\_p[X]/X^p$ in these cases. This yields a negative answer to a question of Rickard.

preprint2014arXiv

Fast decomposition of p-groups in the Roquette category, for p>2

Let p be a prime number. In [9], I introduced the Roquette category R_p of finite p-groups, which is an additive tensor category containing all finite p-groups among its objects. In R_p, every finite p-group P admits a canonical direct summand dP, called the edge of P. Moreover P splits uniquely as a direct sum of edges of Roquette p-groups. In this note, I would like to describe a fast algorithm to obtain such a decomposition, when p is odd. ref: [9] The Roquette category of finite p-groups, J.E.M.S (to appear)

preprint2013arXiv

Fused Mackey functors

Let $G$ be a finite group. In [HTW], Hambleton, Taylor and Williams have considered the question of comparing Mackey functors for $G$ and biset functors defined on subgroups of $G$ and bifree bisets as morphisms. This paper proposes a different approach to this problem, from the point of view of various categories of $G$ -sets. In particular, the category of fused $G$ -sets is introduced, as well its category of spans. The fused Mackey functors for $G$ over a commutative ring $R$ are defined as $R$ -linear functors from this ( $R$ -linearized) category of spans to $R$ -modules. They form an abelian subcategory of the category of Mackey functors for $G$ over $R$ , equivalent (for $R=Z$ ) to the category to the category of conjugation Mackey functors of [HTW]. The category of fused Mackey functors is also equivalent to the category of modules over the fused Mackey algebra, which is a quotient of the usual Mackey algebra of $G$ over $R$ . Reference: [HTW] I. Hambleton, L. R. Taylor, and E. B. Williams. Mackey functors and bisets. Geom. Dedicata, 148:157--174, 2010.

preprint2013arXiv

The algebra of essential relations on a finite set

Let X be a finite set and let k be a commutative ring. We consider the k-algebra of the monoid of all relations on X, modulo the ideal generated by the relations factorizing through a set of cardinality strictly smaller than Card(X), called inessential relations. This quotient is called the essential algebra associated to X. We then define a suitable nilpotent ideal of the essential algebra and describe completely the structure of the corresponding quotient, a product of matrix algebras over suitable group algebras. In particular, we obtain a description of the Jacobson radical and of all the simple modules for the essential algebra.

preprint2013arXiv

The poset of posets

Let X be a finite set. This paper describes some topological and combinatorial properties of the poset Ω_X of order relations on X. In particular, the homotopy type of all the intervals in Ω_X is precisely determined, and the Möbius function of Ω_X is computed.

preprint2012arXiv

A conjecture on B-groups

In this note, I propose the following conjecture: a finite group G is nilpotent if and only if its largest quotient B-group β(G) is nilpotent. I give a proof of this conjecture under the additional assumption that G be solvable. I also show that this conjecture is equivalent to the following: the kernel of restrictions to nilpotent subgroups is a biset-subfunctor of the Burnside functor.

preprint2012arXiv

Simple biset functors and double Burnside rings

Let G be a finite group and let k be a field. Our purpose is to investigate the simple modules for the double Burnside ring kB(G,G). It turns out that they are evaluations at G of simple biset functors. For a fixed finite group H, we introduce a suitable bilinear form on kB(G,H) and we prove that the quotient of kB(-,H) by the radical of the bilinear form is a semi-simple functor. This allows for a description of the evaluation of simple functors, hence of simple modules for the double Burnside ring.

preprint2012arXiv

Vanishing evaluations of simple functors

The classification of simple biset functors is known, but the evaluation of a simple biset functor at a finite group G may be zero. We investigate various situations where this happens, as well as cases where this does not occur. We also prove a closed formula for such an evaluation under some restrictive conditions on G.

preprint2011arXiv

The Roquette category of finite p-groups

Let p be a prime number. This paper introduces the Roquette category R_p of finite p-groups, which is an additive tensor category containing all finite p-groups among its objects. In R_p, every finite p-group P admits a canonical direct summand, called the edge of P. Moreover P splits uniquely as a direct sum of edges of Roquette p-groups, and the tensor structure of R_p can be described in terms of such edges. The main motivation for considering this category is that the additive functors from R_p to abelian groups are exactly the rational p-biset functors. This yields in particular very efficient ways of computing such functors on arbitrary p-groups : this applies to the representation functors R_K, where K is any field of characteristic 0, but also to the functor of units of Burnside rings, or to the torsion part of the Dade group.

preprint2010arXiv

On the Cartan matrix of Mackey algebras

Let k be a field of characteristic p>0, and G be a finite group. The first result of this paper is an explicit formula for the determinant of the Cartan matrix of the Mackey algebra mu_k(G) of G over k. The second one is a formula for the rank of the Cartan matrix of the cohomological Mackey algebra comu_k(G) of G over k, and a characterization of the groups G for which this matrix is non singular. The third result is a generalization of this rank formula and characterization to blocks of comu_k(G) : in particular, if b is a block of kG, the Cartan matrix of the corresponding block comu_k(b) of comu_k(G) is non singular if and only if b is nilpotent with cyclic defect groups.

preprint2010arXiv

The extension algebra of some cohomological Mackey functors

Let $k$ be a field of characteristic $p$ . We construct a new inflation functor for cohomological Mackey functors for finite groups over $k$ . Using this inflation functor, we give an explicit presentation of the graded algebra of self extensions of the simple functor $S_\un^G$, when $p$ is odd and $G$ is an elementary abelian $p$ -group.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Serge Bouc

Research overview

Is this your work?

17 publications

Diagonal $p$ -permutation functors, semisimplicity, and functorial equivalence of blocks

Green fields

Shifted functors of linear representations are semisimple

The center of a Green biset functor

A functorial presentation of units of Burnside rings

K-theory, genotypes, and biset functors

On a question of Rickard on tensor product of stably equivalent algebras

Fast decomposition of p-groups in the Roquette category, for p>2

Fused Mackey functors

The algebra of essential relations on a finite set

The poset of posets

A conjecture on B-groups

Simple biset functors and double Burnside rings

Vanishing evaluations of simple functors

The Roquette category of finite p-groups

On the Cartan matrix of Mackey algebras

The extension algebra of some cohomological Mackey functors

See the researcher in context

Building this map preview

Serge Bouc

Research overview

Is this your work?

17 publications

Diagonal ppp-permutation functors, semisimplicity, and functorial equivalence of blocks

Green fields

Shifted functors of linear representations are semisimple

The center of a Green biset functor

A functorial presentation of units of Burnside rings

K-theory, genotypes, and biset functors

On a question of Rickard on tensor product of stably equivalent algebras

Fast decomposition of p-groups in the Roquette category, for p>2

Fused Mackey functors

The algebra of essential relations on a finite set

The poset of posets

A conjecture on B-groups

Simple biset functors and double Burnside rings

Vanishing evaluations of simple functors

The Roquette category of finite p-groups

On the Cartan matrix of Mackey algebras

The extension algebra of some cohomological Mackey functors

See the researcher in context

Building this map preview

Diagonal $p$ -permutation functors, semisimplicity, and functorial equivalence of blocks