B-sub-modules of Lie(G)/Lie(B) and Smooth Schubert Varieties in G/B
James B. Carrell

TL;DR
This paper establishes combinatorial criteria based on Weyl group properties to determine the smoothness of Schubert varieties in G/B, with specific conditions involving palindromic Poincaré polynomials and tangent space modules.
Contribution
It provides necessary and sufficient combinatorial conditions for smoothness of Schubert varieties in G/B, extending understanding beyond classical cases.
Findings
Schubert variety X(w) is smooth iff its Poincaré polynomial is palindromic and tangent space conditions hold.
The criteria are expressed in terms of Weyl group combinatorics and root systems.
Conditions do not fully characterize smoothness in type G_2 cases.
Abstract
Let G be a complex semi-simple linear algebraic group without G_2 factors, B a Borel subgroup of G and T a maximal torus in B. The flag variety G/B is a projective G-homogeneous variety whose tangent space at the identity coset is isomorphic, as a B-module, to Lie(G)/Lie(B). Recall that if w is an element of the Weyl group W of the pair (G,T), the Schubert variety X(w) in G/B is by definition the closure of the Bruhat cell BwB. In this note we prove that X(w) is non-singular iff the following two conditions hold: 1) its Poincar\'e polynomial is palindromic and 2) the tangent space TE(X(w)) to the set T-stable curves in X(w) through the identity is a -submodule of Lie(G)/Lie(B). This gives two criteria in terms of the combinatorics of W which are necessary and sufficient for X(w) to be smooth: \sum_{x\le w} t^{\ell(x)} is palindromic, and every root of (G,T) in the convex hull of the…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAlgebraic structures and combinatorial models · Advanced Topics in Algebra · Advanced Algebra and Geometry
