---
abstract: 'We study Legendrian singularities arising in complex contact geometry. We define a one-parameter family of bases in the ring of Legendrian characteristic classes such that any Legendrian Thom polynomial has nonnegative coefficients when expanded in these bases. The method uses a suitable Lagrange Grassmann bundle on the product of projective spaces. This is an extension of a nonnegativity result for Lagrangian Thom polynomials obtained by the authors previously. For a fixed specialization, other specializations of the parameter lead to upper bounds for the coefficients of the given basis. One gets also upper bounds of the coefficients from the positivity of classical Thom polynomials (for mappings), obtained previously by the last two authors.'
author:
- |
    Małgorzata Mikosz[^1]\
    Warsaw University of Technology,\
    Pl. Politechniki 1, 00-661, Warszawa, Poland\
    billy55@example.net
- |
    Piotr Pragacz[^2]\
    Institute of Mathematics of Polish Academy of Sciences\
    Śniadeckich 8, 00-956 Warszawa, Poland\
    billy55@example.net
- |
    Andrzej Weber[^3]\
    Institute of Mathematics, University of Warsaw\
    Banacha 2, 02-097 Warszawa, Poland\
    billy55@example.net
- 'and: IMPAN, Śniadeckich 8, 00-956 Warszawa, Poland'
title: '**Positivity of Legendrian Thom polynomials**'
---

Introduction
============

The aim of the present paper (which is a continuation of @Ka2, @PW and @MPW) is to study the <span>*positivity*</span> of Legendrian Thom polynomials. The pioneering papers @G of Griffiths and @FL of Fulton and Lazarsfeld investigated numerical positivity related to ample vector bundles in differential and algebraic geometry, respectively. Their various variants are nowadays widely investigated in algebraic geometry. We refer to the monograph @Lz for more detailed account. Also, the recent paper @FNR gives a combinatorial interpretation for the coefficients of certain Thom-like polynomials, providing further motivation for studying general positivity phenomena.

Our main goal is to define a certain one-parameter family of bases in the ring of Legendrian characteristic classes. Any Legendrian Thom polynomial has nonnegative coefficients when expanded in any member of this family (Theorems \[main2\] and \[mainfamily\]).

The main difference, comparing with the previous papers (in particular, with @Ka2 and @MPW [Remark 14]) is the definition of <span>*Legendre singularity classes*</span> to which these Thom polynomials are attached. They are introduced as closed algebraic subsets in the space parametrizing <span>*pairs*</span> of Legendrian submanifolds in the contact space (see Lemma \[LL\]). Regardless of the technical differences the main theorem of @MPW follows from Theorem \[mainfamily\] by specialization of the parameter $t$ to $0$. As in @Ka2, @PW and @MPW, when we study Thom polynomials of commonly bounded degree, it is enough to deal with finite jets of germs of submanifolds through the origin.

The principal technique involved in the proof of these theorems is <span>*transversality*</span> with respect to some stratification of a Lagrange Grassmann bundle. This is a subject of Section \[pos\]. The key technical result is Theorem \[trans1\]. We show that the intersection (in the jet bundle) of a Legendre singularity class with the preimage of the closue of a stratum of the stratification, is represented by a nonnegative cycle. In fact, for our purposes we need a certain Lagrange Grassmann bundle over the product of two projective $n$-spaces, see Theorem \[main2\]. A concrete form of the resulting one-parameter family of bases follows from degeneracy locus formulas from @KT, @LP, @PR and a formula of Kazarian.

In Section \[parameter\], we examine the parameter of the constructed family of bases, and give a precise proof of a result announced in @MPW, describing algebraically the basis corresponding to the value of the parameter equal to 1 (see Theorem \[Qt\]).

Let us fix the value of the parameter. It turns out that the nonnegativity of coefficients of the bases for some other values of the parameter can imply upper bounds of the coefficients in the basis for the given parameter. This is a subject of Section \[bounds\].

In Section \[vs\], we show (Proposition \[nonzero\]) that for nonempty stable singularity classes the corresponding Legendrian (and Lagrangian) Thom polynomials are nonzero. This is an amelioration of the main result of @MPW. The proof uses the fact @PW that the Thom polynomials for functions ${\Bbb C}^n
\to {\Bbb C}$ are nonzero for nonnempty singularity classes. We also show how this last result gives some upper bounds on the coefficients of Legendrian Thom polynomials in the basis from Theorem \[Qt\].

In Section \[examples\], we list some examples of Legendrian Thom polynomials expanded in different bases from the family.

In the Appendix, we prove some new positivity result for the intersection coefficients in the Lagrange Grassmann bundle. This result concerns the stratification transverse to the one studied in Section \[pos\]. It relies on a"large group" action from @An.

Some Legendrian geometry
========================

Fix $n \in \Bbb N$. Suppose for the moment that $W$ is a vector space of dimension $n$, and $\xi$ is a vector space of dimension one. Let $$V:=W\oplus (W^*\otimes\xi)$$ be the standard symplectic space equipped with the twisted symplectic form $\omega\in\Lambda^2V^*\otimes\xi$. We study the germs at the origin of the Legendrian submanifolds in the standard <span>*contact space*</span> $$V\oplus\xi=W\oplus (W^*\otimes\xi)\oplus \xi\,,$$ or equivalently the germs of the Lagrangian submanifolds in the symplectic space $V$. Any Legendrian submanifold in $V\oplus\xi$ is determined by its projection to $V$ and any Lagrangian submanifold in $V$ lifts to $V\oplus\xi$, see @AGV [Proposition p.313]. Therefore we will perform all the constructions in the realm of symplectic geometry.

Two Lagrangian submanifolds, if they are in generic position, intersect transversally. The singular relative positions can be divided into Legendrian singularity classes. To classify all the possible relative positions it suffices consider only two types of submanifolds:

<span>(i)</span> <span>*linear subspaces*</span>; they are parametrized by Lagrangian Grassmannian denoted by $LG(V,\omega)$;

<span>(ii)</span> <span>*the submanifolds which have the tangent space at the origin equal to $W$*</span>; they are the graphs of the differentials of the functions $f:W\to\xi$ satisfying $df(0)=0$ and $d^2f(0)=0$, see @MPW [Lemma 2].

The group of symplectomorphisms of $V$ acts on the pairs of Lagrangian subspaces. By the following lemma we can restrict our attention only to the submanifolds of the type (i) and (ii).

\[LL\] Any pair of Lagrangian submanifolds is symplectic equivalent to a pair $(L_1,L_2)$ such that $L_1$ is a linear Lagrangian subspace and the tangent space $T_0L_2$ is equal to $W$.

The lemma follows essentially from the Darboux Theorem (see @AGV, Theorem, p.287). Indeed, it follows from this theorem that any Lagrangian submanifold is symplectomorphic to a linear one (given by vanishing of the $p$-coordinates in the notation of the theorem). We apply this to the first Lagrangian submanifold, getting a linear $L_1'$. Applying then an appropriate rotation, we get the tangency condition for $L_2$, equal to the rotated second Lagrangian submanifold. The image $L_1$ of $L_1'$ under this rotation is linear. The pair $(L_1,L_2)$ satisfies the assertion of the lemma.

Let us fix a suitable large $k$. We identify two Lagrangian submanifolds if the degree of their tangency at $0$ is greater than $k$. The equivalence class will be called "a $k$-jet of a submanifold". The $k$-jets of submanifolds satisfying the condition (ii) are in bijection with elements of the vector space $$\bigoplus_{i=3}^{k+1}{\Sym}^i(W^*)\otimes\xi\,.$$

We want to describe a space parametrizing all possible relative positions of Lagrangian submanifolds. A suggestion of Kazarian and Lemma \[LL\] justifies the following definition. We denote by $\gJ^k(W,\xi)$ the set of pairs $(L_1,L_2)$ of $k$-jets of Lagrangian submanifolds of $V$ such that $L_1$ is a linear space and $T_0L_2=W$. Let $$\label{pi}
\pi: {\gJ}^k(W,\xi) \to LG(V,\omega)$$ be the projection to the first factor. Clearly, $\pi$ is a trivial vector bundle with the fiber equal to: $$\bigoplus_{i=3}^{k+1}{\Sym}^i(W^*)\otimes\xi \,.$$

In @MPW we considered the relative position of the Lagrangian submanifolds with respect to the fixed linear space $W^*$. We obtained a jet bundle over $LG(V)$ which was not a trivial bundle, and we had to deform that bundle to its linear part. Fixing the tangent space of the nonlinear submanifold and moving the second linear space, is an important simplification comparing with @MPW.

We are interested in a larger group than just the group of symplectomorphisms, namely the group of <span>*(complex) contact automorphisms*</span> of $V\oplus \xi$. It acts on the pairs of Legendrian submanifolds in $V\oplus \xi$. Again by @AGV [Proposition p.313], we obtain an action on the pairs of Lagrangian submanifolds. In particular, we take into account the automorphisms of $V$ which transport the symplectic form $\omega$ to a proportional one. For example, $$\phi_t(q,p)=(q,tp), \ \ \ \hbox{where} \ \ \ q\in W, \ p\in W^*\otimes \xi \ \ \hbox{and} \ \ t\in \C^*.$$ By a <span>*Legendre singularity class*</span> we mean a closed algebraic subset $$\Sigma \subset {\gJ}^k(\C^n,\C)\,,$$ invariant with respect to holomorphic contactomorphisms of $\C^{2n+1}$. Additionally, we assume that the singularity class $\Sigma$ is stable with respect to enlarging the dimension of $W$, as in @PW [Sect.2]. Unfortunately, we do not know any place in literature where the relation between cohomological stability and the infinitesimal stability in the sense of see @AGV [Sect.6] is discussed. This problem is treated in @FR [Sect. 7.2] in a different context. It seems to be a common knowledge that infinitesimal stability implies cohomological stability. On the other hand, we would like to mention that our main results: Theorems \[main2\] and \[mainfamily\] hold without the stability assumption.

The jet bundle $\gJ^k(W,\xi)$
=============================

The vector space $\xi$ may have no distinguished coordinate. It happens so for example when we deal with a fiber of a vector bundle. In other words we have a nontrivial action of $\C^*$ on ${\gJ}^k(\C^n,\C)$. Now we repeat the construction of the space $
{\gJ}^k(W,\xi)
$ parametrizing the relative positions of two Lagrangian submanifolds, assuming that $\xi$ is a line bundle over some base space. We could have used the universal base $BU(1)$ but it is more convenient to work with bundles defined over various base spaces. Also, it will be useful to assume that $W$ is a (possibly nontrivial) vector bundle.

Let $X$ be a topological space, $W$ a complex rank $n$ vector bundle over $X$, and $\xi$ a complex line bundle over $X$. The fibers of $W$, $\xi$, $V$  over a point $x\in X$ are denoted by $W_x$, $\xi_x$, $V_x$. Let $$\tau: LG(V,\omega)\to X$$ denote the Lagrange Grassmann bundle parametrizing Lagrangian linear submanifolds in $V_x$, $x\in X$. We have a relative version of the map (\[pi\]): $$\pi: {\gJ}^k(W,\xi) \to LG(V,\omega)$$ The space ${\gJ}^k(W,\xi)$ fibers over $X$. It is equal to the pull-back: $${\gJ}^k(W,\xi) = \tau^*\left(\bigoplus_{i=3}^{k+1}{\Sym}^i(W^*)\otimes\xi\right)\,.$$ In the following, the pull-backs to $LG(V,\omega)$ of the bundles $W$, $V$ and $\xi$ will be denoted by the same letters, if no confusion occurs. Since any changes of coordinates of $W$ and $\xi$ induce holomorphic contactomorphisms of $V\oplus \xi$, any Legendre singularity class $\Sigma$ defines a cycle $$\Sigma(W,\xi)\subset{\gJ}^k(W,\xi).$$ We will study the classes[^4] defined by the cycles $\Sigma(W,\xi)$.

Legendrian characteristic classes
=================================

The tautological bundle over $LG(V,\omega)$ is denoted by $R_{W,\xi}$, or by $R$ for short. The symplectic form $\omega$ gives an isomorphism $$V\cong V^*\otimes\xi\,.$$ There is a tautological sequence of vector bundles on $LG(V,\omega)$: $$\label{taut} 0\to R \to V\to R^*\otimes\xi\to 0\,.$$ Consider the virtual bundle $$\label{A}
A:=W^*\otimes \xi-R_{W,\xi}\,.$$ Using the sequence (\[taut\]), we get the relation $$\label{rel}
A+ A^*\otimes \xi=0\,.$$ The Chern classes $a_i=c_i(A)$ generate the cohomology $H^*(LG(V,\omega),\Z)\cong H^*({\gJ}^k(W,\xi), \Z)$ as an algebra over $H^*(X,\Z)$.

Let us fix an approximation of $BU(1)=\bigcup_{n\in\N}\P^n$, that is we set $X=\P^n$, $\xi=\cO(1)$. Let $W={\bf 1}^n$ be the trivial bundle of rank $n$. Then the cohomology $$H^*(LG(V,\omega), \Z)\cong H^*({\gJ}^k(W,\xi),\Z)$$ is isomorphic to the ring of Legendrian characteristic classes for degrees smaller than or equal to $n$. The element $[\Sigma(W,\xi)]$ of $H^*({\gJ}^k(W,\xi), \Z)$, is called the <span>*Legendrian Thom polynomial*</span> of $\Sigma$, and is often denoted by ${\cal T}^{\Sigma}$. It is written in terms of the generators $a_i$ and $s=c_1(\xi)$,  (cf. @Ka2 [Sect. 3.4], @Kahab [Sect.4]).

\[Legring\] The ring of Legendrian characteristic classes is the quotient of the polynomial ring $$\Z[a_1,a_2,a_3,\dots;u]$$ by the relations coming from the identity (\[rel\]). After inverting 2 and applying the twist by $\xi^{-\frac12}$ we obtain the ring of Lagrangian classes extended by one additional free variable $t$, that is $$\Z[\frac12][a'_1,a'_2,a'_3,\dots;t]/{\cal I}\,,$$ where ${\cal I}$ is generated by the polynomials $$(a'_i)^2+2\sum_{k=1}^i(-1)^ka'_{i+k}a'_{i-k},\qquad i>0\,.$$ The even Chern classes $a'_{2i}$ are expressed by odd ones and this ring is just the polynomial ring $$\Z[\frac12][a'_1,a'_3,a'_5,\dots;t]\,.$$ A similar procedure can be applied to the untwisted variables $a_i$.

Cell decompositions of the Grassmann bundle {#LegGrass}
===========================================

We describe two "transverse" cell decompositions of the Lagrange Grassmannians.

To begin with, let $\xi,\alpha_1,\alpha_2,\dots,\alpha_n$ be vector spaces of dimensions equal to one and let $$W:=\bigoplus_{i=1}^n\alpha_i\,,\qquad V:=W\oplus (W^*\otimes \xi)\,.$$ We have a twisted symplectic form $\omega$ defined on $V$ with values in $\xi$. The Lagrangian Grassmannian $LG(V,\omega)$ is a homogeneous space with respect to the group action of the symplectic group $Sp(V,\omega)\subset {\rm End}(V)$. Fix two "opposite" standard isotropic flags in $V$: $$F_h^+:=\bigoplus_{i=1}^h\alpha_i\,,\qquad
F_h^-:=\bigoplus_{i=1}^h\alpha_{n-i+1}^*\otimes\xi$$ for $h=1,2,\dots ,n$ and consider two subgroups $B^\pm\subset
Sp(V,\omega)$ which are the Borel groups preserving the flags $F^\pm_{\bullet}$. The orbits of $B^\pm$ in $ LG(V,\omega)$ form two "opposite" cell $\Omega^{\pm}$-decompositions $\{\Omega_I(F^\pm_\bullet,\xi)\}$ of $LG(V,\omega)$ (Bruhat decompositions), indexed by strict partitions $$I\subset \rho:=(n,n-1,\ldots,1)$$ (see, e.g., @P1). The cells of the $\Omega^+$-decomposition are transverse to the cells of the $\Omega^-$-decomposition.

We pass now to the relative version of the above decompositions.

The description just presented is functorial with respect to the automorphisms of the lines $\xi$ and $\alpha_i$'s, (they form a torus $(\C^*)^{n+1}$). Thus the construction of the cell decompositions can be repeated for bundles $\xi$ and $\{\alpha_i\}_{i=1}^n$ over any base $X$. We obtain a Lagrange Grassmann bundle $$\tau: LG(V,\omega)\to X$$ and a group bundle (group scheme over $X$) $$Sp(V,\omega)\to X$$ together with two subgroup bundles $B^\pm \to X$. Moreover, $LG(V,\omega)$ admits two (relative) stratifications $$\{\Omega_I(F^\pm_\bullet,\xi) \to X\}_{{\rm strict} \ I\subset \rho}\,.$$

Assume that $X=G/P$ is a compact manifold, homogeneous with respect to an action of a linear group $G$. Then $X$ admits an algebraic cell decomposition $\{\sigma_\lambda\}$ (it is again a Bruhat decomposition). The subsets $$Z^-_{I\lambda}:=\tau^{-1}(\sigma_\lambda)\cap\Omega_I(F^-_\bullet,\xi)$$ form an algebraic cell decomposition of $LG(V,\omega)$, called $Z^-$-<span>*decomposition*</span> or <span>*distinguished decomposition*</span> in the following. The classes of their closures give a basis of homology, called $Z^-$-basis. Note that each $Z^-_{I\lambda}$ is transverse to each stratum $\Omega_J(F^+_\bullet,\xi)$, where $J\subset \rho$ is a strict partition.

Similarly, we define the subsets $$Z^+_{I\lambda}:=\tau^{-1}(\sigma_\lambda)\cap \Omega_I(F^+_\bullet,\xi)\,.$$ which form a $Z^-$-<span>*decomposition*</span> and give rise to the corresponding $Z^-$-basis of the cohomology.

\[Hirz\] If $X=\P^1$, $W={\bf 1}$, $\xi=\cO(d)$ (for $d>0$), then $LG(V,\omega)$ is the Hirzebruch surface $\Sigma_d$ which can be presented as the sum of the space of the line bundle $\xi$ and the section at the infinity, $$\Sigma_d=\xi \cup \P^1_\infty\,.$$ Then $\P^1_0$, the zero section of the bundle $\xi$, is a stratum of the $\Omega^+$-decomposition and the section at infinity $\P^1_\infty$ is a stratum of the $\Omega^-$-decomposition. For the cell decomposition of $X=\P^1=\C\cup \{\infty\}$, we obtain two cell decompositions of $\Sigma_d$. The closures of the one-dimensional cells are the following: $$\Big\{\overline {Z^{\,+}_{I\lambda}}\Big\}=
  \Big\{\tau^{-1}(\infty),\;\P^1_0\Big\}\,,
  \qquad
  \Big\{\overline {Z^{\,-}_{I\lambda}}\Big\}=
  \Big\{ \tau^{-1}(\infty),\;\P^1_\infty\Big\}\,.$$ Two resulting bases of <span>*cohomology*</span> are mutually dual with respect to the intersection product.

The cycles of $Z^+$-decomposition have the following property: any effective cycle has a nonnegative intersection number with them. This is not true for the elements of $Z^-$-decomposition: for example, the self-intersection of $\P^1_\infty$ is equal to $-d$.

Positivity in a jet bundle on a Legendrian Grassmannian {#pos}
=======================================================

We pass now to a nonnegativity result on the Legendrian Thom polynomials and the $Z^{-}$-decomposition. We recall that our goal is to study cycles $\Sigma(W,\xi)$ in: $${\gJ}^k(W,\xi)=\tau^*\left(\bigoplus_{i=3}^{k+1}{\Sym}^i(W^*)\otimes\xi\right).$$ To abbreviate the notation, we set ${\gJ}^k(W,\xi)=\gJ$.

This vector bundle is equipped with a $B^+$-action, i.e. an appropriate map $$B^+\times_X \gJ\to \gJ$$ over $X$.

A Legendre singularity class $\Sigma$ defines the subset $\Sigma(W,\xi)\subset \gJ$, which is a Zariski-locally trivial fibration over $X$. Moreover, $\Sigma(W,\xi)$ is preserved by the action of $B^+$ since this group consists of holomorphic symplectomorphisms preserving $W$:

$$\begin{matrix}&&&\pi&&\tau\cr
 \Sigma(W,\xi)&\subset&\gJ&\twoheadrightarrow&LG(V,\omega)&
\twoheadrightarrow&X\cr
 \circlearrowleft&&\circlearrowleft&&\circlearrowleft\cr
 B^+&&B^+&&Sp(V,\omega)\cr
 \end{matrix}$$

We now state the main technical result of the present paper.

\[trans1\] Fix $I\subset \rho$ and $\lambda$. Suppose that the vector bundle $\gJ$ is globally generated. Then, in $\gJ$, the intersection of $\Sigma(W,\xi)$ with the closure of any $\pi^{-1}({Z^-_{I\lambda}})$ is represented by a nonnegative cycle.

This result is, in fact, true for any effective $B^+$-invariant cycle on $\gJ$, Zariski-locally trivial fibered over $X$, taken instead of $\Sigma(W,\xi)$. The proof is modelled on the techniques of @Kl.

Before proving the theorem, we shall establish some preliminary result. For a subset $Y \subset \gJ$ and a global section $s\in
H^0(\gJ)$, we denote by $s+Y$ the fiberwise translate of $Y$ by $s$. We will deform the cycle $\Sigma(W,\xi)$ using a fiberwise translate. The construction is done for each stratum $\Omega_J(F^+_{\bullet},\xi)$ separately. Fix such a stratum $\Omega=\Omega_J(F^+_{\bullet},\xi)$. Denote by $\gJ_{|\Omega}=\pi^{-1}\Omega$ the restriction of the bundle to the stratum and set $$\Xi:=\Sigma(W,\xi)\cap\pi^{-1}\Omega\,.$$

We need the following lemma which is a variant of Bertini-Kleiman tranversality theorem @Kl.

\[lem\] Suppose that the vector bundle $\gJ$ is globally generated. Let $Y\subset \gJ_{|\Omega}$ be a subvariety. Then there exists an open, dense subset $U\subset
H^0(\gJ)$ such that for any section $s\in U$, the translate $s+\Xi$ has proper intersection with $Y$.

Let $$q:H^0(\gJ)\times \Xi \to \gJ_{|\Omega}$$ be the fiberwise translate. We claim that this map is flat (in fact, it is a fibration). The question is local. We find an open set $X'\subset X$ such that the bundles ${\alpha_i}_{|X'}$ and $\xi_{|X'}$ are trivial. Over $X'$ the set $\Xi$ is the product of $X'$ and some variety. Therefore, it is enough to assume that $X$ is a point. Further, note that $\Xi\to\Omega$ is a fibration since $\Omega$ is homogeneous with respect to $B^+$ and $\Xi$ is a $B^+$-invariant subset of $\gJ$. Thus the question reduces to a single fiber of $\gJ$. Since $\gJ$ is globally generated, for any $y\in \Omega$ the fiber $\gJ_y$ is homogeneous for the action of $H^0(\gJ)$. The action map $$q_{|H^0(\gJ)\times\Xi_y}:H^0(\gJ)\times\Xi_y \rightarrow \gJ_y$$ is a trivial fibration with the fiber isomorphic to $\Xi_y\times
{\rm ker}(H^0(\gJ)\to\gJ_y)$. It follows that $q$ is a fibration.

Applying @Kl [Lemma 1], the assertion of the lemma follows.

<span>**Proof of Theorem \[trans1\]**</span>

For a strict partition $J\subset \rho$, we set $$\gJ_    J:=\pi^{-1}(\Omega_J(F^+_\bullet,\xi))\,.$$ Applying Lemma \[lem\], we get an open dense subset $U_J\subset
H^0(\gJ)$ such that for $s\in U_J$ the intersection $$\big(s+(\Sigma(W,\xi)\cap
\gJ_J)\big)\cap\big(\pi^{-1}(\overline{Z^-_{I\lambda}})\cap
\gJ_J\big)$$ is proper inside $\gJ_J$. We now pick $$s\in\bigcap_{{\rm strict} \ J \subset \rho} U_J\,,$$ and set $$\Sigma(W,\xi)':=s+\Sigma(W,\xi)\,.$$ Since the cycle $\pi^{-1}(\overline{Z^-_{I\lambda}})$ is transverse to the stratification $\{\gJ_J\}_{{\rm strict} \ J
\subset \rho}$ of $\gJ$, an easy dimension count shows that $\pi^{-1}(\overline{Z^-_{I\lambda}})$ intersects properly $\Sigma(W,\xi)'$ in $\gJ$.

Theorem \[trans1\] now follows since by @Fu [Sect. 8.2] the intersection $$[\Sigma(W,\xi)]\cdot[\pi^{-1}(\overline{Z^-_{I\lambda}})]=[\Sigma(W,\xi)']\cdot [\pi^{-1}(\overline{Z^-_{I\lambda}})]$$ is represented by a nonnegative cycle.

A family of bases in which any Legendrian Thom polynomial has positive expansion {#family}
================================================================================

We shall apply Theorem \[trans1\] in the situation when all $\alpha_i$ are equal to the same line bundle $\alpha$ (i.e. $W=\alpha^{\oplus n}$) and $\alpha^{-m} \otimes \xi$ is globally generated for $m\geq 3$.

\[3cases\] We shall consider the following three cases: the base is always $X={\bf P}^n$ and

1.  $$\xi_1=\cO(-2)\,,\qquad \alpha_1=\cO(-1)\,,$$

2.  $$\xi_2=\cO(1)\,,\qquad \alpha_2={\bf 1}\,,$$

3.  $$\xi_3=\cO(-3)\,,\qquad \alpha_3=\cO(-1)\,,$$

We obtain symplectic bundles $V_i=\alpha_i^{\oplus n}\oplus(\alpha_i^*\otimes\xi_i)^{\oplus n}$ with twisted symplectic forms $\omega_i$ for $i=1,2,3$.

These cases were for the authors the key examples supporting their working conjecture that the assertion of Theorem \[main2\] holds true.

Case 1 was the subject of @MPW [Remark 14], where the basis related to the distinguished cell decomposition of $LG(V_1,\omega_1)$ was investigated. In this case, for degrees $\le
n$, the cohomology $H^*(LG(V_1,\omega_1),\Z[\frac12])$ is isomorphic to the ring of Legendrian characteristic classes tensored by $\Z[\frac12]$.

In Case 2, the integral cohomology $H^*(LG(V_2,\omega_2),\Z)$ is isomorphic to the ring of Legendrian characteristic classes up to degree $n$. The distinguished cell decomposition of $LG(V_2,\omega_2)$ gives us another basis of cohomology.

In Case 3, the cohomology of $LG(V_3,\omega_3)$ is isomorphic, up to degree $n$, to the ring of Legendrian characteristic classes, provided we invert the number three this time.

The positivity property in Case 1 was known to us (see @MPW [Remark 14]), whereas in Cases 2 and 3, it was Kazarian who suggested the positivity. His conjecture was supported by computation of all the Thom polynomials up to degree seven.

In general, $H^*(LG(V,\omega), {\Bbb Q})$ is isomorphic to the ring of Legendrian characteristic classes up to degree $\dim W$ if $\xi$ is nontrivial. The case of $W=W^{(p,q)}$ and $\xi=\xi^{(p,q)}$, where $$\xi^{(p,q)}=\xi_2^{\otimes p}\otimes \xi_3^{\otimes q} \ \ \ \hbox{and} \ \ \ \alpha=\alpha^{(p,q)}=\alpha_2^{\otimes p}\otimes \alpha_3^{\otimes q}=\alpha_3^{\otimes q}$$ ($p,q$ are integers), will be used in Section \[parameter\].

To overlap all these three cases we consider the product $$\label{baza}
X:=\P^n\times \P^n$$ and set $$\label{wiazka}
W:= p_1^* \cO(-1)^{\oplus n}\,,\qquad\xi:=p_1^*\cO(-3)\otimes p_2^*\cO(1)\,,$$ where $p_i:X\to \P^n$, $i=1,2$, are the projections. Restricting the bundles $W$ and $\xi$ to the diagonal, or to the factors we obtain the three cases considered above. We should keep in mind that $X$ is an approximation of the classifying space $B(U(1)\times U(1))$. We fix it because we apply algebraic geometry methods.

The space $LG(V,\omega)$ has a distinguished cell decomposition $Z^-_{I\lambda}$ where $I$ runs over strict partitions contained in $\rho$, and $\lambda=(a,b)$ with $a$ and $b$ natural numbers smaller than or equal to $n$. The classes of closures of the cells of this decomposition give a basis of the homology of $LG(V,\omega)$. The dual basis of cohomology (in the sense of linear algebra) is denoted by $$e_{I,a,b}=[\overline{Z^-_{I,a,b}}]^*\,.$$ By reasons of geometry, it is clear that the basis $\{e_{I,a,b} \}$ consists of the classes represented by the cycles $\overline{Z^+_{I,a,b}}$.

Let $v_1$ and $v_2$ be the first Chern classes of $p_1^*(\cO(1))$ and $p_2^*(\cO(1))$. By the definition of $Z^+_{I,a,b}$, in $H^*(LG(V,\omega), \Bbb Z)$, we have $$\label{factor}
e_{I,a,b}=e_{I,0,0} \ v_1^a v_2^b\,.$$ Moreover, we have $$\label{IOO}
e_{I,0,0}=[\Omega_I(F^+_\bullet,\xi)]\,.$$

With $X$, $W$ and $\xi$ as in (\[baza\]) and (\[wiazka\]), we have:

\[main2\] Let $\Sigma$ be a Legendre singularity class. Then $[\Sigma(W,\xi)]$ has nonnegative coefficients in the basis $\{e_{I,a,b}\}$.

Let $$\iota: LG(V,\omega)\to {\gJ}^k(W,\xi)$$ be the zero section, and $$\iota^*: H^*( {\gJ}^k(W,\xi), {\Bbb Z}) \to H^*(LG(V,\omega),
{\Bbb Z})$$ be the induced map on cohomology. We write $$\iota^*[\Sigma(W,\xi)]=:\sum_{I,a,b}\gamma_{I,a,b}[\overline{Z^+_{I,a,b}}]\,,$$ where $\gamma_{I,a,b}$ are integers. We claim that the coefficients $\gamma_{I,a,b}$ are nonnegative. These coefficients are equal to $$\iota^*[\Sigma(W,\xi)]\cdot[\overline{Z^-_{I,a,b}}] \qquad {\rm (intersection\;in}\;LG(V,\omega)\,).$$ By the functoriality of the intersection product, the numbers $\gamma_{I,a,b}$ are equal to $$[\Sigma(W,\xi)]\cdot[\pi^{-1}(\overline{Z^-_{I,a,b}})] \qquad ({\rm intersection\;in}\;\gJ).$$ The vector bundle $\gJ$ on $LG(V,\omega)$ is equal to $$\tau^*\left(\bigoplus_{j=3}^{k+1}{\Sym}^j(W^*)\otimes
\xi\right)=\tau^*\left(\bigoplus_{j=3}^{k+1}{\Sym}^j({\bf 1}^n) \otimes
p_1^*\cO(j\moins 3)\otimes p_2^*\cO(1)\right).$$ We see that $\gJ$ is globally generated. By Theorem \[trans1\], the desired intersections in $\gJ$ are nonnegative.

The following computation will be needed later.

\[exck\]By @PR [Theorem 9.3] (see also @KT [Cor. 5]) if $\xi={\bf 1}$, $I=\{h\}$, then $$[\Omega_h(F^+_\bullet,{\bf 1})]=c_h(R^*-F^+_{n+1-h})\,.$$ Hence $$[\Omega_h(F^+_\bullet,\xi)]=c_h(R^*\otimes\xi^{\frac12}-F^+_{
n+1-h}\otimes\xi^{-\frac 12})=c_h((R^*\otimes\xi-F^+_{
n+1-h})\otimes\xi^{-\frac 12})\,.$$ Note that for any virtual bundle $E$ of dimension $h-1$ and for any line bundle $\zeta$ we have $c_h(E\otimes\zeta)=c_h(E)$. Hence $$[\Omega_h(F^+_\bullet,\xi)]=c_h(R^*\otimes\xi-F^+_{
n+1-h})\,.$$ In our situation, ($W=\alpha^{\oplus n}$), the above formula can be written in the form $$[\Omega_h(F^+_\bullet,\xi)]=c_h(R^*\otimes\xi-W+\alpha^{\oplus
h-1})=c_h(W^*\otimes\xi-R+\alpha^{\oplus h-1})=c_h(A+\alpha^{\oplus h-1})\,.$$

The parameter $p/q$ and the basis for $p=q=1$ {#parameter}
=============================================

Fix a Legendre singularity class $\Sigma$. By Theorem \[main2\], we know that the Thom polynomial of $\Sigma$, evaluated at the Chern classes of $$A=W^*\otimes \xi-R$$ and $c_1(\xi)=v_2-3v_1$, is a nonnegative $\Z$-linear combination of the following form: $$\cT^\Sigma =\sum_{I,a,b}\gamma_{I,a,b} \ e_{I,a,b}=
 \sum_{I,a,b}\gamma_{I,a,b} [\Omega_I(F^+_\bullet,\xi)]v_1^av_2^b\,.$$

We want to find an additive basis of the ring of Legendrian characteristic classes with the property that any Legendrian Thom polynomial is a nonnegative combination of basis elements. To this end, we take a geometric model of the classifying space: $LG(V^{(p,q)}, \omega^{(p,q)})$ (see the previous section), and the $Z^+$-basis which is dual to the $Z^-$-basis. More precisely, dividing the cohomology ring $H^*(LG(V,\omega),\Qm)$ by the relation $$q \cdot v_1=p \cdot v_2\,,$$ that is specializing the parameters to $v_1=p \cdot t$, $v_2=q \cdot t$, we obtain the ring $H^*(LG(V^{(p,q)}, \omega^{(p,q)}),{\Bbb Q})$, isomorphic to the ring of Legendrian characteristic classes in degrees $\le n$ (provided that $c_1(\xi)=v_2-3v_1$ is not specialized to 0.)

From Theorem \[main2\], we obtain:

\[mainfamily\] If $p$ and $q$ are nonnegative, $q-3p\not=0$ then the Thom polynomial is a nonnegative combination of the $[\Omega_I(F^+_\bullet,\xi)]\, t^i$'s.

The family $[\Omega_I(F^+_\bullet,\xi)]\, t^i$ is a one-parameter family of bases depending on the parameter $p/q$.

Though the main theme of the present paper is the existence of one-parameter family of bases in which every Legendrian Thom polynomial has positive expansion, we shall give also some results on algebraic form of $[\Omega_I(F^+_\bullet,\xi)]$.

First, we come back to Case 1 from Example \[3cases\]. This corresponds to fixing the parameter to be 1, i.e. $p=1$ and $q=1$. This corresponds to setting $v_1=v_2=t$. Geometrically, this means that we study the restriction of the bundles $W$ and $\xi$ to the diagonal of $\P^n\times \P^n$, or, we study $W_1=\cO(-1)^{\oplus
n}$ and $\xi=\xi_1=\cO(-2)$. Set $\zeta:=\cO(-1)$. Then $\xi^{\frac12}=\zeta$. From (\[rel\]), we have $$\label{rel1}
A^*\otimes \xi^{\frac 1 2} + A\otimes \xi^{-\frac 1 2}=0\,.$$

In general, when the bundle $\xi$ admits a square root $\zeta$ it is convenient to give another description of the space $LG(V,\omega)$. Let us define $$W'=W\otimes\zeta^{-1} \ \ \ \hbox{and} \ \ \
V'=V\otimes\zeta^{-1}\,.$$ Then $V'$ is equipped with a symplectic form with constant coefficients, and $$V'=W'\oplus W'^*\,.$$ In our case, $$X=\P^n, \ \ \  W={\cal O}(-1)^{\oplus n}, \ \ \ \hbox{and} \ \ \
\xi={\cal O}(-2)\,.$$ Then $W'$ and $V'$ become trivial bundles: $$W'={\bf 1}^n\,,\qquad V'={\bf 1}^{2n}\,.$$ We have $$\label{ident}
LG(V,\omega)=LG(\C^{2n})\times \P^n\,,$$ where $LG(\C^{2n})=LG(\C^{2n},\omega)$ and $\omega$ is the standard nondegenerate symplectic form on $\C^{2n}$.

In algebraic expressions, we shall use $\Q$-functions of @PR and their geometric interpretation from @P1. The reader can find in @MPW [Sect.3] a summary of their properties in the notation which will be also used here.

Let $R'$ denote the tautological bundle on $LG(\C^{2n})$. Under the identification (\[ident\]), $R'$ pulled back from $LG(\C^{2n})$ to $LG(V,\omega)$ is equal to $R\otimes \zeta^{-1}$. We thus have $$\label{LR}
A\otimes\zeta^{-1}=W^*\otimes \zeta-R\otimes
\zeta^{-1}=W'^*-R'={\bf 1}^n-R'=R'^*-{\bf 1}^n\,.$$ The distinguished cell decomposition of $LG(V,\omega)=LG(\C^{2n})\times \P^n$ is of the product form. By the cohomological properties of $\Q$-functions (@P1), the basis of cohomology consists of the following functions $$\Q_I(R'^*)\cdot t^j=\Q_I(R^*\otimes\xi^{\frac12})\cdot
c_1(\xi^{-\frac12})^j\,,$$ where $I$ runs over strict partitions in $\rho$.

In this way, we obtain

\[Qt\] The Thom polynomial for a Legendre singularity class $\Sigma$ is a combination: $$\label{alphaIj}
{\cal T}^\Sigma = \sum_{j\ge 0}\sum_I \alpha_{I,j} \ \Q_I(A\otimes
{\xi}^{-\frac 1 2})\cdot t^j \,,$$ where $$t={\frac 1 2}c_1(\xi^*)\in H^2(X,\Z[{\frac 1 2}])\,,$$ $I$ runs over strict partitions in $\rho$, and $\alpha_{I,j}$ are nonnegative integers.

We get the result announced in @MPW [Remark 14], where it should read "$t=\frac 1 2 c_1(\xi^*)$", and where we used the notation $L^*-{\bf 1}^{\dim L}$ for the virtual bundle $A$.

Upper bounds of coefficients {#bounds}
============================

In this section, we shall translate the positivity result in Theorem \[main2\] into restrictions for the coefficients of Thom polynomials.

Let us fix the value of the parameter. It turns out that the nonnegativity of coefficients of the bases for some other values of the parameter can imply upper bounds of the coefficients in the basis for the given parameter. We plan to discuss this more systematically elsewhere. Here we consider the 3 bases in degree two from Cases 1,2 and 3 in Example \[3cases\]. We shall call them the first, second and third basis, respectively.

Let $s=c_1(\xi)$ and let us list the classes of degree two. The first basis of the Legendrian characteristic classes consists of: $$c_2(A+\alpha_1)=a_2+\frac12s\, a_1\,, \ \ \
 -\frac12 c_1(\xi_1)c_1(A)=-\frac12 s\,a_1 \,, \ \ \
 \left({-\frac12}c_1(\xi_1)\right)^2=\frac14s^2 \,,$$ by Example \[exck\], since $c_1(\xi_1)=-2c_1(\cO(1))$ and $c_1(\alpha_1)=-c_1(\cO(1))$. The second basis is $$c_2(A)=a_2\,, \ \ \ s\, c_1(A)=s\, a_1\,, \ \ \ s^2\,$$ since here $\alpha_2=1$. The third basis is $$c_2(A+\alpha_3)=a_2+\frac13s\, a_1\,, \ \ \
 -\frac13 c_1(\xi_3)c_1(A)=-\frac13 s\,a_1 \,, \ \ \
 \left({-\frac13}c_1(\xi_3)\right)^2=\frac19s^2 \,,$$ since $c_1(\xi_3)=-3c_1(\cO(1))$ and $c_1(\alpha_3)=-c_1(\cO(1))$.

The Thom polynomial of the singularity $A_3$ is of the form $$3(a_2+\frac12s\, a_1)-\kappa\,\frac12 s\,a_1$$ with $\kappa\ge 0$, by the positivity in the first basis. The positivity in the second basis gives the condition $$\frac32-\frac12\kappa\ge 0$$ that is $\kappa\leq 3$. When we write the Thom polynomial in the third basis we see that the coefficient of $-\frac13 s\,a_1$ is equal to $\kappa-1$. It follows that $\kappa\geq 1$.

Recall that the only Legendrian Thom polynomial of degree 2 is the one of the singularity $A_3$, displayed in the first basis as: $${\cal T}^{A_3}=3\Q_2+t \Q_1\,,$$ i.e. with $\kappa=1$.

Another upper bound for the coefficients of the expansions of Legendrian Thom polynomials can be obtained by the method of Example \[hak\].

Legendrian vs. classical Thom polynomials {#vs}
=========================================

In this section, we shall use the basis from Case 1 in Example \[3cases\], i.e., we put $t=v_1=v_2$.

\[nonzero\] For a nonempty stable Legendre singularity class $\Sigma$ the Lagrangian Thom polynomial (i.e. ${\cal T}^\Sigma$ evaluated at $t=0$) is nonzero.

<span>**Proof.**</span> For a Legendre singularity class $\Sigma$ consider the associated singularity class of maps $f:M \to C$ from $n$-dimensional manifolds to curves (see @Ka2 [p.729] and @Kahab [p.123]). We denote the related Thom polynomial by ${\it Tp}^\Sigma$.

According to @Ka2 [pp. 708–709], we have $$\label{fact}
{\it Tp}^\Sigma ={\cal T}^\Sigma \cdot c_n(T^*M\otimes f^*TC)\,.$$ We know by @PW [Theorem 4] that the Thom polynomial ${\it Tp}^\Sigma$ is nonzero. Moreover, it follows from the proof <span>*(loc.cit.)*</span> that ${\it Tp}^\Sigma$, specialized with $f^*TC={\bf 1}$ i.e. $t=0$, is also nonzero. The assertion follows from the equation (\[fact\]).

Consequently, we get an improvement of Theorem \[main2\].

For a nonempty stable Legendre singularity class $\Sigma$ the (Legendrian) Thom polynomial ${\cal T}^\Sigma$ is nonzero.

\[change\] Suppose that we are in the situation of (\[fact\]). We shall use the expansions of Legendrian Thom polynomials in the basis for $v_1=v_2=t$, studied in the previous section. Set $\xi:=f^*TC$. If $A=T^*M\otimes \xi-TM$, having the Thom polynomial presented as in (\[alphaIj\]), we want to compute the $\Q$-functions of $$A\otimes \xi^{-\frac12} =(T^*M\otimes \xi-TM)^*\otimes
\xi^{-\frac12}=E^*-E\,,$$ where $E=TM\otimes \xi^{-\frac 12}$. Since for every strict partition $I$, $$\Q_I(E^*-E)=Q_I(E^*)\,,$$ where $Q_I$ denotes the classical <span>*Schur $Q$-function*</span> @Sch, we get the desired expression by changing any $\Q_I(A\otimes \xi^{-\frac12})$ to $Q_I(E^*)$.

The following procedure mimics the passing from the LHS to RHS in Eq. (\[fact\]), where ${\cal T}^\Sigma$ is given as a ${{\Z}[t]}$-combination of the $\Q_I(A\otimes \xi^{-\frac12})$'s, and $Tp^\Sigma$ is to be written as a ${\Z}$-combination of the Schur functions $S_J(T^*M-\xi^*)$ (for Schur functions in virtual bundles we refer to @L, and for Schur $Q$-functions to @P1).

\[proc\] We start from a ${{\Z}[t]}$-combination of the polynomials discussed in Remark \[change\]: $\Q_I(A\otimes
\xi^{-\frac12})=Q_I(T^*M\otimes \xi^{\frac12})$.

-   We write $Q_I(T^*M\otimes \xi^{\frac12})$ as a combination of the $S_J(T^*M\otimes \xi^{\frac12})$'s (here we use a combinatorial rule from @St decomposing Schur $Q$-functions into $S$-functions);

-   we expand any $S_J(T^*M\otimes \xi^{\frac12})$ as a combination of the $S_K(T^*M)t^i$'s (here we use a formula from @L0 for decomposition of the Schur polynomials of twisted bundles);

-   we multiply the obtained combination by $c_n(T^*M\otimes \xi)$ (here we use the factorization formula for Schur functions from @BR); we eventually get a combination of the $S_L(T^*M-\xi^*)$'s with the coefficients being polynomials in $n$.

\[hak\] We shall examine now how positivity of Schur function expansions of Thom polynomials for mappings ${\C}^n \to {\C}$, proved in @PW, implies some upper bounds on the coefficients of a Legendrian Thom polynomial in the expansion (\[alphaIj\]).

Let us consider a degree 2 cohomology class already considered in Section \[bounds\] of the form $$\label{QQ}
3\Q_2+\kappa t \Q_1\,,$$ where $\kappa$ is an integer.

We fix $n\ge 2$. We apply Procedure \[proc\] to (\[QQ\]): $$\aligned &(3\Q_2+\kappa t \Q_1)(T^*M\otimes \xi^{\frac 1 2})\cdot
c_n(T^*M\otimes \xi)= \cr &(6(S_2+S_{1^2})+2\kappa t
S_1)(T^*M\otimes \xi^{\frac 1 2})\cdot c_n(T^*M\otimes \xi)= \cr
&\bigl(6(S_2+S_{1^2})+2t(\kappa-n)S_1+t^2n(n-2\kappa)
\bigr)(T^*M)\cdot c_n(T^*M\otimes \xi) \cr
\endaligned$$ By the factorization formula, the last expression is equal to $$\label{schur}
6(S_{1^{n-1}3}+S_{1^{n-2}2^2})+(6n-\kappa)S_{1^n2}+(\frac32
n^2-\kappa \frac n2)S_{1^{n+2}}$$ evaluated at $T^*M-\xi^*$.

Suppose that for each $n\ge 2$ we have in (\[schur\]) a nonnegative combination of Schur functions, i.e. $$6n-\kappa \ge 0 \ \ \ \hbox{and} \ \ \ \frac32 n^2-\kappa \frac
n2\ge 0 \,.$$ This implies that $\kappa \le 6$.

Examples of Legendrian Thom polynomials {#examples}
=======================================

The Thom polynomials expanded in the basis $\{e_{I,a,b}\}$ (see Section \[family\]) are (the summands in bold represent the Lagrangian Thom polynomials):

$\bf A_2$: $\bf\Q_1$

$\bf A_3$: ${\bf 3\Q_2}+v_2\Q_1$

$\bf A_4$: ${\bf
12\Q_3+3\Q_{21}}+(3v_1+7v_2)\Q_2+(v_1v_2+v_2^2)\Q_1$

$\bf D_4$: $\bf\Q_{21}$.

The last equation means that the Thom polynomial of the singularity $D_4$ written in all bases from the family is equal to $\bf\Q_{21}$.

Similarly the Thom polynomial of the singularity $P_8$ in all bases from the family is equal to $\bf\Q_{321}$. Next we have

$\bf A_5$: ${\bf     60\Q_4+27\Q_{31}}+
      (6v_1+16v_2)\Q_{21}+
           (39v_1+47v_2)\Q_3+$

$ (6v_1^2+22v_1v_2+12v_2^2)\Q_2+
(2v_1^2v_2+3v_1v_2^2+v_2^3)\Q_1$

$\bf D_5$: ${\bf 6\Q_{31}}+4v_2\Q_{21}$,

and analogously to $D_5$,

$\bf P_9$: ${\bf 12\Q_{421}}+12v_2\Q_{321}$.

Let us specialize $v_1=v_2=t$. The Thom polynomials for singularities of codimensions lower or equal to six are listed in @MPW. Here are the Legendrian Thom polynomials for the consecutive singularities $A_8, D_8, E_8, X_9, P_9$ displayed in the notation from (\[alphaIj\]). Again, the summands in bold represent the Lagrangian Thom polynomials. These formulas were communicated to us by Kazarian.

$$\aligned
&{\bf A_8:} \hskip0.95\hsize\cr
&{\bf 18840\Q_{61}+20160\Q_{7}+3123\Q_{421}+5556\Q_{43}+15564\Q_{52}}+ \cr
&t(71856\Q_{6}+3999\Q_{321}+55672\Q_{51}+34780\Q_{42})+ \cr
&t^2(64524\Q_{41}+24616\Q_{32}+105496\Q_{5})+t^3(36048\Q_{31}+81544\Q_{4})+ \cr
&t^4(8876\Q_{21}+34936\Q_{3})+t^5 7848\Q_{2}+t^6720\Q_1\,; \cr
\endaligned$$ $$\aligned
&{\bf D_8:} \hskip0.95\hsize\cr
&{\bf 1080\Q_{61}+315\Q_{421}+468\Q_{43}+1332\Q_{52}}+ \cr
&t(2754\Q_{42}+2952\Q_{51}+405\Q_{321})+t^2(1802\Q_{32}+3162\Q_{41})+ \cr
&t^31618\Q_{31}+t^4344\Q_{21}\,; \cr
\endaligned$$ $$\aligned
&{\bf E_8 :} \hskip0.95\hsize\cr
&{\bf 93\Q_{421}+108\Q_{43}+204\Q_{52}+72\Q_{61}}+t(99\Q_{321}+216\Q_{51}+414\Q_{42})+ \cr
&t^2(246\Q_{41}+246\Q_{32})+t^3126\Q_{31}+t^424\Q_{21}\,; \cr
\endaligned$$ $$\aligned
&{\bf X_9:} \hskip0.95\hsize\cr
&{\bf 18\Q_{52}+27\Q_{43}}+t(42\Q_{42}+6\Q_{51})+t^2(21\Q_{32}+11\Q_{41})+t^36\Q_{31}+t^4\Q_{21}\,; \cr
\endaligned$$ $$\aligned
&{\bf P_9:} \hskip0.95\hsize\cr
&{\bf 12\Q_{421}}+t12\Q_{321}\,.\cr
\endaligned$$

The lower codimensional classes are displayed in @MPW, where the expression for ${\bf A_7}$ should read: $$\aligned
&{\bf A_7:} \hskip0.95\hsize\cr
&{\bf 135 \Q_{321}+ 1275 \Q_{42}+ 2004\Q_{51}+  2520 \Q_{6}}+ \cr
&t(7092\Q_{5}+ 4439 \Q_{41}+ 1713 \Q_{32})+t^2(3545\Q_{31}+ 7868\Q_{4})+ \cr
&t^3(1106 \Q_{21}+4292\Q_{3})+t^4 1148\Q_{2}+t^5 120\Q_{1}\,. \cr
\endaligned$$

Appendix: A positivity result for Lagrange Grassmann bundle
===========================================================

We shall give here a certain new positivity result which is a by-product of our investigations in Section \[pos\]. We follow the setup of that section.

We assume here that $X$ is homogeneous. For any automorphism of $X$ which is covered by a map of $\xi$ and $\alpha_i$'s, we obtain an automorphism of $LG(V,\omega)\to X$ transforming the fibers to fibers.

Inspired by the paper @An of Anderson, we consider some "large group" action. Assume that the line bundles: $$\alpha_i^*\otimes \alpha_j \ \ \hbox{for} \ i<j \ \ \ \hbox{and} \
\ \ \alpha_i^*\otimes\alpha_j^*\otimes\xi  \ \ \hbox{for all} \
i,j$$ are globally generated. Consider the group $\Gamma B^-$ of global sections of the bundle $B^- \to X$.

For each point $x\in X$, the restriction map from $\Gamma B^-$ to the fiber $B^-_x$ is surjective.

The group $B^-_x$ is generated by two subgroups:

-   $B_W^-$: the automorphisms of $W$ inducing automorphisms of $W^*\otimes\xi$ which preserve the flag $F^-_{\bullet}$,

-   $N^-$: the maps $W\to W^*\otimes \xi$ which belong to $${\Sym}^2(W^*)\otimes\xi \subset W^*\otimes W^*\otimes
    \xi=Hom(W,W^*\otimes \xi)\,.$$

We identify the elements of $B_W ^-$ with matrix $\{b_{ij}\}$, whose entries over $x\in X$ belong to the fiber $$Hom(\alpha_i,\alpha_j)_x=(\alpha_i^*\otimes\alpha_j)_x$$ for $i\le j$, or are zero for $i>j$. The group bundle $B_W^-$ is generated by the global sections. Similarly, the group bundle $N^-$ is a quotient bundle of $$Hom(W,W^*\otimes\xi)\cong W^*\otimes W^*\otimes\xi$$ isomorphic to ${\Sym}^2(W^*)\otimes\xi$; therefore it is globally generated. This proves the lemma.

For a strict partition $J\subset \rho$, let us denote by $\Omega_J^-$ the space of the stratum $\Omega_J(F^-_\bullet,\xi) \to X$.

From the lemma, it follows

The group $\Gamma B^-$ acts on $LG(V,\omega)$, preserving fibers, and in each fiber its orbits coincide with the strata of the stratification $\{\Omega_J^- \}$.

Assume that $X$ is homogeneous with respect to a linear group $G$ and the transformation group acts on the line bundles $\xi$ and $\alpha_i$. For instance,  $X$ is a product of projective spaces, and each line bundle involved is a tensor product of the $\cO(j)$'s.

We define $H$ to be the subgroup of ${\rm Aut}(LG(V,\omega))$ generated by $\Gamma B^-$ and $G$ (it is the semidirect product of these groups). The variety $H$ is irreducible.

From the above, it follows

\[H\] The group $H$ acts transitively on each stratum $\Omega^-_J$: $G$ transports any fiber to any other fiber, and $\Gamma B^-$ acts transitively inside the fibers.

We now state the following positivity result.

\[trans\] The intersection of any nonnegative cycle on $LG(V,\omega)$ with any $\overline{Z^+_{I\lambda}}$ is represented by a nonnegative cycle.

Let $Y$ be a nonegative cycle on $LG(V,\omega)$. We shall find a translate $h\cdot Y$ by an element $h\in H$ which is transverse to any $Z^+_{I\lambda}$.

By Lemma \[H\], we can use the Bertini-Kleiman transversality theorem @Kl for $H$ acting on $\Omega^-_J$. By this theorem, there exists an open, dense subset $U_{JI\lambda}\subset H$ with the following property: if $h\in U_{JI\lambda}$ then $h\cdot (Y\cap \Omega^-_J)$ is transverse to $Z^+_{I\lambda}\cap \Omega^-_J$. Set $$U_J:=\bigcap_{I,\lambda} U_{JI\lambda}.$$ We get an open, dense subset $U_J\subset H$ with the following property: if $h\in U_J$, then $h\cdot (Y\cap \Omega^-_J)$ is transverse to any $Z^+_{I\lambda}\cap \Omega^-_J$ (transversality in $\Omega^-_J$). Since $\Omega^-_J$ is transverse to all strata $Z^+_{I\lambda}$ of $LG(V,\omega)$, this transversality holds also in the whole ambient space. Set $$U:=\bigcap_{{\rm strict} \ J \subset \rho} U_J.$$ Pick $h\in U$. Then $Y'=h\cdot Y$ is transverse to all the $Z^+_{I\lambda}$'s.

The theorem now follows since by @Fu [Sect. 8.2] the intersection $$Y' \cdot [\overline{Z^+_{I\lambda}}]$$ is represented by a nonnegative cycle.

<span>**Acknowgledments.**</span> We thank Maxim Kazarian for stimulating comments on the first version of the present paper, and sending us his notes @Ka3.

The second author thanks the Tata Institute of Mathematical Sciences in Mumbai and Institute of Mathematical Sciences in Chennai for hospitality.

The third author thanks the Institute of Mathematics of Polish Academy of Sciences for hospitality.

<span>99</span>

D. Anderson, *Positivity in the cohomology of flag bundles (after Graham),* math.AG/07110983.

V. I. Arnold, S. M. Gusein-Zade, A. N. Varchenko, *Singularities of Differentiable Maps,* Vol. I, Monographs in Mathematics <span>**82**</span>, Birkhäuser, Basel 1985.

A. Berele, A. Regev, *Hook diagrams with applications to combinatorics and to representation theory of Lie superalgebras,* Adv. Math. <span>**64**</span> (1987), 118–175.

L. M. Feher, A. Nemethi, R. Rimanyi *Equivariant classes of matrix matroid varieties* arXiv:0812.4871

L. M. Fehér, R. Rimányi, *Thom series of contact singularities* arXiv:0809.2925

W. Fulton, *Intersection Theory,* Springer, Berlin 1984.

W. Fulton, R. Lazarsfeld *Positive polynomials for ample vector bundles*, Ann. Math. 118 (1983), 35-60.

P. A. Griffiths *Hermitian differential geometry, Chern classes, and positive vector bundles*, in: Global Analysis, D. Spencer and S. Iyanaga (eds.), Princeton Math. Series No.29, Tokyo (1969), 185–251.

M. É. Kazarian, *Thom polynomials for Lagrange, Legendre, and critical point function singularities,* Proc. London Math. Soc. (3) <span>**86**</span> (2003), 707–734.

M. É. Kazarian, *Habilitation Thesis,* Moscow, 2003 (in Russian).

M. É. Kazarian, *On the positivity of Schur expansions of Thom polynomials (after M. Mikosz, P. Pragacz and A. Weber)*, private communication (03.04.2009).

S. Kleiman, *The transversality of general translate,* Compositio Math. <span>**28**</span> (1974), 287–297.

A. Kresch, H. Tamvakis, *Double Schubert polynomials and degeneracy loci for classical groups,* Ann. Inst. Fourier <span>**52**</span> (2002), 1681–1727.

A. Lascoux, *Classes de Chern d'un produit tensoriel,* C. R. Acad. Sci. Paris <span>**286**</span> (1978), 385–387.

A. Lascoux, *Symmetric functions and combinatorial operators on polynomials,* CBMS/AMS Lectures Notes <span>**99**</span>, Providence (2003).

A. Lascoux, P. Pragacz, *Operator calculus for $\Q$-polynomials and Schubert polynomials,* Adv. Math. <span>**140**</span> (1998), 1–43.

R. Lazarsfeld, *Positivity in algebraic geometry I-II,* Springer, 2004

M. Mikosz, P. Pragacz, A. Weber, *Positivity of Thom polynomials II; the Lagrange singularities,* Fund. Math. <span>**202**</span> (2009), 65–79.

P. Pragacz, *Algebro-geometric applications of Schur S- and Q-polynomials,* in "Topics in Invariant Theory", Séminaire d'Algèbre Dubreil-Malliavin 1989-1990 (M.-P. Malliavin ed.), Springer Lect. Notes in Math. <span>**1478**</span> (1991), 130–191.

P. Pragacz, J. Ratajski, *Formulas for Lagrangian and orthogonal degeneracy loci; $\Q$-polynomial approach,* Compositio Math. <span>**107**</span> (1997), 11–87.

P. Pragacz, A. Weber, *Positivity of Schur function expansions of Thom polynomials,* Fund. Math. <span>**195**</span> (2007), 85–95.

I. Schur, *Uber die Darstellung der symmetrischen und der alternierenden Gruppe durch gebrochene lineare Substitutionen,* J. reine angew. Math. <span>**139**</span> (1911), 155–250.

J. Stembridge, *Shifted tableaux and the projective representations of symmetric groups,* Adv. Math. <span>**83**</span> (1989), 87–134.

[^1]: Research supported by the KBN grant NN201 387034.

[^2]: Research supported by the MNiSzW grant N N201 608040.

[^3]: Research supported by the KBN grant NN201 387034.

[^4]: In this paper, whenever we speak about the classes of algebraic cycles, we always mean their <span>*Poincaré dual classes*</span> in cohomology.

{'source': 'arXiv_out/1005'}