Frobenius semisimplicity for convolution morphisms

DOI10.1007/S00209-017-1946-4zbMATH Open1408.14067arXiv1602.00645OpenAlexW2964340373MaRDI QIDQ1650171FDOQ1650171

Authors: Thomas J. Haines, Li Li, Mark Andrea A. de Cataldo 

Publication date: 2 July 2018

Published in: Mathematische Zeitschrift (Search for Journal in Brave)

Abstract: This article concerns properties of mixed $ell$-adic complexes on varieties over finite fields, related to the action of the Frobenius automorphism. We establish a fiberwise criterion for the semisimplicity and Frobenius semisimplicity of the direct image complex under a proper morphism of varieties over a finite field. We conjecture that the direct image of the intersection complex on the domain is always semisimple and Frobenius semisimple; this conjecture would imply that a strong form of the decomposition theorem of Beilinson-Bernstein-Deligne-Gabber is valid over finite fields. We prove our conjecture for (generalized) convolution morphisms associated with partial affine flag varieties for split connected reductive groups over finite fields, and we prove allied Frobenius semisimplicity results for the intersection cohomology groups of twisted products of Schubert varieties. We offer two proofs for these results: one is based on the paving by affine spaces of the fibers of certain convolution morphisms, the other involves a new schematic theory of "big cells" adapted to partial affine flag varieties, and combines Deligne's theory of weights with a suitable contracting $mathbb{G}_m$-action on those big cells. Both proofs rely on our general result that the intersection complex of the image of a proper map of varieties over a finite field is a direct summand of the direct image of the intersection complex of the domain. With suitable reformulations, the main results are valid over any algebraically closed ground field.

Full work available at URL: https://arxiv.org/abs/1602.00645

Recommendations

• Connected components of closed affine Deligne-Lusztig varieties
• Koszul duality and semisimplicity of Frobenius
• Hecke algebras and affine flag varieties in characteristic \(p\)
• Twisted loop groups and their affine flag varieties. With an appendix by T. Haines and M. Rapoport.
• Characters of Reductive Groups over a Finite Field. (AM-107)
• Intersection complexes and unramified \(L\)-factors
• On Grothendieck-Serre's conjecture concerning principal \(G\)-bundles over reductive group schemes. II
• scientific article; zbMATH DE number 7089059
• Goresky-MacPherson calculus for the affine flag varieties
• On the motive of certain subvarieties of fixed flags

zbMATH Keywords

decomposition theoremconvolution morphism for affine flag varietiesintersection complexperverse sheaves over finite fields

Mathematics Subject Classification ID

Grassmannians, Schubert varieties, flag manifolds (14M15) Finite ground fields in algebraic geometry (14G15)

Cites Work

• Éléments de géométrie algébrique. IV: Étude locale des schémas et des morphismes de schémas. (Séconde partie)
• Title not available (Why is that?)
• Schubert varieties in twisted affine flag varieties and local models
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic geometry I. Schemes. With examples and exercises
• Linear algebraic groups.
• Smoothness, semi-stability and alterations
• Kac-Moody groups, their flag varieties and representation theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Koszul Duality Patterns in Representation Theory
• Weights of exponential sums, intersection cohomology, and Newton polyhedra
• Algebraic loop groups and moduli spaces of bundles
• La conjecture de Weil pour les surfaces K3
• Twisted loop groups and their affine flag varieties. With an appendix by T. Haines and M. Rapoport.
• Conformal blocks and generalized theta functions
• Some theorems on actions of algebraic groups
• Title not available (Why is that?)
• Contracting modules and standard monomial theory for symmetrizable Kac-Moody algebras
• On Koszul duality for Kac-Moody groups.
• Title not available (Why is that?)
• Reductive groups on a local field. II. Groups schemes. Existence of valuated root datum
• Pseudo-reductive groups.
• The Jordan-Hölder series for nearby cycles on some Shimura varieties and affine flag varieties
• Cells in affine Weyl groups and tensor categories
• The perverse filtration and the Lefschetz hyperplane theorem. II
• Koszul duality and semisimplicity of Frobenius
• Title not available (Why is that?)
• Title not available (Why is that?)
• Equidimensionality of convolution morphisms and applications to saturation problems.
• Borel-Moore homology, Riemann-Roch transformations, and local terms
• Proper Toric Maps Over Finite Fields

Cited In (10)

• THE INTERSECTION MOTIVE OF THE MODULI STACK OF SHTUKAS
• Smoothness of Schubert varieties in twisted affine Grassmannians
• Smith-Treumann theory and the linkage principle
• On the normality of Schubert varieties: remaining cases in positive characteristic
• On singularity properties of convolutions of algebraic morphisms
• Bott-Samelson-Demazure-Hansen varieties for projective homogeneous varieties with nonreduced stabilizers
• On the computation of the cohomological invariants of Bott-Samelson resolutions of Schubert varieties
• Grassmanniennes affines tordues sur les entiers
• The test function conjecture for parahoric local models
• Complex algebraic stacks and morphisms of intersection complexes

This page was built for publication: Frobenius semisimplicity for convolution morphisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1650171)