Differential 1-forms on an irreducible projective variety
Let $k$ be an algebraically closed field and let $X$ be an irreducible projective variety over $k$. I am wondering what the module of differential 1-forms on $X$ is.
Since $X$ is a projective variety, its ring of regular functions $mathcal{O}_X (X)$ is precisely the ring of locally constant functions on X. Now since $X$ is irreducible, it is connected, hence $mathcal{O}_X (X)$ is the ring of constant functions on $X$. By identifying a function with its image we find $mathcal{O}_X (X) cong k$, thus $mathcal{O}_X (X)$ is a $1$-dimensional $k$-vector space with as a basis the constant function $1$.
Now the $mathcal{O}_X (X)$-module $Omega^1(X)$ of differential 1-forms on $X$ and the Kahler differential $dcolon mathcal{O}_X (X) to Omega^1(X)$ are defined as follows. $Omega^1(X)$ and $d$ are such that for any $mathcal{O}_X (X)$-module $M$ and derivation, i.e. a $k$-linear map satisfying the Leibniz rule, $Dcolon mathcal{O}_X (X) to M$ there is a unique $k$-linear map $varphicolon Omega^1(X) to M$ such that $D=varphi circ d$.
Firstly, since $D$ and $d$ are derivations and $mathcal{O}_X (X)$ is a $k$-vector space with basis $1$, we have $D(mathcal{O}_X (X))=d(mathcal{O}_X (X))={0}$. This seems to imply that there is no restriction on what $Omega^1(X)$ is other than a $k$-vector space, since I can always take $varphi$ to be the zero map.
Now on the one hand, in the construction of $Omega^1$ for a general $k$-algebra $A$, thus replacing $mathcal{O}_X (X)$ with $A$ in the previous definition, it follows that all elements are of the form $adb$ with $a,bin A$, implying that $Omega^1(X)=0$.
On the other hand, I am trying to do an exercise in which I calculate $Omega^1(X)$ for a smooth irreducible projective curve $X$ from a presentation of $X$ by glueing the local $Omega^1(U_i )$ to the global set. However I found that the local $Omega^1(U_i )$ are 1-dimensional and they glue to a 1-dimensional vector space.
In conlusion I have three different ways in which I can construct $Omega^1(X)$ and they all seem to imply that $Omega^1(X)$ is something else. Which method is correct?
algebraic-geometry differential-forms projective-schemes projective-varieties
asked Nov 26 at 19:48
Grimp0w
414
add a comment |
Let $k$ be an algebraically closed field and let $X$ be an irreducible projective variety over $k$. I am wondering what the module of differential 1-forms on $X$ is.
Since $X$ is a projective variety, its ring of regular functions $mathcal{O}_X (X)$ is precisely the ring of locally constant functions on X. Now since $X$ is irreducible, it is connected, hence $mathcal{O}_X (X)$ is the ring of constant functions on $X$. By identifying a function with its image we find $mathcal{O}_X (X) cong k$, thus $mathcal{O}_X (X)$ is a $1$-dimensional $k$-vector space with as a basis the constant function $1$.
Now the $mathcal{O}_X (X)$-module $Omega^1(X)$ of differential 1-forms on $X$ and the Kahler differential $dcolon mathcal{O}_X (X) to Omega^1(X)$ are defined as follows. $Omega^1(X)$ and $d$ are such that for any $mathcal{O}_X (X)$-module $M$ and derivation, i.e. a $k$-linear map satisfying the Leibniz rule, $Dcolon mathcal{O}_X (X) to M$ there is a unique $k$-linear map $varphicolon Omega^1(X) to M$ such that $D=varphi circ d$.
Firstly, since $D$ and $d$ are derivations and $mathcal{O}_X (X)$ is a $k$-vector space with basis $1$, we have $D(mathcal{O}_X (X))=d(mathcal{O}_X (X))={0}$. This seems to imply that there is no restriction on what $Omega^1(X)$ is other than a $k$-vector space, since I can always take $varphi$ to be the zero map.
Now on the one hand, in the construction of $Omega^1$ for a general $k$-algebra $A$, thus replacing $mathcal{O}_X (X)$ with $A$ in the previous definition, it follows that all elements are of the form $adb$ with $a,bin A$, implying that $Omega^1(X)=0$.
On the other hand, I am trying to do an exercise in which I calculate $Omega^1(X)$ for a smooth irreducible projective curve $X$ from a presentation of $X$ by glueing the local $Omega^1(U_i )$ to the global set. However I found that the local $Omega^1(U_i )$ are 1-dimensional and they glue to a 1-dimensional vector space.
In conlusion I have three different ways in which I can construct $Omega^1(X)$ and they all seem to imply that $Omega^1(X)$ is something else. Which method is correct?
algebraic-geometry differential-forms projective-schemes projective-varieties
asked Nov 26 at 19:48
Grimp0w
414
Note that global sections of a sheaf, in particular $Omega^1(X)$ can be zero but still the sheaf might be non-trivial. For example $mathcal{O}(-1)$.
– random123
Nov 27 at 5:08
Your definition of $Omega^1(X)$ is incorrect. The definition you write is correct for affine schemes only.
– Asal Beag Dubh
Nov 27 at 10:36
add a comment |
Let $k$ be an algebraically closed field and let $X$ be an irreducible projective variety over $k$. I am wondering what the module of differential 1-forms on $X$ is.
Since $X$ is a projective variety, its ring of regular functions $mathcal{O}_X (X)$ is precisely the ring of locally constant functions on X. Now since $X$ is irreducible, it is connected, hence $mathcal{O}_X (X)$ is the ring of constant functions on $X$. By identifying a function with its image we find $mathcal{O}_X (X) cong k$, thus $mathcal{O}_X (X)$ is a $1$-dimensional $k$-vector space with as a basis the constant function $1$.
Now the $mathcal{O}_X (X)$-module $Omega^1(X)$ of differential 1-forms on $X$ and the Kahler differential $dcolon mathcal{O}_X (X) to Omega^1(X)$ are defined as follows. $Omega^1(X)$ and $d$ are such that for any $mathcal{O}_X (X)$-module $M$ and derivation, i.e. a $k$-linear map satisfying the Leibniz rule, $Dcolon mathcal{O}_X (X) to M$ there is a unique $k$-linear map $varphicolon Omega^1(X) to M$ such that $D=varphi circ d$.
Firstly, since $D$ and $d$ are derivations and $mathcal{O}_X (X)$ is a $k$-vector space with basis $1$, we have $D(mathcal{O}_X (X))=d(mathcal{O}_X (X))={0}$. This seems to imply that there is no restriction on what $Omega^1(X)$ is other than a $k$-vector space, since I can always take $varphi$ to be the zero map.
Now on the one hand, in the construction of $Omega^1$ for a general $k$-algebra $A$, thus replacing $mathcal{O}_X (X)$ with $A$ in the previous definition, it follows that all elements are of the form $adb$ with $a,bin A$, implying that $Omega^1(X)=0$.
On the other hand, I am trying to do an exercise in which I calculate $Omega^1(X)$ for a smooth irreducible projective curve $X$ from a presentation of $X$ by glueing the local $Omega^1(U_i )$ to the global set. However I found that the local $Omega^1(U_i )$ are 1-dimensional and they glue to a 1-dimensional vector space.
In conlusion I have three different ways in which I can construct $Omega^1(X)$ and they all seem to imply that $Omega^1(X)$ is something else. Which method is correct?
algebraic-geometry differential-forms projective-schemes projective-varieties
asked Nov 26 at 19:48
Grimp0w
414
Let $k$ be an algebraically closed field and let $X$ be an irreducible projective variety over $k$. I am wondering what the module of differential 1-forms on $X$ is.
Since $X$ is a projective variety, its ring of regular functions $mathcal{O}_X (X)$ is precisely the ring of locally constant functions on X. Now since $X$ is irreducible, it is connected, hence $mathcal{O}_X (X)$ is the ring of constant functions on $X$. By identifying a function with its image we find $mathcal{O}_X (X) cong k$, thus $mathcal{O}_X (X)$ is a $1$-dimensional $k$-vector space with as a basis the constant function $1$.
Now the $mathcal{O}_X (X)$-module $Omega^1(X)$ of differential 1-forms on $X$ and the Kahler differential $dcolon mathcal{O}_X (X) to Omega^1(X)$ are defined as follows. $Omega^1(X)$ and $d$ are such that for any $mathcal{O}_X (X)$-module $M$ and derivation, i.e. a $k$-linear map satisfying the Leibniz rule, $Dcolon mathcal{O}_X (X) to M$ there is a unique $k$-linear map $varphicolon Omega^1(X) to M$ such that $D=varphi circ d$.
Firstly, since $D$ and $d$ are derivations and $mathcal{O}_X (X)$ is a $k$-vector space with basis $1$, we have $D(mathcal{O}_X (X))=d(mathcal{O}_X (X))={0}$. This seems to imply that there is no restriction on what $Omega^1(X)$ is other than a $k$-vector space, since I can always take $varphi$ to be the zero map.
Now on the one hand, in the construction of $Omega^1$ for a general $k$-algebra $A$, thus replacing $mathcal{O}_X (X)$ with $A$ in the previous definition, it follows that all elements are of the form $adb$ with $a,bin A$, implying that $Omega^1(X)=0$.
On the other hand, I am trying to do an exercise in which I calculate $Omega^1(X)$ for a smooth irreducible projective curve $X$ from a presentation of $X$ by glueing the local $Omega^1(U_i )$ to the global set. However I found that the local $Omega^1(U_i )$ are 1-dimensional and they glue to a 1-dimensional vector space.
In conlusion I have three different ways in which I can construct $Omega^1(X)$ and they all seem to imply that $Omega^1(X)$ is something else. Which method is correct?
algebraic-geometry differential-forms projective-schemes projective-varieties
algebraic-geometry differential-forms projective-schemes projective-varieties
asked Nov 26 at 19:48
Grimp0w
414
asked Nov 26 at 19:48
Grimp0w
414
asked Nov 26 at 19:48
Grimp0w
414
asked Nov 26 at 19:48
Grimp0w
414
asked Nov 26 at 19:48
Grimp0w
414
414
Note that global sections of a sheaf, in particular $Omega^1(X)$ can be zero but still the sheaf might be non-trivial. For example $mathcal{O}(-1)$.
– random123
Nov 27 at 5:08
Your definition of $Omega^1(X)$ is incorrect. The definition you write is correct for affine schemes only.
– Asal Beag Dubh
Nov 27 at 10:36
add a comment |
Note that global sections of a sheaf, in particular $Omega^1(X)$ can be zero but still the sheaf might be non-trivial. For example $mathcal{O}(-1)$.
– random123
Nov 27 at 5:08
Your definition of $Omega^1(X)$ is incorrect. The definition you write is correct for affine schemes only.
– Asal Beag Dubh
Nov 27 at 10:36
Note that global sections of a sheaf, in particular $Omega^1(X)$ can be zero but still the sheaf might be non-trivial. For example $mathcal{O}(-1)$.
– random123
Nov 27 at 5:08
Note that global sections of a sheaf, in particular $Omega^1(X)$ can be zero but still the sheaf might be non-trivial. For example $mathcal{O}(-1)$.
– random123
Nov 27 at 5:08
Your definition of $Omega^1(X)$ is incorrect. The definition you write is correct for affine schemes only.
– Asal Beag Dubh
Nov 27 at 10:36
Your definition of $Omega^1(X)$ is incorrect. The definition you write is correct for affine schemes only.
– Asal Beag Dubh
Nov 27 at 10:36
add a comment |
active
oldest
votes
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%2f3014824%2fdifferential-1-forms-on-an-irreducible-projective-variety%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
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%2f3014824%2fdifferential-1-forms-on-an-irreducible-projective-variety%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
Note that global sections of a sheaf, in particular $Omega^1(X)$ can be zero but still the sheaf might be non-trivial. For example $mathcal{O}(-1)$.
– random123
Nov 27 at 5:08
Your definition of $Omega^1(X)$ is incorrect. The definition you write is correct for affine schemes only.
– Asal Beag Dubh
Nov 27 at 10:36