Over a field $K$ of characteristic $p$, let $Z$ be the incidence variety in $\mathbb{P}^d \times (\mathbb{P}^d)^*$ and let $\mathcal{L}$ be the restriction to $Z$ of the line bundle $\mathcal{O}(-n-d) \boxtimes \mathcal{O}(n)$, where $n = p+f$ with $0 \leq f \leq p-2$. We prove that $H^d(Z,\mathcal{L})$ is the simple $\operatorname{GL}_{d+1}$-module corresponding to the partition $λ_0 = (p-1+f,p-1,f+1)$. When $f= 0$, using the first author's description of $H^d(Z,\mathcal{L})$ and Jantzen's sum formula, we obtain as a by-product that the sum of the monomial symmetric functions $m_λ$, for all partitions $λ$ of $2p-1$ less than $(p-1,p-1,1)$ in the dominance order, is the alternating sum of the Schur functions $S_{p-1,p-1-i,1^{i+1}}$ for $i=0,\dots,p-2$.
Let $G$ be the group scheme $\operatorname{SL}_{d+1}$ over $\mathbb{Z}$ and let $Q$ be the parabolic subgroup scheme corresponding to the simple roots $α_{2},\cdots,α_{d-1}$. Then $G/Q$ is the $\mathbb{Z} $-scheme of partial flags $\{D_{1}\subset H_{d}\subset V\}$. We will calculate the cohomology modules of line bundles over this flag scheme. We will prove that the only non-trivial ones are isomorphic to the kernel or the cokernel of certain matrices with multinomial coefficients.
We study the $S_n$-equivariant log-concavity of the cohomology of flag varieties, also known as the coinvariant ring of $S_n$. Using the theory of representation stability, we give computer-assisted proofs of the equivariant log-concavity in low degrees and high degrees and conjecture that it holds for all degrees. Furthermore, we make a stronger unimodal conjecture which implies the equivariant log-concavity.
PBW degenerations are a particularly nice family of flat degenerations of type A flag varieties. We show that the cohomology of any PBW degeneration of the flag variety surjects onto the cohomology of the original flag variety, and that this holds in an equivariant setting too. We also prove that the same is true in the symplectic setting when considering Feigin's linear degeneration of the symplectic flag variety.
Cohomological induction gives an algebraic method for constructing representations of a real reductive Lie group $G$ from irreducible representations of reductive subgroups. Beilinson-Bernstein localization alternatively gives a geometric method for constructing Harish-Chandra modules for $G$ from certain representations of a Cartan subgroup. The duality theorem of Hecht, Mili\vcić, Schmid and Wolf establishes a relationship between modules cohomologically induced from minimal parabolics and the cohomology of the $\ms{D}$-modules on the complex flag variety for $G$ determined by the Beilinson-…
This paper studies affine Deligne-Lusztig varieties in the affine flag manifold of GL_2. At first we determine all such varieties up to isomorphy. After this we investigate the representations of the sigma-stabilizer of an element b of the group on the etale cohomology of the affine Deligne-Lusztig variety X_w(b). We describe such representations as inductions from compact subgroups and in terms of noncuspidal representations.
Recall the classical result that the cup product structure constants for the singular cohomology with integral coefficients of the Grassmannian of r-planes coincide with the Littlewood-Richardson tensor product structure constants for GL(r). Specifically, the result asserts that there is an explicit ring homomorphism ϕ: \Rep _{\poly}(GL(r)) to H^*(Gr(r, n)), where Gr(r, n) denotes the Grassmannian of r-planes in C^n and \Rep_{\poly} (GL(r)) denotes the polynomial representation ring of GL(r). This work seeks to achieve one possible generalization of this classical result for GL(r) and the Gras…
In the case of an almost simple algebraic group $G$ of type $G_2$ over a field of characteristic $p>0$ we study the cohomology modules of line bundles on the flag variety for $G$. Our main result is a complete determination of the vanishing behavior of such cohomology in the case where the line bundles in question are induced by characters from the lowest $p^2$-alcoves. When $U_q$ is the quantum group corresponding to $G$ whose parameter $q$ is a complex root of unity of order prime to 6 we give a complete (i.e. covering all characters) description of the vanishing behavior for the correspondi…
We study the null-cone of a semi-simple algebraic group acting on a number of copies of its Lie algebra via the diagonal adjoint action. We show that the null cone has rational singularities in the case of SL3. We observe by example that the null-cone is not normal in general and that the normalization of the null-cone does not have rational singularities in general. This is achieved by computing cohomology of certain vector bundles on flag varieties.
We show that each orbit of a Borel subgroup $B_{n-1}$ of GL(n-1) (respectively SO(n-1)) on the flag variety of GL(n) (respectively of SO(n)) is a bundle over a $B_{n-1}$-orbit on a generalized flag variety of GL(n-1) (respectively SO(n-1)), with fiber isomorphic to an orbit of an analogous subgroup on a smaller flag variety. As a consequence, we develop an inductive procedure to classify $B_{n-1}$-orbits on the flag variety. Our method is essentially uniform in the two cases. As further consequences, in the sequel to this paper we give an explicit combinatorial classification of orbits and det…
We describe hypergeometric solutions of the quantum differential equation of the cotangent bundle of a gl_n partial flag variety. These hypergeometric solutions manifest the Landau-Ginzburg mirror symmetry for the cotangent bundle of a partial flag variety.
We present a combinatorial procedure (based on the W-graph of the Coxeter group) which shows that the characters of many intersection cohomology complexes on low rank complex flag varieties with coefficients in an arbitrary field are given by Kazhdan-Lusztig basis elements. Our procedure exploits the existence and uniqueness of parity sheaves. In particular we are able to show that the characters of all intersection cohomology complexes with coefficients in a field on the flag variety of type A_n for n < 7 are given by Kazhdan-Lusztig basis elements. By results of Soergel, this implies a part …
Let $P$ be a parabolic subgroup in $SL_n(\mathbb C)$. We show that there is a $SL_n(\mathbb C)$-stable closed subvariety of an affine Schubert variety in an infinite dimensional partial Flag variety (associated to the Kac-Moody group ${\widehat{SL_n}(\mathbb C)}$) which is a natural compactification of the cotangent bundle to $SL_n(\mathbb C)/P$. As a consequence, we recover the Springer resolution for any orbit closure inside the variety of nilpotent matrices.
We use the G-invariant non-degenerate form on the Steinberg module to Frobenius split the cotangent bundle of a flag variety in good prime characteristics. This was previously only known for the general linear group. Applications are a vanishing theorem for pull back of line bundles to the cotangent bundle (proved for the classical groups and G_2 by Andersen and Jantzen and in characteristic zero by B. Broer (for all groups)), normality and rational singularities for the subregular nilpotent variety and good filtrations of the global sections of pull backs of line bundles to the cotangent bund…
Following the program of algebraic Frobenius splitting begun by Kumar and Littelmann, we use representation-theoretic techniques to construct a Frobenius splitting of the cotangent bundle of the flag variety of a semisimple algebraic group over an algebraically closed field of positive characteristic. We also show that this splitting is the same as one of the splittings constructed by Kumar, Lauritzen, and Thomsen.
Let G be a semisimple complex algebraic group with Borel subgroup B and let P be a parabolic subgroup of G. Let T*(G/P) denote the cotangent bundle of G/P. Ranee Brylinski discovered a connection between cohomology of G-equivariant line bundles on T*(G/B) and the so-called Brylinski-Kostant filtration, which describes the action of principal sl_2 triples on G-representations. In this paper we generalize these results to a larger class of sl_2 triples. Along the way we also obtain generalizations of results due to Broer on cohomology of G-equivariant bundles on T*(G/P) for various parabolics P.
We use equivariant localization and divided difference operators to determine formulas for the torus-equivariant fundamental cohomology classes of $K$-orbit closures on the flag variety $G/B$, where $G = GL(n,\C)$, and where $K$ is one of the symmetric subgroups $O(n,\C)$ or $Sp(n,\C)$. We realize these orbit closures as universal degeneracy loci for a vector bundle over a variety equipped with a single flag of subbundles and a nondegenerate symmetric or skew-symmetric bilinear form taking values in the trivial bundle. We describe how our equivariant formulas can be interpreted as giving formu…
Let G be a connected semisimple complex algebraic group and let P be a parabolic subgroup. In this paper we define a new (commutative and associative) product on the cohomology of the homogenous spaces G/P and use this to give a more efficient solution of the eigenvalue problem and also for the problem of determining the existence of G-invariants in the tensor product of irreducible representations of G. On the other hand, we show that this new product is intimately connected with the Lie algebra cohomology of the nil-radical of P via some works of Kostant and Kumar. We also initiate a uniform…
This paper explains the relation between the fusion product of symmetric power sl(n) evaluation modules, as defined by Feigin and Loktev, and the graded coordinate ring R(mu), which describes the cohomology ring of the flag variety Fl(mu) of GL(N). The graded multiplicity spaces appearing in the decomposition of the fusion product into irreducible sl(n)-modules are identified with the multiplicity spaces of the Specht modules in R(mu). This proves that the Kostka polynomial gives the character of the fusion product in this case. In the case of the product of fundamental evaluation modules, we …
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 interpret the equivariant cohomology algebra H^*_{GL_n\times\C^*}(T^*F_λ;\C) of the cotangent bundle of a partial flag variety F_λparametrizing chains of subspaces 0=F_0\subset F_1\subset\dots\subset F_N =\C^n, \dim F_i/F_{i-1}=λ_i, as the Yangian Bethe algebra of the gl_N-weight subspace of a gl_N Yangian module. Under this identification the dynamical connection of [TV1] turns into the quantum connection of [BMO] and [MO]. As a result of this identification we describe the algebra of quantum multiplication on H^*_{GL_n\times\C^*}(T^*F_λ;\C) as the algebra of functions on fibers of a discr…
Let $G$ be a semisimple algebraic group and $B$ a Borel subgroup. We consider generalisations of Lusztig's q-analogues of weight multiplicity, where the set of positive roots is replaced with the multiset of weights of a $B$-submodule of an arbitrary finite-dimensional $G$-module.
Let P be a parabolic subgroup of a semisimple complex Lie group G defined by a subset Σof simple roots of G, and let E_ϕbe a homogeneous vector bundle over the flag manifold G/P corresponding to a linear representation ϕof P. Using Bott's theorem, we obtain sufficient conditions on ϕin terms of the combinatorial structure of Σfor some cohomology groups of the sheaf of holomorphic sections of E_ϕto be zero. In particular, we define two numbers d(P), l(P) such that for any ϕobtained by natural operations from a representation of dimension less than d(P) the q-th cohomology group of E_ϕis zero fo…
Let G denote a complex, semisimple, simply-connected group. We identify the equivariant quantum differential equation for the cotangent bundle to the flag variety of G with the affine Knizhnik-Zamolodchikov connection of Cherednik and Matsuo. This recovers Kim's description of quantum cohomology of the flag variety itself as a limiting case. A parallel result is proven for resolutions of the Slodowy slices. Extension to arbitrary symplectic resolutions is discussed.
Aganagic and Okounkov proved that the elliptic stable envelope provides the pole cancellation matrix for the enumerative invariants of quiver varieties known as vertex functions. This transforms a basis of a system of $q$-difference equations holomorphic in $\boldsymbol{z}$ with poles in $\boldsymbol{a}$ to a basis of solutions holomorphic in $\boldsymbol{a}$ with poles in $\boldsymbol{z}$. The resulting functions are expected to be the vertex functions of the 3d mirror dual variety. In this paper, we prove that for the cotangent bundle of the full flag variety, the functions obtained in this …
