Showing 1–40 of 40 results for author: Linckelmann, M

Weight conjectures for fusion systems on an extraspecial group

Authors: Radha Kessar, Markus Linckelmann, Justin Lynd, Jason Semeraro

Abstract: In a previous paper, we stated and motivated counting conjectures for fusion systems that are purely local analogues of several local-to-global conjectures in the modular representation theory of finite groups. Here we verify some of these conjectures for fusion systems on an extraspecial group of order $p^3$, which contain among them the Ruiz-Viruel exotic fusion systems at the prime $7$. As a by… ▽ More In a previous paper, we stated and motivated counting conjectures for fusion systems that are purely local analogues of several local-to-global conjectures in the modular representation theory of finite groups. Here we verify some of these conjectures for fusion systems on an extraspecial group of order $p^3$, which contain among them the Ruiz-Viruel exotic fusion systems at the prime $7$. As a byproduct we verify Robinson's ordinary weight conjecture for principal $p$-blocks of almost simple groups $G$ realizing such (nonconstrained) fusion systems. △ Less

Submitted 18 May, 2025; v1 submitted 7 May, 2025; originally announced May 2025.

Comments: 19 pages, expanded version of Section 8 of arXiv:1810.01453

MSC Class: 20C15; 20C20; 20C25; 20E25; 20D20; 20C34

On the solvability of the Lie algebra $\mathrm{HH}^1(B)$ for blocks of finite groups

Authors: Markus Linckelmann, Jialin Wang

Abstract: We give some criteria for the Lie algebra $\mathrm{HH}^1(B)$ to be solvable, where $B$ is a $p$-block of a finite group algebra, in terms of the action of an inertial quotient of $B$ on a defect group of $B$. We give some criteria for the Lie algebra $\mathrm{HH}^1(B)$ to be solvable, where $B$ is a $p$-block of a finite group algebra, in terms of the action of an inertial quotient of $B$ on a defect group of $B$. △ Less

Submitted 11 April, 2025; v1 submitted 20 March, 2025; originally announced March 2025.

MSC Class: 16E40; 16G30; 17B30; 20J06

The operad of Latin hypercubes

Authors: Markus Linckelmann

Abstract: We show that the sets of $d$-dimensional Latin hypercubes over a non-empty set $X$, with $d$ running over the positive integers, determine an operad which is isomorphic to a sub-operad of the endomorphism operad of $X$. We generalise this to categories with finite products, and then further to internal versions for certain Cartesian closed monoidal categories with pullbacks. We show that the sets of $d$-dimensional Latin hypercubes over a non-empty set $X$, with $d$ running over the positive integers, determine an operad which is isomorphic to a sub-operad of the endomorphism operad of $X$. We generalise this to categories with finite products, and then further to internal versions for certain Cartesian closed monoidal categories with pullbacks. △ Less

Submitted 29 June, 2024; v1 submitted 29 February, 2024; originally announced February 2024.

Tate Duality and Transfer for Symmetric Algebras Over Complete Discrete Valuation Rings

Authors: Markus Linckelmann

Abstract: We show that dualising transfer maps in Hochschild cohomology of symmetric algebras over complete discrete valuations rings commutes with Tate duality. This is analogous to a similar result for Tate cohomology of symmetric algebras over fields. We interpret both results in the broader context of Calabi-Yau triangulated categories. We show that dualising transfer maps in Hochschild cohomology of symmetric algebras over complete discrete valuations rings commutes with Tate duality. This is analogous to a similar result for Tate cohomology of symmetric algebras over fields. We interpret both results in the broader context of Calabi-Yau triangulated categories. △ Less

Submitted 25 October, 2023; originally announced October 2023.

MSC Class: 18G65; 16E40

Hochschild cohomology of symmetric groups and generating functions,II

Authors: David Benson, Radha Kessar, Markus Linckelmann

Abstract: We relate the generating functions of the dimensions of the Hochschild cohomology in any fixed degree of the symmetric groups with those of blocks of the symmetric groups. We show that the first Hochschild cohomology of a positive defect block of a symmetric group is non-zero, answering in the affirmative a question of the third author. To do this, we prove a formula expressing the dimension of de… ▽ More We relate the generating functions of the dimensions of the Hochschild cohomology in any fixed degree of the symmetric groups with those of blocks of the symmetric groups. We show that the first Hochschild cohomology of a positive defect block of a symmetric group is non-zero, answering in the affirmative a question of the third author. To do this, we prove a formula expressing the dimension of degree one Hochschild cohomology as a sum of dimensions of centres of blocks of smaller symmetric groups. This in turn is a consequence of a general formula that makes more precise a theorem of our previous paper describing the generating functions for the dimensions of Hochschild cohomology of symmetric groups. △ Less

Submitted 9 January, 2023; originally announced January 2023.

MSC Class: 20C20

Hochschild cohomology of symmetric groups in low degrees

Authors: David Benson, Radha Kessar, Markus Linckelmann

Abstract: We compute the dimensions of the Hochschild cohomology of symmetric groups over prime fields in low degrees. This involves us in studying some partition identities and generating functions of the dimensions in any fixed degree of the Hochschild cohomology of symmetric groups. We compute the dimensions of the Hochschild cohomology of symmetric groups over prime fields in low degrees. This involves us in studying some partition identities and generating functions of the dimensions in any fixed degree of the Hochschild cohomology of symmetric groups. △ Less

Submitted 21 April, 2022; originally announced April 2022.

Comments: 14 pages

MSC Class: 20C20

Structure of blocks with normal defect and abelian $p'$ inertial quotient

Authors: David Benson, Radha Kessar, Markus Linckelmann

Abstract: Let $k$ be an algebraically closed field of prime characteristic $p$. Let $kGe$ be a block of a group algebra of a finite group $G$, with normal defect group $P$ and abelian $p'$ inertial quotient $L$. Then we show that $kGe$ is a matrix algebra over a quantised version of the group algebra of a semidirect product of $P$ with a certain subgroup of $L$. To do this, we first examine the associated g… ▽ More Let $k$ be an algebraically closed field of prime characteristic $p$. Let $kGe$ be a block of a group algebra of a finite group $G$, with normal defect group $P$ and abelian $p'$ inertial quotient $L$. Then we show that $kGe$ is a matrix algebra over a quantised version of the group algebra of a semidirect product of $P$ with a certain subgroup of $L$. To do this, we first examine the associated graded algebra, using a Jennings--Quillen style theorem. As an example, we calculate the associated graded of the basic algebra of the non-principal block in the case of a semidirect product of an extraspecial $p$-group $P$ of exponent $p$ and order $p^3$ with a quaternion group of order eight with the centre acting trivially. In the case $p=3$ we give explicit generators and relations for the basic algebra as a quantised version of $kP$. As a second example, we give explicit generators and relations in the case of a group of shape $2^{1+4}:3^{1+2}$ in characteristic two. △ Less

Submitted 27 January, 2022; originally announced January 2022.

Comments: 21 pages

MSC Class: 20C20

Inverse images of block varieties

Authors: Markus Linckelmann

Abstract: We extend a result due to Kawai on block varieties for blocks with abelian defect groups to blocks with arbitrary defect groups. This partially answers a question by J. Rickard. We extend a result due to Kawai on block varieties for blocks with abelian defect groups to blocks with arbitrary defect groups. This partially answers a question by J. Rickard. △ Less

Submitted 12 October, 2021; originally announced October 2021.

MSC Class: 20C20; 20J05; 16E30

A block theoretic proof of Thompson's $A\times B$-Lemma

Authors: Radha Kessar, Markus Linckelmann

Abstract: We show that Thompson's $A\times B$-Lemma can be obtained as a consequence of the Brauer pair version of Brauer's Third Main Theorem. We show that Thompson's $A\times B$-Lemma can be obtained as a consequence of the Brauer pair version of Brauer's Third Main Theorem. △ Less

Submitted 13 May, 2021; originally announced May 2021.

MSC Class: 20C20; 20D15

On abelian subcategories of triangulated categories

Authors: Markus Linckelmann

Abstract: The stable module category of a selfinjective algebra is triangulated, but need not have any nontrivial $t$-structures, and in particular, full abelian subcategories need not arise as hearts of a $t$-structure. The purpose of this paper is to investigate full abelian subcategories of triangulated categories whose exact structures are related, and more precisely, to explore relations between invari… ▽ More The stable module category of a selfinjective algebra is triangulated, but need not have any nontrivial $t$-structures, and in particular, full abelian subcategories need not arise as hearts of a $t$-structure. The purpose of this paper is to investigate full abelian subcategories of triangulated categories whose exact structures are related, and more precisely, to explore relations between invariants of finite-dimensional selfinjective algebras and full abelian subcategories of their stable module categories. △ Less

Submitted 4 January, 2021; v1 submitted 7 August, 2020; originally announced August 2020.

A $9$-dimensional algebra which is not a block of a finite group

Authors: Markus Linckelmann, William Murphy

Abstract: We rule out a certain $9$-dimensional algebra over an algebraically closed field to be the basic algebra of a block of a finite group, thereby completing the classification of basic algebras of dimension at most $12$ of blocks of finite group algebras. We rule out a certain $9$-dimensional algebra over an algebraically closed field to be the basic algebra of a block of a finite group, thereby completing the classification of basic algebras of dimension at most $12$ of blocks of finite group algebras. △ Less

Submitted 5 May, 2020; originally announced May 2020.

Comments: 10 pages

On the BV structure of the Hochschild cohomology of finite group algebras

Authors: Dave Benson, Radha Kessar, Markus Linckelmann

Abstract: We give a simple algebraic recipe for calculating the components of the BV operator $Δ$ on the Hochschild cohomology of a finite group algebra with respect to the centraliser decomposition. We use this to investigate the properties of $Δ$ and to make some computations for some particular finite groups. We give a simple algebraic recipe for calculating the components of the BV operator $Δ$ on the Hochschild cohomology of a finite group algebra with respect to the centraliser decomposition. We use this to investigate the properties of $Δ$ and to make some computations for some particular finite groups. △ Less

Submitted 19 April, 2021; v1 submitted 4 May, 2020; originally announced May 2020.

Comments: Revised version; to appear in Pacific J. Math

MSC Class: 20C20; 16E40

Journal ref: Pacific J. Math. 313 (2021) 1-44

Linear source invertible bimodules and Green correspondence

Authors: Markus Linckelmann, Michael Livesey

Abstract: 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 sh… ▽ More 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$. △ Less

Submitted 21 April, 2020; originally announced April 2020.

MSC Class: 20C20 (Primary) 16D90 (Secondary)

A note on vertices of indecomposable tensor products

Authors: Markus Linckelmann

Abstract: G. Navarro raised the question under what circumstancs two vertices of two indecomposable modules over a finite group algebra generate a Sylow $p$-subgroup. The present note provides a sufficient criterion for when this is the case. This generalises a result by Navarro for simple modules over finite $p$-solvable groups, which is the main motivation for this note. G. Navarro raised the question under what circumstancs two vertices of two indecomposable modules over a finite group algebra generate a Sylow $p$-subgroup. The present note provides a sufficient criterion for when this is the case. This generalises a result by Navarro for simple modules over finite $p$-solvable groups, which is the main motivation for this note. △ Less

Submitted 27 June, 2019; originally announced June 2019.

MSC Class: 20C20

On the Lie algebra structure of $HH^1(A)$ of a finite-dimensional algebra $A$

Authors: Markus Linckelmann, Lleonard Rubio y Degrassi

Abstract: Let $A$ be a split finite-dimensional associative unital algebra over a field. The first main result of this note shows that if the Ext-quiver of $A$ is a simple directed graph, then $HH^1(A)$ is a solvable Lie algebra. The second main result shows that if the Ext-quiver of $A$ has no loops and at most two parallel arrows in any direction, and if $HH^1(A)$ is a simple Lie algebra, then char(k) is… ▽ More Let $A$ be a split finite-dimensional associative unital algebra over a field. The first main result of this note shows that if the Ext-quiver of $A$ is a simple directed graph, then $HH^1(A)$ is a solvable Lie algebra. The second main result shows that if the Ext-quiver of $A$ has no loops and at most two parallel arrows in any direction, and if $HH^1(A)$ is a simple Lie algebra, then char(k) is not equal to $2$ and $HH^1(A)\cong$ $sl_2(k)$. The third result investigates symmetric algebras with a quiver which has a vertex with a single loop. △ Less

Submitted 22 March, 2019; v1 submitted 20 March, 2019; originally announced March 2019.

Comments: References added

MSC Class: 16E40; 17B40; 17B50; 20C20

Weight conjectures for fusion systems

Authors: Radha Kessar, Markus Linckelmann, Justin Lynd, Jason Semeraro

Abstract: Many of the conjectures of current interest in the representation theory of finite groups in characteristic $p$ are local-to-global statements, in that they predict consequences for the representations of a finite group $G$ given data about the representations of the $p$-local subgroups of $G$. The local structure of a block of a group algebra is encoded in the fusion system of the block together… ▽ More Many of the conjectures of current interest in the representation theory of finite groups in characteristic $p$ are local-to-global statements, in that they predict consequences for the representations of a finite group $G$ given data about the representations of the $p$-local subgroups of $G$. The local structure of a block of a group algebra is encoded in the fusion system of the block together with a compatible family of Külshammer-Puig cohomology classes. Motivated by conjectures in block theory, we state and initiate investigation of a number of seemingly local conjectures for arbitrary triples $(S,\mathcal{F},α)$ consisting of a saturated fusion system $\mathcal{F} $ on a finite $p$-group $S$ and a compatible family $α$. △ Less

Submitted 2 November, 2018; v1 submitted 2 October, 2018; originally announced October 2018.

MSC Class: 20D20; 20C20

Journal ref: Adv. Math. 357 (2019), 106825, 40 pp

Blocks with normal abelian defect and abelian p' inertial quotient

Authors: David Benson, Radha Kessar, Markus Linckelmann

Abstract: Let $k$ be an algebraically closed field of characteristic $p$, and let $\mathcal{O}$ be either $k$ or its ring of Witt vectors $W(k)$. Let $G$ a finite group and $B$ a block of $\mathcal{O}G$ with normal abelian defect group and abelian $p'$ inertial quotient. We show that $B$ is isomorphic to its second Frobenius twist. This is motivated by the fact that bounding Frobenius numbers is one of the… ▽ More Let $k$ be an algebraically closed field of characteristic $p$, and let $\mathcal{O}$ be either $k$ or its ring of Witt vectors $W(k)$. Let $G$ a finite group and $B$ a block of $\mathcal{O}G$ with normal abelian defect group and abelian $p'$ inertial quotient. We show that $B$ is isomorphic to its second Frobenius twist. This is motivated by the fact that bounding Frobenius numbers is one of the key steps towards Donovan's conjecture. For $\mathcal{O}=k$, we give an explicit description of the basic algebra of $B$ as a quiver with relations. It is a quantised version of the group algebra of the semidirect product $P\rtimes L$. △ Less

Submitted 22 August, 2018; originally announced August 2018.

MSC Class: 20C20; 20J06

On Picard groups of blocks of finite groups

Authors: Robert Boltje, Radha Kessar, Markus Linckelmann

Abstract: We show that the subgroup of the Picard group of a $p$-block of a finite group given by bimodules with endopermutation sources modulo the automorphism group of a source algebra is determined locally in terms of the fusion system on a defect group. We show that the Picard group of a block over the a complete discrete valuation ring ${\mathcal O}$ of characteristic zero with an algebraic closure… ▽ More We show that the subgroup of the Picard group of a $p$-block of a finite group given by bimodules with endopermutation sources modulo the automorphism group of a source algebra is determined locally in terms of the fusion system on a defect group. We show that the Picard group of a block over the a complete discrete valuation ring ${\mathcal O}$ of characteristic zero with an algebraic closure $k$ of ${\mathbb F}_p$ as residue field is a colimit of finite Picard groups of blocks over $p$-adic subrings of ${\mathcal O}$. We apply the results to blocks with an abelian defect group and Frobenius inertial quotient, and specialise this further to blocks with cyclic or Klein four defect groups. △ Less

Submitted 22 May, 2018; originally announced May 2018.

MSC Class: 20C20; 20C11

The strong Frobenius numbers for cyclic defect blocks are equal to one

Authors: Markus Linckelmann

Abstract: The purpose of this note is to provide a reference for the fact that the strong Frobenius number, in the sense of Eaton and Livesey, of a block of a finite group with a cyclic defect group is equal to one. This answers a question of Farrell and Kessar. The purpose of this note is to provide a reference for the fact that the strong Frobenius number, in the sense of Eaton and Livesey, of a block of a finite group with a cyclic defect group is equal to one. This answers a question of Farrell and Kessar. △ Less

Submitted 22 May, 2018; originally announced May 2018.

MSC Class: 20C20

Dade's ordinary conjecture implies the Alperin-McKay conjecture

Authors: Radha Kessar, Markus Linckelmann

Abstract: We show that Dade's ordinary conjecture implies the Alperin-McKay conjecture. We remark that some of the methods can be used to identify a canonical height zero character in a nilpotent block. We show that Dade's ordinary conjecture implies the Alperin-McKay conjecture. We remark that some of the methods can be used to identify a canonical height zero character in a nilpotent block. △ Less

Submitted 18 April, 2018; v1 submitted 14 February, 2018; originally announced February 2018.

Comments: This version contains a remark on canonical height zero characters in nilpotent blocks

MSC Class: 20C20

Descent of equivalences and character bijections

Authors: Radha Kessar, Markus Linckelmann

Abstract: Categorical equivalences between block algebras of finite groups - such as Morita and derived equivalences - are well-known to induce character bijections which commute with the Galois groups of field extensions. This is the motivation for attempting to realise known Morita and derived equivalences over non splitting fields. This article presents various result on the theme of descent. We start wi… ▽ More Categorical equivalences between block algebras of finite groups - such as Morita and derived equivalences - are well-known to induce character bijections which commute with the Galois groups of field extensions. This is the motivation for attempting to realise known Morita and derived equivalences over non splitting fields. This article presents various result on the theme of descent. We start with the observation that perfect isometries induced by a virtual Morita equivalence induce isomorphisms of centers in non-split situations, and explain connections with Navarro's generalisation of the Alperin-McKay conjecture. We show that Rouquier's splendid Rickard complex for blocks with cyclic defect groups descends to the non-split case. We also prove a descent theorem for Morita equivalences with endopermutation source. △ Less

Submitted 14 February, 2018; v1 submitted 19 May, 2017; originally announced May 2017.

Comments: Theorem 1.13 has been improved

The dominant dimension of cohomological Mackey functors

Authors: Markus Linckelmann

Abstract: We show that a separable equivalence between symmetric algebras preserves the dominant dimensions of certain endomorphism algebras of modules. We apply this to show that the dominant dimension of the category coMack(B) of cohomological Mackey functors of a p-block B of a finite group with a nontrivial defect group is 2. We show that a separable equivalence between symmetric algebras preserves the dominant dimensions of certain endomorphism algebras of modules. We apply this to show that the dominant dimension of the category coMack(B) of cohomological Mackey functors of a p-block B of a finite group with a nontrivial defect group is 2. △ Less

Submitted 22 March, 2017; originally announced March 2017.

On automorphisms and focal subgroups of blocks

Authors: Markus Linckelmann

Abstract: Given a p-block B of a finite group with defect group P and fusion system F on P we show that the rank of the group P/foc(F) is invariant under stable equivalences of Morita type. The main ingredients are the star-construction, due to Broue and Puig, a theorem of Weiss on linear source modules, arguments of Hertweck and Kimmerle applying Weiss' theorem to blocks, and connections with integrable de… ▽ More Given a p-block B of a finite group with defect group P and fusion system F on P we show that the rank of the group P/foc(F) is invariant under stable equivalences of Morita type. The main ingredients are the star-construction, due to Broue and Puig, a theorem of Weiss on linear source modules, arguments of Hertweck and Kimmerle applying Weiss' theorem to blocks, and connections with integrable derivations in the Hochschild cohomology of block algebras. △ Less

Submitted 22 December, 2016; originally announced December 2016.

Block algebras with HH1 a simple Lie algebra

Authors: Markus Linckelmann, Lleonard Rubio y Degrassi

Abstract: We show that if $B$ is a block of a finite group algebra $kG$ over an algebraically closed field $k$ of prime characteristic $p$ such that $\HH^1(B)$ is a simple Lie algebra and such that $B$ has a unique isomorphism class of simple modules, then $B$ is nilpotent with an elementary abelian defect group $P$ of order at least $3$, and $\HH^1(B)$ is in that case isomorphic to the Jacobson-Witt algebr… ▽ More We show that if $B$ is a block of a finite group algebra $kG$ over an algebraically closed field $k$ of prime characteristic $p$ such that $\HH^1(B)$ is a simple Lie algebra and such that $B$ has a unique isomorphism class of simple modules, then $B$ is nilpotent with an elementary abelian defect group $P$ of order at least $3$, and $\HH^1(B)$ is in that case isomorphic to the Jacobson-Witt algebra $\HH^1(kP)$. In particular, no other simple modular Lie algebras arise as $\HH^1(B)$ of a block $B$ with a single isomorphism class of simple modules. △ Less

Submitted 25 November, 2016; originally announced November 2016.

Comments: 5 pages

MSC Class: 16E40

On Morita and derived equivalences for cohomological Mackey algebras

Authors: Markus Linckelmann, Baptiste Rognerud

Abstract: By results of the second author, a source algebra equivalence between two $p$-blocks of finite groups induces an equivalence between the categories of cohomological Mackey functors associated with these blocks, and a splendid derived equivalence between two blocks induces a derived equivalence between the corresponding categories of cohomological Mackey functors. The main result of this paper prov… ▽ More By results of the second author, a source algebra equivalence between two $p$-blocks of finite groups induces an equivalence between the categories of cohomological Mackey functors associated with these blocks, and a splendid derived equivalence between two blocks induces a derived equivalence between the corresponding categories of cohomological Mackey functors. The main result of this paper proves a partial converse: an equivalence (resp. Rickard equivalence) between the categories of cohomological Mackey functors of two blocks of finite groups induces a permeable Morita (resp. derived) equivalence between the two block algebras. △ Less

Submitted 23 July, 2018; v1 submitted 26 September, 2016; originally announced September 2016.

Journal ref: Math. Z. 289 (2018), no. 1-2, 39-50

On Tate duality and a projective scalar property for symmetric algebras

Authors: Florian Eisele, Michael Geline, Radha Kessar, Markus Linckelmann

Abstract: We identify a class of symmetric algebras over a complete discrete valuation ring $\mathcal O$ of characteristic zero to which the characterisation of Knörr lattices in terms of stable endomorphism rings in the case of finite group algebras, can be extended. This class includes finite group algebras, their blocks and source algebras and Hopf orders. We also show that certain arithmetic properties… ▽ More We identify a class of symmetric algebras over a complete discrete valuation ring $\mathcal O$ of characteristic zero to which the characterisation of Knörr lattices in terms of stable endomorphism rings in the case of finite group algebras, can be extended. This class includes finite group algebras, their blocks and source algebras and Hopf orders. We also show that certain arithmetic properties of finite group representations extend to this class of algebras. Our results are based on an explicit description of Tate duality for lattices over symmetric $\mathcal O$-algebras whose extension to the quotient field of $\mathcal O$ is separable. △ Less

Submitted 23 August, 2016; originally announced August 2016.

Comments: 19 pages

Journal ref: Pacific J. Math. 293 (2018) 277-300

On blocks of defect two and one simple module, and Lie algebra structure of $HH^1$

Authors: David John Benson, Radha Kessar, Markus Linckelmann

Abstract: Let $k$ be a field of odd prime characteristic $p$. We calculate the Lie algebra structure of the first Hochschild cohomology of a class of quantum complete intersections over $k$. As a consequence, we prove that if $B$ is a defect $2$-block of a finite group algebra $kG$ whose Brauer correspondent $C$ has a unique isomorphism class of simple modules, then a basic algebra of $B$ is a local algebra… ▽ More Let $k$ be a field of odd prime characteristic $p$. We calculate the Lie algebra structure of the first Hochschild cohomology of a class of quantum complete intersections over $k$. As a consequence, we prove that if $B$ is a defect $2$-block of a finite group algebra $kG$ whose Brauer correspondent $C$ has a unique isomorphism class of simple modules, then a basic algebra of $B$ is a local algebra which can be generated by at most $2\sqrt I$ elements, where $I$ is the inertial index of $B$, and where we assume that $k$ is a splitting field for $B$ and $C$. △ Less

Submitted 15 April, 2016; originally announced April 2016.

MSC Class: 20C20

On the Brauer indecomposability of Scott modules

Authors: Radha Kessar, Shigeo Koshitani, Markus Linckelmann

Abstract: Let $k$ be an algebraically closed field of prime characteristic $p$, and let $P$ be a $p$-subgroup of a finite group $G$. We give sufficient conditions for the $kG$-Scott module $\mathrm{Sc}(G,P)$ with vertex $P$ to remain indcomposable under the Brauer construction with respect to any subgroup of $P$. This generalizes similar results for the case where $P$ is abelian. The background motivation f… ▽ More Let $k$ be an algebraically closed field of prime characteristic $p$, and let $P$ be a $p$-subgroup of a finite group $G$. We give sufficient conditions for the $kG$-Scott module $\mathrm{Sc}(G,P)$ with vertex $P$ to remain indcomposable under the Brauer construction with respect to any subgroup of $P$. This generalizes similar results for the case where $P$ is abelian. The background motivation for this note is the fact that the Brauer indecomposability of a $p$-permutation bimodule is a key step towards showing that the module under consideration induces a stable equivalence of Morita type, which then may possibly be lifted to a derived equivalence. △ Less

Submitted 27 November, 2015; originally announced November 2015.

MSC Class: 20C20

Journal ref: The Quarterly Journal of Mathematics,66 (2015) no. 3, 895-903

Anchors of irreducible characters

Authors: Radha Kessar, Burkhard Külshammer, Markus Linckelmann

Abstract: Given a prime number $p$, every irreducible character $χ$ of a finite group $G$ determines a unique conjugacy class of $p$-subgroups of $G$ which we will call the anchors of $χ$. This invariant has been considered by L. Barker in the context of finite $p$-solvable groups. Besides proving some basic properties of these anchors, we investigate the relation to other $p$-groups which can be attached t… ▽ More Given a prime number $p$, every irreducible character $χ$ of a finite group $G$ determines a unique conjugacy class of $p$-subgroups of $G$ which we will call the anchors of $χ$. This invariant has been considered by L. Barker in the context of finite $p$-solvable groups. Besides proving some basic properties of these anchors, we investigate the relation to other $p$-groups which can be attached to irreducible characters, such as defect groups, vertices in the sense of J. A. Green and vertices in the sense of G. Navarro. △ Less

Submitted 7 November, 2015; originally announced November 2015.

MSC Class: 20C20; 20C15

On equivalences for cohomological Mackey functors

Authors: Markus Linckelmann

Abstract: By results of Rognerud, a source algebra equivalence between two $p$-blocks of finite groups induces an equivalence between the categories of cohomological Mackey functors associated with these blocks, and a splendid derived equivalence between two blocks induces a derived equivalence between the corresponding categories of cohomological Mackey functors. We prove this by giving an intrinsic descri… ▽ More By results of Rognerud, a source algebra equivalence between two $p$-blocks of finite groups induces an equivalence between the categories of cohomological Mackey functors associated with these blocks, and a splendid derived equivalence between two blocks induces a derived equivalence between the corresponding categories of cohomological Mackey functors. We prove this by giving an intrinsic description of cohomological Mackey functors of a block in terms of the source algebras of the block, and then using this description to construct explicit two-sided tilting complexes realising the above mentioned derived equivalence. We show further that a splendid stable equivalence of Morita type between two blocks induces an equivalence between the categories of cohomological Mackey functors which vanish at the trivial group. We observe that the module categories of a block, the category of cohomological Mackey functors, and the category of cohomological Mackey functors which vanish at the trivial group arise in an idempotent recollement. Finally, we extend a result of Tambara on the finitistic dimension of cohomological Mackey functors to blocks. △ Less

Submitted 6 October, 2015; originally announced October 2015.

Integrable derivations and stable equivalences of Morita type

Authors: Markus Linckelmann

Abstract: Using that integrable derivations of symmetric algebras can be interpreted in terms of Bockstein homomorphisms in Hochschild cohomology, we show that integrable derivations are invariant under the transfer maps in Hochschild cohomology of symmetric algebras induced by stable equivalences of Morita type. With applications in block theory in mind, we allow complete discrete valuation rings of unequa… ▽ More Using that integrable derivations of symmetric algebras can be interpreted in terms of Bockstein homomorphisms in Hochschild cohomology, we show that integrable derivations are invariant under the transfer maps in Hochschild cohomology of symmetric algebras induced by stable equivalences of Morita type. With applications in block theory in mind, we allow complete discrete valuation rings of unequal characteristic. △ Less

Submitted 15 June, 2015; originally announced June 2015.

A characterisation of nilpotent blocks

Authors: Radha Kessar, Markus Linckelmann, Gabriel Navarro

Abstract: Let $B$ be a $p$-block of a finite group, and set $m=$ $\sum χ(1)^2$, the sum taken over all height zero characters of $B$. Motivated by a result of M. Isaacs characterising $p$-nilpotent finite groups in terms of character degrees, we show that $B$ is nilpotent if and only if the exact power of $p$ dividing $m$ is equal to the $p$-part of $|G:P|^2|P:R|$, where $P$ is a defect group of $B$ and whe… ▽ More Let $B$ be a $p$-block of a finite group, and set $m=$ $\sum χ(1)^2$, the sum taken over all height zero characters of $B$. Motivated by a result of M. Isaacs characterising $p$-nilpotent finite groups in terms of character degrees, we show that $B$ is nilpotent if and only if the exact power of $p$ dividing $m$ is equal to the $p$-part of $|G:P|^2|P:R|$, where $P$ is a defect group of $B$ and where $R$ is the focal subgroup of $P$ with respect to a fusion system $\CF$ of $B$ on $P$. The proof involves the hyperfocal subalgebra $D$ of a source algebra of $B$. We conjecture that all ordinary irreducible characters of $D$ have degree prime to $p$ if and only if the $\CF$-hyperfocal subgroup of $P$ is abelian. △ Less

Submitted 24 February, 2014; originally announced February 2014.

On stable equivalences with endopermutation source

Authors: Markus Linckelmann

Abstract: We show that a bimodule between block algebras which has a fusion stable endopermutation module as a source and which induces Morita equivalences between centralisers of nontrivial subgroups of a defect group induces a stable equivalence of Morita type; this is a converse to a theorem of Puig. The special case where the source is trivial has long been known by many authors. The earliest instance f… ▽ More We show that a bimodule between block algebras which has a fusion stable endopermutation module as a source and which induces Morita equivalences between centralisers of nontrivial subgroups of a defect group induces a stable equivalence of Morita type; this is a converse to a theorem of Puig. The special case where the source is trivial has long been known by many authors. The earliest instance for a result deducing a stable equivalence of Morita type from local Morita equivalences with possibly nontrivial endopermutation source is due to Puig, in the context of blocks with abelian defect groups with a Frobenius inertial quotient. The present note is motivated by an application, due to Biland, to blocks of finite groups with structural properties known to hold for hypothetical minimal counterexamples to the $Z_p^*$-Theorem. △ Less

Submitted 11 February, 2014; originally announced February 2014.

On symmetric quotients of symmetric algebras

Authors: Radha Kessar, Shigeo Koshitani, Markus Linckelmann

Abstract: We investigate symmetric quotient algebras of symmetric algebras, with an emphasis on finite group algebras over a complete discrete valuation ring ${\mathcal O}$. Using elementary methods, we show that if an ordinary irreducible character $χ$ of a finite group $G$ gives rise to a symmetric quotient over ${\mathcal O}$ which is not a matrix algebra, then the decomposition numbers of the row labell… ▽ More We investigate symmetric quotient algebras of symmetric algebras, with an emphasis on finite group algebras over a complete discrete valuation ring ${\mathcal O}$. Using elementary methods, we show that if an ordinary irreducible character $χ$ of a finite group $G$ gives rise to a symmetric quotient over ${\mathcal O}$ which is not a matrix algebra, then the decomposition numbers of the row labelled by $χ$ are all divisible by the characteristic $p$ of the residue field of ${\mathcal O}$. △ Less

Submitted 15 November, 2013; originally announced November 2013.

MSC Class: 20CXX

On the Castelnuovo-Mumford regularity of the cohomology of fusion systems and of the Hochschild cohomology of block algebras

Authors: Radha Kessar, Markus Linckelmann

Abstract: Symonds' proof of Benson's regularity conjecture implies that the regularity of the cohomology of a fusion system and that of the Hochschild cohomology of a p-block of a finite group is at most zero. Using results of Benson, Greenlees, and Symonds, we show that in both cases the regularity is equal to zero. Symonds' proof of Benson's regularity conjecture implies that the regularity of the cohomology of a fusion system and that of the Hochschild cohomology of a p-block of a finite group is at most zero. Using results of Benson, Greenlees, and Symonds, we show that in both cases the regularity is equal to zero. △ Less

Submitted 15 November, 2013; originally announced November 2013.

MSC Class: 20Cxx

Tate duality and transfer in Hochschild cohomology

Authors: Markus Linckelmann

Abstract: We show that dualising transfer maps in Hochschild cohomology of symmetric algebras commutes with Tate duality. This extends a well-known result in group cohomology. We show that dualising transfer maps in Hochschild cohomology of symmetric algebras commutes with Tate duality. This extends a well-known result in group cohomology. △ Less

Submitted 26 November, 2012; originally announced November 2012.

Bounds for Hochschild cohomology of block algebras

Authors: Radha Kessar, Markus Linckelmann

Abstract: We show that for any block algebra B of a finite group over an algebraically closed field of prime characteristic the dimension of HH^n(B) is bounded by a function depending only on the nonnegative integer n and the defect of B. The proof uses in particular a theorem of Brauer and Feit which implies the result for n=0. We show that for any block algebra B of a finite group over an algebraically closed field of prime characteristic the dimension of HH^n(B) is bounded by a function depending only on the nonnegative integer n and the defect of B. The proof uses in particular a theorem of Brauer and Feit which implies the result for n=0. △ Less

Submitted 16 December, 2010; originally announced December 2010.

Comments: 6 pages

MSC Class: 20C20; 16E40

Conjectures of Alperin and Broue for 2-blocks with elementary abelian defect groups of order 8

Authors: Radha Kessar, Shigeo Koshitani, Markus Linckelmann

Abstract: Using the classification of finite simple groups we prove Alperin's weight conjecture and the character theoretic version of Broue's abelian defect group conjecture for 2-blocks of finite groups with an elementary abelian defect group of order 8. Using the classification of finite simple groups we prove Alperin's weight conjecture and the character theoretic version of Broue's abelian defect group conjecture for 2-blocks of finite groups with an elementary abelian defect group of order 8. △ Less

Submitted 16 December, 2010; originally announced December 2010.

Comments: 40 pages

On the graded center of the stable category of a finite $p$-group

Authors: Markus Linckelmann, Radu Stancu

Abstract: We show that for any finite $p$-group $P$ of rank at least 2 and any algebraically closed field $k$ of characteristic $p$ the graded center $Z^*(\modbar(kP))$ of the stable module category of finite-dimensional $kP$-modules has infinite dimension in each odd degree, and if $p=2$ also in each even degree. In particular, this provides examples of symmetric algebras $A$ for which $Z^0(\modbar(A))$… ▽ More We show that for any finite $p$-group $P$ of rank at least 2 and any algebraically closed field $k$ of characteristic $p$ the graded center $Z^*(\modbar(kP))$ of the stable module category of finite-dimensional $kP$-modules has infinite dimension in each odd degree, and if $p=2$ also in each even degree. In particular, this provides examples of symmetric algebras $A$ for which $Z^0(\modbar(A))$ is not finite-dimensional, answering a question raised in [10] △ Less

Submitted 27 November, 2008; originally announced November 2008.

Comments: 14 pages

Blocks with quaternion defect group over a 2-adic ring: the case \tilde{A}_4

Authors: Thorsten Holm, Radha Kessar, Markus Linckelmann

Abstract: Except for blocks with a cyclic or Klein four defect group, it is not known in general whether the Morita equivalence class of a block algebra over a field of prime characteristic determines that of the corresponding block algebra over a p-adic ring. We prove this to be the case when the defect group is quaternion of order 8 and the block algebra over an algebraically closed field k of character… ▽ More Except for blocks with a cyclic or Klein four defect group, it is not known in general whether the Morita equivalence class of a block algebra over a field of prime characteristic determines that of the corresponding block algebra over a p-adic ring. We prove this to be the case when the defect group is quaternion of order 8 and the block algebra over an algebraically closed field k of characteristic 2 is Morita equivalent to $k\tilde A_4$. The main ingredients are Erdmann's classification of tame blocks and work of Cabanes and Picaronny on perfect isometries between tame blocks. △ Less

Submitted 6 December, 2005; originally announced December 2005.

Comments: 18 pages

MSC Class: 20C05; 20C11;16G60