Dimension of A(Y) and Height of p in Ring Let A = k[x,y,z]

  • Context: Graduate 
  • Thread starter Thread starter disregardthat
  • Start date Start date
  • Tags Tags
    Dimension Ring
Click For Summary
SUMMARY

The discussion centers on the algebraic structure of A = k[x,y,z] and its relation to the irreducible set Y = {(t,t^2,t^3)|t ∈ k}, which corresponds to the prime ideal p=(y-x^2,z-x^3). It is established that A(Y) is generated by x, y, z of degree 1, leading to confusion regarding the dimension of A(Y) and the height of p. The conclusion clarifies that the height of p is indeed 2, and the misunderstanding arose from incorrectly assuming that the direct sum of S_d mod I(Y) constituted a grading of A(Y), which is only valid for homogeneous ideals.

PREREQUISITES
  • Understanding of algebraic geometry concepts, particularly irreducible varieties.
  • Familiarity with graded rings and their structures.
  • Knowledge of prime ideals and their heights in polynomial rings.
  • Experience with polynomial algebra and monomial generation.
NEXT STEPS
  • Study the properties of homogeneous ideals in polynomial rings.
  • Learn about the relationship between prime ideals and the dimensions of varieties.
  • Explore graded algebra structures in more depth, focusing on their applications in algebraic geometry.
  • Investigate the concept of intersection of ideals and its implications on grading.
USEFUL FOR

Mathematicians, algebraic geometers, and students studying polynomial rings and their properties, particularly those interested in the dimensions and heights of ideals in algebraic structures.

disregardthat
Science Advisor
Messages
1,864
Reaction score
34
Let [tex]A = k[x,y,z][/tex] and [tex]Y = \{(t,t^2,t^3)|t \in k\}[/tex], which is irreducible. It corresponds to the prime ideal [tex]p=(y-x^2,z-x^3)[/tex].

A(Y) is generated by x,y,z of degree 1 as a k-algebra in its graded ring structure. Each group corresponding to the degree d is spanned by the linearly independent monomials [tex]x^{d-r-1}yz^r[/tex] for r < d, and [tex]x^{d-r}z^r[/tex] for r <= d.

For each group there are 2d+1 such monomials. This polynomial has degree 1, so doesn't this imply the dimension of A(Y) is 2 and hence the height of p is 1? But the height of p is obviously 2, so what is wrong here?
 
Last edited:
Physics news on Phys.org
i'm not very algebraic minded, but i forget how A(Y) is graded, when the ideal defining it is not homogeneous?
 
mathwonk said:
i'm not very algebraic minded, but i forget how A(Y) is graded, when the ideal defining it is not homogeneous?

Oh, maybe you are right, I may have been too quick in verifying that A(Y) is graded. Basically I assumed S_d mod I(Y) would constitute the groups. Certainly [tex]S_d \mod I(Y) * S_k \mod I(Y) \subseteq S_{d+k} \mod I(Y)[/tex], but I suppose that [tex]\oplus S_d \mod I(Y)[/tex] is not a grading of A(Y).

EDIT: Of course, I see it now. The [tex]S_d \mod I(Y)[/tex]'s are intersecting non-trivially, so the direct sum is not equal to A(Y). Reading on homogeneous ideals it makes sense now that only homogeneous ideals have a grading in this sense.
 
Last edited:

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
Replies
48
Views
6K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 40 ·
2
Replies
40
Views
5K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 25 ·
Replies
25
Views
4K
  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 17 ·
Replies
17
Views
7K
  • · Replies 26 ·
Replies
26
Views
2K