Related papers: Vanishing Theorems for constructible Sheaves on Ab…

We prove some injectivity, torsion-free, and vanishing theorems for simple normal crossing pairs. Our results heavily depend on the theory of mixed Hodge structures on compact support cohomology groups. We also treat several basic…

We prove some new results on the arithmetic of abelian varieties over function fields of one variable over finitely generated (infinite) fields. Among other things, we introduce certain new natural objects `discrete Selmer groups' and…

Motivated by the polynomial representation theory of the general linear group and the theory of symplectic singularities, we study a category of perverse sheaves with coefficients in a field $k$ on any affine unimodular hypertoric variety.…

For arbitrary field coefficients $\mathbb{K}$, we show that $\mathbb{K}$-perverse sheaves on a complex affine torus satisfy the so-called propagation package, i.e., the generic vanishing property and the signed Euler characteristic property…

We show that there is a natural perverse sheaf on the moduli space of semistable sheaves on a smooth projective Calabi-Yau 3-fold which is locally the perverse sheaf of vanishing cycles for a local Chern-Simons functional. This gives us a…

We prove that character sheaves have nilpotent singular support in any characteristic, partially extending the work of Mirkovic, Vilonen and independently Ginzburg to positive characteristic. We do this by introducing a category of tame…

We extend the usual projective Abel-Radon transform to the larger context of a smooth complete toric variety X. We define and study toric concavity attached to an algebraic splitting vector bundle on X and we prove a toric version of the…

We study ample divisors X with only rational singularities on abelian varieties that decompose into a sum of two lower dimensional subvarieties, X=V+W. For instance, we prove an optimal lower bound on the degree of the corresponding…

We introduce a notion of singular hermitian metrics (s.h.m.) for holomorphic vector bundles and define positivity in view of $L^2$-estimates. Associated with a suitably positive s.h.m. there is a (coherent) sheaf 0-th kernel of a certain…

We show that the compactly supported cohomology of Shimura varieties of Hodge type of infinite $\Gamma_1(p^\infty)$-level (defined with respect to a Borel subgroup) vanishes above the middle degree, under the assumption that the group of…

The cohomology of coherent sheaves and sheaves of Abelian groups on Noetherian schemes are interpreted in second order arithmetic by means of a finiteness theorem. This finiteness theorem provably fails for the etale topology even on…

The complete first order theories of the exponential differential equations of semiabelian varieties are given. It is shown that these theories also arises from an amalgamation-with-predimension construction in the style of Hrushovski. The…

For all algebraic groups over non-Archimedean local fields, the bounded cohomology vanishes. This follows from the corresponding statement for automorphism groups of Bruhat--Tits buildings, which hinges on the solution to the flatmate…

Let $X$ be a smooth projective curve over an algebraically closed field $k$. Let $\mathcal{G}$ be a parahoric group scheme on $X$ as in \cite{pr}. Via the principle of Hecke correspondences, we set-up relationships between the cohomology of…

It is usually not straightforward to work with the category of perverse sheaves on a variety using only its definition as a heart of a $t$-structure. In this paper, the category of perverse sheaves on a smooth toric variety with its orbit…

We define an equivalence relation among coherent sheaves on a projective variety called biliaison. We prove the existence of sheaves that are minimal in a biliaison class in a suitable sense, and show that all sheaves in the same class can…

We show that the cohomology table of any coherent sheaf on projective space is a convergent--but possibly infinite--sum of positive real multiples of the cohomology tables of what we call supernatural sheaves.

Fix a variety X with a transitive (left) action by an algebraic group G. Let E and F be coherent sheaves on X. We prove that, for elements g in a dense open subset of G, the sheaf Tor_i^X(E, g F) vanishes for all i > 0. When E and F are…

We prove that the higher direct images of the structure sheaf under a birational and projective morphism between excellent and regular schemes vanish.

We determine versal non-commutative deformations of some simple collections in the categories of perverse coherent sheaves arising from tilting generators for projective morphisms.