35 pages, part of the author's Ph. D. thesis; v2 includes streamlined exposition and modified conventions, and excludes tables of formulas; v3 includes minor expositional changes and a table of G_2 Schubert polynomials based on the polynomials of Billey and Haiman. To appear in Trans. Amer. Math. Soc
We define degeneracy loci for vector bundles with structure group $G_2$, and give formulas for their cohomology (or Chow) classes in terms of the Chern classes of the bundles involved. When the base is a point, such formulas are part of the theory for rational homogeneous spaces developed by Bernstein-Gelfand-Gelfand and Demazure. This has been extended to the setting of general algebraic geometry by Giambelli-Thom-Porteous, Kempf-Laksov, and Fulton in classical types; the present work carries out the analogous program in type $G_2$. We include explicit descriptions of the $G_2$ flag variety and its Schubert varieties, and several computations, including one that answers a question of W. Graham.
In appendices, we collect some facts from representation theory and compute the Chow rings of quadric bundles, clarifying a previous computation of Edidin and Graham.
Let X = G/P be a cominuscule rational homogeneous variety. (Equivalently, X admits the structure of a compact Hermitian symmetric space.) I give a uniform description (that is, independent of type) of the irreducible components of the singular locus of a Schubert variety Y in X in terms of representation theoretic data. The result is based on a recent characterization of the Schubert varieties by an non-negative integer A and a marked Dynkin diagram. Corollaries include: (1) the variety is smooth if and only if A=0; (2) if G of Type ADE, then the singular locus occurs in codimension at least t…
Given a generic map between flagged vector bundles on a Cohen-Macaulay variety, we construct maximal Cohen-Macaulay modules with linear resolutions supported on the Schubert-type degeneracy loci. The linear resolution is provided by the Schubert complex, which is the main tool introduced and studied in this paper. These complexes extend the Schubert functors of Kraśkiewicz and Pragacz, and were motivated by the fact that Schur complexes resolve maximal Cohen-Macaulay modules supported on determinantal varieties. The resulting formula in K-theory provides a "linear approximation" of the structu…
We obtain an algorithm computing the Chern-Schwartz-MacPherson (CSM) classes of Schubert cells in a generalized flag manifold G/B. In analogy to how the ordinary divided difference operators act on Schubert classes, each CSM class of a Schubert class is obtained by applying certain Demazure-Lusztig type operators to the CSM class of a cell of dimension one less. These operators define a representation of the Weyl group on the homology of G/B. By functoriality, we deduce algorithmic expressions for CSM classes of Schubert cells in any flag manifold G/P. We conjecture that the CSM classes of Sch…
This paper studies the singularities of affine Schubert varieties in the affine Grassmannian (of type $\mathrm{A}^{(1)}_\ell$). For two classes of affine Schubert varieties, we determine the singular loci; and for one class, we also determine explicitly the tangent spaces at singular points. For a general affine Schubert variety, we give partial results on the singular locus.
We describe a closed immersion from each representation space of a type A quiver with bipartite (i.e., alternating) orientation to a certain opposite Schubert cell of a partial flag variety. This "bipartite Zelevinsky map" restricts to an isomorphism from each orbit closure to a Schubert variety intersected with the above-mentioned opposite Schubert cell. For type A quivers of arbitrary orientation, we give the same result up to some factors of general linear groups. These identifications allow us to recover results of Bobinski and Zwara; namely we see that orbit closures of type A quivers are…
We show that the Chern-Schwartz-MacPherson class of a Schubert cell in a Grassmannian is represented by a reduced and irreducible subvariety in each degree. This gives an affirmative answer to a positivity conjecture of Aluffi and Mihalcea.
We develop Pieri type as well as Murnaghan--Nakayama type formulas for equivariant Chern--Schwartz--MacPherson classes of Schubert cells in the classical flag variety. These formulas include as special cases many previously known multiplication formulas for Chern--Schwartz--MacPherson classes or Schubert classes. We apply the equivariant Murnaghan--Nakayama formula to the enumeration of rim hook tableaux.
We discuss a relationship between Chern-Schwartz-MacPherson classes for Schubert cells in flag manifolds, Fomin-Kirillov algebra, and the generalized nil-Hecke algebra. We show that nonnegativity conjecture in Fomin-Kirillov algebra implies the nonnegativity of the Chern-Schwartz-MacPherson classes for Schubert cells in flag manifolds for type A. Motivated by this connection, we also prove that the (equivariant) Chern-Schwartz-MacPherson classes for Schubert cells in flag manifolds are certain summations of the structure constants of the equivariant cohomology of the Bott-Samelson varieties. W…
In our previous work arXiv:1305.3543, we employed the approach to Schubert polynomials by Fomin, Stanley, and Kirillov to obtain simple, uniform proofs that the double Schubert polynomials of Lascoux and Schutzenberger and Ikeda, Mihalcea, and Naruse represent degeneracy loci for the classical groups in the sense of Fulton. Using this as our starting point, and purely combinatorial methods, we obtain a new proof of the general formulas of arXiv:0908.3628, which represent the degeneracy loci coming from any isotropic partial flag variety. Along the way, we also find several new formulas and elu…
We consider the loci of invertible linear maps $f : \mathbb{C}^n \to {(\mathbb{C}^n)}^*$ together with pairs of flags $(E_\bullet, F_\bullet)$ in $\mathbb{C}^n$ such that the various restrictions $f : F_j \to E_i^*$ have specified ranks. Identifying an invertible linear map with its graph viewed as a point in a Grassmannian, we show that the closures of these loci have cohomology classes represented by the back-stable Schubert polynomials of Lam, Lee, and Shimozono. As a special case, we recover the result of Knutson, Lam, and Speyer that Stanley symmetric functions represent the classes of gr…
A formula for the structure constants of the multiplication of Schubert classes is obtained in arXiv:1909.05283. In this note, we prove analogous formulae for the Chern--Schwartz--MacPherson (CSM) classes and Segre--Schwartz--MacPherson (SSM) classes of Schubert cells in the flag variety. By the equivalence between the CSM classes and the stable basis elements for the cotangent bundle of the flag variety, a formula for the structure constants for the latter is also deduced.
Beijing Institute of Mathematical Sciences and Applications（北京数学与应用数学研究所）；Massachusetts Institute of Technology（麻省理工学院）；National Research University Higher School of Economics（国立高等经济大学）；Yau Mathematical Sciences Center, Tsinghua University（清华大学丘成桐数学科学中心）
Using raising operators and geometric arguments, we establish formulas for the K-theory classes of degeneracy loci in classical types. We also find new determinantal and Pfaffian expressions for classical cases considered by Giambelli: the loci where a generic matrix drops rank, and where a generic symmetric or skew-symmetric matrix drops rank. In an appendix, we construct a K-theoretic Euler class for even-rank vector bundles with quadratic form, refining the Chow-theoretic class introduced by Edidin and Graham. We also establish a relation between top Chern classes of maximal isotropic subbu…
In a classical-type flag variety, we consider a Schubert variety associated to a vexillary (signed) permutation, and establish a combinatorial formula for the Hilbert-Samuel multiplicity of a point on such a Schubert variety. The formula is expressed in terms of excited Young diagrams, and extends results for Grassmannians due to Krattenthaler, Lakshmibai-Raghavan-Sankaran, and for the maximal isotropic (symplectic and orthogonal) Grassmannians to Ghorpade-Raghavan, Raghavan-Upadhyay, Kreiman, and Ikeda-Naruse. We also provide a new proof of a theorem of Li-Yong in the type A vexillary case. T…
In this survey paper we review recent advances in the calculus of Chern-Schwartz-MacPherson, motivic Chern, and elliptic classes of classical Schubert varieties. These three theories are one-parameter ($\hbar$) deformations of the notion of fundamental class in their respective extraordinary cohomology theories. Examining these three classes in conjunction is justified by their relation to Okounkov's stable envelope notion. We review formulas for the $\hbar$-deformed classes originating from Tarasov-Varchenko weight functions, as well as their orthogonality relations. As a consequence, explici…
We introduce analogs of the Kempf--Laksov desingularizations of Schubert bundles in (non-necessary Lagrangian) symplectic Grassmann bundles. In this setting, these are (possibly singular) irreducible flag bundles that are birational to Schubert bundles, and can be described as chains of zero-loci of regular sections in projectivized bundles. The orthogonal analogs are also presented. We immediatly derive universal Gysin formulas for isotropic Schubert bundles from these very constructions.
The Chern-Schwartz-MacPherson class (CSM) and the Segre-Schwartz-MacPherson class (SSM) are deformations of the fundamental class of an algebraic variety. They encode finer enumerative invariants of the variety than its fundamental class. In this paper we offer three contributions to the theory of equivariant CSM/SSM classes. First, we prove an interpolation characterization for CSM classes of certain representations. This method---inspired by recent works of Maulik-Okounkov and Gorbounov-Rimanyi-Tarasov-Varchenko---does not require a resolution of singularities and often produces explicit (no…
We study a K-theoretic characteristic class of singular varieties, namely the equivariant motivic Chern class. We prove that the motivic Chern class is characterized by an axiom system inspired by that of "K-theoretic stable envelopes," recently defined by Okounkov and studied in relation with quantum group actions on the K-theory algebra of moduli spaces. We also give explicit formulas for the equivariant motivic Chern classes of Schubert cells and matrix Schubert cells. Lastly, we calculate the equivariant motivic Chern class of the orbits of the A2 quiver representation, which yields formul…
Enriched versions of type A Schubert polynomials are constructed with coefficients in a polynomial ring in variables $c_1, c_2, \ldots$. Specializing these variables to $0$ recovers the double Schubert polynomials of Lascoux and Schützenberger; specializing them to certain power series recovers the back-stable double Schubert polynomials of Lam, Lee, and Shimozono; specializing them to Schur Q-polynomials relates them to the type C double Schubert polynomials of Ikeda, Mihalcea, and Naruse. Many formulas for classical Schubert polynomials generalize to this setting. They give, and are characte…
We give two formulas for the Chern-Schwartz-MacPherson class of symmetric and skew-symmetric degeneracy loci. We apply them in enumerative geometry, explore their algebraic combinatorics, and discuss K theory generalizations.
We define a notion of vexillary signed permutation in types B, C, and D, corresponding to natural degeneracy loci for vector bundles with symmetries of those types. We show that the classes of these loci are given by explicit Pfaffian formulas. The Grassmannian formulas of Kazarian are important special cases, and the corresponding double Schubert polynomials of Ikeda, Mihalcea, and Naruse are shown to be equal to these Pfaffians.
In this paper, we prove a generalization of Kempf-Laksov formula for the degeneracy loci classes in even infinitesimal cohomology theories of the Grassmannian bundle and the Lagrangian Grassmannian bundle.
Motivic Chern and Hirzebruch classes are polynomials with K-theory and homology classes as coefficients, which specialize to Chern-Schwartz-MacPherson classes, K-theory classes, and Cappell-Shaneson L-classes. We provide formulas to compute the motivic Chern and Hirzebruch classes of Grassmannian and vexillary degeneracy loci. We apply our results to obtain the Hirzebruch $χ_y$-genus of classical and one-pointed Brill-Noether varieties, and therefore their topological Euler characteristic, holomorphic Euler characteristic, and signature.
Paolo Aluffi showed that the Chern--Schwartz--MacPherson class of the complement of a free arrangement agrees with the total Chern class of the sheaf of logarithmic derivations along the arrangement. We describe the defect of equality of the two classes for locally tame arrangements with isolated non-free singular loci.
Two decades ago, as part of their work of generic vanishing theorems, Green-Lazarsfeld showed that over a compact Kahler manifold $X$, the cohomology jump loci in the $Pic^τ(X)$ are all translates of subtori. In this paper, we generalize this result to higher dimensional vector bundles. It is showed by Nadel that locally the moduli space of vector bundles with vanishing chern classes is canonically isomorphic to a quadratic cone in the Zariski tangent space of a point. We prove that under the isomorphism, the cohomology jump loci are defined by linear equations.
We determine the cycle classes of effective divisors in the compactified Hurwitz spaces of curves of genus g with a linear system of degree d that extend the Maroni divisors on the open Hurwitz space. Our approach uses Chern classes associated to a global-to-local evaluation map of a vector bundle over a generic $P^1$-bundle over the Hurwitz space.
In previous work, we employed a geometric method of Kazarian to prove Pfaffian formulas for a certain class of degeneracy loci in types B, C, and D. Here we refine that approach to obtain formulas for more general loci, including those coming from all isotropic Grassmannians. In these cases, the formulas recover the remarkable theta- and eta-polynomials of Buch, Kresch, Tamvakis, and Wilson. The streamlined geometric approch yields simple and direct proofs, which proceed in parallel for all four classical types. In an appendix, we develop some foundational algebra and prove several Pfaffian id…
Following some work of Aluffi-Mihalcea-Schürmann-Su for the CSM classes of Schubert cells and some elaborate computer calculations by R. Rimanyi and L. Mihalcea, I conjecture that the CSM classes of the Richardson cells expressed in the Schubert basis have nonnegative coefficients. This conjecture was principally motivated by a new product $\square$ coming from the Segre classes in the cohomology of flag varieties (such that the associated Gr of this product is the standard cup product) and the conjecture that the structure constants of this new product $\square$ in the standard Schubert basis…
We prove a determinantal formula and Pfaffian formulas that respectively describe the $K$-theoretic degeneracy loci classes for Grassmann bundles and for symplectic Grassmann and odd orthogonal bundles. The former generalizes Damon--Kempf--Laksov's determinantal formula and the latter generalize Pragacz--Kazarian's formula for the Chow ring. As an application, we introduce the factorial $GΘ/ GΘ'$-functions representing the torus equivariant $K$-theoretic Schubert classes of the symplectic and the odd orthogonal Grassmannians, which generalize the (double) theta polynomials of Buch--Kresch--Tam…
We find presentations by generators and relations for the equivariant quantum cohomology rings of the maximal isotropic Grassmannians of types B,C and D, and we find polynomial representatives for the Schubert classes in these rings. These representatives are given in terms of the same Pfaffian formulas which appear in the theory of factorial $P$- and $Q$-Schur functions. After specializing to equivariant cohomology, we interpret the resulting presentations and Pfaffian formulas in terms of Chern classes of tautological bundles.
We express a Schubert expansion of the Chern-Mather class for Schubert varieties in the even orthogonal Grassmannian via integrals involving Pfaffians and pushforward of the small resolutions in the sense of Intersection Cohomology (IH) constructed by Sankaran and Vanchinathan, instead of the Nash blowup. The equivariant localization is employed to show the way of computing the integral. As a byproduct, we present the computations. For analogy and the completion of the method in ordinary Grassmannians, we also suggest Kazhdan-Lusztig classes associated to Schubert varieties in the Lagrangian a…
The Chern-Schwartz-MacPherson (CSM) and motivic Chern (mC) classes of Schubert cells in a Grassmannian are one parameter deformations of the fundamental classes of the Schubert varieties in cohomology and K-theory respectively. Like the fundamental classes, the deformed classes form a basis for the cohomology and K-theory ring of the Grassmannian. The purpose of this paper is to initiate the study of the structure constants associated to the basis CSM and mC classes in terms of the combinatorics of polynomials. First, we prove formulas for the structure constants of projective spaces that invo…
Consider the natural torus action on a partial flag manifold $Fl$. Let $Ω_I\subset Fl$ be an open Schubert variety, and let $c^{sm}(Ω_I)\in H_T^*(Fl)$ be its torus equivariant Chern-Schwartz-MacPherson class. We show a set of interpolation properties that uniquely determine $c^{sm}(Ω_I)$, as well as a formula, of `localization type', for $c^{sm}(Ω_I)$. In fact, we proved similar results for a class $κ_I\in H_T^*(Fl)$ --- in the context of quantum group actions on the equivariant cohomology groups of partial flag varieties. In this note we show that $c^{SM}(Ω_I)=κ_I$.
We compute the Euler characteristic of the structure sheaf of the Brill-Noether locus of linear series with special vanishing at up to two marked points. When the Brill-Noether number $ρ$ is zero, we recover the Castelnuovo formula for the number of special linear series on a general curve; when $ρ=1$, we recover the formulas of Eisenbud-Harris, Pirola, and Chan-Martín-Pflueger-Teixidor for the arithmetic genus of a Brill-Noether curve of special divisors. These computations are obtained as applications of a new determinantal formula for the K-theory class of certain degeneracy loci. Our degen…
Let $G$ be a classical complex Lie group, $P$ any parabolic subgroup of $G$, and $G/P$ the corresponding partial flag variety. We prove an explicit combinatorial Giambelli formula which expresses an arbitrary Schubert class in the cohomology ring of $G/P$ as a polynomial in certain special Schubert class generators. Our formula extends to one that applies to the torus-equivariant cohomology ring of $G/P$ and to the setting of symplectic and orthogonal degeneracy loci.
For a large class of possibly singular complete intersections we prove a formula for their Chern-Schwartz-MacPherson classes in terms of a single blowup along a scheme supported on the singular loci of such varieties. In the hypersurface case our formula recovers a formula of Aluffi proven in 1996. As our formula is in no way tailored to the complete intersection hypothesis, we conjecture that it holds for all closed subschemes of a smooth variety. If in fact true, such a formula would provide a simple characterization of the Chern-Schwartz-MacPherson class which does not depend on a resolutio…
We consider a generalized Riemann-Hurwitz formula as it may be applied to rational maps between projective varieties having an indeterminacy set and fold-like singularities. The case of a holomorphic branched covering map is recalled. Then we see how the formula can be applied to iterated maps having branch-like singularities. Separately, we consider a further application involving the Chern classes of determinantal varieties when the latter are realized as the degeneracy loci of certain vector bundle morphisms.
In this {paper}, we consider holomorphic embeddings of $Gr(2,m)$ into $Gr(2,n)$. We study such embeddings by finding all possible total Chern classes of the pull-back of the universal bundles under these embeddings. Using the relations between Chern classes of the universal bundles and Schubert cycles, together with properties of holomorphic vector bundles of rank $2$ on complex Grassmannians, we find conditions on $m$ and $n$ for which any holomorphic embedding of $Gr(2,m)$ into $Gr(2,n)$ is linear.
