Criteria for -ampleness

In the noncommutative geometry of Artin, Van den Bergh, and others, the twisted homogeneous coordinate ring is one of the basic constructions. Such a ring is defined by a -ample divisor, where is an automorphism of a projective scheme . Many open questions regarding -ample divisors have remained.

We derive a relatively simple necessary and sufficient condition for a divisor on to be -ample. As a consequence, we show right and left -ampleness are equivalent and any associated noncommutative homogeneous coordinate ring must be noetherian and have finite, integral GK-dimension. We also characterize which automorphisms yield a -ample divisor.

     

Classification of relation types of Ore extensions of dimension 5

To study AS-regular algebras of dimension 5, we consider dimension 5 graded iterated Ore extensions generated in degree one. We classify the possible degrees of relations and structure of the free resolution for extensions with 3 and 4 generators. We show that every known type of algebra of dimension 5 can be realized by an Ore extension and we consider which of these types cannot be realized by an enveloping algebra.