BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Michael Livesey appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We construct blocks of finite groups with arbitrarily large Morita Frobenius numbers, an invariant which determines the size of the minimal field of definition of the associated basic algebra. This answers a question of Benson and Kessar. This also improves upon a result of the second author where arbitrarily large $\mathcal{O}$-Morita Frobenius numbers are constructed.
We consider Donovan's conjecture in the context of blocks of groups $G$ with defect group $D$ and normal subgroups $N \lhd G$ such that $G=C_D(D\cap N)N$, extending similar results for blocks with abelian defect groups. As an application we show that Donovan's conjecture holds for blocks with defect groups of the form $Q_8 \times C_{2^n}$ or $Q_8 \times Q_8$ defined over a discrete valuation ring.
We show that the Green correspondence induces an injective group homomorphism from the linear source Picard group $\mathcal{L}(B)$ of a block $B$ of a finite group algebra to the linear source Picard group $\mathcal{L}(C)$, where $C$ is the Brauer correspondent of $B$. This homomorphism maps the trivial source Picard group $\mathcal{T}(B)$ to the trivial source Picard group $\mathcal{T}(C)$. We show further that the endopermutation source Picard group $\mathcal{E}(B)$ is bounded in terms of the defect groups of $B$ and that when $B$ has a normal defect group $\mathcal{E}(B)=\mathcal{L}(B)$. Finally we prove that the rank of any invertible $B$-bimodule is bounded by that of $B$.
Let $b$ be a block with normal abelian defect group and abelian inertial quotient. We prove that every Morita auto-equivalence of $b$ has linear source. We note that this improves upon results of Zhou and also Boltje, Kessar and Linckelmann.
We prove that if $b$ is a block of a finite group with normal abelian defect group and inertial quotient a direct product of elementary abelian groups, then $\operatorname{Picent}(b)$ is trivial. We also provide examples of blocks $b$ of finite groups with non-trivial $\operatorname{Picent}(b)$. We even have examples with normal abelian defect group and abelian inertial quotient.
We consider $p$-blocks with abelian defect groups and in the first part prove a relationship between its Loewy length and that for blocks of normal subgroups of index $p$. Using this, we show that if $B$ is a $2$-block of a finite group with abelian defect group $D \cong C_{2^{a_1}} \times \cdots \times C_{2^{a_r}} \times (C_2)^s$, where $a_i > 1$ for all $i$ and $r \geq 0$, then $d < LL(B) \leq 2^{a_1}+\cdots+2^{a_r}+2s-r+1$, where $|D|=2^d$. When $s=1$ the upper bound can be improved to $2^{a_1}+\cdots+2^{a_r}+2-r$. Together these give sharp upper bounds for every isomorphism type of $D$. A consequence is that when $D$ is an abelian $2$-group the Loewy length is bounded above by $|D|$ except when $D$ is a Klein-four group and $B$ is Morita equivalent to the principal block of $A_5$. We conjecture similar bounds for arbitrary primes and give evidence that it holds for principal $3$-blocks.
Let $q$ be a power of a prime, $l$ a prime not dividing $q$, $d$ a positive integer coprime to both $l$ and the multiplicative order of $q\mod l$ and $n$ a positive integer. A. Watanabe proved that there is a perfect isometry between the principal $l-$blocks of $GL_n(q)$ and $GL_n(q^d)$ where the correspondence of characters is give by Shintani descent. In the same paper Watanabe also prove that if $l$ and $q$ are odd and $l$ does not divide $GL_n(q^2)|/|U_n(q)|$ then there is a perfect isometry between the principal $l-$blocks of $U_n(q)$ and $GL_n(q^2)$ with the correspondence of characters also given by Shintani descent. R. Kessar extended this first result to all unipotent blocks of $GL_n(q)$ and $GL_n(q^d)$. In this paper we extend this second result to all unipotent blocks of $U_n(q)$ and $GL_n(q^2)$. In particular this proves that any two unipotent blocks of $U_n(q)$ at unitary primes (for possibly different $n$) with the same weight are perfectly isometric. We also prove that this perfect isometry commutes with Deligne-Lusztig induction at the level of characters.
O. Brunat and J. Gramain recently proved that any two blocks of double covers of symmetric groups are Broué perfectly isometric provided they have the same weight and sign. They also proved a corresponding statement for double covers of alternating groups and Broué perfect isometries between double covers of symmetric and alternating groups when the blocks have opposite signs. Using both the results and methods of O. Brunat and J. Gramain in this paper we prove that when the weight of a block of a double cover of a symmetric or alternating group is less than $p$ then the block is Broué perfectly isometric to its Brauer correspondent. This means that Broué's perfect isometry conjecture holds for the double covers of the symmetric and alternating groups. We also explicitly construct the characters of these Brauer correspondents which may be of independent interest to the reader.
H. Miyachi and W. Turner have independently proved that Broue's Abelian Defect Group Conjecture holds for certain unipotent blocks of the finite general linear group, the so-called Rouquier blocks. This together with A. Marcus and J. Chuang and R. Rouquier proves that the conjecture holds for all blocks of such groups. We prove that other finite classical groups also possess unipotent Rouquier blocks at linear primes.