Showing 1–50 of 53 results for author: Bergh, P A

Multiplicity in triangulated categories

Authors: Petter Andreas Bergh, David A. Jorgensen, Peder Thompson

Abstract: We lay out the theory of a multiplicity in the setting of a triangulated category having a central ring action from a graded-commutative ring $R$, in other words, an $R$-linear triangulated category. The invariant we consider is modelled on those for graded modules over a commutative graded ring. We show that this invariant is determined by the leading coefficients of the Hilbert polynomials expre… ▽ More We lay out the theory of a multiplicity in the setting of a triangulated category having a central ring action from a graded-commutative ring $R$, in other words, an $R$-linear triangulated category. The invariant we consider is modelled on those for graded modules over a commutative graded ring. We show that this invariant is determined by the leading coefficients of the Hilbert polynomials expressing the lengths of certain Hom sets. Our theory is a natural analogue of Hochster's theta invariant for homology and Buchweitz's Herbrand difference for cohomology. Moreover, we give applications to vanishing of cohomology and modules over local complete intersection rings, group algebras of a finite group, and certain finite dimensional algebras. △ Less

Submitted 3 June, 2025; originally announced June 2025.

Comments: 24 pages; comments welcome!

Asymptotic vanishing of cohomology in triangulated categories

Authors: Petter Andreas Bergh, David A. Jorgensen, Peder Thompson

Abstract: Given a graded-commutative ring acting centrally on a triangulated category, our main result shows that if cohomology of a pair of objects of the triangulated category is finitely generated over the ring acting centrally, then the asymptotic vanishing of the cohomology is well-behaved. In particular, enough consecutive asymptotic vanishing of cohomology implies all eventual vanishing. Several key… ▽ More Given a graded-commutative ring acting centrally on a triangulated category, our main result shows that if cohomology of a pair of objects of the triangulated category is finitely generated over the ring acting centrally, then the asymptotic vanishing of the cohomology is well-behaved. In particular, enough consecutive asymptotic vanishing of cohomology implies all eventual vanishing. Several key applications are also given. △ Less

Submitted 21 May, 2024; originally announced May 2024.

Comments: 14 pages

MSC Class: 16E30; 18G15; 18G80

Support varieties without the tensor product property

Authors: Petter Andreas Bergh, Julia Yael Plavnik, Sarah Witherspoon

Abstract: We show that over a perfect field, every non-semisimple finite tensor category with finitely generated cohomology embeds into a larger such category where the tensor product property does not hold for support varieties. We show that over a perfect field, every non-semisimple finite tensor category with finitely generated cohomology embeds into a larger such category where the tensor product property does not hold for support varieties. △ Less

Submitted 10 August, 2023; originally announced August 2023.

Comments: 11 pages

Report number: Hamburger Beitr. zur Mathematik Nr 946; ZMP-HH/23-12 MSC Class: 16E40; 16T05; 18M05; 18M15

Support varieties for finite tensor categories: the tensor product property

Authors: Petter Andreas Bergh, Julia Yael Plavnik, Sarah Witherspoon

Abstract: We show that in a finite tensor category, the tensor product property holds for support varieties if and only if it holds between indecomposable periodic objects. We apply this to certain Hopf algebras in the form of skew group algebras. In particular, we show that the tensor product property holds for all objects in a symmetric finite tensor category over an algebraically closed field of characte… ▽ More We show that in a finite tensor category, the tensor product property holds for support varieties if and only if it holds between indecomposable periodic objects. We apply this to certain Hopf algebras in the form of skew group algebras. In particular, we show that the tensor product property holds for all objects in a symmetric finite tensor category over an algebraically closed field of characteristic zero. △ Less

Submitted 6 June, 2024; v1 submitted 28 June, 2023; originally announced June 2023.

Comments: 29 pages

Report number: Hamburger Beitr. zur Mathematik Nr 944; ZMP-HH/23-10 MSC Class: 16E40; 16T05; 18M05; 18M15

Homology of complexes over finite tensor categories

Authors: Petter Andreas Bergh

Abstract: We generalize a recent result by J.F. Carlson to finite tensor categories having finitely generated cohomology. Specifically, we show that if the Krull dimension of the cohomology ring is sufficiently large, then there exist infinitely many non-isomorphic and nontrivial bounded complexes of projective objects, and with small homology. We also prove a version for finite dimensional algebras with fi… ▽ More We generalize a recent result by J.F. Carlson to finite tensor categories having finitely generated cohomology. Specifically, we show that if the Krull dimension of the cohomology ring is sufficiently large, then there exist infinitely many non-isomorphic and nontrivial bounded complexes of projective objects, and with small homology. We also prove a version for finite dimensional algebras with finitely generated cohomology. △ Less

Submitted 18 January, 2023; originally announced January 2023.

Comments: 19 pages

MSC Class: 16E40; 16T05; 18E10; 18G35; 18M05

Dimension and depth inequalities over complete intersections

Authors: Petter Andreas Bergh, David A. Jorgensen, Peder Thompson

Abstract: For a pair of finitely generated modules $M$ and $N$ over a codimension $c$ complete intersection ring $R$ with $\ell(M\otimes_RN)$ finite, we pay special attention to the inequality $\dim M+\dim N \leq \dim R +c$. In particular, we develop an extension of Hochster's theta invariant whose nonvanishing detects equality. In addition, we consider a parallel theory where dimension and codimension are… ▽ More For a pair of finitely generated modules $M$ and $N$ over a codimension $c$ complete intersection ring $R$ with $\ell(M\otimes_RN)$ finite, we pay special attention to the inequality $\dim M+\dim N \leq \dim R +c$. In particular, we develop an extension of Hochster's theta invariant whose nonvanishing detects equality. In addition, we consider a parallel theory where dimension and codimension are replaced by depth and complexity, respectively. △ Less

Submitted 22 April, 2025; v1 submitted 3 January, 2023; originally announced January 2023.

Comments: 23 pages

MSC Class: 13H15; 13D22; 13C40

Categorical matrix factorizations

Authors: Petter Andreas Bergh, David A. Jorgensen

Abstract: In this paper we give a purely categorical construction of d-fold matrix factorizations of a natural transformation, for any even integer d. This recovers the classical definition of those for regular elements in commutative rings due to Eisenbud. We explore some natural functors between associated triangulated categories, and show that when d=2 these are full and faithful, and in some cases equiv… ▽ More In this paper we give a purely categorical construction of d-fold matrix factorizations of a natural transformation, for any even integer d. This recovers the classical definition of those for regular elements in commutative rings due to Eisenbud. We explore some natural functors between associated triangulated categories, and show that when d=2 these are full and faithful, and in some cases equivalences. △ Less

Submitted 21 June, 2022; originally announced June 2022.

Comments: 18 pages

MSC Class: 13D02; 18E05; 18G35; 18G80

Journal ref: Ann. K-Th. 8 (2023) 355-378

Separable equivalences, finitely generated cohomology and finite tensor categories

Authors: Petter Andreas Bergh

Abstract: We show that finitely generated cohomology is invariant under separable equivalences for all algebras. As a result, we obtain a proof of the finite generation of cohomology for finite symmetric tensor categories in characteristic zero, as conjectured by Etingof and Ostrik. Moreover, for such categories we also determine the representation dimension and the Rouquier dimension of the stable category… ▽ More We show that finitely generated cohomology is invariant under separable equivalences for all algebras. As a result, we obtain a proof of the finite generation of cohomology for finite symmetric tensor categories in characteristic zero, as conjectured by Etingof and Ostrik. Moreover, for such categories we also determine the representation dimension and the Rouquier dimension of the stable category. Finally, we recover a number of results on the cohomology of stably equivalent and singularly equivalent algebras. △ Less

Submitted 22 September, 2021; originally announced September 2021.

Comments: 24 pages

MSC Class: 16E40; 16T05; 18M05; 19D23

Modules of constant Jordan type over quantum complete intersections

Authors: Petter Andreas Bergh, Karin Erdmann, David A. Jorgensen

Abstract: We initiate the study of modules of constant Jordan type for quantum complete intersections, and prove a range of basic properties. We then show that for these algebras, constant Jordan type is an invariant of Auslander-Reiten components. Finally, we classify modules with stable constant Jordan type [1] or [n-1] in the 2-generator case. We initiate the study of modules of constant Jordan type for quantum complete intersections, and prove a range of basic properties. We then show that for these algebras, constant Jordan type is an invariant of Auslander-Reiten components. Finally, we classify modules with stable constant Jordan type [1] or [n-1] in the 2-generator case. △ Less

Submitted 15 October, 2019; originally announced October 2019.

Comments: 21 pages

MSC Class: 16D50; 16E05; 16G70; 16S80; 16U80; 20C20

Matrix factorizations for self-orthogonal categories of modules

Authors: Petter Andreas Bergh, Peder Thompson

Abstract: For a commutative ring $S$ and self-orthogonal subcategory $\mathsf{C}$ of $\mathsf{Mod}(S)$, we consider matrix factorizations whose modules belong to $\mathsf{C}$. Let $f\in S$ be a regular element. If $f$ is $M$-regular for every $M\in \mathsf{C}$, we show there is a natural embedding of the homotopy category of $\mathsf{C}$-factorizations of $f$ into a corresponding homotopy category of totall… ▽ More For a commutative ring $S$ and self-orthogonal subcategory $\mathsf{C}$ of $\mathsf{Mod}(S)$, we consider matrix factorizations whose modules belong to $\mathsf{C}$. Let $f\in S$ be a regular element. If $f$ is $M$-regular for every $M\in \mathsf{C}$, we show there is a natural embedding of the homotopy category of $\mathsf{C}$-factorizations of $f$ into a corresponding homotopy category of totally acyclic complexes. Moreover, we prove this is an equivalence if $\mathsf{C}$ is the category of projective or flat-cotorsion $S$-modules. Dually, using divisibility in place of regularity, we observe there is a parallel equivalence when $\mathsf{C}$ is the category of injective $S$-modules. △ Less

Submitted 3 December, 2019; v1 submitted 31 May, 2019; originally announced May 2019.

Comments: Updates after review. Final version to appear in Journal of Algebra and Its Applications. 18 pages

On support varieties and tensor products for finite dimensional algebras

Authors: Petter Andreas Bergh, Mads Hustad Sandøy, Øyvind Solberg

Abstract: It has been asked whether there is a version of the tensor product property for support varieties over finite dimensional algebras defined in terms of Hochschild cohomology. We show that in general no such version can exist. In particular, we show that for certain quantum complete intersections, there are modules and bimodules for which the variety of the tensor product is not even contained in th… ▽ More It has been asked whether there is a version of the tensor product property for support varieties over finite dimensional algebras defined in terms of Hochschild cohomology. We show that in general no such version can exist. In particular, we show that for certain quantum complete intersections, there are modules and bimodules for which the variety of the tensor product is not even contained in the variety of the one-sided module. △ Less

Submitted 22 May, 2019; originally announced May 2019.

Comments: 9 pages

Support varieties for finite tensor categories: Complexity, realization, and connectedness

Authors: Petter Andreas Bergh, Julia Yael Plavnik, Sarah Witherspoon

Abstract: We advance support variety theory for finite tensor categories. First we show that the dimension of the support variety of an object equals the rate of growth of a minimal projective resolution as measured by the Frobenius-Perron dimension. Then we show that every conical subvariety of the support variety of the unit object may be realized as the support variety of an object. Finally, we show that… ▽ More We advance support variety theory for finite tensor categories. First we show that the dimension of the support variety of an object equals the rate of growth of a minimal projective resolution as measured by the Frobenius-Perron dimension. Then we show that every conical subvariety of the support variety of the unit object may be realized as the support variety of an object. Finally, we show that the support variety of an indecomposable object is connected. △ Less

Submitted 3 June, 2020; v1 submitted 16 May, 2019; originally announced May 2019.

Comments: 22 pages, added algebraically closed hypothesis

A converse to a construction of Eisenbud-Shamash

Authors: Petter A. Bergh, David A. Jorgensen, W. Frank Moore

Abstract: Let $(Q,\mathfrak n,k)$ be a commutative local Noetherian ring, $f_1,\dots, f_c$ a $Q$-regular sequence in $\mathfrak n$, and $R=Q/(f_1,\dots,f_c)$. Given a complex of finitely generated free $R$-modules, we give a construction of a complex of finitely generated free $Q$-modules having the same homology. A key application is when the original complex is an $R$-free resolution of a finitely generat… ▽ More Let $(Q,\mathfrak n,k)$ be a commutative local Noetherian ring, $f_1,\dots, f_c$ a $Q$-regular sequence in $\mathfrak n$, and $R=Q/(f_1,\dots,f_c)$. Given a complex of finitely generated free $R$-modules, we give a construction of a complex of finitely generated free $Q$-modules having the same homology. A key application is when the original complex is an $R$-free resolution of a finitely generated $R$-module. In this case our construction is a sort of converse to a construction of Eisenbud-Shamash yielding a free resolution of an $R$-module $M$ over $R$ given one over $Q$. △ Less

Submitted 13 November, 2018; originally announced November 2018.

MSC Class: 13D02; 13D07

Journal ref: J. Comm. Alg. 12 (2020) 467-477

Matrix factorizations for quantum complete intersections

Authors: Petter Andreas Bergh, Karin Erdmann

Abstract: We introduce twisted matrix factorizations for quantum complete intersections of codimension two. For such an algebra, we show that in a given dimension, almost all the indecomposable modules with bounded minimal projective resolutions correspond to such matrix factorizations. We introduce twisted matrix factorizations for quantum complete intersections of codimension two. For such an algebra, we show that in a given dimension, almost all the indecomposable modules with bounded minimal projective resolutions correspond to such matrix factorizations. △ Less

Submitted 20 October, 2017; originally announced October 2017.

Comments: 13 pages

Totally acyclic approximations

Authors: Petter A. Bergh, David A. Jorgensen, W. Frank Moore

Abstract: Let $R$ be a commutative local ring. We study the subcategory of the homotopy category of $R$-complexes consisting of the totally acyclic $R$-complexes. In particular, in the context where $Q\to R$ is a surjective local ring homomorphism such that $R$ has finite projective dimension over $Q$, we define an adjoint pair of functors between the homotopy category of totally acyclic $R$-complexes and t… ▽ More Let $R$ be a commutative local ring. We study the subcategory of the homotopy category of $R$-complexes consisting of the totally acyclic $R$-complexes. In particular, in the context where $Q\to R$ is a surjective local ring homomorphism such that $R$ has finite projective dimension over $Q$, we define an adjoint pair of functors between the homotopy category of totally acyclic $R$-complexes and that of $Q$-complexes, which are analogous to the classical adjoint pair between the module categories of $R$ and $Q$. We give detailed proofs of the adjunction in terms of the unit and counit. As a consequence, one obtains a precise notion of approximations of totally acyclic $R$-complexes by totally acyclic $Q$-complexes. △ Less

Submitted 25 June, 2016; originally announced June 2016.

MSC Class: 13D02; 13H10; 13C14

The morphism axiom for n-angulated categories

Authors: Emilie Arentz-Hansen, Petter Andreas Bergh, Marius Thaule

Abstract: The morphism axiom for n-angulated categories states that a morphism between the bases of two n-angles can be extended to a morphism of n-angles. We show that this axiom is redundant. For triangulated categories, this was proved by J.P. May. The morphism axiom for n-angulated categories states that a morphism between the bases of two n-angles can be extended to a morphism of n-angles. We show that this axiom is redundant. For triangulated categories, this was proved by J.P. May. △ Less

Submitted 26 January, 2016; originally announced January 2016.

Comments: 5 pages

MSC Class: 18E30

A generalized Dade's Lemma for local rings

Authors: Petter Andreas Bergh, David A. Jorgensen

Abstract: We prove a generalized Dade's Lemma for quotients of local rings by ideals generated by regular sequences. That is, given a pair of finitely generated modules over such a ring with algebraically closed residue field, we prove a sufficient (and necessary) condition for the vanishing of all higher Ext or Tor of the modules. This condition involves the vanishing of all higher Ext or Tor of the module… ▽ More We prove a generalized Dade's Lemma for quotients of local rings by ideals generated by regular sequences. That is, given a pair of finitely generated modules over such a ring with algebraically closed residue field, we prove a sufficient (and necessary) condition for the vanishing of all higher Ext or Tor of the modules. This condition involves the vanishing of all higher Ext or Tor of the modules over all quotients by a minimal generator of the ideal generated by the regular sequence. △ Less

Submitted 29 November, 2017; v1 submitted 6 January, 2016; originally announced January 2016.

MSC Class: 13D02; 13D07

Realizability and the Avrunin-Scott theorem for higher-order support varieties

Authors: Petter Andreas Bergh, David A. Jorgensen

Abstract: We introduce higher-order support varieties for pairs of modules over a commutative local complete intersection ring, and give a complete description of which varieties occur as such support varieties. In the context of a group algebra of a finite elementary abelian group, we also prove a higher-order Avrunin-Scott-type theorem, linking higher-order support varieties and higher-order rank varietie… ▽ More We introduce higher-order support varieties for pairs of modules over a commutative local complete intersection ring, and give a complete description of which varieties occur as such support varieties. In the context of a group algebra of a finite elementary abelian group, we also prove a higher-order Avrunin-Scott-type theorem, linking higher-order support varieties and higher-order rank varieties for pairs of modules. △ Less

Submitted 2 December, 2015; v1 submitted 12 November, 2015; originally announced November 2015.

Comments: 8 pages

MSC Class: 13D02; 13D07; 16S34; 20C05

Hochschild homology and trivial extensions

Authors: Petter Andreas Bergh, Dag Oskar Madsen

Abstract: We prove that if an algebra is either selfinjective, local or graded, then the Hochschild homology dimension of its trivial extension is infinite. We prove that if an algebra is either selfinjective, local or graded, then the Hochschild homology dimension of its trivial extension is infinite. △ Less

Submitted 30 September, 2015; originally announced September 2015.

Comments: 6 pages

MSC Class: 16E40; 16S70

Support varieties over complete intersections made easy

Authors: Petter Andreas Bergh, David A. Jorgensen

Abstract: Using an alternate description of support varieties of pairs of modules over a complete intersection, we give several new applications of such varieties, including results for support varieties of intermediate complete intersections. Simpler proofs of known results are also given. Using an alternate description of support varieties of pairs of modules over a complete intersection, we give several new applications of such varieties, including results for support varieties of intermediate complete intersections. Simpler proofs of known results are also given. △ Less

Submitted 25 September, 2015; originally announced September 2015.

Comments: 12 pages

MSC Class: 13D02; 13D07

Complete intersections and equivalences with categories of matrix factorizations

Authors: Petter Andreas Bergh, David A. Jorgensen

Abstract: We prove that one can realize certain triangulated subcategories of the singularity category of a complete intersection as homotopy categories of matrix factorizations. Moreover, we prove that for any commutative ring and non-zerodivisor, the homotopy category of matrix factorizations embeds into the homotopy category of totally acyclic complexes of finitely generated projective modules over the f… ▽ More We prove that one can realize certain triangulated subcategories of the singularity category of a complete intersection as homotopy categories of matrix factorizations. Moreover, we prove that for any commutative ring and non-zerodivisor, the homotopy category of matrix factorizations embeds into the homotopy category of totally acyclic complexes of finitely generated projective modules over the factor ring. △ Less

Submitted 14 September, 2015; originally announced September 2015.

Comments: 14 pages

MSC Class: 13D02; 13D09; 18E30

Higher n-angulations from local rings

Authors: Petter Andreas Bergh, Gustavo Jasso, Marius Thaule

Abstract: We show that the category of finitely generated free modules over certain local rings is n-angulated for every n at least 3. In fact, we construct several classes of n-angles, parametrized by equivalence classes of units in the local rings. Finally, we show that for odd values of n some of these n-angulated categories are not algebraic. We show that the category of finitely generated free modules over certain local rings is n-angulated for every n at least 3. In fact, we construct several classes of n-angles, parametrized by equivalence classes of units in the local rings. Finally, we show that for odd values of n some of these n-angulated categories are not algebraic. △ Less

Submitted 14 April, 2015; v1 submitted 8 November, 2013; originally announced November 2013.

Comments: 18 pages, replaces an earlier version by the first and last author. New section on algebraic n-angulated categories

MSC Class: 18E30

Journal ref: J. Lond. Math. Soc. (2) 93 (1) (2016): 123-142

The negative side of cohomology for Calabi-Yau categories

Authors: Petter Andreas Bergh, David A. Jorgensen, Steffen Oppermann

Abstract: We study integer-graded cohomology rings defined over Calabi-Yau categories. We show that the cohomology in negative degree is a trivial extension of the cohomology ring in non-negative degree, provided the latter admits a regular sequence of central elements of length two. In particular, the product of elements of negative degrees are zero. As corollaries we apply this to Tate-Hochschild cohomolo… ▽ More We study integer-graded cohomology rings defined over Calabi-Yau categories. We show that the cohomology in negative degree is a trivial extension of the cohomology ring in non-negative degree, provided the latter admits a regular sequence of central elements of length two. In particular, the product of elements of negative degrees are zero. As corollaries we apply this to Tate-Hochschild cohomology rings of symmetric algebras, and to Tate cohomology rings over group algebras. We also prove similar results for Tate cohomology rings over commutative local Gorenstein rings. △ Less

Submitted 6 September, 2012; v1 submitted 28 August, 2012; originally announced August 2012.

Comments: 14 pages

MSC Class: 13H10; 16E40; 16W50

The Grothendieck group of an n-angulated category

Authors: Petter Andreas Bergh, Marius Thaule

Abstract: We define the Grothendieck group of an n-angulated category and show that for odd n its properties are as in the special case of n=3, i.e. the triangulated case. In particular, its subgroups classify the dense and complete n-angulated subcategories via a bijective correspondence. For a tensor n-angulated category, the Grothendieck group becomes a ring, whose ideals classify the dense and complete… ▽ More We define the Grothendieck group of an n-angulated category and show that for odd n its properties are as in the special case of n=3, i.e. the triangulated case. In particular, its subgroups classify the dense and complete n-angulated subcategories via a bijective correspondence. For a tensor n-angulated category, the Grothendieck group becomes a ring, whose ideals classify the dense and complete n-angulated tensor ideals of the category. △ Less

Submitted 25 May, 2012; originally announced May 2012.

Comments: 13 pages

MSC Class: 18E30; 18F30

On the representation dimension of skew group algebras, wreath products and blocks of Hecke algebras

Authors: Petter Andreas Bergh, Will Turner

Abstract: We establish bounds for the representation dimension of skew group algebras and wreath products. Using this, we obtain bounds for the representation dimension of a block of a Hecke algebra of type A, in terms of the weight of the block. This includes certain blocks of group algebras of symmetric groups. We establish bounds for the representation dimension of skew group algebras and wreath products. Using this, we obtain bounds for the representation dimension of a block of a Hecke algebra of type A, in terms of the weight of the block. This includes certain blocks of group algebras of symmetric groups. △ Less

Submitted 29 April, 2012; originally announced April 2012.

Comments: 8 pages

MSC Class: 16G60; 20C08; 20C30

The Gorenstein defect category

Authors: Petter Andreas Bergh, David A. Jorgensen, Steffen Oppermann

Abstract: We consider the homotopy category of complexes of projective modules over a Noetherian ring. Truncation at degree zero induces a fully faithful triangle functor from the totally acyclic complexes to the stable derived category. We show that if the ring is either Artin or commutative Noetherian local, then the functor is dense if and only if the ring is Gorenstein. Motivated by this, we define the… ▽ More We consider the homotopy category of complexes of projective modules over a Noetherian ring. Truncation at degree zero induces a fully faithful triangle functor from the totally acyclic complexes to the stable derived category. We show that if the ring is either Artin or commutative Noetherian local, then the functor is dense if and only if the ring is Gorenstein. Motivated by this, we define the Gorenstein defect category of the ring, a category which in some sense measures how far the ring is from being Gorenstein. △ Less

Submitted 4 June, 2014; v1 submitted 13 February, 2012; originally announced February 2012.

Comments: 11 pages, updated version

MSC Class: 13H10; 16E65; 18E30

The axioms for n-angulated categories

Authors: Petter Andreas Bergh, Marius Thaule

Abstract: We discuss the axioms for an n-angulated category, recently introduced by Geiss, Keller and Oppermann. In particular, we introduce a higher octahedral axiom, and show that it is equivalent to the mapping cone axiom for an n-angulated category. For a triangulated category, the mapping cone axiom, our octahedral axiom and the classical octahedral axiom are all equivalent. We discuss the axioms for an n-angulated category, recently introduced by Geiss, Keller and Oppermann. In particular, we introduce a higher octahedral axiom, and show that it is equivalent to the mapping cone axiom for an n-angulated category. For a triangulated category, the mapping cone axiom, our octahedral axiom and the classical octahedral axiom are all equivalent. △ Less

Submitted 17 January, 2012; v1 submitted 12 December, 2011; originally announced December 2011.

Comments: 17 pages, added a section, updated references

MSC Class: 18E30

Journal ref: Algebr. Geom. Topol. 13 (2013) 2405-2428

Tate-Hochschild homology and cohomology of Frobenius algebras

Authors: Petter Andreas Bergh, David A. Jorgensen

Abstract: We study Tate-Hochschild homology and cohomology for a two-sided Noetherian Gorenstein algebra. These (co)homology groups are defined for all degrees, non-negative as well as negative, and they agree with the usual Hochschild (co)homology groups for all degrees larger than the injective dimension of the algebra. We prove certain duality theorems relating the Tate-Hochschild (co)homology groups in… ▽ More We study Tate-Hochschild homology and cohomology for a two-sided Noetherian Gorenstein algebra. These (co)homology groups are defined for all degrees, non-negative as well as negative, and they agree with the usual Hochschild (co)homology groups for all degrees larger than the injective dimension of the algebra. We prove certain duality theorems relating the Tate-Hochschild (co)homology groups in positive degree to those in negative degree, in the case where the algebra is Frobenius. We explicitly compute all Tate-Hochschild (co)homology groups for certain classes of Frobenius algebras, namely, certain quantum complete intersections. △ Less

Submitted 7 October, 2011; v1 submitted 19 September, 2011; originally announced September 2011.

Comments: 26 pages, to appear in J. Noncommut. Geom

MSC Class: 16E30; 16E40; 16D50

Cohomological symmetry in triangulated categories

Authors: Petter Andreas Bergh, Steffen Oppermann

Abstract: We give a criterion for cohomological symmetry in a triangulated category. As an application, we show that such cohomological symmetry holds for all pairs of modules over any exterior algebra. We give a criterion for cohomological symmetry in a triangulated category. As an application, we show that such cohomological symmetry holds for all pairs of modules over any exterior algebra. △ Less

Submitted 1 May, 2011; originally announced May 2011.

Comments: 9 pages

MSC Class: 15A75; 16E30; 16E40; 18E30; 18G15

Homological algebra modulo exact zero-divisors

Authors: Petter Andreas Bergh, Olgur Celikbas, David A. Jorgensen

Abstract: We study the homological behavior of modules over local rings modulo exact zero-divisors. We obtain new results which are in some sense "opposite" to those known for modules over local rings modulo regular elements. We study the homological behavior of modules over local rings modulo exact zero-divisors. We obtain new results which are in some sense "opposite" to those known for modules over local rings modulo regular elements. △ Less

Submitted 28 November, 2013; v1 submitted 14 December, 2010; originally announced December 2010.

Comments: Revised and final version, 14 pages. To appear in Kyoto J. Math

MSC Class: 13D03

Journal ref: Kyoto J. Math. 54, no. 4 (2014), 879-895

The representation dimension of Hecke algebras and symmetric groups

Authors: Petter Andreas Bergh, Karin Erdmann

Abstract: We establish a lower bound for the representation dimension of all the classical Hecke algebras of types A, B and D. For all the type A algebras, and most of the algebras of types B and D, we also establish upper bounds. Moreover, we establish bounds for the representation dimension of group algebras of some symmetric groups. We establish a lower bound for the representation dimension of all the classical Hecke algebras of types A, B and D. For all the type A algebras, and most of the algebras of types B and D, we also establish upper bounds. Moreover, we establish bounds for the representation dimension of group algebras of some symmetric groups. △ Less

Submitted 16 November, 2010; originally announced November 2010.

Comments: 16 pages

MSC Class: 16G60; 20C08; 20C30

Cluster tilting and complexity

Authors: Petter Andreas Bergh, Steffen Oppermann

Abstract: We study the notion of positive and negative complexity of pairs of objects in cluster categories. The first main result shows that the maximal complexity occurring is either one, two or infinite, depending on the representation type of the underlying hereditary algebra. In the the second result, we study the bounded derived category of a cluster tilted algebra, and show that the maximal complex… ▽ More We study the notion of positive and negative complexity of pairs of objects in cluster categories. The first main result shows that the maximal complexity occurring is either one, two or infinite, depending on the representation type of the underlying hereditary algebra. In the the second result, we study the bounded derived category of a cluster tilted algebra, and show that the maximal complexity occurring is either zero or one whenever the algebra is of finite or tame type. △ Less

Submitted 5 January, 2010; originally announced January 2010.

Comments: 11 pages

MSC Class: 16P90; 18E30; 18G15

The stable AR-quiver of a quantum complete intersection

Authors: Petter Andreas Bergh, Karin Erdmann

Abstract: We completely describe the tree classes of the components of the stable Auslander-Reiten quiver of a quantum complete intersection. In particular, we show that the tree class is always $A_{\infty}$ whenever the algebra is of wild representation type. Moreover, in the tame case, there is one component of tree class $\tilde{A}_{12}$, whereas all the other are of tree class $A_{\infty}$. We completely describe the tree classes of the components of the stable Auslander-Reiten quiver of a quantum complete intersection. In particular, we show that the tree class is always $A_{\infty}$ whenever the algebra is of wild representation type. Moreover, in the tame case, there is one component of tree class $\tilde{A}_{12}$, whereas all the other are of tree class $A_{\infty}$. △ Less

Submitted 30 September, 2009; originally announced September 2009.

Comments: 11 pages

MSC Class: 16E30; 16G70; 16S80; 16U80; 81R50

The depth formula for modules with reducible complexity

Authors: Petter Andreas Bergh, David Jorgensen

Abstract: We prove that the depth formula holds for $\Tor$-independent modules in certain cases over a Cohen-Macaulay local ring, provided one of the modules has reducible complexity. We prove that the depth formula holds for $\Tor$-independent modules in certain cases over a Cohen-Macaulay local ring, provided one of the modules has reducible complexity. △ Less

Submitted 22 September, 2009; originally announced September 2009.

Comments: 12 pages

MSC Class: 13C15; 13D02; 13D07; 13D25; 13H10

On growth in totally acyclic minimal complexes

Authors: Petter Andreas Bergh, David A. Jorgensen

Abstract: Given a commutative Noetherian local ring, we provide a criterion under which a totally acyclic minimal complex of free modules has symmetric growth. Given a commutative Noetherian local ring, we provide a criterion under which a totally acyclic minimal complex of free modules has symmetric growth. △ Less

Submitted 18 April, 2009; originally announced April 2009.

Comments: 10 pages

MSC Class: 13D07; 13D25; 18E30

On the vanishing of homology for modules of finite complete intersection dimension

Authors: Petter Andreas Bergh, David A. Jorgensen

Abstract: We prove rigidity type results on the vanishing of stable (co)homology for modules of finite complete intersection dimension, results which generalize and improve upon known results. We also introduce a notion of pre-rigidity, which generalizes phenomena for modules of finite complete intersection dimension and complexity one. Using this concept, we prove results on length and vanishing of homol… ▽ More We prove rigidity type results on the vanishing of stable (co)homology for modules of finite complete intersection dimension, results which generalize and improve upon known results. We also introduce a notion of pre-rigidity, which generalizes phenomena for modules of finite complete intersection dimension and complexity one. Using this concept, we prove results on length and vanishing of homology modules. △ Less

Submitted 18 April, 2009; originally announced April 2009.

Comments: 12 pages

MSC Class: 13D07; 13H10

On complexes of finite complete intersection dimension

Authors: Petter Andreas Bergh

Abstract: We study complexes of finite complete intersection dimension in the derived category of a local ring. Given such a complex, we prove that the thick subcategory it generates contains complexes of all possible complexities. In particular, we show that such a complex is virtually small, answering a question raised by Dwyer, Greenlees and Iyengar. We study complexes of finite complete intersection dimension in the derived category of a local ring. Given such a complex, we prove that the thick subcategory it generates contains complexes of all possible complexities. In particular, we show that such a complex is virtually small, answering a question raised by Dwyer, Greenlees and Iyengar. △ Less

Submitted 22 February, 2009; originally announced February 2009.

Comments: 5 pages

MSC Class: 13D25; 18E30; 18G10

Ext-symmetry over quantum complete intersections

Authors: Petter Andreas Bergh

Abstract: We show that symmetry in the vanishing of cohomology holds for graded modules over quantum complete intersections. Moreover, symmetry holds for all modules if the algebra is symmetric. We show that symmetry in the vanishing of cohomology holds for graded modules over quantum complete intersections. Moreover, symmetry holds for all modules if the algebra is symmetric. △ Less

Submitted 26 November, 2008; originally announced November 2008.

Comments: 6 pages

MSC Class: 16E30; 16S80; 16U80; 81R50

On the vanishing of cohomology in triangulated categories

Authors: Petter Andreas Bergh

Abstract: We study the vanishing of cohomology in triangulated categories admitting a central ring action. In particular, we study vanishing gaps and symmetry. We study the vanishing of cohomology in triangulated categories admitting a central ring action. In particular, we study vanishing gaps and symmetry. △ Less

Submitted 17 November, 2008; originally announced November 2008.

Comments: 13 pages

MSC Class: 16E30; 18E30; 18G15

The Avrunin-Scott theorem for quantum complete intersections

Authors: Petter Andreas Bergh, Karin Erdmann

Abstract: We prove the Avrunin-Scott theorem for quantum complete intersections; the rank variety of a module is isomorphic to its support variety. We prove the Avrunin-Scott theorem for quantum complete intersections; the rank variety of a module is isomorphic to its support variety. △ Less

Submitted 18 October, 2008; originally announced October 2008.

Comments: 9 pages

MSC Class: 16E30; 16E40; 16S80; 16U80; 81R50

Relative support varieties

Authors: Petter Andreas Bergh, Øyvind Solberg

Abstract: We define relative support varieties with respect to some fixed module over a finite dimensional algebra. These varieties share many of the standard properties of classical support varieties. Moreover, when introducing finite generation conditions on cohomology, we show that relative support varieties contain homological information on the modules involved. As an application, we provide a new cr… ▽ More We define relative support varieties with respect to some fixed module over a finite dimensional algebra. These varieties share many of the standard properties of classical support varieties. Moreover, when introducing finite generation conditions on cohomology, we show that relative support varieties contain homological information on the modules involved. As an application, we provide a new criterion for a selfinjective algebra to be of wild representation type. △ Less

Submitted 9 April, 2008; originally announced April 2008.

Comments: 10 pages

MSC Class: 16E05; 16E30; 16G60

Cohomology of twisted tensor products

Authors: Petter Andreas Bergh, Steffen Oppermann

Abstract: It is well known that the cohomology of a tensor product is essentially the tensor product of the cohomologies. We look at twisted tensor products, and investigate to which extend this is still true. We give an explicit description of the $\Ext$-algebra of the tensor product of two modules, and under certain additional conditions, describe an essential part of the Hochschild cohomology ring of a… ▽ More It is well known that the cohomology of a tensor product is essentially the tensor product of the cohomologies. We look at twisted tensor products, and investigate to which extend this is still true. We give an explicit description of the $\Ext$-algebra of the tensor product of two modules, and under certain additional conditions, describe an essential part of the Hochschild cohomology ring of a twisted tensor product. As an application, we characterize precisely when the cohomology groups over a quantum complete intersection are finitely generated over the Hochschild cohomology ring. Moreover, both for quantum complete intersections and in related cases we obtain a lower bound for the representation dimension of the algebra. △ Less

Submitted 26 March, 2008; originally announced March 2008.

Comments: 10 pages

MSC Class: 16E40; 16S80; 16U80; 81R50

Hochschild homology and global dimension

Authors: Petter Andreas Bergh, Dag Madsen

Abstract: We prove that for certain classes of graded algebras (Koszul, local, cellular), infinite global dimension implies that Hochschild homology does not vanish in high degrees, provided the characteristic of the ground field is zero. Our proof uses Igusa's formula relating the Euler characteristic of relative cyclic homology to the graded Cartan determinant. We prove that for certain classes of graded algebras (Koszul, local, cellular), infinite global dimension implies that Hochschild homology does not vanish in high degrees, provided the characteristic of the ground field is zero. Our proof uses Igusa's formula relating the Euler characteristic of relative cyclic homology to the graded Cartan determinant. △ Less

Submitted 25 March, 2008; originally announced March 2008.

Comments: 11 pages

MSC Class: 16E40; 16W50

Dimensions of triangulated categories via Koszul objects

Authors: Petter Andreas Bergh, Srikanth B. Iyengar, Henning Krause, Steffen Oppermann

Abstract: Lower bounds for the dimension of a triangulated category are provided. These bounds are applied to stable derived categories of Artin algebras and of commutative complete intersection local rings. As a consequence, one obtains bounds for the representation dimensions of certain Artin algebras. Lower bounds for the dimension of a triangulated category are provided. These bounds are applied to stable derived categories of Artin algebras and of commutative complete intersection local rings. As a consequence, one obtains bounds for the representation dimensions of certain Artin algebras. △ Less

Submitted 15 April, 2009; v1 submitted 7 February, 2008; originally announced February 2008.

Comments: Final revised version, to appear in Math. Z

MSC Class: 16E30; 16E40; 18E30

Representation dimension and finitely generated cohomology

Authors: Petter Andreas Bergh

Abstract: We consider selfinjective Artin algebras whose cohomology groups are finitely generated over a central ring of cohomology operators. For such an algebra, we show that the representation dimension is strictly greater than the maximal complexity occurring among its modules. This provides a unified approach to computing lower bounds for the representation dimension of group algebras, exterior algeb… ▽ More We consider selfinjective Artin algebras whose cohomology groups are finitely generated over a central ring of cohomology operators. For such an algebra, we show that the representation dimension is strictly greater than the maximal complexity occurring among its modules. This provides a unified approach to computing lower bounds for the representation dimension of group algebras, exterior algebras and Artin complete intersections. We also obtain new examples of classes of algebras with arbitrarily large representation dimension. △ Less

Submitted 18 November, 2007; originally announced November 2007.

Comments: 9 pages

MSC Class: 16G60; 16E30; 16E40

The representation dimension of quantum complete intersections

Authors: Petter Andreas Bergh, Steffen Oppermann

Abstract: We study the representation dimension of the class of algebras known as quantum complete intersections. For such an algebra, we show that the representation dimension is at most twice its codimension. Moreover, we show that the representation dimension of a "homogeneous" quantum complete intersection is strictly larger than its codimension. We study the representation dimension of the class of algebras known as quantum complete intersections. For such an algebra, we show that the representation dimension is at most twice its codimension. Moreover, we show that the representation dimension of a "homogeneous" quantum complete intersection is strictly larger than its codimension. △ Less

Submitted 13 October, 2007; originally announced October 2007.

Comments: 11 pages

MSC Class: 16G60; 16U80; 81R50

(Co)homology of quantum complete intersections

Authors: Petter Andreas Bergh, Karin Erdmann

Abstract: We construct a minimal projective bimodule resolution for every finite dimensional quantum complete intersection of codimension two. Then we use this resolution to compute both the Hochschild cohomology and homology for such an algebra. In particular, we show that the cohomology vanishes in high degrees, while the homology is always nonzero. We construct a minimal projective bimodule resolution for every finite dimensional quantum complete intersection of codimension two. Then we use this resolution to compute both the Hochschild cohomology and homology for such an algebra. In particular, we show that the cohomology vanishes in high degrees, while the homology is always nonzero. △ Less

Submitted 19 September, 2007; originally announced September 2007.

Comments: 16 pages

MSC Class: 16E40 (primary) 16S80; 16U80; 81R50 (secondary)

Twisted support varieties

Authors: Petter Andreas Bergh

Abstract: We define and study twisted support varieties for modules over an Artin algebra, where the twist is induced by an automorphism of the algebra. Under a certain finite generation hypothesis, we show that the twisted variety of a module satisfies Dade's Lemma and is one dimensional precisely when the module is periodic with respect to the twisting automorphism. As a special case we obtain results o… ▽ More We define and study twisted support varieties for modules over an Artin algebra, where the twist is induced by an automorphism of the algebra. Under a certain finite generation hypothesis, we show that the twisted variety of a module satisfies Dade's Lemma and is one dimensional precisely when the module is periodic with respect to the twisting automorphism. As a special case we obtain results on DTr-periodic modules over Frobenius algebras. △ Less

Submitted 29 August, 2007; originally announced August 2007.

Comments: 22 pages, to appear in J. Pure Appl. Algebra

MSC Class: 16E05; 16E30; 16E40

On support varieties for modules over complete intersections

Authors: Petter Andreas Bergh

Abstract: We show that, over a local complete intersection, every possible variety is realized as the cohomological support variety of some module. Moreover, we show that the projective variety of a complete indecomposable maximal Cohen-Macaulay module is connected. We show that, over a local complete intersection, every possible variety is realized as the cohomological support variety of some module. Moreover, we show that the projective variety of a complete indecomposable maximal Cohen-Macaulay module is connected. △ Less

Submitted 29 August, 2007; originally announced August 2007.

Comments: 8 pages, to appear in Proc. Amer. Math. Soc

MSC Class: 13D07; 14M10

On the Hochschild (co)homology of quantum exterior algebras

Authors: Petter Andreas Bergh

Abstract: We compute the Hochschild cohomology and homology of a class of quantum exterior algebras, with coefficients in twisted bimodules. As a result we obtain several interesting examples of the homological behavior of these algebras. We compute the Hochschild cohomology and homology of a class of quantum exterior algebras, with coefficients in twisted bimodules. As a result we obtain several interesting examples of the homological behavior of these algebras. △ Less

Submitted 29 August, 2007; originally announced August 2007.

Comments: 9 pages, to appear in Comm. Algebra

MSC Class: 16E05; 16E40; 16P10