Department of Mathematics
Server

A ring R is catenary, if, for any two prime ideals P < Q of R, all saturated chains of prime ideals between P and Q have the same length.

Tauvel established the following useful height formula for enveloping algebras of solvable Lie algebras: height(P) + GKdim(R/P) = GKdim(R) for all prime ideals P in R.

Sei-Qwon Oh showed that a class of iterated skew polynomial rings is catenary in the case when certain parameters are not roots of unity. This class includes the multiparameter quantized Weyl algebra, the coordinate ring of quantum symplectic space and coordinate rings of quantum Euclidean space.

In this seminar, this class of iterated skew polynomial rings are defined. Then catenarity and Tauvel's height formula for this class (using Gelfand-Kirillov dimension and Gabber's method) are proved.

This talk is based on my Masters thesis.