arXiv Science⌕ Search

arXiv · 2610.32832

Kazhdan--Lusztig Polynomials for permutations with $P_{\mathrm{id},w}(1)=3$ and Irreducible Singular Locus

Abstract

We determine the Kazhdan--Lusztig polynomial $P_{\mathrm{id},w}(q)$ for permutations $w$ such that $P_{\mathrm{id},w}(1)=3$ and the Schubert variety $X_w$ has irreducible singular locus. Let $h=h(w)$ be the minimum height $w(a)-w(d)$ of a $3412$-occurrence in $w$ at positions $a 1$. This proves the irreducible singular locus case of a 2009 conjecture of Billey and Weed.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Gaston Burrull, Zhitong Alex Li, Shixuan Zeng. 2026-10-23. Kazhdan--Lusztig Polynomials for permutations with $P_{\mathrm{id},w}(1)=3$ and Irreducible Singular Locus. https://arxiv.org/abs/2610.32832

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

KEEP EXPLORING

Related papers

Atiyah duality for motivic spectra

We prove that Atiyah duality holds in the $\infty$-category of non-$\mathbb A^1$-invariant motivic spectra over arbitrary derived schemes: every smooth projective scheme is dualizable with dual given by the Thom spectrum of its negative tangent bundle. The Gysin maps recently constructed by L. Tang are a key ingredient in the proof. We then present several applications. First, we study $\mathbb A^1$-colocalization, which transforms any module over the $\mathbb A^1$-invariant sphere into an $\mathbb A^1$-invariant motivic spectrum without changing its values on smooth projective schemes. This can be applied to all known $p$-adic cohomology theories and gives a new elementary approach to "logarithmic" or "tame" cohomology theories; it recovers for instance the logarithmic crystalline cohomology of strict normal crossings compactifications over perfect fields and shows that the latter is independent of the choice of compactification. Second, we prove a motivic Landweber exact functor theorem, associating a motivic spectrum to any graded formal group law classified by a flat map to the moduli stack of formal groups. Using this theorem, we compute the ring of $\mathbb P^1$-stable cohomology operations on the algebraic K-theory of qcqs derived schemes, and we prove that rational motivic cohomology is an idempotent motivic spectrum.

math.AG↗

Künneth and extension theorems for Morita invariants of non-commutative schemes

In this article, we apply the derived Morita theory of dg-categories to show how to extend the domain of validity of many identities relating Morita invariants from associative dg-algebras toward non-commutative scheme. Doing so, we obtain that the dg-category of associative algebras can be used to test the exactness of any sequence and the commutativity of any diagram involving Morita invariants depending multilinearly on their arguments, under a mild condition of stability by cofibrant replacement. This gives a simple picture of how the underlying algebra of a non-commutative scheme captures its Morita invariant properties. As an application, we use a Künneth formula on non-commutative schemes to factorise the Hochschild cohomology of a product of quasi-phantom categories such as built by Orlov and Gorshinsky in [GO13]. This is an occasion to explore how the derived Morita theory interacts with the Čech dg-enhancement of a projective scheme and to shed an unifying light upon the landscape of dg-modules over dg-categories.

math.AG↗

Intersections of Schubert varieties and smooth $T$-stable subvarieties of flag varieties

A smooth projective variety equipped with a suitable torus action admits a cell decomposition, called the Białynicki-Birula decomposition. The singularities of the closures of these cells are not well understood in general. Schubert varieties in a flag variety~\(G/B\) are classical examples of such closures, and several criteria for their smoothness are known. In this paper, we study the closures of Białynicki-Birula cells in regular semisimple Hessenberg varieties~\(\mathrm{Hess}(s,h)\), called Hessenberg Schubert varieties. We first investigate the smoothness of intersections of Schubert varieties with \(\mathrm{Hess}(s,h)\), obtaining a sufficient condition for a Hessenberg Schubert variety to be smooth. We also establish several combinatorial sufficient conditions for the smoothness of Hessenberg Schubert varieties in type \(A\).

math.AG↗