The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
2answers
338 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 ...
1
vote
0answers
79 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 ...
1
vote
0answers
93 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 ...
13
votes
1answer
520 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 ...
3
votes
1answer
201 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: ...
4
votes
1answer
282 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 ...
1
vote
0answers
101 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, ...
1
vote
0answers
69 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 ...
2
votes
0answers
363 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 ...
0
votes
1answer
243 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 ...
8
votes
0answers
360 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 ...
4
votes
0answers
331 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 ...
2
votes
1answer
314 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) ...
2
votes
2answers
472 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$. ...
3
votes
2answers
472 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 ...
2
votes
1answer
1k 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 ...
5
votes
1answer
373 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 ...
7
votes
2answers
777 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 ...
2
votes
4answers
846 views

Noncompact Kahler manifolds with nonzero Ricci tensor but vanishing scalar curvature

Let us consider a noncompact K\"{a}hler manifold with vanishing scalar curvature but nonzero Ricci tensor. I'm wondering what can it tell us about the manifold. The example (coming from physics) has ...
4
votes
0answers
148 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 ...