All Questions
Tagged with sheaf-theory ac.commutative-algebra
24 questions
52
votes
7
answers
5k
views
What does a projective resolution mean geometrically?
For R a commutative ring and M an R-module, we can always find a projective resolution of M which replaces M by a sequence of projective R-modules. But as R is commutative, we can consider the affine ...
- 1,056
26
votes
1
answer
4k
views
Affine scheme on spec(A) of a ring A as the sheafification of a pre-sheave on spec(A)?
It is obvious that there is a parallel between the definition of structure sheaf of $\operatorname{Spec}(A)$
versus the sheafification of a pre-sheaf.
The definition of the sheaf $\mathscr F^+$ ...
- 363
18
votes
9
answers
2k
views
What representative examples of modules should I keep in mind?
So here's my problem: I have no intuition for how a "generic" module over a commutative ring should behave. (I think I should never have been told "modules are like vector spaces.") The only ...
- 118k
16
votes
2
answers
9k
views
Canonical Sheaf of Projective Space
I am stuck on one step that occurs without explanation in several Algebraic geometry books.
Starting from the exact sequence
$$0\rightarrow \Omega_{\mathbb{P}^n}\rightarrow \mathcal{O}_{\mathbb{P}^...
- 953
13
votes
2
answers
3k
views
Wikipedia's definition of 'locally free sheaf'
Let $R$ be a, say, noetherian ring and $M$ an $R$-module. The Wikipedia article on 'locally free sheaf' tells me that the following two statements are equivalent:
The module $M$ is locally free (Edit:...
- 2,782
11
votes
2
answers
1k
views
Is there a relation between Gelfand duality and the spectrum of a ring (with its Zariski topology)?
Compare the following two results:
Thm A) Let $A$ be a commutative $C^*$-algebra and let $X$ be its Gelfand spectrum. Gelfand duality says that there's a natural isometric $*$-isomorphism from $A$ to ...
- 711
3
votes
2
answers
488
views
Application of sheaves theory in ring theory
Is there any text that gives some applications of sheaves theory in commutative ring theory? In the other word, is any results in commutative ring theory that be verified by sheaves method?
- 49
3
votes
1
answer
284
views
Is this functor $\mathcal{F}: \text{Sch}/\mathbb{Q}\longrightarrow \text{Sets}$ a sheaf?
Consider the functor $\mathcal{F}: \text{Sch}/\mathbb{Q}\longrightarrow \text{Sets}$, defined by sending a scheme $X$ with coordinate ring $\mathcal{O}(X)$ to the set of orbits $B(\mathcal{O}(X))\...
- 2,907
3
votes
1
answer
195
views
Finitely generated sheaf of algebras over geometric points
I would like to ask if the following is true or not: Let $S$ a scheme and $X$ a $S$-scheme which is proper and flat. Let $\mathcal{F}$ a sheaf of $\mathcal{O}_{X}$-algebras over $X$. Let's suppose ...
- 439
3
votes
1
answer
201
views
Is this a true weakening of the quasi-coherence property?
Let $R$ be a commutative Noetherian ring, and $X=$Spec$(R)$ the associated affine scheme. Let $F$ be a sheaf of $O_X$-modules. Consider the following condition
(#) For all containments $V \subseteq ...
- 1,802
3
votes
1
answer
382
views
Is the perfection (perfect closure) presheaf a sheaf?
The perfection of a ring $A$ of prime characteristic $p$ is the perfect ring $A_\rm{pf}=$ lim{$A\to A\to ...$} where all maps are Frobenius. It does not commute with products, as was shown by YCor in ...
- 533
3
votes
1
answer
129
views
Infinite uniform dimension $\Rightarrow$ infinitely many idempotents in a localization of a quotient
Let $R$ be a commutative ring with $1$ such that its uniform dimension is infinity, equivalently, $$\sup\{k \mid R \text{ contains a direct sum of $k$ nonzero ideals }\}=\infty.$$ How can we ...
- 31
3
votes
0
answers
334
views
Which sheaves on a projective bundle are flat over the base scheme?
Assume $X$ is a noetherian scheme over $\mathbb{C}$ and $E$ a locally free sheaf of finite rank on $X$. Denote the the associated projective bundle by $f: \mathbb{P}(E)\rightarrow X$.
Are there any ...
- 1,025
2
votes
2
answers
451
views
Is a submodule of the sheaf of sections of a smooth vector bundle necessarily finitely generated?
Let $X$ be a finite-dimensional smooth manifold, $\mathcal C^\infty(X)$ its algebra of smooth functions, $V\to X$ a finite-dimensional smooth vector bundle, and $\Gamma(V)$ the space of smooth ...
- 54.6k
2
votes
1
answer
796
views
How does torsion behave under the direct image functor?
Assume we have a finite morphism $f: X\rightarrow Y$ of smooth projective varieties of degree $d$ over $k=\mathbb{C}$. Then $f_{*}$ induces an equivalence between the categoy of coherent $O_X$-modules ...
- 1,391
2
votes
1
answer
202
views
How to compute cup product of derived limits / presheaf cohomology
I have a finite category $\mathcal{C}$, along with a functor $F \colon \mathcal{C}^{\mathrm{op}} \to \mathsf{GradedCommRings}$. If $F_j$ is $j$-th graded piece of $F$, then I write $H^i(\mathcal{C},...
- 317
2
votes
0
answers
128
views
On the generalization of a Cech-to-sheaf type spectral sequence
Let $(X,O_{X})$ be a ringed space and $\mathcal{F^{\bullet}}$ be a bounded below complex of $O_{X}$-modules on $(X,O_{X})$. On [Stacks Project 20.25.1][1] it is shown that there is a weakly convergent ...
- 541
1
vote
1
answer
156
views
An ideal and its J-radical
Let $R$ be a commutative ring with $1$ and $I$ be an ideal of $R$. Now let $J=\cap_{I\subseteq m\in Max(R)}m$. Set $A:=\{p\in Spec(R): I\subseteq p\}$ and $B:=\{p\in Spec(R): J\subseteq p\}$, where $...
- 19
1
vote
0
answers
79
views
What is $\text{Hom}(\mathcal{F}\times\mathcal{G}, \mathbb{A}^1)$?
Let $S$ be an affine scheme and let $\text{Aff}(S)$ be the site of affine $S$-schemes. Let $\mathcal{F}$ and $\mathcal{G}$ be a pair of sheaves on $\text{Aff}(S)$, and let $\mathbb{A}^1_S$ be the ...
- 2,907
1
vote
0
answers
164
views
When every localization of the polynomial ring over a ring has finitely many idempotents
Let $R$ be a commutative ring such that every localization ring $R_r$ has finitely many idempotents for each non nilpotent element $r\in R$. Why dose every localization ring $R[x]_{f(x)}$ have ...
- 11
1
vote
0
answers
78
views
When minimal prime ideals are maximal with respect to not containing an element
Let $\{ P_i \}$ be the set of all minimal prime ideals of a commutative ring $R $. Is there any conditions on $R $ under which there exists an element $x\in R $ such that $P_i $ is an ideal of $R $ ...
- 11
1
vote
0
answers
167
views
When localization is indecomposable
We know that if $R $ is a domain then any localization of $R $ at any multiplicative subset of $R $ is indecomposable, that is, has no non trivial idempotents. Now let $R $ be a commutative ring with ...
- 29
1
vote
0
answers
85
views
A special family of prime ideals
I am looking for a commutative ring $R$ with identity which has a family $F:=\{p_i\}_{i\in A}$ of prime ideals such that for each $n\in \mathbb{N}$ there exists $m\in \mathbb{N}$ with $n\leqslant m$ ...
- 11
0
votes
0
answers
413
views
When are the cotangent and tangent sheaves isomorphic?
Let $X$ be an $S$-scheme. Under what conditions, if any, is the cotangent sheaf $\Omega_{X/S}$ isomorphic to the tangent sheaf $\Theta_{X/S}$ as $\mathcal{O}_X$- modules? For example, given a ...
- 327