Showing 1–3 of 3 results for author: KC, N

Lower bounds on Loewy lengths of modules of finite projective dimension

Authors: Nawaj KC, Josh Pollitz

Abstract: This article is concerned with nonzero modules of finite length and finite projective dimension over a local ring. We show the Loewy length of such a module is larger than the regularity of the ring whenever the ring is strict Cohen-Macaulay, establishing a conjecture of Corso--Huneke--Polini--Ulrich for such rings. In fact, we show the stronger result that the Loewy length of a nonzero module of… ▽ More This article is concerned with nonzero modules of finite length and finite projective dimension over a local ring. We show the Loewy length of such a module is larger than the regularity of the ring whenever the ring is strict Cohen-Macaulay, establishing a conjecture of Corso--Huneke--Polini--Ulrich for such rings. In fact, we show the stronger result that the Loewy length of a nonzero module of finite flat dimension is at least the regularity for strict Cohen-Macaulay rings, which significantly strengthens a theorem of Avramov--Buchweitz--Iyengar--Miller. As an application we simultaneously verify a Lech-like conjecture, comparing generalized Loewy length along flat local extensions, and a conjecture of Hanes for strict Cohen-Macaulay rings. Finally, we also give notable improvements to known lower bounds for Loewy lengths without the strict Cohen-Macaulay assumption. The strongest general bounds we achieve are over complete intersection rings. △ Less

Submitted 21 April, 2025; v1 submitted 28 April, 2024; originally announced April 2024.

Comments: 19 pages. Final version; to appear in Advances in Mathematics

MSC Class: 13C14 (primary); 13B10; 13D05; 13H10; 13H15

On liftings of modules of finite projective dimension

Authors: Nawaj KC, Andrew J. Soto Levins

Abstract: We introduce and study a notion of Serre liftable modules; these are modules that are liftable to modules of the maximal possible dimension over a regular local ring. We establish new cases of Serre's positivity conjecture over ramified regular local rings by proving it for Serre liftable modules. Furthermore, we show that the length of a nonzero Serre liftable module is bounded below by the Hilbe… ▽ More We introduce and study a notion of Serre liftable modules; these are modules that are liftable to modules of the maximal possible dimension over a regular local ring. We establish new cases of Serre's positivity conjecture over ramified regular local rings by proving it for Serre liftable modules. Furthermore, we show that the length of a nonzero Serre liftable module is bounded below by the Hilbert-Samuel multiplicity of the local ring. This establishes special cases of the Length Conjecture of Iyengar-Ma-Walker. △ Less

Submitted 4 November, 2024; v1 submitted 26 April, 2024; originally announced April 2024.

Comments: Significant changes in this version in line with the suggestions from the referee. The name "Dimly liftable" from the previous version has now been changed to "Serre liftable". To appear in Int. Math. Res. Not. IMRN. 8 pages

Singular loci of algebras over ramified discrete valuation rings

Authors: Nawaj KC

Abstract: When $k$ is a field, the classical Jacobian criterion computes the singular locus of an equidimensional, finitely generated $k$-algebra as the closed subset of an ideal generated by appropriate minors of the so-called Jacobian matrix. Recently, Hochster-Jeffries and Saito have extended this result for algebras over any unramified discrete valuation ring of mixed characteristic via the use of $p$-d… ▽ More When $k$ is a field, the classical Jacobian criterion computes the singular locus of an equidimensional, finitely generated $k$-algebra as the closed subset of an ideal generated by appropriate minors of the so-called Jacobian matrix. Recently, Hochster-Jeffries and Saito have extended this result for algebras over any unramified discrete valuation ring of mixed characteristic via the use of $p$-derivations. Motivated by these results, in this paper, we state and prove an analogous Jacobian criterion for algebras over a ramified discrete valuation ring of mixed characteristic. △ Less

Submitted 4 November, 2024; v1 submitted 12 March, 2024; originally announced March 2024.

Comments: Some important changes. To appear in Bull. Lond. Math. Soc. 11 pages