Skip to main content
9 events
when toggle format what by license comment
May 23, 2020 at 18:26 comment added Plank If $R$ is an $S$-algebra and $\Omega_{R/S}$ is projective of rank $n$, then it is free of rank $n$ if, and only if, it can be generated by $n$ elements. A reference is pg 556 of "Lombardi, Henri, and Claude Quitté. "Commutative algebra: Constructive methods." Traduction anglaise, révisée et augmentée, de l’édition française (Algebre commutative. Méthodes constructives. Calvage et Mounet, 2011). Springer, Berlin 1.2 (2015): 3."
May 23, 2020 at 7:59 comment added abx To give one more precise reference (for $\Omega ^1_{X/k}$ free of rank $\dim X$ $\Longleftrightarrow \ X$ smooth over $k$): Kunz Kähler differentials, Theorem 8.1.
May 23, 2020 at 2:53 answer added Mohan timeline score: 4
May 23, 2020 at 2:13 comment added Plank @DevlinMallory Ah yes, I see what you mean that these modules are closely related to smoothness. I mean this is the essence of smooth varities and when the sheaf of differentials is finite locally free, there is a lot of interaction. Thanks for the reference, that covers part of the question nicely!
May 23, 2020 at 2:11 comment added Plank @Mohan Could you explain this a bit further please? Perhaps add some details? This would answer a huge problem I have been facing with these modules!
May 23, 2020 at 1:58 comment added Mohan For $S$ as above, $\Omega^1_X$ is free of rank $=\dim X$ (X=\operatorname{Spec} S$ implies $S=k[x_0,\ldots,x_n, x_{n+1},\ldots x_m]/(g_1,\ldots, g_{l+m})$ where the $g_i$ form a regular sequence, that is $S$ is a complete intersection possibly after adding more variables.
May 23, 2020 at 1:15 comment added Devlin Mallory Freeness of $\Omega_{S/k}$ is very closely related to smoothness of $S$ as a $k$-algebra (one has to assume also that it has the correct rank, to avoid issues with characteristic $p$); this should be in most commutative algebra resources. If $S$ is not smooth, then it seems a bit subtle exactly when $\Omega_{S/k}$ is reflexive, but in general one expects to have both torsion and cotorsion (see, e.g., arxiv.org/pdf/1012.5940.pdf for the failure of reflexivity for some fairly mild singularities).
May 22, 2020 at 23:13 history edited Plank CC BY-SA 4.0
added 683 characters in body
May 22, 2020 at 23:01 history asked Plank CC BY-SA 4.0