Geometric idealizer rings.

DOI10.1090/S0002-9947-2010-05110-4MaRDI QIDQ3082364zbMATH OpenOpenAlexFDO

Authors Susan J. Sierra

Publication date 10 March 2011

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

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)

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$.

Recommendations

• Geometric algebras on projective surfaces
• Idealizer rings and noncommutative projective geometry
• Idealisers in skew group rings
• Canonical maps to twisted rings.
• Twisted homogeneous coordinate rings

Cites work

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

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)