Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
0 answers
212 views

Are there any relations between perverse t-structure (cohomologies) and standard t-structure (cohomologies)?

I'm reading the Corollary 3.2.3. in Exponential motives by J. Fresan and P. Jossen. The authors use the following statement in the proof of Corollary 3.2.3: let $C$ be any object in the derived ...
Mathstudent's user avatar
4 votes
1 answer
460 views

Perverse sheaves on the complex affine line

Show that a perverse sheaf on $\mathbb{A}^1(\mathbb{C})$ (the complex plane with the analytic topology) is a bounded complex $A$ of sheaves of $\mathbb{Q}$-vector spaces with constructible cohomology ...
Stabilo's user avatar
  • 1,479
5 votes
1 answer
437 views

Tensor product of perverse sheaves on flag varieties

I am interested in computing tensor products of perverse sheaves on (partial) flag varieties. For a specific example - consider the product of the big projective on $\mathbb{P}^1$ with itself (This is ...
Adam Gal's user avatar
  • 700
3 votes
0 answers
424 views

Stalks of perverse cohomology sheaves?

For a complex of sheaves $\cal{F}^{\bullet}$ on a variety $X$, a useful fact is that the stalks of the cohomology sheaves of $\mathcal{F}^{\bullet}$ agree with the cohomology groups of the complex of ...
Benighted's user avatar
  • 1,701
5 votes
1 answer
355 views

Base change and the octahedron axiom

I am trying to understand "de Cataldo, Migliorini. The perverse filtration and the Lefschetz hyperplane theorem. Annals of Mathematics, 171(2010), 2089-2113." My question is about one detail in the ...
Xudong's user avatar
  • 143
14 votes
2 answers
1k views

"Correct" definition of stratified spaces and reference for constructible sheaves?

It seems that the theory of constructible sheaves (in particular anything that goes into proving that they form an abelian category) requires some technical statements about existence of certain ...
Saal Hardali's user avatar
  • 7,789
1 vote
0 answers
86 views

derived invariants, perversity and modular coefficients

Let $\pi:X\rightarrow Y$ a Galois cover of finite type schemes over $\mathbb{C}$ of group $\Gamma$. Let $n$ an integer such that it is not prime with the order of $\Gamma$. Then $\pi_{*}\mathbb{Z}/n\...
prochet's user avatar
  • 3,472
0 votes
1 answer
235 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 ...
prochet's user avatar
  • 3,472
2 votes
0 answers
347 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 ...
prochet's user avatar
  • 3,472
1 vote
1 answer
243 views

How can one bound 'the lower perverse degree' for a constant sheaf on a variety that is smooth in high codimension?

Let $V$ be a variety (or a Whitney stratified space); $C$ is a constant etale ('topological') sheaf on it. Let $t$ denote the middle perverse t-structure for the corresponding derived category (of ...
Mikhail Bondarko's user avatar