We study the quantum cohomology of (co)minuscule homogeneous varieties under a unified perspective. We show that three points Gromov-Witten invariants can always be interpreted as classical intersection numbers on auxiliary varieties. Our main combinatorial tools are certain quivers, in terms of which we obtain a quantum Chevalley formula and a higher quantum Poincaré duality. In particular we compute the quantum cohomology of the two exceptional minuscule homogeneous varieties.
We prove that the quantum cohomology ring of any minuscule or cominuscule homogeneous space, specialized at q=1, is semisimple. This implies that complex conjugation defines an algebra automorphism of the quantum cohomology ring localized at the quantum parameter. We check that this involution coincides with the strange duality defined in a previous paper. We deduce Vafa-Intriligator type formulas for the Gromov-Witten invariants.
We prove that the quantum cohomology ring of any minuscule or cominuscule homogeneous space, once localized at the quantum parameter, has a non trivial involution mapping Schubert classes to multiples of Schubert classes. This can be stated as a strange duality property for the Gromov-Witten invariants, which turn out to be very symmetric.
I prove that a vector bundle on a minuscule homogeneous variety splits into a direct sum of line bundles if and only if its restriction to the union of two-dimensional Schubert subvarieties splits. A case-by-case analysis is done.
This paper gathers results obtained with a software written in Java. For exceptional minuscule, quasi-minuscule, cominuscule or adjoint homogeneous spaces, the Schubert cells are expressed as polynomials in the generators of the quantum cohomology algebra.
Rutgers University（罗格斯大学）；Université de Lorraine（洛林大学）；Virginia Tech University（弗吉尼亚理工大学）；Laboratoire de Mathématiques de Versailles, UVSQ, CNRS, Université Paris-Saclay（凡尔赛数学实验室，凡尔赛大学，法国国家科学研究中心，巴黎萨克雷大学）
Based on Thomas and Yong's K-theoretic jeu de taquin algorithm, we prove a uniform Littlewood-Richardson rule for the K-theoretic Schubert structure constants of all minuscule homogeneous spaces. Our formula is new in all types. For the main examples of Grassmannians of type A and maximal orthogonal Grassmannians it has the advantage that the tableaux to be counted can be recognized without reference to the jeu de taquin algorithm.
Let $X$ be a minuscule homogeneous space, an odd quadric, or an adjoint homogenous space of type different from $A$ and $G_2$. Le $C$ be an elliptic curve. In this paper, we prove that for $d$ large enough, the scheme of degree $d$ morphisms from $C$ to $X$ is irreducible, giving an explicit lower bound for $d$ which is optimal in many cases.
We prove Rietsch's mirror conjecture that the Dubrovin quantum connection for minuscule flag varieties is isomorphic to the character D-module of the Berenstein-Kazhdan geometric crystal. The idea is to recognize the quantum connection as Galois and the geometric crystal as automorphic. We reveal surprising relations with the works of Frenkel-Gross, Heinloth-Ngô-Yun, and Zhu on Kloosterman sheaves. The isomorphism comes from global rigidity results where Hecke eigensheaves are determined by their local ramification. As corollaries we obtain combinatorial identities for counts of rational curve…
In this paper, we describe on the one hand, all relative minimal models Y of a minuscule Schubert variety X using some combinatorics on quivers and we prove that the morphism from Y to X is small (in the sense of intersection cohomology). On the other hand, thanks to a result of B. Totaro, any small resolution Z of a minuscule Schubert variety X has to be a relative minimal model of X. So X admits a small resolution if and only if there exists a smooth relative minimal model Y of X. We give a combinatoric criterion for Y to be smooth describing in this way all small resolutions of X. We also u…
We study the quantum cohomology of quasi-minuscule and quasi-cominuscule homogeneous spaces. The product of any two Schubert cells does not involve powers of the quantum parameter higher than 2. With the help of the quantum to classical principle we give presentations of the quantum cohomology algebras. These algebras are semi-simple for adjoint non coadjoint varieties and some properties of the induced strange duality are shown.
We prove that the geometric Satake correspondence admits quantum corrections for minuscule Grassmannians of Dynkin types $A$ and $D$. We find, as a corollary, that the quantum connection of a spinor variety $OG(n,2n)$ can be obtained as the half-spinorial representation of that of the quadric $Q_{2n-2}$. We view the (quantum) cohomology of these Grassmannians as endowed simultaneously with two structures, one of a module over the algebra of symmetric functions, and the other, of a module over the Langlands dual Lie algebra, and investigate the interaction between the two. In particular, we stu…
The jeu-de-taquin-based Littlewood-Richardson rule of H. Thomas and A. Yong (2009) for minuscule varieties has been extended in two orthogonal directions, either enriching the cohomology theory or else expanding the family of varieties considered. In one direction, A. Buch and M. Samuel (2016) developed a combinatorial theory of "unique rectification targets" in minuscule posets to extend the Thomas-Yong rule from ordinary cohomology to $K$-theory. Separately, P.-E. Chaput and N. Perrin (2012) used the combinatorics of R. Proctor's "$d$-complete posets" to extend the Thomas-Yong rule from minu…
This is an expository lecture, for the Abel bicentennial (Oslo, 2002), describing some recent work on the (small) quantum cohomology ring of Grassmannians and other homogeneous varieties.
We prove a general combinatorial formula yielding the intersection number $c_{u,v}^w$ of three particular $Λ$-minuscule Schubert classes in any Kac-Moody homogeneous space, generalising the Littlewood-Richardson rule. The combinatorics are based on jeu de taquin rectification in a poset defined by the heap of $w$.
In the present paper we provide a general algorithm to compute multiplicative cohomological operations on algebraic oriented cohomology of projective homogeneous G-varieties, where G is a split reductive algebraic group over a field of characteristic 0. More precisely, we extend such operations to the respective T-equivariant (T is a maximal split torus of G) oriented theories, and then compute them using equivariant Schubert calculus techniques. This generalizes an approach suggested by Garibaldi-Petrov-Semenov for Steenrod operations. We also show that operations on the theories of additive …
We consider a complete nonsingular variety $X$ over $\bC$, having a normal crossing divisor $D$ such that the associated logarithmic tangent bundle is generated by its global sections. We show that $H^i\big(X, L^{-1} \otimes Ω_X^j(\log D)\big) = 0$ for any nef line bundle $L$ on $X$ and all $i < j - c$, where $c$ is an explicit function of $(X,D,L)$. This implies e.g. the vanishing of $H^i(X, L \otimes Ω_X^j)$ for $L$ ample and $i > j$, and gives back a vanishing theorem of Broer when $X$ is a flag variety.
We describe recent work on positive descriptions of the structure constants of the cohomology of homogeneous spaces such as the Grassmannian, by degenerations and related methods. We give various extensions of these rules, some new and conjectural, to K-theory, equivariant cohomology, equivariant K-theory, and quantum cohomology.
The main goal of this paper is to give a unified description for the structure of the small quantum cohomology rings for all homogeneous spaces of SL_n(C).
We prove a Chevalley formula for the equivariant quantum multiplication of two Schubert classes in the homogeneous variety X=G/P. As in the case when X is a Grassmannian, studied by the author in a previous paper, this formula implies an effective algorithm to compute the structure constants of the equivariant quantum cohomology algebra of X.
We describe the cohomology groups of a homogeneous vector bundle $E$ on any Hermitian symmetric variety $X=G/P$ of ADE type as the cohomology of a complex explicitly described. The main tool is the equivalence between the category of homogeneous bundles and the category of representations of a certain quiver ${\cal Q}_X$ with relations, whose vertices are the dominant weights of the reductive part of $P$. This equivalence was found in some cases by Bondal, Kapranov and Hille and we find the appropriate relations for any Hermitian symmetric variety, computing them explicitly for Grassmannians.
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 $X$ be a rational homogeneous space and let $QH^*(X)_{loc}^\times$ be the group of invertible elements in the small quantum cohomology ring of $X$ localised in the quantum parameters. We generalise results of arXiv:math/0609796 and realise explicitly the map $π_1({\rm Aut}(X))\to QH^*(X)_{loc}^\times$ described in arXiv:dg-ga/9511011. We even prove that this map is an embedding and realise it in the equivariant quantum cohomology ring $QH^*_T(X)_{loc}^\times$. We give explicit formulas for the product by these elements. The proof relies on a generalisation, to a quotient of the equivariant…
Odd symplectic Grassmannians are a generalization of symplectic Grassmannians to odd-dimensional spaces. Here we compute the classical and quantum cohomology of the odd symplectic Grassmannian of lines. Although these varieties are non homogeneous, we obtain Pieri and Giambelli formulas that are very similar to the symplectic case. We notice that their quantum cohomology is semi-simple, which enables us to check Dubrovin's conjecture for this case.
In this paper, we consider the GIT quotients of Schubert varieties for the action of a maximal torus. We describe the minuscule Schubert varieties for which the semistable locus is contained in the smooth locus. As a consequence, we study the smoothness of torus quotients of Schubert varieties in the Grassmannian. We also prove that the torus quotient of any Schubert variety in the homogeneous space $SL(n, \mathbb C)/P$ is projectively normal with respect to the line bundle $\mathcal L_{α_0}$ and the quotient space is a projective space, where the line bundle $\mathcal L_{α_0}$ and the parabol…
We show that for any minuscule or cominuscule homogeneous space X, the Gromov-Witten varieties of degree d curves passing through three general points of X are rational or empty for any d. Applying techniques of A. Buch and L. Mihalcea to constructions of the authors together with L. Manivel, we deduce that the equivariant K-theoretic three points Gromov-Witten invariants are equal to classical equivariant K-theoretic invariants on auxilliary spaces.
In a previous paper Affine symmetries of the equivariant quantum cohomology of rational homogeneous spaces, a general formula was given for the multiplication by some special Schubert classes in the quantum cohomology of any homogeneous space. Although this formula is correct in the non equivariant setting, the stated equivariant version was wrong. We provide corrections for the equivariant formula, thus giving a correct argument for the non equivariant formula. We also give new formulas in the equivariant homology of the affine grassmannian that could lead to Pieri type formulas.
We show that the linear map defined by multiplication with a general bi-homogeneous form between two bi-graduated pieces of the first cohomology of a nonsingular quadric in the projective space is of maximal rank. This is the first non trivial case of a more general open problem on natural linear maps between vector spaces of tensors defined in terms of multiplications and contractions. An interpretation in terms of bi-homogeneous linear differential operators with polynomial coefficients is also given.
We describe an algorithm computing the monodromy and the pole order filtration on the Milnor fiber cohomology of any reduced projective plane curve $C$. The relation to the zero set of Bernstein-Sato polynomial of the defining homogeneous polynomial for $C$ is also discussed. When $C$ has some non weighted homogeneous singularities, then we have to assume that a conjecture holds in order to get some of our results. In all the examples computed so far this conjecture holds.
We investigate a method proposed by E. Arrondo and J. Caravantes to study the Picard group of a smooth low-codimension subvariety X in a variety Y when Y is homogeneous. We prove that this method is strongly related to the signature σ_Y of the Poincare pairing on the middle cohomology of Y. We give under some topological assumptions a bound on the rank of Picard group Pic(X) in terms of σ_Y and remove these assumptions for grassmannians to generalise the main result of E. Arrondo and J. Caravantes.
Using the homogeneous coordinate ring construction of a toric variety IP defined by a complete simplicial fan and the methods of local cohomology theory we develop a framework for the calculation of cohomology groups H^{*}(IP, O(p)) of twisting sheaves O(p) on IP.
We study $A_{\infty}$-structures extending the natural algebra structure on the cohomology of $\oplus_n L^n$, where $L$ is a very ample line bundle on a projective $d$-dimensional variety $X$ such that $H^i(X,L^n)=0$ for $0<i<d$ and all $n$. We prove that there exists a unique such nontrivial $A_{\infty}$-structure up to homotopy and rescaling. In the case when $X$ is a curve we also compute the group of self-homotopies of this $A_{\infty}$-structure.
We prove that the rational cohomology of the space of non-singular complex homogeneous polynomials of degree d in a fixed number of variables stabilizes to the cohomology of the general linear group for d sufficiently large.
Let k be a field of characteristic 0, R = k[x_1, ..., x_d] be a polynomial ring, and m its maximal homogeneous ideal. Let I be a homogeneous ideal in R. In this paper we investigate asymptotic behaviour of the quotient between the length of local cohomology group H^0_m(R/I^n) and n^d. We show that this quantity always has a limit as n goes to infinity. We also give an example for which the limit is irrational; in particular, this proves that the length of H^0_m(R/I^n) is not asymptotically a polynomial in n.
We prove a positivity result in (T-)equivariant quantum cohomology of the homogeneous space G/P, generalizing Graham's positivity in equivariant cohomology.
For an oriented cohomology theory A and a relative cellular space X, we decompose the A-motive of X into a direct sum of twisted motives of the base spaces. We also obtain respective decompositions of the A-cohomology of X. Applying them, one can compute A(X), where X is an isotropic projective homogeneous variety and A means algebraic K-theory, motivic cohomology or algebraic cobordism MGL.
We show that the complex Radon transform realizes an isomorphism between the space of residual $\bar\partial$-cohomologies of a locally complete intersection subvariety in a linearly concave domain of ${\C}P^n$ and the space of holomorphic solutions of the associated homogeneous system of differential equations withconstant coefficients in the dual domain in $({\C}P^n)^*$.
In this paper we study general hyperplane sections of adjoint and coadjoint varieties. We show that these are the only sections of homogeneous varieties such that a maximal torus of the automorphism group of the ambient variety stabilizes them. We then study their geometry, provide formulas for their classical cohomology rings in terms of Schubert classes and compute the quantum Chevalley formula. This allows us to obtain results about the semi-simplicity of the (small) quantum cohomology, analogous to those holding for (co)adjoint varieties.
Let X be a smooth projective variety. Using modified psi classes on the stack of genus zero stable maps to X, a new associative quantum product is constructed on the cohomology space of X. When X is a homogeneous variety, this structure encodes the characteristic numbers of rational curves in X, and specialises to the usual quantum product upon resetting the parameters corresponding to the modified psi classes. For X = P^2, the product is equivalent to that of the contact cohomology of Ernstrom-Kennedy.
We observe a general structure theorem for quantum cohomology rings, a non-homogeneous version of the usual cohomology ring encoding information about (almost holomorphic) rational curves. An application is the rigorous computation of the quantum cohomology of Grassmannians. As purely algebraic consequence we prove a beautiful formula of Vafa and Intriligator for intersection numbers of certain compactifications of moduli spaces of maps from a Riemann surface (any genus) to G(k,n) which recently has excited many mathematicians. The formula generalizes to any Fano manifold whose cohomology ring…
The aim of this paper is to describe how to obtain residue-type formulas for push-forwards in equivariant cohomology, using the Jeffrey-Kirwan nonabelian localization theorem and the related result of Guillemin and Kalkman. This paper relates the description of equivariant push-forwards for homogeneous spaces of classical Lie groups with the action of the maximal torus with symplectic geometry, using the example of projective spaces and classical Grassmannians.
We construct deformations of the small quantum cohomology rings of homogeneous spaces G/P, and obtain an irredundant set of inequalities determining the multiplicative eigenvalue problem for the compact form K of G.
Let G be a reductive group over an algebraically closed field of characteristic p>0. We study properties of embeddings of spherical homogeneous G-spaces. We look at Frobenius splittings, canonical or by a (p-1)-th power, compatible with certain subvarieties. We also look at cohomology vanishing and show the existence of rational G-equivariant resolutions by toroidal embeddings. We show that the class of homogeneous spaces for which our results hold contains the symmetric homogeneous spaces in characteristic not 2 and is closed under parabolic induction.
Let X be a homogeneous space, X = G/H, where G is a connected linear algebraic group over a number field k, and H is a k-subgroup of G (not necessarily connected). Let S be a finite set of places of k. We compute the Brauer-Manin obstruction to weak approximation for X in S in terms of Galois cohomology.
These are expository notes from the 2008 Srni Winter School. They have two purposes: (1) to give a quick introduction to exterior differential systems (EDS), which is a collection of techniques for determining local existence to systems of partial differential equations, and (2) to give an exposition of recent work (joint with C. Robles) on the study of the Fubini-Griffiths-Harris rigidity of rational homogeneous varieties, which also involves an advance in the EDS technology.
Let $G$ be a reductive group defined over an algebraically closed field of characteristic $0$ such that the Dynkin diagram of $G$ is the disjoint union of diagrams of types $G_{2}, F_{4}, E_{6}, E_{7}, E_{8}$. We show that the degree $3$ unramified cohomology of the classifying space of $G$ is trivial. In particular, combined with articles by Merkurjev \cite{Mer17} and the author \cite{Baek}, this completes the computations of degree $3$ unramified cohomology and reductive invariants for all split semisimple groups of a homogeneous Dynkin type.
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…
Starting from a homogeneous affine Springer fiber $Fl_ψ$, we construct three moduli spaces that correspond to the Dolbeault, de Rham and Betti aspects of a hypothetical Simpson correspondence with wild ramifications. We show that $Fl_ψ$ is homeomorphic to the central Lagrangian fiber in the Dolbeault space, prove that the Dolbeaut and de Rham spaces both have the same cohomology as $Fl_ψ$, and construct a map from the de Rham space to the Betti space which we conjecture to be an analytic isomorphism.
We prove that if X is a Grassmannian of type A, then the Schubert basis of the (small) quantum cohomology ring QH(X) is the only homogeneous deformation of the Schubert basis of the ordinary cohomology ring of X that multiplies with non-negative structure constants. This implies that the (three point, genus zero) Gromov-Witten invariants of X are uniquely determined by Witten's presentation of QH(X) and the fact that they are non-negative. We conjecture that the same is true for any flag variety X = G/P of simply laced Lie type. For the variety GL(n)/B of complete flags, this conjecture is equ…
Using a reduction of the Galois cohomology of a linear algebraic group $G$ to that of a certain finite subquotient, we give different formulas allowing the calculation of the unramified algebraic Brauer group of a homogeneous space $V=G\backslash G'$ with $G'$ semisimple and simply connected, both over a finite field and over an arbitrary field of characteristic $0$.
The subject of this dissertation is the Gysin homomorphism in equivariant cohomology for spaces with torus action. We consider spaces which are quotients of classical semisimple complex linear algebraic groups by a parabolic subgroup with the natural action of a maximal torus, the so-called partial flag varieties. We derive formulas for the Gysin homomorphism for the projection to a point, of the form \[\int_X α= Res_{\mathbf{z}=\infty} \mathcal{Z}(\mathbf{z}, \mathbf{t}) \cdot α(\mathbf{t}),\] for a certain residue operation and a map $\mathcal{Z}(\mathbf{z}, \mathbf{t})$, associated to the r…
Let $f$ and $g$ be reduced homogeneous polynomials in separate sets of variables. We establish a simple formula that relates the eigenspace decomposition of the monodromy operator on the Milnor fiber cohomology of $fg$ to that of $f$ and $g$ separately. We use a relation between local systems and Milnor fiber cohomology that has been established by D. Cohen and A. Suciu.
Let G be a linear algebraic group over the field of real numbers R, and let Y be a right homogeneous space of G. We wish to find a real point of Y or to prove that Y has no real points. We describe a method to do that, implicitly using second nonabelian Galois cohomology. Our method is suitable for computer-assisted calculations.
We give an explicit procedure which computes for degree $d \leq 3$ the correlation functions of topological sigma model (A-model) on a projective Fano hypersurface $X$ as homogeneous polynomials of degree $d$ in the correlation functions of degree 1 (number of lines). We extend this formalism to the case of Calabi-Yau hypersurfaces and explain how the polynomial property is preserved. Our key tool is the construction of universal recursive formulas which express the structural constants of the quantum cohomology ring of $X$ as weighted homogeneous polynomial functions in the constants of the F…
