Yesterday I wrote about how I've added horospherical varieties of rank one to Grassmannian.info. I've now also computed the quantum spectra (so the eigenvalues of quantum multiplication by the canonical class), at least for those for which I had the tools. Based on the work of Gonzales–Pech–Perrin–Samokhin these are the sporadic cases $X^2$ and $X^5$ (with $X^4$ still missing) and all odd symplectic Grassmannians $\operatorname{SGr}(m,2n+1)=X^3(n,m)$. The family $X^1(n)$ has no uniform description of quantum cohomology yet, and only $n=3$ is discussed, using the quantum Chevalley formula.

Methods

For $X^1(3)$ and $X^2$ I used the quantum Chevalley formula from Gonzales–Pech;–Perrin–Samokhin (see Section 4), whilst for $X^3(m,n)$ I used their presentation from Theorem 5.17. You can find the code for this below.

Let me show you one of my favourite spectra, that for $\operatorname{SGr}(3,15)=X^3(7,3)$:

Observations

Somehow the spectra are "easier" than they are for generalised Grassmannians: most of the time (at least in the cases where the number of eigenvalues is sufficiently small, say smaller than 1000) all eigenvalues are distinct. This has implications using the Kuznetsov–Smirnov conjecture which I won't discuss here.

But this also already implies that the small quantum cohomology is semisimple. This significantly extends the known semisimplicity results for odd symplectic Grassmannians. Based on the computations in manageable cases one could say optimistically that:

Optimistic conjecture The small quantum cohomology of $\operatorname{SGr}(m,2n+1)$:

  1. is semisimple for all $n\geq 2$ and $m=2,\ldots,n$
  2. has semisimple quantum spectrum whenever $2n+2-m$ divides $(m+1)2^m{n\choose m}-(2n-2m+1)2^{m-1}{n\choose m-1}$

Here $2n+2-m$ is the index, and $(m+1)2^m{n\choose m}-(2n-2m+1)2^{m-1}{n\choose m-1}$ is the dimension of the cohomology, obtained using the blowup description and the fact that the dimension of cohomology of $\operatorname{SGr}(m,2n)=2^m{n\choose m}$.

The computational evidence for this conjecture extends Theorem 4.1 of Geometry of horospherical varieties of Picard rank one, and earlier work of Pech, to all $n\leq 7$, except for $n=5$ and $m=3$ which has zero has an eigenvalue of higher multiplicity. The next case where this happens is $n=8$ and $m=3$ (and $(8,6)$, $(9,5)$, $(11,3)$, etc.) There is some periodicity in these cases, but as the dimensions grows too quickly, no experimental results can be obtained.

At least for $n=5$ and $m=3$ one can use the presentation of quantum cohomology to check that the variety is reduced, by letting Sage compute the number of points using .variety(QQbar).

Code

In case you feel like playing with the quantum cohomology of odd symplectic Grassmannians:

def QH(n, m):
    R = PolynomialRing(QQ, "t", 2*n + 2 - m)

    def d(r):
        return det(matrix(R, r, r, lambda i, j: R.gen(1 + j - i) if 1 + j - i in range(2*n + 2 - m) else 0))

    def b(r):
        return R.gen(r)^2 + 2 * sum([(-1)^i * R.gen(r + i) * R.gen(r - i) for i in range(1, 2*n + 2 - m) if r + i in range(2*n + 2 - m) and r-i in range(2*n + 2 - m)])

    # set q = 1 in their presentation
    return R.ideal([R.gen(0) - 1] + [d(r) for r in range(m + 1, 2*n + 2 - m)] + [d(2*n + 2 - m) - (0 if m % 2 == 0 else 1)] + [b(r) - (-1)^(2*n + 1 - m - r) * (0 if 2*r - 2*n - 2 + m < 0 else R.gen(2*r - 2*n - 2 + m)) for r in range(n + 2 - m, n + 1)])

def eigenvalues(n, m):
    I = QH(n, m)
    basis = I.normal_basis()
    M = [I.reduce(-I.ring().gen(1) * f) for f in basis]
    return matrix(QQ, len(basis), len(basis), lambda i, j: M[i].monomial_coefficient(basis[j])).eigenvalues()

Semisimplicity of small quantum cohomology of generalised Grassmannians

One can apply the same observation regarding distinct eigenvalues to the semisimplicity of small quantum cohomology of generalised Grassmannians, and obtain semisimplicity in cases where it was not observed before. In the exceptional types this applies to $\mathrm{E}_6/\mathrm{P}_3=\mathrm{E}_6/\mathrm{P}_5$ and $\mathrm{F}_4/\mathrm{P}_2$.

In standard types and low rank, one gets the semisimplicity of

  • type B: $\operatorname{OGr}(4,13)$ and $\operatorname{OGr}(4,15)$ (but not $\operatorname{OGr}(4,11)$, as the index, which is 6, does not divide the dimension of cohomology, which is 80)
  • type C: $\operatorname{SGr}(3,10)$ and $\operatorname{SGr}(3,12)$ (but not $\operatorname{SGr}(3,8)$ or $\operatorname{SGr}(3,14)$, again by divisibility issues)

I have updated the display on the website accordingly.

Acknowledgements I thank Ryan Shifler and Maxim Smirnov for interesting discussions!