Geometric idealizer rings

DOI10.1090/S0002-9947-2010-05110-4zbMATH Open1227.16021arXiv0809.3971OpenAlexW1994940556MaRDI QIDQ3082364FDOQ3082364

Susan J. Sierra

Publication date: 10 March 2011

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Abstract: Let X be a projective variety, $sigma$ an automorphism of X, L a $sigma$-ample invertible sheaf on X, and Z a closed subscheme of X. Inside the twisted homogeneous coordinate ring $B=B(X,L,sigma)$, let I be the right ideal of sections vanishing at Z. We study the subring R = k + I of B. Under mild conditions on Z and $sigma$, R is the idealizer of I in B: the maximal subring of B in which I is a two-sided ideal. We give geometric conditions on Z and $sigma$ that determine the algebraic properties of R, and show that if Z and $sigma$ are sufficiently general, in a sense we make precise, then R is left and right noetherian, has finite left and right cohomological dimension, is strongly right noetherian but not strongly left noetherian, and satisfies right $ch{i}_d$ (where d = codim Z) but fails left $ch{i}_1$. We also give an example of a right noetherian ring with infinite right cohomological dimension, partially answering a question of Stafford and Van den Bergh. This generalizes results of Rogalski in the case that Z is a point in $mathbb{P}^d$.

Full work available at URL: https://arxiv.org/abs/0809.3971

zbMATH Keywords

projective varietiesnon-commutative algebraic geometryclosed subschemesidealizershomogeneous coordinate ringsNoetherian subrings

Mathematics Subject Classification ID

Group actions on varieties or schemes (quotients) (14L30) Noetherian rings and modules (associative rings and algebras) (16P40) Graded rings and modules (associative rings and algebras) (16W50) Noncommutative algebraic geometry (14A22) Rings arising from noncommutative algebraic geometry (16S38)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Séconde partie)
• Sur quelques points d'algèbre homologique
• Des catégories abéliennes
• Noncommutative projective schemes
• A translation principle for the four-dimensional Sklyanin algebras
• Generic flatness for strongly Noetherian algebras
• Noncommutative curves and noncommutative surfaces.
• Twisted homogeneous coordinate rings
• Existence theorems for dualizing complexes over non-commutative graded and filtered rings
• Serre duality for noncommutative projective schemes
• On a problem of Zariski on dimensions of linear systems
• A general homological Kleiman-Bertini theorem
• Naïve noncommutative blowing up
• Dualizing complexes over noncommutative graded algebras
• Idealizers and hereditary Noetherian prime rings
• Generic noncommutative surfaces.
• Idealizer rings and noncommutative projective geometry
• On the Ideals of a Noetherian Ring
• Criteria for $\sigma $-ampleness
• A class of noncommutative projective surfaces
• A Kleiman–Bertini theorem for sheaf tensor products
• Abstract Hilbert schemes. I
• The dynamical Mordell-Lang conjecture
• Examples in non-commutative projective geometry
• Noncommutative ampleness for multiple divisors

Cited In (6)

• The universal enveloping algebra of the Witt algebra is not Noetherian
• Idealisers in skew group rings
• Tri-ideal of a ring.
• The rings ofn-dimensional polytopes
• Generalised Witt algebras and idealizers
• Some projective surfaces of GK-dimension 4

This page was built for publication: Geometric idealizer rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3082364)