We give the Thom polynomials for the singularities I_2,2 and A_3 associated with maps (C^n,0) -> (C^{n+k},0) with parameter k>=0. We give the Schur function expansions of these Thom polynomials. Moreover, for the singularities A_i (with any parameter k >= 0) we analyze the ``first approximation'' F^(i) to the Thom polynomial. Our computations combine the characterization of Thom polynomials via the ``method of restriction equations'' of Rimanyi et al. with the techniques of (super) Schur functions.
Combining the "method of restriction equations" of Rimányi et al. with the techniques of symmetric functions, we establish the Schur function expansions of the Thom polynomials for the Morin singularities $A_3: ({\bf C}^{\bullet},0)\to ({\bf C}^{\bullet + k},0)$ for any nonnegative integer $k$.
We give the Thom polynomials for the singularities $I_{2,2}$ associated with maps $({\bf C}^{\bullet},0) \to ({\bf C}^{\bullet+k},0)$ with parameter $k\ge 0$. Our computations combine the characterization of Thom polynomials via the ``method of restriction equations'' of Rimanyi et al. with the techniques of Schur functions.
We develop algebro-combinatorial tools for computing the Thom polynomials for the Morin singularities $A_i(-)$ ($i\ge 0$). The main tool is the function $F^{(i)}_r$ defined as a combination of Schur functions with certain numerical specializations of Schur polynomials as their coefficients. We show that the Thom polynomial ${\cal T}^{A_i}$ for the singularity $A_i$ (any $i$) associated with maps $({\bf C}^{\bullet},0) \to ({\bf C}^{\bullet+k},0)$, with any parameter $k\ge 0$, under the assumption that $Σ^j=\emptyset$ for all $j\ge 2$, is given by $F^{(i)}_{k+1}$. Equivalently, this says that "…
Combining the Kazarian approach to Thom polynomials via classifying spaces of singularities with the Fulton-Lazarsfeld theory of numerical positivity for ample vector bundles, we show that the coefficients of various Schur function expansions of the Thom polynomials of stable and unstable singularities are nonnegative.
We generalize the notion of Thom polynomials from singularities of maps between two complex manifolds to invariant cones in representations, and collections of vector bundles. We prove that the generalized Thom polynomials, expanded in the products of Schur functions of the bundles, have nonnegative coefficients. For classical Thom polynomials associated with maps of complex manifolds, this gives an extension of our former result for stable singularities to nonnecessary stable ones. We also discuss some related aspects of Thom polynomials, which makes the article expository to some extent.
We discuss computations of the Thom polynomials of singularity classes of maps in the basis of Schur functions. We survey the known results about the bound on the length and a rectangle containment for partitions appearing in such Schur function expansions. We describe several recursions for the coefficients. For some singularities, we give old and new computations of their Thom polynomials.
We use Bott-Samelson resolutions of Schubert varieties in Grassmannians along with equiariant localization techniques to show that the factorial Schur functions and the factorial Grothendieck polynomials represent Schubert classes in equivariant cohomology and equivariant K-theory respectively.
We conjecture an evaluation of three-partition cyclic Hodge integrals in terms of loop Schur functions. Our formula implies the orbifold Gromov-Witten/Donaldson-Thomas correspondence for toric Calabi-Yau threefolds with transverse type A singularities. We prove the formula in the case where one of the partitions is empty, and thus establish the orbifold Gromov- Witten/Donaldson-Thomas correspondence for local toric surfaces with transverse type A singularities.
In this paper we show examples of computations achieved using the formulas of our previous paper, which express the push-forwards in equivariant cohomology as iterated residues at infinity. We consider the equivariant cohomology of the complex Lagrangian Grassmannian $LG(n)$ and the orthogonal Grassmannian with the action of the maximal torus. In particular, we show how to obtain some well-known results due to P. Pragacz and J. Ratajski on integrals of Schur polynomials over the Lagrangian Grassmannian $LG(n)$ and the orthogonal Grassmannian $OG(n)$.
In this paper we derive closed formulas for the Thom polynomials of two families of second order Thom-Boardman singularities Σ^{i,j}. The formulas are given as linear combinations of Schur polynomials, and all coefficients are nonnegative.
The polynomial ring $B$ in infinitely many indeterminates $(x_1,x_2,\ldots)$, with rational coefficients, has a vector space basis of Schur polynomials, parametrized by partitions. The goal of this note is to provide an explanation of the following fact. If $\blamb$ is a partition of weight $d$, then the partial derivative of order $d$ with respect to $x_1$ of the Schur polynomial $S_\blamb(\bfx)$ coincides with the Plücker degree of the Schubert variety of dimension $d$ associated to $\blamb$, equal to the number of standard Young tableaux of shape $\blamb$. The generating function encoding a…
Thom polynomial describes the cohomology class Poincaré dual to the locus of particular singularity of a generic holomorphic map. In this paper we derive a closed formula for the generating function of its coefficients. The method is based on a new construction of the embedding space of punctual Hibert scheme that we call the non-associative Hilbert scheme. The efficiency of the method is demonstrated on explicit computation of a number of Thom polynomials, including those associated with singularities of Thom-Boardman types~$Σ^{i,j}$, $Σ^{2,1,1}$, $Σ^{2,2,1}$, and~$Σ^{2,2,2}$.
We prove that the stratification of the asymptotic set associated to a polynomial mapping $F: \mathbb{C}^n \to \mathbb{C}^n$ defined by "la méthode des façons" (arXiv:1407.5329) is a Thom-Mather stratification. Nous prouvons que la stratification de lensemble asymptotique dune application polynomial mapping $F: \mathbb{C}^n \to \mathbb{C}^n$ définie par "la méthode des façons" (arXiv:1407.5329) est une stratification de Thom-Mather
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 pecialization, other specializations of the parameter lead to upper bounds for the coefficients of the given basis. One g…
Thom (residual) polynomials in characteristic classes are used in the analysis of geometry of functional spaces. They serve as a tool in description of classes Poincaré dual to subvarieties of functions of prescribed types. We give explicit universal expressions for residual polynomials in spaces of functions on complex curves having isolated singularities and multisingularities, in terms of few characteristic classes. These expressions lead to a partial explicit description of a stratification of Hurwitz spaces.
Let r be an orbit of the quiver representation of type A_n (equioriented case). In this paper we study the Poincare dual of the closure of r (a.c.a. Thom polynomial/degeneracy loci formula) in equivariant cohomology. Using general Thom polynomial theory we prove the component formula and its stable version of [Knutson-Miller-Shimozono] as well as the positivity of the quiver coefficients of [Buch-Fulton]. We also show how the component formula follows from Grobner degeneration easily. In relation with the K-theory counterpart of the formula we give a new description of KMS factorizations based…
This survey paper is based on my IMPANGA lectures given in the Banach Center, Warsaw in January 2011. We study the moduli of holomorphic map germs from the complex line into complex compact manifolds with applications in global singularity theory and the theory of hyperbolic algebraic varieties.
The Green-Griffiths-Lang conjecture says that for every complex projective algebraic variety $X$ of general type there exists a proper algebraic subvariety of $X$ containing all nonconstant entire holomorphic curves $f:\mathbb{C} \to X$. We construct a compactification of the invariant jet differentials bundle over complex manifolds motivated by an algebraic model of Morin singularities and we develop an iterated residue formula using equivariant localisation for tautological integrals over it. We show that the polynomial GGL conjecture for a generic projective hypersurface of degree $\mathrm{…
We show that Lapointe-Lascoux-Morse k-Schur functions (at t=1) and Fomin-Gelfand-Postnikov quantum Schubert polynomials can be obtained from each other by a rational substitution. This is based upon Kostant's solution of the Toda lattice and Peterson's work on quantum Schubert calculus.
We give formulas for the products of classes of Schubert varieties in the quantum cohomology rings of Grassmannians, in terms of the combinatorics of partitions and tableaux.
We show that the k-double Schur functions defined by the authors, and the quantum double Schubert polynomials studied by Kirillov and Maeno and by Ciocan-Fontanine and Fulton, can be obtained from each other by an explicit rational substitution. The main new ingredient is an explicit computation of Kostant's solution to the Toda lattice in terms of equivariant Schubert classes.
The main purpose of this paper is to show that the multiplication of a Schubert polynomial of finite type $A$ by a Schur function, which we refer to as Schubert vs. Schur problem, can be understood from the multiplication in the space of dual $k$-Schur functions. Using earlier work by the second author, we encode both problems by means of quasisymmetric functions. On the Schubert vs. Schur side, we study the poset given by the Bergeron-Sottile's $r$-Bruhat order, along with certain operators associated to this order. On the other side, we connect this poset with a graph on dual $k$-Schur funct…
We show that normalized Schur polynomials are strongly log-concave. As a consequence, we obtain Okounkov's log-concavity conjecture for Littlewood-Richardson coefficients in the special case of Kostka numbers.
We prove a version of the Hodge-Riemann bilinear relations for Schur polynomials of Kähler forms and for Schur polynomials of positive forms on a complex vector space.
We describe the positivity of Thom polynomials of singularities of maps, Lagrangian Thom polynomials and Legendrian Thom polynomials. We show that these positivities come from Schubert calculus.
Thom polynomials of singularities express the cohomology classes dual to singularity submanifolds. A stabilization property of Thom polynomials is known classically, namely that trivial unfolding does not change the Thom polynomial. In this paper we show that this is a special case of a product rule. The product rule enables us to calculate the Thom polynomials of singularities if we know the Thom polynomial of the product singularity. As a special case of the product rule we define a formal power series (Thom series, Ts_Q) associated with a commutative, complex, finite dimensional local algeb…
Motivated by the famous Skolem-Mahler-Lech theorem we initiate in this paper the study of a natural class of determinantal varieties which we call {\em Vandermonde varieties}. They are closely related to the varieties consisting of all linear recurrence relations of a given order possessing a non-trivial solution vanishing at a given set of integers. In the regular case, i.e., when the dimension of a Vandermonde variety is the expected one, we present its free resolution, obtain its degree and the Hilbert series. Some interesting relations among Schur polynomials are derived. Many open problem…
We make a broad conjecture about the $k$-Schur positivity of Catalan functions, symmetric functions which generalize the (parabolic) Hall-Littlewood polynomials. We resolve the conjecture with positive combinatorial formulas in cases which address the $k$-Schur expansion of (1) Hall-Littlewood polynomials, proving the $q=0$ case of the strengthened Macdonald positivity conjecture of Lapointe, Lascoux, and Morse; (2) the product of a Schur function and a $k$-Schur function when the indexing partitions concatenate to a partition, describing a class of Gromov-Witten invariants for the quantum coh…
The Thom-Boardman symbol was first introduced by Thom in 1956 to classify singularities of differentiable maps. It was later generalized by Boardman to a more general setting. Although the Thom-Boardman symbol is realized by a sequence of non-increasing, nonnegative integers, to compute those numbers is, in general, extremely difficult. In the case of polynomial multiplication maps, Robert Varley conjectured that computing the Thom-Boardman symbol for polynomial multiplication reduces to computing the successive quotients and remainders for the Euclidean algorithm applied to the degrees of the…
Grothendieck polynomials were introduced by Lascoux and Schützenberger, and they play an important role in K-theoretic Schubert calculus. In this paper, we give a new definition of double stable Grothendieck polynomials based on an iterated residue operation. We illustrate the power of our definition by calculating the Grothendieck expansion of K-theoretic Thom polynomials of $A_2$ singularities. We present the expansion in two versions: one displays its expected stabilization, while the other displays its expected finiteness property.
We combine recently developed intersection theory for non-reductive geometric invariant theoretic quotients with equivariant localisation to prove a formula for Thom polynomials of Morin singularities. These formulas use only toric combinatorics of certain partition polyhedra, and our new approach circumvents the poorly understood Borel geometry of existing models.
We provide a formula for $F$-thresholds of a Thom-Sebastiani type polynomial over a perfect field of prime characteristic. This result extends the formula for the $F$-pure threshold of a diagonal hypersurface. We also compute the first test ideal of Thom-Sebastiani type polynomials. Finally, we apply our result to find hypersurfaces where the log canonical thresholds equals the $F$-pure thresholds for infinitely many prime numbers.
Confirming a conjecture of Mark Shimozono, we identify polynomial representatives for the Schubert classes of the affine Grassmannian as the k-Schur functions in homology and affine Schur functions in cohomology. Our results rely on Kostant and Kumar's nilHecke ring, work of Peterson on the homology of based loops on a compact group, and earlier work of ours on non-commutative k-Schur functions.
Using matrix model, Mironov and Morozov recently gave a formula which represents Kontsevich-Witten tau-function as a linear expansion of Schur Q-polynomials. In this paper, we will show directly that the Q-polynomial expansion in this formula satisfies the Virasoro constraints, and consequently obtain a proof of this formula without using matrix model. We also give a proof for Alexandrov's conjecture that Kontsevich-Witten tau-function is a hypergeometric tau-function of the BKP hierarchy after re-scaling.
We show that Thom polynomials of Lagrangian singularities have nonnegative coefficients in the basis consisting of Q-functions. The main tool in the proof is nonnegativity of cone classes for globally generated bundles.
Thom polynomials measure how global topology forces singularities. The power of Thom polynomials predestine them to be a useful tool not only in differential topology, but also in algebraic geometry (enumerative geometry, moduli spaces) and algebraic combinatorics. The main obstacle of their widespread application is that only a few, sporadic Thom polynomials have been known explicitly. In this paper we develop a general method for calculating Thom polynomials of contact singularities. Along the way, relations with the equivariant geometry of (punctual, local) Hilbert schemes, and with iterate…
$F$-polynomials are integer coefficient polynomials encoding the mutations of cluster variables inside a cluster algebra. In this article, we study the $F$-polynomials associated with the action of Donaldson-Thomas transformations on cluster variables. For acyclic quivers, quivers of surface types, and quivers associated with triples of flags, we give explicit descriptions of their Donaldson-Thomas $F$-polynomials in terms of generating functions for ideals inside a labeled poset. We also describe the combinatorial procedure needed to modify these labeled posets to obtain Donaldson-Thomas $F$-…
In this paper we propose a systematic study of Thom polynomials for group actions defined by M. Kazarian. On one hand we show that Thom polynomials are first obstructions for the existence of a section and are connected to several problems of topology, global geometry and enumerative algebraic geometry. On the other hand we describe a way to calculate Thom polynomials: the method of restriction equations. It turned out that though the idea is quite simple the method is very powerful. We reproduced and improved earlier result in several directions (singularities, Schubert calculus, quivers). Ho…
We give closed-form formulas for the fundamental classes of degeneracy loci associated with vector bundle maps given locally by (not necessary square) matrices which are symmetric (resp. skew-symmetric) w.r.t. the main diagonal. Our description uses essentially Schur Q-polynomials of a bundle, and is based on a certain push-forward formula for these polynomials in a Grassmann bundle.
A set of functions is introduced which generalizes the famous Schur polynomials and their connection to Grasmannian manifolds. These functions are shown to provide a new method of constructing solutions to the KP hierarchy of nonlinear partial differential equations. Specifically, just as the Schur polynomials are used to expand tau-functions as a sum, it is shown that it is natural to expand a quotient of tau-functions in terms of these generalized Schur functions. The coefficients in this expansion are found to be constrained by the Plücker relations of a grassmannian.
A set of functions is defined which is indexed by a positive integer $n$ and partitions of integers. The case $n=1$ reproduces the standard Schur polynomials. These functions are seen to arise naturally as a determinant of an action on the frame bundle of an infinite grassmannian. This fact is well known in the case of the Schur polynomials ($n=1$) and has been used to decompose the $τ$-functions of the KP hierarchy as a sum. In the same way, the new functions introduced here ($n>1$) are used to expand quotients of $τ$-functions as a sum with Plucker coordinates as coefficients.
