Search arXiv⌕ Search

arXiv · 2609.30242

A Peterson program for general Schubert varieties and mirror symmetry

Abstract

We initiate a `Peterson program' that seeks to extend Dale Peterson's theory for the quantum cohomology of flag varieties to arbitrary Schubert varieties, and that incorporates a mirror-symmetric approach. In this first paper we introduce a generalisation of the (localised) Peterson variety associated to an arbitrary Schubert variety $\check X_{w,P}$ inside a partial flag variety $\check G/\check P$. This generalisation is possibly a non-reduced affine scheme that lies in the Langlands dual full flag variety $G/B$. Additionally, we construct a Lie-theoretic `superpotential' associated to $\check X_{w,P}$, generalising earlier ones for the flag varieties $\check G/\check P$ from [Rie08], and we show that its relative critical point locus recovers the generalised Peterson variety. We make the key conjecture that for smooth Fano Schubert varieties the coordinate ring of the generalised Peterson variety recovers the quantum cohomology ring of $\check X_{w,P}$ localised at the quantum parameters. For smooth Fano Schubert varieties $X_{w,B}$ in $\check G/\check B$ we furthermore map our generalised Peterson variety to the cotangent bundle $\mathcal T^*(T)$ of the maximal torus $T$ of $G$ and construct a partial compactification that we conjecture models the full quantum cohomology ring of $\check X_{w,B}$, in analogy with the Givental-Kim presentation of $QH^*(\check G/\check B)$ via the degenerate leaf of the Kostant Toda lattice of $\check G$. These conjectures are verified for all smooth Schubert divisors in the complete type $A$ flag variety, and we show that our superpotential agrees with that introduced for Grassmannian Schubert varieties by Rietsch and Williams, after a suitable isomorphism of the domains.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Changzheng Li, Konstanze Rietsch, Mingzhi Yang. 2026-09-24. A Peterson program for general Schubert varieties and mirror symmetry. https://arxiv.org/abs/2609.30242

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Categorifying Quiver Linking/Unlinking using CoHA Modules

The knots-quivers correspondence is a relation between knot invariants and enumerative invariants of quivers, which in particular translates the knot operations of linking and unlinking to a certain mutation operation on quivers. In this paper we show that the moduli spaces of a quiver and its linking/unlinking are naturally related, giving a purely representation theoretic interpretation of these operations. We obtain a relation between the cohomologies of these spaces which is moreover compatible with a natural action of the Cohomological Hall Algebra. The result is a categorification of quiver linking/unlinking at the level of CoHA modules.

math.AG↗

On the prime ideals of higher secant varieties of Veronese embeddings of small degrees

In this paper, we study minimal generators of the (saturated) defining ideal of the $k$-secant variety $σ_k(v_d(\mathbb{P}^n))$ of the image of the $d$-uple Veronese embedding $v_d: \mathbb{P}^n \rightarrow \mathbb{P}^N$ with ${N=\binom{n+d}{d}-1}$, focusing on cases where the degree of $σ_k(v_d(\mathbb{P}^n))$ is relatively small. First, we show that the prime ideal $I(σ_4(v_3(\mathbb{P}^3)))$ is minimally generated by $36$ homogeneous polynomials of degree $5$. This implies that $σ_4(v_3(\mathbb{P}^3)) \subset \mathbb{P}^{19}$ is a del Pezzo $4$-secant variety (i.e., $\mathrm{deg}(σ_4(v_3(\mathbb{P}^3))) = 105$ and the sectional genus $π(σ_4(v_3(\mathbb{P}^3))) = 316$), thereby providing a new example of an arithmetically Gorenstein variety of codimension $4$. This result addresses the symmetric version of the ``Salmon problem'' posed by E. Allman in \cite{Allman}. As an application, we decide the non-singularity of a certain locus in $σ_4(v_3(\mathbb{P}^3))$. Furthermore, by inheritance, we obtain the generators of $I(σ_4(v_3(\mathbb{P}^n)))$ for all $n \geq 3$. Based on the method used for $σ_4(v_3(\mathbb{P}^3))$, we also propose a procedure to compute the first non-trivial degree piece, $I(σ_k(v_d(\mathbb{P}^n)))_{k+1}$, for the general $k$-secant case using prolongation and weight space decomposition. Applying this procedure, we present a few more cases of $k$-secant varieties of relatively small degrees; in each of these cases, the ideal is generated in degree $k+1$ and can be fully determined by explicitly computing all generators within this degree piece.

math.AG↗

Symmetric quasi-coherent sheaves

Using methods of stable homotopy theory, the category of symmetric quasi-coherent sheaves associated with non-commutative graded algebras with extra symmetries is introduced and studied in this paper. It is shown to be a closed symmetric monoidal Grothendieck category with invertible generators. It is proven that the category of quasi-coherent sheaves on a projective scheme is recovered out of symmetric quasi-coherent sheaves. As an application, symmetric projective schemes associated to such algebras are introduced and studied. It is shown that classical projective schemes are recovered from symmetric ones.

math.AG↗