arXiv ScienceSearch

arXiv · 2608.10516

Richardson volume models for skew Schur and skew Schur $P/Q$-functions

Abstract

We identify ordinary skew Schur polynomials and skew Schur $P$-functions as top-degree total-Chern intersection polynomials on Richardson varieties in ordinary and Lagrangian Grassmannians. We then obtain that \[ \mathcal N(s_{λ/μ}),\qquad \mathcal N(P_{λ/μ}),\qquad \mathcal N(Q_{λ/μ}) \] are realizable volume polynomials. This settles the skew-Schur and Schur-$P$ Lorentzian conjectures of Huh--Matherne--Mészáros--St.~Dizier and strengthens the latter to arbitrary skew $P/Q$-functions. The constructions extend to cycle transforms attached to arbitrary irreducible subvarieties of ordinary and Lagrangian Grassmannians. Their realizable-volume interpretation yields reverse Khovanskii--Teissier and Lorentzian Hodge--Riemann inequalities for ordinary and shifted tableau multiplicities; exact ordinary skew-Schur support permutahedra and extremal coefficients; the known straight shifted support polytopes with their vertex coefficients; implicit exact permutahedra for arbitrary skew $P/Q$-functions; and weighted-aggregation, covariance, and two-row Littlewood--Richardson consequences. An appendix by Zhenpeng Wang constructs the dual type~$D$ spinor cycle transform and a direct Richardson realization of $Q_{λ/μ}$. In characteristic two, compatible very special isogenies induce finite flat radicial morphisms between the ambient Lagrangian and spinor models. Their restrictions to the corresponding Richardson varieties have degrees $2^{\ell(λ)-\ell(μ)}$ and $2^{|λ|-|μ|-\ell(λ)+\ell(μ)}$, and a regular complete-intersection bridge explains the difference between the two projective-bundle shifts.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Khai-Hoan Nguyen-Dang, with an Appendix by Zhenpeng Wang. 2026-08-25. Richardson volume models for skew Schur and skew Schur $P/Q$-functions. https://arxiv.org/abs/2608.10516

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

KEEP EXPLORING

Related papers

On the Hamiltonicity, traceability and toughness of complements of line graphs

A coline graph $\text{co}(G)$ of a graph $G$ is the graph with vertex set $E(G)$ for which two vertices $e$ and $e'$ of $\text{co}(G)$ are adjacent if and only if they are not adjacent as edges in $G$. A graph $G$ is tough if the number of connected components of $G-S$ is at most $|S|$ for all cut sets $S$. Wu and Meng, and Liu independently gave similar characterisations of coline graphs that are Hamiltonian. In this paper we give an alternate proof of Wu and Meng's and Liu's results using the longest cycle method. We in fact prove the following reformulation of their results. A tough coline graph $\text{co}(G)$ is Hamiltonian unless $G$ is one of four examples, one of which is $K_5$, since $\text{co}(K_5)$ is the Petersen graph. Characterisations of tough coline graphs and of coline graphs that contain a Hamiltonian path are also given.

math.CO

Deficit bounds and equality cases in the Tu--Deng problem

Let $N=2^k-1$, and let $S_{t,k}$ consist of the pairs $0\le a,b<N$ such that $a+b\equiv t\pmod N$ and $\wt(a)+\wt(b)<k$. The Tu--Deng bound $|S_{t,k}|\le 2^{k-1}$ has recently been proved. In this paper, we give a combinatorial proof of the equality criterion. If the $k$-bit cyclic word of $t$ has $Z$ zeros and $g_1,\ldots,g_Z$ are the numbers of ones between successive zeros, then $$|S_{t,k}|=2^{k-1} \quad\Longleftrightarrow\quad g_i\ge Z-1\quad(1\le i\le Z).$$ Moreover, we recover the resulting enumeration of the equality parameters. Beyond equality, if $R\ge Z\ge2$, where $R$ is the number of ones, then every nonequality parameter satisfies $$2^{k-1}-|S_{t,k}|\ge 2^{R-Z+1},$$ and we classify all cases in which this bound is attained. For $R<Z$ we obtain a congruence for $|S_{t,k}|$ and a lower bound for the deficit in terms of the number of cyclic runs of ones.

math.CO

An Improvement to the Upper Bound for Marton's Covering Conjecture

Marton's covering conjecture studies finite sets in high-dimensional binary spaces whose pairwise sums create relatively few new elements. It predicts that every such set can be described efficiently by shifted copies of one linear subspace of comparable size. Gowers, Green, Manners, and Tao [GGMT25] proved the conjecture with exponent $12$. Liao [L24] improved the exponent to $9$. We improve it further to $5.287$.

math.CO