Loading [MathJax]/jax/element/mml/optable/SuppMathOperators.js
Russian Mathematical Surveys
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
General information
Latest issue
Archive
Impact factor
Submit a manuscript

Search papers
Search references

RSS
Latest issue
Current issues
Archive issues
What is RSS



Uspekhi Mat. Nauk:
Year:
Volume:
Issue:
Page:
Find






Personal entry:
Login:
Password:
Save password
Enter
Forgotten password?
Register


Russian Mathematical Surveys, 2022, Volume 77, Issue 4, Pages 729–751
DOI: https://doi.org/10.4213/rm10059e
(Mi rm10059)
 

This article is cited in 2 scientific papers (total in 2 papers)

Schubert calculus and intersection theory of flag manifolds

H. Duanabc, X. Zhaod

a Yau Mathematical Sciences Center, Tsinghua University, Beijing, China
b Academy of Mathematics and Systems Sciences, Chinese Academy of Sciences, Beijing, China
c School of Mathematical Sciences, Dalian University of Technology, Dalian, China
d Department of Mathematics, Capital Normal University, Beijing, China
References:
Abstract: Hilbert's 15th problem called for a rigorous foundation of Schubert calculus, of which a long-standing and challenging part is the Schubert problem of characteristics. In the course of securing a foundation for algebraic geometry, Van der Waerden and Weil attributed this problem to the intersection theory of flag manifolds.
This article surveys the background, content, and solution of the problem of characteristics. Our main results are a unified formula for the characteristics and a systematic description of the intersection rings of flag manifolds. We illustrate the effectiveness of the formula and the algorithm by explicit examples.
Bibliography: 71 titles.
Keywords: Schubert calculus, intersection theory, flag manifolds, Cartan matrix of a Lie group.
Funding agency Grant number
National Natural Science Foundation of China 11771427
11961131004
This work was supported by the National Science Foundation of China (project nos. 11771427 and 11961131004).
Received: 25.11.2021
Bibliographic databases:
Document Type: Article
UDC: 514.765+512.734
MSC: 14M15, 57T15, 01A65
Language: English
Original paper language: Russian

1. Introduction

Hilbert’s 15th problem [43] is an inspiring and far-reaching one. It promoted the growth of the enumerative geometry of the 19th century into algebraic geometry founded by Van der Waerden and Weil, and integrated Schubert calculus deeply into many branches of mathematics. However, despite a great many achievements in the 20th century (see, for example, [38], [49], and [65]), the part of the problem on finding an effective rule for performing calculus has been stagnant for a long time, notably, the Schubert problem of characteristics (see [68], § 8), or the Weil problem (see [70], p. 331) of the intersection theory of flag manifolds G/P, where G is a compact connected Lie group and P is a parabolic subgroup [4].

In the series of works [19], [20], [28], [29], and [31], we addressed both the problem of characteristics and the Weil problem, with the implication that the 15th problem was solved satisfactorily (see [32], Remark 6.3). The purpose of this article is to give an overview of the background, content, and the solution of the Schubert problem of characteristics. In § 2 we glimpse the development from Apollonius’s work “Tangencies” to Lefschetz’s homology theory, which reflects the evolution of the basic ideas from enumerative geometry to intersection theory. Section 3 summarizes the pioneer contributions of Van der Waerden, Ehresmann, Weil, and Bernstein–Gel’fand–Gel’fand to Schubert calculus, which have led to a great clarification of Schubert characteristics. Our main results are introduced in § 4, where we present a formula expressing the Shubert characteristics of a flag manifold G/P as polynomials in the Cartan numbers of the Lie group G (Theorem 4.5), develop a systematic description of the intersection rings of flag manifolds (Theorem 4.8), and illustrate the effectiveness of our computer programs by Examples 4.6, 4.9, and 4.11. In particular, since our approach uses the Cartan matrices of Lie groups as the main input, the solutions can be implemented successfully via computer programs, so that the intersection theory of flag manifolds becomes easily accessible to a broad range of readers.

2. An introduction to intersection theory

In the 2nd century BC Apollonius of Perga obtained the following enumerative result in his paper “Tangencies”.

Apollonius’s Theorem. The number of circles tangent to three general circles in the plane is 8.

The original proof of Apollonius was lost, but a record of the theorem by Pappus, dated the 4th century, survived. During the Renaissance, different proofs were found by Viète, van Roomen, Gergonne, and Newton (see [10], p. 159). For a pictorial illustration of the theorem, see the cover-page story of the book 3264 and all that [34].

Descartes’s discovery of Euclidean coordinates made it possible for geometers (for example, Maclaurin, Euler, Bezout) to exploit polynomial systems to characterize geometric figures that satisfy a system of incidence conditions. Consequently, many enumerative problems admit the following algebraic formulation.

Problem 2.1. Given a system of n polynomials in n variables with complex coefficients

{f1(x1,,xn)=0,fn(x1,,xn)=0,
find the number of solutions to this system.

Problem 2.1 is a fundamental one in algebra. In the case n=1 Gauss proved in the 1820s that the number of zeros of a polynomial in a single variable is the degree of this polynomial, which is well known as the fundamental theorem of algebra.

Letting gi be the homogenization of the polynomial fi in (2.1), in the n- dimensional complex projective space CPn we obtain a hypersurface Ni:=g1i(0). In general, the zero locus of a homogeneous system on a complex projective space is called a projective variety. Naturally, the study of Problem 2.1 leads to the fundamental problem of intersection theory.

Problem 2.2. Given k subvarieties N1,,Nk in a smooth projective manifold M that satisfy the dimension constraint dimN1++dimNk=(k1)dimM, find the number |N1Nk| of their common points of intersection when the subvarieties Ni are in general position (see Fig. 1).

In the course of studying Problem 2.2 Lefschetz developed the homology theory for cellular complexes [51] (1926). In the perspective of this theory, let αiHdimMdimNi(M) be the Poincaré dual of the cycle class represented by the subvariety NiM.

Problem 2.3. Given k projective subvarieties N1,,Nk in a smooth projective manifold M that satisfy the dimension constraint dimN1++dimNk=(k1)dimM, compute the Kronecker pairing

α1αk,[M],
where means the cup product on the cohomology ring H(M) and [M] denotes the orientation class of M.

Through Problems 2.12.3 we have briefly reviewed three seemingly different approaches to problems of enumerative geometry. Given that the effective computability is the primary task of enumerative geometry, a natural question is: which approach is the most calculable one? The development of intersection theory shall tell us the answer.

3. Schubert problem of characteristics

Hermann Schubert (1848–1911) received his Ph.D. from the University of Halle, Germany, in 1870. His doctoral thesis The theory of characteristics [58] was about enumerative geometry. Prior to this he had shown that there are 16 spheres tangent to 4 general spheres in space, which is a direct extension of Apollonius’s theorem.

In 1879 Schubert published the celebrated book Calculus of enumerative geometry [61], which presents the summit of intersection theory in the late 19th century (see [34], p. 2). While developing Chasles’s work on conics [13], he demonstrated amazing applications of intersection theory to enumerative geometry, such as

Nevertheless, in addition to the extensive use of the controversial ‘principle of conservation of numbers’ [47], [69], Schubert’s exposition was so sketchy that it gave “no definition of intersection multiplicity, no way to find it nor to calculate it” [18]. At the outset of the 20th century Hilbert made finding rigorous foundations for Schubert calculus one of his celebrated problems, where he praised also the advantage of the calculus to foresee the final degree of a polynomial system before carrying out the actual process of elimination [43].

In order to gain insight into the central part of Schubert’s approach to those spectacular enumerative numbers, we resort to the table of characteristics (see Table 1) for the variety of complete conics in space from his book (see [61], p. 95), where the symbols μ, ν, and ρ stand for the subvarieties of conics passing through a given point, intersecting a given line, and tangent to a given plane, respectively.

Table 1.The characteristics of the space of complete conics in CP3

μ3ν5=1μ2ν6=80μν7=34ν8=920
μ3ν4ρ=2μ2ν5ρ=14μν6ρ=52ν7ρ=116
μ3ν3ρ2=4μ2ν4ρ2=24μν5ρ2=76ν6ρ2=128
μ3ν2ρ3=4μ2ν3ρ3=24μν4ρ3=72ν5ρ3=104
μ3νρ4=2μ2ν2ρ4=16μν3ρ4=48ν4ρ4=640
μ3ρ5=1μ2νρ5=80μν2ρ5=24ν3ρ5=320
μ2ρ6=40μνρ6=12ν2ρ6=160
μρ7=60νρ7=800
ρ8=400

The table consists of equalities equating the monomials μmνnρ8mn to integers, which were called characteristics by Schubert and Schubert’s symbolic equations by earlier researchers. Schubert emphasized that the problem of characteristics is a fundamental one in enumerative geometry [48], [58], [61], [60]. However, to state this problem in its natural simplicity and generality, one had to wait until the 1950s for the celebrated ‘basis theorem of Schubert calculus’. Let us recall relevant works on the subject.

The study of characteristics began with the Italian school headed by Segre, Enriques, and Severi. Two representative papers of this school were “The principle of conservation of numbers” and “The foundation of enumerative geometry and the theory of characteristics” by Severi [62], [63]. Regarding these works, Van de Wareden [69] commented that they “erected an admirable structure, but its logical foundation was shaky. The notions were not well-defined, the proofs were insufficient”.

In the pioneering work “Topological foundation of enumerative geometry” [68] (1930) Van der Waerden interpreted Schubert characteristics in the perspective of homology theory developed by Lefschetz [51] (see Problem 2.3). He made the following crucial observations, which enlightened the course of the later studies on the 15th problem:

In 1934 Ehresmann [33] went two important steps further: he discovered that

In what follows we denote by W(P;G) the set of left cosets of the Weyl group W(G) of G by the Weyl group W(P) of P, and let l:W(P;G)Z denote the associated length function [4]. With the in-depth research on the structure of Lie groups (see, for instance, [7]) the vague term ‘Schubert symbols’ in the early literature was gradually replaced by such rigorously defined geometric objects as ‘Schubert cells’ or ‘Schubert varieties’. In particular, extending Ehresmann’s work [33] to the Grassmannian Gn,k, the following result was announced by Chevalley [14] for complete flag manifolds G/T (where TG is a maximal torus) and extended by Bernstein, I. Gel’fand, and S. Gel’fand to all flag manifolds G/P (see [4], Proposition 5.1).

Theorem 3.1. Every flag manifold G/P has a canonical decomposition into Schubert cells Sw parameterized by elements w of W(P;G),

G/P=wW(P;G)Sw,dimSw=2l(w),
where the closure Xw of each cell Sw is a subvariety of G/P, called the Schubert variety in G/P associated to wW(P;G).

Since only even-dimensional cells are involved in the partition (3.1), the set {[Xw],wW(P;G)} of fundamental classes forms an additive basis of the homology H(G/P). The co-cycle classes swH(G/P) Kronecker dual to this basis (that is, sw,[Xu]=δw,u, w,uW(P;G)) are called the Schubert classes associated to wW(P;G). Theorem 3.1 implies the following result, which was expected by Van der Waerden (see [68], § 8), and is well known as the ‘basis theorem of Schubert calculus’.

Theorem 3.2 (see [4], Proposition 5.2). The set {sw,wW(P;G)} of Schubert classes forms a basis of the cohomology H(G/P).

An immediate consequence of the basis theorem is that any product su1suk of Schubert classes can uniquely be expressed as a linear combination of the basis elements:

su1suk=wW(P;G),l(w)=l(u1)++l(uk)cwu1,,uksw,
so that the Schubert problem of characteristics [33], [59], [60], [68] has the following concise expression. 1

Problem 3.3. Given any monomial su1suk in the Schubert classes, determine the characteristics numbers cwu1,,uk in the linear expansion (3.2).

In the momentous treatise Foundations of Algebraic Geometry [70] Weil completed the definition of intersection multiplicities for the first time, and summarized the task of Schubert calculus in the context of modern intersection theory. 2

Problem 3.4. Determine the intersection rings of flag manifolds G/P.

Weil commented his problem as ‘the modern form taken by the topic formerly known as enumerative geometry’ (see [70], p. 331). We show the following.

Theorem 3.5. For flag manifolds G/P the Weil problem is equivalent to the Schubert one.

Proof. A ring is an abelian group R that is furnished with multiplication R×RR. By the basis theorem (Theorem 3.2) the cohomology H(G/P) has a canonical basis consisting of Schubert classes. Therefore, multiplication on H(G/P) is uniquely determined by the products of basis elements, which are governed by the characteristics cwu1,,uk.

Remark 3.6. In the case k=2 the characteristics cww1,,wk admit various interpretations. They are called Schubert structure constants of the flag manifold G/P in topology and Littlewood–Richardson coefficients in representation theory [52].

In certain cases the parameter spaces of geometric figures considered by Schubert (see [61], Chap. IV) fail to be flag manifolds, but can be constructed by performing a finite number of steps of blow-ups on flag manifolds (see examples in Fulton [38], § 10.4, Eisenbud and Harris [34], Chap. 13, or in [23] for the constructions of the parameter spaces of complete conics and quadrics in CP3). As a result, the relevant characteristics can be computed from those of flag manifolds via strict transformations (see, for instance, [23], Examples 5.11 and 5.12).

4. Intersection theory of flag manifolds

To secure the foundation of a ‘calculus’ it suffices to decide the objects to be calculated and to determine accordingly the rules of calculation (see, for example, [2], Chap. 2, and [53]). As for Schubert calculus, we saw in § 3 that the objects to be calculated have been clarified to be the Schubert symbols, or Schubert varieties. In this section we determine the rules of calculus by a unified formula computing the characteristics, and apply this formula to complete the intersection theory of flag manifolds.

4.1. An observation and an expectation

The major difficulties that one encounters with the problem of characteristics are fairly transparent:

That is, there exist plenty of flag manifolds G/P, whose geometries and topologies vary considerably with respect to different choices of G and P. In addition, not to mention the number of relevant characteristics. For instance, for an exceptional Lie group G with a maximal torus T the Euler characteristic χ(G/T) of the flag manifold G/T is given in the following table:

GG2F4E6E7E8
χ(G/T)12115227345210345721435527

Summarizing, studies case by case can never reach a complete solution to the problem.

On the other hand, according to É. Cartan’s beautiful work on compact Lie groups, associated to each simple Lie group G there is a Cartan matrix C, which plays the role of the ‘cosmological constants’ to classify all flag manifolds G/P (see the discussions in §§ 4.24.5). For example, for the five exceptional Lie groups these matrices are

G2:(2132),F4:(2100122001210012),E6:(201000020100102100011210000121000012),
E7:(2010000020100010210000112100000121000001210000012),E8:(2010000002010000102100000112100000012100000012100000012100000012).
This raises the following question: can one express the characteristic numbers, as well as the intersection ring of a flag manifold G/P, merely in terms of the Cartan matrix of the Lie group G? In this section we fulfill this expectation.

4.2. A numerical construction of a Weyl group

Therefore, let C=(ci,j)n×n be the Cartan matrix of some compact simple Lie group G, and let Rn be the n-dimensional real vector space with basis {ω1,,ωn}. Define endomorphisms σiEnd(Rn), 1, in terms of C by the formula

\begin{equation*} \sigma_i(\omega_k) =\begin{cases} \omega_k & \text{if } i\neq k;\\ \omega_k-(c_{k,1}\omega_1+\dotsb+c_{k,n}\omega_n) & \text{if } i= k. \end{cases} \end{equation*} \notag
By the general properties of Cartan matrices we have \sigma_{i}^{2}=\mathrm{id}, implying that \sigma_{i}\in \operatorname{Aut}(\mathbb{R}^{n}). Further, the following can be shown.

Lemma 4.1. The subgroup of \operatorname{Aut}(R^{n}) generated by the \sigma_{i}s is isomorphic to the Weyl group W(G) of G.

For each subset K\subset \{1,\dots,n\} there is a parabolic subgroup P=P_{K}, unique up to conjugations on G, whose Weyl group W(P) is generated by those \sigma_{{j}}\in W(G) with j\notin K. Resorting to the length function l on W(G), we can furthermore embed the set W(P;G) as a subset of the group W(G):

\begin{equation*} W(P;G)=\{w\in W(G)\mid l(w_1)\geqslant l(w), \;w_1\in wW(P)\} \end{equation*} \notag
(see [4]) and put W^{m}(P;G):=\{w\in W(P;G)\mid l(w)=m\}. By Lemma 4.1 each element w\in W^{m}(P;G) admits a factorization of the form
\begin{equation*} w=\sigma_{{i}_1}\circ\cdots\circ\sigma_{i_m} \quad\text{with } 1\leqslant i_1,\dots,i_m\leqslant n, \end{equation*} \notag
hence it can be denoted by w=\sigma_{I}, where I=(i_1,\dots,i_m). Such expressions of w may not be unique, but the ambiguity can be dispelled by employing the following notion. Furnish the set
\begin{equation*} D(w):=\{I=(i_1,\dots,i_m)\mid w=\sigma_I\} \end{equation*} \notag
with the lexicographic order \preceq on the multi-indices Is. We call a decomposition w=\sigma_{I} minimized if I\in D(w) is the minimal multi-index. Clearly, we have the following (see, for example, [9]).

Lemma 4.2. Every w\in W(P;G) has a unique minimized decomposition.

It follows that the set W^{m}(P;G) is also ordered by the lexicographic order \preceq on the multi-indices I, hence can uniquely be presented as

\begin{equation} W^{m}(P;G) =\{w_{m,i}\mid 1\leqslant i\leqslant\beta(m)\}, \qquad \beta(m):=|W^{m}(P;G)|, \end{equation} \tag{4.1}
where w_{m,i} denotes the ith element in W^{m}(P;G). In [25] the package Decomposition in Mathematica is presented, whose function is stated below.

Algorithm I: Decomposition. Input: the Cartan matrix C=(a_{ij})_{n\times n} of G and a subset K\subset \{1,\dots,n\} to specify a parabolic subgroup P.

Output: the set W(P;G) specified by the minimized decompositions of its elements, together with the index system (4.1) imposed by the order \preceq.

Example 4.3. Let G=\operatorname{SU}(n) be the special unitary group, and let k\in \{1,\dots, n- 1\}. The flag manifold G/P_{\{k\}} is the Grassmannian manifold G_{n,k}. Applying Decomposition to the case G_{9,4} we obtain the following table of minimized decompositions (see Table 2) for elements w\in W(P_{4};\operatorname{SU}(9)) with l(w)\leqslant 8 arranged in the order imposed by (4.1). For more examples of the results produced by Decomposition we refer to [24], §§ 1.1–7.1.

Table 2.

w_{i,j}decompositionw_{i,j}decompositionw_{i,j}decomposition
w_{1,1}[{4}]w_{2,1}[{3, 4}]w_{2,2}[{5, 4}]
w_{3,1}[{2, 3, 4}]w_{3,2}[{3, 5, 4}]w_{3,3}[{6, 5, 4}]
w_{4,1}[{1, 2, 3, 4}]w_{4,2}[{2, 3, 5, 4}]w_{4,3}[{3, 6, 5, 4}]
w_{4,4}[{4, 3, 5, 4}]w_{4,5}[{7, 6, 5, 4}]w_{5,1}[{1, 2, 3, 5, 4}]
w_{5,2}[{2, 3, 6, 5, 4}]w_{5,3}[{2, 4, 3, 5, 4}]w_{5,4}[{3, 7, 6, 5, 4}]
w_{5,5}[{4, 3, 6, 5, 4}]w_{5,6}[{8, 7, 6, 5, 4}]w_{6,1}[{1, 2, 3, 6, 5, 4}]
w_{6,2}[{1, 2, 4, 3, 5, 4}]w_{6,3}[{2, 3, 7, 6, 5, 4}]w_{6,4}[{2, 4, 3, 6, 5, 4}]
w_{6,5}[{3, 2, 4, 3, 5, 4}]w_{6,6}[{3, 8, 7, 6, 5, 4}]w_{6,7}[{4, 3, 7, 6, 5, 4}]
w_{6,8}[{5, 4, 3, 6, 5, 4}]w_{7,1}[{1, 2, 3, 7, 6, 5, 4}]w_{7,2}[{1, 2, 4, 3, 6, 5, 4}]
w_{7,3}[{1, 3, 2, 4, 3, 5, 4}]w_{7,4}[{2, 3, 8, 7, 6, 5, 4}]w_{7,5}[{2, 4, 3, 7, 6, 5, 4}]
w_{7,6}[{2, 5, 4, 3, 6, 5, 4}]w_{7,7}[{3, 2, 4, 3, 6, 5, 4}]w_{7,8}[{4, 3, 8, 7, 6, 5, 4}]
w_{7,9}[{5, 4, 3, 7, 6, 5, 4}]w_{8,1}[{1, 2, 3, 8, 7, 6, 5, 4}]w_{8,2}[{1, 2, 4, 3, 7, 6, 5, 4}]
w_{8,3}[{1, 2, 5, 4, 3, 6, 5, 4}]w_{8,4}[{1, 3, 2, 4, 3, 6, 5, 4}]w_{8,5}[{2, 1, 3, 2, 4, 3, 5, 4}]
w_{8,6}[{2, 4, 3, 8, 7, 6, 5, 4}]w_{8,7}[{2, 5, 4, 3, 7, 6, 5, 4}]w_{8,8}[{3, 2, 4, 3, 7, 6, 5, 4}]
w_{8,9}[{3, 2, 5, 4, 3, 6, 5, 4}]w_{8,10}[{5, 4, 3, 8, 7, 6, 5, 4}]w_{8,11}[{6, 5, 4, 3, 7, 6, 5, 4}]

Geometrically, for any w\in W(P;G) the Schubert variety X_{w} can be constructed explicitly in terms of its minimized decomposition [4], [20].

4.3. A unified formula for Schubert characteristics

Given an element w\in W(P_{K};G) with minimized decomposition

\begin{equation*} w=\sigma_{i_1}\circ \sigma_{i_2}\circ \cdots \circ \sigma_{i_{m}},\quad 1\leqslant i_1,i_2,\dots,i_{m}\leqslant n, \end{equation*} \notag
the structure matrix of w is the strictly upper triangular matrix A_w=(a_{s,t})_{m\times m} defined by the Cartan matrix C=(c_{i,j})_{n\times n} of G as follows:
\begin{equation*} a_{s,t} =\begin{cases} 0 & \text{if } s\geqslant t,\\ -c_{i_{s},i_{t}} & \text{if } s<t. \end{cases} \end{equation*} \notag

For example, recall that the Cartan matrix of the exceptional Lie group G_{2} is

\begin{equation*} C=\begin{pmatrix} \hphantom{-} 2 & -1 \\ -3 & \hphantom{-} 2 \end{pmatrix}. \end{equation*} \notag
By Lemma 4.1 the Weyl group W(G_{2}) has two generators, \sigma_{1} and \sigma_{2}. Consider the following elements with length 4:
\begin{equation*} u=\sigma_1\circ \sigma_2\circ \sigma_1\circ \sigma_2\quad\text{and} \quad v=\sigma_2\circ \sigma_1\circ \sigma_2\circ \sigma_1. \end{equation*} \notag
From the Cartan matrix C one obtains
\begin{equation*} A_{u}=\begin{pmatrix} 0 & \hphantom{-} 1 & -2 & \hphantom{-} 1 \\ 0 & \hphantom{-} 0 & \hphantom{-} 3 & -2 \\ 0 & \hphantom{-} 0 & \hphantom{-} 0 & \hphantom{-} 1 \\ 0 & \hphantom{-} 0 & \hphantom{-} 0 & \hphantom{-} 0 \end{pmatrix} \quad\text{and}\quad A_{v}=\begin{pmatrix} 0 & \hphantom{-} 3 & -2 & \hphantom{-} 3 \\ 0 & \hphantom{-} 0 & \hphantom{-} 1 & -2 \\ 0 & \hphantom{-} 0 & \hphantom{-} 0 & \hphantom{-} 3 \\ 0 & \hphantom{-} 0 & \hphantom{-} 0 & \hphantom{-} 0 \end{pmatrix}. \end{equation*} \notag

Let \mathbb{Z}[x_1,\dots,x_m] be the ring of polynomials in x_1,\dots,x_m that is graded by \deg x_{i}=1, and let \mathbb{Z}[x_1,\dots,x_m]^{(m)} be its subgroup generated by the monomials of degree m. Given a strictly upper triangular integer m\times m matrix A=(a_{{i,j}}), the triangular operator T_A associated to A is the linear map

\begin{equation*} T_{A}\colon\mathbb{Z}[x_1,\dots,x_m]^{(m)}\to \mathbb{Z} \end{equation*} \notag
defined recursively by the following elimination rules: Since every polynomial h\in \mathbb{Z}[x_1,\dots,x_m]^{(m)} admits a unique expansion
\begin{equation*} h =\sum_{0\leqslant r\leqslant m}h_r\cdot x_m^r \quad\text{with } h_r\in\mathbb{Z}[x_1,\dots,x_{m-1}]^{(m-r)}, \end{equation*} \notag
the operator T_A is well defined by rules 1)–3). We have the following.

Lemma 4.4. For any polynomial h\in \mathbb{Z}[x_1,\dots,x_m]^{(m)} the number T_A(h) is a polynomial of degree m in the entries of the matrix A.

Extending the main results of [19], [20], and [28] we showed in [32], Theorem 2.4, the following formula, which expresses the Schubert characteristics of a flag manifold G/P as polynomials in the Cartan numbers of the group G.

Theorem 4.5. Let w\in W(P;G) be an element with minimized decomposition \sigma_{i_1}\circ \cdots \circ \sigma_{i_m} and structure matrix A_w. For any monomial s_{u_1}\cdots s_{u_k} of total degree m in the Schubert classes one has

\begin{equation} c_{u_1,\dots,u_k}^w =T_{A_w}\biggl(\,\prod_{i=1}^k \biggl(\sum_{\sigma_I=u_i,\,|I|=l(u_i),\,I\subseteq\{1,\dots,m\}} x_I \biggr)\biggr), \end{equation} \tag{4.2}
where for a multi-index I=\{j_1,\dots,j_t\} we set |I|:=t,
\begin{equation*} \sigma_I:=\sigma_{i_{j_1}}\circ\cdots\circ\sigma_{i_{j_t}}\in W(G), \quad\textit{and}\quad x_{I}:=x_{i_{j_1}}\!\cdots x_{i_{j_t}}\in\mathbb{Z}[x_1,\dots,x_m]. \end{equation*} \notag

Since the matrix A_w is constructed from the Cartan matrix of the group G in term of the minimized decomposition of w, while the operator T_{A_w} is evaluated easily using elimination rules 1)–3) stated above, formula (4.2) indicates an effective algorithm to evaluate the numbers c_{u_1,\dots,u_k}^w. Combining these ideas, the package Characteristics in Mathematica was developed (see, for example, [25]), whose function is described as follows.

Algorithm II: Characteristics. Input: the Cartan matrix C=(a_{ij})_{n\times n} of G and a subset K\subset \{1,\dots,n\} to specify a parabolic subgroup P.

Output: the characteristics c_{u_1,\dots,u_k}^w of G/P.

Example 4.6 (the characteristics of the Schubert monomials at the top degree). Let G/P be a flag manifold with \dim_{\mathbb C}G/P=m. According to the basis theorem (Theorem 3.2) there exists a unique element w_0\in W(P;G) such that l(w_0)=m and the Schubert class s_{w_0} generates the top degree cohomology H^{2m}(G/P)=\mathbb{Z}. It follows that, for any monomial s_{u_1}\cdots s_{u_k} of total degree m in the Schubert classes, the characteristic number c_{u_1,\dots,u_k}^w is given by the equality

\begin{equation*} \langle s_{u_1}\cdots s_{u_k},[G/P]\rangle =c_{u_1,\dots,u_k}^{w_0} \end{equation*} \notag
(see Problem 2.3), which we abbreviate to s_{u_1}\cdots s_{u_k}=c_{u_1,\dots,u_k}^{w_0}. In addition, for an element w\in W(P;G) with minimized decomposition w=\sigma_I we can use the notation s_I to denote the Schubert class s_w.

The cohomology of the Grassmannians G_{n,k} are the most classical and archetypal examples of intersection theory (see [59], [60], and [34], p. 4). Traditionally, the characteristics c_{u_{1},u_{2}}^{w} are given by the combinatorial Littlewood–Richardson rule [52], rather than by a closed formula. In contrast, our formula (4.2) is practical for numerical computation. In accordance with the convention above we set

\begin{equation*} c_{r} :=s_{\{k-r+1,k-r+2,\dots,k\}}\in H^{2r}(G_{n,k}), \qquad r=1,\dots,k. \end{equation*} \notag
Then c_{r} is also the rth Chern class of the canonical k-dimensional complex vector bundles on G_{n,k} [55]. Applying Characteristics to the case of G_{9,4} we obtain the following table of characteristics for monomials of top degree \dim_{\mathbb C} G_{9,4}=20 in the Chern classes (see Table 3).

Table 3.The characteristics of the Grassmaniann G_{9,4}

c_4^5 = 1c_3^4c_4^2 = 1c_2 c_3^2c_4^3 = 1c_2 c_3^6 = 9
c_2^2c_4^4 = 1c_2^2c_3^4c_4 = 6c_2^3c_3^2c_4^2 = 4c_2^4c_4^3 = 3
c_2^4c_3^4 = 45c_2^5c_3^2c_4 = 26c_2^6c_4^2 = 16c_2^7c_3^2 = 231
c_2^8c_4 = 126c_2^{10} = 1296c_1 c_3 c_4^4 = 1c_1 c_3^5c_4 = 4
c_1 c_2 c_3^3c_4^2 = 3c_1 c_2^2c_3 c_4^3 = 2c_1 c_2^2c_3^5 = 29c_1 c_2^3c_3^3c_4 = 17
c_1 c_2^4c_3 c_4^2 = 10c_1 c_2^5c_3^3 = 141c_1 c_2^6c_3 c_4 = 76c_1 c_2^8c_3 = 756
c_1^2c_3^2c_4^3 = 2c_1^2c_3^6 = 19c_1^2c_2 c_4^4 = 1c_1^2c_2 c_3^4c_4 = 12
c_1^2c_2^2c_3^2c_4^2 = 7c_1^2c_2^3c_4^3 = 4c_1^2c_2^3c_3^4 = 89c_1^2c_2^4c_3^2c_4 = 48
c_1^2c_2^5c_4^2 = 26c_1^2c_2^6c_3^2 = 451c_1^2c_2^7c_4 = 231c_1^2c_2^{9} = 2556
c_1^3c_3^3c_4^2 = 6c_1^3c_2 c_3 c_4^3 = 3c_1^3c_2 c_3^5 = 59c_1^3c_2^2c_3^3c_4 = 32
c_1^3c_2^3c_3 c_4^2 = 17c_1^3c_2^4c_3^3 = 276c_1^3c_2^5c_3 c_4 = 141c_1^3c_2^7c_3 = 1491
c_1^4c_4^4 = 1c_1^4c_3^4c_4 = 24c_1^4c_2 c_3^2c_4^2 = 12c_1^4c_2^2c_4^3 = 6
c_1^4c_2^2c_3^4 = 175c_1^4c_2^3c_3^2c_4 = 89c_1^4c_2^4c_4^2 = 45c_1^4c_2^5c_3^2 = 886
c_1^4c_2^6c_4 = 436c_1^4c_2^8 = 5112c_1^5c_3 c_4^3 = 4c_1^5c_3^5 = 119
c_1^5c_2 c_3^3c_4 = 59c_1^5c_2^2c_3 c_4^2 = 29c_1^5c_2^3c_3^3 = 539c_1^5c_2^4c_3 c_4 = 264
c_1^5c_2^6c_3 = 2962c_1^6c_3^2c_4^2 = 19c_1^6c_2 c_4^3 = 9c_1^6c_2 c_3^4 = 339
c_1^6c_2^2c_3^2c_4 = 164c_1^6c_2^3c_4^2 = 79c_1^6c_2^4c_3^2 = 1744c_1^6c_2^5c_4 = 832
c_1^6c_2^7 = 10302c_1^7c_3^3c_4 = 104c_1^7c_2 c_3 c_4^2 = 49c_1^7c_2^2c_3^3 = 1047
c_1^7c_2^3c_3 c_4 = 496c_1^7c_2^5c_3 = 5912c_1^8c_4^3 = 14c_1^8c_3^4 = 641
c_1^8c_2 c_3^2c_4 = 300c_1^8c_2^2c_4^2 = 140c_1^8c_2^3c_3^2 = 3437c_1^8c_2^4c_4 = 1600
c_1^8c_2^6 = 20887c_1^{9}c_3 c_4^2 = 84c_1^{9}c_2 c_3^3 = 2025c_1^{9}c_2^2c_3 c_4 = 936
c_1^{9}c_2^4c_3 = 11853c_1^{10}c_3^2c_4 = 552c_1^{10}c_2 c_4^2 = 252c_1^{10}c_2^2c_3^2 = 6792
c_1^{10}c_2^3c_4 = 3102c_1^{10}c_2^5 = 42597c_1^{11}c_3^3 = 3927c_1^{11}c_2 c_3 c_4 = 1782
c_1^{11}c_2^3c_3 = 23892c_1^{12}c_4^2 = 462c_1^{12}c_2 c_3^2 = 13497c_1^{12}c_2^2c_4 = 6072
c_1^{12}c_2^4 = 87417c_1^{13}c_3 c_4 = 3432c_1^{13}c_2^2c_3 = 48477c_1^{14}c_3^2 = 27027
c_1^{14}c_2 c_4 = 12012c_1^{14}c_2^3 = 180609c_1^{15}c_2 c_3 = 99099c_1^{16}c_4 = 24024
c_1^{16}c_2^2 = 375804c_1^{17}c_3 = 204204c_1^{18}c_2 = 787644c_1^{20} = 1662804

Characteristics works equally well for other types of flag manifolds. For example, consider the flag manifold E_{6}/P_{\{2\}}, where P_{\{2\}}=S^{1}\cdot \operatorname{SU}(6). Following Bourbaki’s numbering of simple roots [9], let y_{1}, y_{3}, y_{4}, and y_{6} be, respectively, the Schubert classes s_{I} with

\begin{equation*} I=\{2\}, \{5,4,2\}, \{6,5,4,2\}, \{1,3,6,5,4,2\}. \end{equation*} \notag
Then the cohomology H^*(E_6/P_{\{2\}}) is generated by y_{1}, y_{3}, y_{4}, and y_{6} by Theorem 3 in [29]. Applying Characteristics we obtain the following table of characteristics for all monomials of top degree \dim_{\mathbb C} E_{6}/P_{\{2\}}=21 in the Schubert generators y_{i} (see Table 4).

Table 4.The characteristics of the flag manifold E_6/S^{1}\cdot\operatorname{SU}(6)

y_3 y_6^3 = 3 y_3 y_4^3y_6 = 3 y_3^3y_6^2 = 21 y_3^3y_4^3 = 21 y_3^5y_6 = 156
y_3^7 = 1158 y_1 y_4^2y_6^2 = 2 y_1 y_4^5 = 2 y_1 y_3^2y_4^2y_6 = 14 y_1 y_3^4y_4^2 = 100
y_1^2y_3 y_4 y_6^2 = 9 y_1^2y_3 y_4^4 = 9 y_1^2y_3^3y_4 y_6 = 66 y_1^2y_3^5y_4 = 483 y_1^3y_6^3 = 6
y_1^3y_4^3y_6 = 6 y_1^3y_3^2y_6^2 = 42 y_1^3y_3^2y_4^3 = 42 y_1^3y_3^4y_6 = 312 y_1^3y_3^6 = 2328
y_1^4y_3 y_4^2y_6 = 28 y_1^4y_3^3y_4^2 = 201 y_1^5y_4 y_6^2 = 18 y_1^5y_4^4 = 18 y_1^5y_3^2y_4 y_6 = 132
y_1^5y_3^4y_4 = 972 y_1^6y_3 y_6^2 = 84 y_1^6y_3 y_4^3 = 84 y_1^6y_3^3y_6 = 624 y_1^6y_3^5 = 4677
y_1^7y_4^2y_6 = 56 y_1^7y_3^2y_4^2 = 404 y_1^8y_3 y_4 y_6 = 264 y_1^8y_3^3y_4 = 1956 y_1^{9}y_6^2 = 168
y_1^{9}y_4^3 = 168 y_1^{9}y_3^2y_6 = 1248 y_1^{9}y_3^4 = 9390 y_1^{10}y_3 y_4^2 = 813 y_1^{11}y_4 y_6 = 528
y_1^{11}y_3^2y_4 = 3936 y_1^{12}y_3 y_6 = 2496 y_1^{12}y_3^3 = 18837 y_1^{13}y_4^2 = 1638 y_1^{14}y_3 y_4 = 7917
y_1^{15}y_6 = 4992 y_1^{15}y_3^2 = 37752 y_1^{17}y_4 = 15912 y_1^{18}y_3 = 75582 y_1^{21} = 151164

The contents of Tables 3 and 4 are compatible with Schubert’s computation in Table 1. Let M be the variety of complete conics in 3-space. Then \dim_{\mathbb C} M=8, while the ring H^*(M) is generated by the Schubert’s symbols \mu,\rho,\nu\in H^{2}(M) [23]. That is, the equalities in Table 1 consist of the characteristics of the monomials \mu^{m}\nu ^{n}\rho ^{8-m-n} of top degree 8 in the symbols \mu, \rho, and \nu.

Remark 4.7. Geometrically, the operator T_{A_w} in (4.2) handles integration along the Schubert cell X_w (see [4] and [20]).

Formula (4.2) was extended in [21] to compute the products of basis elements of Grothendieck’s K-theory of flag manifolds and in [26] to evaluate the Steenrod operations on Schubert classes.

4.4. The intersection rings of flag manifolds

As in Example 4.6, let c_{i}\in H^{2i}(G_{{n,k}}) be the ith Chern class. Borel [6] showed that

\begin{equation} H^*(G_{n,k})=\mathbb{Z}[c_1,\dots,c_k] / \langle c_{n-k+1}^{-1},\dots,c_n^{-1}\rangle, \end{equation} \tag{4.3}
where c_j^{-1} denotes the component of the formal inverse of 1+c_1+\cdots+c_k in degree j, and where \langle\dots\rangle denotes the ideal generated by the indicated polynomials. Comparing formula (4.3) with the contents of Table 3 reveals the following phenomena: the characteristic numbers are essential for enumerative geometry, but fail to be a concise way to characterize the structure of the ring H^*(G_{n,k}). It is the Weil problem that has motivated the following extension of Borel’s formula (4.3) to all flag manifolds.

Theorem 4.8. For each flag manifold G/P there exist Schubert classes y_{1},\dots,y_{n} such that

\begin{equation} H^*(G/P)=\mathbb{Z}[y_1,\dots,y_n] / \langle f_1,\dots,f_{m}\rangle, \end{equation} \tag{4.4}
where f_{i}\in \mathbb{Z}[y_{1},\dots,y_{n}], 1\leqslant i\leqslant m, and where the numbers n and m are the minimum integers appearing in such a presentation.

Proof. Let H^+(G/P) be the subring of the cohomology H^*(G/P) spanned by the homogeneous elements of positive degree, and let D(H^*(G/P)) be the ideal of decomposable elements of the ring H^+(G/P). Since the cohomology H^*(G/P) is torsion free and has a basis consisting of Schubert classes, there exist Schubert classes y_1,\dots,y_n on G/P that correspond to a basis of the quotient group H^+(G/P)/D(H^*(G/P)). It follows that the inclusion \{y_1,\dots,y_n\}\subset H^*(G/P) induces a ring epimorphism
\begin{equation*} \pi\colon\mathbb{Z}[y_1,\dots,y_n]\to H^*(G/P). \end{equation*} \notag
By Hilbert’s basis theorem there exist finitely many polynomials
\begin{equation*} f_1,\dots,f_m\in\mathbb{Z}[y_1,\dots,y_n] \end{equation*} \notag
such that \ker\pi=\langle f_1,\dots,f_m\rangle. Of course, we can assume that the number m is minimum with respect to formula (4.4).

As the cardinality of a basis of the quotient group H^+(G/P)/D(H^*(G/P)), the number n is an invariant of G/P. In addition, if one changes the generators y_1,\dots,y_n to y_1',\dots,y_n', then each old generator y_i can be expressed as a polynomial g_i in the new ones y_1',\dots,y_n'. The invariance of m is shown by the presentation

\begin{equation*} H^*(G/P)=\mathbb{Z}[y_1',\dots,y_n'] / \langle f_1',\dots,f_{m}'\rangle, \end{equation*} \notag
where f_j' is obtained from f_j by substituting the g_i for the y_i, 1\leqslant j\leqslant m.

The proof of Theorem 4.8 singles out two crucial steps in resolving the Weil problem:

Since both tasks can be implemented by Characteristics (see, for example, [32], § 4.4), we thus obtain the package Chow-ring in Mathematica [29], [32], whose function is stated below.

Algorithm III: Chow-ring. Input: the Cartan matrix C=(a_{ij})_{n\times n} of G, and a subset K\subset \{1,\dots,n\} to specify a parabolic subgroup P.

Output: a presentation (4.4) of the cohomology H^*(G/P).

Example 4.9. If G is a simple Lie group of rank n and if K=\{1,\dots,n\}, then the parabolic subgroup P_K is a maximal torus T in G, and the flag manifold G/T is called the complete flag manifold of the group G. As applications of Chow-ring, the cohomologies H^*(G/T) for the exceptional Lie groups have been determined in terms of a minimal system of generators and relations in Schubert classes (see, for example, [31]). We present below the results for G=F_4,E_6,E_7.

(i) H^*(F_4/T)=\mathbb{Z}[\omega_1,\dots,\omega_4,y_3,y_4] / \langle\rho_2,\rho_4,r_3,r_6,r_8,r_{12}\rangle, where

\begin{equation*} \begin{aligned} \, \rho_2 & =c_2-4\omega_1^2,\\ \rho_4 & =3y_4+2\omega_1y_3-c_4,\\ r_3 & =2y_3-\omega_1^3,\\ r_6 & =y_3^2+2c_6-3\omega_1^2y_4,\\ r_8 & =3y_4^2-\omega_1^2c_6,\\ r_{12} & =y_4^3-c_6^2; \end{aligned} \end{equation*} \notag

(ii) H^*(E_6/T)=\mathbb{Z}[\omega_1,\dots,\omega_6,y_3,y_4] / \langle\rho_2,\rho_3,\rho_4,\rho_5,r_6,r_8,r_9,r_{12}\rangle, where

\begin{equation*} \begin{aligned} \, \rho_2 & =4\omega_2^2-c_2,\\ \rho_3 & =2y_3+2\omega_2^3-c_3,\\ \rho_4 & =3y_4+\omega_2^4-c_4,\\ \rho_5 & =2\omega_2^2y_3-\omega_2c_4+c_5,\\ r_6 & =y_3^2-\omega_2c_5+2c_6,\\ r_8 &=3y_4^2-2c_5y_3-\omega_2^2c_6+\omega_2^3c_5,\\ r_9 & =2y_3c_6-\omega_2^3c_6,\\ r_{12} & =y_4^3-c_6^2; \end{aligned} \end{equation*} \notag

(iii) H^*(E_7/T)=\mathbb{Z}[\omega_1,\dots,\omega_7,y_3,y_4,y_5,y_9]/\langle \rho_i,r_j\rangle, where

\begin{equation*} \begin{aligned} \, \rho_2 & =4\omega_2^2-c_2,\\ \rho_3 & =2y_3+2\omega_2^3-c_3,\\ \rho_4 & =3y_4+\omega_2^4-c_4,\\ \rho_5 & =2y_5-2\omega_2^2y_3+\omega_2c_4-c_5,\\ r_6 & =y_3^2-\omega_2c_5+2c_6,\\ r_8 & =3y_4^2+2y_3y_5-2y_3c_5+2\omega_2c_7-\omega_2^2c_6+\omega_2^3c_5,\\ r_9 & =2y_9+2y_4y_5-2y_3c_6-\omega_2^2c_7+\omega_2^3c_6,\\ r_{10} & =y_5^2-2y_3c_7+\omega_2^3c_7,\\ r_{12} & =y_4^3-4y_5c_7-c_6^2-2y_3y_9-2y_3y_4y_5 +2\omega_2y_5c_6+3\omega_2y_4c_7+c_5c_7,\\ r_{14} & =c_7^2-2y_5y_9+2y_3y_4c_7-\omega_2^3y_4c_7,\\ r_{18} & =y_9^2+2y_5c_6c_7-y_4c_7^2-2y_4y_5y_9+2y_3y_5^3-5\omega_2y_5^2c_7, \end{aligned} \end{equation*} \notag
where the set \{\omega_i,\, 1\leqslant i\leqslant \operatorname{rank} G\} is the Schubert basis of H^2(G/T), which is also the set of fundamental dominant weights of the relevant group G (see, for example, [22], Lemma 2.4), the c_{r} are certain polynomials in \omega_1,\dots,\omega_n defined in [32], (5.17), whose geometric implication will be made transparent in Example 4.11 below, and where, in terms of the Bourbaki numbering of simple roots [9], the y_i are the Schubert classes s_{I} on G/T specified in the table below:

y_iy_3y_4y_5y_9
F_4/Ts_{\{3,2,1\}}s_{\{4,3,2,1\}}
E_6/Ts_{\{5,4,2\}}s_{\{6,5,4,2\}}
E_7/Ts_{\{5,4,2\}}s_{\{6,5,4,2\}}s_{\{7,6,5,4,2\}}s_{\{1,5,4,3,7,6,5,4,2\}}

For more examples of the applications of Chow-ring to computations with partial flag manifolds G/P, we refer to [29], Theorems 1–7.

4.5. Schubert polynomials

In classical enumerative geometry the Chern class c_i of the Grassmannian G_{n,k} arises firstly as the Poincaré dual of the variety of k-planes meeting a general (n-k-i)-plane in the n-space \mathbb{C}^{n} and is well known as the ith special Schubert class of G_{n,k}. The celebrated Giambelli formula [40] (1902), expressing an arbitrary Schubert class s_w on G_{n,k} as a determinant (that is, a polynomial) in the special ones, can be praised as the beginning of the idea of Schubert polynomials.

In general, suppose that G/P is a flag manifold for which a solution (4.4) to the Weil problem is available. Then every Schubert class s_w can be expressed as a polynomial in the generators y_1,\dots,y_n. Inspired by Giambelli’s formula, we may call the generators y_1,\dots,y_n the special Schubert classes of G/P and ask the question of expressing an arbitrary Schubert class s_w on G/P as a polynomial \mathcal{G}_w in the special ones, where \deg \mathcal{G}_w=2l(w). In particular, starting from Borel’s presentation of the cohomology ring of the flag manifold U(n)/T

\begin{equation*} H^*(U(n)/T) =\mathbb{Z}[x_1,\dots,x_n]/\langle e_1,\dots,e_n\rangle \end{equation*} \notag
(see [6]), where e_1,\dots,e_n are the elementary symmetric polynomials in x_1,\dots,x_n, Lascoux and Schützenberger [50] proposed to solve the problem in accordance with the following rules: Strictly speaking, the Borel generators x_1,\dots,x_{n-1} are the simple roots of the group \operatorname{SU}(n), rather than the fundamental dominant weights (that is, the special Schubert classes of U(n)/T). However, this deficiency is not serious, because the linear transformation between these two sets of generators of the ring H^*(U(n)/T) is given by the Cartan matrix of U(n) (see [22], Lemma 2.3). Extending the work of Lascoux and Schützenberger, the Schubert polynomials of the complete flag manifolds G/T were defined by Billey and Haiman [5] for G=\operatorname{Spin}(n) and \operatorname{Sp}(n), and independently by Fomin and Kirillov [36] for G=\operatorname{Spin}(2n+1). In addition, as early as 1974 Marlin [54] determined the ring H^*(G/T) for G=\operatorname{Spin}(n) in the context of Schubert calculus.

In the traditional approach to Schubert polynomials, there are two necessary prerequisites (see, for instance, [5]):

Nevertheless, granted with Characteristics, we have alternatively a linear algorithm to obtain Schubert polynomials, without resorting to a top degree Schubert polynomial \mathcal{G}_0 or to the complicated operators \mathcal{D}_w.

Algorithm IV: Schubert polynomials.

Input: a set \{y_1,\dots,y_n\} of special Schubert classes on G/P and an integer m>0.

Output: the Schubert polynomials \mathcal{G}_w for w\in W^m(H;G).

We clarify the details of Algorithm IV. Let \mathbb{Z}[y_1,\dots,y_n]^{(m)} be a group of polynomials of degree m in the special Schubert classes y_1,\dots,y_n. We examine the map

\begin{equation*} \pi_{m}\colon \mathbb{Z}[y_1,\dots,y_n]^{(m)}\to H^{2m}(G/P) \end{equation*} \notag
induced by the inclusion y_1,\dots,y_n\in H^{*}(G/T). Let
\begin{equation*} B(m):=\{y^{\alpha_1},\dots,y^{\alpha_{b(m)}}\} \end{equation*} \notag
be the monomial basis of the group \mathbb{Z}[y_1,\dots,y_n]^{(m)}, and recall (see (4.1)) that the Schubert basis of the group H^{2m}(G/P) is \{s_{m,1},\dots,s_{m,\beta(m)}\}. Since each y^{\alpha}\in B(m) is a monomial in the special Schubert classes, Algorithm II is applicable to expand it linearly in \{s_{m,1},\dots,s_{m,\beta(m)}\} to get a b(m)\times \beta(m) matrix M(\pi_m) which satisfies the linear system
\begin{equation*} \begin{pmatrix} y^{\alpha_1} \\ \vdots \\ y^{\alpha_{{b(m)}}} \end{pmatrix} =M(\pi_m) \begin{pmatrix} s_{{m,1}} \\ \vdots \\ s_{{m,\beta (m)}} \end{pmatrix}. \end{equation*} \notag
Moreover, since the map \pi_m is surjective, the matrix M(\pi_m) has a \beta(m)\times \beta(m) minor equal to \pm 1. Thus, the standard integral row and column operation diagonalizing M(\pi_m) (see [57], pp. 162–164) provides us with two invertible matrices P=P_{b(m)\times b(m)} and Q=Q_{{\beta (m)\times \beta (m)}} satisfying the relation
\begin{equation} PM(\pi_m)Q= \begin{pmatrix} I_{{\beta (m)}} \\ C \end{pmatrix}_{{b(m)\times \beta (m)}}, \end{equation} \tag{4.5}
where I_{\beta(m)} denotes the identity matrix of rank \beta(m). Summarizing, Algorithm IV can be realized by the following procedure.

Step 1. Compute M(\pi_m) using Characteristics.

Step 2. Diagonalize M(\pi_m) to obtain the matrices P and Q in (4.5).

Step 3. Set

\begin{equation*} \begin{pmatrix} \mathcal{G}_{m,1} \\ \vdots \\ \mathcal{G}_{m,\beta(m)} \end{pmatrix} :=Q\cdot[P] \begin{pmatrix} y^{\alpha_1} \\ \vdots \\ y^{\alpha_{b(m)}} \end{pmatrix}, \end{equation*} \notag
where [P] is the \beta(m)\times\beta(m) matrix formed by the first \beta(m) rows of P.

The following is clear.

Theorem 4.10. The polynomial \mathcal{G}_{m,k}(y_1,\dots,y_n) is a Schubert polynomial of the Schubert class s_{m,k}, 1\leqslant k\leqslant \beta(m).

Example 4.11. Algorithm IV is suitable for those flag manifolds G/P whose top degree Schubert polynomials are not known (or are in question).

For the exceptional Lie group G=E_{n} with n=6,7,8 the parabolic subgroup P_{\{2\}} has a canonical n-dimensional complex representation, which gives rise to the canonical complex n-bundle \xi_n on the flag manifold E_n/P_{\{2\}} (see [1]). According to Borel and Hirzebruch (see [8], § 10), the Chern classes c_i(\xi_n) can be expressed as a (rather lengthy) polynomial in the positive roots of the group E_n. However, in the notation for special Schubert classes of E_n/P_{\{2\}} specified in the table

y_iE_n/P_{\{2\}},\text{ }n=6,7,8
y_1s_{\{2\}}\text{, }n=6,7,8
y_3s_{\{5,4,2\}}\text{, }n=6,7,8
y_4s_{\{6,5,4,2\}}\text{, }n=6,7,8
y_5s_{\{{7,6,5,4,2}\}}\text{, }n=7,8
y_6s_{\{1,3,6,5,4,2\}}\text{, }n=6,7,8
y_7s_{\{1,3,7,6,5,4,2\}}, n=7,8
y_{8}s_{\{1,3,8,7,6,5,4,2\}}, n=8

using Algorithm IV we obtain the following concise expressions of the Chern classes c_i(\xi_n) as polynomials in the special Schubert classes (see Table 5).

Table 5.

E_6/P_{\{2\}}E_7/P_{\{2\}}E_{8}/P_{\{2\}}
c_13y_13y_13y_1
c_24y_1^24y_1^24y_1^2
c_32y_3+2y_1^32y_3+2y_1^32y_3+2y_1^3
c_43y_4+y_1^43y_4+y_1^43y_4+y_1^4
c_53y_1y_4-2y_1^2y_3+y_1^5 2y_5+3y_1y_4-2y_1^2y_3+y_1^52y_5+3y_1y_4 -2y_1^2y_3+y_1^5
c_6y_6y_6+2y_1y_5 \begin{array}{l} 5y_6+2y_3^2+6y_1 y_5-6y_1^2y_4\\ \hphantom{5y_6}+4y_1^3y_3-2y_1^6 \end{array}
c_70y_7 \begin{array}{l} y_7+4y_1y_6+2y_1y_3^2 +4y_1^2y_5\\ \hphantom{y_7}-6y_1^3y_4+4y_1^4y_3-2y_1^7 \end{array}
c_{8}00y_{8}

In addition, the Schubert polynomials of the flag manifold E_{6}/P_{\{2\}} in degrees m=8,9 are listed in Table 6.

Table 6.

s_{8,1}=y_4^2-2y_4y_3y_1+y_4y_1^4s_{9,1}=-y_6y_3+2y_4^2y_1-2y_4y_3y_1^2+y_4y_1^5
s_{8,2}= y_4^2s_{9,2}=y_6y_3-y_4^2y_1
s_{8,3}=2y_4^2-3y_4y_3y_1-y_4y_1^4+3y_3^2y_1^2-y_3y_1^5s_{9,3}=y_6y_3-y_4^2y_1+2y_4y_3y_1^2-y_4y_1^5
s_{8,4}=2y_4^2-5y_4y_3y_1+5y_3^2y_1^2-2y_3y_1^5s_{9,4}=-y_6y_3-y_4y_1^5+y_3^3
s_{8,5}=-5y_4^2+8y_4y_3y_1-y_4y_1^4-5y_3^2y_1^2+2y_3y_1^5s_{9,5}=-y_6y_3-3y_4^2y_1+3y_4y_3y_1^2-y_4y_1^5

Remark 4.12. Presumably, Schubert polynomials can be useful to compute the characteristics. However, in our approach Schubert characteristics are a preliminary step toward Schubert polynomials (see, for example, Algorithm IV).

Currently, the theory of Schubert polynomials is a powerful tool for discovering the combinatorial structure of the Littlewood–Richardson coefficients [16], [11], [12], and it is essential for the geometric topic of the degeneracy loci of maps between vector bundles [39], [66]. There have also been extensive studies of Schubert polynomials in quantum cohomology [35] and in the K-theory of flag manifolds. For recent progress in this branch of contemporary Schubert calculus, we refer to the articles by Kirillov and Narus [46], and Smirnov and Tutubalina [64].

4.6. Applications to the topology of homogeneous spaces

For a compact Lie group G with a closed subgroup H the quotient space G/H is called a homogeneous space of G. In contrast to flag manifolds, the cohomology of a homogeneous space can be non-trivial in odd degrees, and can contain torsion elements.

A classical problem of topology is to express the cohomology of a Lie group G or a homogeneous space G/H by a minimal system of explicit generators and relations. The traditional approaches due to H. Cartan, A. Borel, Baum, and Toda utilize various spectral sequence techniques [3], [6], [44], [67], [71], and the calculation encounters the same difficulties when applied to a Lie group G whose integral cohomology has torsion elements, in particular, when G is one of the exceptional Lie groups.

Schubert calculus makes the cohomology theory of homogeneous spaces appear in a new light. For example, after substituting formulae (i)–(iii) from Example 4.9 into the second page of the Serre spectral sequence of the fibration G\to G/T,

\begin{equation*} E_2^{**}(G)=H^*(G/T)\otimes H^*(T), \end{equation*} \notag
the integral cohomology H^*(G), as well as the Hopf algebra structure on the \mod p cohomology H^*(G;\mathbb{Z}_p), have been determined by computations with the Schubert classes on G/T (see [27] and [30]). For more examples of the extension of Schubert calculus to computations with homogeneous spaces, see [29], § 5.

5. Concluding remarks

Throughout ages, a common hope of geometers was to find calculable mechanisms among the geometric entities they are dealing with (for example, algebraic varieties, cellular complexes, vector bundles, or the cobordism classes of smooth manifolds). The emergence of Schubert calculus, or the birth of intersection theory, catered to this demand. Today Schubert calculus has been widely integrated into many branches of mathematics, and has profoundly affected the trajectories of the development of such fields as the theory of characteristic classes [55], string theory [45], and algebraic combinatorics [37]. All this has vigorously witnessed Hilbert’s broad vision and foresight, and at the same time, has put forward the essential request to explore effective rules for performing computations.

Subject to the plan, this article has recalled the earlier studies on Schubert calculus, presented a solution of the problem of characteristics, and illustrated a passage from the Cartan matrices of Lie groups to the intersection theory of flag manifolds, in which the characteristics play a central role. For the historic significance and rigorous treatment of the enumerative examples of Schubert mentioned in § 3, we refer to the survey articles by Kleiman [47], [49], or the relevant sections of the books by Fulton [38] and Eisenbud and Harris [34] on intersection theory. For other computer systems that can be used to perform certain computations in the intersection rings of flag manifolds, see, for example, Nikolenko and Semenov [56] (the package ChowMaple06), Grayson et al. [41], [42] (the package Schubert2 in Macaulay2), and Decker et al. [17] (the library Schubert in Singular).

The authors would like to thank their referees for improvements over the earlier version of this paper.


Bibliography

1. M. Atiyah and F. Hirzebruch, “Vector bundles and homogeneous spaces”, Differential geometry, Proc. Sympos. Pure Math., III, Amer. Math. Soc., Providence, RI, 1961, 7–38  crossref  mathscinet  zmath
2. H. F. Baker, Principles of geometry, v. 6, Cambridge Univ. Press, Cambridge, 1933, ix+308 pp.  mathscinet  zmath
3. P. F. Baum, “On the cohomology of homogeneous spaces”, Topology, 7 (1968), 15–38  crossref  mathscinet  zmath
4. I. N. Bernstein, I. M. Gel'fand, and S. I. Gel'fand, “Schubert cells and cohomology of the spaces G/P”, Uspekhi Mat. Nauk, 28:3(171) (1973), 3–26  mathnet  mathscinet  zmath; English transl. in Russian Math. Surveys, 28:3 (1973), 1–26  crossref  adsnasa
5. S. Billey and M. Haiman, “Schubert polynomials for the classical groups”, J. Amer. Math. Soc., 8:2 (1995), 443–482  crossref  mathscinet  zmath
6. A. Borel, “Sur la cohomologie des espaces fibrés principaux et des espaces homogènes de groupes de Lie compacts”, Ann. of Math. (2), 57 (1953), 115–207  crossref  mathscinet  zmath
7. A. Borel, “Kählerian coset spaces of semisimple Lie groups”, Proc. Nat. Acad. Sci. U.S.A., 40:12 (1954), 1147–1151  crossref  mathscinet  zmath  adsnasa
8. A. Borel and F. Hirzebruch, “Characteristic classes and homogeneous spaces. I”, Amer. J. Math., 80:2 (1958), 458–538  crossref  mathscinet  zmath
9. N. Bourbaki, Éléments de mathématique. Groupes et algèbres de Lie, Fasc. XXVI. Ch. 1, Actualités Sci. Indust., 1285, Hermann, Paris, 1960, 144 pp.  mathscinet  zmath; Fasc. XXXVII. Ch. 2, 3, 1349, 1972, 320 pp.  mathscinet  zmath; Fasc. XXXIV. Ch. 4–6, 1337, 1968, 288 pp.  mathscinet  zmath; Fasc. XXXVIII. Ch. 7, 8, 1364, 1975, 271 pp.  mathscinet  zmath
10. C. B. Boyer, A history of mathematics, John Wiley & Sons, Inc., New York–London–Sydney, 1968, xv+717 pp.  mathscinet  zmath
11. A. S. Buch, “Mutations of puzzles and equivariant cohomology of two-step flag varieties”, Ann. of Math. (2), 182:1 (2015), 173–220  crossref  mathscinet  zmath
12. A. S. Buch, A. Kresch, K. Purbhoo, and H. Tamvakis, “The puzzle conjecture for the cohomology of two-step flag manifolds”, J. Algebraic Combin., 44:4 (2016), 973–1007  crossref  mathscinet  zmath
13. M. Chasles, “Construction des coniques qui satisfont à cinq conditions”, C. R. Acad. Sci. Paris, 58 (1864), 297–308
14. C. Chevalley, “Sur les décompositions cellulaires des espaces G/B”, Algebraic groups and their generalizations: classical methods (University Park, PA 1991), Proc. Sympos. Pure Math, 56, Part 1, Amer. Math. Soc., Providence, RI, 1994, 1–23  mathscinet  zmath
15. J. L. Coolidge, A history of geometrical methods, Oxford Univ. Press, New York, 1940, xviii+451 pp.  mathscinet  zmath
16. I. Coskun, “A Littlewood–Richardson rule for two-step flag varieties”, Invent. Math., 176:2 (2009), 325–395  crossref  mathscinet  zmath  adsnasa
17. W. Decker, G.-M. Greuel, G. Pfister, and H. Schönemann, SINGULAR – A computer algebra system for polynomial computations
https://www.singular.uni-kl.de/
18. Y. Dold-Samplonius, “Interview with Bartel Leendert van der Waerden”, Notices Amer. Math. Soc., 44:3 (1997), 313–320  mathscinet  zmath
19. H. Duan, “The degree of a Schubert variety”, Adv. Math., 180:1 (2003), 112–133  crossref  mathscinet  zmath
20. H. Duan, “Multiplicative rule of Schubert classes”, Invent. Math., 159:2 (2005), 407–436  crossref  mathscinet  zmath  adsnasa
21. H. Duan, “Multiplicative rule in the Grothendieck cohomology of a flag variety”, J. Reine Angew. Math., 2006:600 (2006), 157–176  crossref  mathscinet  zmath
22. H. Duan, “On the Borel transgression in the fibration G\to G/T”, Homology Homotopy Appl., 20:1 (2018), 79–86  crossref  mathscinet  zmath
23. H. Duan and B. Li, Topology of blow-ups and enumerative geometry, 2016 (v1 – 2009), 30 pp., arXiv: 0906.4152
24. H. Duan and X. Zhao, Appendix to “The Chow rings of generalized Grassmannians”, 2007 (v1 – 2005), 27 pp., arXiv: math.AG/0510085
25. H. Duan and X. Zhao, “Algorithm for multiplying Schubert classes”, Internat. J. Algebra Comput., 16:6 (2006), 1197–1210  crossref  mathscinet  zmath; (2005 (v1 – 2003)), 21 pp., arXiv: math/0309158
26. H. Duan and X. Zhao, “A unified formula for Steenrod operations in flag manifolds”, Compos. Math., 143:1 (2007), 257–270  crossref  mathscinet  zmath
27. H. Duan and X. Zhao, Schubert calculus and cohomology of Lie groups. Part I. 1-connected Lie groups, 2015 (v1 – 2007), 32 pp., arXiv: 0711.2541
28. H. Duan and X. Zhao, “Erratum: Multiplicative rule of Schubert classes”, Invent. Math., 177:3 (2009), 683–684  crossref  mathscinet  zmath  adsnasa
29. H. Duan and X. Zhao, “The Chow rings of generalized Grassmannians”, Found. Math. Comput., 10:3 (2010), 245–274  crossref  mathscinet  zmath
30. H. Duan and X. Zhao, “Schubert calculus and the Hopf algebra structures of exceptional Lie groups”, Forum Math., 26:1 (2014), 113–139  crossref  mathscinet  zmath
31. H. Duan and X. Zhao, “Schubert presentation of the cohomology ring of flag manifolds G/T”, LMS J. Comput. Math., 18:1 (2015), 489–506  crossref  mathscinet  zmath
32. H. Duan and X. Zhao, “On Schubert's problem of characteristics”, Schubert calculus and its applications in combinatorics and representation theory, Springer Proc. Math. Stat., 332, Springer, Singapore, 2020, 43–71  crossref  mathscinet  zmath
33. C. Ehresmann, “Sur la topologie de certains espaces homogènes”, Ann. of Math. (2), 35:2 (1934), 396–443  crossref  mathscinet  zmath
34. D. Eisenbud and J. Harris, 3264 and all that. A second course in algebraic geometry, Cambridge Univ. Press, Cambridge, 2016, xiv+616 pp.  crossref  mathscinet  zmath
35. S. Fomin, S. Gelfand, and A. Postnikov, “Quantum Schubert polynomials”, J. Amer. Math. Soc., 10:3 (1997), 565–596  crossref  mathscinet  zmath
36. S. Fomin and A. N. Kirillov, “Combinatorial B_n-analogues of Schubert polynomials”, Trans. Amer. Math. Soc., 348:9 (1996), 3591–3620  crossref  mathscinet  zmath
37. W. Fulton, Young tableaux, With applications to representation theory and geometry, London Math. Soc. Stud. Texts, 35, Cambridge Univ. Press, Cambridge, 1997, x+260 pp.  crossref  mathscinet  zmath
38. W. Fulton, Intersection theory, Ergeb. Math. Grenzgeb. (3), 2, 2nd ed., Springer, Berlin, 1998, xiv+470 pp.  crossref  mathscinet  zmath
39. W. Fulton and P. Pragacz, Schubert varieties and degeneracy loci, Lecture Notes in Math., 1689, Springer-Verlag, Berlin, 1998, xii+148 pp.  crossref  mathscinet  zmath
40. G. Z. Giambelli, “Risoluzione del probema degli spazi secanti”, Mem. Accad. Sci. Torino (2), 52 (1903), 171–211  zmath
41. D. R. Grayson, A. Seceleanu, and M. E. Stillman, Computations in intersection rings of flag bundles, 2022 (v1 – 2012), 37 pp., arXiv: 1205.4190
42. D. Grayson and A. Stillman, Macaulay2: a software system for research in algebraic geometry http://math.uiuc.edu/Macaulay2
43. D. Hilbert, “Mathematical problems”, Bull. Amer. Math. Soc., 8:10 (1902), 437–479  crossref  mathscinet  zmath
44. D. Husemoller, J. C. Moore, and J. Stasheff, “Differential homological algebra and homogeneous spaces”, J. Pure Appl. Algebra, 5:2 (1974), 113–185  crossref  mathscinet  zmath
45. S. Katz, Enumerative geometry and string theory, Stud. Math. Libr., 32, Amer. Math. Soc., Providence, RI, 2006, xiv+206 pp.  crossref  mathscinet  zmath
46. A. N. Kirillov and H. Naruse, “Construction of double Grothendieck polynomials of classical types using IdCoxeter algebras”, Tokyo J. Math., 39:3 (2017), 695–728  crossref  mathscinet  zmath
47. S. L. Kleiman, “Problem 15: rigorous foundation of Schubert's enumerative calculus”, Mathematical developments arising from Hilbert problems (Northern Illinois Univ., De Kalb, IL 1974), Proc. Sympos. Pure Math., 28, Amer. Math. Soc., Providence, RI, 1976, 445–482  crossref  mathscinet  zmath
48. S. L. Kleiman, “Book review: W. Fulton ‘Intersection theory’ // W. Fulton ‘Introduction to intersection theory in algebraic geometry’”, Bull. Amer. Math. Soc. (N. S.), 12:1 (1985), 137–143  crossref  mathscinet
49. S. L. Kleiman, “Intersection theory and enumerative geometry: a decade in review”, With the collaboration of A. Thorup, Algebraic geometry, Bowdoin 1985, Part 2 (Brunswick, ME 1985), Proc. Sympos. Pure Math., 46, Part 2, Amer. Math. Soc., Providence, RI, 1987, 321–370  crossref  mathscinet  zmath
50. L. Lascoux and M. P. Schützenberger, “Polynômes de Schubert”, C. R. Acad. Sci. Paris Sér. I Math., 294:13 (1982), 447–450  mathscinet  zmath
51. S. Lefschetz, “Intersections and transformations of complexes and manifolds”, Trans. Amer. Math. Soc., 28:1 (1926), 1–49  crossref  mathscinet  zmath
52. D. E. Littlewood and A. R. Richardson, “Group characters and algebra”, Philos. Trans. Roy. Soc. London Ser. A, 233 (1934), 99–141  crossref  zmath  adsnasa
53. Ju. I. Manin, Hilbert's problems, Nauka, Moscow, 1969, 175–181 (Russian)  mathscinet
54. R. Marlin, “Anneaux de Chow des groupes algébriques \operatorname{SU}(n), \operatorname{Sp}(n), \operatorname{SO}(n), \operatorname{Spin}(n), \mathrm G_{2}, \mathrm F_{4}; torsion”, C. R. Acad. Sci. Paris Sér. A, 279 (1974), 119–122  mathscinet  zmath
55. J. W. Milnor and J. D. Stasheff, Characteristic classes, Ann. of Math. Stud., 76, Princeton Univ. Press, Princeton, NJ; Univ. of Tokyo Press, Tokyo, 1974, vii+331 pp.  crossref  mathscinet  zmath
56. S. I. Nikolenko and N. S. Semenov, Chow ring structure made simple, 2006, 17 pp., arXiv: math.AG/0606335
57. J. Scherk, Algebra. A computational introduction, Stud. Adv. Math., Chapman & Hall/CRC, Boca Raton, FL, 2000, x+319 pp.  mathscinet  zmath
58. H. Schubert, “Zur Theorie der Charakteristiken”, J. Reine Angew. Math., 1870:71 (1870), 366–386  crossref  mathscinet  zmath
59. H. Schubert, “Anzahl-Bestimmungen für lineare Räume. Beliebiger Dimension”, Acta Math., 8 (1886), 97–118  crossref  mathscinet  zmath
60. H. Schubert, “Lösung des Characteristiken-Problems für lineare Räume beliebiger Dimension”, Mitt. Math. Ges. Hamburg, 1 (1886), 134–155  zmath
61. H. Schubert, Kalkül der abzählenden Geometrie, Reprint of the 1879 original, Springer-Verlag, Berlin–New York, 1979, 349 pp.  mathscinet  zmath
62. F. Severi, “Sul principio della conservazione del numero”, Rend. Circ. Mat. Palermo, 33 (1912), 313–327  crossref  zmath
63. F. Severi, “Sui fondamenti della geometria numerativa e sulla teoria delle caratteristiche”, Atti Ist. Veneto Sci. Lett. Art., 75 (1916), 1121–1162  zmath
64. E. Smirnov and A. Tutubalina, Pipe dreams for Schubert polynomials of the classical groups, 2020, 36 pp., arXiv: 2009.14120
65. F. Sottile, Schubert calculus, Springer Encyclopedia of Mathematics, 2012 http://encyclopediaofmath.org/index.php?title=Schubert_calculus& oldid=23715
66. H. Tamvakis, “Giambelli and degeneracy locus formulas for classical G/P spaces”, Mosc. Math. J., 16:1 (2016), 125–177  mathnet  crossref  mathscinet  zmath
67. H. Toda, “On the cohomology ring of some homogeneous spaces”, J. Math. Kyoto Univ., 15 (1975), 185–199  crossref  mathscinet  zmath
68. B. L. van der Waerden, “Topologische Begründung des Kalküls der abzählenden Geometrie”, Math. Ann., 102:1 (1930), 337–362  crossref  mathscinet  zmath
69. B. L. van der Waerden, “The foundation of algebraic geometry from Severi to André Weil”, Arch. History Exact Sci., 7:3 (1971), 171–180  crossref  mathscinet  zmath
70. A. Weil, Foundations of algebraic geometry, Amer. Math. Soc. Colloq. Publ., XXIV, Rev. ed., Amer. Math. Soc., Providence, RI, 1962, xx+363 pp.  mathscinet  zmath
71. J. Wolf, “The cohomology of homogeneous spaces”, Amer. J. Math., 99:2 (1977), 312–340  crossref  mathscinet  zmath

Citation: H. Duan, X. Zhao, “Schubert calculus and intersection theory of flag manifolds”, Russian Math. Surveys, 77:4 (2022), 729–751
Citation in format AMSBIB
\Bibitem{DuaZha22}
\by H.~Duan, X.~Zhao
\paper Schubert calculus and intersection theory of flag manifolds
\jour Russian Math. Surveys
\yr 2022
\vol 77
\issue 4
\pages 729--751
\mathnet{http://mi.mathnet.ru/eng/rm10059}
\crossref{https://doi.org/10.4213/rm10059e}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=4461386}
\zmath{https://zbmath.org/?q=an:1520.14105}
\adsnasa{https://adsabs.harvard.edu/cgi-bin/bib_query?2022RuMaS..77..729D}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000992300700003}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-85137767781}
Linking options:
  • https://www.mathnet.ru/eng/rm10059
  • https://doi.org/10.4213/rm10059e
  • https://www.mathnet.ru/eng/rm/v77/i4/p173
  • This publication is cited in the following 2 articles:
    1. Haibao Duan, “The Cohomology of Projective Unitary Groups”, Proc. Steklov Inst. Math., 326 (2024), 157–176  mathnet  crossref  crossref
    2. Duan Haibao, Zhao Xuezhi, “Make Schubert calculus rigorous”, Sci. Sin.-Math., 52:8 (2022), 865  crossref
    Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Успехи математических наук Russian Mathematical Surveys
    Statistics & downloads:
    Abstract page:521
    Russian version PDF:96
    English version PDF:142
    Russian version HTML:261
    English version HTML:181
    References:88
    First page:20
     
      Contact us:
     Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2025