We prove that the number of connected components in the intersection of two open opposite Schubert cells in the variety of complete real n-dimensional flags equals 3*2^{n-1} for n>5.
We define skew Schubert polynomials to be normal form (polynomial) representatives of certain classes in the cohomology of a flag manifold. We show that this definition extends a recent construction of Schubert polynomials due to Bergeron and Sottile in terms of certain increasing labeled chains in Bruhat order of the symmetric group. These skew Schubert polynomials expand in the basis of Schubert polynomials with nonnegative integer coefficients that are precisely the structure constants of the cohomology of the complex flag variety with respect to its basis of Schubert classes. We rederive t…
In this paper we classify the multiplicity-free skew characters of the symmetric group. Furthermore we show that the Schubert calculus is equivalent to that of skew characters in the following sense: If we decompose the product of two Schubert classes we get the same as if we decompose a skew character and replace the irreducible characters by Schubert classes of the `inverse' partitions (Theorem 4.2).
We show the equivalence of the Pieri formula for flag manifolds and certain identities among the structure constants, giving new proofs of both the Pieri formula and of these identities. A key step is the association of a symmetric function to a finite poset with labeled Hasse diagram satisfying a symmetry condition. This gives a unified definition of skew Schur functions, Stanley symmetric function, and skew Schubert functions (defined here). We also use algebraic geometry to show the coefficient of a monomial in a Schubert polynomial counts certain chains in the Bruhat order, obtaining a new…
The necessary and sufficient Horn inequalities which determine the non-vanishing Littlewood-Richardson coefficients in the cohomology of a Grassmannian are recursive in that they are naturally indexed by non-vanishing Littlewood-Richardson coefficients on smaller Grassmannians. We show how non-vanishing in the Schubert calculus for cominuscule flag varieties is similarly recursive. For these varieties, the non-vanishing of products of Schubert classes is controlled by the non-vanishing products on smaller cominuscule flag varieties. In particular, we show that the lists of Schubert classes who…
For any complex reductive connected Lie group G, many of the structure constants of the ordinary cohomology ring H^*(G/B; Z) vanish in the Schubert basis, and the rest are strictly positive. We present a combinatorial game, the ``root game'', which provides some criteria for determining which of the Schubert intersection numbers vanish. The definition of the root game is manifestly invariant under automorphisms of G, and under permutations of the classes intersected. Although these criteria are not proven to cover all cases, in practice they work very well, giving a complete answer to the ques…
Matrix Schubert varieties are the closures of the orbits of $B\times B$ acting on all $n\times n$ matrices, where $B$ is the group of invertible lower triangular matrices. Extending work of Fulton, Knutson and Miller identified a Gröbner basis for the prime ideals of these varieties. They also showed that the corresponding initial ideals are Stanley-Reisner ideals of shellable simplicial complexes, and derived a related primary decomposition in terms of reduced pipe dreams. These results lead to a geometric proof of the Billey-Jockusch-Stanley formula for a Schubert polynomial, among many othe…
In this paper we prove a new generic vanishing theorem for $X$ a complete homogeneous variety with respect to an action of a connected algebraic group. Let $A, B_0\subset X$ be locally closed affine subvarieties, and assume that $B_0$ is smooth and pure dimensional. Let $\mathcal{P}$ be a perverse sheaf on $A$ and let $B=g B_0$ be a generic translate of $B_0$. Then our theorem implies $(-1)^{\operatorname{codim} B}χ(A\cap B, \mathcal{P}|_{A\cap B})\geq 0$. As an application, we prove in full generality a positivity conjecture about the signed Euler characteristic of generic triple intersection…
This paper focuses on the properties of Schubert cells as quasi-projective subvarieties of a generalized flag variety. More specifically, we investigate the problem of distinguishing between different Schubert cells using vanishing patterns of generalized Plucker coordinates.
We recall the root game, introduced in an earlier paper, which gives a fairly powerful sufficient condition for non-vanishing of Schubert calculus on a generalised flag manifold G/B. We show that it gives a necessary and sufficient rule for non-vanishing of Schubert calculus on Grassmannians. In particular, a Littlewood-Richardson number is non-zero if and only if it is possible to win the corresponding root game. More generally, the rule can be used to determine whether or not a product of several Schubert classes on Gr_l(n) is non-zero in a manifestly symmetric way. Finally, we give a geomet…
We consider the varieties of singular $m \times m$ complex matrices which may be either general, symmetric or skew-symmetric (with $m$ even). For these varieties we have shown in another paper that they had compact "model submanifolds", for the homotopy types of the Milnor fibers which are classical symmetric spaces in the sense of Cartan. In this paper we use these models, combined with results due to a number of authors concerning the Schubert decomposition of Lie groups, symmetric spaces via the Cartan model together with Iwasawa decomposition to give a cell decomposition of the global Miln…
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…
In this paper we give top most and least indices of non vanishing cohomology modules of line bundles in the Kac Moody setting in terms of Weyl group combinatorics. We also prove a surjection Theorem.
We establish connections between: the maximum likelihood degree (ML-degree) for linear concentration models, the algebraic degree of semidefinite programming (SDP), and Schubert calculus for complete quadrics. We prove a conjecture by Sturmfels and Uhler on the polynomiality of the ML-degree. We also prove a conjecture by Nie, Ranestad and Sturmfels providing an explicit formula for the degree of SDP. The interactions between the three fields shed new light on the asymptotic behaviour of enumerative invariants for the variety of complete quadrics. We also extend these results to spaces of gene…
Let X be a symplectic or odd orthogonal Grassmannian parametrizing isotropic subspaces in a vector space equipped with a nondegenerate (skew) symmetric form. We prove a Giambelli formula which expresses an arbitrary Schubert class in H^*(X,Z) as a polynomial in certain special Schubert classes. We study theta polynomials, a family of polynomials defined using raising operators whose algebra agrees with the Schubert calculus on X. Furthermore, we prove that theta polynomials are special cases of Billey-Haiman Schubert polynomials and use this connection to express the former as positive linear …
We study the three point genus zero Gromov-Witten invariants on the Grassmannians which parametrize non-maximal isotropic subspaces in a vector space equipped with a nondegenerate symmetric or skew-symmetric form. We establish Pieri rules for the classical cohomology and the small quantum cohomology ring of these varieties, which give a combinatorial formula for the product of any Schubert class with certain special Schubert classes. We also give presentations of these rings, with integer coefficients, in terms of special Schubert class generators and relations.
Matrix Schubert varieties are certain varieties in the affine space of square matrices which are determined by specifying rank conditions on submatrices. We study these varieties for generic matrices, symmetric matrices, and upper triangular matrices in view of two applications to algebraic statistics: we observe that special conditional independence models for Gaussian random variables are intersections of matrix Schubert varieties in the symmetric case. Consequently, we obtain a combinatorial primary decomposition algorithm for some conditional independence ideals. We also characterize the v…
We show that every skew-symmetric 6 x 6 matrix of linear forms with vanishing Pfaffian is congruent to one of finitely many types of matrices, each of which is characterised by a specific pattern of zeroes (and some other linear relations) among its entries. Such matrices are for example important for compactifying moduli spaces of stable rank 2 vector bundles with Chern classes c_1=0, c_2=2 on cubic threefolds.
We study the problem of feedback control for skew-symmetric and skew-Hamiltonian transfer functions using skew-symmetric controllers. This extends work of Helmke, et al., who studied static symmetric feedback control of symmetric and Hamiltonian linear systems. We identify spaces of linear systems with symmetry as natural subvarieties of the moduli space of rational curves in a Grassmannian, give necessary and sufficient conditions for pole placement by static skew-symmetric complex feedback, and use Schubert calculus for the orthogonal Grassmannian to count the number of complex feedback laws…
Involution Schubert polynomials represent cohomology classes of $K$-orbit closures in the complete flag variety, where $K$ is the orthogonal or symplectic group. We show they also represent $T$-equivariant cohomology classes of subvarieties defined by upper-left rank conditions in the spaces of symmetric or skew-symmetric matrices. This geometry implies that these polynomials are positive combinations of monomials in the variables $x_i + x_j$, and we give explicit formulas of this kind as sums over new objects called involution pipe dreams. Our formulas are analogues of the Billey-Jockusch-Sta…
Vakil studied the intersection theory of Schubert varieties in the Grassmannian in a very direct way: he degenerated the intersection of a Schubert variety X_mu and opposite Schubert variety X^nu to a union {X^lambda}, with repetition. This degeneration proceeds in stages, and along the way he met a collection of more complicated subvarieties, which he identified as the closures of certain locally closed sets. We show that Vakil's varieties are _positroid varieties_, which in particular shows they are normal, Cohen-Macaulay, have rational singularities, and are defined by the vanishing of Plüc…
The complex orthogonal and symplectic groups both act on the complete flag variety with finitely many orbits. We study two families of polynomials introduced by Wyser and Yong representing the $K$-theory classes of the closures of these orbits. Our polynomials are analogous to the Grothendieck polynomials representing $K$-classes of Schubert varieties, and we show that like Grothendieck polynomials, they are uniquely characterized among all polynomials representing the relevant classes by a certain stability property. We show that the same polynomials represent the equivariant $K$-classes of s…
We prove a general vanishing theorem for the cohomology of products of symmetric and skew-symmetric powers of an ample vector bundle on a smooth complex projective variety. Special cases include an extension of classical theorems of Griffiths and Le Potier to the whole Dolbeault cohomology, and an answer to a problem raised by Demailly. An application to degeneracy loci is given.
In this note we prove some structural properties of all the A1-homotopy invariants of corner skew Laurent polynomial algebras. As an application, we compute de mod-l algebraic K-theory of Leavitt path algebras using solely the kernel/cokernel of the incidence matrix. This leads naturally to some vanishing and divisibility properties of the algebraic K-theory of these algebras.
Let g be an affine Kac-Moody Lie algebra and let $λ, μ$ be two dominant integral weights for g. We prove that under some mild restriction, for any positive root $β$, $V(λ)\otimes V(μ)$ contains $V(λ+μ-β)$ as a component, where $V(λ)$ denotes the integrable highest weight (irreducible) g-module with highest weight $λ$. This extends the corresponding result by Kumar from the case of finite dimensional semisimple Lie algebras to the affine Kac-Moody Lie algebras. One crucial ingredient in the proof is the action of Virasoro algebra via the Goddard-Kent-Olive construction on the tensor product $V(…
Diagonal F-thresholds for determinants and Pfaffians
Otto-von-Guericke-University Magdeburg(马格德堡奥托·冯·古里克大学);University of Notre Dame(圣母大学);Institute of Mathematics “Simion Stoilow” of the Romanian Academy(罗马尼亚科学院西米翁·斯托伊洛数学研究所);University of Cassino and Southern Lazio(卡西诺与南拉齐奥大学);Visvesvaraya National Institute of Technology, Nagpur(那格浦尔维斯瓦纳特国家技术学院)
In this paper we use the results from the first part to compute the vanishing topology for matrix singularities based on certain spaces of matrices. We place the variety of singular matrices in a geometric configuration of free divisors which are the "exceptional orbit varieties" for repesentations of solvable groups. Because there are towers of representations for towers of solvable groups, the free divisors actually form a tower of free divisors $E_n$, and we give an inductive procedure for computing the vanishing topology of the matrix singularities. The inductive procedure we use is an ext…