2010
DOI: 10.1007/s11856-010-0111-0
|View full text |Cite
|
Sign up to set email alerts
|

The Dixmier-Moeglin equivalence for twisted homogeneous coordinate rings

Abstract: Given a projective scheme X over a field k, an automorphism σ : X → X, and a σ-ample invertible sheaf L, one may form the twisted homogeneous coordinate ring B = B(X, L, σ), one of the most fundamental constructions in noncommutative projective algebraic geometry. We study the primitive spectrum of B, as well as that of other closely related algebras such as skew and skew-Laurent extensions of commutative algebras. Over an algebraically closed, uncountable field k of characteristic zero, we prove that the prim… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
34
0

Year Published

2010
2010
2024
2024

Publication Types

Select...
7
1

Relationship

0
8

Authors

Journals

citations
Cited by 31 publications
(34 citation statements)
references
References 31 publications
0
34
0
Order By: Relevance
“…Let Q = Ann(M ) and so Q = 0 by Lemma 4.7. If P is the largest homogeneous prime ideal contained in Q, then P corresponds to a reduced closed subscheme of F ⊂ E and B/P ∼ = B(F, O F (1), σ| F ) ( [5], Lemma 3.3). These subschemes are well-understood in this case, and so either F corresponds to a subscheme in the twisted homogeneous coordinate ring associated to gr(A), or else F is fixed pointwise by σ| F , in which case B/P is commutative.…”
Section: H(a) = T (W )/(R) and Gr(a) = T (V )/(S)mentioning
confidence: 99%
“…Let Q = Ann(M ) and so Q = 0 by Lemma 4.7. If P is the largest homogeneous prime ideal contained in Q, then P corresponds to a reduced closed subscheme of F ⊂ E and B/P ∼ = B(F, O F (1), σ| F ) ( [5], Lemma 3.3). These subschemes are well-understood in this case, and so either F corresponds to a subscheme in the twisted homogeneous coordinate ring associated to gr(A), or else F is fixed pointwise by σ| F , in which case B/P is commutative.…”
Section: H(a) = T (W )/(R) and Gr(a) = T (V )/(S)mentioning
confidence: 99%
“…It turns out that the phenomena exhibited by the above theorems is not specific to differential-algebraic geometry. A difference-algebraic analogue was proved in 2010 (independently) by Bell-Rogalski-Sierra [6] and Cantat [10]. We will say more about that in §7 below.…”
Section: Jouanalou-type Theoremsmentioning
confidence: 85%
“…orbit is a φ-invariant subvariety that is not the union of irreducible φ-invariant subvarieties. The following Jouanolou-type theorem is a special case of Theorem 3.4 that appeared originally in [6] and [10], independently.…”
Section: An Aside On the Difference Casementioning
confidence: 94%
See 1 more Smart Citation
“…, y d,j ) ∈ C d such that Equation (2) holds. So the cardinality of T q is the same as the set of solutions to Equations (2) in C n+md with x q = 1. It is this latter set that we count.…”
Section: Proof We Writementioning
confidence: 99%