arXiv subjects
Publications and source records attributed to Damiano Rossi.
The Isaacs--Navarro--Wolf conjecture states that if $G$ is a finite solvable group and $x$ is an element of $G$ such that $χ(x)$ does not vanish for all irreducible characters $χ$ of $G$, then $x$ must be contained in some nilpotent normal subgroup. In this paper we present a proof of the Isaacs--Navarro--Wolf conjecture that was discovered with the use of artificial intelligence systems.
Let $G$ be a finite group, $p$ a prime number and $P$ a Sylow $p$-subgroup of $G$. Recently, G. Malle, G. Navarro, and P. H. Tiep conjectured that the number of $p$-Brauer characters of $G$ coincides with that of the normaliser ${\bf N}_G(P)$ if and only if $P$ is normal in $G$. We reduce this conjecture to a question about finite simple groups and prove it for the prime $p = 2$. As a by-product of our work, we prove a reduction theorem for the blockwise version of Alperin's lower bound on $p$-Brauer characters and prove it for $2$-blocks of maximal defect. This improves recent results obtained by Malle, Navarro, and Tiep.
Webb's conjecture states that the orbit space of the Brown complex of a finite group at any given prime $\ell$ is contractible. This conjecture was proved by Symonds in 1998. In this paper, we suggest a generalisation of Webb's conjecture for finite reductive groups. This is done by associating to each irreducible character a new simplicial complex defined in terms of Deligne--Lusztig theory. We then show that our conjecture follows from a condition, called ($e$-HC-conj) below, related to generalised Harish-Chandra theory. In particular, using earlier results of the author, we prove our conjecture and recover Symonds result for finite reductive groups under mild restrictions on the prime $\ell$. Finally, we show that the condition ($e$-HC-conj) is implied by the contractibility of the orbit spaces associated to our newly defined complex offering an unexplored topological approach to proving the uniqueness of $e$-cuspidal pairs up to conjugation.
Let $q$ be a prime power, $\ell$ a prime not dividing $q$, and $e$ the order of $q$ modulo $\ell$. We show that the geometric realisation of the nerve of the transporter category of $e$-split Levi subgroups of a finite reductive group $G$ over $\mathbb{F}_q$ is homotopy equivalent to the classifying space $BG$ up to $\ell$-completion. We suggest a generalisation of this equivalence to the setting of $\mathbb{Z}_\ell$-reflection cosets and establish a related fact involving the associated orbit spaces. We also establish a Dade-like formula for unipotent characters of $\mathbb{Z}_\ell$-spetses inspired by a question of Broué.
We prove that Späth's Character Triple Conjecture holds for every finite group with respect to maximal defect characters at the prime 2. This is done by reducing the maximal defect case of the conjecture to the so-called inductive Alperin-McKay condition whose verification has recently been completed by Ruhstorfer for the prime 2. As a consequence we obtain the Character Triple Conjecture for all 2-blocks with abelian defect groups by applying Brauer's Height Zero Conjecture, a proof of which is now available. We also obtain similar results for the block-free version of the Character Triple Conjecture at any prime p.
In this paper, we show that the Character Triple Conjecture holds for all finite groups once assumed for all quasi-simple groups. This answers the question on the existence of a self-reducing form of Dade's conjecture, a problem that was long investigated by Dade in the 1990s. Our result shows that this role is played by the Character Triple Conjecture, recently introduced by Späth, that we present here in a general form free of all previously imposed restrictions.
In this paper we study the simplicial complex induced by the poset of Brauer pairs ordered by inclusion for the family of finite reductive groups. In the defining characteristic case, the homotopy type of this simplicial complex coincides with that of the Tits building thanks to a well-known result of Quillen. On the other hand, in the non-defining characteristic case, we show that the simplicial complex of Brauer pairs is homotopy equivalent to a simplicial complex determined by generalised Harish-Chandra theory. This extends earlier results of the author on the Brown complex and makes use of the theory of connected subpairs and twisted block induction developed by Cabanes and Enguehard.
We study the Brown complex associated to the poset of $\ell$-subgroups in the case of a finite reductive group defined over a field $\mathbb{F}_q$ of characteristic prime to $\ell$. First, under suitable hypotheses, we show that its homotopy type is determined by the generic Sylow theory developed by Broué and Malle and, in particular, only depends on the multiplicative order of $q$ modulo $\ell$. This result leads to several interesting applications to generic Sylow theory, mod $\ell$ homology decompositions, and $\ell$-modular representation theory. Then, we conduct a more detailed study of the Brown complex in order to establish an explicit connection between the local-global conjectures in representation theory of finite groups and the generic Sylow theory. This is done by isolating a family of $\ell$-subgroups of finite reductive groups that corresponds bijectively to the structures controlled by the generic Sylow theory.
We obtain an adaptation of Dade's Conjecture and Späth's Character Triple Conjecture to unipotent characters of simple, simply connected finite reductive groups of type $\bf{A}$, $\bf{B}$ and $\bf{C}$. In particular, this gives a precise formula for counting the number of unipotent characters of each defect $d$ in any Brauer $\ell$-block $B$ in terms of local invariants associated to $e$-local structures. This provides a geometric version of the local-global principle in representation theory of finite groups. A key ingredient in our proof is the construction of certain parametrisations of unipotent generalised Harish-Chandra series that are compatible with isomorphisms of character triples.
Let p be a prime, B a p-block of a finite group G and b its Brauer correspondent. According to the Alperin-McKay Conjecture, there exists a bijection between the set of irreducible ordinary characters of height zero of B and those of b. In this paper, we show that whenever G is p-solvable such a bijection can be found, both for ordinary and Brauer characters, with the additional property of being compatible with divisibility of character degrees. In this case, we also show that the dimension of b divides the dimension of B.
We give new evidences to the fact that the structure of a solvable group can be controlled by irreducible monomial characters. In particular we inspect the role of monomial characters in Isaacs-Navarro-Wolf's conjecture and in Gluck's conjecture.
We prove new results in generalized Harish-Chandra theory providing a description of the so-called Brauer--Lusztig blocks in terms of the information encoded in the $\ell$-adic cohomology of Deligne--Lusztig varieties. Then, we propose new conjectures for finite reductive groups by considering geometric analogues of the $\ell$-local structures that lie at the heart of the local-global counting conjectures. For large primes, our conjectures coincide with the counting conjectures thanks to a connection established by Broué, Fong and Srinivasan between $\ell$-structures and their geometric counterpart. Finally, using the description of Brauer--Lusztig blocks mentioned above, we reduce our conjectures to the verification of Clifford theoretic properties expected from certain parametrisation of generalised Harish-Chandra series.
We work towards a version of generalized Harish-Chandra theory compatible with Clifford theory and with the action of automorphisms on irreducible characters. This provides a fundamental tool to verify the inductive conditions for the so-called local-global conjectures in representation theory of finite groups in the crucial case of groups of Lie type in non-defining characteristic. In particular, as shown by the author in an earier paper, this as a strong impact on the verification of the inductive condition for Dade's Conjecture. As a by-product, we also show how to extend the parametrization of generalized Harish-Chandra series given by Broué, Malle and Michel to the non-unipotent case by assuming maximal extendibility.
We refine the reduction theorem of the McKay Conjecture proved by Isaacs, Malle and Navarro. Assuming the inductive McKay condition, we obtain a strong version of the McKay Conjecture that gives central isomorphic character triples.
In this paper, we prove Späth's Character Triple Conjecture for $p$-solvable groups. This is a conjecture proposed by Späth during the reduction process of Dade's Projective Conjecture to quasisimple groups. In addition, as suggested by Isaacs and Navarro, we take into account the $p$-residue of characters.
Let G be a p-solvable group, P a p-subgroup and chi in Irr(G) such that chi(1)_p \ge |G:P|_p. We prove that the restriction chi_P is a sum of characters induced from subgroups Q\le P such that chi(1)_p=|G:Q|_p. This generalizes previous results by Giannelli--Navarro and Giannelli--Sambale on the number of linear constituents of chi_P. Although this statement does not hold for arbitrary groups, we conjecture a weaker version which can be seen as an extension of Brauer--Nesbitt's theorem on characters of p-defect zero. It also extends a conjecture of Wilde.