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

In summary, the conversation discusses the algebraic structure of A(Y), a k-algebra generated by x,y,z of degree 1. Each group in A(Y) corresponds to a certain degree and is spanned by specific monomials. The dimension of A(Y) is 2, but there is a discrepancy with the height of the prime ideal p, which should be 2 but is only 1. The participants realize that A(Y) is not actually graded because the ideals defining it are not homogeneous.
  • #1
disregardthat
Science Advisor
1,866
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
  • #2
i'm not very algebraic minded, but i forget how A(Y) is graded, when the ideal defining it is not homogeneous?
 
  • #3
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:

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

What is the meaning of "Dimension of A(Y)"?

The dimension of A(Y) refers to the maximum number of independent variables (or parameters) needed to describe a point in the algebraic variety Y. In other words, it measures the complexity or the number of degrees of freedom of the variety Y. In this context, A(Y) represents the coordinate ring of the variety Y.

How is the dimension of A(Y) related to the height of p in the ring?

The dimension of A(Y) and the height of p in the ring are both measures of the complexity of the algebraic variety Y. The height of p in the ring is the maximum length of a chain of prime ideals containing p, while the dimension of A(Y) is the maximum number of independent variables needed to describe the variety Y. In general, the height of p in the ring is less than or equal to the dimension of A(Y), but they can be equal in some cases.

Can the dimension of A(Y) and the height of p in the ring be different?

Yes, the dimension of A(Y) and the height of p in the ring can be different. As mentioned before, the height of p in the ring is always less than or equal to the dimension of A(Y). This is because the height measures the chains of prime ideals, while the dimension measures the number of independent variables needed to describe the variety Y. In some cases, the height of p in the ring can be equal to the dimension of A(Y).

What is the significance of the dimension of A(Y) and the height of p in the ring?

The dimension of A(Y) and the height of p in the ring are important parameters in the study of algebraic varieties and their coordinate rings. They provide information about the complexity and structure of the variety Y. In particular, the dimension of A(Y) is related to the number of generators of the coordinate ring and the number of equations needed to define the variety Y, while the height of p in the ring can give insights into the singularities of the variety.

How can the dimension of A(Y) and the height of p in the ring be calculated?

The dimension of A(Y) can be calculated using the Krull dimension formula, which involves finding the transcendence degree of the field of fractions of the coordinate ring A(Y) over the base field k. The height of p in the ring can be calculated using the Going-Up and Going-Down theorems, which involve analyzing the chains of prime ideals containing p. These calculations can be quite involved and may require advanced algebraic techniques.

Similar threads

Replies
4
Views
2K
Replies
17
Views
5K
Replies
1
Views
2K
Replies
1
Views
736
Replies
1
Views
2K
Back
Top