Skip to main content

All Questions

Filter by
Sorted by
Tagged with
19 votes
2 answers
3k views

Explaining Mukai-Fourier transforms physically

A core concept in mathematics, engineering, and physics is the Fourier Transform (FT) and its many variants (Generalized Fourier Series, Green's Function, Pontryagin duality). The basic algorithm is ...
Tom Copeland's user avatar
  • 10.5k
48 votes
8 answers
8k views

When are there enough projective sheaves on a space X?

This question is being asked on behalf of a colleague of mine. Let $X$ be a topological space. It is well known that the abelian category of sheaves on $X$ has enough injectives: that is, every ...
Pete L. Clark's user avatar
98 votes
10 answers
14k views

equivalence of Grothendieck-style versus Cech-style sheaf cohomology

Given a topological space $X$, we can define the sheaf cohomology of $X$ in I. the Grothendieck style (as the right derived functor of the global sections functor $\Gamma(X,-)$) or II. the Čech ...
Victoria Flat's user avatar
16 votes
3 answers
5k views

Do we have non-abelian sheaf cohomology?

Lets $X$ be a complex manifold (algebraic variety), $N$ an integer, and consider the sheaf $F$ defined by: $F(U)$ ={ holomorphic maps $f: U\rightarrow GL(N,\mathbb{C})$ } with multiplicative ...
Mohammad Farajzadeh-Tehrani's user avatar
16 votes
4 answers
2k views

Coboundaries and Gluing in Cech Cohomology - Intuition?

I'm trying to develop an intuition for Cech cohomology geometrically, but am currently failing. A lot of people seem to say that the groups $H^n$ measure obstructions to gluing local sections to get ...
Edward Hughes's user avatar
13 votes
1 answer
1k views

How is a Stack the generalisation of a sheaf from a 2-category point of view?

A stack is usually given in terms of: -A category $F$ fibered over another $C$ such that the functor $Hom(x,y), x,y \in F(\alpha), \alpha \in C$ is a sheaf -The descent data are effective. There ...
HaroldF's user avatar
  • 433
13 votes
1 answer
1k views

Sheaves on Contractible Analytic Spaces

Let $(X,\mathcal{O}_X)$ be a contractible complex analytic space. Suppose that $\mathcal{F}$ is a coherent sheaf of $\mathcal{O}_X$-modules. Can we invoke the fact that $X$ is contractible to conclude,...
Peter Crooks's user avatar
  • 4,920
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 ...
Gabriel's user avatar
  • 711
66 votes
4 answers
11k views

Is there a good way to think of vanishing cycles and nearby cycles?

Once in a while I run into literature that invokes vanishing cycle machinery with a cryptic sentence like, "this follows from a standard vanishing cycle argument." Is there a good way to look at ...
S. Carnahan's user avatar
  • 45.7k
62 votes
8 answers
14k views

Sheaf cohomology and injective resolutions

In defining sheaf cohomology (say in Hartshorne), a common approach seems to be defining the cohomology functors as derived functors. Is there any conceptual reason for injective resolution to come ...
user avatar
45 votes
8 answers
14k views

How should one think about sheafification and the difference between a sheaf and a presheaf

The first time I got in touch with the abstract notion of a sheaf on a topological space $X$, I thought of it as something which assigns to an open set $U$ of $X$ something like the ring of continuous ...
roger123's user avatar
  • 2,782
36 votes
3 answers
4k views

What is the right version of "partitions of unity implies vanishing sheaf cohomology"

There are several theorems I know of the form "Let $X$ be a locally ringed space obeying some condition like existence of partitions of unity. Let $E$ be a sheaf of $\mathcal{O}_X$ modules obeying ...
David E Speyer's user avatar
35 votes
5 answers
4k views

Heuristic explanation of why we lose projectives in sheaves.

We know that presheaves of any category have enough projectives and that sheaves do not, why is this, and how does it effect our thinking? This question was asked(and I found it very helpful) but I ...
B. Bischof's user avatar
  • 4,842
34 votes
4 answers
15k views

When will the pushforward of a structure sheaf still be a structure sheaf?

Let $f:X\rightarrow Y$ be a morphism of schemes. When $PicY\rightarrow PicX$ is an embedding and $f_{*}\mathscr{O}_{X}$ is invertible, it is the structure sheaf of $Y$. In the proof of Zariski's Main ...
YOURS's user avatar
  • 563
22 votes
5 answers
6k views

Cohomology of Structure Sheaves: Algebraic, Constructible and more

I am not an algebraic geometer, but I am a topologist who uses sheaves. I have studied some algebraic geometry and am interested in what happens as I reduce the amount of rigidity in the structure ...
Justin Curry's user avatar
  • 2,684
21 votes
2 answers
2k views

Naive question about constructing constructible sheaves.

In algebraic geometry, an etale sheaf on a Noetherian scheme is called constructible if the scheme has a finite stratification by locally closed subschemes such that the pullback of the sheaf to each ...
Kevin Buzzard's user avatar
18 votes
4 answers
6k views

Derived categories of coherent sheaves: suggested references?

I am interested in learning about the derived categories of coherent sheaves, the work of Bondal/Orlov and T. Bridgeland. Can someone suggest a reference for this, very introductory one with least ...
J Verma's user avatar
  • 3,218
16 votes
3 answers
3k views

Physical interpretations/meanings of the notion of a sheaf?

I fairly understand the fiber bundles, both the mathematical concept of fiber bundles and the physics use of fiber bundles. Because the fiber bundles are tightly connected to the gauge field theory in ...
wonderich's user avatar
  • 10.5k
15 votes
2 answers
616 views

Is it true that $\operatorname{2-colim}_U \textsf{QCoh}(U) = \textsf{Vect}(K_X)$, as $U$ shrinks to the generic point?

Let $X$ be an integral scheme with function field $K$. If $U\subset X$ is an open subscheme, we may consider the restriction functor $$\textsf{QCoh}(X) \to \textsf{QCoh}(U).$$ I don't know much about ...
Gabriel's user avatar
  • 711
14 votes
2 answers
904 views

What's the easiest example of a morphism of topoi that is not from that of a site?

A topos is defined to be a category that's equivalent to the category of sheaves on a site. Morphisms between topoi is defined by a pair of adjoint functors that behave like pull-back/push-forward of ...
Yuhao Huang's user avatar
  • 5,052
11 votes
5 answers
8k views

When is the push-forward of the structure sheaf locally free

Let $f:X\longrightarrow Y$ be a morphism of noetherian schemes. Under what conditions is $f_\ast \mathcal{O}_X$ a locally free $\mathcal{O}_Y$-module? Example 1. Suppose that $f$ is affine. Then $f_\...
Ariyan Javanpeykar's user avatar
11 votes
1 answer
1k views

Etalé space construction for presheaves on a Grothendieck site

As it is described for example in [Mac Lane-Moerdijk, Sheaves in Geometry and Logic, II.6.], one can construct the sheafification functor very lucidly by associating to a presheaf a certain bundle (cf....
K Shao's user avatar
  • 623
10 votes
1 answer
495 views

Properties of the petit Zariski topos

What are some (intrinsically formulated) properties of the locally ringed topos $(\mathbf{Sh}(X),\mathcal{O}_X)$ for some scheme $X$, which do not hold for arbitrary locally ringed toposes? Is there, ...
HeinrichD's user avatar
  • 5,482
8 votes
2 answers
4k views

Sheaf cohomology question

For a topological space $X$ and a sheaf of abelian groups $F$ on it, sheaf cohomology $H^n(X,F)$ is defined. Singular cohomology of $X$ can be expressed as sheaf cohomology if $X$ is locally ...
Victor L.'s user avatar
  • 221
8 votes
1 answer
319 views

How are the left and the right group of a bitorsor related?

This question arose from my answer to To what extent does a torsor determine a group: it turns out that I do not know one thing about it. Let $G$, $G'$ be groups in some nice enough category (you may ...
მამუკა ჯიბლაძე's user avatar
7 votes
2 answers
796 views

Restriction of Ext sheaves

Let $f \colon X \to Y$ be a map of schemes, $\mathcal{F}, \mathcal{G}$ two coherent sheaves on $Y$. I'm interested in conditions which guarantee an isomorphism $$f^{*} \mathcal{E}xt^i(\mathcal{F}, \...
Andrea Ferretti's user avatar
6 votes
1 answer
760 views

The Yoneda pairing, hypercohomology, and cup product

Let $\mathcal{F}$ and $\mathcal{G}$ be coherent analytic sheaves on $\mathbb{P}^n$. Let $\mathcal{F}_\bullet$ be a locally free resolution of $\mathcal{F}$. In Principles of Algebraic Geometry by ...
Svinto's user avatar
  • 294
6 votes
2 answers
1k views

Explicit Direct Summands in the Decomposition Theorem

Let f:X→Y be a semismall resolution of singularities. Then the pushforward of the constant sheaf on X is a semisimple perverse sheaf on Y. Under these conditions, I know how to calculate the ...
Peter McNamara's user avatar
5 votes
0 answers
859 views

How to construct the espace étalé (space of sections) for an arbitrary category?

I want to consider the sheaf valued in an arbitrary category (not only of sets, groups, modules and so on) on a topological space, using the language of étalé space. In all references I am reading (...
Zhang Kongzheng's user avatar
5 votes
2 answers
985 views

Chern classes in flat families

Given a smooth projective variety $X$ over an algebraically closed field $k$. Now given a another projective variety $T$ and a coherent $O_{X\times T}$-module $F$, which is flat over $T$. Given $r,s \...
TonyS's user avatar
  • 1,391
5 votes
1 answer
512 views

Do we have $\underline{\operatorname{Ext}}^i_\text{fppf}(\mathbb{G}_a,\mathbb{G}_m)=0$ for $i>0$?

Let $k$ be a characteristic zero field and consider the category $(\mathsf{Sch}/k)_\text{fppf}$ of schemes over $k$ with the fppf topology. I know that $\underline{\operatorname{Hom}}(\mathbb{G}_a,\...
Gabriel's user avatar
  • 711
5 votes
1 answer
2k views

Natural morphism appearing in Grothendieck spectral sequence

Assume we are in the setting of the Grothendieck spectral sequence (Weibel, 5.8): $G : A \to B, F : B \to C$ are left exact functors such that $G$ sends injective objects to $F$-acyclic objects. Now ...
Martin Brandenburg's user avatar
4 votes
2 answers
809 views

Two basic questions on derived categories

Let $\mathcal{A}, \mathcal{B}$ be two abelian categories with sufficiently many injective objects (in my case these are categories of sheaves of vector spaces on a manifold). Let $f_*\colon \mathcal{A}...
asv's user avatar
  • 21.8k
3 votes
1 answer
550 views

Characterization of étale locally constant sheaves over a normal scheme

I have a question about the verification of remark 1.2 in James Milne's book Étale Cohomology stated on page 156: Assume $X$ be a normal & connected scheme with generic point $g: \eta \to X$. Then ...
user267839's user avatar
  • 6,028
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 ...
Bernie's user avatar
  • 1,025
2 votes
0 answers
144 views

Local freeness of $\pi_*F(r)$ from flatness of $F$

In 'Fundamental Algebraic Geometry' by Fantechi there is a lemma in section 5.3.2, page 119: LEMMA 5.5 Let $S$ be a noetherian scheme and let $F$ be a coherent sheaf on $\mathbb{P}^n_S$. Suppose there ...
user267839's user avatar
  • 6,028
1 vote
0 answers
141 views

Homeomorphic endomorphism of schemes inducing equivalence of sheaves

Let $F: X \to X$ to be an endomorphism of scheme $X$, which is additionally assumed to induce an universal homeomorphism on the underlying topological space $| X|$. Then it is known that this induces ...
user267839's user avatar
  • 6,028
1 vote
0 answers
654 views

Sheafification map is surjective

This is not a research level problem for sure. But, similar question was asked by some one else $2$ years back on Stack exchange has not received any attention. So, I thought it does not suit there....
Praphulla Koushik's user avatar
1 vote
1 answer
362 views

Coherent locally free sheaves on projective varieties

Let $k$ be a field, $X$ be a connected smooth projective $k$-scheme. Let $f:X\rightarrow X$ be a finite $k$-morphism that is surjective on the underlying topological spaces. Suppose $f$ has degree $n$....
user avatar
0 votes
0 answers
156 views

A stalk criterion for unit map to be an isomorphism on étale site

Let $f: X \to Y$ be a morphism of schemes and $\mathcal{F}$ sheaf of sets/Abelian groups on the small étale site $Y_{ét}$. Assume we manage somehow to show thatat every geometric point $\overline{y} \...
user267839's user avatar
  • 6,028
0 votes
0 answers
57 views

Lifting of quadrics containing hyperplane section for projectively normal curves

Let $C \subset \mathbb{P}^r$ be a projective curve (over $k=\mathbb{C}$), smooth, irreducible and nondegenerate of degree $d$, ie the embedding line bundle $\mathcal{O}_C(1)=(\mathcal{O}_{\mathbb{P}^r}...
user267839's user avatar
  • 6,028