Questions tagged [kahler-differentials]
Kähler differentials provide an adaptation of differential forms to arbitrary commutative rings or schemes.
46
questions
4
votes
0
answers
70
views
Universal derivations in complex analytic geometry
In algebraic geometry, we are used to the following universal property of K"ahler differential forms: Let $f: X \rightarrow S$ be a morphism of (Noetherian) schemes. Then there is a relative ...
- 111
3
votes
1
answer
333
views
Is there an analogue of the module of differentials for "higher order derivations" in the Hochschild/cyclic senses?
Note added by YC: the definition below of the cyclic sub-complex is incorrect; and the "higher order derivations" referred to here are traditionally known (since the 1940s) as n-cocycles.
$\...
- 9,387
2
votes
0
answers
62
views
How to get a concrete description of $\pi_*\Omega_{X/S}(Z)|_Z$, when $X \supset Z \to S$ is a finite extension of Dedekind schemes?
Let $X/S$ be a proper, smooth relative curve over a Dedekind scheme $S$, for example, $X = \mathbb{P}^1_S \xrightarrow{\pi} S$.
Suppose that $Z \to X$ is a horizontal effective Cartier divisor such ...
- 1,052
3
votes
0
answers
95
views
Logarithmic differentials on an arithmetic surface, and Poincaré residue
Suppose that $X$ is an arithmetic surface, i.e. $\pi: X \to S$ flat and relative dimension 1 over a Dedekind scheme $S$, and assume $X$ smooth.
Let $Y \subset X$ be a horizontal effective Cartier ...
- 1,329
3
votes
0
answers
112
views
Is the cohomology $H^1(X, \mathcal{E}^\nabla)$ trivial, for the sheaf of constants of an algebraic connection $\nabla$?
Suppose that $\pi:X\to S$ is a flat morphism between Noetherian, integral schemes (of characteristic zero, if need be).
Let $\mathcal{E}$ be a locally free sheaf on $X$, and
$$\nabla:\mathcal{E} \to \...
- 1,329
2
votes
0
answers
126
views
Exact sequence for low-degree terms of relative de Rham cohomology
Let $\varphi:X\to Y$ be a morphism of schemes, smooth of relative dimension 1. The de Rham cohomology $H^\bullet(X/Y)$ is the result of applying the derived functor $R^\bullet\varphi_*$ to the de Rham ...
- 1,329
2
votes
0
answers
49
views
Conditions for long exact sequence for line bundles on curve to degenerate?
Let $\varphi:X\to Y$ be a morphism of schemes of relative dimension 1, and $\mathcal{L}' \xrightarrow{g} \mathcal{L}$ an injection of line bundles on $X$.
The sequence
$$0\to \mathcal{L}' \xrightarrow{...
- 1,329
3
votes
1
answer
241
views
Confusion about the (Grothendieck–Poincaré) double dual of reflexive differentials vs usual differentials on a normal Cohen–Macaulay scheme
$\DeclareMathOperator\Hom{Hom}$Let $\mathcal{A}$ be an abelian category, my question is about the case when $\mathcal{A}$ is the category of quasi-coherent sheaves on a scheme $X$. There is a fully ...
- 61
4
votes
0
answers
233
views
Jet Nestruev's proof that the exterior derivative $d$ on a real line is not a Kähler differential $d_{C^\infty(\mathbb{R})/\mathbb{R}}$
The relation between the exterior derivative $d:C^\infty(\mathbb{R})\to\Omega^1\mathbb(\mathbb{R})$ and the Kähler differential $d_{C^\infty(\mathbb{R})/\mathbb{R}}:C^\infty(\mathbb{R})\to\Omega_{C^\...
- 1,565
0
votes
0
answers
72
views
Sufficient conditions for $b\not\in I^2$ given that $b\in I$
Let $I$ be an $R$-ideal in a commutative algebra $B$ over a commutative ring $R.$ Given $b\in I$ I want to prove that $b\not \in I^2$.
Are there any sufficient conditions for showing that $b\not\in I^...
- 1,565
2
votes
0
answers
133
views
$\Omega^1_{B_\bullet/A_\bullet}$ is acyclic if $A_\bullet \to B_\bullet$ is quasi-isomorphism
Let $A_\bullet \to B_\bullet$ be a quasi-isomorphism of simplicial rings in the sense of (P.62, I.3.1.7, Complexe Cotangent et Déformations I, Luc Illusie).
Then, we define the simplicial $B_\bullet$-...
- 435
3
votes
1
answer
287
views
Degeneration of Hodge-de Rham spectral sequence, exactness of a pairing and the trace morphism
If $X\longrightarrow S$, where $S=\operatorname{Spec}(k)$, is a proper smooth morphism of dimension $p$ between $\mathbb{F}_{p}$ schemes with Frobenius $F$, then there is an exact pairing $\wedge:\...
- 1,587
2
votes
1
answer
437
views
The left exactness of conormal sequence when $X$ is singular
When $X$ is a nonsingular variety over a field $k$ and Z is a closed nonsingular subvariety, it is known that the conormal sequence
$$
0\to\mathscr{I}/\mathscr{I}^2\to \mathscr{O}_Z \otimes_{\mathscr{...
- 129
5
votes
1
answer
297
views
Kähler differentials on an Artinian local ring
Suppose $R$ is a commutative Artinian local ring over an algebraically closed characteristic 0 field $k$. Suppose $f\in R$ is such that $df=0$ (in the sense that the element $df$ vanishes in the ...
- 2,716
2
votes
0
answers
83
views
Existence theorem for symmetric nondegenerate forms over a ring
There exists a rich theory for inner product spaces (i.e. vector spaces with a symmetric nondegenerate bilinear form) over fields, and it can be discussed in the context of local rings and free ...
- 317
0
votes
0
answers
146
views
non constant regular function derivative is zero
Let $R$ be a Noetherian regular $k$-algebra (where $k$ any field of char = 0) of dimension greater than 0. Is it true that $H^{0}_{dR}(R \lvert k) = k$?.
More generally we could ask, Is it true that $...
- 599
1
vote
0
answers
86
views
Commutative square of module of differential is cartesian?
Is it true that the following square is Cartesian? $\require{AMScd}$
\begin{CD}
R @>{d}>> \Omega^{1}_{R} \\
@VVV @VVV\\
\widehat{R} @>{ \widehat{d}}>> \Omega^{1}_{\widehat{R}}
\end{...
- 599
4
votes
1
answer
166
views
Categorical Kähler differentials and the Leibniz rule
From nlab, the module of Kähler differentials over some category $\mathcal{C}$ is the free functor:
$$\Omega: \mathcal{C} \to \mathsf{Mod_{\mathcal{C}}}$$
left-adjoint to the (forgetful) embedding:
$$...
- 1,393
4
votes
1
answer
485
views
When is the module of Kahler differentials free?
As the title says, when is the module of Kahler differentials a free module? In particular, are there known conditions or criterions that could be met that ensures that it will be free?
For example, ...
- 317
5
votes
0
answers
116
views
Is the module of Kähler differentials a coend?
Let $\phi\colon R\to S$ be a ring map. The module of Kähler differentials $\Omega_{S/R}$ of $\phi$ can be constructed as the following coequaliser:
$$\left(\bigoplus_{(a, b)\in S^2} S[(a, b)]\right) \...
- 9,387
1
vote
0
answers
252
views
Kähler differential of completion of algebra
Let $(R, \mathfrak{m}) $ be a local $k$- algebra and $\Omega^{1}_{R}$ denote the module of Kahler differential. Does the canonical map $ \Omega^{1}_{R} \otimes_{R} \hat{R} \rightarrow \Omega^{1}_{...
- 599
5
votes
1
answer
395
views
Residue of the canonical sheaf along subvariety
Let $S$ be a smooth projective surface over an
algebraically closed field $k$ and $C \subset S$ a singular curve. Let us denote by $K_S$ the class of canonical divisor of $S$ and $\mathcal{O}(K_S)$ ...
- 4,966
1
vote
0
answers
113
views
Module of Kahler differentials for manifolds [duplicate]
Let $A$ be a $k$-algebra and let $\mathcal{M}_A$ be the set of all $A$-modules. In $\mathcal{M}_A$, there exists a universal object $\Omega_{A/k}$, called the module of Kahler differentials, and a $k$...
- 111
2
votes
0
answers
136
views
Kaehler differentials of tensor products over another ring
Is this result well-known (or even true)?
Let
\begin{align*}
f:A & \to B\\
g:A & \to C
\end{align*}
be homomorphisms of finitely generate $k$-algebras and let
$R=B\otimes_{k}C$ and
$S=B\...
- 81
10
votes
0
answers
606
views
Are Kähler differentials the same as one-forms for compact manifolds?
Let $M$ be a manifold and let $A = \mathcal{C}^\infty(M)$ be the ring of smooth real-valued functions.
An old posting asks about the relationship of Kähler differentials and ordinary differential ...
user13113
11
votes
3
answers
1k
views
Quotient of a smooth curve by a finite group and differentials
Let $X$ be a proper smooth connected curve over an algebraically closed field $k$ of characteristic $0$, and suppose that $X$ is equipped with a $k$-linear action of a finite group $G$. It makes sense ...
- 2,613
4
votes
1
answer
410
views
Why should the Kaehler form be closed? [closed]
As the question says, why should the Kaehler form be closed? Like people start from a fundamental 2-form (say, a 2-from $\mathcal{K}$) and then set they set the condition that in order for the ...
6
votes
2
answers
893
views
Differentials for algebraic stacks
Let $S$ be a base scheme. For which algebraic stacks $X$ over $S$ can we define a sheaf of differentials $\Omega^1_{X/S}$ (classifying derivations)? Probably it works when $X$ is Deligne Mumford ...
- 58.7k
3
votes
0
answers
202
views
A question on Kähler differentials and cotangent spaces on schemes
I have the following question (should be easy for those who know something about the field):
On page 92 (97 of the old edition) of Mumford's book "Abelian varieties", the author talks about an ...
- 39
1
vote
0
answers
150
views
Surjectivity of global sections of sheaf of Kaehler differentials
By a curve I mean a scheme of pure dimension $1$.
Let $C_1, C_2$ be a local complete intersection curve in $\mathbb{P}^3$ such that $C_1 \cap C_2$ are finitely many points. Assume further that $C:=...
- 2,013
16
votes
1
answer
1k
views
How can one interpret homology and Stokes' Theorem via derived categories?
I am very far removed from being an expert on derived categories. Every few months, however, I read a different introductory text with the hope that eventually I will have some basic grasp on this ...
- 6,088
3
votes
1
answer
248
views
How to prove this algebra is flat?
Hi,
Let $S = R[T_1,\dots,T_n]/(f_1,\dots,f_r)$ where $\det(\partial f_i/\partial T_j)_{i,j=1,\dots,r}\in S^\times$. Then $S$ is flat over $R$. How to prove it?
I am not looking for an answer like: "$...
- 2,742
15
votes
3
answers
2k
views
algebraic de Rham cohomology of singular varieties
Hi,
Is there a simple example of an (affine) algebraic variety $X$ over $\mathbb C$ where
the $H^*_{dR}(X/\mathbb C) = H^*(\Omega^\bullet_{A/\mathbb C})$ differs from the singular cohomology $H^*_{...
- 2,742
1
vote
0
answers
126
views
de Rham complex of closed immersion between smooth schemes
Hi,
Let $R$ be a $\mathbb Q$-algebra and let $P$ and $Q$ be (EDIT: smooth) $R$-algebras such that there is a surjective
map of $R$-algebras $Q\to P$. The following proof cannot possibly be correct, ...
- 2,742
1
vote
0
answers
79
views
smooth algebras and triviality of de Rham complex
Hi,
Let $R$ be a $\mathbb Q$-algebra and let $A$ be a smooth $R$-algebra. If $A$ is a polynomial algebra
$A = R[T_1,\dots,T_n]$, then it is easy to see that the natural map
$R \to \Omega^\bullet_{A/R}...
- 2,742
4
votes
0
answers
1k
views
Generalized Euler sequence on a projective scheme
Let $\mathcal{E}$ be a quasi-coherent sheaf on a scheme $S$. Consider the projective scheme $p : \mathbb{P}(\mathcal{E}) \to S$ and the canonical epimorphism $p^*(\mathcal{E}) \to \mathcal{O}_{\mathbb{...
- 58.7k
0
votes
1
answer
412
views
recurrence formula for *i*-th Chern class of $CP^n$
one can show that the relation between first Chern class and second Chern class of $CP^n$ is
$\frac{2(n+1)}{n} c_2 (M)=c_1 (M)^2$
here $c_1 (M)^2=c_1 (M)∧c_1 (M)$.
So is there any recurrence ...
user21574
11
votes
2
answers
1k
views
Do smooth ind schemes have Dualizing sheafs?
Say I have an ind scheme $X = \cup_i X_i$ over a field $k$. I have its tangent bundle $\hom_k(k[\epsilon], X)$ which I can think of as ind scheme via $\cup_i \hom_k(k[\epsilon],X_i)$. The problem is ...
- 3,908
5
votes
0
answers
432
views
If $p=0$ and $df=0$, is $f$ a $p$th power?
This question is a follow-up to When does the relative differential $df=0$ imply that $f$ comes from the base?. There it was asked, for an $A$-algebra $B$, under what conditions does $df=0$ (in the ...
- 4,317
2
votes
1
answer
358
views
Maximal Ideals and Kahler Differentials
For an algebraic variety $V$, denote its ring of regular functions by ${\cal O}(V)$. The Kahler differentials of $V$ are the quotient of the kernel $M$ of the multiplication map
$$
m: {\cal O}(V) \...
- 1,412
3
votes
2
answers
1k
views
Flatness of sheaf of relative Kahler differentials
Suppose we have a projective flat non-smooth morphism of Noetherian schemes $g: X \rightarrow S$. My question regards when the sheaf of relative Kahler differentials $\Omega_{X/S}$ is flat over $S$. ...
- 187
4
votes
3
answers
859
views
wedge product of second chern class and kahler form on Calabi-Yau 3-folds.
Let $X$ be a smooth Calabi-Yau 3-fold with Kahler form $w$,
It is true that $\int c_2(TX) \wedge w \geq 0$ (for any Kahler form $w$ on $X$).
Proof via algebraic geometry is rather difficult. Some ...
4
votes
1
answer
2k
views
complex gradient of a function
Let $M$ be a complex $n-$dim manifold and $u : M \rightarrow \mathbb{R}$ be some smooth function. On $M$ assume that we have a Kaehler metric $h$. How is the complex gradient vectorfield defined with ...
- 41
6
votes
1
answer
469
views
Are Kahler differentials the same on the affine closure on a quasi-affine scheme?
Let $X$ be a quasi-affine scheme; that is, the natural map
$$X\rightarrow \overline{X}:=Spec(\Gamma(X,\mathcal{O}_X))$$
is an inclusion. Each scheme has a quasi-coherent sheaf of Kahler ...
- 12.4k
9
votes
2
answers
2k
views
Diagonal map and "infinitesimal points"
Let $f:X\to Y$ be a morphism between schemes. To construct the relative sheaf of differentials on $X$ (relative to $Y$), we first consider the diagonal map $\Delta: X \to X\times_Y X$ and then define $...
- 1,482
4
votes
0
answers
196
views
Kahler differentials and the m-adic filtration
Let $A$ be a comm. local $k$-algebra with max. ideal $m$. Let $gr(-)$ be the associated graded algebra or module for the $m$-adic filtration. The canonical derivation $d:A \to \Omega^1_A$ satisfies $...
- 998