We show that the product in the quantum K-ring of a generalized flag manifold $G/P$ involves only finitely many powers of the Novikov variables. In contrast to previous approaches to this finiteness question, we exploit the finite difference module structure of quantum K-theory. At the core of the proof is a bound on the asymptotic growth of the $J$-function, which in turn comes from an analysis of the singularities of the zastava spaces studied in geometric representation theory. An appendix by H. Iritani establishes the equivalence between finiteness and a quadratic growth condition on certain shift operators.
We state a precise conjectural isomorphism between localizations of the equivariant quantum K-theory ring of a flag variety and the equivariant K-homology ring of the affine Grassmannian, in particular relating their Schubert bases and structure constants. This generalizes Petersons isomorphism in (co)homology. We prove a formula for the Pontryagin structure constants in the K-homology ring, and we use it to check our conjecture in few situations.
A graph $Gamma$ is $k$-connected-homogeneous ($k$-CH) if $k$ is a positive integer and any isomorphism between connected induced subgraphs of order at most $k$ extends to an automorphism of $Gamma$, and connected-homogeneous (CH) if this property holds for all $k$. Locally finite, locally connected graphs often fail to be 4-CH because of a combinatorial obstruction called the unique $x$ property; we prove that this property holds for locally strongly regular graphs under various purely combinatorial assumptions. We then classify the locally finite, locally connected 4-CH graphs. We also classify the locally finite, locally disconnected 4-CH graphs containing 3-cycles and induced 4-cycles, and prove that, with the possible exception of locally disconnected graphs containing 3-cycles but no induced 4-cycles, every finite 7-CH graph is CH.
We prove the conjectures of Graham-Kumar and Griffeth-Ram concerning the alternation of signs in the structure constants for torus-equivariant K-theory of generalized flag varieties G/P. These results are immediate consequences of an equivariant homological Kleiman transversality principle for the Borel mixing spaces of homogeneous spaces, and their subvarieties, under a natural group action with finitely many orbits. The computation of the coefficients in the expansion of the equivariant K-class of a subvariety in terms of Schubert classes is reduced to an Euler characteristic using the homological transversality theorem for non-transitive group actions due to S. Sierra. A vanishing theorem, when the subvariety has rational singularities, shows that the Euler characteristic is a sum of at most one term--the top one--with a well-defined sign. The vanishing is proved by suitably modifying a geometric argument due to M. Brion in ordinary K-theory that brings Kawamata-Viehweg vanishing to bear.
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.
A reciprocal linear space is the image of a linear space under coordinate-wise inversion. These fundamental varieties describe the analytic centers of hyperplane arrangements and appear as part of the defining equations of the central path of a linear program. Their structure is controlled by an underlying matroid. This provides a large family of hyperbolic varieties, recently introduced by Shamovich and Vinnikov. Here we give a definite determinantal representation to the Chow form of a reciprocal linear space. One consequence is the existence of symmetric rank-one Ulrich sheaves on reciprocal linear spaces. Another is a representation of the entropic discriminant as a sum of squares. For generic linear spaces, the determinantal formulas obtained are closely related to the Laplacian of the complete graph and generalizations to simplicial matroids. This raises interesting questions about the combinatorics of hyperbolic varieties and connections with the positive Grassmannian.