Arxiv:1910.03649V3 [Math.AT] 15 May 2021

Home , Complex cobordism, Gysin homomorphism

arXiv:1910.03649v3 [math.AT] 15 May 2021 oml o rjciebnl ntypes in bundle projective a for formula ooooyter.I hsppr esalcl hi formulas their call shall we paper, this formulas In theory. cohomology types of bundles flag omlsi h riaychmlg hoyt h ope cobordis is complex the theory w to cobordism First, theory complex two-fold: cohomology is the ordinary paper the formu present in the Gysin formulas of some purpose established The and functions, functions. Schur ordinary the of hi omlst bananwdtriatlfruafrShrfun Schur for formula ex determinantal the For new introduced applications. a they many obtain have to and formulas useful their quite are formulas tained B eetyHdo–asmr 1]itoue h er lse of classes Segre the the in introduced bundle [14] Hudson–Matsumura Recently bantecaatrzto fteqartcShrfntosand functions Schur a quadratic as the formulas Gysin of the characterization utilize the comple we obtain the generalization, to this functions performing Schur When quadratic the generalize we Second, oods hoya el(see well as theory cobordism the in bundles flag formal for universal ge formulas the Gysin complex-oriented the of other obtain in specialization can one bundles the instance, flag under for theories formulas homology Gysin the yield [1]) Adams yi ooopimo rjciebnl sn the using bundle projective a of homomorphism Gysin ude rmtoeo ulflgbnls euiietesm daa des gener as for idea same formulas the the utilize derive we To bundles, flag form [8]. full in Gysin of as those the from lines establish bundles same can the we along notions, bundles two these prepared Having AODA–RGC OMLSI OPE COBORDISM COMPLEX IN FORMULAS DARONDEAU–PRAGACZ n[] aoda n rgc salse uhfrad(yi)f (Gysin) push-forward established Pragacz and Darondeau [8], In e od n phrases. 1 and words Key 2010 oacmls u rtproe ene ofruaetefloigt following the formulate to need we purpose, first our accomplish To and – omlsfrshort. for formulas D–P yi oml o rjciebnl ncmlxcobordism. complex in cobordism, bundle complex projective in a bundle for vector formula complex Gysin a – of classes Segre – ahmtc ujc Classification. Subject Mathematics D udai cu ucin sa plcto forGsnformulas. Gysin our of application an as functions formu Schur Gysin some quadratic establish and Darondeau–Pragacz, by troduced h ope oods hoy hn eitouethe introduce Darondeau we to Then, due are theory. functions which cobordism theory, complex cohomology the ordinary in bundles Abstract. . hs h ehdue nterppri ut ipe Nevertheless, simple. quite is paper their in used method the Thus, . 1 h anie fterpofi oieaetewl-nw push-forwar well-known the iterate to is proof their of idea main The eeaie ooooytheories cohomology generalized leri oods theory cobordism algebraic hc r eeaiaino h odnr)qartcShrfunc Schur quadratic (ordinary) the of generalization a are which , nti ae,w eeaieteps-owr Gsn omlsfo formulas (Gysin) push-forward the generalize we paper, this In udai cu functions Schur quadratic A AAINKGW N IOH NARUSE HIROSHI AND NAKAGAWA MASAKI , ope oods hoy yi a,Ps-owr,Fa bundles Flag Push-forward, map, Gysin theory, cobordism Complex B , C and , § ..) sfrtelte,Qiln[3 ecie the described [23] Quillen latter, the for As 3.1.1). 1. universal D Introduction ntefaeoko h hwter rordinary or theory Chow the of framework the in 50,1M5 41,5N0 52,5R7. 57R77 55N22, 55N20, 14N15, 14M15, 05E05, n hi ento ple otecomplex the to applies definition their and , A 1 and among seQiln[3) u omlsreadily formulas our [23]), Quillen (see hc r h “type the are which , C n o udi udei types in bundle quadric a for and , complex-oriented nvra udai Schur quadratic universal eiu symbol residue a o h universal the for las eeaieteD–P the generalize e hi generalization. their oods theory. cobordism x Darondeau–Pragacz a novn these involving las complex Paaz to –Pragacz, tos Moreover, ctions. ope vector complex a BCD ml,te used they ample, rbdi Damon in cribed lsfrfl flag full for ulas hoy Since theory. m ru a.For law. group i h es of sense the (in rua o all for ormulas in in- tions oitems: wo lprilflag partial al sflto to tool useful eaie co- neralized (see flag r analogues” K -theory § h ob- the 3.1.2). . d . [7]. In this process, we noticed that the universal Schur functions (corresponding to the empty partition) were needed. These functions are the complex cobordism analogues of the ordinary Schur polynomials, and were first introduced by Fel’dman [10] (see also Nakagawa–Naruse [18]). Using these functions, we can generalize the D–P formulas in the ordinary cohomology theory to the complex cobordism theory. Our main results are Theorems 3.3, 3.6, and 3.8. Furthermore, it turned out that most of the results established in [8] can be generalized to the complex cobordism setting. In fact, a characterization of the quadratic Schur functions via Gysin formulas immediately leads to the definition of the universal quadratic Schur functions (see Definition 4.2). Then, as applications of our Gysin formulas in comlex cobordism, we give a certain Gysin formula (Proposition 4.4), which is a complex cobordism analogue of the Pragacz–Ratajski formula [22]. The generating function for the universal quadratic Schur functions is also obtained (Theorem 4.6), which immediately yields a determinantal formula for the K-theoretic quadratic Schur functions under the specialization (Theorem 4.7).2

1.1. Organization of the paper. The remainder of this paper is organized as follows: Section 2 is a preliminary section, that gives a brief account of the complex cobordism theory, universal formal group law, universal Schur functions, and flag bundles associated with vector bundles, which will be used throughout this paper. Section 3 is the main body of the paper, and establishes the D–P formulas of types A, B, C, and D in complex cobordism. As mentioned above, three items, namely, Segre classes in complex cobordism, Gysin formula for a projective bundle in complex cobordism, and universal Schur functions, play a significant role. The final section, Section 4, deals with applications of our Gysin formulas, and discusses various properties of the universal quadratic Schur functions in detail. In Appendix (Section 5), Quillen’s residue formula will be computed explicitly. Acknowledgments. We would like to thank Piotr Pragacz and Tomoo Mat- sumura for valuable discussions, and Eric Marberg for pointing out an ambiguity in our treatment of the residue symbol Res′ (see §3.1.2 and §5.1). Thanks are also due to t=0 the anonymous referee whose careful reading and useful comments greatly improved our previous manuscript. The first author is partially supported by JSPS KAKENHI Grant Number JP18K03303, Japan Society for the Promotion of Science. The second author is partially supported by JSPS KAKENHI Grant Number JP16H03921, Japan Society for the Promotion of Science.

2. Notation and conventions 2.1. Complex cobordism theory. Complex cobordism theory MU ∗(−) is a generalized cohomology theory associated with the Milnor–Thom spectrum MU (for a detailed account of the complex cobordism theory, readers are referred to e.g., Adams [1]). Ac- cording to Quillen [24, Proposition 1.2], for a manifold X, MU q(X) can be identiﬁed with the set of cobordism classes of proper, complex-oriented maps of dimension −q. Thus, a map of manifolds f : Z −→ X, which is complex-oriented in the sense of f Quillen, determines a class denoted by [Z → X], or simply [Z] in MU q(X). The coef- ﬁcient ring of this theory is given by MU ∗ := MU ∗(pt), where pt is a space consisting of a single point. With this geometric interpretation of MU ∗(X), the Gysin map can

2For further applications of Gysin formulas in complex cobordism and techniques of generating functions, readers are referred to a companion paper [20]. 2 be defined as follows: For a proper complex-oriented map g : X −→ Y of dimension d, the Gysin map q q−d g∗ : MU (X) −→ MU (Y ) f g◦f is defined by sending the cobordism class [Z → X] into the class [Z → Y ]. Complex cobordism theory MU ∗(−) is equipped with the “generalized” Chern classes. More precisely, for a rank n complex vector bundle E over a space X, one can ∗ MU 2i define the MU -theory Chern classes ci (E) ∈ MU (X) for i = 0, 1,...,n, which have the usual properties of the ordinary Chern classes in cohomology (see Conner- Floyd [6, Theorem 7.6], Switzer [25, Theorem 16.2]). ∞ ∞ Let CP be an infinite complex projective space, and η∞ −→ CP the Hopf line bundle on CP ∞. Note that CP ∞ is homotopy equivalent to the classifying space BU(1) of the unitary group U(1). Let x = xMU be the MU ∗-theory first Chern class of the line ∨ ∗ ∞ ∼ ∗ bundle η∞, dual of η∞. Then, it is well-known that MU (CP ) = MU [[x]]. Denote ∞ ∞ ∞ the natural projection onto the i-th factor (i = 1, 2) by πi : CP × CP −→ CP . Then, the product map µ : CP ∞ × CP ∞ −→ CP ∞ is defined as the classifying map ∗ ∗ ∞ ∞ ∗ of the line bundle π1 η∞ ⊗ π2η∞ over CP × CP . Applying the functor MU (−) to the map µ, we obtain ∗ ∗ ∞ ∼ ∗ ∗ ∞ ∞ ∼ ∗ µ : MU (CP ) = MU [[x]] −→ MU (CP × CP ) = MU [[x1, x2]], MU ∗ ∗ ∨ where xi = xi is the MU -theory first Chern class of the line bundle πi η∞ (i =1, 2). From this, one obtains the formal power series in two variables:

∗ MU i j MU 2(1−i−j) µ (x)= F (x1, x2)= ai,jx1x2 (ai,j = ai,j ∈ MU ). i,j≥0 X Therefore, for complex line bundles L and M over the same base space, the following formula holds: MU MU MU MU c1 (L ⊗ M)= F (c1 (L),c1 (M)). MU Quillen [23, §2] showed that the formal power series F (x1, x2) is a formal group law ∗ MU ∗ over MU . Moreover, he also showed that the formal group law F (x1, x2) over MU is universal in the sense that given any formal group law F (x1, x2) over a commutative ring R with unit, there exists a unique ring homomorphism θ : MU ∗ −→ R carrying F MU to F . Topologically, Quillen’s result claims that the complex cobordism theory MU ∗(−) is universal among complex-oriented generalized cohomology theories. It has been known since Quillen that a complex-oriented generalized cohomology theory gives rise to a formal group law in the same manner as that above. For instance, the ordinary cohomology theory (with integer coefficients) H∗(−) corresponds to the additive formal H ∗ group law F (x1, x2) = x1 + x2, and the (topological) complex K-theory K (−) K corresponds to the multiplicative formal group law F (x1, x2) = x1 + x2 − βx1x2 for some unit β ∈ K−2 = K−2(pt) = K˜ 0(S2). Here, a comment concerning the K- theoretic Chern classes is in order: Following Levine–Morel [16, Example 1.1.5], for a K complex line bundle L −→ X, we define the K-theoretic first Chern class c1 (L) to be β−1(1 − L∨) ∈ K2(X). Then, the corresponding formal group law is given as stated above.

2.2. Lazard ring L and universal formal group law FL. Quillen’s result in the previous subsection implies that the formal group law F MU over MU ∗ is identiﬁed with the so-called Lazard’s universal formal group law FL(u, v) over the Lazard ring L, which we brieﬂy recall from Levine–Morel’s book [16, Chapters 1 and 2]. Accordingly, H the additive formal group law is denoted by Fa(u, v) = u + v in place of F , and 3 K the multiplicative formal group law by Fm(u, v)= u + v − βuv in place of F in the following. In [15], Lazard constructed the universal formal group law

L i j FL(u, v)= u + v + ai,ju v ∈ L[[u, v]] i,j≥1 X over the ring L, where L is the Lazard ring, and he showed that it is isomorphic to the polynomial ring in a countably infinite number of variables with integer coefficients. L FL(u, v) is a formal power series in u, v with coefficients ai,j ∈ L that satisfies the axioms of the formal group law:

(i) FL(u, 0) = u, FL(0, v)= v, (ii) FL(u, v)= FL(v,u), (iii) FL(u, FL(v,w)) = FL(FL(u, v),w). For the universal formal group law, we shall use the notation

u +L v = FL(u, v) (formal sum),

u = [−1]L(u)= χL (u) (formalinverseof u),

u −L v = u +L [−1]L(v)= u +L v (formal subtraction).

Furthermore, we deﬁne [0]L(u) := 0, and inductively, [n]L(u) := [n − 1]L(u)+L u for a positive integer n ≥ 1. We also deﬁne [−n]L(u) := [n]L([−1]L(u)) for n ≥ 1. We call [n]L(u) the n-series in the sequel (we often drop L from the notation, and simply write [n](u) for simplicity). Denote the logarithm (see [16, Lemma 4.1.29]) of FL by ℓL(u) ∈ L ⊗ Q[[u]], i.e., a unique formal power series with leading term u such that

ℓL(u +L v)= ℓL(u)+ ℓL(v). L The Lazard ring L can be graded by assigning each coeﬃcient ai,j the degree 1 − i − j (i, j ≥ 1). This grading makes L into the graded ring over the integers Z. Be aware L that in topology, it is customary to give ai,j the cohomological degree 2(1 − i − j). For the complex K-theory, we shall use the following notation:

u ⊕ v = Fm(u, v)= u + v − βuv, −u u = , 1 − βu u − v u ⊖ v = u ⊕ v = . 1 − βv

2.3. Universal Schur functions. Throughout this paper, we use the notation concerning partitions as in Macdonald’s book [17, Chapter I]. A partition λ is a non- increasing sequence λ =(λ1,λ2,...,λk) of non-negative integers such that λ1 ≥ λ2 ≥ ···≥ λk ≥ 0. As is customary, we do not distinguish between two such sequences that differ only by a finite or infinite sequence of zeros at the end. The non-zero λi’s are called parts of λ, and the number of parts is the length of λ, denoted by ℓ(λ). The sum of the parts is the weight of λ, denoted by |λ|. If |λ| = n, then we say that λ is a partition of n. If λ and µ are partitions, then we write λ ⊂ µ to mean that λi ≤ µi for all i ≥ 1. In what follows, the set of all partitions of length ≤ n is denoted by Pn. For a non-negative integer n, we set ρn := (n, n − 1,..., 2, 1) (ρ0 as understood to be the unique partition of 0, which we denote by just 0 or ∅). The partition (k,k,...,k) is

l l l abbreviated as (k ), or just k . Let λ,µ ∈ Pn be partitions. Then, λ + µ is a partition 4 | {z } defined by (λ + µ)i := λi + µi (i =1, 2,...,n). Given a partition λ ∈ Pn and a positive integer k, we denote the partition (kλ1,...,kλn) by kλ. Now, let us recall the definition of the universal Schur functions (see Nakagawa– Naruse [18, Definition 4.10]): Let xn = (x1, x2,...,xn) be n independent variables. λ n λi 0 For a partition λ ∈ Pn, we use the notation x := i=1 xi (xi := 1). Then, the L universal Schur function s (xn) in the variables xn = (x1, x2,...,xn) corresponding λ Q to the partition λ ∈ Pn is defined as

λ+ρn−1 L x (2.1) sλ(xn) := w · , " 1≤i

L x1 x2 L s∅ (x2)= + =1+ a1,2x1x2 + · · ·=1 6 . x1 +L x2 x2 +L x1 In the later section (§4), we need to extend the above definition (2.1) to arbitrary n sequences of non-negative integers. For such a sequence I =(I1,...,In) ∈ (Z≥0) , the L corresponding universal Schur function sI (xn) is defined by the same expression as (2.1). 2.4. Flag bundles associated with vector bundles. Darondeau–Pragacz formulas describe Gysin maps for flag bundles associated with complex vector bundles. In this subsection, we prepare the necessary notations and terminologies concerning flag bundles used in this paper (for more details, readers are referred to Darondeau–Pragacz [8, Sections 1, 2, and 3], Edidin–Graham [9, Section 6], Fulton–Pragacz [12, Section 6.1]). Let E −→ X be a rank N complex vector bundle of type Y , where Y stands for A, B, C, or D. The situations considered here are as follows: – Type A: N = n, and no conditions on E; – Type C: N = 2n, and E is equipped with a non-degenerate symplectic form h−, −i with values in a certain line bundle L; – Type BD: N =2n + 1 for type B, or N =2n for type D, and E is equipped with a non-degenerate orthogonal form h−, −i with values in a certain line bundle L.

Let 0 < q1 < q2 < ··· < qm ≤ n be a sequence of integers. We denote by ̟q1,...,qm = Y Y ̟q1,q2,...,qm : Fℓq1,q2,...,qm (E) −→ X the corresponding partial ﬂag bundle of type Y . On Y Fℓq1,...,qm (E), there exists a universal (isotropic for Y = B,C or D) ﬂag of subbundles ∗ of ̟q1,...,qm (E)= E,

0 ⊂ Uq1 ⊂ Uq2 ⊂···⊂ Uqm ⊂ E, where rank Uqi = qi (i = 1,...,m) (throughout the paper, the subscripts of the bundles will denote the rank unless otherwise specified). As a special case when qk = Y Y k (k =1,...,m), we obtain the full flag bundle ̟1,2,...,m = ̟1,2,...,m : Fℓ1,2,...,m(E) −→ Y Y Y Y X of type Y . In particular, the full flag bundle ̟ = ̟1,2,...,n : Fℓ (E)= Fℓ1,2,...,n(E) −→ 5 X is the complete flag bundle of type Y .3 On FℓY (E), we have the universal (isotropic for Y = B,C, or D) flag of subbundles

(2.2) 0 = U0 ⊂ U1 ⊂···⊂ Un ⊂ E, and we put

MU ∨ 2 Y yi := c1 ((Ui/Ui−1) ) ∈ MU (Fℓ (E)) (i =1, 2,...,n). ∗ ∨ These are the MU -theory Chern roots of Un . For Y = B,C, or D, the universal isotropic ﬂag of subbundles (2.2) can be extended to the “ordinary” universal ﬂag of subbundles of E,

⊥ ⊥ ⊥ ⊥ 0= U0 ⊂ U1 ⊂···⊂ Un−1 ⊂ Un ⊂ Un ⊂ Un−1 ⊂···⊂ U2 ⊂ U1 ⊂ E.

⊥ Here Ui denotes its complement with respect to the given symplectic or orthogonal ⊥ ⊥ ∼ ∨ form h−, −i. Then, using an isomorphism of vector bundles Ui−1/Ui −→ (Ui/Ui−1) ⊗ L induced from the given symplectic or orthogonal form, the whole of Chern roots of E∨ are given as follows:

– Type C case: y1,...,yn, y1 +L z, . . . , yn +L z, – Type B case: y1,...,yn,yn+1, y1 +L z, . . . , yn +L z, – Type D case: y1,...,yn, y1 +L z, . . . , yn +L z, MU ⊥ ∨ MU where we set yn+1 := c1 ((Un /Un) ) and z := c1 (L). Y For Y = A or C, it is well-known that the full ﬂag bundle Fℓ1,2,...,q(E) is constructed as a chain of projective bundles, and we apply the push-forward formula for a projective bundle (see (3.4)) repeatedly to this chain to obtain our Gysin formulas. For Y = B Y or D, the full ﬂag bundle Fℓ1,...,q(E) is constructed as a chain of quadric bundles of isotropic lines, and we apply the push-forward formula for a quadric bundle (see (3.12)) repeatedly to this chain to obtain our Gysin formulas. The quadric bundle of isotropic lines associated with an orthogonal bundle E −→ X is denoted by ρ1 : Q(E) −→ X in ,the sequel. Let ι : Q(E) ֒−→ P (E) be the natural inclusion. Then, we have ρ1 = ̟1 ◦ι where ̟1 : P (E) −→ X is the associated projective bundle of lines.

3. Darondeau–Pragacz formulas in complex cobordism In this section, we generalize the push-forward (Gysin) formulas for ﬂag bundles due to Darondeau–Pragacz [8] to the complex cobordism theory. Their formulas will be referred to as the Darondeau–Pragacz formulas in the sequel. The original Darondeau– Pragacz formulas were formulated in the Chow theory, or the ordinary cohomology theory. Their formulas are obtained by iterating the classical push-forward formula for a projective bundle associated with a complex vector bundle, and are expressed by using the Segre classes, or the Segre polynomials of complex vector bundles. Therefore, to generalize their formulas to the complex cobordism theory, we need to generalize the notion of the Segre classes and the classical push-forward formula for a projective bundle in cohomology to complex cobordism. These generalizations were essentially established by Hudson–Matsumura [14] and Quillen [23] respectively, and are recalled in the next subsection.

3.1. From cohomology to complex cobordism.

3We adopted the terminology used in Darondeau–Pragacz [8, §1.2]. 6 3.1.1. Segre classes in complex cobordism. To formulate the Darondeau–Pragacz formulas in complex cobordism, we need a notion of the Segre classes of complex vector bundles in complex cobordism. Fortunately such a notion was recently introduced by Hudson–Matsumura [14, Definition 4.3]. More precisely, they defined the Segre classes ∗ Sm(E)(m ∈ Z) in the algebraic cobordism theory Ω (−) of a complex vector bundle E using the push-forward image of the projective bundle G1(E) ∼= P (E∨). Notice that this definition is the exact analogue of the Segre classes in ordinary cohomology given by Fulton [11, §3.1]. K-theoretic generalization of Segre classes Gm(E) (m ∈ Z) is also introduced in the same manner (Buch [5, Lemma 7.1]). The Segre classes of E in ∗ S L the complex cobordism theory MU (−), denoted by m(E)(m ∈ Z), can be defined in exactly the same manner as above. Denote the generating function of the Segre classes, which we call the Segre series in complex cobordism, by S L S L m (E; u) := m(E)u . Z mX∈ More explicitly, the following expression has been obtained (see [14, Theorem 4.6]): ∗ L Let x1,...,xn be the MU -theory Chern roots of E. Then, the Segre series S (E; u) of E is given by 1 n z 1 zn (3.1) S L(E; u)= = , PL PL n (z) z +L xj (z) j=1(z +L xj) − j=1 z=u−1 z=u 1 Y where PL(z) := 1 + ∞ aL zi. Q i=1 i,1 These Segre classes S L(E) (m ∈ Z) are natural generalizations of the (ordinary) P m Segre classes in cohomology. If we specialize the universal formal group law FL(u, v)= L u +L v to Fa(u, v)= u + v, then S (E; u) reduces to n z n 1 1 1 = = = ∨ = s(E; u). z − xj 1 − xju c(E; −u) c(E ; u) j=1 z=u−1 j=1 Y Y Here, c(E; u) := n c (E)ui (resp. s(E; u) = s (E)ui) denotes the (ordinary) i=0 i i≥0 i Chern polynomial (resp. Segre series) of E. This formula also implies that the i-th P P Segre class si(E) is identified with the i-th complete symmetric polynomial hi(xn), or the Schur polynomial s(i)(xn) corresponding to the one-row (i) in the variables S L xn =(x1,...,xn). The classes m(E) are also generalizations of the K-theoretic Segre classes Gm(E)(m ∈ Z). In fact, if we specialize FL(u, v)= u +L v to Fm(u, v)= u ⊕ v, then S L(E; u) reduces to

n n K 1 z 1 1 − βxj 1 c (E; −β) (3.2) = −1 = −1 K , 1 − βz z ⊖ xj 1 − βu 1 − xju 1 − βu c (E; −u) j=1 − j=1 Y z=u 1 Y m which is the K-theoretic Segre series G(E; u) = m∈Z Gm(E)u of E given by K n K i Hudson–Ikeda–Matsumura–Naruse [13, Theorem 2.8]. Here, c (E; u)= i=0 ci (E)u is the K-theoretic Chern polynomial of E. For m ≥P1, the m-th K-theoretic Segre P class Gm(E) is identiﬁed with the m-th Grothendieck polynomial Gm(xn) correspond- S L ing to the one-row (m). We remark that our Segre class m(E) (m ≥ 1) in com- L plex cobordism can be identiﬁed with the new universal Schur function Sm(xn) (see Nakagawa–Naruse [19, Remark 5.10]). Remark 3.1. The formal power series PL(z) ∈ L[[z]] has the following geometric ∂F meaning: By the argument in Quillen [23, §1], we have L (z, 0) = PL(z), and hence ∂v 7 1 ℓ′ (z) = . As a result of Miˇsˇcenko (see Adams [1, Chapter II, Corollary 9.2]), L PL(z) we know that ∞ [CP m] ℓ (z)= zm+1, L m +1 m=0 X where [CP m] ∈ MU −2m = L−2m is the cobordism class of CP m. Therefore, we have 1 ∞ = [CP m]zm. PL(z) m=0 X 3.1.2. Fundamental Gysin formula for projective bundle in complex cobordism. Let E −→ X be a complex vector bundle of rank n, and ̟1 : P (E) −→ X the associated projective bundle of lines in E. Denote the tautological line bundle on P (E) by MU ∨ 2 U1. Put y1 := c1 (U1 ) ∈ MU (P (E)). In [23], Quillen described the Gysin map ∗ ∗ ̟1∗ : MU (P (E)) −→ MU (X). In our notation, his formula is stated as follows: Theorem 3.2 (Quillen [23], Theorem 1). For a polynomial f(t) ∈ MU ∗(X)[t], the ∗ ∗ Gysin map ̟1∗ : MU (P (E)) −→ MU (X) is given by the residue formula

′ f(t) (3.3) ̟1∗(f(y1)) = Res n , t=0 PL (t) i=1(t +L yi) ∗ ∨ where y1,...,yn denote the MU -theory Chern rootsQ of E . Here, the symbol Res′ F (t) is understood to be the coefficient of t−1 in the formal t=0 Laurent series F (t). However, we must be careful when we apply the operation Res′ t=0 to the formal Laurent series. For example, let us consider the rational function f(t)= 1/(1 − t). Then, on the one hand, we have f(t)=1+ t + t2 + ··· when expanded as a formal power series in t, and therefore Res′f(t) = 0. On the other hand, one can t=0 expand f(t) as a formal power series in t−1 so that f(t)= −t−1 − t−2 −··· . Therefore, we have Res′f(t)= −1. Thus, we must specify how to expand f(t) as a formal power t=0 series in t or t−1 when we apply Res′ to the rational function f(t). In the above formula t=0 (3.3), we expand the rational function of the right-hand side in accordance with the following convention (for this interpretation of Quillen’s result, see also Naruse [21, Lemma 4]): As mentioned in Remark 3.1, we always treat 1/PL(t) as a formal power PL ∞ m m n series in t, that is, 1/ (t) = m=0[CP ]t . For the product 1/ i=1(t +L yi), we expand this as a formal power series in t−1 by using the following expansion: P Q PL ∞ 1 (t, yi) −1 PL 1 −1 PL k −k = = t × (t, yi) × −1 = t × (t, yi) × yi t , t +L yi t − yi 1 − yit Xk=0 L t − yi where P (t, yi) := . For further calculations, readers are referred to Appendix t +L yi 5.1. Following Darondeau–Pragacz [8, p.2, (2)], we reformulate the above formula in a more convenient form. To do so, we use the same notation as in [8]. For a monomial m of a Laurent polynomial F , we denote the coefficient of m in F by [m](F ). With these conventions and the Segre series (3.1), the residue formula (3.3) becomes −1 −n L ∨ n−1 L ∨ (3.4) ̟1∗(f(y1)) = [t ] f(t) · t S (E ;1/t) = [t ](f(t)S (E ;1/t)). This is the fundamental formula for establishing more general Gysin formulas for general flag bundles. 8 3.2. Darondeau–Pragacz formula of type A in complex cobordism. With the above preliminaries, we can extend Darondeau–Pragacz formula [8, Theorem 1.1] in the following manner: Let E −→ X be a complex vector bundle of rank n. Given a sequence of integers q0 = 0 < q1 < ··· < qm ≤ n = qm+1, we set q := qm. Then, the A following Gysin formula holds for the partial flag bundle ̟q1,...,qm−1,q = ̟q1,...,qm−1,q : A Fℓq1,...,qm−1,q(E)= Fℓq1,...,qm−1,q(E) −→ X. Theorem 3.3 (Darondeau–Pragacz formula of type A in complex cobordism). For a ∗ Sq ×Sq −q ×···×Sq−q − polynomial f(t1,...,tq) ∈ MU (X)[t1,...,tq] 1 2 1 m 1 , one has (3.5)

̟q1,...,qm−1,q∗(f(y1,...,yq))

m m = t(n−1)−(qk−i) f(t ,...,t ) × sL(t ,...,t )−1 (t + t )  i  1 q ∅ qk−1+1 qk j L i q −

λ+ρn−1 L ∨ ̟∗(y )= sλ(E ), L ∨ 2|λ| ∗ L ∨ L where sλ(E ) ∈ MU (X) is a cohomology class deﬁned by ̟ (sλ(E )) = sλ(yn). L ∨ L ∗ ∗ Hereafter, we often identify sλ(E ) with sλ(yn) via monomorphism ̟ : MU (X) −→ ∗ L ∨ L MU (Fℓ(E)), and write sλ(E )= sλ(yn). As a particular case, for λ = ∅, we have

ρn−1 L (3.6) ̟∗(y )= s∅ (yn). L 0 Since we know that s∅ (yn) = (1 + higher terms in y1,...,yn) ∈ MU (X) is an invert- ible element, we deduce that

L −1 ρn−1 ̟∗(s∅ (yn) y )=1. Proof of Theorem 3.3. One can prove the theorem along the same lines as in Darondeau– Pragacz [8, Theorem 1.1]. First, we prove the case of full ﬂag bundles ̟1,2,...,q : Fℓ1,2,...,q(E) −→ X by induction on q ≥ 1. For the case q = 1, the result is simply the formula (3.4). Hence, we may assume the result for the case of q − 1 with q ≥ 2. ∗ Thus, for any polynomial g(t1,...,tq−1) ∈ MU (X)[t1,...,tq−1], one has

̟1,...,q−1∗(g(y1,...,yq−1)) q−1 (3.7) n−1 n−1 S L ∨ = [t1 ··· tq−1 ] g(t1,...,tq−1) (tj +L ti) (E ;1/ti) . 1≤i

Now, we consider the image of the Gysin map ̟1,...,q∗(f(y1,...,yq)). Since ̟1,...,q : Fℓ1,...,q(E) −→ X is the composite of ̟q : Fℓ1,...,q(E) −→ Fℓ1,...,q−1(E) and ̟1,...,q−1 : Fℓ1,...,q−1(E) −→ X, namely, ̟1,...,q = ̟1,...,q−1 ◦ ̟q, we have

̟1,...,q∗(f(y1,...,yq)) = ̟1,...,q−1∗ ◦ ̟q∗(f(y1,...,yq)).

By the construction recalled in §2.4, ̟q : Fℓ1,...,q(E) −→ Fℓ1,...,q−1(E) is the same as the projective bundle of lines ̟q : P (E/Uq−1) −→ Fℓ1,...,q−1(E). The rank of the 9 quotient bundle E/Uq−1 is n − q + 1, and therefore, by the fundamental formula (3.4), we have n−q S L ∨ ̟q∗(f(y1,...,yq−1,yq)) = [tq ](f(y1,...,yq−1, tq) ((E/Uq−1) ;1/tq)). ∨ Here, the vector bundle (E/Uq−1) has the Chern roots yq,...,yn as is easily seen by the deﬁnition of the Chern roots of E∨, and hence we deduce from (3.1), tn−q+1 q−1 S L((E/U )∨;1/t )= q = t−(q−1) (t + y )S L(E∨;1/t ). q−1 q PL(t ) n (t + y ) q q L i q q i=q q L i i=1 Y Thus, we have Q q−1 n−q −(q−1) S L ∨ ̟q∗(f(y1,...,yq−1,yq)) = [tq ] f(y1,...,yq−1, tq)tq (tq +L yi) (E ;1/tq) i=1 ! Y q−1 n−1 S L ∨ = [tq ] f(y1,...,yq−1, tq) (tq +L yi) (E ;1/tq) , i=1 ! Y and hence, q−1 n−1 S L ∨ ̟1,...,q∗(f(y1,...,yq)) = [tq ] ̟1,...,q−1∗ f(y1,...,yq−1, tq) (tq +L yi) (E ;1/tq) " i=1 !# Y q−1 n−1 S L ∨ = [tq ] ̟1,...,q−1∗ f(y1,...,yq−1, tq) (tq +L yi) (E ;1/tq) . " i=1 ! # Y Then, by the induction assumption (3.7), we have q−1

̟1,...,q−1∗ f(y1,...,yq−1, tq) (tq +L yi) i=1 ! Y q−1 q−1 n−1 n−1 S L ∨ = [t1 ··· tq−1 ] f(t1,...,tq−1, tq) (tq +L ti) × (tj +L ti) (E ;1/ti) , i=1 1≤i

Uq0 =0 ( Uq1 ( ··· ( Uqm−1 ( Uq ( Uqm+1 = E. Let us consider the ﬁber product

Y := Fℓ(Uq1 ) ×F Fℓ(Uq2 /Uq1 ) ×F ···×F Fℓ(Uq/Uqm−1 ) with the natural projection map ̟F : Y −→ F. Then, by the deﬁnition of the full ′ ﬂag bundles ̟k : Fℓ(Uqk /Uqk−1 ) −→ F (k = 1, 2,...,m), the variety Y is naturally ∼ isomorphic to Fℓ1,2,...,q(E). We denote this isomorphism by θ : Y −→ Fℓ1,2,...,q(E).

Identifying Y with Fℓ1,2,...,q(E) through θ, we have ̟1,2,...,q = ̟q1,...,qm−1,q ◦̟F . There- fore, by the naturality of the Gysin map, we have ̟1,2,...,q∗ = ̟q1,...,qm−1,q∗ ◦ ̟F∗. By ′ applying the formula (3.6) to the full ﬂag bundles ̟k : Fℓ(Uqk /Uqk−1 ) −→ F, we have

̟′ yqk−i = sL((U /U )∨)= sL(y ,...,y ), k∗  i  ∅ qk qk−1 ∅ qk−1+1 qk q −

m m ̟ yqk−i = sL(y ,...,y ). F∗  i  ∅ qk−1+1 qk q −

m m (3.8) ̟ sL(y ,...,y )−1 yqk−i =1. F∗  ∅ qk−1+1 qk i  q −

̟q1,...,qm−1,q∗(f(y1,y2,...,yq))

= ̟q1,...,qm−1,q∗(f(y1,...,yq) × 1)

m m L −1 qk−i = ̟ − f(y ,...,y ) × ̟ s (y ,...,y ) y q1,...,qm 1,q∗  1 q F∗  ∅ qk−1+1 qk i  q −

In K-theory, since G∅(−) = 1, the above D–P formula takes the following form: Corollary 3.4 (Darondeau–Pragacz formula of type A in K-theory). (3.9)

̟q1,...,qm−1,q∗(f(y1,...,yq))

m q = t(n−1)−(qk−i) f(t ,...,t ) × (t ⊖ t ) G(E∨;1/t ) .  i  1 q j i i q −

̟q1,...,qm∗(f(y1,...,yn))

(3.10) f(y1,...,yn) = w · m . (yi +L yj) w∈S /S ×S − ×···×S − " k=1 qk−1

̟q1,...,qm−1,q∗(f(y1,...,yq))

m m = t(2n−1)−(qk−i) f(t ,...,t ) × sL(t ,...,t )−1  i  1 q ∅ qk−1+1 qk q −

t2(n−q)+2 S L((U ⊥ /U )∨;1/t ) = q q−1 q−1 q PL n (tq) i=q(tq +L yi)(tq +L yi +L z) q−1 −2(q−1) Q S L ∨ = tq (tq +L yi)(tq +L yi +L z) (E ;1/tq). i=1 Y12 Thus, we have

̟q∗(f(y1,...,yq−1,yq)) q−1 2(n−q)+1 −2(q−1) S L ∨ = [tq ] f(y1,...,yq−1, tq)tq (tq +L yi)(tq +L yi +L z) (E ;1/tq) i=1 ! Y q−1 2n−1 S L ∨ = [tq ] f(y1,...,yq−1, tq) (tq +L yi)(tq +L yi +L z) (E ;1/tq) . i=1 ! Y Therefore, we have

̟1,...,q∗(f(y1,...,yq)) = ̟1,...,q−1∗ ◦ ̟q∗(f(y1,...,yq)) q−1 2n−1 S L ∨ = [tq ] ̟1,...,q−1∗ f(y1,...,yq−1, tq) (tq +L yi)(tq +L yi +L z) (E ;1/tq) " i=1 !# Y q−1 2n−1 S L ∨ = [tq ] ̟1,...,q−1∗ f(y1,...,yq−1, tq) (tq +L yi)(tq +L yi +L z) (E ;1/tq) . " i=1 ! # Y Then, by the induction assumption, we obtain the required formula. From the result of isotropic full flag bundles, we can prove the case of isotropic C partial flag bundles ̟q1,...,qm : Fℓq1,...,qm (E) −→ X by the same manner as the type A case. The space Y, that is the type C analogue of the space used in the proof C of Theorem 3.3, is naturally isomorphic to Fℓ1,2,...,q(E) because any flag inside an isotropic subbundle is also an isotropic flag. In K-theory, the above D–P formula takes the following form: Corollary 3.7 (Darondeau–Pragacz formula of type C in K-theory). (3.11)

̟q1,...,qm−1,q∗(f(y1,...,yq))

m = t(2n−1)−(qk−i) f(t ,...,t ) × (t ⊖ t )(t ⊕ t ⊕ z)  i  1 q j i j i q −

3.4.1. Fundamental Gysin formula for quadric bundle in complex cobordism. Let E −→ X be an orthogonal vector bundle of rank N (2n+1 for Y = B,or2n for Y = D), and let ρ1 : Q(E) −→ X be the associated quadric bundle of isotropic lines in E. Denote MU ∨ 2 the tautological line bundle on Q(E) by U1. Put y1 = c1 (U1 ) ∈ MU (Q(E)) (We also denote the tautological line bundle on P (E) by U1, and we use the same symbol MU ∨ 2 ∗ y1 for c1 (U1 ) ∈ MU (P (E)). Thus, ι (y1) = y1). Following Darondeau–Pragacz ∗ ∗ [8, §3.3], we shall describe the Gysin homomorphism ρ1∗ : MU (Q(E)) −→ MU (X). First, we shall describe the class [Q(E)] ∈ MU 2(P (E)). By the deﬁnition of Q(E), it ∼ ∨ ∨ is given by the zero set of a section of the line bundle Hom (U1 ⊗U1, L) = U1 ⊗U1 ⊗L. Therefore we have MU ∨ ∨ [Q(E)] = c1 (U1 ⊗ U1 ⊗ L)= y1 +L y1 +L z = [2]L(y1)+L z. 13 (Let ̟1 : P (E) −→ X be the projective bundle of lines, and ι : Q(E) ֒−→ P (E be the natural inclusion. Then, we have ρ1 = ̟1 ◦ ι, and therefore ρ1∗ = ̟1∗ ◦ ι∗ : MU ∗(Q(E)) −→ MU ∗(X). Then, using the fundamental formula (3.4), which still holds for a formal power series f(t) ∈ MU ∗(X)[[t]], one can compute for k ≥ 0, k k ∗ k k k ρ1∗(y1 ) = ̟1∗ ◦ ι∗(y1 )= ̟1∗ ◦ ι∗(ι (y1 )) = ̟1∗(y1 ι∗(1)) = ̟1∗(y1 [Q(E)]) k N−1 k S L ∨ = ̟1∗(y1 ([2]L(y1)+L z)) = [t ](t ([2]L(t)+L z) (E ;1/t)).

∗ ∗ Therefore, for a polynomial f(t) ∈ MU (X)[t], the Gysin homomorphism ρ1∗ : MU (Q(E)) −→ MU ∗(X) is given by N−1 L ∨ (3.12) ρ1∗(f(y1)) = [t ](f(t)([2]L(t)+L z)S (E ;1/t)). This is the fundamental formula for establishing more general Gysin formulas for ﬂag bundles of types B and D, which will be given in the next subsection. 3.4.2. Darondeau–Pragacz formula of types B and D in complex cobordism. With the above preliminaries, we can extend the Darondeau–Pragacz formula [8, Theorem 3.1]) in the following manner: Let E −→ X be an orthogonal vector bundle of rank N. Given a sequence of integers q0 = 0 < q1 < ··· < qm ≤ n, we set q := qm. Then, the following Gysin formula holds for the isotropic partial ﬂag bundle ρq1,...,qm−1,q = Y Y ̟q1,...,qm−1,q : Fℓq1,...,qm−1,q(E) −→ X. Theorem 3.8 (Darondeau–Pragacz formula of types B and D in complex cobordism). ∗ Sq ×Sq −q ×···×Sq−q − For a polynomial f(t1,...,tq) ∈ MU (X)[t1,...,tq] 1 2 1 m 1 , one has

ρq1,...,qm−1,q∗(f(y1,...,yq))

m q m = t(N−1)−(qk−i) f(t ,...,t ) × ([2] (t )+ z) × sL(t ,...,t )−1  i  1 q L i L ∅ qk−1+1 qk q −

ρq∗(f(y1,...,yq−1,yq))

N−1 S L ∨ = [tq ] f(y1,...,yq−1, tq)([2]L(tq)+L z) (tq +L yi)(tq +L yi +L z) (E ;1/tq) . 1≤i≤q−1 ! Y The rest of the proof is entirely analogous to the type C case. 14 4. Applications –Universal quadratic Schur functions– 4.1. Quadratic Schur functions. 4.1.1. Definition of quadratic Schur functions. In [8, §4.2], Darondeau–Pragacz introduced the type BCD analogues of the usual Schur functions, called the quadratic Schur functions. First, we recall their definition: Let E −→ X be a symplectic vector bundle of rank 2n, where we assume that the line bundle L is trivial. Then, using the given symplectic form, we have the isomorphism E ∼= E∨ as complex vector bundles, ∼ ∨ and the (cohomology) Chern roots of E = E are given by ±y1,..., ±yn. Thus, the Segre series of E∨ is formally given by n 1 1 n 1 s(E∨; u)= = = h (y2)u2l, 1 − y u 1+ y u 1 − y2u2 l n j=1 j j j=1 j Y Y Xl≥0 2 2 2 2 2 where hl(yn)= hl(y1,...,yn) denotes the complete symmetric polynomial in y1,...,yn. Hence, the Segre classes of E are given by ∨ ∨ 2 s2k+1(E ) = 0 and s2k(E )= hk(yn)(k =0, 1, 2,...). n Then, for a sequence of integers I =(I1,...,In) ∈ Z , Darondeau–Pragacz defines the (2) ∨ cohomology class sI (E ) to be (2) ∨ ∨ (4.1) sI (E ) := det (sIi+2(j−i)(E ))1≤i,j≤n. (2) ∨ (2) By analogy with the usual Schur functions, they called sI (E ) = sI (yn) the quadratic Schur function. Notice that their Segre classes si(E)’s are the same as those of ∨ our si(E ). However, this difference does not affect the above definition because of E =∼ E∨ as complex vector bundles. From this definition, we observe that the following property holds: If a partition I = (I1,...,In) ∈ Pn has an odd part, say Ii, then all ∨ entries in the i-th row of the determinant (4.1) are zero because sodd(E ) = 0. There- (2) ∨ fore, for such a partition, sI (E ) must be zero. Thus, the quadratic Schur function (2) ∨ sI (E ) is non-trivial only if all parts of I are even numbers. If I is such a partition, that is, I is of the form 2J for some partition J, then we see that (2) ∨ ∨ 2 [2] ∨ sI (E ) = det (sIi+2(j−i)(E )) = det(hJi+(j−i)(yn)) = sJ (E ). [2] ∨ Here the class sJ (E ) is introduced in Pragacz–Ratajski [22, Theorem 5.13], and is 2 defined as sJ (yn), the ordinary Schur polynomial corresponding to the partition J in 2 2 2 the variables yn =(y1,...,yn). 4.1.2. Gysin formulas for quadratic Schur functions. We shall describe the quadratic Schur functions in terms of Gysin maps of type C full flag bundles. Let λ =(λ1,...,λq) be a partition of length ℓ(λ) = q ≤ n. Consider the type C full flag bundle ̟1,2,...,q : C Fℓ1,2,...,q(E) −→ X, and the induced Gysin map in cohomology, ∗ C ∗ ̟1,...,q∗ : H (Fℓ1,...,q(E)) −→ H (X). Then, the following proposition is essentially given by Darondeau–Pragacz [8, Propo- sition 4.3]: Proposition 4.1 (Characterization of the quadratic Schur functions). For the Gysin ∗ C ∗ map ̟1,...,q∗ : H (Fℓ1,...,q(E)) −→ H (X), the following formula holds: q (2) q (2) λ+ρ2q−1+(2(n−q)) λi+2n−2i+1 ∨ ̟1,...,q∗(y )= ̟1,...,q∗ yi = sλ (E ), i=1 ! 15 Y (2) where ρ2q−1 := (2q − 1, 2q − 3,..., 3, 1). Proof. For convenience of the readers, we shall provide the proof of the proposition along the same lines as in [8]: By the D–P formula of type C [8, Theorem 2.1], one can compute q q q (2) q λ+ρ2q−1+(2(n−q)) 2n−1 λi+2n−2i+1 2 2 ∨ ̟1,...,q∗(y ) = ti ti (tj − ti ) s(E ;1/ti) "i=1 # i=1 1≤i

∗ C ∗ Analogous with Remark 3.5, the Gysin map ̟1,...,q∗ : H (Fℓ1,...,q(E)) −→ H (X) also has a symmetrizing operator description (cf. Brion [3, Proposition 2.1]): f ̟1,...,q∗(f)= w · q " i=1 2yi · 1≤i≤q i

(2) q λ+ρ2q−1+(2(n−q)) (2) ∨ y sλ (E ) = w · q " i=1 2yi · 1≤i≤q i

q λi+2n−2i+1 (2) ∨ (2) i=1 yi Gλ (E )= Gλ (yn)= w · q . " i=1 yi ⊕ yi · 1≤i≤q i

f ̟q∗(f)= w · q  i=1[2]L(yi) · 1≤i≤q, (yi +L yj) · 1≤i≤q,(yi +L yj) w∈Cn/SXq×Cn−q q+1≤j≤n i0) (in this case, we say that the length ℓ(I) of I is q), the L,(2) ∨ L,(2) corresponding universal quadratic Schur function sI (E )= sI (yn) is deﬁned by the same expression as (4.3). With these preparations, one can obtain the following result:

q Proposition 4.4. For a sequence of non-negative integers I = (I1,...,Iq) ∈ (Z≥0) , which satisﬁes the condition Ii > 2n − q − i +1 for i =1,...,q, one has the following Gysin formula:

L ∨ L,(2) ∨ (4.4) ̟q∗(sI (Uq )) = sI−ρq (E ), where ρq = (2n − q, 2n − q − 1,..., 2n − q − i +1,..., 2n − 2q + 1). 17 Proof. By (2.1) and the symmetrizing operator description of ̟q∗ mentioned above, one can compute

L ∨ L ̟q∗(sI (Uq )) = ̟q∗(sI (yq)) q yIi+q−i v · i=1 i v∈Sq (y + y )  " 1≤Qi

q Ii+q−i i=1 yi wv · q [2]L(yi) · (yi +L y )(yi +L yj) − v∈S " i=1 1≤i≤q i

As a special case of the above proposition (q = n), one immediately obtains a complex cobordism analogue of the result of Pragacz–Ratajski [22, Theorem 5.13]:

Corollary 4.5 (Pragacz–Ratajski formula in complex cobordism). Let I =(I1,...,In) ∈ n (Z≥0) be a sequence of non-negative integers satisfying Ii > n − i +1(i =1,...,n). Then, the following Gysin formula holds for the Lagrangian Grassmann bundle ̟n : C LGn(E)= Fℓn (E) −→ X:

L ∨ L,(2) ∨ (4.5) ̟n∗(sI (Un )) = sI−ρn (E ).

If we reduce the universal formal group law FL(u, v)= u +L v to Fa(u, v)= u + v, then the formula (4.5) reduces to

∨ (2) ∨ (4.6) ̟n∗(sI (Un )) = sI−ρn (E ).

If one of the parts of I − ρn is odd, then the right-hand side of (4.6) is zero. Therefore, ∨ the element sI (Un ) has a nonzero image under ̟n∗ only if I is of the form 2J + ρn for n some Jn ∈ (Z≥0) . If I =2J + ρn, then one obtains

∨ (2) ∨ [2] ∨ ̟n∗(sI(Un )) = s2J (E )= sJ (E ) as observed in §4.1.1. This is the original Pragacz–Ratajski formula.

4.2.3. Generating function for universal quadratic Schur functions. As an application of our Darondeau–Pragacz formulas in complex cobordism, one can derive the generating function for the universal quadratic Schur functions. According to Theorem 3.6, ∗ C ∗ the D–P formula for the Gysin map ̟1,...,q∗ : MU (Fℓ1,...,q(E)) −→ MU (X) takes 18 ∗ the following form: For a polynomial f(t1,...,tq) ∈ MU (X)[t1,...,tq], one has

q 2n−1 ̟1,...,q∗(f(y1,...,yq)) = ti f(t1,...,tq) (tj +L ti)(tj +L ti) "i=1 # 1≤i

L,(2) (2) q ∨ λ+ρ2q−1+(2(n−q)) sλ (E ) = ̟1,...,q∗(y ) q q q 2n−1 λi+2n−2i+1 S L ∨ = ti ti (tj +L ti)(tj +L ti) (E ;1/ti) "i=1 # i=1 1≤i

1 z2n S L(E∨; u)= . PL n (z) j=1(z +L yj)(z +L yj) − z=u 1

Let us reformulate the above result inQ terms of symmetric function s: For independent variables yn =(y1,...,yn), we set 1 u2n sL,(2)(u) := , PL n (u) j=1(u +L yj)(u +L yj) q Q tj +L ti tj +L ti sL,(2)(u ,...,u ) := sL,(2)(u ) · . 1 q i t t i=1 1≤i

Theorem 4.6. For a partition λ =(λ1,...,λq) of length ℓ(λ)= q ≤ n, the universal L,(2) −λ1 −λq L,(2) quadratic Schur function s (yn) is the coeﬃcient of u1 ··· uq in s (u1,...,uq), that is,

L,(2) −λ1 −λq L,(2) sλ (yn) = [u1 ··· uq ](s (u1,...,uq)). t + t If we specialize F (u, v)= u+ v to F (u, v)= u+v, then the factor j L i · L L a t 1≤i

2n ∨ 1 u G(E ;1/u)= n . 1 − βu j=1(u ⊕ yj)(u ⊖ yj) Then, by Theorem 4.6, we have Q

q q t ⊖ t t ⊕ t (4.7) G(2)(E∨)= t−λi j i · j i G(E∨;1/t ) . λ i t t i "i=1 # 1≤i

t ⊖ t t ⊕ t t2 t2 j i · j i = 1 − i j = det((1−βt )i−jt2(j−i)) . t t 1 − βt 1 − βt i i 1≤i,j≤q 1≤i

Theorem 4.7 (Determinantal formula for the K-theoretic quadratic Schur function).

∞ (2) ∨ i − j k ∨ (4.8) Gλ (E ) = det (−β) Gλi+2(j−i)+k(E ) . k ! Xk=0 1≤i,j≤q

5. Appendix 5.1. Quillen’s Residue Formula. As we mentioned in §3.1.2, we proceed with the calculation of Quillen’s residue formula, i.e., the right-hand side of (3.3) in the following manner: First, we consider the case where f(t)= tN , a monomial in t of degree N ≥ 0. PL ∞ P ℓj We expand (t, yj) as ℓj =0 ℓj (yj)t for j =1,...,n. Then, we compute

tN P 1 1 = tN × × PL n PL t − y (t) j=1(t +L yj) (t) n j j=1 L P (t, yj) Q 1 Q n n 1 = tN−n × × PL(t, y ) × PL(t) j 1 − y t−1 j=1 j=1 j Y Y ∞ n ∞ ∞ = tN−n × [CP k]tk × P (y )tℓj × h (y )t−m .  ℓj j  m n ! j=1 m=0 ! Xk=0 Y ℓXj =0 X   For brevity, we put

n ∞ ∞ n ∞ P (y )tℓj = P (y ) tℓ = P (y )tℓ.  ℓj j   ℓj j  ℓ n j=1 ℓj =0 ℓ=0 ℓ1+···+ℓn=ℓ j=1 ℓ=0 Y X X ℓ1≥0X,...,ℓn≥0 Y  X    

4An analogous determinantal formula for the Grothendieck polynomials was recently obtained by Hudson–Ikeda–Matsumura–Naruse [13, Theorem 3.13]. 20 Then, the computation continues as ∞ ∞ ∞ N−n k k r t × [CP ]t × Pℓ(yn)hℓ−r(yn) t ! (r=−∞ ! ) Xk=0 X Xℓ=r ∞ ∞ ∞ ∞ ∞ N−n k k r −r = t × [CP ]t × Pℓ(yn)hℓ−r(yn) t + Pℓ(yn)hℓ+r(yn) t ! ( r=0 ! r=1 ! ) Xk=0 X Xℓ=r X Xℓ=0 ∞ s ∞ N−n k s = t × [CP ]Pℓ(yn)hk+ℓ−s(yn) t " s=0 ( ) X Xk=0 ℓ=Xs−k ∞ ∞ ∞ k s + [CP ]Pℓ(yn)hk+ℓ−s(yn) t s=−∞ ( ) # X kX=s+1 Xℓ=0 ∞ s ∞ N−n k s = t × [CP ]Pℓ(yn)hk+ℓ−s(yn) t " s=0 ( ) X Xk=0 ℓ=Xs−k ∞ ∞ ∞ ∞ ∞ ∞ k s k −s + [CP ]Pℓ(yn)hk+ℓ−s(yn) t + [CP ]Pℓ(yn)hk+ℓ+s(yn) t . s=0 ( ) s=1 ( ) # X kX=s+1 Xℓ=0 X Xk=0 Xℓ=0 Next, we extract the coefficient of t−1 in the above formal Laurent series. In the case of N ≥ n, one sees immediately that the coefficient of t−1 is ∞ ∞ k [CP ]Pℓ(yn)hk+ℓ+N−n+1(yn). Xk=0 Xℓ=0 In the case of 0 ≤ N < n, the coefficient of t−1 is n−N−1 ∞ ∞ ∞ k k [CP ]Pℓ(yn)hk+ℓ+N−n+1(yn)+ [CP ]Pℓ(yn)hk+ℓ+N−n+1(yn) k=0 ℓ=n−N−1−k k=n−N ℓ=0 X∞ X∞ X X k = [CP ]Pℓ(yn)hk+ℓ+N−n+1(yn). Xk=0 ℓ=n−XN−1−k Summing up the above calculation, we get the following result: (5.1) ∞ ∞ k [CP ]Pℓ(yn)hk+ℓ+N−n+1(yn) (N ≥ n), N  k=0 ℓ=0 ′ t Res n =  X∞ X ∞ t=0 PL  (t) j=1(t +L yj)  k P  [CP ] ℓ(yn)hk+ℓ+N−n+1(yn) (0 ≤ N < n). Q Xk=0 ℓ=n−XN−1−k   M N ∗ For a general polynomial of the form f(t) = N=0 aN t ∈ MU (X)[t], one has M N M N ̟1∗(f(y1)) = ̟1∗ N=0 aN y1 = N=0 aN ̟1∗P(y1 ) since the Gysin map ̟1∗ is an ∗ MU (X)-homomorphism.P From this,P we can calculate ̟1∗(f(y1)). References [1] J. F. Adams, Stable Homotopy and Generalised Homology, Chicago Lectures in Mathematics (1974), The University of Chicago Press. [2] P. Bressler and S. Evens, The Schubert calculus, braid relations, and generalized cohomology, Trans. Amer. Math. Soc. 317 (1990), no. 2, 799–811. 21 [3] M. Brion, The push-forward and Todd class of flag bundles, Parameter Spaces (P. Pragacz, ed.), 36, Banach Center Publications, 1996, 45–50. [4] A. S. Buch, A Littlewood-Richardson rule for the K-theory of Grassmannians, Acta Math. 189 (2002), 37–78. [5] A. S. Buch, Grothendieck classes of quiver varieties, Duke Math. J. 115, No.1 (2002), 75–103. [6] P. E. Conner and E. E. Floyd, The relation of cobordism to K-theories, Lecture Notes in Math- ematics 28 (1966), Springer–Verlag. [7] J. Damon, The Gysin homomorphism for flag bundles, Amer. J. Math. 95 (1973), 643–659. [8] L. Darondeau and P. Pragacz, Universal Gysin formulas for flag bundles, Internat. J. Math. 28 (2017), no. 11, 1750077, 23 pp. [9] D. Edidin and W. Graham, Characteristic classes and quadric bundles, Duke Math. J. 78 (1995), 277–299. [10] K. E. Fel’dman, An equivariant analog of the Poincaré–Hopf theorem, J. Math. Sci. 113 (2003), 906–914; Translated from Zap. Nauchn. Sem. POMI 267 (2001), 303–318. [11] W. Fulton, Intersection Theory, Second Edition, Springer–Verlag, 1998. [12] W. Fulton and P. Pragacz, Schubert varieties and degeneracy loci, Lecture Notes in Mathematics 1689, Springer–Verlag, Berlin, 1998. [13] T. Hudson, T. Ikeda, T. Matsumura, and H. Naruse, Degeneracy loci classes in K-theory – determinantal and Pfaffian formula, Adv. Math. 320 (2017), 115–156. [14] T. Hudson and T. Matsumura, Segre classes and Damon–Kempf–Laksov formula in algebraic cobordism, Math. Ann. 374 (2019), 1439–1457. [15] M. Lazard, Sur les groupes de Lie formels àun paramètre, Bull. Soc. Math. France 83 (1955), 251–274. [16] M. Levine and F. Morel, Algebraic cobordism, Springer Monographs in Mathematics, Springer, Berlin, 2007. [17] I. G. Macdonald, Symmetric functions and Hall polynomials, 2nd edition, Oxford Univ. Press, Oxford, 1995. [18] M. Nakagawa and H. Naruse, Generalized (co)homology of the loop spaces of classical groups and the universal factorial Schur P - and Q-functions, Schubert Calculus –Osaka 2012, 337–417, Adv. Stud. Pure Math., 71, Math. Soc. Japan, Tokyo, 2016. [19] M. Nakagawa and H. Naruse, Universal Gysin formulas for the universal Hall–Littlewood functions, Contemp. Math. 708 (2018), 201–244. [20] M. Nakagawa and H. Naruse, Generating functions for the universal factorial Hall–Littlewood P - and Q-functions, arXiv:1705.04791. [21] H. Naruse, Elementary proof and application of the generating functions for generalized Hall– Littlewood functions, J. Algebra 516 (2018), 197–209. [22] P. Pragacz and J. Ratajski, Formulas for Lagrangian and orthogonal degeneracy loci; Q˜- polynomial approach, Compos. Math. 107 (1997), 11–87. [23] D. Quillen, On the formal group laws of unoriented and complex cobordism theory, Bull. Amer. Math. Soc. 75, No.6 (1969), 1293–1298. [24] D. Quillen, Elementary proofs of some results of cobordism theory using Steenrod operations, Adv. Math. 7 (1971), 29–56. [25] R. Switzer, Algebraic Topology –Homology and Homotopy, Classics in Mathematics, Reprint of the 1975 Edition, Springer–Verlag, Berlin, 2002.

Graduate School of Education Okayama University Okayama 700-8530, Japan Email address: [email protected] Graduate School of Education University of Yamanashi Kofu 400-8510, Japan Email address: [email protected]