Strict Bott-Samelson Resolutions of Schubert Varieties
Sergio Da Silva
备注：
18 pages; Sage code included in ancillary file; Accepted for publication in Experimental Mathematics; Revised version includes new content relating this work to known research. It also includes updated computer results
We explore the relationship between two desingularization techniques for Schubert varieties. The Bott-Samelson resolution is the more common of the two, but it fails to encompass many properties that Hironaka resolutions provide, in particular, being an isomorphism over the smooth locus. Using a computer search, a list of cases where Bott-Samelson resolutions having this "strictness" property is compiled for the $n=5,6$ cases. A conjecture based on these results is formulated and is subsequently verified for $n=7,8$. A comparison between Bott-Samelson resolutions and blow-ups is also provided.
We use Bott-Samelson resolutions of Schubert varieties in Grassmannians along with equiariant localization techniques to show that the factorial Schur functions and the factorial Grothendieck polynomials represent Schubert classes in equivariant cohomology and equivariant K-theory respectively.
We investigate families of minimal rational curves on Schubert varieties, their Bott-Samelson desingularizations, and their generalizations constructed by Nicolas Perrin in the minuscule case. In particular, we describe the minimal families on small resolutions of minuscule Schubert varieties.
Let $G$ denote an adjoint semi-simple group over an algebraically closed field and $T$ a maximal torus of $G$. Following Contou-Carrère [CC], we consider the Bott-Samelson resolution of a Schubert variety as a variety of galleries in the building associated to the group $G$. We first determine a cellular decomposition of this variety analogous to the Bruhat decomposition of a Schubert variety and then we describe the fibre of this resolution above a $T-$fixed point.
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…
We compute the Newton--Okounkov bodies of line bundles on a Bott--Samelson resolution of the complete flag variety of $GL_n$ for a geometric valuation coming from a flag of translated Schubert subvarieties. The Bott--Samelson resolution corresponds to the decomposition $(s_1)(s_2s_1)(s_3s_2s_1)(\ldots)(s_{n-1}\ldots s_1)$ of the longest element in the Weyl group, and the Schubert subvarieties correspond to the terminal subwords in this decomposition. We prove that the resulting Newton--Okounkov polytopes for semiample line bundles satisfy the additivity property with respect to the Minkowski s…
We obtain two combinatorial results: an equality of Weyl groups and an inequality of roots, in the setting of generalised Bott-Samelson resolutions of minuscule Schubert varieties. These results are used in the companion paper [BK19] to describe minimal rational curves on these resolutions, and their relation to lines on the Schubert varieties.
Based on recent advances on the relation between geometry and representation theory, we propose a new approach to elliptic Schubert calculus. We study the equivariant elliptic characteristic classes of Schubert varieties of the generalized full flag variety $G/B$. For this first we need to twist the notion of elliptic characteristic class of Borisov-Libgober by a line bundle, and thus allow the elliptic classes to depend on extra variables. Using the Bott-Samelson resolution of Schubert varieties we prove a BGG-type recursion for the elliptic classes, and study the Hecke algebra of our ellipti…
We use the toric degeneration of Bott-Samelson varieties and the description of cohomolgy of line bundles on toric varieties to deduce vanishings results for the cohomology of lines bundles on Bott-Samelson varieties.
We give a description of the moment graph for Bott-Samelson varieties in arbitrary Lie type. We use this, along with curve neighborhoods and explicit moduli space computations, to compute a presentation for the small quantum cohomology ring of a particular Bott-Samelson variety in Type $A$. We also show the conjecture $\mathcal{O}$ of Galkin, Golyshev, and Iritani holds for that Bott-Samelson variety.
We give a new construction of the Bott-Samelson variety $Z$ as the closure of a $B$-orbit in a product of flag varieties $(G/B)^l$. This also gives an embedding of the projective coordinate ring of the variety into the function ring of a Borel subgroup: $\CC[Z] \subset \CC[B]$. In the case of the general linear group $G = GL(n)$, this identifies $Z$ as a configuration variety of multiple flags subject to certain inclusion conditions, closely related to the the matrix factorizations of Berenstein, Fomin and Zelevinsky. As an application, we give a geometric proof of the theorem of Kraskiewicz a…
By using row convex tableaux, we study the section rings of Bott-Samelson varieties of type A. We obtain flat deformations and standard monomial type bases of the section rings. In a separate section, we investigate a three dimensional Bott-Samelson variety in detail and compute its Hilbert polynomial and toric degenerations.
The aim of this text is to give an explicit formula for the restriction to fixed points of a basis of the equivariant K-theory of the flag varieties and of the Bott-Samelson varieties.
We construct a basis of the equivariant $K$-theory of Bott towers, and we describe precisely the multiplicative structure of these algebras. We deduce similar results for Bott-Samelson varieties. Thanks to the link between flag varieties and Bott-Samelson varieties, we give a method to compute the structure constants of the equivariant $K$-theory of flag varieties in the basis constructed by Kostant and Kumar.
We compute the cone of effective divisors on a Bott-Samelson variety corresponding to an arbitrary sequence of simple roots. The main tool is a general result concerning effective cones of certain $B$-equivariant $\mathbb{P}^1$ bundles. As an application, we compute the cone of effective codimension-two cycles on Bott-Samelson varieties corresponding to reduced words. We also obtain an auxiliary result giving criteria for a Bott-Samelson variety to contain a dense $B$-orbit, and we construct desingularizations of intersections of Schubert varieties. An appendix exhibits an explicit divisor sho…
Following Contou-Carrere [CC], we consider the Bott-Samelson resolution of a Schubert variety as a variety of galleries in the Tits building associated to the situation. We prove that the rational smoothness of a Schubert variety can be expressed in terms of a subspace of the Zariski tangent space called, the combinatorial tangent space. For this, we use a characterization of rational smoothness of a Schubert variety introduced by Carrell and Peterson [CP].
In this paper we construct a degeneration of Bott-Samelson-Demazure-Hansen varieties to toric varieties in an algebraic family and study the geometry of the resulting toric varieties. We give a natural set of torus invariant curves that generate the Chow group of $1$-cycles of the limiting toric variety and express the ample cone of this toric variety as a sub-cone of the ample cone of the corresponding Bott-Samelson-Demazure-Hansen variety. We also give a description of Extremal and Mori rays and determine when this toric variety is Fano.
We prove that, defined with respect to versal flags, the product of two relative Bott-Samelson varieties over the flag bundle is a resolution of singularities of a relative Richardson variety. This result generalizes Brion's resolution of singularities of Richardson varieties to the relative setting. It reflects the phenomenon that the local geometry of a relative Richardson variety is completely governed by the two intersecting relative Schubert varieties, studied by Chan-Pflueger. We also prove an analogous theorem in the case of relative Grassmannian Richardson varieties, thereby furnishing…
We determine the structure of the equivariant cohomology and $K$-theory of Bott towers. By restriction, we obtain similar results for Bott-Samelson varieties. This results allow us to describe more precisely the equivariant cohomology and $K$-theory of the flag variety $X$. We give an expression for the cup product in $H_T^*(X)$.
We prove that on a Bott-Samelson variety $X$ every movable divisor is nef. This enables us to consider Zariski decompositions of effective divisors, which in turn yields a description of the Mori chamber decomposition of the effective cone. This amounts to information on all possible birational morphisms from $X$. Applying this result, we prove the rational polyhedrality of the global Newton-Okounkov body of a Bott-Samelson variety with respect to the so called `horizontal' flag. In fact, we prove the stronger property of the finite generation of the corresponding global value semigroup.
In the framework of the problem of characterizing complete flag manifolds by their contractions, the complete flags of type $F_4$ and $G_2$ satisfy the property that any possible tower of Bott-Samelson varieties dominating them birationally deforms in a nontrivial moduli. In this paper we illustrate the fact that, at least in some cases, these deformations can be explained in terms of automorphisms of Schubert varieties, providing variations of certain isotropic structures on them. As a corollary, we provide a unified and completely algebraic proof of the characterization of complete flag mani…
We consider the T-equivariant cohomology of Bott-Samelson desingularisations of Schubert varieties in the flag manifold of a connected semi-simple complex algebraic group of adjoint type with maximal torus T. We construct a combinatorially pure (in the sense of T. Braden and R. Macpherson) sheaf on the Bruhat graph of the associated Weyl group such that its global sections give the T-equivariant cohomology of our Bott-Samelson resolution.
In this paper we study the geometry of toric degeneration of a Bott-Samelson-Demazure-Hansen (BSDH) variety. We give some applications to BSDH varieties. Precisely, we classify Fano, weak Fano and log Fano BSDH varieties and their toric limits in Kac-Moody setting. We prove some vanishing theorems for the cohomology of tangent bundle (and line bundles) on BSDH varieties. We also recover the results in arXiv:1604.01998, by toric methods.
We study torus-equivariant vector bundles $E$ on a complex projective variety $X$ which is either a Bott-Samelson-Demazure-Hansen variety or a wonderful compactification of a complex symmetric variety of minimal rank. We show that $E$ is nef (respectively, ample) if and only if its restriction to every torus--invariant curve in $X$ is nef (respectively, ample). We also compute the Seshadri constants $\varepsilon(E,x)$, where $x\, \in\, X$ is any point fixed by the action of a maximal torus.
We prove that the Gromov width of any Bott-Samelson variety birational to a Schubert variety and equipped with a rational Kähler form equals the symplectic area of a minimal curve. From this, we derive an estimate for the Seshadri constants of ample line bundles on Bott-Samelson varieties.
We construct an explicit basis for the coordinate ring of the Bott-Samelson variety Z_i associated to G = GL(n) and an arbitrary sequence of simple reflections i. Our basis is parametrized by certain standard tableaux and generalizes the Standard Monomial basis for Schubert varieties. Our standard tableaux have a natural crystal graph structure.
We introduce the notion of flag Bott-Samelson variety as a generalization of Bott-Samelson variety and flag variety. Using a birational morphism from an appropriate Bott-Samelson variety to a flag Bott-Samelson variety, we compute Newton-Okounkov bodies of flag Bott-Samelson varieties as generalized string polytopes, which are applied to give polyhedral expressions for irreducible decompositions of tensor products of $G$-modules. Furthermore, we show that flag Bott-Samelson varieties are degenerated into flag Bott manifolds with higher rank torus actions, and find the Duistermaat-Heckman measu…
We provide several ingredients towards a generalization of the Littlewood-Richardson rule from Chow groups to algebraic cobordism. In particular, we prove a simple product-formula for multiplying classes of smooth Schubert varieties with any Bott-Samelson class in algebraic cobordism of the grassmannian. We also establish some results for generalized Schubert polynomials for hyperbolic formal group laws.
We prove a formula for the structure constants of multiplication of equivariant Schubert classes in both equivariant cohomology and equivariant K-theory of Kac-Moody flag manifolds G/B. We introduce new operators whose coefficients compute these (in a manifestly polynomial, but not positive, way), resulting in a formula much like and generalizing the positive Andersen-Jantzen-Soergel/Billey and Graham/Willems formulae for the restriction of classes to fixed points. Our proof involves Bott-Samelson manifolds, and in particular, the (K-)cohomology basis dual to the (K-)homology basis consisting …
We use incidence relations running in two directions in order to construct a Kempf-Laksov type resolution for any Schubert variety of the complete flag manifold but also an embedded resolution for any Schubert variety in the Grassmannian. These constructions are alternatives to the celebrated Bott-Samelson resolutions. The second process led to the introduction of W-flag varieties, algebro-geometric objects that interpolate between the standard flag manifolds and products of Grassmannians, but which are singular in general. The surprising simple desingularization of a particular such type of v…
Let $G$ be a simple algebraic group over the field of complex numbers. Fix a maximal torus $T$ and a Borel subgroup $B$ of $G$ containing $T$. Let $w$ be an element of the Weyl group $W$ of $G$, and let $Z(\tilde w)$ be the Bott-Samelson-Demazure-Hansen (BSDH) variety corresponding to a reduced expression $\tilde w$ of $w$ with respect to the data $(G, B, T)$. In this article we give complete characterization of the expressions $\tilde w$ such that the corresponding BSDH variety $Z(\tilde w)$ is Fano or weak Fano. As a consequence we prove vanishing theorems of the cohomology of tangent bundle…
Let $G=PSp(2n, \mathbb C)(n\geq 3)$ and $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G$. Let $w$ be an element of the Weyl group $W$ and $X(w)$ be the Schubert variety in the flag variety $G/B$ corresponding to $w$. Let $Z(w,\underline i)$ be the Bott-Samelson-Demazure-Hansen variety (the desingularization of $X(w)$) corresponding to a reduced expression $\underline i$ of $w$. In this article, we study the cohomology groups of the tangent bundle on $Z(w_0, \underline i)$, where $w_0$ is the longest element of the Weyl group $W$. We describe all the reduced expressions $\un…
In this paper, we construct stable Bott--Samelson classes in the projective limit of the algebraic cobordism rings of full flag varieties, upon an initial choice of a reduced word in a given dimension. Each stable Bott--Samelson class is represented by a bounded formal power series modulo symmetric functions in positive degree. We make some explicit computations for those power series in the case of infinitesimal cohomology. We also obtain a formula of the restriction of Bott--Samelson classes to smaller flag varieties.
Let $G$ be a simple, adjoint, algebraic group over the field of complex numbers, $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G$, $w$ be an element of the Weyl group $W$ and $X(w)$ be the Schubert variety in $G/B$ corresponding to $w$. Let $Z(w,\underline i)$ be the Bott-Samelson-Demazure-Hansen variety (the desingularization of the Schubert variety $X(w)$) corresponding to a reduced expression $\underline i$ of $w$. In this article, we compute the connected component $Aut^0(Z(w, \underline i))$ of the automorphism group of $Z(w,\underline i)$ containing the identity autom…
We give a topological explanation of the main results of V.Shchigolev, Categories of Bott-Samelson Varieties, Algebras and Representation Theory, 23 (2), 349-391, 2020. To this end, we consider some subspaces of Bott-Samelson varieties invariant under the action of the maximal compact torus $K$ and study their topological and homological properties. Moreover, we describe multiplicative generators of the equivariant cohomologies of Bott-Samelson varieties.
We describe, under certain conditions, the Newton-Okounkov body of a Bott-Samelson variety as a lattice polytope defined by an explicit list of inequalities. The valuation that we use to define the Newton-Okounkov body is different from that used previously in the literature. The polytope that arises is a special case of the Grossberg-Karshon twisted cubes studied by Grossberg and Karshon in connection to character formulae for irreducible $G$-representations and also studied previously by the authors in relation to certain toric varieties associated to Bott-Samelson varieties.
Let $G$ be a semi-simple simply connected algebraic group over an algebraically closed field $k$ of arbitrary characteristic. Let $B$ be a Borel subgroup of $G$ containing a maximal torus $T$ of $G.$ Let $W$ be the Weyl group of $G$ with respect to $T$. For an arbitrary sequence $w=(s_{i_{1}},s_{i_{2}},\ldots, s_{i_{r}})$ of simple reflections in $W,$ let $Z_{w}$ be the Bott-Samelson-Demazure-Hansen variety (BSDH-variety for short) corresponding to $w.$ Let $\widetilde{Z_{w}}:=G\times^{B}Z_{w}$ denote the fibre bundle over $G/B$ with the fibre over $B/B$ is $Z_{w}.$ In this article, we give ne…
We characterize complete intersection matrix Schubert varieties, generalizing the classical result on one-sided ladder determinantal varieties. We also give a new proof of the F-rationality of matrix Schubert varieties. Although it is known that such varieties are F-regular (hence F-rational) by the global F-regularity of Schubert varieties, our proof is of independent interest since it does not require the Bott-Samelson resolution. As a consequence, this provides an alternative proof of the classical fact that Schubert varieties in flag varieties are normal and have rational singularities.
S.~Elnitsky (1997) gave an elegant bijection between rhombic tilings of $2n$-gons and commutation classes of reduced words in the symmetric group on $n$ letters. P.~Magyar (1998) found an important construction of the Bott-Samelson varieties introduced by H.C.~Hansen (1973) and M.~Demazure (1974). We explain a natural connection between S.~Elnitsky's and P.~Magyar's results. This suggests using tilings to encapsulate Bott-Samelson data (in type $A$). It also indicates a geometric perspective on S.~Elnitsky's combinatorics. We also extend this construction by assigning desingularizations to the…
A Newton-Okounkov convex body is a convex body constructed from a projective variety with a valuation on its homogeneous coordinate ring; this generalizes a Newton polytope for a toric variety. This convex body has various kinds of information about the original projective variety; for instance, Kaveh showed that the string polytopes from representation theory are examples of Newton-Okounkov bodies for Schubert varieties. In this paper, we extend the notion of string polytopes for Demazure modules to generalized Demazure modules, and prove that the resulting generalized string polytopes are id…
For any Bott-Samelson resolution $q_{I}:\hat{X_{I}}\rightarrow G/B$ of the flag variety $G/B$, and any torus equivariant oriented cohomology $h_T$, we compute the restriction formula of certain basis $η_L$ of $h_T(\hat{X_{I}})$ determined by the projective bundle formula. As an application, we show that $h_T(\hat{X_{I}})$ embeds into the equivariant oriented cohomology of $T$-fixed points, and the image can be characterized by using the Goresky-Kottwitz-MacPherson (GKM) description. Furthermore, we compute the push-forward of the basis $η_L$ onto $h_T(G/B)$, and their restriction formula.
Let X be the direct product of two Grassmann varieties of k- and l-planes in a finite-dimensional vector space V, and let B be the isotropy group of a complete flag in V. We consider B-orbits in X, which are an analog to Schubert cells in Grassmannians. We describe this set of orbits combinatorially and construct desingularizations for the closures of these orbits, similar to the Bott--Samelson desingularizations for Schubert varieties.
Let $C$ be a symmetrizable generalized Cartan matrix. We introduce four different versions of double Bott-Samelson cells for every pair of positive braids in the generalized braid group associated to $C$. We prove that the decorated double Bott-Samelson cells are smooth affine varieties, whose coordinate rings are naturally isomorphic to upper cluster algebras. We explicitly describe the Donaldson-Thomas transformations on double Bott-Samelson cells and prove that they are cluster transformations. As an application, we complete the proof of the Fock-Goncharov duality conjecture in these cases.…
We prove that the prime torsion in the local integral intersection cohomology of Schubert varieties in the flag variety of the general linear group grows exponentially in the rank. The idea of the proof is to find a highly singular point in a Schubert variety and calculate the Euler class of the normal bundle to the (miraculously smooth) fibre in a particular Bott-Samelson resolution. The result is a geometric version of an earlier result established using Soergel bimodule techniques.
We use the theory of Mori dream spaces to prove that the global Okounkov body of a Bott-Samelson variety with respect to a natural flag of subvarieties is rational polyhedral. In fact, we prove more generally that this holds for any Mori dream space which admits a flag of Mori dream spaces satisfying a certain regularity condition. As a corollary, Okounkov bodies of effective line bundles over Schubert varieties are shown to be rational polyhedral. In particular, it follows that the global Okounkov body of a flag variety $G/B$ is rational polyhedral. As an application we show that the asymptot…
Let $T$ be a maximal torus of a semisimple complex algebraic group, $\mathrm{BS}(s)$ be the Bott-Samelson variety for a sequence of simple reflections $s$ and $\mathrm{BS}(s)^T$ be the set of $T$-fixed points of $\mathrm{BS}(s)$. We prove the tensor product decompositions for the image of the restriction $H^\bullet_T(\mathrm{BS}(s),k)\to H_T^\bullet(X,k)$, where $X\subset\mathrm{BS}(s)^T$ is defined by some special not overlapping equations $γ_iγ_{i+1}\cdotsγ_j=w_{i,j}$ with right-hand sides belonging to the Weyl group.
We construct combinatorial bases of the $T$-equivariant ($T$ is the maximal torus) cohomology $H^\bullet_T(Σ,k)$ of the Bott-Samelson variety $Σ$ under some mild restrictions on the field of coefficients $k$. This bases allow us to prove the surjectivity of the restrictions $H^\bullet_T(Σ,k)\to H^\bullet_T(π^{-1}(x),k)$ and $H^\bullet_T(Σ,k)\to H^\bullet_T(Σ\setminusπ^{-1}(x),k)$, where $π:Σ\to G/B$ is the canonical resolution. In fact, we also construct bases of the targets of these restrictions by picking up certain subsets of certain bases of $H^\bullet_T(Σ,k)$ and restricting them to $π^{-…
We consider all Bott-Samelson varieties ${\rm BS}(s)$ for a fixed connected semisimple complex algebraic group with maximal torus $T$ as the class of objects of some category. The class of morphisms of this category is an extension of the class of canonical (inserting the neutral element) morphisms ${\rm BS}(s)\hookrightarrow{\rm BS}(s')$, where $s$ is a subsequence of $s'$. Every morphism of the new category induces a map between the $T$-fixed points but not necessarily between the whole varieties. We construct a contravariant functor from this new category to the category of graded $H^\bulle…
Let X be a minuscule Schubert variety and $α$ a class of 1-cycle on X. In this article we describe the irreducible components of the scheme of morphisms of class $α$ from a rational curve to X. The irreducible components are described in the following way : the class $α$ can be seen as an element of $Pic(X)^*$ the dual of the Picard group. Because any Weil-divisor need not to be a Cartier-divisor, there is (only) a surjective map $s:A^1(X)^*\to Pic(X)^*$ from the dual of the group of codimension 1 cycles to the dual of the Picard group. The irreducible components are given by the effective ele…
Let $G$ be a semisimple, simply connected algebraic group over an algebraically closed field of characteristic zero. We prove that the $\infty$-category of D-modules on the loop group of $G$ is equivalent to the monoidal colimit of the $\infty$-categories of D-modules on the standard parahoric subgroups. This also follows from arXiv:2009.10998, but the present paper gives a simpler proof. The idea is to develop a combinatorial model for the path space of a simplicial complex, in which 'paths' are sequences of adjacent simplices, and to use a generalized version of hyperdescent for D-modules. W…
Fudan University（复旦大学）；China Agricultural University（中国农业大学）；Guangdong Technion–Israel Institute of Technology（广东以色列理工学院）；University of Science and Technology of China（中国科学技术大学）
Let $G=PSO(2n+1, \mathbb{C}) (n \ge 3)$ and $B$ be the Borel subgroup of $G$ containing maximal torus $T$ of $G.$ Let $w$ be an element of Weyl group $W$ and $X(w)$ be the Schubert variety in the flag variety $G/B$ corresponding to $w.$ Let $Z(w, \underline{i})$ be the Bott-Samelson-Demazure-Hansen variety (the desingularization of $X(w)$) corresponding to a reduced expression $\underline{i}$ of $w.$ In this article, we study the cohomology modules of the tangent bundle on $Z(w_{0}, \underline{i}),$ where $w_{0}$ is the longest element of the Weyl group $W.$ We describe all the reduced express…
