The tag has no usage guidance.

learn more… | top users | synonyms

3
votes
2answers
182 views

Equivalence of different cohomology groups

Let $X$ be a topological space (may be assumed to be locally compact). Let $A$ be either a field or $\mathbb{Z}$. One can consider various cohomology groups: (1) singular cohomology ...
4
votes
1answer
154 views

On push-forward of the constant sheaf for fibrations

Let $f\colon E\to B$ be a fiber bundle with a connected fiber $F$, $f$ is proper. Let $\underline{\mathbb{C}}_E$ be the constant sheaf on $E$. Let $f_*(\underline{\mathbb{C}}_E)$ denote its direct ...
4
votes
0answers
49 views

Reference request: local cohomology in disjoint union

I have a topological space $X$ and two disjoint, closed subspaces $Y$ and $Z$ of $X$. I believe that in this situation, for any abelian sheaf $\mathcal{F}$ on $X$ and any $p \in \mathbb{N}$, there is ...
3
votes
0answers
121 views

First sheaf cohomology $H^1(\mathscr{O}_D, \mathbb{D})=0$

Given a finite divisor$$D=p_1+\dots +p_m -q_1 -\dots -q_n$$on the unit disk $\mathbb{D}$, does it necessarily follow that the first sheaf cohomology group equals zero, i.e.$$H^1(\mathscr{O}_D, ...
5
votes
0answers
128 views

Push forward of the constant sheaf for a Serre's fibration

Let $f\colon X\to Y$ be a proper continuous map of topological spaces which is a Serre's fibration. $X$ and $Y$ may be assumed to be locally compact, $Y$ is connected topological manifold of finite ...
6
votes
0answers
158 views

“Flat” and “Affine” morphisms of smooth manifolds

Let $f: X \to Y$ be a qcqs morphism of qcqs schemes. We have the following characterizations: $f$ is flat $\iff$ $f^*:QCoh(Y) \to QCoh(X)$ is exact. $f$ is affine $\iff$ $f_*: QCoh(X) \to QCoh(Y)$ ...
5
votes
1answer
112 views

Homology in the sections of an infinite exact sequence of injective sheaves of $\mathcal O_X$-modules?

Let $(X, \mathcal O_X)$ be a scheme and the following an infinite, exact sequence of injective sheaves of $\mathcal O_X$-modules: $$ \cdots \overset{f_5}\longrightarrow I_5\overset{f_4}\longrightarrow ...
2
votes
2answers
139 views

Sections of a sheaf of differentials on a weighted complete intersection

Let $X\subset\mathbb{P}(a_0,...,a_N)$ be a smooth $n$-dimensional weighted complete intersection in a weighted projective space $\mathbb{P}(a_0,...,a_N)$. Is it true that if $q\geq 1$ then ...
0
votes
0answers
52 views

Cohomology adding the infinite point

Let $F$ be a closed subset of $\mathbb{C}$. (We assume $F \neq \emptyset, F \neq \mathbb{C},$ and $0 \notin F$.) Of course $F$ is not a closed subset of $\overline{\mathbb{C}}$ in general but it ...
0
votes
0answers
116 views

Canonicity of Cech cohomology

For a topological space X, consider the Leray covering U_λ(i.e. ∩U_λ is sufficiently fine, e.g. affine for Zariski topology) of X. For a sheaf F on X, the cohomology H^i(X,F) is calculated via Cech ...
3
votes
2answers
355 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?
4
votes
1answer
176 views

Does the nearby cycle functor commute with the Verdier duality?

I would be interested to know the answer to the above question for the constructible bounded derived category on complex analytic or complex algebraic manifolds (or some other context). A reference ...
6
votes
1answer
174 views

Sections of the conormal bundle

Let $X\subset\mathbb{P}^N$ be a quadratic manifold. That is $I(X)$ is generated by quadratic polynomials $Q_1,...,Q_m$. Let $\mathcal{I}_X$ be the ideal sheaf of $X$ and ...
5
votes
1answer
210 views

Birational Invariants

Let $X$ be a smooth rational variety of dimension $n$. We have $\dim H^0(X,\Omega_X^p) = \dim H^0(\mathbb{P}^n,\Omega_{\mathbb{P}^n}^p)$ for any $p$. These are Hodge numbers. I know that we can not ...
2
votes
2answers
295 views

H. Cartan's “Variétés analytiques complexes et cohomologie”?

Does anyone know where I might find an online version (for free or purchase, translated or in french) of this paper by Henri Cartan from 1953? I know it was published in Colloque sur les fonctions de ...
4
votes
0answers
137 views

Proper base change for non-quasicoherent sheaves

For a proper flat map $f: X \to Y$ (of reasonable schemes) and a closed embedding $i: Y' \to Y$, we know by EGA the base change quasi-isomorphism, where $f'$ and $i'$ are the pullbacks of $f$ and $i$: ...
4
votes
0answers
108 views

Cohomology of $Sym^m Q \otimes Sym^k Q \otimes L^p$

Let $V$ be a complex vector space. Let $L=\mathcal{O}(-1)$ and $Q=V/L$ be the quotient bundle over $\mathbb{P}V$. I'm trying to compute the cohomologies with coefficients in $Sym^m Q \otimes Sym^k Q ...
0
votes
0answers
57 views

Applicability of Scheja's theorem

First, let me begin by recalling Scheja's (cohomology extension) theorem. Let $X$ be a complex manifold of dimension $n$ and $Z\subset X$ a complex submanifold of dimension $d.$ Let $\mathcal{F}$ be ...
3
votes
1answer
140 views

For what kind of sheaves can we always extend a sheaf map from a closed subset to the whole space?

Let $X$ be a topological space. We know that a sheaf on $X$ is call soft if for any closed subset $Z$ of $X$, a section on $Z$ can be always extend to a section on $X$. Now we consider a similar ...
11
votes
1answer
299 views

Hodge to de Rham spectal sequence with twisted coefficients

Let $M$ be a smooth compact Kahler manifold and let $\mathcal{F}$ be a local system on $M$. Question 1: I assume that there exists a twisted Hodge to de Rham spectral sequence converging to ...
7
votes
1answer
347 views

Local cohomology groups and linearity

I am reading local cohomology and am confused on a silly point. Let $U$ be an affine, non-singular variety and $Z \subset U$ a hypersurface section on $U$ (i.e., complete intersection in $U$ of ...
5
votes
1answer
91 views

Injective model structure on sheaves of bounded complexes of $A$-modules

The following might be very well known for people who works with model categories, but I do not find the answer. Let $A$-be a ring. Denote $\mathbf{Ch}_+(A)$ the category of positive degree cochain ...
3
votes
2answers
163 views

Vanishing of sheaf cohomology with compact support

Let $X$ be a smooth manifold. Let $F$ be a sheaf of $\mathbb{R}$-vector spaces on $X$. I have three closely related questions. 1) Under what sufficient conditions on $F$ for any compact subset ...
1
vote
0answers
153 views

Importance and intuition of global sections in sheaf cohomology

I am trying to understand why global sections of a sheaf are "important" or interesting objects of study. Perhaps I have too weak of a background to appreciate it (and that is certainly an acceptable ...
6
votes
1answer
197 views

Do general sheaves on P^2 have cohomology governed by their Euler characteristic?

Suppose $\xi$ is chern character on $\mathbb P^2$. Then there is a moduli space $M(\xi)$ of semistable sheaves of chern character $\xi$. If $\xi$ has Euler characteristic 0, then apparently there is ...
3
votes
0answers
68 views

$H^{1}(C, N_{C/X}(-m)) = 0$, for $C$ a irreducible curve on $X$ through $m$ general points

I was reading A. de Jong and J. Starr's paper "Low degree complete intersections are rationally simply connected", which can be found at http://www.math.stonybrook.edu/~jstarr/papers/nk1006g.pdf, and ...
8
votes
5answers
2k views

Non-cohomological proof that the pullback of an ample bundle by a finite morphism is ample

It is a standard fact that for any finite morphism of proper Noetherian $A$-schemes ($A$ being Noetherian), the pullback of an ample line bundle is ample. The usual proof of this fact is via Serre's ...
1
vote
0answers
61 views

Picard sequence for sujective morphisms

Given $\phi:X\rightarrow Y$ a surjective morphism of $k$-algebraic varieties ($k$ separably closed), I wanted to find how the write an exact sequence involving Pic(X) and Pic(Y). We can use the long ...
8
votes
4answers
947 views

Is there a (satisfying) proof that cellular cohomology is isomorphic to simplicial cohomology that doesn't use relative cohomlogy?

That singular and de Rham cohomologies of a smooth manifold are isomorphic has two proofs that I know of. The classical one uses Stokes' theorem to give the isomorphism explicitly. The second proof ...
3
votes
1answer
373 views

What is $h^0(\mathcal O_F)$ where $F$ is a fiber of a normal surface over a smooth curve?

Lately I am studying the bend-and-break, and I follow the proof in the following note written by Olivier Debarre: http://www.math.ens.fr/~debarre/M2.pdf There is a detail that I just cannot go ...
0
votes
0answers
50 views

constructibility for pushforward

Let consider a quasicompact open $j:U\rightarrow\mathbb{A}^{\mathbb{N}}$ over a field $k$, Is there an example where $Rj_{*}\mathbb{Z}/n\mathbb{Z}$ is not constructible, where $n$ is prime to the ...
3
votes
0answers
95 views

Action of automorphisms on cohomology with supports

Let $x$ be the closed point of an $n$-dimensional local scheme $X$, essentially smooth over a field $k$. Let $M$ be a sheaf on the category of smooth $k$-varieties (in either Zariski or Nisnevich ...
1
vote
1answer
136 views

Is there a nonzero sheaf with all cohomologies vanish?

Is there a topological space $X$ with a nonzero sheaf $\mathcal{F}$ of abelian groups such that $H^i(X,\mathcal{F})=0$ for all $i=0,1,2...$?
3
votes
0answers
135 views

Deformation of vector bundle on projective space with same Hilbert polynomial as multiple of structure sheaf

Let $E$ be a vector bundle on projective space ${\bf P}^n$ whose Hilbert polynomial is the same as $\mathcal{O}^{{\rm rank}(E)}$. Does there exist a vector bundle over ${\bf P}^n \times {\rm ...
5
votes
1answer
156 views

Coverings/Cech cohomology of totally disconnected spaces

For any topological space $X$ we have a natural functor $\text{Cov}_X \rightarrow \text{Fun}(\pi_1(X),\text{Set})$ from the category of coverings of $X$ to the category of functors $\pi_1(X) ...
3
votes
0answers
216 views

Does the higher cohomology of a quasi-coherent sheaf on a Stein manifold vanish?

It is a well-known result in algebraic geometry that if $X$ is an affine scheme and $\mathcal{F}$ is a quasi-coherent sheaf on $X$, then the higher cohomologies of $\mathcal{F}$ vanish, i.e. $$ ...
0
votes
1answer
408 views

Axioms for sheaf cohomology

Let $R$ be a commutative ring and $X$ a topological space. Define a sheafy cohomology theory (see here) to be a collection of functors $\mathrm{H}^q:\mathrm{Sh}(X;R\mathrm{Mod})\to R\mathrm{Mod}$ such ...
4
votes
2answers
297 views

Exact sequence of groups to exact sequence of sheaves

Disclaimer: This is a cross-listing of a math.stackexchange post. While not research level, after a week of no response, I figured I would ask it here. For a topological group $G$ and a topological ...
1
vote
0answers
270 views

Intuitive Approach to Sheaf and Cech Cohomology [closed]

Sheaf and Cech cohomology $H^*(X,\mathcal{F})$ (which give the same result when applied to good enough topological spaces) are a useful generalisation of the concepts of de Rham and Dolbeault ...
0
votes
0answers
131 views

Cohomology of pushforward under the double cover

Given a double cover $\pi: C \to \mathbb P^1$, where $C$ is a genus $g$ curve over algebraically closed field, I want to compute the group $\mathrm H^1(\mathbb P^1, \pi_*\mathbb G_m)$ in flat ...
3
votes
2answers
633 views

Hartshorne Proposition III 8.1

In the proposition mentioned in the title, Hartshorne states that for each $i\geq 0$ the higher direct image sheaf $R^if_*\mathcal F$ is exactly the sheafification of the presheaf given by $V \mapsto ...
4
votes
1answer
328 views

Leray's theorem up to some degree

I am interested in the proof of Leray's theorem that relates Čech cohomology and sheaf cohomology. The theorem states that if we have a space $X$, a sheaf $\mathcal{F}$ and a covering of $X$ such ...
2
votes
1answer
206 views

Proving the Eichler-Shimura Isomorphism defines a global section

Let $ f \in S_k(\Gamma)$ be a weight k modular cusp form of level $\Gamma$, with modular curve $Y_{\Gamma}$. Let $V^{k-2}$ be the homogenous polynomials in X and Y of degree k-2 with complex ...
0
votes
1answer
137 views

cohomology of an intermediate extension of a local system

Let $V$ be affine $n$-space over a field $k$; and $j \colon U \to V$ an open subscheme of $V$. Let $L$ be an $\ell$-adic local system on $U$. Suppose the cohomology of $H^{\bullet}(U,L)$ does not ...
1
vote
0answers
107 views

Help understanding the proof of a theorem about Cohomology of vector Bundles

I am trying to understand a paper called Betti tables of graded modules and cohomology of vector bundles, but i am stuck in Proposition 6.8 which states: Let $\mathcal{E}$ be a vector bundle on ...
4
votes
0answers
115 views

$A_\infty$ structure on sum of twists of structure sheaf

Fix $n$ and let $P^n$ be projective $n$-space. Let $S = k[x_0, \dots, x_n]$. Set $A^0 = \bigoplus_{d \ge 0} H^0(P^n, \mathcal{O}(d))$ and $A^n = \bigoplus_{d < -n} H^n(P^n, \mathcal{O}(d))$. I ...
1
vote
2answers
206 views

Sheaf cohomology on non paracompact topological spaces

I have some confusion on the subject of sheaf cohomology on non-paracompact topological spaces, i hope you can help me. My reference is Godement's book "Topologie algebrique et theorie dex ...
17
votes
3answers
1k views

Classification of rings satisfying $a^4=a$

We have the famous classification of rings satisfying $a^2=a$ (for each element $a$) in terms of Stone spaces, via $X \mapsto C(X,\mathbb{F}_2)$. Similarly, rings satisfying $a^3=a$ are classified by ...
2
votes
0answers
227 views

l-adic cohomology and perverse sheaves

Let consider the map $tr:\mathbb{G}_{m}^{n}\rightarrow\mathbb{A}^{1}_{\mathbb{F}_{q}}$ given by the sum of the coordinates and let $\psi:\mathbb{F}_{q}\rightarrow\mathbb{Q}_{l}^{*}$ a non trivial ...
4
votes
1answer
396 views

Construction of generalized Eilenberg-MacLane spaces

The Eilenberg-MacLane spaces $K(G,q)$ are readily generalized to study cohomology with local coefficients.The generalized Eilenberg-MacLane space $K_{\pi}(G,q)$ are spaces with only two nnvanishing ...