We prove a ‘Whitney’ presentation, and a ‘Coulomb branch’ presentation, for the torus equivariant quantum K theory of the Grassmann manifold $\mathrm {Gr}(k;n)$, inspired from physics, and stated in an earlier paper. The first presentation is obtained by quantum deforming the product of the Hirzebruch $\lambda _y$ classes of the tautological bundles. In physics, the $\lambda _y$ classes arise as certain Wilson line operators. The second presentation is obtained from the Coulomb branch equations involving the partial derivatives of a twisted superpotential from supersymmetric gauge theory. This is closest to a presentation obtained by Gorbounov and Korff, utilizing integrable systems techniques. Algebraically, we relate the Coulomb and Whitney presentations utilizing transition matrices from the (equivariant) Grothendieck polynomials to the (equivariant) complete homogeneous symmetric polynomials. Along the way, we calculate K-theoretic Gromov-Witten invariants of wedge powers of the tautological bundles on $\mathrm {Gr}(k;n)$, using the ‘quantum=classical’ statement.

In this article, we study the algebra of Veronese type. We show that the presentation ideal of this algebra has an initial ideal whose Alexander dual has linear quotients. As an application, we explicitly obtain the Castelnuovo–Mumford regularity of the Veronese type algebra. Furthermore, we give an effective upper bound on the multiplicity of this algebra.

In the present notes, we study a generalization of the Peterson subalgebra to an oriented (generalized) cohomology theory which we call the formal Peterson subalgebra. Observe that by recent results of Zhong the dual of the formal Peterson algebra provides an algebraic model for the oriented cohomology of the affine Grassmannian.

Our first result shows that the centre of the formal affine Demazure algebra (FADA) generates the formal Peterson subalgebra. Our second observation is motivated by the Peterson conjecture. We show that a certain localization of the formal Peterson subalgebra for the extended Dynkin diagram of type $\hat A_1$ provides an algebraic model for “quantum” oriented cohomology of the projective line. Our last result can be viewed as an extension of the previous results on Hopf algebroids of structure algebras of moment graphs to the case of affine root systems. We prove that the dual of the formal Peterson subalgebra (an oriented cohomology of the affine Grassmannian) is the zeroth Hochschild homology of the FADA.

Let S and T be smooth projective varieties over an algebraically closed field k. Suppose that S is a surface admitting a decomposition of the diagonal. We show that, away from the characteristic of k, if an algebraic correspondence $T \to S$ acts trivially on the unramified cohomology, then it acts trivially on any normalized, birational and motivic functor. This generalizes Kahn’s result on the torsion order of S. We also exhibit an example of S over $\mathbb {C}$ for which $S \times S$ violates the integral Hodge conjecture.

Let ${\mathscr {G}} $ be a special parahoric group scheme of twisted type over the ring of formal power series over $\mathbb {C}$, excluding the absolutely special case of $A^{(2)}_{2\ell }$. Using the methods and results of Zhu, we prove a duality theorem for general ${\mathscr {G}} $: there is a duality between the level one twisted affine Demazure modules and the function rings of certain torus fixed point subschemes in affine Schubert varieties for ${\mathscr {G}} $. Along the way, we also establish the duality theorem for $E_6$. As a consequence, we determine the smooth locus of any affine Schubert variety in the affine Grassmannian of ${\mathscr {G}} $. In particular, this confirms a conjecture of Haines and Richarz.

This article explores the relationship between Hessenberg varieties associated with semisimple operators with two eigenvalues and orbit closures of a spherical subgroup of the general linear group. We establish the specific conditions under which these semisimple Hessenberg varieties are irreducible. We determine the dimension of each irreducible Hessenberg variety under consideration and show that the number of such varieties is a Catalan number. We then apply a theorem of Brion to compute a polynomial representative for the cohomology class of each such variety. Additionally, we calculate the intersections of a standard (Schubert) hyperplane section of the flag variety with each of our Hessenberg varieties and prove that this intersection possesses a cohomological multiplicity-free property.

In this note, we study the asymptotic Chow stability of symmetric reflexive toric varieties. We provide examples of symmetric reflexive toric varieties that are not asymptotically Chow semistable. On the other hand, we also show that any weakly symmetric reflexive toric varieties which have a regular triangulation (so are special) are asymptotically Chow polystable. Furthermore, we give sufficient criteria to determine when a toric variety is asymptotically Chow polystable. In particular, two examples of toric varieties are given that are asymptotically Chow polystable, but not special. We also provide some examples of special polytopes, mainly in two or three dimensions, and some in higher dimensions.

The Newell–Littlewood (NL) numbers are tensor product multiplicities of Weyl modules for the classical groups in the stable range. Littlewood–Richardson (LR) coefficients form a special case. Klyachko connected eigenvalues of sums of Hermitian matrices to the saturated LR-cone and established defining linear inequalities. We prove analogues for the saturated NL-cone: a description by Extended Horn inequalities (as conjectured in part II of this series), where, using a result of King’s, this description is controlled by the saturated LR-cone and thereby recursive, just like the Horn inequalities; a minimal list of defining linear inequalities; an eigenvalue interpretation; and a factorization of Newell–Littlewood numbers, on the boundary.

We study the problem of the irreducibility of the Hessian variety ${\mathcal {H}}_f$ associated with a smooth cubic hypersurface $V(f)\subset {\mathbb {P}}^n$. We prove that when $n\leq 5$, ${\mathcal {H}}_f$ is normal and irreducible if and only if f is not of Thom-Sebastiani type (i.e., if one cannot separate its variables by changing coordinates). This also generalizes a result of Beniamino Segre dealing with the case of cubic surfaces. The geometric approach is based on the study of the singular locus of the Hessian variety and on infinitesimal computations arising from a particular description of these singularities.

We introduce a new algebra $\mathcal {U}=\dot {\mathrm {\mathbf{U}}}_{0,N}(L\mathfrak {sl}_n)$ called the shifted $0$-affine algebra, which emerges naturally from studying coherent sheaves on n-step partial flag varieties through natural correspondences. This algebra $\mathcal {U}$ has a similar presentation to the shifted quantum affine algebra defined by Finkelberg-Tsymbaliuk. Then, we construct a categorical $\mathcal {U}$-action on a certain 2-category arising from derived categories of coherent sheaves on n-step partial flag varieties. As an application, we construct a categorical action of the affine $0$-Hecke algebra on the bounded derived category of coherent sheaves on the full flag variety.

We study the rationality properties of the moduli space ${\mathcal{A}}_g$ of principally polarised abelian $g$-folds over $\mathbb{Q}$ and apply the results to arithmetic questions. In particular, we show that any principally polarised abelian 3-fold over ${\mathbb{F}}_p$ may be lifted to an abelian variety over $\mathbb{Q}$. This is a phenomenon of low dimension: assuming the Bombieri–Lang conjecture, we also show that this is not the case for abelian varieties of dimension at least 7. Concerning moduli spaces, we show that ${\mathcal{A}}_g$ is unirational over $\mathbb{Q}$ for $g\le 5$ and stably rational for $g=3$. This also allows us to make unconditional one of the results of Masser and Zannier about the existence of abelian varieties over $\mathbb{Q}$ that are not isogenous to Jacobians.

We prove that the only Bott manifolds such that the Futaki invariant vanishes for any Kähler class are isomorphic to the products of the projective lines.

Dale Peterson has discovered a surprising result that the quantum cohomology ring of the flag variety $\operatorname {\mathrm {GL}}_n({\mathbb {C}})/B$ is isomorphic to the coordinate ring of the intersection of the Peterson variety $\operatorname {\mathrm {Pet}}_n$ and the opposite Schubert cell associated with the identity element $\Omega _e^\circ $ in $\operatorname {\mathrm {GL}}_n({\mathbb {C}})/B$. This is an unpublished result, so papers of Kostant and Rietsch are referred for this result. An explicit presentation of the quantum cohomology ring of $\operatorname {\mathrm {GL}}_n({\mathbb {C}})/B$ is given by Ciocan–Fontanine and Givental–Kim. In this paper, we introduce further quantizations of their presentation so that they reflect the coordinate rings of the intersections of regular nilpotent Hessenberg varieties $\operatorname {\mathrm {Hess}}(N,h)$ and $\Omega _e^\circ $ in $\operatorname {\mathrm {GL}}_n({\mathbb {C}})/B$. In other words, we generalize the Peterson’s statement to regular nilpotent Hessenberg varieties via the presentation given by Ciocan–Fontanine and Givental–Kim. As an application of our theorem, we show that the singular locus of the intersection of some regular nilpotent Hessenberg variety $\operatorname {\mathrm {Hess}}(N,h_m)$ and $\Omega _e^\circ $ is the intersection of certain Schubert variety and $\Omega _e^\circ $, where $h_m=(m,n,\ldots ,n)$ for $1<m<n$. We also see that $\operatorname {\mathrm {Hess}}(N,h_2) \cap \Omega _e^\circ $ is related with the cyclic quotient singularity.

We geometrize the mod p Satake isomorphism of Herzig and Henniart–Vignéras using Witt vector affine flag varieties for reductive groups in mixed characteristic. We deduce this as a special case of a formula, stated in terms of the geometry of generalized Mirković–Vilonen cycles, for the Satake transform of an arbitrary parahoric mod p Hecke algebra with respect to an arbitrary Levi subgroup. Moreover, we prove an explicit formula for the convolution product in an arbitrary parahoric mod p Hecke algebra. Our methods involve the constant term functors inspired from the geometric Langlands program, and we also treat the case of reductive groups in equal characteristic. We expect this to be a first step toward a geometrization of a mod p Local Langlands Correspondence.

In our previous paper, we gave a presentation of the torus-equivariant quantum K-theory ring $QK_{H}(Fl_{n+1})$ of the (full) flag manifold $Fl_{n+1}$ of type $A_{n}$ as a quotient of a polynomial ring by an explicit ideal. In this paper, we prove that quantum double Grothendieck polynomials, introduced by Lenart-Maeno, represent the corresponding (opposite) Schubert classes in the quantum K-theory ring $QK_{H}(Fl_{n+1})$ under this presentation. The main ingredient in our proof is an explicit formula expressing the semi-infinite Schubert class associated to the longest element of the finite Weyl group, which is proved by making use of the general Chevalley formula for the torus-equivariant K-group of the semi-infinite flag manifold associated to $SL_{n+1}(\mathbb {C})$.

Let $\mathfrak{g}$ be the queer superalgebra $\operatorname {\mathfrak{q}}(n)$ over the field of complex numbers $\mathbb C$. For any associative, commutative, and finitely generated $\mathbb C$-algebra A with unity, we consider the loop Lie superalgebra $\mathfrak{g} \otimes A$. We define a class of central operators for $\mathfrak{g} \otimes A$, which generalizes the classical Gelfand invariants. We show that they generate the algebra $U(\mathfrak{g} \otimes A)^{\mathfrak{g}}$. We also show that there are no non-trivial $\mathfrak{g}$-invariants of $U(\mathfrak{g} \otimes A)$ where $\mathfrak{g}=\mathfrak{p}(n)$, the periplectic Lie superalgebra.

We consider faithful actions of simple algebraic groups on self-dual irreducible modules and on the associated varieties of totally singular subspaces, under the assumption that the dimension of the group is at least as large as the dimension of the variety. We prove that in all but a finite list of cases, there is a dense open subset where the stabilizer of any point is conjugate to a fixed subgroup, called the generic stabilizer. We use these results to determine whether there exists a dense orbit. This in turn lets us complete the answer to the problem of determining all pairs of maximal connected subgroups of a classical group with a dense double coset.

We construct families of non-toric ${\mathbb {Q}}$-factorial terminal Fano (${\mathbb {Q}}$-Fano) threefolds of codimension $\geq 20$ corresponding to 54 mutation classes of rigid maximally mutable Laurent polynomials. From the point of view of mirror symmetry, they are the highest codimension (non-toric) ${\mathbb {Q}}$-Fano varieties for which we can currently establish the Fano/Landau–Ginzburg correspondence. We construct 46 additional ${\mathbb {Q}}$-Fano threefolds with codimensions of new examples ranging between 19 and 5. Some of these varieties are presented as toric complete intersections, and others as Pfaffian varieties.

Let $(X, \Delta )$ be a klt threefold pair with nef anti-log canonical divisor $-(K_X+\Delta )$. We show that $\kappa (X, -(K_X+\Delta ))\geq 0$. To do so, we prove a more general equivariant non-vanishing result for anti-log canonical bundles, which is valid in any dimension.

We investigate the existence of 4-torsion in the integral cohomology of oriented Grassmannians. We establish bounds on the characteristic rank of oriented Grassmannians and prove some cases of our previous conjecture on the characteristic rank. We also discuss the relation between the characteristic rank and a result of Stong on the height of w1 in the cohomology of Grassmannians. The existence of 4-torsion classes follows from the results on the characteristic rank via Steenrod square considerations. We thus exhibit infinitely many examples of 4-torsion classes for oriented Grassmannians. We also prove bounds on torsion exponents of oriented flag manifolds. The article also discusses consequences of our results for a more general perspective on the relation between the torsion exponent and deficiency for homogeneous spaces.