In $mathbb{C}[x,y]$: If $langle u,v rangle$ is a maximal ideal, then $langle u-lambda,v-mu rangle$ is a...












1












$begingroup$


Let $u=u(x,y), v=v(x,y) in mathbb{C}[x,y]$, with $deg(u) geq 2$ and $deg(v) geq 2$.
Let $lambda, mu in mathbb{C}$.



Assume that the ideal generated by $u$ and $v$, $langle u,v rangle$, is a maximal ideal of $mathbb{C}[x,y]$.




Is it true that $langle u-lambda, v-mu rangle$ is a maximal ideal of $mathbb{C}[x,y]$?




My attempts to answer my question are:



(1) By Hilbert's Nullstellensatz, $langle u,v rangle= langle x-a,y-b rangle$, for some $a,b in mathbb{C}$, so
$x-a=F_1u+G_1v$ and $y-b=F_2u+G_2v$, for some $F_1,G_1,F_2,G_2 in mathbb{C}[x,y]$.
Then, $x=F_1u+G_1v+a$ and $y=F_2u+G_2v+b$.



(2) $frac{mathbb{C}[x,y]}{langle u,v rangle}$ is a field (since $langle u,v rangle$ is maximal); actually, $frac{mathbb{C}[x,y]}{langle u,v rangle}$ is isomorphic to $mathbb{C}$. Is it true that $frac{mathbb{C}[x,y]}{langle u,v rangle}$ is isomorphic to $frac{mathbb{C}[x,y]}{langle u-lambda,v-mu rangle}$? In other words, is it true that $frac{mathbb{C}[x,y]}{langle u-lambda,v-mu rangle}$ is isomorphic to $mathbb{C}$?
See this question.



(3) If $langle u-lambda,v-mu rangle$ is not maximal, then it is contained in some maximal ideal: $langle u-lambda,v-mu rangle subsetneq langle x-c,y-d rangle$, $c,d in mathbb{C}$.
It is not difficult to see that $(u-lambda)(c,d)=0$ and $(v-mu)(c,d)=0$,
so $u(c,d)-lambda=0$ and $v(c,d)-mu=0$, namely,
$u(c,d)=lambda$ and $v(c,d)=mu$.



Remark: Is it possible that $langle u-lambda,v-mu rangle = mathbb{C}[x,y]$. If so, then there exist $F,G in mathbb{C}[x,y]$ such that
$F(u-lambda)+G(v-mu)=1$. Then at $(a,b)$ we get:
$F(a,b)(-lambda)+G(a,b)(-mu)=1$ (since, by (1), $u(a,b)=0$ and $v(a,b)=0$).



Thank you very much!






algebraic-geometry ring-theory commutative-algebra maximal-and-prime-ideals







share|cite|improve this question











$endgroup$












  • $begingroup$
    The isomorphism desired in (2) does not hold in general. consider, e.g. $u equiv v equiv 1$ and $lambda = mu = 1$.
    $endgroup$
    – mathworker21
    Dec 16 '18 at 0:44












  • $begingroup$
    Thank you. It was assumed that $deg(u) geq 2$ and $deg(v) geq 2$; perhaps the desired isomorphism in (2) may not hold also in higher degrees?
    $endgroup$
    – user237522
    Dec 16 '18 at 0:50








  • 1




    $begingroup$
    Standard algebraic geometry tells us that maximal ideals containing $(f,g)$ correspond to common zeroes of $f$ and $g$. With this in mind, $(f,g)$ is maximal if and only if $f$ and $g$ have exactly one common zero and they're not tangent when they intersect. E.g. $y = x^2$ and $y = -x^2$ only have $(0,0)$ as a common zero but it has multiplicity two and we have $(y - x^2, y + x^2) = (y,x^2)$.
    $endgroup$
    – Trevor Gunn
    Dec 16 '18 at 1:36










  • $begingroup$
    One thing that gets in the way of constructing examples where $(f,g)$ is maximal is Bézout's theorem which says there will always be $deg f cdot deg g$ common zeroes with multiplicity in $mathbb{CP}^2$. Somehow we want to have all but one of these zeroes to be "at infinity." The only example I've come up with so far is something like $(y - x^2, y - (x + 1)^2) = (2x + 1, 4y - 1)$.
    $endgroup$
    – Trevor Gunn
    Dec 16 '18 at 1:39












  • $begingroup$
    @TrevorGunn, thank you for your interesting comments (unfortunately, I am not sure if I fully understand them). Could you please elaborate your example?
    $endgroup$
    – user237522
    Dec 16 '18 at 1:54


















1












$begingroup$


Let $u=u(x,y), v=v(x,y) in mathbb{C}[x,y]$, with $deg(u) geq 2$ and $deg(v) geq 2$.
Let $lambda, mu in mathbb{C}$.



Assume that the ideal generated by $u$ and $v$, $langle u,v rangle$, is a maximal ideal of $mathbb{C}[x,y]$.




Is it true that $langle u-lambda, v-mu rangle$ is a maximal ideal of $mathbb{C}[x,y]$?




My attempts to answer my question are:



(1) By Hilbert's Nullstellensatz, $langle u,v rangle= langle x-a,y-b rangle$, for some $a,b in mathbb{C}$, so
$x-a=F_1u+G_1v$ and $y-b=F_2u+G_2v$, for some $F_1,G_1,F_2,G_2 in mathbb{C}[x,y]$.
Then, $x=F_1u+G_1v+a$ and $y=F_2u+G_2v+b$.



(2) $frac{mathbb{C}[x,y]}{langle u,v rangle}$ is a field (since $langle u,v rangle$ is maximal); actually, $frac{mathbb{C}[x,y]}{langle u,v rangle}$ is isomorphic to $mathbb{C}$. Is it true that $frac{mathbb{C}[x,y]}{langle u,v rangle}$ is isomorphic to $frac{mathbb{C}[x,y]}{langle u-lambda,v-mu rangle}$? In other words, is it true that $frac{mathbb{C}[x,y]}{langle u-lambda,v-mu rangle}$ is isomorphic to $mathbb{C}$?
See this question.



(3) If $langle u-lambda,v-mu rangle$ is not maximal, then it is contained in some maximal ideal: $langle u-lambda,v-mu rangle subsetneq langle x-c,y-d rangle$, $c,d in mathbb{C}$.
It is not difficult to see that $(u-lambda)(c,d)=0$ and $(v-mu)(c,d)=0$,
so $u(c,d)-lambda=0$ and $v(c,d)-mu=0$, namely,
$u(c,d)=lambda$ and $v(c,d)=mu$.



Remark: Is it possible that $langle u-lambda,v-mu rangle = mathbb{C}[x,y]$. If so, then there exist $F,G in mathbb{C}[x,y]$ such that
$F(u-lambda)+G(v-mu)=1$. Then at $(a,b)$ we get:
$F(a,b)(-lambda)+G(a,b)(-mu)=1$ (since, by (1), $u(a,b)=0$ and $v(a,b)=0$).



Thank you very much!






algebraic-geometry ring-theory commutative-algebra maximal-and-prime-ideals







share|cite|improve this question











$endgroup$












  • $begingroup$
    The isomorphism desired in (2) does not hold in general. consider, e.g. $u equiv v equiv 1$ and $lambda = mu = 1$.
    $endgroup$
    – mathworker21
    Dec 16 '18 at 0:44












  • $begingroup$
    Thank you. It was assumed that $deg(u) geq 2$ and $deg(v) geq 2$; perhaps the desired isomorphism in (2) may not hold also in higher degrees?
    $endgroup$
    – user237522
    Dec 16 '18 at 0:50








  • 1




    $begingroup$
    Standard algebraic geometry tells us that maximal ideals containing $(f,g)$ correspond to common zeroes of $f$ and $g$. With this in mind, $(f,g)$ is maximal if and only if $f$ and $g$ have exactly one common zero and they're not tangent when they intersect. E.g. $y = x^2$ and $y = -x^2$ only have $(0,0)$ as a common zero but it has multiplicity two and we have $(y - x^2, y + x^2) = (y,x^2)$.
    $endgroup$
    – Trevor Gunn
    Dec 16 '18 at 1:36










  • $begingroup$
    One thing that gets in the way of constructing examples where $(f,g)$ is maximal is Bézout's theorem which says there will always be $deg f cdot deg g$ common zeroes with multiplicity in $mathbb{CP}^2$. Somehow we want to have all but one of these zeroes to be "at infinity." The only example I've come up with so far is something like $(y - x^2, y - (x + 1)^2) = (2x + 1, 4y - 1)$.
    $endgroup$
    – Trevor Gunn
    Dec 16 '18 at 1:39












  • $begingroup$
    @TrevorGunn, thank you for your interesting comments (unfortunately, I am not sure if I fully understand them). Could you please elaborate your example?
    $endgroup$
    – user237522
    Dec 16 '18 at 1:54
















1












1








1


1



$begingroup$


Let $u=u(x,y), v=v(x,y) in mathbb{C}[x,y]$, with $deg(u) geq 2$ and $deg(v) geq 2$.
Let $lambda, mu in mathbb{C}$.



Assume that the ideal generated by $u$ and $v$, $langle u,v rangle$, is a maximal ideal of $mathbb{C}[x,y]$.




Is it true that $langle u-lambda, v-mu rangle$ is a maximal ideal of $mathbb{C}[x,y]$?




My attempts to answer my question are:



(1) By Hilbert's Nullstellensatz, $langle u,v rangle= langle x-a,y-b rangle$, for some $a,b in mathbb{C}$, so
$x-a=F_1u+G_1v$ and $y-b=F_2u+G_2v$, for some $F_1,G_1,F_2,G_2 in mathbb{C}[x,y]$.
Then, $x=F_1u+G_1v+a$ and $y=F_2u+G_2v+b$.



(2) $frac{mathbb{C}[x,y]}{langle u,v rangle}$ is a field (since $langle u,v rangle$ is maximal); actually, $frac{mathbb{C}[x,y]}{langle u,v rangle}$ is isomorphic to $mathbb{C}$. Is it true that $frac{mathbb{C}[x,y]}{langle u,v rangle}$ is isomorphic to $frac{mathbb{C}[x,y]}{langle u-lambda,v-mu rangle}$? In other words, is it true that $frac{mathbb{C}[x,y]}{langle u-lambda,v-mu rangle}$ is isomorphic to $mathbb{C}$?
See this question.



(3) If $langle u-lambda,v-mu rangle$ is not maximal, then it is contained in some maximal ideal: $langle u-lambda,v-mu rangle subsetneq langle x-c,y-d rangle$, $c,d in mathbb{C}$.
It is not difficult to see that $(u-lambda)(c,d)=0$ and $(v-mu)(c,d)=0$,
so $u(c,d)-lambda=0$ and $v(c,d)-mu=0$, namely,
$u(c,d)=lambda$ and $v(c,d)=mu$.



Remark: Is it possible that $langle u-lambda,v-mu rangle = mathbb{C}[x,y]$. If so, then there exist $F,G in mathbb{C}[x,y]$ such that
$F(u-lambda)+G(v-mu)=1$. Then at $(a,b)$ we get:
$F(a,b)(-lambda)+G(a,b)(-mu)=1$ (since, by (1), $u(a,b)=0$ and $v(a,b)=0$).



Thank you very much!






algebraic-geometry ring-theory commutative-algebra maximal-and-prime-ideals







share|cite|improve this question











$endgroup$




Let $u=u(x,y), v=v(x,y) in mathbb{C}[x,y]$, with $deg(u) geq 2$ and $deg(v) geq 2$.
Let $lambda, mu in mathbb{C}$.



Assume that the ideal generated by $u$ and $v$, $langle u,v rangle$, is a maximal ideal of $mathbb{C}[x,y]$.




Is it true that $langle u-lambda, v-mu rangle$ is a maximal ideal of $mathbb{C}[x,y]$?




My attempts to answer my question are:



(1) By Hilbert's Nullstellensatz, $langle u,v rangle= langle x-a,y-b rangle$, for some $a,b in mathbb{C}$, so
$x-a=F_1u+G_1v$ and $y-b=F_2u+G_2v$, for some $F_1,G_1,F_2,G_2 in mathbb{C}[x,y]$.
Then, $x=F_1u+G_1v+a$ and $y=F_2u+G_2v+b$.



(2) $frac{mathbb{C}[x,y]}{langle u,v rangle}$ is a field (since $langle u,v rangle$ is maximal); actually, $frac{mathbb{C}[x,y]}{langle u,v rangle}$ is isomorphic to $mathbb{C}$. Is it true that $frac{mathbb{C}[x,y]}{langle u,v rangle}$ is isomorphic to $frac{mathbb{C}[x,y]}{langle u-lambda,v-mu rangle}$? In other words, is it true that $frac{mathbb{C}[x,y]}{langle u-lambda,v-mu rangle}$ is isomorphic to $mathbb{C}$?
See this question.



(3) If $langle u-lambda,v-mu rangle$ is not maximal, then it is contained in some maximal ideal: $langle u-lambda,v-mu rangle subsetneq langle x-c,y-d rangle$, $c,d in mathbb{C}$.
It is not difficult to see that $(u-lambda)(c,d)=0$ and $(v-mu)(c,d)=0$,
so $u(c,d)-lambda=0$ and $v(c,d)-mu=0$, namely,
$u(c,d)=lambda$ and $v(c,d)=mu$.



Remark: Is it possible that $langle u-lambda,v-mu rangle = mathbb{C}[x,y]$. If so, then there exist $F,G in mathbb{C}[x,y]$ such that
$F(u-lambda)+G(v-mu)=1$. Then at $(a,b)$ we get:
$F(a,b)(-lambda)+G(a,b)(-mu)=1$ (since, by (1), $u(a,b)=0$ and $v(a,b)=0$).



Thank you very much!






algebraic-geometry ring-theory commutative-algebra maximal-and-prime-ideals




algebraic-geometry ring-theory commutative-algebra maximal-and-prime-ideals






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 16 '18 at 1:29







user237522

















asked Dec 16 '18 at 0:21









user237522user237522

2,1451617




2,1451617












  • $begingroup$
    The isomorphism desired in (2) does not hold in general. consider, e.g. $u equiv v equiv 1$ and $lambda = mu = 1$.
    $endgroup$
    – mathworker21
    Dec 16 '18 at 0:44












  • $begingroup$
    Thank you. It was assumed that $deg(u) geq 2$ and $deg(v) geq 2$; perhaps the desired isomorphism in (2) may not hold also in higher degrees?
    $endgroup$
    – user237522
    Dec 16 '18 at 0:50








  • 1




    $begingroup$
    Standard algebraic geometry tells us that maximal ideals containing $(f,g)$ correspond to common zeroes of $f$ and $g$. With this in mind, $(f,g)$ is maximal if and only if $f$ and $g$ have exactly one common zero and they're not tangent when they intersect. E.g. $y = x^2$ and $y = -x^2$ only have $(0,0)$ as a common zero but it has multiplicity two and we have $(y - x^2, y + x^2) = (y,x^2)$.
    $endgroup$
    – Trevor Gunn
    Dec 16 '18 at 1:36










  • $begingroup$
    One thing that gets in the way of constructing examples where $(f,g)$ is maximal is Bézout's theorem which says there will always be $deg f cdot deg g$ common zeroes with multiplicity in $mathbb{CP}^2$. Somehow we want to have all but one of these zeroes to be "at infinity." The only example I've come up with so far is something like $(y - x^2, y - (x + 1)^2) = (2x + 1, 4y - 1)$.
    $endgroup$
    – Trevor Gunn
    Dec 16 '18 at 1:39












  • $begingroup$
    @TrevorGunn, thank you for your interesting comments (unfortunately, I am not sure if I fully understand them). Could you please elaborate your example?
    $endgroup$
    – user237522
    Dec 16 '18 at 1:54




















  • $begingroup$
    The isomorphism desired in (2) does not hold in general. consider, e.g. $u equiv v equiv 1$ and $lambda = mu = 1$.
    $endgroup$
    – mathworker21
    Dec 16 '18 at 0:44












  • $begingroup$
    Thank you. It was assumed that $deg(u) geq 2$ and $deg(v) geq 2$; perhaps the desired isomorphism in (2) may not hold also in higher degrees?
    $endgroup$
    – user237522
    Dec 16 '18 at 0:50








  • 1




    $begingroup$
    Standard algebraic geometry tells us that maximal ideals containing $(f,g)$ correspond to common zeroes of $f$ and $g$. With this in mind, $(f,g)$ is maximal if and only if $f$ and $g$ have exactly one common zero and they're not tangent when they intersect. E.g. $y = x^2$ and $y = -x^2$ only have $(0,0)$ as a common zero but it has multiplicity two and we have $(y - x^2, y + x^2) = (y,x^2)$.
    $endgroup$
    – Trevor Gunn
    Dec 16 '18 at 1:36










  • $begingroup$
    One thing that gets in the way of constructing examples where $(f,g)$ is maximal is Bézout's theorem which says there will always be $deg f cdot deg g$ common zeroes with multiplicity in $mathbb{CP}^2$. Somehow we want to have all but one of these zeroes to be "at infinity." The only example I've come up with so far is something like $(y - x^2, y - (x + 1)^2) = (2x + 1, 4y - 1)$.
    $endgroup$
    – Trevor Gunn
    Dec 16 '18 at 1:39












  • $begingroup$
    @TrevorGunn, thank you for your interesting comments (unfortunately, I am not sure if I fully understand them). Could you please elaborate your example?
    $endgroup$
    – user237522
    Dec 16 '18 at 1:54


















$begingroup$
The isomorphism desired in (2) does not hold in general. consider, e.g. $u equiv v equiv 1$ and $lambda = mu = 1$.
$endgroup$
– mathworker21
Dec 16 '18 at 0:44






$begingroup$
The isomorphism desired in (2) does not hold in general. consider, e.g. $u equiv v equiv 1$ and $lambda = mu = 1$.
$endgroup$
– mathworker21
Dec 16 '18 at 0:44














$begingroup$
Thank you. It was assumed that $deg(u) geq 2$ and $deg(v) geq 2$; perhaps the desired isomorphism in (2) may not hold also in higher degrees?
$endgroup$
– user237522
Dec 16 '18 at 0:50






$begingroup$
Thank you. It was assumed that $deg(u) geq 2$ and $deg(v) geq 2$; perhaps the desired isomorphism in (2) may not hold also in higher degrees?
$endgroup$
– user237522
Dec 16 '18 at 0:50






1




1




$begingroup$
Standard algebraic geometry tells us that maximal ideals containing $(f,g)$ correspond to common zeroes of $f$ and $g$. With this in mind, $(f,g)$ is maximal if and only if $f$ and $g$ have exactly one common zero and they're not tangent when they intersect. E.g. $y = x^2$ and $y = -x^2$ only have $(0,0)$ as a common zero but it has multiplicity two and we have $(y - x^2, y + x^2) = (y,x^2)$.
$endgroup$
– Trevor Gunn
Dec 16 '18 at 1:36




$begingroup$
Standard algebraic geometry tells us that maximal ideals containing $(f,g)$ correspond to common zeroes of $f$ and $g$. With this in mind, $(f,g)$ is maximal if and only if $f$ and $g$ have exactly one common zero and they're not tangent when they intersect. E.g. $y = x^2$ and $y = -x^2$ only have $(0,0)$ as a common zero but it has multiplicity two and we have $(y - x^2, y + x^2) = (y,x^2)$.
$endgroup$
– Trevor Gunn
Dec 16 '18 at 1:36












$begingroup$
One thing that gets in the way of constructing examples where $(f,g)$ is maximal is Bézout's theorem which says there will always be $deg f cdot deg g$ common zeroes with multiplicity in $mathbb{CP}^2$. Somehow we want to have all but one of these zeroes to be "at infinity." The only example I've come up with so far is something like $(y - x^2, y - (x + 1)^2) = (2x + 1, 4y - 1)$.
$endgroup$
– Trevor Gunn
Dec 16 '18 at 1:39






$begingroup$
One thing that gets in the way of constructing examples where $(f,g)$ is maximal is Bézout's theorem which says there will always be $deg f cdot deg g$ common zeroes with multiplicity in $mathbb{CP}^2$. Somehow we want to have all but one of these zeroes to be "at infinity." The only example I've come up with so far is something like $(y - x^2, y - (x + 1)^2) = (2x + 1, 4y - 1)$.
$endgroup$
– Trevor Gunn
Dec 16 '18 at 1:39














$begingroup$
@TrevorGunn, thank you for your interesting comments (unfortunately, I am not sure if I fully understand them). Could you please elaborate your example?
$endgroup$
– user237522
Dec 16 '18 at 1:54






$begingroup$
@TrevorGunn, thank you for your interesting comments (unfortunately, I am not sure if I fully understand them). Could you please elaborate your example?
$endgroup$
– user237522
Dec 16 '18 at 1:54












1 Answer
1






active

oldest

votes


















1












$begingroup$

I think this should work:



By the Nullstellensatz $(u, v)$ is maximal if and only if $V(u,v)$ is a single (closed) point.




Why is this? First suppose $(u,v)$ is maximal. Then you're comfortable with saying that $(u,v) = (x - a, y - b)$ by the (weak) Nullstellensatz. Thus $$V(u,v) = V(x - a, y - b) = {(a,b)}$$
is a single point.



Conversely, if $V(u,v) = {(a,b)}$ is a single point, then the (strong) Nullstellensatz tells us that $$operatorname{rad}(u,v) = I(V(u,v)) = I({(a,b)}) = (x - a, y - b).$$
The condition that $(u,v) = operatorname{rad}(u,v)$ is the same as saying $(a,b)$ doesn't have extra multiplicity as a common zero.




Let $bar{u}(x,y,z)$ and $bar{v}(x,y,z)$ be the homogenizations of $u, v$. By Bézout's theorem, $V(bar{u},bar{v}) subseteq mathbb{CP}^2$ consists of $deg(bar{u})deg(bar{v}) = deg(u)deg(v)$ points counted with multiplicity.



By the first observation, $V(u,v)$ consists of $1$ point, meaning the other $deg(u)deg(v) - 1$ points occur at infinity. I.e. they are the common zeroes of $bar{u}(x,y,0)$ and $bar{v}(x,y,0)$



If we modify $u, v$ by adding $lambda, mu$ then the new homogenizations are



$$ overline{u - lambda} = bar{u} + lambda z^{deg u}, quad overline{v - mu} = bar{u} + mu z^{deg u} $$



Since $overline{u - lambda}(x,y,0) = bar{u}(x,y,0)$ and $overline{v - mu}(x,y,0) = bar{v}(x,y,0)$ it is also true that $overline{u - lambda}$ and $overline{v - mu}$ have $deg(u)deg(v) - 1$ common zeroes at infinity.



Thus $u - lambda, v - mu$ have exactly one common zero not at infinity, so by the Nullstellensatz, $(u - lambda, v - mu)$ is maximal.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Thank you very much! Unfortunately, I am still not familiar with algebraic geometry (I had a feeling that algebraic geometry may help. Several pure algebraic questions I have asked in the past got excellent answers relying on algebraic geometry). I hope that your answer is correct.
    $endgroup$
    – user237522
    Dec 16 '18 at 2:05












  • $begingroup$
    @user237522 I've added some explanation of why we are looking at common zeroes with multiplicity 1. Unfortunately, it's hard to give a good explaination of the multiplicity 1 condition without more algebraic geometry but I hope that modulo that, you are able to follow my reasoning.
    $endgroup$
    – Trevor Gunn
    Dec 16 '18 at 2:07










  • $begingroup$
    Thank you very much again! I have some gaps in understanding your answer, but hopefully it is correct. (I have upvoted it, since it 'seems' correct).
    $endgroup$
    – user237522
    Dec 16 '18 at 2:10












  • $begingroup$
    There is a paper I wish to write, in which your answer will be helpful. Please, could you email me user237522mse@gmail.com I will give you more details about the paper, and you will let me know if you want to be a co-author or just being quoted+acknowledged. (I will probably email you back tomorrow, since now it is very late at night here).
    $endgroup$
    – user237522
    Dec 16 '18 at 2:28













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
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3042104%2fin-mathbbcx-y-if-langle-u-v-rangle-is-a-maximal-ideal-then-langle%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









1












$begingroup$

I think this should work:



By the Nullstellensatz $(u, v)$ is maximal if and only if $V(u,v)$ is a single (closed) point.




Why is this? First suppose $(u,v)$ is maximal. Then you're comfortable with saying that $(u,v) = (x - a, y - b)$ by the (weak) Nullstellensatz. Thus $$V(u,v) = V(x - a, y - b) = {(a,b)}$$
is a single point.



Conversely, if $V(u,v) = {(a,b)}$ is a single point, then the (strong) Nullstellensatz tells us that $$operatorname{rad}(u,v) = I(V(u,v)) = I({(a,b)}) = (x - a, y - b).$$
The condition that $(u,v) = operatorname{rad}(u,v)$ is the same as saying $(a,b)$ doesn't have extra multiplicity as a common zero.




Let $bar{u}(x,y,z)$ and $bar{v}(x,y,z)$ be the homogenizations of $u, v$. By Bézout's theorem, $V(bar{u},bar{v}) subseteq mathbb{CP}^2$ consists of $deg(bar{u})deg(bar{v}) = deg(u)deg(v)$ points counted with multiplicity.



By the first observation, $V(u,v)$ consists of $1$ point, meaning the other $deg(u)deg(v) - 1$ points occur at infinity. I.e. they are the common zeroes of $bar{u}(x,y,0)$ and $bar{v}(x,y,0)$



If we modify $u, v$ by adding $lambda, mu$ then the new homogenizations are



$$ overline{u - lambda} = bar{u} + lambda z^{deg u}, quad overline{v - mu} = bar{u} + mu z^{deg u} $$



Since $overline{u - lambda}(x,y,0) = bar{u}(x,y,0)$ and $overline{v - mu}(x,y,0) = bar{v}(x,y,0)$ it is also true that $overline{u - lambda}$ and $overline{v - mu}$ have $deg(u)deg(v) - 1$ common zeroes at infinity.



Thus $u - lambda, v - mu$ have exactly one common zero not at infinity, so by the Nullstellensatz, $(u - lambda, v - mu)$ is maximal.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Thank you very much! Unfortunately, I am still not familiar with algebraic geometry (I had a feeling that algebraic geometry may help. Several pure algebraic questions I have asked in the past got excellent answers relying on algebraic geometry). I hope that your answer is correct.
    $endgroup$
    – user237522
    Dec 16 '18 at 2:05












  • $begingroup$
    @user237522 I've added some explanation of why we are looking at common zeroes with multiplicity 1. Unfortunately, it's hard to give a good explaination of the multiplicity 1 condition without more algebraic geometry but I hope that modulo that, you are able to follow my reasoning.
    $endgroup$
    – Trevor Gunn
    Dec 16 '18 at 2:07










  • $begingroup$
    Thank you very much again! I have some gaps in understanding your answer, but hopefully it is correct. (I have upvoted it, since it 'seems' correct).
    $endgroup$
    – user237522
    Dec 16 '18 at 2:10












  • $begingroup$
    There is a paper I wish to write, in which your answer will be helpful. Please, could you email me user237522mse@gmail.com I will give you more details about the paper, and you will let me know if you want to be a co-author or just being quoted+acknowledged. (I will probably email you back tomorrow, since now it is very late at night here).
    $endgroup$
    – user237522
    Dec 16 '18 at 2:28


















1












$begingroup$

I think this should work:



By the Nullstellensatz $(u, v)$ is maximal if and only if $V(u,v)$ is a single (closed) point.




Why is this? First suppose $(u,v)$ is maximal. Then you're comfortable with saying that $(u,v) = (x - a, y - b)$ by the (weak) Nullstellensatz. Thus $$V(u,v) = V(x - a, y - b) = {(a,b)}$$
is a single point.



Conversely, if $V(u,v) = {(a,b)}$ is a single point, then the (strong) Nullstellensatz tells us that $$operatorname{rad}(u,v) = I(V(u,v)) = I({(a,b)}) = (x - a, y - b).$$
The condition that $(u,v) = operatorname{rad}(u,v)$ is the same as saying $(a,b)$ doesn't have extra multiplicity as a common zero.




Let $bar{u}(x,y,z)$ and $bar{v}(x,y,z)$ be the homogenizations of $u, v$. By Bézout's theorem, $V(bar{u},bar{v}) subseteq mathbb{CP}^2$ consists of $deg(bar{u})deg(bar{v}) = deg(u)deg(v)$ points counted with multiplicity.



By the first observation, $V(u,v)$ consists of $1$ point, meaning the other $deg(u)deg(v) - 1$ points occur at infinity. I.e. they are the common zeroes of $bar{u}(x,y,0)$ and $bar{v}(x,y,0)$



If we modify $u, v$ by adding $lambda, mu$ then the new homogenizations are



$$ overline{u - lambda} = bar{u} + lambda z^{deg u}, quad overline{v - mu} = bar{u} + mu z^{deg u} $$



Since $overline{u - lambda}(x,y,0) = bar{u}(x,y,0)$ and $overline{v - mu}(x,y,0) = bar{v}(x,y,0)$ it is also true that $overline{u - lambda}$ and $overline{v - mu}$ have $deg(u)deg(v) - 1$ common zeroes at infinity.



Thus $u - lambda, v - mu$ have exactly one common zero not at infinity, so by the Nullstellensatz, $(u - lambda, v - mu)$ is maximal.






share|cite|improve this answer











$endgroup$













  • $begingroup$
    Thank you very much! Unfortunately, I am still not familiar with algebraic geometry (I had a feeling that algebraic geometry may help. Several pure algebraic questions I have asked in the past got excellent answers relying on algebraic geometry). I hope that your answer is correct.
    $endgroup$
    – user237522
    Dec 16 '18 at 2:05












  • $begingroup$
    @user237522 I've added some explanation of why we are looking at common zeroes with multiplicity 1. Unfortunately, it's hard to give a good explaination of the multiplicity 1 condition without more algebraic geometry but I hope that modulo that, you are able to follow my reasoning.
    $endgroup$
    – Trevor Gunn
    Dec 16 '18 at 2:07










  • $begingroup$
    Thank you very much again! I have some gaps in understanding your answer, but hopefully it is correct. (I have upvoted it, since it 'seems' correct).
    $endgroup$
    – user237522
    Dec 16 '18 at 2:10












  • $begingroup$
    There is a paper I wish to write, in which your answer will be helpful. Please, could you email me user237522mse@gmail.com I will give you more details about the paper, and you will let me know if you want to be a co-author or just being quoted+acknowledged. (I will probably email you back tomorrow, since now it is very late at night here).
    $endgroup$
    – user237522
    Dec 16 '18 at 2:28
















1












1








1





$begingroup$

I think this should work:



By the Nullstellensatz $(u, v)$ is maximal if and only if $V(u,v)$ is a single (closed) point.




Why is this? First suppose $(u,v)$ is maximal. Then you're comfortable with saying that $(u,v) = (x - a, y - b)$ by the (weak) Nullstellensatz. Thus $$V(u,v) = V(x - a, y - b) = {(a,b)}$$
is a single point.



Conversely, if $V(u,v) = {(a,b)}$ is a single point, then the (strong) Nullstellensatz tells us that $$operatorname{rad}(u,v) = I(V(u,v)) = I({(a,b)}) = (x - a, y - b).$$
The condition that $(u,v) = operatorname{rad}(u,v)$ is the same as saying $(a,b)$ doesn't have extra multiplicity as a common zero.




Let $bar{u}(x,y,z)$ and $bar{v}(x,y,z)$ be the homogenizations of $u, v$. By Bézout's theorem, $V(bar{u},bar{v}) subseteq mathbb{CP}^2$ consists of $deg(bar{u})deg(bar{v}) = deg(u)deg(v)$ points counted with multiplicity.



By the first observation, $V(u,v)$ consists of $1$ point, meaning the other $deg(u)deg(v) - 1$ points occur at infinity. I.e. they are the common zeroes of $bar{u}(x,y,0)$ and $bar{v}(x,y,0)$



If we modify $u, v$ by adding $lambda, mu$ then the new homogenizations are



$$ overline{u - lambda} = bar{u} + lambda z^{deg u}, quad overline{v - mu} = bar{u} + mu z^{deg u} $$



Since $overline{u - lambda}(x,y,0) = bar{u}(x,y,0)$ and $overline{v - mu}(x,y,0) = bar{v}(x,y,0)$ it is also true that $overline{u - lambda}$ and $overline{v - mu}$ have $deg(u)deg(v) - 1$ common zeroes at infinity.



Thus $u - lambda, v - mu$ have exactly one common zero not at infinity, so by the Nullstellensatz, $(u - lambda, v - mu)$ is maximal.






share|cite|improve this answer











$endgroup$



I think this should work:



By the Nullstellensatz $(u, v)$ is maximal if and only if $V(u,v)$ is a single (closed) point.




Why is this? First suppose $(u,v)$ is maximal. Then you're comfortable with saying that $(u,v) = (x - a, y - b)$ by the (weak) Nullstellensatz. Thus $$V(u,v) = V(x - a, y - b) = {(a,b)}$$
is a single point.



Conversely, if $V(u,v) = {(a,b)}$ is a single point, then the (strong) Nullstellensatz tells us that $$operatorname{rad}(u,v) = I(V(u,v)) = I({(a,b)}) = (x - a, y - b).$$
The condition that $(u,v) = operatorname{rad}(u,v)$ is the same as saying $(a,b)$ doesn't have extra multiplicity as a common zero.




Let $bar{u}(x,y,z)$ and $bar{v}(x,y,z)$ be the homogenizations of $u, v$. By Bézout's theorem, $V(bar{u},bar{v}) subseteq mathbb{CP}^2$ consists of $deg(bar{u})deg(bar{v}) = deg(u)deg(v)$ points counted with multiplicity.



By the first observation, $V(u,v)$ consists of $1$ point, meaning the other $deg(u)deg(v) - 1$ points occur at infinity. I.e. they are the common zeroes of $bar{u}(x,y,0)$ and $bar{v}(x,y,0)$



If we modify $u, v$ by adding $lambda, mu$ then the new homogenizations are



$$ overline{u - lambda} = bar{u} + lambda z^{deg u}, quad overline{v - mu} = bar{u} + mu z^{deg u} $$



Since $overline{u - lambda}(x,y,0) = bar{u}(x,y,0)$ and $overline{v - mu}(x,y,0) = bar{v}(x,y,0)$ it is also true that $overline{u - lambda}$ and $overline{v - mu}$ have $deg(u)deg(v) - 1$ common zeroes at infinity.



Thus $u - lambda, v - mu$ have exactly one common zero not at infinity, so by the Nullstellensatz, $(u - lambda, v - mu)$ is maximal.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Dec 16 '18 at 2:04

























answered Dec 16 '18 at 1:53









Trevor GunnTrevor Gunn

14.3k32046




14.3k32046












  • $begingroup$
    Thank you very much! Unfortunately, I am still not familiar with algebraic geometry (I had a feeling that algebraic geometry may help. Several pure algebraic questions I have asked in the past got excellent answers relying on algebraic geometry). I hope that your answer is correct.
    $endgroup$
    – user237522
    Dec 16 '18 at 2:05












  • $begingroup$
    @user237522 I've added some explanation of why we are looking at common zeroes with multiplicity 1. Unfortunately, it's hard to give a good explaination of the multiplicity 1 condition without more algebraic geometry but I hope that modulo that, you are able to follow my reasoning.
    $endgroup$
    – Trevor Gunn
    Dec 16 '18 at 2:07










  • $begingroup$
    Thank you very much again! I have some gaps in understanding your answer, but hopefully it is correct. (I have upvoted it, since it 'seems' correct).
    $endgroup$
    – user237522
    Dec 16 '18 at 2:10












  • $begingroup$
    There is a paper I wish to write, in which your answer will be helpful. Please, could you email me user237522mse@gmail.com I will give you more details about the paper, and you will let me know if you want to be a co-author or just being quoted+acknowledged. (I will probably email you back tomorrow, since now it is very late at night here).
    $endgroup$
    – user237522
    Dec 16 '18 at 2:28




















  • $begingroup$
    Thank you very much! Unfortunately, I am still not familiar with algebraic geometry (I had a feeling that algebraic geometry may help. Several pure algebraic questions I have asked in the past got excellent answers relying on algebraic geometry). I hope that your answer is correct.
    $endgroup$
    – user237522
    Dec 16 '18 at 2:05












  • $begingroup$
    @user237522 I've added some explanation of why we are looking at common zeroes with multiplicity 1. Unfortunately, it's hard to give a good explaination of the multiplicity 1 condition without more algebraic geometry but I hope that modulo that, you are able to follow my reasoning.
    $endgroup$
    – Trevor Gunn
    Dec 16 '18 at 2:07










  • $begingroup$
    Thank you very much again! I have some gaps in understanding your answer, but hopefully it is correct. (I have upvoted it, since it 'seems' correct).
    $endgroup$
    – user237522
    Dec 16 '18 at 2:10












  • $begingroup$
    There is a paper I wish to write, in which your answer will be helpful. Please, could you email me user237522mse@gmail.com I will give you more details about the paper, and you will let me know if you want to be a co-author or just being quoted+acknowledged. (I will probably email you back tomorrow, since now it is very late at night here).
    $endgroup$
    – user237522
    Dec 16 '18 at 2:28


















$begingroup$
Thank you very much! Unfortunately, I am still not familiar with algebraic geometry (I had a feeling that algebraic geometry may help. Several pure algebraic questions I have asked in the past got excellent answers relying on algebraic geometry). I hope that your answer is correct.
$endgroup$
– user237522
Dec 16 '18 at 2:05






$begingroup$
Thank you very much! Unfortunately, I am still not familiar with algebraic geometry (I had a feeling that algebraic geometry may help. Several pure algebraic questions I have asked in the past got excellent answers relying on algebraic geometry). I hope that your answer is correct.
$endgroup$
– user237522
Dec 16 '18 at 2:05














$begingroup$
@user237522 I've added some explanation of why we are looking at common zeroes with multiplicity 1. Unfortunately, it's hard to give a good explaination of the multiplicity 1 condition without more algebraic geometry but I hope that modulo that, you are able to follow my reasoning.
$endgroup$
– Trevor Gunn
Dec 16 '18 at 2:07




$begingroup$
@user237522 I've added some explanation of why we are looking at common zeroes with multiplicity 1. Unfortunately, it's hard to give a good explaination of the multiplicity 1 condition without more algebraic geometry but I hope that modulo that, you are able to follow my reasoning.
$endgroup$
– Trevor Gunn
Dec 16 '18 at 2:07












$begingroup$
Thank you very much again! I have some gaps in understanding your answer, but hopefully it is correct. (I have upvoted it, since it 'seems' correct).
$endgroup$
– user237522
Dec 16 '18 at 2:10






$begingroup$
Thank you very much again! I have some gaps in understanding your answer, but hopefully it is correct. (I have upvoted it, since it 'seems' correct).
$endgroup$
– user237522
Dec 16 '18 at 2:10














$begingroup$
There is a paper I wish to write, in which your answer will be helpful. Please, could you email me user237522mse@gmail.com I will give you more details about the paper, and you will let me know if you want to be a co-author or just being quoted+acknowledged. (I will probably email you back tomorrow, since now it is very late at night here).
$endgroup$
– user237522
Dec 16 '18 at 2:28






$begingroup$
There is a paper I wish to write, in which your answer will be helpful. Please, could you email me user237522mse@gmail.com I will give you more details about the paper, and you will let me know if you want to be a co-author or just being quoted+acknowledged. (I will probably email you back tomorrow, since now it is very late at night here).
$endgroup$
– user237522
Dec 16 '18 at 2:28




















draft saved

draft discarded




















































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.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3042104%2fin-mathbbcx-y-if-langle-u-v-rangle-is-a-maximal-ideal-then-langle%23new-answer', 'question_page');
}
);

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







-

Popular posts from this blog

Bressuire

Image
.mw-parser-output .infobox{border:1px solid #aaa;background-color:#f9f9f9;color:black;margin:.5em 0 .5em 1em;padding:.2em;float:right;clear:right;width:22em;text-align:left;font-size:88%;line-height:1.6em}.mw-parser-output .infobox td,.mw-parser-output .infobox th{vertical-align:top;padding:0 .2em}.mw-parser-output .infobox caption{font-size:larger}.mw-parser-output .infobox.bordered{border-collapse:collapse}.mw-parser-output .infobox.bordered td,.mw-parser-output .infobox.bordered th{border:1px solid #aaa}.mw-parser-output .infobox.bordered .borderless td,.mw-parser-output .infobox.bordered .borderless th{border:0}.mw-parser-output .infobox-showbutton .mw-collapsible-text{color:inherit}.mw-parser-output .infobox.bordered .mergedtoprow td,.mw-parser-output .infobox.bordered .mergedtoprow th{border:0;border-top:1px solid #aaa;border-right:1px solid #aaa}.mw-parser-output .infobox.bordered .mergedrow td,.mw-parser-output .infobox.bordered .mergedrow th{border:0;border-right:1px solid ...
Read more

Cabo Verde

Image
  Nota: Cabo-verdiano redireciona para este artigo. Para a língua falada em Cabo Verde, veja crioulo cabo-verdiano. Para outros significados, veja Cabo Verde (desambiguação). Coordenadas: 14° 55' N 23° 31' O Cabo Verde República de Cabo Verde Bandeira Brasão de Armas Lema: Unidade, Trabalho, Progresso Hino nacional: Cântico da Liberdade Gentílico: cabo-verdiano [ 1 ] Capital Praia 14° 55' N 23° 31' O Cidade mais populosa Praia Língua oficial Português Governo República unitária semipresidencialista [ 2 ]  - Presidente Jorge Carlos Fonseca  - Primeiro-ministro Ulisses Correia e Silva História    - Descoberta 1460   - Independência 00 • de Portugal 5 de Julho de 1975   - Multipartidarismo 13 de Janeiro de 1990  Área    - Total 4 033 km² (146.º)  - Água (%) 0,08 População    - Estimativa para 2017 560 899 [ 3 ] hab. (173.º) ...
Read more

Gyllenstierna

Image
.mw-parser-output .infobox{border:1px solid #aaa;background-color:#f9f9f9;color:black;margin:.5em 0 .5em 1em;padding:.2em;float:right;clear:right;width:22em;text-align:left;font-size:88%;line-height:1.6em}.mw-parser-output .infobox td,.mw-parser-output .infobox th{vertical-align:top;padding:0 .2em}.mw-parser-output .infobox caption{font-size:larger}.mw-parser-output .infobox.bordered{border-collapse:collapse}.mw-parser-output .infobox.bordered td,.mw-parser-output .infobox.bordered th{border:1px solid #aaa}.mw-parser-output .infobox.bordered .borderless td,.mw-parser-output .infobox.bordered .borderless th{border:0}.mw-parser-output .infobox-showbutton .mw-collapsible-text{color:inherit}.mw-parser-output .infobox.bordered .mergedtoprow td,.mw-parser-output .infobox.bordered .mergedtoprow th{border:0;border-top:1px solid #aaa;border-right:1px solid #aaa}.mw-parser-output .infobox.bordered .mergedrow td,.mw-parser-output .infobox.bordered .mergedrow th{border:0;border-right:1px solid ...
Read more