Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
1 answer
186 views

Proving that $H^1(X,\mathcal{Hom}(\mathcal{G},\mathcal{E})) \cong \text{Ext}^1(\mathcal{G},\mathcal{E})$ holds for locally free sheaves

The following passage is from a thesis I'm reading: Suppose we have a short exact sequence of vector bundles $$0 \to \mathcal{E} \to \mathcal{F}\to \mathcal{G} \to 0.$$ Since these sheaves are ...
Johannes's user avatar
1 vote
1 answer
454 views

Relationship between $H^1(X, \mathbb{T})$ and complex line bundles

Let $X$ be a compact metric space and consider the sheaf cohomology group $H^1(X, \mathbb{T})$. From a class in $H^1(X, \mathbb{T})$, I can get a principal $\mathbb{T}$-bundle over $X$ and from this, ...
Francine Laporte's user avatar
3 votes
1 answer
556 views

Elementary way to compute Hodge numbers of Grassmanian

I know that by using Hodge decomposition and the fact that Schubert cells are Hodge cycles you can compute the Hodge numbers of Grassmanian but is there a more elementary way to compute sheaf ...
ali's user avatar
  • 1,093
4 votes
0 answers
101 views

Serre vanishing on one-point blow-ups

This is basically the last step of problem 5.3.7 in Huybrechts' Complex Geometry. Let $X$ be a complex manifold, $x \in X$, $E$ a holomorphic vector bundle on $X$ and $L$ a positive line bundle. ...
Carlos Esparza's user avatar
2 votes
1 answer
839 views

Sheaf / de Rham cohomology of a stack with values in a complex of abelian sheaves

I am reading Differentiable Stacks and Gerbes to understand about (hyper) cohomology groups of a stack $\mathcal{X}$ with values in a complex $\mathcal{M}$ of abelian sheaves over $\mathcal{X}$. ...
Praphulla Koushik's user avatar
3 votes
0 answers
64 views

Canonical map in the direct image of $\mathscr{D}_X$

Let $f : X \to Y$ be a proper holomorphic map between holomorphic manifolds. We work with $\mathscr{D}$-modules. Consider the transfer bi-modules $\mathscr{D}_{Y\leftarrow X}.$ Can one find a ...
Noether's user avatar
  • 193
5 votes
0 answers
380 views

Does the de Rham complex induce a functorial soft resolution of the category of cochain complexes of sheaves of vector spaces on a smooth manifold?

I apologize in advance if this is pretty straightforward; I'm a differential geometer and physicist by training so my homological algebra and homotopy theory are a bit weak. Question: Let $M$ be a ...
ಠ_ಠ's user avatar
  • 6,025
9 votes
0 answers
571 views

In terms of sheaf cohomology, what does Bott & Tu's relative de Rham cohomology $H^\bullet(f)$ compute for $f: S \to M$ a smooth map?

Given a map $f: S \to M$ of smooth manifolds, Bott & Tu define on page 78 a complex by $\Omega^q(f)=\Omega^q(M) \oplus \Omega^{q-1}(S)$ and $d(\omega, \theta)=(d\omega, f^*\omega - d\theta)$ where ...
ಠ_ಠ's user avatar
  • 6,025
3 votes
1 answer
89 views

The sheaf propagation is open in the zero section

Let $X$ a smooth manifold and $F$ a sheaf (let's say of abelian groups) on $X$. We will say that $F$ propagates at $x\in X$ in the (co)-direction $p \in T_x^*X$ if for all $C^1$-function $\phi$ ...
C. Dubussy's user avatar
  • 1,017
8 votes
1 answer
1k views

Relative version of de Rham cohomology with local coefficients

Given a vector bundle $E \to M$ with connection $\nabla$, we get a twisted de Rham sequence using the exterior covariant derivative: $$\mathcal{E} \xrightarrow{d^\nabla=\nabla} \Omega^1_M \otimes_{\...
ಠ_ಠ's user avatar
  • 6,025
8 votes
0 answers
588 views

Can we use sheaf cohomology to say anything interesting for vector bundles with non-flat connections?

Given a vector bundle $E \to M$ with connection $\nabla$, we get a twisted de Rham sequence using the exterior covariant derivative: $$0 \to \mathcal{E} \xrightarrow{d^\nabla} \Omega^1_M \otimes \...
ಠ_ಠ's user avatar
  • 6,025
6 votes
1 answer
753 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 $\mathcal{I}_X/\mathcal{I}_X^...
user avatar
9 votes
1 answer
2k views

Sheaf cohomology with compact supports (and Verdier duality?)

Consider a manifold and a complex where cochains are sections of vector bundles and coboundary maps are differential operators, which are locally exact except in lowest degree (think de Rham complex). ...
Igor Khavkine's user avatar
17 votes
2 answers
2k views

How to Draw Complex Line Bundles

I am giving a presentation soon on the Classification of Complex Line Bundles and I would like to have some very "basic" visualizations to use as examples. Background and Context I am considering ...
cheyne's user avatar
  • 1,611
1 vote
1 answer
443 views

Is this Sequences of Complexes of Sheaves Exact?

So in another question of mine there is a sequence of complexes of sheaves which the author asserts is exact. Let $K^{\bullet} = \underline{\mathbb{C}}^* \ \underrightarrow{d\ log} \ \underline{...
cheyne's user avatar
  • 1,611
4 votes
0 answers
362 views

Weil Kostant Integrality Result as Stated by Brylisnki

I'm reading through Brylinski's "Loop Spaces, Characteristic Classes and Geometric Quantization" and I am stuck on a piece of Theorem 2.2.15, which asserts that If $K$ is a closed complex-valued 2-...
cheyne's user avatar
  • 1,611
2 votes
0 answers
238 views

Non-realizable CR structures?

Hill, Penrose, and Sparling have an example of a non-realizable CR structure, a 5-manifold $M^5$ that comes equipped with a "twisted version" of the Lewy operator for the quadric $Q^2$, $v = \frac{1}{...
Alex Castro's user avatar