Related papers: Beilinson-Parshin adeles via solid algebraic geome…

Let X be a variety over a field of characteristic 0. Given a vector bundle E on X we construct Chern forms c_{i}(E;\nabla) in \Gamma(X, \cal{A}^{2i}_{X}). Here \cal{A}^{.}_{X} is the sheaf Beilinson adeles and \nabla is an adelic…

We develop the deformation-obstruction calculus for morphisms of complexes with a fixed lift of the codomain, to derived categories of flat nilpotent deformations of abelian categories. As an application, we give an alternative proof that…

In this paper, we treat $\mathscr{D}$-modules on the basic affine space $G/U$ and their global sections for a semisimple complex algebraic group $G$. Our aim is to prepare basic results about large non-irreducible modules for the branching…

The higher direct image complex of a coherent sheaf (or finite complex of coherent sheaves) under a projective morphism is a fundamental construction that can be defined via a Cech complex or an injective resolution, both inherently…

We generalize the decomposition theorem for perverse sheaves to Artin stacks with affine stabilizers over finite fields.

We describe tilting modules of the deformed category O over a semisimple Lie algebra as certain sheaves on a moment graph associated to the corresponding block of category O. We prove that they map to Braden-MacPherson sheaves constructed…

We build an infinite dimensional scheme parametrizing isomorphism classes of coherent quotients of a quasi-coherent sheaf on a projective scheme. The main tool to achieve the construction is a version of Grothendieck's Grassmannian…

We explain a correct proof of the decomposition theorem for direct images of constant Hodge modules by proper K\"ahler morphisms of complex manifolds. We also give some examples showing certain difficulty in the non-constant Hodge module…

Given a semisimple element in the loop Lie algebra of a reductive group, we construct a quasi-coherent sheaf on a partial resolution of the trigonometric commuting variety of the Langlands dual group. The construction uses affine Springer…

We prove that invariant subbundles of the Kontsevich-Zorich cocycle respect the Hodge structure. In particular, we establish a version of Deligne semisimplicity in this context. This implies that invariant subbundles must vary polynomially…

We establish a "matrix simultaneous diagonalization theorem" for disconnected reductive groups which relaxes both the semisimplicity condition and the commutativity condition. As an application, we prove the following basic results…

In this article we extend Deligne's construction of Grothendieck's six operations on the derived category of torsion sheaves over the \'etale site of a scheme for morphisms of finite type to a larger class of morphisms. This class includes…

Faltings proved that there are finitely many abelian varieties of genus $g$ over a number field $K$, with good reduction outside a finite set of primes $S$. Fixing one of these abelian varieties $A$, we prove that there are finitely many…

Ochiai has previously proved that the Beilinson-Kato Euler systems for modular forms interpolate in nearly-ordinary $p$-adic families (Howard has obtained a similar result for Heegner points), based on which he was able to prove a half of…

We construct a semi-orthogonal decomposition on the category of perfect complexes on the blow-up of a derived Artin stack in a quasi-smooth centre. This gives a generalization of Thomason's blow-up formula in algebraic K-theory to derived…

Gerstenhaber and Schack ([GS]) developed a deformation theory of presheaves of algebras on small categories. We translate their cohomological description to sheaf cohomology. More precisely, we describe the deformation space of (admissible)…

We study the question when a category of ind-objects is abelian. Our answer allows a further generalization of the notion of weakly Tannakian categories introduced by the author. As an application we show that, under suitable conditions,…

In the context of complex algebraic varieties, the decomposition theorem for semi-small maps provides a decomposition of the direct image of the constant sheaf. In this work, we develop a decomposition theorem for branched coverings of…

We give a theory of id\`eles with coefficients for smooth surfaces over a field. It is an analogue of Beilinson/Huber's theory of higher ad\`eles, but handling cycle module sheaves instead of quasi-coherent ones. We prove that they give a…

This paper provides a rigorous account on the geometry of forms on supermanifolds, with a focus on its algebraic-geometric aspects. First, we introduce the de Rham complex of differential forms and we compute its cohomology. We then discuss…