Finitistic dimensions over commutative DG-rings

Isaac Bird; Liran Shaul; Prashanth Sridhar; Jordan Williamson

doi:10.1007/s00209-024-03617-2

Finitistic dimensions over commutative DG-rings

Isaac Bird
, Liran Shaul
, Prashanth Sridhar
, Jordan Williamson

Research output: Contribution to journal › Article › peer-review

4 Scopus citations

Abstract

In this paper we study the finitistic dimensions of commutative noetherian non-positive DG-rings with finite amplitude. We prove that any DG-module M of finite flat dimension over such a DG-ring satisfies projdim_A(M)≤dim(H⁰(A))-inf(M). We further provide explicit constructions of DG-modules with prescribed projective dimension and deduce that the big finitistic projective dimension satisfies the bounds dim(H⁰(A))-amp(A)≤FPD(A)≤dim(H⁰(A)). Moreover, we prove that DG-rings exist which achieve either bound. As a direct application, we prove new vanishing results for the derived Hochschild (co)homology of homologically smooth algebras.

Original language	English
Article number	3
Journal	Mathematische Zeitschrift
Volume	309
Issue number	1
DOIs	https://doi.org/10.1007/s00209-024-03617-2
State	Published - 1 Jan 2025
Externally published	Yes

ASJC Scopus subject areas

General Mathematics

Access to Document

10.1007/s00209-024-03617-2

Cite this

@article{0250b63fdfd0488c8ae1ef001c06a206,

title = "Finitistic dimensions over commutative DG-rings",

abstract = "In this paper we study the finitistic dimensions of commutative noetherian non-positive DG-rings with finite amplitude. We prove that any DG-module M of finite flat dimension over such a DG-ring satisfies projdimA(M)≤dim(H0(A))-inf(M). We further provide explicit constructions of DG-modules with prescribed projective dimension and deduce that the big finitistic projective dimension satisfies the bounds dim(H0(A))-amp(A)≤FPD(A)≤dim(H0(A)). Moreover, we prove that DG-rings exist which achieve either bound. As a direct application, we prove new vanishing results for the derived Hochschild (co)homology of homologically smooth algebras.",

author = "Isaac Bird and Liran Shaul and Prashanth Sridhar and Jordan Williamson",

note = "Publisher Copyright: {\textcopyright} The Author(s) 2024.",

year = "2025",

month = jan,

day = "1",

doi = "10.1007/s00209-024-03617-2",

language = "English",

volume = "309",

journal = "Mathematische Zeitschrift",

issn = "0025-5874",

publisher = "Springer New York",

number = "1",

}

TY - JOUR

T1 - Finitistic dimensions over commutative DG-rings

AU - Bird, Isaac

AU - Shaul, Liran

AU - Sridhar, Prashanth

AU - Williamson, Jordan

PY - 2025/1/1

Y1 - 2025/1/1

N2 - In this paper we study the finitistic dimensions of commutative noetherian non-positive DG-rings with finite amplitude. We prove that any DG-module M of finite flat dimension over such a DG-ring satisfies projdimA(M)≤dim(H0(A))-inf(M). We further provide explicit constructions of DG-modules with prescribed projective dimension and deduce that the big finitistic projective dimension satisfies the bounds dim(H0(A))-amp(A)≤FPD(A)≤dim(H0(A)). Moreover, we prove that DG-rings exist which achieve either bound. As a direct application, we prove new vanishing results for the derived Hochschild (co)homology of homologically smooth algebras.

AB - In this paper we study the finitistic dimensions of commutative noetherian non-positive DG-rings with finite amplitude. We prove that any DG-module M of finite flat dimension over such a DG-ring satisfies projdimA(M)≤dim(H0(A))-inf(M). We further provide explicit constructions of DG-modules with prescribed projective dimension and deduce that the big finitistic projective dimension satisfies the bounds dim(H0(A))-amp(A)≤FPD(A)≤dim(H0(A)). Moreover, we prove that DG-rings exist which achieve either bound. As a direct application, we prove new vanishing results for the derived Hochschild (co)homology of homologically smooth algebras.

UR - https://www.scopus.com/pages/publications/85209100646

U2 - 10.1007/s00209-024-03617-2

DO - 10.1007/s00209-024-03617-2

M3 - Article

AN - SCOPUS:85209100646

SN - 0025-5874

VL - 309

JO - Mathematische Zeitschrift

JF - Mathematische Zeitschrift

IS - 1

M1 - 3

ER -

Finitistic dimensions over commutative DG-rings

Abstract

ASJC Scopus subject areas

Access to Document

Fingerprint

Cite this