Images directes en cohomologie cohérente
Cet article est le premier d’une série de trois articles consacrés aux images directes d’isocristaux : ici nous considérons des isocristaux sans structure de Frobenius ; dans le deuxième [Et 6] (resp. le troisième [Et 7]), nous introduirons une structure de Frobenius dans le contexte convergent (resp. surconvergent).Pour un morphisme propre et lisse relevable nous établissons la surconvergence des images directes, grâce à un théorème de changement de base pour un morphisme propre entre espaces rigides...
Nous désirons savoir si l’opérateur différentiel d’ordre , où est une matrice à coefficients rationnels, a un indice dans l’espace des fonctions analytiques dans une boule; dans le cas où cet indice existe nous voulons aussi le calculer. Dans le cas où nous montrons l’existence d’un indice (si l’exposant de l’opérateur n’est pas Liouville -adique) et nous montrons comment calculer cet indice. De même nous savons montrer l’existence d’un indice et comment calculer cet indice lorsque le système...
We introduce the notion of an instanton bundle on a Fano threefold of index 2. For such bundles we give an analogue of a monadic description and discuss the curve of jumping lines. The cases of threefolds of degree 5 and 4 are considered in a greater detail.
We study a class of torsion-free sheaves on complex projective spaces which generalize the much studied mathematical instanton bundles. Instanton sheaves can be obtained as cohomologies of linear monads and are shown to be semistable if its rank is not too large, while semistable torsion-free sheaves satisfying certain cohomological conditions are instanton. We also study a few examples of moduli spaces of instanton sheaves.
Let be two regular functions from the smooth affine complex variety to the affine line. The associated exponential Gauß-Manin systems on the affine line are defined to be the cohomology sheaves of the direct image of the exponential differential system with respect to . We prove that its holomorphic solutions admit representations in terms of period integrals over topological chains with possibly closed support and with rapid decay condition.
We extend the methods developed in our earlier work to algorithmically compute the intersection cohomology Betti numbers of reductive varieties. These form a class of highly symmetric varieties that includes equivariant compactifications of reductive groups. Thereby, we extend a well-known algorithm for toric varieties.