BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Benjamin Briggs

Benjamin Briggs appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.ACmath.RAmath.RTmath.AGmath.ATmath.KT

Catalog footprint

What is connected

7works
6topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

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.

Published work

7 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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 $φ$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access