No Arabic abstract
We consider tangent cones of Schubert varieties in the complete flag variety, and investigate the problem when the tangent cones of two different Schubert varieties coincide. We give a sufficient condition for such coincidence, and formulate a conjecture that provides a necessary condition. In particular, we show that all Schubert varieties corresponding to the Coxeter elements of the Weyl group have the same tangent cone. Our main tool is the notion of pillar entries in the rank matrix counting the dimensions of the intersections of a given flag with the standard one. This notion is a version of Fultons essential set. We calculate the dimension of a Schubert variety in terms of the pillar entries of the rank matrix.
This paper defines and studies permutation representations on the equivariant cohomology of Schubert varieties, as representations both over C and over C[t_1, t_2,...,t_n]. We show these group actions are the same as an action of simple transpositions studied geometrically by M. Brion, and give topological meaning to the divided difference operators studied by Berstein-Gelfand-Gelfand, Demazure, Kostant-Kumar, and others. We analyze these representations using the combinatorial approach to equivariant cohomology introduced by Goresky-Kottwitz-MacPherson. We find that each permutation representation on equivariant cohomology produces a representation on ordinary cohomology that is trivial, though the equivariant representation is not.
In type A we find equivalences of geometries arising in three settings: Nakajimas (``framed) quiver varieties, conjugacy classes of matrices and loop Grassmannians. These are now all given by explicit formulas. As an application we provide a geometric version of symmetric and skew $(GL(m), GL(n))$ dualities.
The first author and Bump defined Schubert Eisenstein series by restricting the summation in a degenerate Eisenstein series to a particular Schubert variety. In the case of $mathrm{GL}_3$ over $mathbb{Q}$ they proved that these Schubert Eisenstein series have meromorphic continuations in all parameters and conjectured the same is true in general. We revisit their conjecture and relate it to the program of Braverman, Kazhdan, Lafforgue, Ng^o, and Sakellaridis aimed at establishing generalizations of the Poisson summation formula. We prove the Poisson summation formula for certain schemes closely related to Schubert varieties and use it to refine and establish the conjecture of the first author and Bump in many cases.
Regular semisimple Hessenberg varieties are a family of subvarieties of the flag variety that arise in number theory, numerical analysis, representation theory, algebraic geometry, and combinatorics. We give a Giambelli formula expressing the classes of regular semisimple Hessenberg varieties in terms of Chern classes. In fact, we show that the cohomology class of each regular semisimple Hessenberg variety is the specialization of a certain double Schubert polynomial, giving a natural geometric interpretation to such specializations. We also decompose such classes in terms of the Schubert basis for the cohomology ring of the flag variety. The coefficients obtained are nonnegative, and we give closed combinatorial formulas for the coefficients in many cases. We introduce a closely related family of schemes called regular nilpotent Hessenberg schemes, and use our results to determine when such schemes are reduced.
Let $G$ be a connected reductive algebraic group over an algebraically closed field $k$, and assume that the characteristic of $k$ is zero or a pretty good prime for $G$. Let $P$ be a parabolic subgroup of $G$ and let $mathfrak p$ be the Lie algebra of $P$. We consider the commuting variety $mathcal C(mathfrak p) = {(X,Y) in mathfrak p times mathfrak p mid [X,Y] = 0}$. Our main theorem gives a necessary and sufficient condition for irreducibility of $mathcal C(mathfrak p)$ in terms of the modality of the adjoint action of $P$ on the nilpotent variety of $mathfrak p$. As a consequence, for the case $P = B$ a Borel subgroup of $G$, we give a classification of when $mathcal C(mathfrak b)$ is irreducible; this builds on a partial classification given by Keeton. Further, in cases where $mathcal C(mathfrak p)$ is irreducible, we consider whether $mathcal C(mathfrak p)$ is a normal variety. In particular, this leads to a classification of when $mathcal C(mathfrak b)$ is normal.