Catenarity in quantum nilpotent algebras

TL;DR

This paper proves that quantum nilpotent algebras have a uniform chain length property for prime ideals, establishing their catenarity and confirming the Tauvel height formula through new homological methods.

Contribution

It demonstrates the catenarity of quantum nilpotent algebras and recovers the Tauvel height formula using novel homological techniques and prime spectrum analysis.

Findings

Quantum nilpotent algebras are catenary.

Prime spectra have normal separation.

Tauvel height formula is confirmed for these algebras.

Abstract

In this paper, it is established that quantum nilpotent algebras (also known as CGL extensions) are catenary, i.e., all saturated chains of inclusions of prime ideals between any two given prime ideals $P \subsetneq Q$ have the same length. This is achieved by proving that the prime spectra of these algebras have normal separation, and then establishing the mild homological conditions necessary to apply a result of Lenagan and the first author. The work also recovers the Tauvel height formula for quantum nilpotent algebras, a result that was first obtained by Lenagan and the authors through a different approach.