Searcharxiv⌕ Search

arXiv subjects

Jacques Thévenaz

Publications and source records attributed to Jacques Thévenaz.

17 recordsLinked to original sources
arXiv2019

The representation theory of finite sets and correspondences

We investigate correspondence functors, namely the functors from the category of finite sets and correspondences to the category of $k$-modules, where $k$ is a commutative ring.They have various specific properties which do not hold for other types of functors.In particular, if $k$ is a field and if $F$ is a correspondence functor, then $F$ is finitely generated if and only if the dimension of $F(X)$ grows exponentially in terms of the cardinality of the finite set $X$. In such a case, $F$ has finite length. Also, if $k$ is noetherian, then any subfunctor of a finitely generated functor is finitely generated. When $k$ is a field, we give a description of all the simple functors and we determine the dimension of their evaluations at any finite set.A main tool is the construction of a functor associated to any finite lattice $T$. We prove for instance that this functor is projective if and only if the lattice $T$ is distributive. Moreover, it has quotients which play a crucial role in the analysis of simple functors. The special case of total orders yields some more specific results. Several other properties are also discussed, such as projectivity, duality, and symmetry.In an appendix, all the lattices associated to a given poset are described.

math.RT↗
arXiv2019

Tensor product of correspondence functors

As part of the study of correspondence functors, the present paper investigates their tensor product and proves some of its main properties. In particular, the correspondence functor associated to a finite lattice has the structure of a commutative algebra in the tensor category of all correspondence functors.

math.RT↗
arXiv2019

Simple and projective correspondence functors

A correspondence functor is a functor from the category of finite sets and correspondences to the category of $k$-modules, where $k$ is a commutative ring. We determine exactly which simple correspondence functors are projective. Moreover, we analyze the occurrence of such simple projective functors inside the correspondence functor $F$ associated with a finite lattice and we deduce a direct sum decomposition of $F$.

math.RT↗
arXiv2019

The algebra of Boolean matrices, correspondence functors, and simplicity

We determine the dimension of every simple module for the algebra of the monoid of all relations on a finite set (i.e. Boolean matrices). This is in fact the same question as the determination of the dimension of every evaluation of a simple correspondence functor. The method uses the theory of such functors developed in [BT2, BT3], as well as some new ingredients in the theory of finite lattices.

math.RT↗
arXiv2019

Correspondence functors and lattices

A correspondence functor is a functor from the category of finite sets and correspondences to the category of k-modules, where k is a commu-tative ring. A main tool for this study is the construction of a correspondence functor associated to any finite lattice T. We prove for instance that this functor is projective if and only if the lattice T is distributive. Moreover, it has quotients which play a crucial role in the analysis of simple functors. The special case of total orders yields some more specific and complete results.

math.RT↗
arXiv2019

Correspondence functors and finiteness conditions

We investigate the representation theory of finite sets. The correspondence functors are the functors from the category of finite sets and correspondences to the category of k-modules, where k is a commutative ring. They have various specific properties which do not hold for other types of func-tors. In particular, if k is a field and if F is a correspondence functor, then F is finitely generated if and only if the dimension of F (X) grows exponentially in terms of the cardinality of the finite set X. Moreover, in such a case, F has actually finite length. Also, if k is noetherian, then any subfunctor of a finitely generated functor is finitely generated.

math.RT↗
arXiv2018

On the lifting of the Dade group

For the group of endo-permutation modules of a finite \(p\)-group, there is a surjective reduction modulo \(p\) homomorphism from a complete discrete valuation ring of characteristic 0 to its residue field of characteristic \(p\). We prove that this reduction map always has a section which is a group homomorphism.

math.RT↗
arXiv2015

The torsion group of endotrivial modules

Let G be a finite group and let T(G) be the abelian group of equivalence classes of endotrivial kG-modules, where k is an algebraically closed field of characteristic p. We determine, in terms of the structure of G, the kernel of the restriction map from T(G) to T(S), where S is a Sylow p-subgroup of G, in the case when S is abelian. This provides a classification of all torsion endotrivial kG-modules in that case.

math.GR↗
arXiv2013

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.

math.RT↗
arXiv2012

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.

math.GR↗
arXiv2012

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.

math.GR↗
arXiv2009

The primitive idempotents of the p-permutation ring

Let G be a finite group, let p be a prime number, and let K be a field of characteristic 0 and k be a field of characteristic p, both large enough. In this note we state explicit formulae for the primitive idempotents of K\otimes pp_k(G), where pp_k(G) is the ring of p-permutation kG-modules.

math.GR↗
arXiv2008

A sectional characterization of the Dade group

Let $k$ be a field of characteristic $p$, let $P$ be a finite $p$- group, where $p$ is an odd prime, and let $D(P)$ be the Dade group of endo-permutation $kP$-modules. It is known that $D(P)$ is detected via deflation--restriction by the family of all sections of $P$ which are elementary abelian of rank $\leq2$. In this paper, we improve this result by characterizing $D(P)$ as the limit (with respect to deflation--restriction maps and conjugation maps) of all groups $D(T/S)$ where $T/S$ runs through all sections of $P$ which are either elementary abelian of rank $\leq3$ or extraspecial of order $p^3$ and exponent $p$.

math.GR↗
arXiv1997

Maximal subgroups of direct products

We determine all maximal subgroups of the direct product $\sc G^n$ of $\sc n$ copies of a group~$\sc G$. If $\sc G$ is finite, we show that the number of maximal subgroups of~$\sc G^n$ is a quadratic function of~$\sc n$ if $\sc G$ is perfect, but grows exponentially otherwise. We~deduce a theorem of Wiegold about the growth behaviour of the number of generators of~$\sc G^n$.

math.GR↗