arXiv math/03022962003-02math.AG

Schubert induction

Ravi Vakil

备注：: 22 pages, 13 figures; v2 with new application: surprising examples where the Galois/monodromy group is small, inspired by H. Derksen. The groups are computed using Schubert induction

英文摘要：

We describe a Schubert induction theorem, a tool for analyzing intersections on a Grassmannian over an arbitrary base ring. The key ingredient in the proof is the Geometric Littlewood-Richardson rule, described in a companion paper. Schubert problems are among the most classical problems in enumerative geometry of continuing interest. As an application of Schubert induction, we address several long-standing natural questions related to Schubert problems, including: the "reality" of solutions; effective numerical methods; solutions over algebraically closed fields of positive characteristic; solutions over finite fields; a generic smoothness (Kleiman-Bertini) theorem; and monodromy groups of Schubert problems. These methods conjecturally extend to the flag variety.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

An effective decomposition theorem for Schubert varieties

Given a Schubert variety $\mathcal{S}$ contained in a Grassmannian $\mathbb{G}_{k}(\mathbb{C}^{l})$, we show how to obtain further information on the direct summands of the derived pushforward $R π_{*} \mathbb{Q}_{\tilde{\mathcal{S}}}$ given by the application of the decomposition theorem to a suitable resolution of singularities $π: \tilde{\mathcal{S}} \rightarrow \mathcal{S}$. As a by-product, Poincaré polynomial expressions are obtained along with an algorithm which computes the unknown terms in such expressions and which shows that the actual number of direct summands happens to be less th…

2022-03-21math.AG

A new generic vanishing theorem on homogeneous varieties and the positivity conjecture for triple intersections of Schubert cells

In this paper we prove a new generic vanishing theorem for $X$ a complete homogeneous variety with respect to an action of a connected algebraic group. Let $A, B_0\subset X$ be locally closed affine subvarieties, and assume that $B_0$ is smooth and pure dimensional. Let $\mathcal{P}$ be a perverse sheaf on $A$ and let $B=g B_0$ be a generic translate of $B_0$. Then our theorem implies $(-1)^{\operatorname{codim} B}χ(A\cap B, \mathcal{P}|_{A\cap B})\geq 0$. As an application, we prove in full generality a positivity conjecture about the signed Euler characteristic of generic triple intersection…

2023-03-24math.AG

Reality and Computation in Schubert Calculus

The Mukhin-Tarasov-Varchenko Theorem (previously the Shapiro Conjecture) asserts that a Schubert problem has all solutions distinct and real if the Schubert varieties involved osculate a rational normal curve at real points. This sparked interest in real osculating Schubert calculus, and computations played a large role in developing the surrounding theory. We uncover generalizations of the Mukhin-Tarasov-Varchenko Theorem, proving them when possible. We also improve the state of the art of computationally solving Schubert problems, allowing us to more effectively study ill-understood phenomen…

2013-07-07math.AG

Explicit Decomposition Theorem for special Schubert varieties

We give a short and self-contained proof of the Decomposition Theorem for the non-small resolution of a Special Schubert variety. We also provide an explicit description of the perverse cohomology sheaves. As a by-product of our approach, we obtain a simple proof of the Relative Hard Lefschetz Theorem.

2019-10-25math.AGmath.RT

Reality and transversality for Schubert calculus in OG(n,2n+1)

We prove an analogue of the Mukhin-Tarasov-Varchenko theorem (formerly the Shapiro-Shapiro conjecture) for the maximal type B_n orthogonal Grassmannian OG(n,2n+1).

2009-11-11math.AG

An analogue of Bott's theorem for Schubert varieties-related to torus semistable points

Let $G$ be a simple, simply connected algebraic group over the field of complex numbers. We give a necessary and a sufficient condition for a Schubert variety $X(τ)$ for which all the higher cohomologies $H^{i}(X(τ), E)$ vanish for the restriction $E$ of the tangent bundle of $G/B$ to X(τ)$. We further show that the global sections $H^{0}(X(τ), E)$ is the adjoint representation of $G$ when $G$ is simply laced.

2013-03-01math.AGmath.RT

更多相关论文收起更多论文

Billey-Postnikov decompositions and the fibre bundle structure of Schubert varieties

A theorem of Ryan and Wolper states that a type A Schubert variety is smooth if and only if it is an iterated fibre bundle of Grassmannians. We extend this theorem to arbitrary finite type, showing that a Schubert variety in a generalized flag variety is rationally smooth if and only if it is an iterated fibre bundle of rationally smooth Grassmannian Schubert varieties. The proof depends on deep combinatorial results of Billey-Postnikov on Weyl groups. We determine all smooth and rationally smooth Grassmannian Schubert varieties, and give a new proof of Peterson's theorem that all simply-laced…

2017-02-09math.AGmath.CO

Positivity in equivariant Schubert calculus

We prove a conjecture of Dale Peterson on positivity in the multiplication in the T-equivariant cohomology of the flag variety. The theorem follows from a more general positivity result about the equivariant cohomology of varieties with actions of a solvable group with finitely many orbits. This more general result is an equivariant version of a theorem of Kumar and Nori.

1999-08-31math.AGmath.RT

Consequences of the Lakshmibai-Sandhya Theorem: the ubiquity of permutation patterns in Schubert calculus and related geometry

In 1990, Lakshmibai and Sandhya published a characterization of singular Schubert varieties in flag manifolds using the notion of pattern avoidance. This was the first time pattern avoidance was used to characterize geometrical properties of Schubert varieties. Their results are very closely related to work of Haiman, Ryan and Wolper, but Lakshmibai-Sandhya were the first to use that language exactly. Pattern avoidance in permutations was used historically by Knuth, Pratt, Tarjan, and others in the 1960's and 1970's to characterize sorting algorithms in computer science. Lascoux and Sch$\text{…

2014-03-18math.AGmath.CO

Bott-Samelson-Demazure-Hansen Varieties for Projective Homogeneous Varieties with Nonreduced Stabilizers

Over a field of positive characteristic, a semisimple algebraic group $G$ may have some nonreduced parabolic subgroup $P$. In this paper, we study the Schubert and Bott-Samelson-Demazure-Hansen (BSDH) varieties of $G/P$, with $P$ nonreduced, when the base field is perfect. It is shown that in general the Schubert and BSDH varieties of such a $G/P$ are not normal, and the projection of the BSDH variety onto the Schubert variety has nonreduced fibers at closed points. When the base field is finite, the generalized convolution morphisms between BSDH varieties are also studied. It is shown that th…

2022-01-08math.AG

Frontiers of Reality in Schubert Calculus

The theorem of Mukhin, Tarasov, and Varchenko (formerly the Shapiro conjecture for Grassmannians) asserts that all (a priori complex) solutions to certain geometric problems in the Schubert calculus are actually real. Their proof is quite remarkable, using ideas from integrable systems, Fuchsian differential equations, and representation theory. There is now a second proof of this result, and it has ramifications in other areas of mathematics, from curves to control theory to combinatorics. Despite this work, the original Shapiro conjecture is not yet settled. While it is false as stated, it h…

2009-08-06math.AGmath.QA

扭曲仿射 Schubert 簇的光滑轨迹与扭曲仿射 Demazure 模

Smooth locus of twisted affine Schubert varieties and twisted affine Demazure modules

本文对一般扭曲型特殊仿射群概形证明 level one 扭曲仿射 Demazure 模与环面不动点子概形函数环之间的对偶定理，并由此确定任意仿射 Schubert 簇的光滑轨迹，证实 Haines-Richarz 猜想。

2025-05-23math.AGmath.RT

Automorphism groups of Grassmann codes

We use a theorem of Chow (1949) on line-preserving bijections of Grassmannians to determine the automorphism group of Grassmann codes. Further, we analyze the automorphisms of the big cell of a Grassmannian and then use it to settle an open question of Beelen et al. (2010) concerning the permutation automorphism groups of affine Grassmann codes. Finally, we prove an analogue of Chow's theorem for the case of Schubert divisors in Grassmannians and then use it to determine the automorphism group of linear codes associated to such Schubert divisors. In the course of this work, we also give an alt…

2013-05-20cs.ITmath.AGmath.IT

Quantum Generalization of the Horn Conjecture

We prove a theorem which implies a quantum (multiplicative) analogue of the Horn conjecture, and also of the saturation conjecture. We obtain transversality statements for quantum schubert calculus in any characteristic and also determine the smallest power of q in an arbitrary (small quantum) product of Schubert varieties in a Grassmannian.

2005-07-21math.AGmath.RT

Gröbner geometry of Schubert polynomials

Our main theorems provide a single geometric setting in which polynomial representatives for Schubert classes in the integral cohomology ring of the flag manifold are determined uniquely, and have positive coefficients for geometric reasons. This results in a geometric explanation for the naturality of Schubert polynomials and their associated combinatorics. Given a permutation w in S_n, we consider a determinantal ideal I_w whose generators are certain minors in the generic n x n matrix (filled with independent variables). Using `multidegrees' as simple algebraic substitutes for torus-equivar…

2003-09-17math.ACmath.AGmath.CO

Some applications of localization to enumerative problems

A simple corollary of the localization theorem (due to the author and, independently, to Lian-Liu-Yau) is applied to several problems in enumerative geometry. New formulas for Schubert calculus on flag manifolds, due to Kong, and a new reconstruction theorem for genus-zero Gromov-Witten invariants, due to Bertram-Kley, are discussed, as well as some simple functorial properties of Givental's J-function. This paper will appear in the issue of the Michigan Mathematical Journal dedicated to Bill Fulton.

2000-07-13math.AG

Geometric approach to parabolic induction

In this note we construct a "restriction" map from the cocenter of a reductive group G over a local non-archimedean field F to the cocenter of a Levi subgroup. We show that the dual map corresponds to parabolic induction and deduce that parabolic induction preserves stability. We also give a new (purely geometric) proof that the character of normalized parabolic induction does not depend on a parabolic subgroup. In the appendix, we use a similar argument to extend a theorem of Lusztig-Spaltenstein on induced unipotent classes to all infinite fields.

2018-10-10math.AGmath.RT

A q-Analogue of Kempf's vanishing theorem

We use deep properties of Kashiwara's crystal basis to show that the induction functor $ {H}^0 (-) $ introduced by Andersen, Polo and Wen satisfies an analogon of Kempf's vanishing Theorem.

2009-05-03math.AGmath.RT

Involution words: counting problems and connections to Schubert calculus for symmetric orbit closures

Involution words are variations of reduced words for involutions in Coxeter groups, first studied under the name of "admissible sequences" by Richardson and Springer. They are maximal chains in Richardson and Springer's weak order on involutions. This article is the first in a series of papers on involution words, and focuses on their enumerative properties. We define involution analogues of several objects associated to permutations, including Rothe diagrams, the essential set, Schubert polynomials, and Stanley symmetric functions. These definitions have geometric interpretations for certain …

2018-07-05math.AGmath.COmath.RT