I want to compute the algebraic de Rham cohomology of $ \mathbb{C}^* $, and I’m confused. I don’t have much background in this, so I was hoping a very concrete example would clear up a lot of this confusion. So far: We have this cochain of $ \mathbb{C}[x,x^{-1}]$-modules: $0 \longrightarrow \mathbb{C}\longrightarrow \mathbb{C}[x,x^{-1}] \longrightarrow {\Omega}_{\mathbb{C}[x,x^{-1}]/\mathbb{C}}^1 \longrightarrow […]

The question is basically like this: Prove that if $S_{\cdot}$ is a finitely generated (in degree 1) graded ring over a field $k$ and $M_{\cdot}$ is finitely generated, then the saturation map $M_{n}\rightarrow\Gamma(\text{Proj}S_{\cdot},\widetilde{M(n)_{\cdot}})$ is an isomorphism for large $n$. The hint in [Hartshorne] says we can follow the hint in the proof of Theorem 5.19. […]

Let $F$ be a quasicoherent sheaf on a scheme $X$, which is supposed to be sufficiently nice. Does one then have a canonical isomorphism $Ext^1(F,F) \simeq H^1(X, \underline{End}(F))$, where with $\underline{End}(F)$ I denote the sheaf of endomorphisms of $F$. I know that this holds for $F$ locally free, but I read an article where this […]

Basically my question is why the sheaf $\mathcal{O}_X(n)$ is called the twisting sheaf, here $X=\operatorname{Proj}(S)$ and $S$ any graded ring.

On page 362 of Ravi Vakil’s notes, the author says “It turns out that the main obstruction to vector bundles to be an abelian category is the failure of cokernels of maps of locally free sheaves – as $\mathcal O_X$-modules – to be locally free; we could define quasi-coherent sheaves to be those $\mathcal O_X$ […]

I am looking for a certain way of proving the following : Let $f. X \rightarrow S$ be a morphism of schemes. Suppose that f is quasiseparated and quasicompact, or that X is noetherian. Let $\mathcal{G}$ be a locally free sheaf on S and $\mathcal{F}$ a quasicoherent sheaf on X. Show that we have a […]

In the context of commutative rings, a ring is completely determined by its category of modules. That is, two commutative rings $R$ and $S$ are isomorphic if and only if the category of $R$-modules is equivalent to the category of $S$-modules. In particular, we have the following result about affine schemes: If $X=(X,\mathcal O_X)$ is […]

This is a lemma from Hartshorne’s Algebraic Geometry. Let $X=\text{Spec}(A)$ be an affine scheme $f\in A, D(f)\subseteq X$. Let $\mathcal{F}$ be a quasi coherent sheaf on $X$. If $s\in \Gamma(X,\mathcal{F})$ is such that $s|_{D(f)}=0$ then for some $n>0$, $f^ns=0$. If $t\in \Gamma(D(f),\mathcal{F})$ then for some $n>0$ $f^nt$ extends to a global section of $\mathcal{F}$ over […]

I have a question on the ”functor of points”-approach to schemes and $\mathcal{O}_X$-modules. Please let me first write up a defintion. Let $Psh$ denote the category of presheaves on the opposite category of rings $Rng^{op}$. So $Psh$ is the category of functors from the category of rings $Rng$ to the category $Set$ of sets. Fix […]

In Hartshorne, Algebraic geometry it’s written, that for every scheme morphism $f: Spec B \to Spec A$ and $A$-module $M$ $f^*(\tilde M) = \tilde {(M \otimes_A B)}$. And that it immediately follows from the definition. But I don’t know how to prove it in simple way. Could you help me?

Intereting Posts

Is $\cos(\alpha x + \cos(x))$ periodic?
Closed form for $\sum_{k=1}^{\infty} \zeta(2k)-\zeta(2k+1)$
Let $L_p$ be the complete, separable space with $p>0$.
Quasiconvex and lower semicontinuous function
Arithmetic function to return lowest in-parameter
Why is there apparently no general notion of structure-homomorphism?
Approximating the integral of a curve using a sequence of line segments
Examples of Galois connections?
Partition function- without duplicates
What's the deal with integration?
Tensor product in dual-space
Probability of a player winning again after i games
Maps between projective varieties given in coordinates by homogeneous polynomials of the same degree not simultaneously vanishing are morphisms
What are the theorems in mathematics which can be proved using completely different ideas?
Behavior of the spectral radius of a convergent matrix when some of the elements of the matrix change sign