Special change of coordinates for 1-form
Consider the curve $C=Z(-x_1^5+x_0^{4}x_2-x_2^5) subset mathbb{P}^2$. Dehomogenize with respect to $x_2$ to obtain an irreducible affine curve $U_2=Z(-y^5+x^4-1)$. Notice that $C=U_2 cup P$ where $P$ is the point at infinity $(1:0:0)$. Define a 1-form on $U_2$:
begin{equation}
omega= frac{dx}{5y^4}=frac{dy}{4x^3}.
end{equation}
I want to study this differential form at the point $P$. With a change of coordinate $x=v^{-1}$, $y=uv^{-1}$, I need to express $omega$ at $P$ in terms of $du$ $textit{only}$ (multiplied by an appropriate non-vanishing rational function, as $u$ is a uniformising parameter in this context, if you are familiar with the notion) but when I try to calculate $du$ and $dv$ from $dx$ and $dy$, I inevitably obtain an expression that contains both $du$ and $dv$ and I don't know how to get rid of the $dv$. I would like to know whether I am miscalculating or there is another way to obtain that expression for $omega$.
Edit: if I try to write the first form $omega$ in terms of $u,v$ I get:
begin{equation}
frac{-(v^2dv)}{5u^{4}} = frac{-5u^4v^{2} du}{5u^4(1-5v^4)} = frac{-v^{2} du}{1-5v^4}
end{equation}
but this rational function vanishes at $P$ which should not happen.
My end goal is to write $omega = f u^n , du$ with $n in mathbb{Z}$ and $f$ a rational function with $f(P) neq 0$.
geometry algebraic-geometry
|
show 7 more comments
Consider the curve $C=Z(-x_1^5+x_0^{4}x_2-x_2^5) subset mathbb{P}^2$. Dehomogenize with respect to $x_2$ to obtain an irreducible affine curve $U_2=Z(-y^5+x^4-1)$. Notice that $C=U_2 cup P$ where $P$ is the point at infinity $(1:0:0)$. Define a 1-form on $U_2$:
begin{equation}
omega= frac{dx}{5y^4}=frac{dy}{4x^3}.
end{equation}
I want to study this differential form at the point $P$. With a change of coordinate $x=v^{-1}$, $y=uv^{-1}$, I need to express $omega$ at $P$ in terms of $du$ $textit{only}$ (multiplied by an appropriate non-vanishing rational function, as $u$ is a uniformising parameter in this context, if you are familiar with the notion) but when I try to calculate $du$ and $dv$ from $dx$ and $dy$, I inevitably obtain an expression that contains both $du$ and $dv$ and I don't know how to get rid of the $dv$. I would like to know whether I am miscalculating or there is another way to obtain that expression for $omega$.
Edit: if I try to write the first form $omega$ in terms of $u,v$ I get:
begin{equation}
frac{-(v^2dv)}{5u^{4}} = frac{-5u^4v^{2} du}{5u^4(1-5v^4)} = frac{-v^{2} du}{1-5v^4}
end{equation}
but this rational function vanishes at $P$ which should not happen.
My end goal is to write $omega = f u^n , du$ with $n in mathbb{Z}$ and $f$ a rational function with $f(P) neq 0$.
geometry algebraic-geometry
What is the equation for $U_2$ in terms of $u$ and $v$? This should allow you to eliminate either $du$ or $dv$.
– André 3000
Nov 26 '18 at 15:46
Thanks for your reply. $-u^5+v-v^5$ but how does this help me eliminate the $dv$? Should I differentiate it?
– Karl
Nov 26 '18 at 16:03
1
$5u^4 du = (1-5v^4)dv$, so you can solve for $du$ in terms of $dv$ or vice versa.
– André 3000
Nov 26 '18 at 16:42
1
Your calculation looks correct. I even did the computation on a computer using Magma and it says that $omega$ has a zero of order $10$ at $P$. Why do you say this "should not happen"?
– André 3000
Nov 26 '18 at 19:04
1
Actually, here's a way to get it in the form you want. It suffices to write $v^2$ in the desired form since $1 - 5v^4$ doesn't vanish at $P$. Since $u^5 = v - v^5$, then $u^{10} = (v-v^5)^2 = v^2 - 2v^6 + v^{10} = v^2(1 - 2v^4 + v^6)$. Thus $v^2 = u^{10}/(1 - 2v^4 + v^6)$, as desired.
– André 3000
Nov 26 '18 at 21:30
|
show 7 more comments
Consider the curve $C=Z(-x_1^5+x_0^{4}x_2-x_2^5) subset mathbb{P}^2$. Dehomogenize with respect to $x_2$ to obtain an irreducible affine curve $U_2=Z(-y^5+x^4-1)$. Notice that $C=U_2 cup P$ where $P$ is the point at infinity $(1:0:0)$. Define a 1-form on $U_2$:
begin{equation}
omega= frac{dx}{5y^4}=frac{dy}{4x^3}.
end{equation}
I want to study this differential form at the point $P$. With a change of coordinate $x=v^{-1}$, $y=uv^{-1}$, I need to express $omega$ at $P$ in terms of $du$ $textit{only}$ (multiplied by an appropriate non-vanishing rational function, as $u$ is a uniformising parameter in this context, if you are familiar with the notion) but when I try to calculate $du$ and $dv$ from $dx$ and $dy$, I inevitably obtain an expression that contains both $du$ and $dv$ and I don't know how to get rid of the $dv$. I would like to know whether I am miscalculating or there is another way to obtain that expression for $omega$.
Edit: if I try to write the first form $omega$ in terms of $u,v$ I get:
begin{equation}
frac{-(v^2dv)}{5u^{4}} = frac{-5u^4v^{2} du}{5u^4(1-5v^4)} = frac{-v^{2} du}{1-5v^4}
end{equation}
but this rational function vanishes at $P$ which should not happen.
My end goal is to write $omega = f u^n , du$ with $n in mathbb{Z}$ and $f$ a rational function with $f(P) neq 0$.
geometry algebraic-geometry
Consider the curve $C=Z(-x_1^5+x_0^{4}x_2-x_2^5) subset mathbb{P}^2$. Dehomogenize with respect to $x_2$ to obtain an irreducible affine curve $U_2=Z(-y^5+x^4-1)$. Notice that $C=U_2 cup P$ where $P$ is the point at infinity $(1:0:0)$. Define a 1-form on $U_2$:
begin{equation}
omega= frac{dx}{5y^4}=frac{dy}{4x^3}.
end{equation}
I want to study this differential form at the point $P$. With a change of coordinate $x=v^{-1}$, $y=uv^{-1}$, I need to express $omega$ at $P$ in terms of $du$ $textit{only}$ (multiplied by an appropriate non-vanishing rational function, as $u$ is a uniformising parameter in this context, if you are familiar with the notion) but when I try to calculate $du$ and $dv$ from $dx$ and $dy$, I inevitably obtain an expression that contains both $du$ and $dv$ and I don't know how to get rid of the $dv$. I would like to know whether I am miscalculating or there is another way to obtain that expression for $omega$.
Edit: if I try to write the first form $omega$ in terms of $u,v$ I get:
begin{equation}
frac{-(v^2dv)}{5u^{4}} = frac{-5u^4v^{2} du}{5u^4(1-5v^4)} = frac{-v^{2} du}{1-5v^4}
end{equation}
but this rational function vanishes at $P$ which should not happen.
My end goal is to write $omega = f u^n , du$ with $n in mathbb{Z}$ and $f$ a rational function with $f(P) neq 0$.
geometry algebraic-geometry
geometry algebraic-geometry
edited Nov 26 '18 at 22:05
André 3000
12.5k22042
12.5k22042
asked Nov 26 '18 at 14:01
Karl
366
366
What is the equation for $U_2$ in terms of $u$ and $v$? This should allow you to eliminate either $du$ or $dv$.
– André 3000
Nov 26 '18 at 15:46
Thanks for your reply. $-u^5+v-v^5$ but how does this help me eliminate the $dv$? Should I differentiate it?
– Karl
Nov 26 '18 at 16:03
1
$5u^4 du = (1-5v^4)dv$, so you can solve for $du$ in terms of $dv$ or vice versa.
– André 3000
Nov 26 '18 at 16:42
1
Your calculation looks correct. I even did the computation on a computer using Magma and it says that $omega$ has a zero of order $10$ at $P$. Why do you say this "should not happen"?
– André 3000
Nov 26 '18 at 19:04
1
Actually, here's a way to get it in the form you want. It suffices to write $v^2$ in the desired form since $1 - 5v^4$ doesn't vanish at $P$. Since $u^5 = v - v^5$, then $u^{10} = (v-v^5)^2 = v^2 - 2v^6 + v^{10} = v^2(1 - 2v^4 + v^6)$. Thus $v^2 = u^{10}/(1 - 2v^4 + v^6)$, as desired.
– André 3000
Nov 26 '18 at 21:30
|
show 7 more comments
What is the equation for $U_2$ in terms of $u$ and $v$? This should allow you to eliminate either $du$ or $dv$.
– André 3000
Nov 26 '18 at 15:46
Thanks for your reply. $-u^5+v-v^5$ but how does this help me eliminate the $dv$? Should I differentiate it?
– Karl
Nov 26 '18 at 16:03
1
$5u^4 du = (1-5v^4)dv$, so you can solve for $du$ in terms of $dv$ or vice versa.
– André 3000
Nov 26 '18 at 16:42
1
Your calculation looks correct. I even did the computation on a computer using Magma and it says that $omega$ has a zero of order $10$ at $P$. Why do you say this "should not happen"?
– André 3000
Nov 26 '18 at 19:04
1
Actually, here's a way to get it in the form you want. It suffices to write $v^2$ in the desired form since $1 - 5v^4$ doesn't vanish at $P$. Since $u^5 = v - v^5$, then $u^{10} = (v-v^5)^2 = v^2 - 2v^6 + v^{10} = v^2(1 - 2v^4 + v^6)$. Thus $v^2 = u^{10}/(1 - 2v^4 + v^6)$, as desired.
– André 3000
Nov 26 '18 at 21:30
What is the equation for $U_2$ in terms of $u$ and $v$? This should allow you to eliminate either $du$ or $dv$.
– André 3000
Nov 26 '18 at 15:46
What is the equation for $U_2$ in terms of $u$ and $v$? This should allow you to eliminate either $du$ or $dv$.
– André 3000
Nov 26 '18 at 15:46
Thanks for your reply. $-u^5+v-v^5$ but how does this help me eliminate the $dv$? Should I differentiate it?
– Karl
Nov 26 '18 at 16:03
Thanks for your reply. $-u^5+v-v^5$ but how does this help me eliminate the $dv$? Should I differentiate it?
– Karl
Nov 26 '18 at 16:03
1
1
$5u^4 du = (1-5v^4)dv$, so you can solve for $du$ in terms of $dv$ or vice versa.
– André 3000
Nov 26 '18 at 16:42
$5u^4 du = (1-5v^4)dv$, so you can solve for $du$ in terms of $dv$ or vice versa.
– André 3000
Nov 26 '18 at 16:42
1
1
Your calculation looks correct. I even did the computation on a computer using Magma and it says that $omega$ has a zero of order $10$ at $P$. Why do you say this "should not happen"?
– André 3000
Nov 26 '18 at 19:04
Your calculation looks correct. I even did the computation on a computer using Magma and it says that $omega$ has a zero of order $10$ at $P$. Why do you say this "should not happen"?
– André 3000
Nov 26 '18 at 19:04
1
1
Actually, here's a way to get it in the form you want. It suffices to write $v^2$ in the desired form since $1 - 5v^4$ doesn't vanish at $P$. Since $u^5 = v - v^5$, then $u^{10} = (v-v^5)^2 = v^2 - 2v^6 + v^{10} = v^2(1 - 2v^4 + v^6)$. Thus $v^2 = u^{10}/(1 - 2v^4 + v^6)$, as desired.
– André 3000
Nov 26 '18 at 21:30
Actually, here's a way to get it in the form you want. It suffices to write $v^2$ in the desired form since $1 - 5v^4$ doesn't vanish at $P$. Since $u^5 = v - v^5$, then $u^{10} = (v-v^5)^2 = v^2 - 2v^6 + v^{10} = v^2(1 - 2v^4 + v^6)$. Thus $v^2 = u^{10}/(1 - 2v^4 + v^6)$, as desired.
– André 3000
Nov 26 '18 at 21:30
|
show 7 more comments
1 Answer
1
active
oldest
votes
Here's a summary of the comments.
Rewriting the equations for $U_2$ in terms of $u$ and $v$, we find
$$
left(frac{u}{v}right)^5 = frac{1}{v^4} - 1 implies u^5 = v - v^5
$$
and thus obtain an affine curve $U: u^5 = v - v^5$. Since $x = X_0/X_2$ and $y = X_1/X_2$, then
$$
v = frac{1}{x} = frac{X_2}{X_0} quad text{and} quad u = yv = frac{y}{x} = frac{X_1}{X_0}
$$
so $P = (1:0:0)$ corresponds to $(u,v) = (0,0)$. In $(u,v)$ coordinates, $omega$ transforms into
$$
omega = frac{dx}{5y^4} = frac{d(1/v)}{5(u/v)^4} = frac{-frac{1}{v^2} dv}{5 frac{u^4}{v^4}} = -frac{v^2}{5 u^4} dv
$$
Differentiating the equation for $U$, we find $5u^4 du = dv - 5v^4 dv = (1-5v^4)dv$, so
$$
dv = frac{5u^4}{1 - 5 v^4} du , .
$$
Thus
$$
omega = -frac{v^2}{5 u^4} frac{5u^4}{1 - 5 v^4} du = -frac{v^2}{1 - 5 v^4} du , .
$$
Let $DeclareMathOperator{m}{mathfrak{m}} m = (u,v)$ be the maximal ideal of the local ring at $P$ (so $m = (u)$ since $u$ is a uniformizer at $P$), and let $newcommand{ord}{operatorname{ord}_P} ord$ be the associated discrete valuation (the order of vanishing). Since $v = u^5 + v^5$, we see that $v in m^5$, so $ord(v) geq 5$. Then $ord(v^5) geq 25$ and since $ord(u^5) = 5$, then $ord(u^5) neq ord(v^5)$, and hence
$$
ord(v) = min{ord(u^5), ord(v^5)} = 5
$$
by properties of discrete valuations (see here). Thus $v^2$ has valuation $10$, so $v^2$ and $u^{10}$ differ multiplicatively by a unit. To find this unit, we square the equation for $U$:
begin{align*}
u^{10} = (v - v^5)^2 = v^2 - 2v^6 + v^{10} = v^2(1 - 2v^4 + v^8)
end{align*}
and find that $v^2 = frac{u^{10}}{1 - 2v^4 + v^8}$. Thus
$$
omega = -frac{v^2}{1 - 5 v^4} du = -frac{frac{u^{10}}{1 - 2v^4 + v^8}}{1 - 5 v^4} du = -frac{1}{(1 - 2v^4 + v^8)(1 - 5 v^4)} u^{10} , du
$$
as desired.
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%2f3014368%2fspecial-change-of-coordinates-for-1-form%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
Here's a summary of the comments.
Rewriting the equations for $U_2$ in terms of $u$ and $v$, we find
$$
left(frac{u}{v}right)^5 = frac{1}{v^4} - 1 implies u^5 = v - v^5
$$
and thus obtain an affine curve $U: u^5 = v - v^5$. Since $x = X_0/X_2$ and $y = X_1/X_2$, then
$$
v = frac{1}{x} = frac{X_2}{X_0} quad text{and} quad u = yv = frac{y}{x} = frac{X_1}{X_0}
$$
so $P = (1:0:0)$ corresponds to $(u,v) = (0,0)$. In $(u,v)$ coordinates, $omega$ transforms into
$$
omega = frac{dx}{5y^4} = frac{d(1/v)}{5(u/v)^4} = frac{-frac{1}{v^2} dv}{5 frac{u^4}{v^4}} = -frac{v^2}{5 u^4} dv
$$
Differentiating the equation for $U$, we find $5u^4 du = dv - 5v^4 dv = (1-5v^4)dv$, so
$$
dv = frac{5u^4}{1 - 5 v^4} du , .
$$
Thus
$$
omega = -frac{v^2}{5 u^4} frac{5u^4}{1 - 5 v^4} du = -frac{v^2}{1 - 5 v^4} du , .
$$
Let $DeclareMathOperator{m}{mathfrak{m}} m = (u,v)$ be the maximal ideal of the local ring at $P$ (so $m = (u)$ since $u$ is a uniformizer at $P$), and let $newcommand{ord}{operatorname{ord}_P} ord$ be the associated discrete valuation (the order of vanishing). Since $v = u^5 + v^5$, we see that $v in m^5$, so $ord(v) geq 5$. Then $ord(v^5) geq 25$ and since $ord(u^5) = 5$, then $ord(u^5) neq ord(v^5)$, and hence
$$
ord(v) = min{ord(u^5), ord(v^5)} = 5
$$
by properties of discrete valuations (see here). Thus $v^2$ has valuation $10$, so $v^2$ and $u^{10}$ differ multiplicatively by a unit. To find this unit, we square the equation for $U$:
begin{align*}
u^{10} = (v - v^5)^2 = v^2 - 2v^6 + v^{10} = v^2(1 - 2v^4 + v^8)
end{align*}
and find that $v^2 = frac{u^{10}}{1 - 2v^4 + v^8}$. Thus
$$
omega = -frac{v^2}{1 - 5 v^4} du = -frac{frac{u^{10}}{1 - 2v^4 + v^8}}{1 - 5 v^4} du = -frac{1}{(1 - 2v^4 + v^8)(1 - 5 v^4)} u^{10} , du
$$
as desired.
add a comment |
Here's a summary of the comments.
Rewriting the equations for $U_2$ in terms of $u$ and $v$, we find
$$
left(frac{u}{v}right)^5 = frac{1}{v^4} - 1 implies u^5 = v - v^5
$$
and thus obtain an affine curve $U: u^5 = v - v^5$. Since $x = X_0/X_2$ and $y = X_1/X_2$, then
$$
v = frac{1}{x} = frac{X_2}{X_0} quad text{and} quad u = yv = frac{y}{x} = frac{X_1}{X_0}
$$
so $P = (1:0:0)$ corresponds to $(u,v) = (0,0)$. In $(u,v)$ coordinates, $omega$ transforms into
$$
omega = frac{dx}{5y^4} = frac{d(1/v)}{5(u/v)^4} = frac{-frac{1}{v^2} dv}{5 frac{u^4}{v^4}} = -frac{v^2}{5 u^4} dv
$$
Differentiating the equation for $U$, we find $5u^4 du = dv - 5v^4 dv = (1-5v^4)dv$, so
$$
dv = frac{5u^4}{1 - 5 v^4} du , .
$$
Thus
$$
omega = -frac{v^2}{5 u^4} frac{5u^4}{1 - 5 v^4} du = -frac{v^2}{1 - 5 v^4} du , .
$$
Let $DeclareMathOperator{m}{mathfrak{m}} m = (u,v)$ be the maximal ideal of the local ring at $P$ (so $m = (u)$ since $u$ is a uniformizer at $P$), and let $newcommand{ord}{operatorname{ord}_P} ord$ be the associated discrete valuation (the order of vanishing). Since $v = u^5 + v^5$, we see that $v in m^5$, so $ord(v) geq 5$. Then $ord(v^5) geq 25$ and since $ord(u^5) = 5$, then $ord(u^5) neq ord(v^5)$, and hence
$$
ord(v) = min{ord(u^5), ord(v^5)} = 5
$$
by properties of discrete valuations (see here). Thus $v^2$ has valuation $10$, so $v^2$ and $u^{10}$ differ multiplicatively by a unit. To find this unit, we square the equation for $U$:
begin{align*}
u^{10} = (v - v^5)^2 = v^2 - 2v^6 + v^{10} = v^2(1 - 2v^4 + v^8)
end{align*}
and find that $v^2 = frac{u^{10}}{1 - 2v^4 + v^8}$. Thus
$$
omega = -frac{v^2}{1 - 5 v^4} du = -frac{frac{u^{10}}{1 - 2v^4 + v^8}}{1 - 5 v^4} du = -frac{1}{(1 - 2v^4 + v^8)(1 - 5 v^4)} u^{10} , du
$$
as desired.
add a comment |
Here's a summary of the comments.
Rewriting the equations for $U_2$ in terms of $u$ and $v$, we find
$$
left(frac{u}{v}right)^5 = frac{1}{v^4} - 1 implies u^5 = v - v^5
$$
and thus obtain an affine curve $U: u^5 = v - v^5$. Since $x = X_0/X_2$ and $y = X_1/X_2$, then
$$
v = frac{1}{x} = frac{X_2}{X_0} quad text{and} quad u = yv = frac{y}{x} = frac{X_1}{X_0}
$$
so $P = (1:0:0)$ corresponds to $(u,v) = (0,0)$. In $(u,v)$ coordinates, $omega$ transforms into
$$
omega = frac{dx}{5y^4} = frac{d(1/v)}{5(u/v)^4} = frac{-frac{1}{v^2} dv}{5 frac{u^4}{v^4}} = -frac{v^2}{5 u^4} dv
$$
Differentiating the equation for $U$, we find $5u^4 du = dv - 5v^4 dv = (1-5v^4)dv$, so
$$
dv = frac{5u^4}{1 - 5 v^4} du , .
$$
Thus
$$
omega = -frac{v^2}{5 u^4} frac{5u^4}{1 - 5 v^4} du = -frac{v^2}{1 - 5 v^4} du , .
$$
Let $DeclareMathOperator{m}{mathfrak{m}} m = (u,v)$ be the maximal ideal of the local ring at $P$ (so $m = (u)$ since $u$ is a uniformizer at $P$), and let $newcommand{ord}{operatorname{ord}_P} ord$ be the associated discrete valuation (the order of vanishing). Since $v = u^5 + v^5$, we see that $v in m^5$, so $ord(v) geq 5$. Then $ord(v^5) geq 25$ and since $ord(u^5) = 5$, then $ord(u^5) neq ord(v^5)$, and hence
$$
ord(v) = min{ord(u^5), ord(v^5)} = 5
$$
by properties of discrete valuations (see here). Thus $v^2$ has valuation $10$, so $v^2$ and $u^{10}$ differ multiplicatively by a unit. To find this unit, we square the equation for $U$:
begin{align*}
u^{10} = (v - v^5)^2 = v^2 - 2v^6 + v^{10} = v^2(1 - 2v^4 + v^8)
end{align*}
and find that $v^2 = frac{u^{10}}{1 - 2v^4 + v^8}$. Thus
$$
omega = -frac{v^2}{1 - 5 v^4} du = -frac{frac{u^{10}}{1 - 2v^4 + v^8}}{1 - 5 v^4} du = -frac{1}{(1 - 2v^4 + v^8)(1 - 5 v^4)} u^{10} , du
$$
as desired.
Here's a summary of the comments.
Rewriting the equations for $U_2$ in terms of $u$ and $v$, we find
$$
left(frac{u}{v}right)^5 = frac{1}{v^4} - 1 implies u^5 = v - v^5
$$
and thus obtain an affine curve $U: u^5 = v - v^5$. Since $x = X_0/X_2$ and $y = X_1/X_2$, then
$$
v = frac{1}{x} = frac{X_2}{X_0} quad text{and} quad u = yv = frac{y}{x} = frac{X_1}{X_0}
$$
so $P = (1:0:0)$ corresponds to $(u,v) = (0,0)$. In $(u,v)$ coordinates, $omega$ transforms into
$$
omega = frac{dx}{5y^4} = frac{d(1/v)}{5(u/v)^4} = frac{-frac{1}{v^2} dv}{5 frac{u^4}{v^4}} = -frac{v^2}{5 u^4} dv
$$
Differentiating the equation for $U$, we find $5u^4 du = dv - 5v^4 dv = (1-5v^4)dv$, so
$$
dv = frac{5u^4}{1 - 5 v^4} du , .
$$
Thus
$$
omega = -frac{v^2}{5 u^4} frac{5u^4}{1 - 5 v^4} du = -frac{v^2}{1 - 5 v^4} du , .
$$
Let $DeclareMathOperator{m}{mathfrak{m}} m = (u,v)$ be the maximal ideal of the local ring at $P$ (so $m = (u)$ since $u$ is a uniformizer at $P$), and let $newcommand{ord}{operatorname{ord}_P} ord$ be the associated discrete valuation (the order of vanishing). Since $v = u^5 + v^5$, we see that $v in m^5$, so $ord(v) geq 5$. Then $ord(v^5) geq 25$ and since $ord(u^5) = 5$, then $ord(u^5) neq ord(v^5)$, and hence
$$
ord(v) = min{ord(u^5), ord(v^5)} = 5
$$
by properties of discrete valuations (see here). Thus $v^2$ has valuation $10$, so $v^2$ and $u^{10}$ differ multiplicatively by a unit. To find this unit, we square the equation for $U$:
begin{align*}
u^{10} = (v - v^5)^2 = v^2 - 2v^6 + v^{10} = v^2(1 - 2v^4 + v^8)
end{align*}
and find that $v^2 = frac{u^{10}}{1 - 2v^4 + v^8}$. Thus
$$
omega = -frac{v^2}{1 - 5 v^4} du = -frac{frac{u^{10}}{1 - 2v^4 + v^8}}{1 - 5 v^4} du = -frac{1}{(1 - 2v^4 + v^8)(1 - 5 v^4)} u^{10} , du
$$
as desired.
edited Nov 26 '18 at 22:21
answered Nov 26 '18 at 21:58
André 3000
12.5k22042
12.5k22042
add a comment |
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.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- 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.
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%2f3014368%2fspecial-change-of-coordinates-for-1-form%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
What is the equation for $U_2$ in terms of $u$ and $v$? This should allow you to eliminate either $du$ or $dv$.
– André 3000
Nov 26 '18 at 15:46
Thanks for your reply. $-u^5+v-v^5$ but how does this help me eliminate the $dv$? Should I differentiate it?
– Karl
Nov 26 '18 at 16:03
1
$5u^4 du = (1-5v^4)dv$, so you can solve for $du$ in terms of $dv$ or vice versa.
– André 3000
Nov 26 '18 at 16:42
1
Your calculation looks correct. I even did the computation on a computer using Magma and it says that $omega$ has a zero of order $10$ at $P$. Why do you say this "should not happen"?
– André 3000
Nov 26 '18 at 19:04
1
Actually, here's a way to get it in the form you want. It suffices to write $v^2$ in the desired form since $1 - 5v^4$ doesn't vanish at $P$. Since $u^5 = v - v^5$, then $u^{10} = (v-v^5)^2 = v^2 - 2v^6 + v^{10} = v^2(1 - 2v^4 + v^6)$. Thus $v^2 = u^{10}/(1 - 2v^4 + v^6)$, as desired.
– André 3000
Nov 26 '18 at 21:30