Source author record

Benjamin Briggs

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

ResearcherUnclaimed source record

math.AC math.RA math.RT math.AG math.AT math.KT

Catalog footprint

Research overview

7works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Outer derivations on blocks of group algebras

Let $G$ be a finite group whose order is divisible by the characteristic of a field $k$ . If $B$ is a block of $kG$ with defect group $P$ , we prove that the space of derivations on $kP$ which are restrictions of derivations on $kG$ , modulo inner derivations, is isomorphic to a subspace of $\operatorname{HH}^1(B,B)$ . Using this, we provide various group theoretic criteria for the non-vanishing of $\operatorname{HH}^1(B,B)$ . In particular, we show $\operatorname{HH}^1(B,B)\neq 0$ for principal blocks having abelian defect group, for all blocks of the symmetric and alternating groups, for blocks of finite groups of Lie type in defining characteristic, and for blocks of general linear groups in any characteristic. Building on this, we show that if $k$ has prime characteristic $p>5$ , and if $B$ is any block of $kG$ with Sylow defect group, then $\operatorname{HH}^1(B,B)\neq 0$ . By the same method we also prove that if $k$ has prime characteristic $p>5$ , then the first Hochschild cohomology group of any twisted group algebra is non-zero.

preprint2022arXiv

On the Lie algebra structure of integrable derivations

Building on work of Gerstenhaber, we show that the space of integrable derivations on an Artin algebra $A$ forms a Lie algebra, and a restricted Lie algebra if $A$ contains a field of characteristic $p$ . We deduce that the space of integrable classes in $\HH^1(A)$ forms a (restricted) Lie algebra that is invariant under derived equivalences, and under stable equivalences of Morita type between self-injective algebras. We also provide negative answers to questions about integrable derivations posed by Linckelmann and by Farkas, Geiss and Marcos.

preprint2022arXiv

Rigidity properties of the cotangent complex

This work concerns maps $φ\colon R\to S$ of commutative noetherian rings, locally of finite flat dimension. It is proved that the André-Quillen homology functors are rigid, namely, if $\mathrm{D}_n(S/R;-)=0$ for some $n\ge 2$ , then $\mathrm{D}_n(S/R;-)=0$ for all $n\ge 2$ and $φ$ is locally complete intersection. This extends Avramov's theorem that draws the same conclusion assuming $\mathrm{D}_n(S/R;-)$ vanishes for all $n\gg 0$ , confirming a conjecture of Quillen. The rigidity of André-Quillen functors is deduced from a more general result about the higher cotangent modules which answers a question raised by Avramov and Herzog, and subsumes a conjecture of Vasconcelos that was proved recently by the first author. The new insight leading to these results concerns the equivariance of a map from André-Quillen cohomology to Hochschild cohomology defined using the universal Atiyah class of $φ$ .

preprint2022arXiv

Vasconcelos' conjecture on the conormal module

For any ideal $I$ of finite projective dimension in a commutative noetherian local ring $R$ , we prove that if the conormal module $I/I^2$ has finite projective dimension over $R/I$ , then $I$ must be generated by a regular sequence. This resolves a conjecture of Vasconcelos. We prove a similar result for the first Koszul homology module of $I$ . When $R$ is a localisation of a polynomial ring over a field $K$ of characteristic zero, Vasconcelos conjectured that $R/I$ is a reduced complete intersection if the module $Ω_{(R/I)/K}$ of differentials has finite projective dimension; we prove this contingent on the Eisenbud-Mazur conjecture. The arguments exploit the structure of the homotopy Lie algebra associated to $I$ in an essential way. By work of Avramov and Halperin, if every degree $2$ element of the homotopy Lie algebra is radical, then $I$ is generated by a regular sequence. Iyengar has shown that free summands of $I/I^2$ give rise to central elements of the homotopy Lie algebra, and we establish an analogous criterion for constructing radical elements, from which we deduce our main result.

preprint2021arXiv

Locally complete intersection maps and the proxy small property

It is proved that a map $φ\colon R\to S$ of commutative noetherian rings that is essentially of finite type and flat is locally complete intersection if and only $S$ is proxy small as a bimodule. This means that the thick subcategory generated by $S$ as a module over the enveloping algebra $S\otimes_RS$ contains a perfect complex supported fully on the diagonal ideal. This is in the spirit of the classical result that $φ$ is smooth if and only if $S$ is small as a bimodule, that is to say, it is itself equivalent to a perfect complex. The geometric analogue, dealing with maps between schemes, is also established. Applications include simpler proofs of factorization theorems for locally complete intersection maps.

preprint2020arXiv

Hochschild cohomology of twisted tensor products

For a tensor product of algebras twisted by a bicharacter, we completely describe its Hochschild cohomology, as a Gerstenhaber algebra, in terms of the Hochschild cohomology of its component parts. This description generalizes a result of Bergh and Oppermann. It allows us to significantly simplify various calculations in the literature, and to compute Hochschild cohomology for a number of new examples.

preprint2020arXiv

Matrix Factorisations Arising From Well-Generated Complex Reflection Groups

We discuss an interesting duality known to occur for certain complex reflection groups, namely the duality groups. Our main construction yields a concrete, representation theoretic realisation of this duality. This allows us to naturally identify invariant vector fields with vector fields on the orbit space, for the action of a duality group. As another application, we construct matrix factorisations of the highest degree basic invariant which give free resolutions of the module of Kähler differentials of the coinvariant algebra $A$ associated to such a reflection group. From this one can explicitly calculate the dimension of each graded piece of $Ω_{A/\mathbb{C}}$ and of ${\rm Der}_{\mathbb{C}}(A,A)$ , adding a new formula to the numerology of reflection groups. This applies for instance when $A$ is the cohomology of any complete flag manifold, and hence has geometric consequences.

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.

Benjamin Briggs

Research overview

Is this your work?

7 publications

Outer derivations on blocks of group algebras

On the Lie algebra structure of integrable derivations

Rigidity properties of the cotangent complex

Vasconcelos' conjecture on the conormal module

Locally complete intersection maps and the proxy small property

Hochschild cohomology of twisted tensor products

Matrix Factorisations Arising From Well-Generated Complex Reflection Groups

See the researcher in context

Building this map preview