Basic properties of complete intersection ideals
$begingroup$
The title is quite self-explanatory. I'm studying, for an exam, the paper "The solution to Waring's problem for monomials" (this is the link https://arxiv.org/abs/1110.0745 ).
At the bottom of page 2, Lemma 2.2, we consider $J=(y_1,y_2^{a_2},ldots, y_n^{a_n}) subset T=k[y_1,ldots,y_n]$ ideal with $2leq a_2leqldotsleq a_n$.
The authors note that $J$ is homogeneous (and I agree) and complete intersection, for which they assert $$A=T/J$$ is an artinian Gorenstein ring, with $dim A_tau neq 0$ for $tau=a_2+ldots+a_n-(n-1)$.
My question are:
1) Why we can simply note $J$ is complete intersection?
2) Where can I find a proof of the statement "$J$ homogeneous and complete intersection $implies$ A artinian and Gorenstein"?
3) I know what a Gorenstein ring is, but I can't see why $dim A_tau neq 0$ for this $textit{specific}$ $tau$.
I know there's a lot of stuff in this question, but I hope someone can help me understaning, or suggesting me some references. Thanks in advance.
algebraic-geometry commutative-algebra ideals
asked Dec 2 '18 at 13:33
christmas_lightchristmas_light
777
$endgroup$
add a comment |
$begingroup$
The title is quite self-explanatory. I'm studying, for an exam, the paper "The solution to Waring's problem for monomials" (this is the link https://arxiv.org/abs/1110.0745 ).
At the bottom of page 2, Lemma 2.2, we consider $J=(y_1,y_2^{a_2},ldots, y_n^{a_n}) subset T=k[y_1,ldots,y_n]$ ideal with $2leq a_2leqldotsleq a_n$.
The authors note that $J$ is homogeneous (and I agree) and complete intersection, for which they assert $$A=T/J$$ is an artinian Gorenstein ring, with $dim A_tau neq 0$ for $tau=a_2+ldots+a_n-(n-1)$.
My question are:
1) Why we can simply note $J$ is complete intersection?
2) Where can I find a proof of the statement "$J$ homogeneous and complete intersection $implies$ A artinian and Gorenstein"?
3) I know what a Gorenstein ring is, but I can't see why $dim A_tau neq 0$ for this $textit{specific}$ $tau$.
I know there's a lot of stuff in this question, but I hope someone can help me understaning, or suggesting me some references. Thanks in advance.
algebraic-geometry commutative-algebra ideals
asked Dec 2 '18 at 13:33
christmas_lightchristmas_light
777
$endgroup$
add a comment |
$begingroup$
The title is quite self-explanatory. I'm studying, for an exam, the paper "The solution to Waring's problem for monomials" (this is the link https://arxiv.org/abs/1110.0745 ).
At the bottom of page 2, Lemma 2.2, we consider $J=(y_1,y_2^{a_2},ldots, y_n^{a_n}) subset T=k[y_1,ldots,y_n]$ ideal with $2leq a_2leqldotsleq a_n$.
The authors note that $J$ is homogeneous (and I agree) and complete intersection, for which they assert $$A=T/J$$ is an artinian Gorenstein ring, with $dim A_tau neq 0$ for $tau=a_2+ldots+a_n-(n-1)$.
My question are:
1) Why we can simply note $J$ is complete intersection?
2) Where can I find a proof of the statement "$J$ homogeneous and complete intersection $implies$ A artinian and Gorenstein"?
3) I know what a Gorenstein ring is, but I can't see why $dim A_tau neq 0$ for this $textit{specific}$ $tau$.
I know there's a lot of stuff in this question, but I hope someone can help me understaning, or suggesting me some references. Thanks in advance.
algebraic-geometry commutative-algebra ideals
asked Dec 2 '18 at 13:33
christmas_lightchristmas_light
777
$endgroup$
The title is quite self-explanatory. I'm studying, for an exam, the paper "The solution to Waring's problem for monomials" (this is the link https://arxiv.org/abs/1110.0745 ).
At the bottom of page 2, Lemma 2.2, we consider $J=(y_1,y_2^{a_2},ldots, y_n^{a_n}) subset T=k[y_1,ldots,y_n]$ ideal with $2leq a_2leqldotsleq a_n$.
The authors note that $J$ is homogeneous (and I agree) and complete intersection, for which they assert $$A=T/J$$ is an artinian Gorenstein ring, with $dim A_tau neq 0$ for $tau=a_2+ldots+a_n-(n-1)$.
My question are:
1) Why we can simply note $J$ is complete intersection?
2) Where can I find a proof of the statement "$J$ homogeneous and complete intersection $implies$ A artinian and Gorenstein"?
3) I know what a Gorenstein ring is, but I can't see why $dim A_tau neq 0$ for this $textit{specific}$ $tau$.
I know there's a lot of stuff in this question, but I hope someone can help me understaning, or suggesting me some references. Thanks in advance.
algebraic-geometry commutative-algebra ideals
algebraic-geometry commutative-algebra ideals
asked Dec 2 '18 at 13:33
christmas_lightchristmas_light
777
asked Dec 2 '18 at 13:33
christmas_lightchristmas_light
777
asked Dec 2 '18 at 13:33
christmas_lightchristmas_light
777
asked Dec 2 '18 at 13:33
christmas_lightchristmas_light
777
asked Dec 2 '18 at 13:33
christmas_lightchristmas_light
777
777
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
I am working under the assumption that $T$ is a polynomial ring i.e. $y_i$ are algebraically independent elements.
The ideal $J$ is a complete intersection ideal iff $ht(J) = mu(J)$. Here $mu(J)$ stands for the minimal number of generators of the ideal $J$. It is clear that $ht(J) = n$ and $mu(J) leq n$, since $J$ can evidently be generated by $n$ elements. But we know that $ht(J) leq mu(J)$. If we combine the previous observations together we have $n = ht(J) leq mu(J) leq n$. Thus $ht(J) = mu(J) = n$.
Consider the ideal $mathfrak{m} = (y_1, dots , y_n)$. Then $T_{mathfrak{m}}$ is a regular local ring and hence Gorenstein. Since $y_1, y_2^{a_2}, dots y_n^{a_n}$ form a regular sequence, we have that $T_{mathfrak{m}}/J$ is gorenstein. Now note that since $y_i$ are nilpotent in $A$, every element not in image of $mathfrak{m}$ is already invertible in $A$, thus we get that $A = T_{mathfrak{m}}/J$. Thus $A$ is Gorenstien. Here I have used Lemma 45.21.3. and Lemma 45.21.6. from the following link https://stacks.math.columbia.edu/tag/0DW6.
I claim that for $a =y_2^{a_2-1}. y_3^{a_3-1} dots y_n^{a_n-1}$, we have that the image $overline{a}$ is a non-zero element in $A$. If not then $a in J$. That will give a polynomial equation in $y_i$ but they are transcendental.
answered Dec 2 '18 at 15:55
random123random123
1,2601720
$endgroup$
$begingroup$
thank you! just to be sure, you denote by $mu(J)$ the minim number of generators of $J$, right? because I'm not sure is a universall accepted notation
$endgroup$
– christmas_light
Dec 2 '18 at 16:40
1
$begingroup$
@christmas_light Yes. Thats right. I thought it is the most commonly used notation for minimum number of generators. I will add this info in the edit.
$endgroup$
– random123
Dec 2 '18 at 16:49
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3022649%2fbasic-properties-of-complete-intersection-ideals%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
I am working under the assumption that $T$ is a polynomial ring i.e. $y_i$ are algebraically independent elements.
The ideal $J$ is a complete intersection ideal iff $ht(J) = mu(J)$. Here $mu(J)$ stands for the minimal number of generators of the ideal $J$. It is clear that $ht(J) = n$ and $mu(J) leq n$, since $J$ can evidently be generated by $n$ elements. But we know that $ht(J) leq mu(J)$. If we combine the previous observations together we have $n = ht(J) leq mu(J) leq n$. Thus $ht(J) = mu(J) = n$.
Consider the ideal $mathfrak{m} = (y_1, dots , y_n)$. Then $T_{mathfrak{m}}$ is a regular local ring and hence Gorenstein. Since $y_1, y_2^{a_2}, dots y_n^{a_n}$ form a regular sequence, we have that $T_{mathfrak{m}}/J$ is gorenstein. Now note that since $y_i$ are nilpotent in $A$, every element not in image of $mathfrak{m}$ is already invertible in $A$, thus we get that $A = T_{mathfrak{m}}/J$. Thus $A$ is Gorenstien. Here I have used Lemma 45.21.3. and Lemma 45.21.6. from the following link https://stacks.math.columbia.edu/tag/0DW6.
I claim that for $a =y_2^{a_2-1}. y_3^{a_3-1} dots y_n^{a_n-1}$, we have that the image $overline{a}$ is a non-zero element in $A$. If not then $a in J$. That will give a polynomial equation in $y_i$ but they are transcendental.
answered Dec 2 '18 at 15:55
random123random123
1,2601720
$endgroup$
$begingroup$
thank you! just to be sure, you denote by $mu(J)$ the minim number of generators of $J$, right? because I'm not sure is a universall accepted notation
$endgroup$
– christmas_light
Dec 2 '18 at 16:40
1
$begingroup$
@christmas_light Yes. Thats right. I thought it is the most commonly used notation for minimum number of generators. I will add this info in the edit.
$endgroup$
– random123
Dec 2 '18 at 16:49
add a comment |
$begingroup$
I am working under the assumption that $T$ is a polynomial ring i.e. $y_i$ are algebraically independent elements.
The ideal $J$ is a complete intersection ideal iff $ht(J) = mu(J)$. Here $mu(J)$ stands for the minimal number of generators of the ideal $J$. It is clear that $ht(J) = n$ and $mu(J) leq n$, since $J$ can evidently be generated by $n$ elements. But we know that $ht(J) leq mu(J)$. If we combine the previous observations together we have $n = ht(J) leq mu(J) leq n$. Thus $ht(J) = mu(J) = n$.
Consider the ideal $mathfrak{m} = (y_1, dots , y_n)$. Then $T_{mathfrak{m}}$ is a regular local ring and hence Gorenstein. Since $y_1, y_2^{a_2}, dots y_n^{a_n}$ form a regular sequence, we have that $T_{mathfrak{m}}/J$ is gorenstein. Now note that since $y_i$ are nilpotent in $A$, every element not in image of $mathfrak{m}$ is already invertible in $A$, thus we get that $A = T_{mathfrak{m}}/J$. Thus $A$ is Gorenstien. Here I have used Lemma 45.21.3. and Lemma 45.21.6. from the following link https://stacks.math.columbia.edu/tag/0DW6.
I claim that for $a =y_2^{a_2-1}. y_3^{a_3-1} dots y_n^{a_n-1}$, we have that the image $overline{a}$ is a non-zero element in $A$. If not then $a in J$. That will give a polynomial equation in $y_i$ but they are transcendental.
answered Dec 2 '18 at 15:55
random123random123
1,2601720
$endgroup$
$begingroup$
thank you! just to be sure, you denote by $mu(J)$ the minim number of generators of $J$, right? because I'm not sure is a universall accepted notation
$endgroup$
– christmas_light
Dec 2 '18 at 16:40
1
$begingroup$
@christmas_light Yes. Thats right. I thought it is the most commonly used notation for minimum number of generators. I will add this info in the edit.
$endgroup$
– random123
Dec 2 '18 at 16:49
add a comment |
$begingroup$
I am working under the assumption that $T$ is a polynomial ring i.e. $y_i$ are algebraically independent elements.
The ideal $J$ is a complete intersection ideal iff $ht(J) = mu(J)$. Here $mu(J)$ stands for the minimal number of generators of the ideal $J$. It is clear that $ht(J) = n$ and $mu(J) leq n$, since $J$ can evidently be generated by $n$ elements. But we know that $ht(J) leq mu(J)$. If we combine the previous observations together we have $n = ht(J) leq mu(J) leq n$. Thus $ht(J) = mu(J) = n$.
Consider the ideal $mathfrak{m} = (y_1, dots , y_n)$. Then $T_{mathfrak{m}}$ is a regular local ring and hence Gorenstein. Since $y_1, y_2^{a_2}, dots y_n^{a_n}$ form a regular sequence, we have that $T_{mathfrak{m}}/J$ is gorenstein. Now note that since $y_i$ are nilpotent in $A$, every element not in image of $mathfrak{m}$ is already invertible in $A$, thus we get that $A = T_{mathfrak{m}}/J$. Thus $A$ is Gorenstien. Here I have used Lemma 45.21.3. and Lemma 45.21.6. from the following link https://stacks.math.columbia.edu/tag/0DW6.
I claim that for $a =y_2^{a_2-1}. y_3^{a_3-1} dots y_n^{a_n-1}$, we have that the image $overline{a}$ is a non-zero element in $A$. If not then $a in J$. That will give a polynomial equation in $y_i$ but they are transcendental.
answered Dec 2 '18 at 15:55
random123random123
1,2601720
$endgroup$
I am working under the assumption that $T$ is a polynomial ring i.e. $y_i$ are algebraically independent elements.
The ideal $J$ is a complete intersection ideal iff $ht(J) = mu(J)$. Here $mu(J)$ stands for the minimal number of generators of the ideal $J$. It is clear that $ht(J) = n$ and $mu(J) leq n$, since $J$ can evidently be generated by $n$ elements. But we know that $ht(J) leq mu(J)$. If we combine the previous observations together we have $n = ht(J) leq mu(J) leq n$. Thus $ht(J) = mu(J) = n$.
Consider the ideal $mathfrak{m} = (y_1, dots , y_n)$. Then $T_{mathfrak{m}}$ is a regular local ring and hence Gorenstein. Since $y_1, y_2^{a_2}, dots y_n^{a_n}$ form a regular sequence, we have that $T_{mathfrak{m}}/J$ is gorenstein. Now note that since $y_i$ are nilpotent in $A$, every element not in image of $mathfrak{m}$ is already invertible in $A$, thus we get that $A = T_{mathfrak{m}}/J$. Thus $A$ is Gorenstien. Here I have used Lemma 45.21.3. and Lemma 45.21.6. from the following link https://stacks.math.columbia.edu/tag/0DW6.
I claim that for $a =y_2^{a_2-1}. y_3^{a_3-1} dots y_n^{a_n-1}$, we have that the image $overline{a}$ is a non-zero element in $A$. If not then $a in J$. That will give a polynomial equation in $y_i$ but they are transcendental.
answered Dec 2 '18 at 15:55
random123random123
1,2601720
edited Dec 2 '18 at 16:51
answered Dec 2 '18 at 15:55
random123random123
1,2601720
answered Dec 2 '18 at 15:55
random123random123
1,2601720
answered Dec 2 '18 at 15:55
random123random123
1,2601720
1,2601720
$begingroup$
thank you! just to be sure, you denote by $mu(J)$ the minim number of generators of $J$, right? because I'm not sure is a universall accepted notation
$endgroup$
– christmas_light
Dec 2 '18 at 16:40
1
$begingroup$
@christmas_light Yes. Thats right. I thought it is the most commonly used notation for minimum number of generators. I will add this info in the edit.
$endgroup$
– random123
Dec 2 '18 at 16:49
add a comment |
$begingroup$
thank you! just to be sure, you denote by $mu(J)$ the minim number of generators of $J$, right? because I'm not sure is a universall accepted notation
$endgroup$
– christmas_light
Dec 2 '18 at 16:40
1
$begingroup$
@christmas_light Yes. Thats right. I thought it is the most commonly used notation for minimum number of generators. I will add this info in the edit.
$endgroup$
– random123
Dec 2 '18 at 16:49
$begingroup$
thank you! just to be sure, you denote by $mu(J)$ the minim number of generators of $J$, right? because I'm not sure is a universall accepted notation
$endgroup$
– christmas_light
Dec 2 '18 at 16:40
$begingroup$
thank you! just to be sure, you denote by $mu(J)$ the minim number of generators of $J$, right? because I'm not sure is a universall accepted notation
$endgroup$
– christmas_light
Dec 2 '18 at 16:40
1
1
$begingroup$
@christmas_light Yes. Thats right. I thought it is the most commonly used notation for minimum number of generators. I will add this info in the edit.
$endgroup$
– random123
Dec 2 '18 at 16:49
$begingroup$
@christmas_light Yes. Thats right. I thought it is the most commonly used notation for minimum number of generators. I will add this info in the edit.
$endgroup$
– random123
Dec 2 '18 at 16:49
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3022649%2fbasic-properties-of-complete-intersection-ideals%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
