Abstract
Let \(\mathcal S\) be a single condition Schubert variety with an arbitrary number of strata. Recently, an explicit description of the summands involved in the decomposition theorem applied to such a variety has been obtained in a paper of the second author. Starting from this result, we provide an explicit description of the Poincaré polynomial of the intersection cohomology of \(\mathcal S\) by means of the Poincaré polynomials of its strata, obtaining interesting polynomial identities relating Poincaré polynomials of several Grassmannians, both by a local and by a global point of view. We also present a symbolic study of a particular case of these identities.
Similar content being viewed by others
1 Introduction
In the paper [10], it was shown how one can obtain suitable polynomial identities from the study of the intersection cohomology of Schubert varieties with two strata (compare with [10], p. 115]). The aim of our work is to extend the same approach to Special Schubert varieties with an arbitrary number of strata, by showing that the Poincaré polynomials of their intersection cohomology naturally lead to a class of tricky polynomial identities. In the final “1”, we provide some of the numerical tests for the polynomial identities that we obtained in the meantime, and a symbolic study of a particular case.
The starting point of our analysis is the main result of the paper [13], which we now summarize. Let \(\mathcal S\) be a single condition Schubert variety or special Schubert variety of dimension n (see [5] , p. 328] and [18], Example 8.4.9]). As it is well known, \(\mathcal {S}\) admits two standard resolutions: a small resolution \(\xi : \mathcal {D}\rightarrow \mathcal {S}\) [18], Definition 8.4.6] and a (usually) non-small one \(\pi : \widetilde{{\mathcal {S}}}\rightarrow \mathcal {S}\) [20], Sect. 3.4 and Exercise 3.4.10]. We will describe both resolutions \(\pi \) and \(\xi \) in Sect. 2.4. By [15], Sect. 6.2] and [18], Theorem 8.4.7], we have
where \(IC^{\bullet }_{\mathcal {S}}\) denotes the intersection cohomology complex of \(\mathcal {S}\) [12], p. 156], and \(D^b_c(\mathcal {S})\) is the constructible derived category of sheaves of \(\mathbb Q\)-vector spaces on \(\mathcal {S}\).
By the celebrated Decomposition theorem [2,3,4, 22], the intersection cohomology complex of \(\mathcal {S}\) is also a direct summand of \(R\pi {_*}\mathbb {Q}_{\widetilde{{\mathcal {S}}}}[n]\) in \(D^b_c(\mathcal {S})\). Specifically, the Decomposition theorem says that there is a decomposition in \(D^b_c(\mathcal {S})\) [4], Theorem 1.6.1]
where denote the perverse cohomology sheaves [4], Sect. 1.5]. Furthermore, the perverse cohomology sheaves are semisimple, i.e. direct sums of intersection cohomology complexes of semisimple local systems, supported in the smooth strata of \(\mathcal {S}\).
In the paper [13], the summands involved in (2) are explicitly described. It turns out that the semisimple local systems involved in the decomposition are constant sheaves supported in the smooth strata of \(\pi \). In other words, the decomposition (2) takes the following form
for suitable multiplicities \(m_{pq}\in \mathbb N_0\) (that are computed in [13], Theorem 3.5]) and where the strata \(\varDelta _p\) are special Schubert varieties, as well.
Following the same lines as in [10], section 4], our main aim is to deduce some classes of polynomial identities from the isomorphism (3). Specifically, we are going to prove a class of local identities as well as a class of global identities.
Our first task is accomplished in Theorem 2. In a nutshell, the argument behind our local polynomial identity rests on the remark that each summand of (3) is a direct sum of shifted trivial local systems in \(D_c^b(\varDelta _p^0)\), when restricted to the smooth part \(\varDelta _p^0\) of each stratum \(\varDelta _p\). This fact follows by applying the Leray-Hirsch theorem (see [23], Theorem 7.33], [8], Lemma 2.5]) to the summands, that are described on \(\varDelta _p^0\) by means of suitable Grassmann fibrations. This implies that we are allowed to associate a Poincaré polynomial to each summand of (3), thus providing our local identity in the stratum \(\varDelta _p^0\) (for more details compare with Sect. 3).
As for the global polynomial identities, they are obtained in Theorem 3, which is the main result of our paper. The idea of the proof is very similar to that of [10], section 4]. Here is the claim.
Theorem For any 4 -tuple of integers (i, j, k, l) such that \(0< i< j \le k < l\) and \(r = k - i < l - j = c\), we have:
where we assume \(P_{0} = 1\) and take
It is worth spending a few words about its proof. From (3) we deduce an isomorphism among the i-th hypercohomology spaces
that leads to an equality of the corresponding Poincaré polynomials
Again, all summands of (5) are determined by means of Leray-Hirsch theorem as Poincaré polynomials of suitable Grassmann fibrations.
We also observe that an explicit inductive algorithm for the computation of the Poincaré polynomials of the intersection cohomology of Special Schubert varieties straightforwardly follows from our results (see Corollary 1 and Remark 2). Although these Poincaré polynomials are already known, the availability of an algorithm for their computation could be the starting point for obtaining an analogous algorithm for all Schubert varieties in a future paper, being an explicit formula in this general case not known yet.
In the “Appendix”, we give an example of elementary proof of the global polynomial identity of Theorem 3 in a particular case, by algebraic manipulation only, with a divide and conquer strategy.
2 Basic facts and notations
2.1 Preliminaries
Throughout the paper, we shall work with \(\mathbb {Q}\)-coefficients cohomology groups; that is, for any complex variety V and any integer k, \(H^{k}(V) = H^{k}(V, \mathbb {Q})\). Let \(D_{c}^{b}(V)\) denote the derived category of bounded constructible complexes of sheaves \(\mathcal {F^{\bullet }}\) on V ([12] 12,Sects. 1.3 and 4.1], [4], 4, Sect. 1.5]). The symbol \(\mathbb {H}^{k}(\mathcal {F}^{\bullet })\) stands for the k-th hypercohomology group of \(\mathcal {F}^{\bullet }\) ([12], Defintion 2.1.4]), while \(IC_{V}^{\bullet }\) represents the intersection cohomology complex of V ([12], 12, 5.4] and [4], 12, 1.5, Sect. 2.1]). Lastly, the intersection cohomology groups of a pure n-dimensional complex algebraic variety V are given by ([12], Definition 5.4.3])
2.2 Decomposition theorem
The Decomposition theorem, which was proved by A. Beilinson, J. Bernstein and P. Deligne in [2], is a tool of paramount importance: most of our results descend from it directly.
Theorem 1
(Decomposition theorem, [4], 4, Sect. (1.6.1)]) Let \(f: X \rightarrow Y\) be a proper map of complex algebraic varieties. There is an isomorphism in the constructible bounded derived category \(D_{c}^{b}(Y)\)
Furthermore, the perverse sheaves are semisimple; i.e., there is a decomposition into finitely many disjoint locally closed and nonsingular subvarieties \(Y = \coprod S_{\beta }\) and a canonical decomposition into a direct sum of intersection complexes of semisimple local systems
Roughly speaking, Decomposition theorem states that, under mild hypotheses, the direct image of the intersection cohomology complex of a complex algebraic variety can be thought of as the direct sum of intermediate extensions (see [4], Sect. 2.7]) of semisimple local systems (see [12], Sect. 2.5]).
In the literature one can find different approaches to the Decomposition Theorem (see [2,3,4, 22, 24]), which is a very general result but also rather implicit. On the other hand, there are many special cases for which the Decomposition Theorem admits a simplified and explicit approach. One of these is the case of varieties with isolated singularities [9, 11, 21]. For instance, in the work [9], a simplified approach to the Decomposition Theorem for varieties with isolated singularities is developed, in connection with the existence of a natural Gysin morphism, as defined in [7], Definition 2.3] (see also [6] for other applications of the Decomposition Theorem to the Noether-Lefschetz Theory).
2.3 Grassmannians and Poincaré polynomials
We shall denote by \(\mathbb {G}_{k}(\mathbb {C}^{n})\) the Grassmannian of k-vector subspaces of \(\mathbb {C}^{n}\); that is, the set of all k-dimensional subspaces of \(\mathbb {C}^{n}\). More in general, we can extend this definition by replacing \(\mathbb {C}^{n}\) with any complex vector space V (see [16], 14, Sect. 6], [14], 16, Sect. 1.5], [20], 20, Sect. 3.1]).
Let X be a topological space. The Poincaré polynomial \(H_{X}\) of its cohomology and the Poincaré polynomial \(IH_{X}\) of its intersection cohomology (later on, they will be simply called Poincaré polynomials) are given by
respectively. When \(X = \mathbb {G}_{k}(\mathbb {C}^{l})\), we have the following explicit formula of the Poincaré polynomial (see [5], p. 328], [10], 10, Sect. 2 (vi), (vii),(viii)])
where we assume \(P_{0} = 1\) and take
2.4 Special Schubert varieties
In this subsection we collect some facts concerning special Schubert varieties and their resolutions. For more details and explanations we refer the reader to [13], Sect. 2.2–2.6].
Let i, j, k, l be integers such that
and fix a j-dimensional subspace \(F \subseteq \mathbb {C}^{l}\). We are working with single condition (or special) Schubert varieties
and we are considering the Whitney stratification
where, for any p,
is a special Schubert variety, as well, and \(\varDelta _{p} = {{\,\mathrm{Sing}\,}}\varDelta _{p + 1}\).
For any \(0< q < p \le r + 1\) there is a commutative diagram
where
the map
is a resolution of singularities, and the function
is a fibration with fibres
The resolutions \(\pi _{p}\) are small when \(k \le c\) (see [13], Remark 2.3]), whereas there are other small resolutions when \(k > c\) (see [13], Proof of Lemma 3.2]); namely
3 Local polynomial identities
Before we give the proof of the first theorem, we shall fix some notations in order to make it more readable. For any pair of integers (p, q) with \(0< q < p\), we set
and
Theorem 2
For any pair of integers (p, q) with \(0< q < p\) there is a local polynomial identity
where \(k \in \mathbb {Z}\) is such that \(0< i< k \le j < l\), \(c = l - j\) and \(2 d_{p \tau } = m_{p} - m_{\tau } - \delta _{p \tau }\).
Proof
By the Decomposition theorem [4], Theorem 1.6.1], we know that
In [13], Remark 3.1] it is shown how the Leray-Hirsch theorem implies that
that is,
(for a generalization of the Leray-Hirsch theorem in a categorical framework we refer to [23], Theorem 7.33] and [8], Lemma 2.5]). In addition, in [13], Theorem 3.5] it is proved that
where \(i_{p \tau }: \varDelta _{\tau } \hookrightarrow \varDelta _{p}\) is the inclusion. By [13], Remark 3.3], we also have
Combining these results, we obtain
where \(\tau \in \{ q, \ldots , p \}\) because \(\varDelta _{\tau } \backslash \varDelta _{q}^{0} = \emptyset \) whenever \(\tau < q\). Since the \(\gamma \)-th cohomology group of a topological space is trivial when \(\gamma < 0\), we obtain
The right-hand complex can be rewritten as follows
and, for any \(\gamma \), its \(\gamma \)-th term is
The isomorphism (6) implies that the \(\gamma \)-th terms of those complexes are isomorphic for any \(\gamma \ge - m_{p}\); i.e.
We shall observe one last thing before we compute Poincaré polynomials. For any \(n \in \mathbb {N}\), \(\mathbb {G}_{0}(\mathbb {C}^{n}) = \{ 0 \}\), as it is the space of 0-dimensional subspaces through the origin. As a consequence,
Therefore, when \(\tau = p\),
and, consequently,
Similarly, when \(\tau = q\), we have
and
In conclusion, for any \(\gamma \ge - m_{p}\), we have
Let \(s = \gamma + m_{p}\) and recall that \(m_{p} - m_{\tau } - \delta _{p \tau } = 2 d_{p \tau }\) (see [13], 13, Sect. 2.6]).
where we set \(\alpha ' = \alpha + m_{p}\) and \(\alpha '' = \alpha ' - m_{\tau }\), \(\beta ' = \beta + m_{\tau }\). Hence, we have
for any \(s \ge 0\). At long last, if we denote by
we obtain identities
If we formally multiply both sides by \(t^{s}\),
and if we take the sum over \(s \in \mathbb {Z} \)
We are done, because, by definition of Poincaré polynomials, the above equality becomes
that is,
4 Global polynomial identities
We shall begin by introducing some further notations:
Recall that we defined a small resolution \(\xi _p: \mathcal {D}_{p}\rightarrow \varDelta _{p}\) as
Remark 1
The map
provides an isomorphism between G and \(\mathbb {G}_{k - i_{p}}(\mathbb {C}^{l - j})\). Therefore, we recognize \(\mathcal {D}_{p}\) as the Grassmannian of subspaces of dimension k of the restriction of the tautological bundle \(\mathcal {T}\) over \(\mathbb {G}_{k + j - i_{p}}(\mathbb {C}^{l})\) to the subspace G:
By the Leray-Hirsch theorem [23], Theorem 7.33] and the Künneth formula, we have
(compare also with [8], 8, Sect. 2] for a discussion of the Leray-Hirsch theorem in a context which is closely related with that considered here).
The following formula, which represents the main result of this paper, provides a strong generalization of [10], Sect. 2, Remark 4.2].
Theorem 3
With the same notations and conditions as Theorem 2, we have
Proof
The first part of the proof is similar to that of Theorem 2. We combine the Decomposition theorem [4], Theorem 1.6.1] with [13], Theorem 3.5] so as to obtain
that is,
We have already met the term \(D_{pp}^{\delta _{pp} + \alpha }\) and the second summand of the right-hand side is the zero complex since \(\varDelta _{0} = \emptyset \). Hence, we have
where we have also taken account of \(m_{p} - m_{r} - \delta _{pr} = 2 d_{pr}\) (see [13],13, Sect. 2.6]).
If we apply hypercohomology, we obtain (for any \(\beta \in \mathbb {Z}\))
By [12] ,Definition 5.4.3],
and, by [12], Definition 2.1.4] and [17], Chapter II, (4.5)],
where \(IC^{\bullet }_{\varDelta _{q}} \rightarrow I^{\bullet }\) is an injective resolution of \(IC^{\bullet }_{\varDelta _{q}}\) and \(\varGamma \) is the global section functor. Similarly,
where \(\mathbb {Q}_{\tilde{\varDelta }_{p}} \rightarrow I^{\bullet }\) is an injective resolution and the last equality is [17], Theorem 7.12, p. 242].
Substituting in the above isomorphism, we obtain
As we did in the proof of Theorem 2, we conclude
which can be compactly rewritten as
Again, Leray-Hirsch theorem implies that \(\tilde{\varDelta }_{p}\) has the same Poincaré polynomial as \(\mathbb {G}_{i_{p}}(F) \times \mathbb {G}_{k - i_{p}}(\mathbb {C}^{l - i_{p}})\). Thus, the left-hand side is
By virtue of [13], Formula (19)] and Remark 1, we have
in other words,
Adopting the same notations as §2.3, we have
and
Formula (7) becomes
Since we are interested in studying the Poincaré polynomials of the Schubert variety \(\mathcal {S}\), we are going to take \(p = r + 1\). Bearing in mind that \(i_{q} = k - q + 1\) (in particular, \(i_{p} = i_{r + 1} = k - r = i\)) and \(c = l - j\), if we set \(s = p - q = r + 1 - q\), we have (from left to right, numerators first)
and the previous equality becomes (\(2d_{pq} = 2(p - q)(c + 1 - q) = 2s(c + s - r)\))
Corollary 1
For all \(p=2,\dots ,r+1\) one has:
Remark 2
From the previous corollary we get an explicit inductive algorithm for the computation of Poincaré polynomials of the intersection cohomology of Special Schubert varieties, which is described by the following equality, where we put \(g_{pq}=t^{2d_{pq}}f_{pq}\) in order to simplify the notation:
References
Abbott, J., Bigatti, A. M., and Robbiano, L.: CoCoA: a system for doing Computations in Commutative Algebra, Available at http://cocoa.dima.unige.it
Beilinson, A., Bernstein, J., Deligne, P.: Faisceaux pervers, Analysis and topology on singular spaces, I (Luminy, 1981), Astérisque, 100, Soc. Math. France, (Paris, 101982), 5-171
de Cataldo, M.A., Migliorini, L.: The Hodge theory of algebraic maps, Ann. Sci. École Norm. Sup. 4, 38(5), 693-750 (2005)
de Cataldo, M.A., Migliorini, L.: The decomposition theorem, perverse sheaves and the topology of algebraic maps, Bull. Amer. Math. Soc. (N.S.) 46 , no. 4, 535-633 (2009)
Cheeger, J., Goresky, M., MacPherson, R.: L2-cohomology and intersection homology for singular algebraic varieties, in Seminar on Differential Geometry, volume 102 of Annals of Mathematics Studies, pages 303-340, Princeton University Press, (1982)
Di Gennaro, V., Franco, D.: Noether-Lefschetz Theory with base locus, Rend. Circ. Mat. Palermo (2) 63, No. 2, 257-276, (2014). DOI 10.1007/s12215-014-0156-8
Di Gennaro, V., Franco, D.: On the existence of a Gysin morphism for the Blow-up of an ordinary singularity, Ann. Univ. Ferrara, Sez. VII, Sci. Mat. 63, No. 1, 75-86, (2017). https://doi.org/10.1007/s11565-016-0253-z
Di Gennaro, V., Franco, D.: Néron-Severi group of a general hypersurface, Commun. Contemp. Math., 19, No. 01, Article ID 1650004, 15 p. (2017). https://doi.org/10.1142/S0219199716500048
Di Gennaro, V., Franco, D.: On the topology of a resolution of isolated singularities, J. Singul. 16, 195-211 (2017). https://doi.org/10.5427/jsing.2017.16j
Di Gennaro, V., Franco, D.: On a Resolution of Singularities with Two Strata, Results Math. 74, no. 3, 74:115, (2019). https://doi.org/10.1007/s00025-019-1040-9
Di Gennaro, V., Franco, D.: On the topology of a resolution of isolated singularities, II, J. Singul. 20, 95-102 (2020). https://doi.org/10.5427/jsing.2020.20e
Dimca, A.: Sheaves in Topology, Springer Universitext, (2004)
Franco, D.: Explicit decomposition theorem for special Schubert varieties. Forum Math. 32(2), 447–470 (2020)
Griffiths, P., Harris, J.: Principles of algebraic geometry. Pure and Applied Mathematics. Wiley-Interscience [John Wiley & Sons], New York, (1978)
Intersection Homology, I.I.: Goresky, M. - MacPherson, R. Invent. math. 71, 77–129 (1983)
Harris, J.: Algebraic Geometry. A first course, Graduate Texts in Mathematics, 133, Springer-Verlag, New York-Heidelberg, (1992)
Iversen, B.: Cohomology of sheaves, Springer (ISBN 3-540-16389-1; 978-3-642-82783-9/ebook) xii, 464 p. (1986)
Kirwan, F., Woolf, J.: An Introduction to intersection homology theory. 2nd ed., Boca Raton, FL: Chapman and Hall/CRC (ISBN 1-58488-184-4/hbk). 229 p. (2006)
MacPherson, R.: Global questions in the topology of singular spaces, Proceedings of the International Congress of Mathematicians, Vol.1,2 (Warsaw, 1983), 213-235
Manivel, L.: Symmetric functions, Schubert polynomial and degeneracy loci, SMF/AMS Texts and Monographs. 6(3). Providence, RI: American Mathematical Society (AMS). vii, 167 p. (2001)
Navarro Aznar, V.: Sur la théorie de Hodge des variétés algébriques à singularités isolées. Astérisque 130, 272–307 (1985)
Saito, M.: Mixed Hodge modules. Publ. RIMS, Kyoto Univ. 26, 221–333 (1990)
Voisin, C.: Hodge Theory and Complex Algebraic Geometry, I, Cambridge Studies in Advanced Mathematics 76. Cambridge University Press, (2002)
Williamson, G.: Hodge Theory of the Decomposition Theorem [after M.A. de Cataldo and L. Migliorini], Séminaire BOURBAKI, 2015-2016, n. 1115, pp. 31
Funding
Open access funding provided by Universitá degli Studi di Napoli Federico II within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
All authors are members of GNSAGA (INdAM, Italy)
Appendix: a symbolic point of view
Appendix: a symbolic point of view
In this “Appendix”, we consider the global polynomial identity of Theorem 3 from a symbolic point of view. Recall that the requests over the integers i, j, k, j, l and the values \(r:=k-i,c:=l-j\) are
or, equivalently,
Nevertheless, if we also assume \(P_{\alpha } = 0\) for every \(\alpha < 0\), the polynomial identity of Theorem 3 symbolically makes sense, i.e. the denominators do not vanish, under the following weaker assumptions:
or, equivalently,
However, in the few further cases \(r=0\) or \(c=r+i\) or \(i=0\) or \(i=j\), which we have under the assumptions (9), the polynomial identity trivially holds. For the remaining case \(c=r\), we obtain some experimental evidences verifying the polynomial identity for the 4-uples (i, j, c, r), where \(c=r\) varies in [2, 20], i in [1, 20] and j in \([r+i,40]\), by direct computations performed in CoCoA5 (see [1]).
In the following, we consider the assumptions (8) (except for some special cases that will be highlighted), and give a proof of that identity by a mere algebraic manipulation when \(2=\min \{k-i, k-c\}\), which is the first case with a significant geometric meaning in the context of this paper.
By direct computations, we also verified that the polynomial identity of Theorem 3 holds for all the 4-uples (i, j, c, r) where i varies in [1, 20], r in [2, 20], j in \([r+i,40]\) and c in \([r+1,r+i-1]\). Some CoCoA5 functions that perform such computations are available at http://wpage.unina.it/cioffifr/PolynomialIdentity.
1.1 Case \(2=k-i \le k-c\)
With the same notation of Theorem 3 and recalling that \(k=i+2\) and \(\ell =j+c\), the global polynomial identity becomes:
where only the parameters i, j, c appear. Note that formula (10) does make sense for every \(j\ge i+2\) and \(c\ge 2\). Let
\(\displaystyle { H := \frac{P_jP_{j+c-i}}{P_iP_{j-i}P_2P_{j+c-i-2}}}\), \(\displaystyle { F:= \frac{P_cP_{j+2}}{P_2P_{c-2}P_{i+2}P_{j-i}}}\),
\(\displaystyle { F_1 := t^{2(c-1)} \frac{P_{i-c+2}P_cP_{j+1}}{P_{i-c+1}P_{c-1}P_{i+2}P_{j-i-1}}}\), \(\displaystyle { F_2 := t^{4c} \frac{P_{i-c+2}P_j}{P_2P_{i-c}P_{i+2}P_{j-i-2}}}\).
Since \(\displaystyle {\frac{P_\alpha }{P_{\alpha -h}} =h_{\alpha -1}\dots h_{\alpha -h}}\), for every \(\alpha > h\ge 0\), we compute \(\displaystyle { F:= \frac{h_{c-2}h_{c-1}P_{j+2}}{h_1 P_{i+2}P_{j-i}}}\) and observe that
\(\displaystyle { H = F \left[ \frac{h_{j+c-i-2}h_{j+c-i-1}h_ih_{i+1}}{h_jh_{j+1}h_{c-2}h_{c-1}} \right] }\), \(\displaystyle { F_1 = F \left[ t^{2(c-1)} \frac{h_1h_{i-c+1}h_{j-i-1}}{ h_{j+1}h_{c-2} }\right] }\),
\(\displaystyle { F_2 = F \left[ t^{4c} \frac{h_{i-c}h_{i-c+1}h_{j-i-2}h_{j-i-1}}{h_{c-2}h_{c-1}h_jh_{j+1}} \right] }\).
Hence, letting
formula (10) holds if and only if \(F(i,j,c)=1\). Observe that F(i, j, c) does make sense for every \(c\ge 2\) and for every positive integers i, j. In the following, we repeatedly apply the equality \(t^{2\alpha }h_\beta = h_{\alpha +\beta } - h_{\alpha -1}\), which holds for every \(\alpha , \beta \ge 0\).
We now show that \(F(i,j,3)=1\) for \(j\ge i\), where
Although we should consider \(i\ge c\ge 3\) due to (8), symbolically we easily obtain
Hence, by induction, we can assume \(F(i-1,j,3)=1\) and prove that \(F(i,j,3)-F(i-1,j,3)\) is null, for every \(i>2\). We compute
So, letting \(G_0:= h_i h_{j-i+2} (h_{i+1}h_{j-i+1} - h_{i-1}h_{j-i+3})\)
\(G_1:= -t^4 h_j P_3 (h_{i-2}h_{j-i-1} - h_{i-3}h_{j-i})\)
\(G_2:= -t^{12} h_{j-i-1} h_{i-3} (h_{j-i-2}h_{i-2} - h_{j-i}h_{i-4})\),
we obtain \(F(i,j,3)-F(i-1,j,3)=0\) if and only if \(G_0+G_1+G_2=0\).
Being \(h_{i+1}=t^4h_{i-1}+h_1\) e \(h_{j-i+3}=t^4h_{j-i+1}+h_1\), \(G_0\) becomes:
-
\(G_0=h_ih_{j-i+2}h_1 (h_{j-i+1} - h_{i-1})\).
Being \(h_{i-2}= t^2h_{i-3}+h_0\), \(h_{j-i}=t^2h_{j-i-1}+h_0\) and then \(t^4h_{i-3}=h_{i-1}-h_1\), \(t^4h_{j-i-1}= h_{j-i+1}-h_1\), \(G_1\) becomes:
-
\(G_1= h_jP_3(h_{i-1}-h_{j-i+1})\).
Being \(h_{j-i}= t^4h_{j-i-2}+h_1\) e \(h_{i-2}= t^4 h_{i-4}+h_1\), \(G_2\) becomes
-
\(G_2= t^6 h_{j-i-1} h_{i-3}h_1 (h_{i-1}-h_{j-i+1})\).
So, we obtain \(G_0+G_1+G_2= h_1 (h_{i-1}-h_{j-i+1}) (h_i h_{j-i+2}- h_jh_2 -t^6 h_{j-i+1}h_{i-3})=0.\)
Recall that we are assuming \(k-i\le k-c\), hence \(i\ge c\), and we know that \(F(i,j,3)=1\). So, our thesis now is \(F(i,j,c)-F(i,j,c-1)=0\). Assuming \(c> 3\), we compute
So, letting
\(Q_0 := h_{j+c-i-2}h_{j+c-i-1}h_ih_{i+1}h_{c-3} - h_{j+c-i-3}h_{j+c-i-2}h_ih_{i+1}h_{c-1}\)
\(Q_1 := -t^{2(c-1)} h_1h_{i-c+1}h_{j-i-1}h_jh_{c-1}h_{c-3} + t^{2(c-2)} h_1h_{i-c+2}h_{j-i-1}h_jh_{c-1}h_{c-2} \)
\(Q_2 := -t^{4c} h_{i-c}h_{i-c+1}h_{j-i-2}h_{j-i-1}h_{c-3} + t^{4(c-1)} h_{i-c+1}h_{i-c+2}h_{j-i-2}h_{j-i-1}h_{c-1} \),
we have \(F(i,j,c)-F(i,j,c-1)=0\) if and only if \(Q_0+Q_1+Q_2=0\).
Being \(h_{j+c-i-1}= t^4 h_{j+c-i-3}+h_1\) and \(t^4h_{c-3}=h_{c-1}-h_1\), then \(Q_0\) becomes
-
\(Q_0=h_{j+c-i-2}h_1h_ih_{i+1}(h_{c-3}- h_{j+c-i-3})= -t^{2(c-2)}h_{j+c-i-2}h_1h_ih_{i+1} h_{j-i-1}\).
Being \(t^{2(c-1)}h_{i-c+1}=h_{i}-h_{c-2}\) and \(t^{2(c-2)}h_{i-c+2}=h_{i}-h_{c-3}\), then \(Q_1\) becomes
-
\(Q_1 = t^{2(c-2)}h_1h_ih_jh_{c-1}h_{j-i-1}\).
Being \(t^4h_{i-c}=h_{i-c+2}-h_1\), then \(Q_2\) becomes
-
\(Q_2= t^{4(c-1)} h_{i-c+1}h_{j-i-2}h_{j-i-1}((h_{i-c+2}-h_1)h_{c-3} + h_{i-c+2}h_{c-1})\).
Note that, if \(j=i\) or \(j=i+1\), then \(Q_0+Q_1=0=Q_2\). So, we now consider the less obvious case \(j>i+1\). Observe that
We are done, because:
1.2 Case \(2=k-c < k-i\)
In this case we have \(r+i=k=c+2\), \(\ell =j+c\), \(c=r+i-2\), and the global polynomial identity becomes:
where only the parameters i, j, r appear. Note that formula (11) does make sense for every \(2\le r\) and \(2\le i \le j-2\). Let
\(\displaystyle {K:=\frac{P_j P_{j+r-2}}{P_i P_{j-i} P_r P_{j-2}}}\), \(\displaystyle {E:= \frac{P_{r+i-2}}{P_r P_{i-2}} \frac{P_{r+j}}{P_{r+i}P_{j-i}}}\),
\(\displaystyle {E_1:= t^{2(i-1)} \frac{P_2 P_{r+i-2}P_{r+j-1}}{P_{r-1}P_{i-1}P_{r+i}P_{j-i-1}}}\), \(\displaystyle {E_2:=t^{4i} \frac{P_2 P_{r+i-2} P_{r+j-2}}{P_2P_{r-2}P_i P_{r+i} P_{j-i-2}}}\).
Analogously to the previous case, we compute \(\displaystyle {K=E\left[ \frac{h_{j-1}h_{j-2}h_{r+i-1}h_{r+i-2}}{h_{i-1}h_{i-2}h_{r+j-1}h_{r+j-2}} \right] }\), \(\displaystyle {E_1=E \left[ t^{2(i-1)} \frac{h_{r-1}h_1h_{j-i-1}h_{i-1}h_{r+j-2}}{h_{r+j-1}h_{i-2}h_{i-1}h_{r+j-2}}\right] }\), \(\displaystyle {E_2=E\left[ t^{4i}\frac{h_{r-2}h_{r-1}h_{j-i-2}h_{j-i-1}}{h_{r+j-2}h_{r+j-1}h_{i-2}h_{i-1}} \right] }\).
Hence, letting
formula (11) holds if and only if \(F\!F(i,j,r)=1\). Observe that \(F\!F(i,j,r)\) does make sense for all integers \(j\ge i\ge 2\) and \(r\ge 0\). We easily check that \(F\!F(i,j,0)=1\). So, we now assume \(r>0\) and prove that \(F\!F(i,j,r)-F\! F(i,j,r-1)=0\). Arguing as in the case \(k-i=2\), we let
\(H_0:= h_{r+j-3}h_{j-1}h_{j-2}h_{r+i-1}h_{r+i-2} - h_{r+j-1}h_{j-1}h_{j-2}h_{r+i-2}h_{r+i-3}\)
\(H_1:= t^{2(i-1)} h_{r+j-1}h_{r-2}h_1h_{j-i-1}h_{i-1}h_{r+j-3} +\)
\(- t^{2(i-1)}h_{r+j-3} h_{r-1}h_1h_{j-i-1}h_{i-1}h_{r+j-2}\)
\(H_2:= t^{4i} h_{r+j-1}h_{r-3}h_{r-2}h_{j-i-2}h_{j-i-1} - t^{4i} h_{r+j-3} h_{r-2}h_{r-1}h_{j-i-2}h_{j-i-1}\)
so that the thesis now is \(H_0+H_1+H_2=0\).
We apply in \(H_0\) the following replacements, in the given order: first \(h_{r+i-1} = t^4h_{r+i-3}+h_1\) and \(h_{r+j-1}=t^4h_{r+j-3}+h_1\), then \(h_{r+j-2}-h_{r+i-2}=t^{2(r+i-2)}h_{j-i-1}\). Hence, \(H_0\) becomes
-
\(H_0=h_{j-1}h_{j-2}h_{r+i-2}h_1 t^{2(r+i-2)}h_{j-i-1}\).
We apply in \(H_1\) the following replacements, in the given order: first \(h_{r+j-1}=t^2h_{r+j-2}+h_0\) and \(h_{r-1}=t^2h_{r-2}+h_0\), then \(h_{r-2}-h_{r+j-2}= -t^{2(r-1)}h_{j-1}\). Hence, \(H_1\) becomes
-
\(H_1=t^{2(i-1)}h_{r+j-3}h_{j-i-1}h_{i-1}(-t^{2(r-1)}h_{j-1})h_1\).
We apply in \(H_2\) the following replacements, in the given order: first \(h_{r+j-1}=t^4h_{r+j-3}+h_1\) and \(h_{r-1}=t^4h_{r-3}+h_1\), then \(h_{r-3}-h_{r+j-3} = -t^{2(r-2)}h_{j-1}\). Hence, \(H_2\) becomes
-
\(H_2= - t^{2i}t^{2(r+i-2)} h_{r-2}h_{j-i-2}h_{j-i-1}h_1 h_{j-1}\).
Thus, we now have
Being \(h_{j-2}= t^{2(j-i-1)}h_{i-1}+h_{j-i-2}\) and \(h_{r+j-3}=t^{2(j-i-1)}h_{r+i-2}+h_{j-i-1}\), we finally obtain
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Cioffi, F., Franco, D. & Sessa, C. Polynomial identities related to special Schubert varieties. AAECC 34, 245–265 (2023). https://doi.org/10.1007/s00200-021-00496-6
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00200-021-00496-6
Keywords
- Leray–Hirsch theorem
- Derived category
- Intersection cohomology
- Decomposition theorem
- Schubert varieties
- Resolution of singularities