An effective decomposition theorem for Schubert varieties

DOI10.1016/J.JSC.2023.102238MaRDI QIDQ6051112zbMATH OpenOpenAlexWikidataFDO

Authors Francesca Cioffi, Davide Franco, Carmine Sessa

Publication date 19 September 2023

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

decomposition theorem derived category Grassmannians intersection cohomology Kazhdan-Lusztig polynomials Leray-Hirsch theorem local systems perverse sheaves resolution of singularities Schubert varieties

Mathematics Subject Classification ID

Singularities in algebraic geometry (14B05) Global theory and resolution of singularities (algebro-geometric aspects) (14E15) Topological properties in algebraic geometry (14F45) Grassmannians, Schubert varieties, flag manifolds (14M15) Stratifications; constructible sheaves; intersection cohomology (complex-analytic aspects) (32S60) Topological properties of mappings on manifolds (58K15) Symbolic computation and algebraic computation (68W30)

Abstract: Given a Schubert variety

m a t h c a l S

contained in a Grassmannian

m a t h b b G_{k} (m a t h b b C^{l})

, we show how to obtain further information on the direct summands of the derived pushforward

R p i_{*} m a t h b b Q_{i l d e m a t h c a l S}

given by the application of the decomposition theorem to a suitable resolution of singularities

p i : i l d e m a t h c a l S i g h t a r r o w m a t h c a l S

. As a by-product, Poincar'e polynomial expressions are obtained along with an algorithm which computes the unknown terms in such expressions and which shows that the actual number of direct summands happens to be less than the number of supports of the decomposition.

Review text

Let \(S\) be a Schubert variety of a Grassmannian. Applying the decomposition theorem to a suitable resolution of singularities \(\pi\colon \tilde{S} \rightarrow S\), the authors study the direct summands of the derived pushforward \(R\pi_\ast \mathbb Q_{\tilde{S}}[\dim S]\) in terms of the perverse cohomology sheaves (see [\textit{M. A. A. de Cataldo} and \textit{L. Migliorini}, Bull. Am. Math. Soc., New Ser. 46, No. 4, 535--633 (2009; Zbl 1181.14001)]). In fact, these sheaves are direct sums of intersection cohomology complexes of the semisimple local systems \(L_{i j}\), each of which is supported on a suitable locally closed stratum of codimension \(j\), usually called a support of the decomposition. Among other things, the authors present an iterative algorithm (named KaLu) for computing the unknown terms in such expressions and its implementation (available at \url{https://github.com/CarmineSessa/KaLu}) in CoCoA system of algebraic computations [\textit{J. Abbott} et al., ``CoCoA: a system for doing computations in commutative algebra, \url{http://cocoa.dima.unige.it}]. In particular, they come to the conclusion that the actual number of direct summands happens to be less than the number of supports of the decomposition. They also compare in detail the presented approach with a series of other methods that have been used in different contexts and settings (see, e.g., [\textit{A. Lascoux} and \textit{M.-P. Schuetzenberger}, Astérisque 87--88, 249--266 (1981; Zbl 0504.20007)], [\textit{S. Billey} and \textit{V. Lakshmibai}, Singular loci of Schubert varieties. Boston, MA: Birkhäuser (2000; Zbl 0959.14032)], [\textit{F. Brenti}, Eur. J. Comb. 25, No. 8, 1151--1167 (2004; Zbl 1064.14062)], [\textit{F. du Cloux}, Exp. Math. 11, No. 3, 371--381 (2002; Zbl 1101.20304)], [\textit{F. Lübeck}, Trans. Am. Math. Soc. 373, No. 4, 2331--2347 (2020; Zbl 1444.20027)]).

Recommendations

Cites work

Cited in

(1)

On the computation of the cohomological invariants of Bott-Samelson resolutions of Schubert varieties

This page was built for publication: An effective decomposition theorem for Schubert varieties

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