-
Homotopy types of moment-angle complexes associated to almost linear resolutions
Authors:
Steven Amelotte,
Benjamin Briggs
Abstract:
We show that the Hurewicz image in the homology of a moment-angle complex, when passed through an isomorphism with the Ext-module of the corresponding Stanley-Reisner ideal, contains the linear strand of this ideal. This recovers and refines results of various authors identifying the homotopy type of a moment-angle complex as a wedge of spheres when the underlying ideal satisfies certain linearity…
▽ More
We show that the Hurewicz image in the homology of a moment-angle complex, when passed through an isomorphism with the Ext-module of the corresponding Stanley-Reisner ideal, contains the linear strand of this ideal. This recovers and refines results of various authors identifying the homotopy type of a moment-angle complex as a wedge of spheres when the underlying ideal satisfies certain linearity properties. Going further, we study the homotopy types of moment-angle manifolds associated to Gorenstein Stanley-Reisner ideals with (componentwise) almost linear resolutions. The simplicial complexes that give rise to these manifolds are part of an even larger class that we introduce, which generalises the homological behaviour of cyclic polytopes, stacked polytopes and odd-dimensional neighbourly sphere triangulations. For these simplicial complexes the associated moment-angle manifolds are shown to be formal, having the rational homotopy type of connected sums of sphere products, and the (integral) loop space homotopy type of products of spheres and loop spaces of spheres. Along the way we establish a number of purely algebraic results, in particular generalising a result of Römer characterising Koszul modules so that it can be applied to modules with almost linear resolutions.
△ Less
Submitted 18 June, 2025;
originally announced June 2025.
-
The embedded deformation problem for monomial ideals
Authors:
Benjamin Briggs,
Eloísa Grifo,
Josh Pollitz
Abstract:
This article is concerned with homological properties of local or graded rings whose defining relations are monomials on some regular sequence. The main result of the article positively answers a question of Avramov for such a ring $R$. More precisely, we establish that an embedded deformation of $R$ corresponds exactly to a degree two central element in the homotopy Lie algebra of $R$, as well as…
▽ More
This article is concerned with homological properties of local or graded rings whose defining relations are monomials on some regular sequence. The main result of the article positively answers a question of Avramov for such a ring $R$. More precisely, we establish that an embedded deformation of $R$ corresponds exactly to a degree two central element in the homotopy Lie algebra of $R$, as well as a free summand of the conormal module of $R$. A major input in the proof is an analysis of cohomological support varieties. Other main results include establishing a lower bound for the dimension of the cohomological support variety of any complex over such rings, and classifying all possible subvarieties of affine $n$-space that are the cohomological support of rings defined by $n$ monomial relations where $n$ is five or less.
△ Less
Submitted 12 June, 2025;
originally announced June 2025.
-
Homological properties of the module of differentials
Authors:
Jürgen Herzog,
Benjamin Briggs,
Srikanth B. Iyengar
Abstract:
These notes were produced by Jürgen Herzog to accompany his lectures in Recife, Brazil, in 1980, on the homological algebra of noetherian local rings. They are are concerned with two conjectures made by Wolmer Vasconcelos: if the conormal module of a local ring has finite projective dimension, or if the module of differentials, taken over an appropriate field, has finite projective dimension, then…
▽ More
These notes were produced by Jürgen Herzog to accompany his lectures in Recife, Brazil, in 1980, on the homological algebra of noetherian local rings. They are are concerned with two conjectures made by Wolmer Vasconcelos: if the conormal module of a local ring has finite projective dimension, or if the module of differentials, taken over an appropriate field, has finite projective dimension, then the ring must be complete intersection. The notes present an accessible and self-contained account of the strongest results known at the time in connection with these problems; this includes a number of ideas that have not appeared elsewhere. In the last section, Herzog turns his attention to the cotangent complex, and conjectures himself that if the cotangent complex of a local ring has bounded homology groups, then the ring must be complete intersection. Among other results, he proves that the conjecture holds for local rings of characteristic zero over which all modules have rational Poincaré series.
Sadly Jürgen Herzog passed away in April of 2024. The notes in this form have been prepared in his memory, newly typeset and lightly edited. A short appendix has been added to survey some of the results of the intervening decades.
△ Less
Submitted 19 February, 2025;
originally announced February 2025.
-
Proxy-small objects present compactly generated categories
Authors:
Benjamin Briggs,
Srikanth B. Iyengar,
Greg Stevenson
Abstract:
We develop a correspondence between presentations of compactly generated triangulated categories as localizations of derived categories of ring spectra and proxy-small objects, and explore some consequences. In addition, we give a characterization of proxy-smallness in terms of coproduct preservation of the associated corepresentable functor `up to base change'.
We develop a correspondence between presentations of compactly generated triangulated categories as localizations of derived categories of ring spectra and proxy-small objects, and explore some consequences. In addition, we give a characterization of proxy-smallness in terms of coproduct preservation of the associated corepresentable functor `up to base change'.
△ Less
Submitted 17 December, 2024; v1 submitted 11 November, 2024;
originally announced November 2024.
-
On the Hochschild Homology of Curved Algebras
Authors:
Benjamin Briggs,
Mark E. Walker
Abstract:
We compute the Hochschild homology of the differential graded category of perfect curved modules over suitable curved rings, giving what might be termed "de Rham models" for such. This represents a generalization of previous results by Dyckerhoff, Efimov, Polishchuk, and Positselski concerning the Hochschild homology of matrix factorizations. A key ingredient in the proof is a theorem due to B. Br…
▽ More
We compute the Hochschild homology of the differential graded category of perfect curved modules over suitable curved rings, giving what might be termed "de Rham models" for such. This represents a generalization of previous results by Dyckerhoff, Efimov, Polishchuk, and Positselski concerning the Hochschild homology of matrix factorizations. A key ingredient in the proof is a theorem due to B. Briggs, which represents a "curved version" of a celebrated theorem of Hopkins and Neeman. The proof of Briggs' Theorem is included in an appendix to this paper.
△ Less
Submitted 23 August, 2024;
originally announced August 2024.
-
Koszul homomorphisms and universal resolutions in local algebra
Authors:
Benjamin Briggs,
James C. Cameron,
Janina C. Letz,
Josh Pollitz
Abstract:
We define a local homomorphism $(Q,k)\to (R,\ell)$ to be Koszul if its derived fiber $R \otimes^{\mathsf{L}}_Q k$ is formal, and if $\operatorname{Tor}^Q(R,k)$ is Koszul in the classical sense. This recovers the classical definition when $Q$ is a field, and more generally includes all flat deformations of Koszul algebras. The non-flat case is significantly more interesting, and there is no need fo…
▽ More
We define a local homomorphism $(Q,k)\to (R,\ell)$ to be Koszul if its derived fiber $R \otimes^{\mathsf{L}}_Q k$ is formal, and if $\operatorname{Tor}^Q(R,k)$ is Koszul in the classical sense. This recovers the classical definition when $Q$ is a field, and more generally includes all flat deformations of Koszul algebras. The non-flat case is significantly more interesting, and there is no need for examples to be quadratic: all complete intersection and all Golod quotients are Koszul homomorphisms. We show that the class of Koszul homomorphisms enjoys excellent homological properties, and we give many more examples, especially various monomial and Gorenstein examples. We then study Koszul homomorphisms from the perspective of $\mathrm{A}_\infty$-structures on resolutions. We use this machinery to construct universal free resolutions of $R$-modules by generalizing a classical construction of Priddy. The resulting (infinite) free resolution of an $R$-module $M$ is often minimal, and can be described by a finite amount of data whenever $M$ and $R$ have finite projective dimension over $Q$. Our construction simultaneously recovers the resolutions of Shamash and Eisenbud over a complete intersection ring, and the bar resolutions of Iyengar and Burke over a Golod ring, and produces analogous resolutions for various other classes of local rings.
△ Less
Submitted 26 February, 2025; v1 submitted 12 October, 2023;
originally announced October 2023.
-
Cohomology operations for moment-angle complexes and resolutions of Stanley-Reisner rings
Authors:
Steven Amelotte,
Benjamin Briggs
Abstract:
A fundamental result in toric topology identifies the cohomology ring of the moment-angle complex $\mathcal{Z}_K$ associated to a simplicial complex $K$ with the Koszul homology of the Stanley--Reisner ring of $K$. By studying cohomology operations induced by the standard torus action on the moment-angle complex, we extend this to a topological interpretation of the minimal free resolution of the…
▽ More
A fundamental result in toric topology identifies the cohomology ring of the moment-angle complex $\mathcal{Z}_K$ associated to a simplicial complex $K$ with the Koszul homology of the Stanley--Reisner ring of $K$. By studying cohomology operations induced by the standard torus action on the moment-angle complex, we extend this to a topological interpretation of the minimal free resolution of the Stanley-Reisner ring. The exterior algebra module structure in cohomology induced by the torus action recovers the linear part of the minimal free resolution, and we show that higher cohomology operations induced by the action (in the sense of Goresky-Kottwitz-MacPherson) can be assembled into an explicit differential on the resolution. Describing these operations in terms of Hochster's formula, we recover and extend a result due to Katthän. We then apply all of this to study the equivariant formality of torus actions on moment-angle complexes. For these spaces, we obtain complete algebraic and combinatorial characterisations of which subtori of the naturally acting torus act equivariantly formally.
△ Less
Submitted 26 May, 2023; v1 submitted 17 April, 2023;
originally announced April 2023.
-
Bounds on cohomological support varieties
Authors:
Benjamin Briggs,
Eloísa Grifo,
Josh Pollitz
Abstract:
Over a local ring $R$, the theory of cohomological support varieties attaches to any bounded complex $M$ of finitely generated $R$-modules an algebraic variety $V_R(M)$ that encodes homological properties of $M$. We give lower bounds for the dimension of $V_R(M)$ in terms of classical invariants of $R$. In particular, when $R$ is Cohen-Macaulay and not complete intersection we find that there are…
▽ More
Over a local ring $R$, the theory of cohomological support varieties attaches to any bounded complex $M$ of finitely generated $R$-modules an algebraic variety $V_R(M)$ that encodes homological properties of $M$. We give lower bounds for the dimension of $V_R(M)$ in terms of classical invariants of $R$. In particular, when $R$ is Cohen-Macaulay and not complete intersection we find that there are always varieties that cannot be realized as the cohomological support of any complex. When $M$ has finite projective dimension, we also give an upper bound for $ \dim V_R(M)$ in terms of the dimension of the radical of the homotopy Lie algebra of $R$. This leads to an improvement of a bound due to Avramov, Buchweitz, Iyengar, and Miller on the Loewy lengths of finite free complexes. Finally, we completely classify the varieties that can occur as the cohomological support of a complex over a Golod ring.
△ Less
Submitted 3 July, 2024; v1 submitted 27 October, 2022;
originally announced October 2022.
-
On the Lie algebra structure of integrable derivations
Authors:
Benjamin Briggs,
Lleonard Rubio y Degrassi
Abstract:
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 sel…
▽ More
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.
△ Less
Submitted 3 May, 2022;
originally announced May 2022.
-
Product decompositions of moment-angle manifolds and $B$-rigidity
Authors:
Steven Amelotte,
Benjamin Briggs
Abstract:
A simple polytope $P$ is called $B$-rigid if its combinatorial type is determined by the cohomology ring of the moment-angle manifold $\mathcal{Z}_P$ over $P$. We show that any tensor product decomposition of this cohomology ring is geometrically realized by a product decomposition of the moment-angle manifold up to equivariant diffeomorphism. As an application, we find that $B$-rigid polytopes ar…
▽ More
A simple polytope $P$ is called $B$-rigid if its combinatorial type is determined by the cohomology ring of the moment-angle manifold $\mathcal{Z}_P$ over $P$. We show that any tensor product decomposition of this cohomology ring is geometrically realized by a product decomposition of the moment-angle manifold up to equivariant diffeomorphism. As an application, we find that $B$-rigid polytopes are closed under products, generalizing some recent results in the toric topology literature. Algebraically, our proof establishes that the Koszul homology of a Gorenstein Stanley-Reisner ring admits a nontrivial tensor product decomposition if and only if the underlying simplicial complex decomposes as a join of full subcomplexes.
△ Less
Submitted 30 April, 2022;
originally announced May 2022.
-
Cohomological jump loci and duality in local algebra
Authors:
Benjamin Briggs,
Daniel McCormick,
Josh Pollitz
Abstract:
In this article a higher order support theory, called the cohomological jump loci, is introduced and studied for dg modules over a Koszul extension of a local dg algebra. The generality of this setting applies to dg modules over local complete intersection rings, exterior algebras and certain group algebras in prime characteristic. This family of varieties generalizes the well-studied support vari…
▽ More
In this article a higher order support theory, called the cohomological jump loci, is introduced and studied for dg modules over a Koszul extension of a local dg algebra. The generality of this setting applies to dg modules over local complete intersection rings, exterior algebras and certain group algebras in prime characteristic. This family of varieties generalizes the well-studied support varieties in each of these contexts. We show that cohomological jump loci satisfy several interesting properties, including being closed under (Grothendieck) duality. The main application of this support theory is that over a local ring the homological invariants of Betti degree and complexity are preserved under duality for finitely generated modules having finite complete intersection dimension.
△ Less
Submitted 10 April, 2023; v1 submitted 18 January, 2022;
originally announced January 2022.
-
Maximal tori in $HH^1$ and the fundamental group
Authors:
Benjamin Briggs,
Lleonard Rubio y Degrassi
Abstract:
We investigate maximal tori in the Hochschild cohomology Lie algebra $HH^1(A)$ of a finite dimensional algebra $A$, and their connection with the fundamental groups associated to presentations of $A$. We prove that every maximal torus in $HH^1(A)$ arises as the dual of some fundamental group of $A$, extending work of Farkas, Green and Marcos; de la Peña and Saorín; and Le Meur. Combining this with…
▽ More
We investigate maximal tori in the Hochschild cohomology Lie algebra $HH^1(A)$ of a finite dimensional algebra $A$, and their connection with the fundamental groups associated to presentations of $A$. We prove that every maximal torus in $HH^1(A)$ arises as the dual of some fundamental group of $A$, extending work of Farkas, Green and Marcos; de la Peña and Saorín; and Le Meur. Combining this with known invariance results for Hochschild cohomology, we deduce that (in rough terms) the largest rank of a fundamental group of $A$ is a derived invariant quantity, and among self-injective algebras, an invariant under stable equivalences of Morita type. Using this we prove that there are only finitely many monomial algebras in any derived equivalence class of finite dimensional algebras; hitherto this was known only for very restricted classes of monomial algebras.
△ Less
Submitted 20 September, 2021; v1 submitted 8 September, 2021;
originally announced September 2021.
-
Rigidity properties of the cotangent complex
Authors:
Benjamin Briggs,
Srikanth B. Iyengar
Abstract:
This work concerns maps $\varphi \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 $\varphi$ is locally complete intersection. This extends Avramov's theorem that draws the same conclusion assuming…
▽ More
This work concerns maps $\varphi \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 $\varphi$ 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 $\varphi$.
△ Less
Submitted 23 January, 2022; v1 submitted 25 October, 2020;
originally announced October 2020.
-
Constructing non-proxy small test modules for the complete intersection property
Authors:
Benjamin Briggs,
Eloísa Grifo,
Josh Pollitz
Abstract:
A local ring $R$ is regular if and only if every finitely generated $R$-module has finite projective dimension. Moreover, the residue field $k$ is a test module: $R$ is regular if and only if $k$ has finite projective dimension. This characterization can be extended to the bounded derived category $\mathsf{D}^f(R)$, which contains only small objects if and only if $R$ is regular.
Recent results…
▽ More
A local ring $R$ is regular if and only if every finitely generated $R$-module has finite projective dimension. Moreover, the residue field $k$ is a test module: $R$ is regular if and only if $k$ has finite projective dimension. This characterization can be extended to the bounded derived category $\mathsf{D}^f(R)$, which contains only small objects if and only if $R$ is regular.
Recent results of Pollitz, completing work initiated by Dwyer-Greenlees-Iyengar, yield an analogous characterization for complete intersections: $R$ is a complete intersection if and only if every object in $\mathsf{D}^f(R)$ is proxy small. In this paper, we study a return to the world of $R$-modules, and search for finitely generated $R$-modules that are not proxy small whenever $R$ is not a complete intersection. We give an algorithm to construct such modules in certain settings, including over equipresented rings and Stanley-Reisner rings.
△ Less
Submitted 13 May, 2021; v1 submitted 24 September, 2020;
originally announced September 2020.
-
Locally complete intersection maps and the proxy small property
Authors:
Benjamin Briggs,
Srikanth B. Iyengar,
Janina C. Letz,
Josh Pollitz
Abstract:
It is proved that a map $\varphi\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 o…
▽ More
It is proved that a map $\varphi\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 $\varphi$ 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.
△ Less
Submitted 6 February, 2021; v1 submitted 16 July, 2020;
originally announced July 2020.
-
Stable invariance of the restricted Lie algebra structure of Hochschild cohomology
Authors:
Benjamin Briggs,
Lleonard Rubio y Degrassi
Abstract:
We show that the restricted Lie algebra structure on Hochschild cohomology is invariant under stable equivalences of Morita type between self-injective algebras. Thereby we obtain a number of positive characteristic stable invariants, such as the $p$-toral rank of $\mathrm{HH}^1(A,A)$. We also prove a more general result concerning Iwanaga-Gorenstein algebras, using a more general notion of stable…
▽ More
We show that the restricted Lie algebra structure on Hochschild cohomology is invariant under stable equivalences of Morita type between self-injective algebras. Thereby we obtain a number of positive characteristic stable invariants, such as the $p$-toral rank of $\mathrm{HH}^1(A,A)$. We also prove a more general result concerning Iwanaga-Gorenstein algebras, using a more general notion of stable equivalences of Morita type. Several applications are given to commutative algebra and modular representation theory. These results are proven by first establishing the stable invariance of the $B_\infty$-structure of the Hochschild cochain complex. In the appendix we explain how the $p$-power operation on Hochschild cohomology can be seen as an artifact of this $B_\infty$-structure. In particular, we establish well-definedness of the $p$-power operation, following some -- originally topological -- methods due to May, Cohen and Turchin, using the language of operads.
△ Less
Submitted 15 September, 2021; v1 submitted 24 June, 2020;
originally announced June 2020.
-
Vasconcelos' conjecture on the conormal module
Authors:
Benjamin Briggs
Abstract:
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…
▽ More
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.
△ Less
Submitted 26 April, 2022; v1 submitted 7 June, 2020;
originally announced June 2020.
-
Hochschild cohomology of twisted tensor products
Authors:
Benjamin Briggs,
Sarah Witherspoon
Abstract:
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 exam…
▽ More
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.
△ Less
Submitted 3 May, 2020;
originally announced May 2020.
-
Matrix Factorisations Arising From Well-Generated Complex Reflection Groups
Authors:
Benjamin Briggs
Abstract:
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 factorisati…
▽ More
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.
△ Less
Submitted 16 July, 2020; v1 submitted 19 April, 2017;
originally announced April 2017.
-
The A-infinity Centre of the Yoneda Algebra and the Characteristic Action of Hochschild Cohomology on the Derived Category
Authors:
Benjamin Briggs,
Vincent Gelinas
Abstract:
For A a dg (or A-infinity) algebra and M a module over A, we study the image of the characteristic morphism $χ_M: HH^*(A, A) \to Ext_A(M, M)$ and its interaction with the higher structure on the Yoneda algebra $Ext_A(M, M)$. To this end, we introduce and study a notion of A-infinity centre for minimal A-infinity algebras, agreeing with the usual centre in the case that there is no higher structure…
▽ More
For A a dg (or A-infinity) algebra and M a module over A, we study the image of the characteristic morphism $χ_M: HH^*(A, A) \to Ext_A(M, M)$ and its interaction with the higher structure on the Yoneda algebra $Ext_A(M, M)$. To this end, we introduce and study a notion of A-infinity centre for minimal A-infinity algebras, agreeing with the usual centre in the case that there is no higher structure. We show that the image of $χ_M$ lands in the A-infinity centre of $Ext_A(M, M)$. When A is augmented over k, we show (under mild connectedness assumptions) that the morphism $χ_k: HH^*(A, A) \to Ext_A(k,k)$ into the Koszul dual algebra lands exactly onto the A-infinity centre, generalising the situation from the Koszul case established by Buchweitz, Green, Snashall and Solberg. We give techniques for computing A-infinity centres, hence for computing the image of the characteristic morphism, and provide worked-out examples. We further study applications to topology. In particular we relate the A-infinity centre of the Pontryagin algebra to a wrong way map coming from the homology of the free loop space, first studied by Chas and Sullivan.
△ Less
Submitted 2 February, 2017;
originally announced February 2017.
