1. Introduction
A Richardson variety is an intersection of two Schubert varieties defined with respect to transverse flags in a vector space. Here we are concerned with Schubert varieties in Grassmannians and flag varieties. A very simple example is the subvariety of the Grassmannian $\mathbb{G}(1,3)$ parametrising lines in $\mathbb{P}^3$ that meet two fixed skew lines.
Richardson varieties are well known to be rational, normal, and Cohen–Macaulay, and to have rational singularities, hence they have Euler characteristic 1. Moreover, the singularities of a Richard–son variety are governed entirely by the singularities of the two Schubert varieties: Knutson, Woo and Yong show that the singular points of a Richardson variety are exactly the points that are singular in either one of the Schubert varieties [ Reference Knutson, Woo and YongKWY13 ].
In this paper we generalise all of these basic results to a relative context. Throughout this paper, we fix an algebraically closed field k of any characteristic. All schemes are assumed to be finitetype over k, and by a “point” of a scheme we will always mean a closed point. We consider $\ell$ flag bundles within a vector bundle on a base scheme S, and we allow the flag bundles to become nontransverse over some points of S in a controlled manner: subject to the condition of versality.
Given a rankd vector bundle $\mathcal{H}$ over a base scheme S, write $\textrm{Fr}(\mathcal{H})$ for the frame bundle of $\mathcal{H}$ and ${\operatorname{Fl}}(d)$ for the variety of complete flags in $k^d$ . Then we define complete flag bundles $\mathcal{P}^{\bullet}_1,\ldots,\mathcal{P}^{\bullet}_\ell$ to be versal if the induced map $\textrm{Fr}(\mathcal{H})\to{\operatorname{Fl}}(d)^\ell$ is a smooth morphism. Versality usefully generalises transversality to a relative context such that properties enjoyed locally by transverse intersections are still enjoyed by versal intersections. But versality is more general than transversality in every fiber.
A simple example is a 1parameter family of two complete flags in $\mathbb{P}^3$ which are transverse except over a reduced point p, where the two 2dimensional subspaces (lines $L_1, L_2$ in $\mathbb{P}^3$ ) meet at a point rather than being skew. At each point of this family, one may consider the parameter space of lines in $\mathbb{P}^3$ meeting both $L_1$ and $L_2$ . These parameter spaces form what we will call a relative Richardson variety, which is in this case a family of smooth quadric surfaces (parameterising lines through two fixed skew lines) degenerating to a transverse pair of planes over the special point p (one plane parameterises lines through the intersection point of the fixed lines, while the other parameterises lines coplanar with the two fixed lines). We now describe the general situation.
Suppose $\mathcal{H}$ is a rank d vector bundle over a base scheme S, and $\mathcal{P}^{\bullet}$ is a complete flag of subbundles. Fix a nest of sets
in which $A^{i_j} = di_j$ . Let $\pi\,\colon{\operatorname{Fl}}(i_0,\ldots,i_s;\;\mathcal{H})\to S$ denote the relative partial flag variety, equipped with tautological flag bundle $\mathcal{V}^{\bullet}$ inside the rank d vector bundle $\pi^* \mathcal{H}.$ Define the Sscheme $X_{A^{\bullet}}(\mathcal{P}^{\bullet})$ to be the subscheme
with scheme structure from its description as a degeneracy locus in the usual way, as recalled in Section 2·5. The first main theorem is as follows. The proof appears at the end of Section 5.
Theorem 1·1. Let S be a smooth irreducible kscheme, let $\mathcal{H}$ be a rankd vector bundle on S, and let $\mathcal{P}^{\bullet},\mathcal{Q}^{\bullet}$ be a versal pair of complete flags in $\mathcal{H}$ . Let $A^{\bullet}, B^{\bullet}$ be nests of sets as in Equation (1·1).

(i) The relative Richardson variety
\begin{align*}R_{A^{\bullet},B^{\bullet}} = X_{A^{\bullet}}(\mathcal{P}^{\bullet}) \cap X_{B^{\bullet}}(\mathcal{Q}^{\bullet})\end{align*}is normal and Cohen–Macaulay of pure codimension $\operatorname{inv}\!(\omega \sigma) + \operatorname{inv}\!(\omega \tau)$ in the partial flag variety ${\operatorname{Fl}}(i_0,\ldots,i_s;\mathcal{H})$ . Here $\operatorname{inv}$ is the inversion number, $\omega$ is the descending permutation, and the permutations $\sigma=\sigma(A^{\bullet})$ , $\tau =\sigma(B^{\bullet})$ are the decreasing completions of $A^{\bullet}$ and $B^{\bullet}$ , as defined in Section 2·1. 
(ii) Letting S^{′} denote the schemetheoretic image of $R_{A^{\bullet},B^{\bullet}}$ in S, the morphism $\pi\,\colon R_{A^{\bullet},B^{\bullet}}\rightarrow S^{\prime}$ satisfies
\begin{eqnarray*}\pi_\ast \mathcal{O}_{R_{A^{\bullet},B^{\bullet}}} &=& \mathcal{O}_{S^{\prime}}, \textrm{ and}\\[5pt] R^i \pi_\ast \mathcal{O}_{R_{A^{\bullet},B^{\bullet}}} &=& 0\;\,\textrm{for all}\; i \gt 0.\end{eqnarray*}
Moreover, the schemetheoretic image S ^{′} is exactly understood. It is the subscheme $D_{\tau \star \sigma^{1}} (\mathcal{P}^{\bullet};\;\mathcal{Q}^{\bullet})$ of S where $\mathcal{P}^{\bullet}$ and $\mathcal{Q}^{\bullet}$ meet with permutation bounded above, in Bruhat order, by the Demazure product $\tau \star \sigma^{1}$ . See Theorem 5·4 for details, and Fact 2·4 for recollections on the Demazure product.
Corollary 1·2. With the hypotheses of Theorem 1·1,
and in particular
Remark 1·3. When the base S is $\textrm{Spec}\;k$ , a versal pair of flags is the same as a transverse pair of flags in a fixed vector space, and Theorem 1·1 directly generalises several facts about the geometry and cohomology of Richardson varieties. Corollary 1·2 generalises the fact that Richardson varieties have algebraic Euler characteristic 1.
Remark 1·4. We will say that the map $R_{A^{\bullet},B^{\bullet}} \to S^{\prime}$ is a cohomological equivalence. Our analysis of the cohomological properties of this map is analogous in several ways to the results in Section 1 of [ Reference Anderson, Chen and TarascaACT22 ]. Indeed, the variety $\Omega_{\textbf{p,q}}$ defined in [ Reference Anderson, Chen and TarascaACT22 ] is a special case of a relative Richardson variety, namely in the case where the flag variety is a Grassmannian, and $W_{\textbf{p,q}}$ is its image. The hypotheses in [ Reference Anderson, Chen and TarascaACT22 ] are weaker; versality is not required. Under their hypotheses, they prove a Ktheoretic equivalence statement, weaker than cohomological equivalence but stronger than equality of Euler characteristic. This allows [ Reference Anderson, Chen and TarascaACT22 ] to give an independent proof of the main result of [ Reference Chan and PfluegerCP21 ], which we prove there using the cohomological equivalence results of this paper.
We can also describe the smooth locus of $R_{A^{\bullet},B^{\bullet}}$ , as
In fact, our second main theorem generalises this to intersections of arbitrarily many relative Schubert varieties and proves a much stronger result about the singularities of such an intersection. The most general statement is in Theorem 4·1, and applies to $\ell$ fold intersections of degeneracy loci defined with respect to versal flags. Applied to relative Schubert varieties, we obtain the following special case of Theorem 4·1. The proof appears at the end of Section 4.
Theorem 1·5. Let P be an étalelocal property of finitetype kschemes that is preserved by products with affine space. Suppose that there is an integer $\ell$ and a function $f_{P,\ell}$ such that for any finitetype kschemes $X_1, \ldots, X_\ell$ and point $x \in \prod X_i$ ,
Let $\mathcal{P}^{\bullet}_1, \ldots, \mathcal{P}^{\bullet}_\ell$ be versal complete flags on a scheme S, and $A^{\bullet}_1,\ldots,A^{\bullet}_\ell$ be nests of sets, each with the same coranks. Then for every point $x \in X_{A^{\bullet}_1}(\mathcal{P}^{\bullet}_1) \cap \ldots \cap X_{A^{\bullet}_\ell}(\mathcal{P}^{\bullet}_\ell)$ ,
This theorem generalises the flag variety case of a theorem of Knutson, Woo, and Yong [ Reference Knutson, Woo and YongKWY13 ], both to the relative setting and to $\ell \geq 3$ . Note that the results of [ Reference Knutson, Woo and YongKWY13 ] apply to general Schubert varieties, whereas our results are specific to Schubert varieties in flag varieties.
Remark 1·6. We show in Example 3·4 that a triple of fixed flags is never versal except in trivial cases. Therefore Theorem 1·5 does not apply to intersections of three Schubert varieties in a fixed flag variety; the generalisation to $\ell \geq 3$ depends in an essential way on the relative context.
Application to Brill–Noether varieties
Relative Richardson varieties arise naturally in the study of Brill–Noether varieties in [ Reference Chan and PfluegerCP21 ]. Let E be an elliptic curve; we will realise twicepointed Brill–Noether varieties $G^{r,\alpha,\beta}_d(E,p,q) \rightarrow S=\textrm{Pic}^d(E)$ as relative Richardson varieties.
Corollary 1·7. The schemes $G^{r,\alpha,\beta}_d(E,p,q)$ are relative Richardson varieties.
(See Corollary 6·2.) These varieties are the main building block in the proof in [ Reference Chan and PfluegerCP21 ] of an Euler characteristic formula for Brill–Noether varieties, which uses limit linear series and degenerations of genus g curves to chains of elliptic curves. Corollary 1·2 is used to deduce the Euler characteristics of these building blocks.
In addition, by recognising twicepointed Brill–Noether varieties as relative Richardson varieties, we obtain another application: Equation 1·2 gives a new proof of the main result of [ Reference Chan, Osserman and PfluegerCOP19 ] in the case of elliptic curves, characterising the singular locus of $G^{r,\alpha,\beta}_d(E,p,q)$ . Previously, the description of the singular locus of twicepointed Brill–Noether varieties for elliptic curves was obtained in [ Reference Chan, Osserman and PfluegerCOP19 ] using an explicit analysis of vertical and horizontal tangent spaces at points in $G^{r,\alpha,\beta}_d(E,p,q)$ relative to the map to the Picard variety $\textrm{Pic}^d(E).$
We conjecture that Brill–Noether varieties of a twicemarked curve C of higher genus are also isomorphic as $\textrm{Pic}^d(C)$ schemes to relative Richardson varieties; we discuss this conjecture and its consequences in Section 6.
Notation
We collect for convenience the notation used throughout this paper.
In all of these notations, we often omit the arguments (e.g. write simply $R_{\sigma,\tau}$ ) where they are clear from context. A tilde over a symbol (e.g., $\widetilde{D}_\sigma$ ) indicates the open locus where the defining inequalities of the object in question hold with equality.
2. Preliminaries
This section summarises background material needed for this paper. General references for this material include the expository article [ Reference BrionBri05 ] and book [ Reference FultonFul97 ] for the Schubert varieties in flag varieties and the Bruhat order, [ Reference Fulton and PragaczFP98 ] for a nice explanation, with many pictures, of rank functions and their relationship to permutations, and [ Reference FultonFul92 ] for degeneracy loci of flags of vector bundles, as well as the essential set of a permutation. We also refer the reader to [ Reference DemazureDem74 , section 5·6] for the Demazure product, as it relates to Schubert varieties. In several cases we use different notation conventions than these sources, more natural to our application; we explain these choices in this section.
2·1. Permutations and nested sequences
We begin with combinatorial conventions. We write $[d] = \{0,\ldots,d1\}$ and write $S_d$ for the permutation group of [d]. Given a permutation $\sigma\in S_d$ , we will write $\sigma = (\sigma_0,\ldots,\sigma_{d1})$ in oneline notation, i.e. $\sigma_i = \sigma(i)$ . The inversion number of a permutation $\sigma\in S_d$ is
We will denote by $\omega$ the descending permutation $\omega(i) = d1i$ . Observe that for all $\sigma \in S_d$ , $\operatorname{inv}\!(\omega \sigma) = \binom{d}{2}  \operatorname{inv}\!(\sigma)$ , the number of “noninversions” of $\sigma$ .
A nest of sets is a sequence
where $A_{i_j} = d  i_j$ . The numbers $i_s$ are called the coranks of $A^{\bullet}$ . Note that we require $i_0 = 0$ and $i_s = d$ for convenience later.
Define the decreasing completion $\sigma(A^{\bullet}) \in S_d$ of $A^{\bullet}$ to be the permutation obtained by writing the elements of $A^{i_0} \setminus A^{i_1}$ in decreasing order, then the elements of $A^{i_1}\setminus A^{i_2}$ in decreasing order, and so on. For example, the decreasing completion of
is (4, 2, 3, 1, 0). For a nest of sets $A^{\bullet}$ , we define $\operatorname{inv}\!(A^{\bullet}) = \operatorname{inv}\!(\sigma(A^{\bullet})).$ Decreasing completion provides a bijection between $S_d$ and nests of sets of coranks $(0,1,\ldots,d1)$ . Such a nest $A^{\bullet}$ is called complete. We will often identify complete nests of sets with permutations.
2·2. Flags
Let H be a ddimensional vector space over k. Write
for a complete flag of subspaces of H, where $P^i$ has codimension i. The relative position of two flags $P^{\bullet}$ and $Q^{\bullet}$ uniquely defines a rank function
The rank function of two complete flags can be encoded by a permutation. For any $\sigma \in S_d$ , define the rank function of $\sigma$ by
Note that this notation does not exclude the cases $a \geq d$ or $b \geq d$ , where we define $r^\sigma(a,b) = 0$ .
Fact 2·1. For any two complete flags $P^{\bullet}, Q^{\bullet}$ , there exists a unique $\sigma \in S_d$ such that $\dim P^a \cap Q^b = r^\sigma(a,b)$ for all $a,b \in [d]$ , called the permutation associated to $P^{\bullet}, Q^{\bullet}$ . The following are equivalent.

(i) The permutation associated to $P^{\bullet},Q^{\bullet}$ is $\sigma$ .

(ii) There exists a basis $v_0, v_1, \ldots, v_{d1}$ of H such that $\{v_a, \ldots, v_{d1}\}$ is a basis for $P^a$ for all a, and $\{v_{\sigma(b)}, \ldots, v_{\sigma(d1)}\}$ is a basis for $Q^b$ for all b.
For example, $P^{\bullet}=Q^{\bullet}$ if and only if $\sigma = \textrm{id}$ . At the other extreme, flags $P^{\bullet},Q^{\bullet}$ are transverse if their associated permutation is $\omega$ . Explicitly, $P^{\bullet},Q^{\bullet}$ are transverse if and only if
for all i, j; that is, every pair of subspaces meets transversely. Call $P^{\bullet},Q^{\bullet}$ almosttransverse if their associated permutation differs from $\omega$ by an adjacent transposition, or equivalently $\operatorname{inv}\!(\omega \sigma) = 1$ .
A rank function $r^\sigma$ is uniquely determined by its values on a fairly small subset of its domain.
Definition 2·2. The essential set of a permutation $\sigma \in S_d$ is
The essential set was introduced in [ Reference FultonFul92 ], although we define it slightly differently here; see Remark 2·7. The importance of the essential set is reviewed in Fact 2·6.
The set $S_d$ has a partial order, the Bruhat order: $\sigma \le \tau$ in Bruhat order if and only if $r^\sigma(a,b) \geq r^\tau(a,b)$ for all a and b. See, e.g., [ Reference FultonFul97 , section 10·5]. By semicontinuity, the associated permutation of two varying flags is lower semicontinuous in the Bruhat order.
Let $\textrm{Fix}\;P^{\bullet}$ denote the vector subspace of $\textrm{End}\;H$ consisting of $\phi\;:\; H \rightarrow H$ such that $\phi(P^i) \subseteq P^i$ for all i. The following characterisation of $\operatorname{inv}\!(\sigma)$ , for a permutation associated to flags $P^{\bullet},Q^{\bullet}$ , will be convenient later.
Fact 2·3. If $\sigma$ is the permutation associated to flags $P^{\bullet}, Q^{\bullet}$ , then
In particular, $P^{\bullet}$ and $Q^{\bullet}$ are transverse if and only if $\textrm{Fix}\;P^{\bullet} + \textrm{Fix}\;Q^{\bullet} = \textrm{End}\;H$ .
Fact 2·3 can be proved using a straightforward argument characterising $\textrm{Fix}\;P^{\bullet} \cap \textrm{Fix}\;Q^{\bullet}$ in terms of a basis of the type described in Fact 2·1.
2·3. The Demazure product
To state our main results, we require an associative operation $\star$ on $S_d$ called the Demazure product.
Fact 2·4. For any two permutation $\sigma, \tau \in S_d$ , there exists a unique permutation $\tau \star \sigma$ such that$
The operation $\star$ defined in this way is associative, and satisfies $(\sigma \star \tau)^{1} = \tau^{1} \star \sigma^{1}$ . When one of the permutations is a simple transposition s (a transposition of two adjacent elements of [d]), then
Equation 2·1 is motivated by the following observation: if $P^{\bullet}, Q^{\bullet}, R^{\bullet}$ are three flags, $\sigma$ is the permutation associated to $P^{\bullet}, Q^{\bullet}$ , and $\tau$ is the permutation associated to $Q^{\bullet}, R^{\bullet}$ , then for all $a,b,k \in [d]$ ,
Therefore $\tau \star \sigma$ gives an upper bound on the permutation associated to $P^{\bullet}, R^{\bullet}$ . In fact, one can deduce from Theorem 1·1 that $\tau \star \sigma$ is the minimal such permutation.
The Demazure product was introduced and studied in [ Reference DemazureDem74 ] and [ Reference Bernšten, Gel′fand and Gel′fandBGG73 ] for arbitrary Weyl groups. We briefly sketch a proof of Fact 2·4 for the benefit of the reader unfamiliar with these topics, as follows. One may use the righthabd side of Equation 2·1 to define an operation on functions $[d] \times [d] \rightarrow [d]$ . One can verify that this operation is associative by writing a composition of two products as a maximum taken over two variables, and Equation 2·2 may be verified, on the level of rank functions, by some casework. Finally, the existence of a permutation with the desired rank function may be proved by induction on $\operatorname{inv}\!(\sigma)$ by factoring $\sigma$ into simple transpositions.
2·4. Schubert varieties in flag varieties
Fix a vector space H of dimension d, and let $F^{\bullet} \in {\operatorname{Fl}}(H)$ be a fixed complete flag. Given $\sigma\in S_d$ , define the Schubert variety $X_\sigma$ by
We write $\widetilde{X}_\sigma$ for the open locus where all these defining inequalities hold with equality.
Remark 2·5. Our conventions differ from those used in [ Reference FultonFul97 ] and elsewhere, since we index our flags by codimension, rather than dimension. We choose this convention because it is most natural for our application in [ Reference Chan and PfluegerCP21 ], where we stratify sections of a line bundle by their vanishing order at a point. For example, in [ Reference FultonFul97 ], the associated permutation w of two flags $V_{\bullet},W_{\bullet}$ (indexed by dimension) is defined by $\dim V_a \cap W_b = r_w(a,b)$ , where w is a permutation of $\{1,2,\ldots,d\}$ and the rank function is $r_w(a,b) = \# \{i \leq a\;:\; w(i) \leq b\}$ . There are two ways to translate our notation to the notation of [ Reference FultonFul97 ].

(i) Define an isomorphism $i\;:\; {\operatorname{Fl}}(H) \rightarrow {\operatorname{Fl}}(H^\vee)$ by $i(P^{\bullet}) = V_{\bullet}$ , where $V_a = (P^a)^\perp$ . If $i(P^{\bullet}) = V_{\bullet}$ and $i(Q^{\bullet}) = W_{\bullet}$ , then
\begin{align*}\dim V_a \cap W_b = a+bd + \dim P^a \cap Q^b,\end{align*}from which it follows that $\dim P^a \cap Q^b = r^\sigma(a,b)$ if and only if $\dim V_a \cap W_b = r_w(a,b)$ , where $w(i) = \sigma(i1)+1$ (in oneline notation, w is obtained by adding one to all entries of $\sigma$ ). So $i(X_\sigma)$ is equal to the Schubert variety denoted $X_w$ in [ Reference FultonFul97 ]. 
(ii) Define $V_a = P^{da}$ and $W_b = Q^{db}$ . If $\dim P^a \cap Q^b = r^\sigma(a,b)$ for all a, b, then $\dim V_a \cap W_b = r_w(a,b)$ , where $w(i) = d \sigma(di)$ (in oneline notation, w is obtained by adding 1 to all entries of $\omega \sigma \omega$ ). So our $X_\sigma$ is equal to the variety denoted $X_w$ in [ Reference FultonFul97 ].
We collect facts about $X_\sigma$ . It is well known that $X_\sigma$ is irreducible, normal, and Cohen–Macaulay, of codimension $\operatorname{inv}\!(\omega \sigma)$ in ${\operatorname{Fl}}(H)$ . A criterion for whether $X_\sigma$ is regular is given by Lakshmibai and Sandhya [ Reference Lakshmibai and SandhyaLS90 ]: $X_\sigma$ is regular if and only if $\sigma$ is a 3120 and 2301avoiding permutation.Footnote ^{1} The singular locus of $X_\sigma$ is closed and a union of Borel orbits; therefore, it must be a union of varieties $X_{\sigma^{\prime}}$ for $\sigma^{\prime}\le \sigma$ . Lakshmibai–Sandhya conjectured a combinatorial description of which Schubert subvarieties $X_{\sigma^{\prime}}$ occur, and their conjecture was proven independently by several groups [ Reference Billey and WarringtonBW03 , Reference CortezCor01 , Reference Kassel, Lascoux and ReutenauerKLR03 , Reference ManivelMan01 ]. The description shows that $\sigma^{\prime}$ ranges over all permutations that are derived from minimal 3120 and 2301 patterns in $\sigma$ by a certain combinatorial modification, see e.g., [ Reference ManivelMan01 , section 1]. We note that the singular locus of $X_{\sigma}$ is a union of $X_{\sigma^{\prime}}$ for $\sigma^{\prime}<\sigma$ ranging over a certain set of permutations having at least two fewer inversions than $\sigma$ . In particular, $X_{\sigma}$ is regular in codimension 1.
More generally, if $A^{\bullet}$ is a nest of sets of coranks $0 = i_0 \lt \ldots \lt i_s = d$ , then we define a Schubert variety in the partial flag variety ${\operatorname{Fl}}(i_0, \ldots, i_s;\; H)$ as follows.
We write $\widetilde{X}_{A^{\bullet}}$ for the open locus where these defining inequalities hold with equality. The inverse image of $X_{A^{\bullet}}$ under the forgetful map ${\operatorname{Fl}}(H) \rightarrow {\operatorname{Fl}}(i_0, \ldots, i_s;\; H)$ is equal to $X_{\sigma}(F^{\bullet})$ . Since this forgetful map is a fiber bundle with smooth irreducible fibers, most of the geometric facts above carry over readily to $X_{A^{\bullet}}$ .
2·5. Degeneracy loci and relative Schubert varieties
We adopt the following notation convention. If $\mathcal{V},\mathcal{W}$ are two subbundles of a vector bundle $\mathcal{H}$ on a scheme S, we will write
as a shorthand for the subscheme defined by the degeneracy locus where the bundle map $\mathcal{V} \rightarrow \mathcal{H}/\mathcal{W}$ has rank at most $\textrm{rank}(\mathcal{V})  r$ , defined locally as a determinantal variety in the usual way (e.g. as in [ Reference FultonFul92 , section 4] or [ Reference Arbarello, Cornalba, Griffiths and HarrisACGH85 , section II·4]). In particular, we always mean this notation as a schemetheoretic definition.
We will be concerned with degeneracy loci of the following form. For $\mathcal{H}$ a rank d vector bundle on a scheme S, and $\mathcal{P}^{\bullet}, \mathcal{Q}^{\bullet}$ complete flags in $\mathcal{H}$ , we consider the subscheme
In fact, many of the inequalities in this definition are redundant.
Fact 2·6. ([ Reference FultonFul92 , lemma 3·10]) The scheme described by Equation (2·4) is equal to the scheme
Remark 2·7. The definition of the essential set in [ Reference FultonFul92 ] is different from ours, because the degeneracy loci under consideration are defined by $\textrm{rank}(E_p \rightarrow F_q) \leq r_w(q,p)$ , where $E_1 \hookrightarrow E_2 \hookrightarrow \ldots E_n$ and $F_n \twoheadrightarrow F_{n1} \twoheadrightarrow \ldots \twoheadrightarrow F_1$ are vector bundles indexed by rank. The essential set of [ Reference FultonFul92 ] is the set of (q, p) for which the condition $\textit{rank}(E_p \rightarrow F_q) \leq r_w(q,p)$ is essential. Our definition is obtained by a straightforward translation.
In light of Fact 2·6, we make the following definition, which allows for partial flags.
Definition 2·8. Let $\mathcal{H}$ a rank d vector bundle on a scheme S, and $\mathcal{P}^{\bullet} = (\mathcal{P}^{i_0} \supset \ldots \supset \mathcal{P}^{i_s})$ , $\mathcal{Q}^{\bullet} = (\mathcal{Q}^{j_0} \supset \ldots \supset \mathcal{Q}^{j_t} )$ be flags in $\mathcal{H}$ . Let $\sigma$ be any permutation such that $\textrm{Ess}(\sigma) \subseteq \{i_0, \ldots, i_s\} \times \{j_0, \ldots, j_t\}$ . Define a subscheme
When $\mathcal{P}^{\bullet},\mathcal{Q}^{\bullet}$ are complete flags, also define $\widetilde{D}_\sigma(\mathcal{P}^{\bullet};\;\mathcal{Q}^{\bullet})$ to be the open subscheme where we have equality $\dim\!(\mathcal{P}^a)_x \cap (\mathcal{Q}^b)_x = r^{\sigma}(a,b)$ for all $(a,b) \in [d]^2$ (not only those in $\textrm{Ess}(\sigma)$ ). Thus $\widetilde{D}_\sigma(\mathcal{P}^{\bullet};\; \mathcal{Q}^{\bullet})$ is the locus where the two flags have associated permutation $\sigma$ , and $D_\sigma(\mathcal{P}^{\bullet};\; \mathcal{Q}^{\bullet})$ is the locus where the two flags have associated permutation at most $\sigma$ in Bruhat order.
Remark 2·9. Suppose that $\mathcal{Q}^{\bullet}$ is complete, and the strata of $\mathcal{P}^{\bullet}$ have coranks $0 = i_0 \lt \ldots \lt i_s = d$ . Then the following is a useful sufficient condition for $D_\sigma(\mathcal{P}^{\bullet};\; \mathcal{Q}^{\bullet})$ to be welldefined: for all $0 \leq j \lt s$ , $\sigma(i_{j}) \lt \sigma(i_{j} + 1) \lt \ldots \lt \sigma(i_{j+1}1)$ . This condition ensures that $\sigma(a1) \gt \sigma(a)$ for all a except possibly when $a \in \{i_0, \ldots, i_s\}$ and thus $\textrm{Ess}(\sigma) \subseteq \{i_0, \ldots, i_s\} \times [d]$ . In other words, if $A^{\bullet}$ is any nest of sets with coranks $i_0, \ldots, i_s$ , then $D_{\sigma(A^{\bullet})}(\mathcal{P}^{\bullet};\; \mathcal{Q}^{\bullet})$ is welldefined.
We mention some important geometric facts about degeneracy loci, stated at the level of generality we need; see [ Reference FultonFul92 ] for the more general statement, including an intersection theory result.
Fact 2·10. ([ Reference FultonFul92 , theorem 8·2])) Suppose S is Cohen–Macaulay and pure dimensional. Then any component of $D_{\sigma}(\mathcal{P}^{\bullet};\; \mathcal{Q}^{\bullet})$ has codimension at most $\operatorname{inv}\!(\omega \sigma)$ . If the codimension of $D_{\sigma}$ is exactly $\operatorname{inv}\!(\omega \sigma)$ , then $D_{\sigma}$ is Cohen–Macaulay.
Given $\ell+1$ flags $\mathcal{V}^{\bullet}, \mathcal{P}^{\bullet}_1,\ldots,\mathcal{P}^{\bullet}_\ell$ and $\ell$ permutations $\sigma_1,\ldots,\sigma_\ell$ , we also use the following abbreviation.
When the flags are clear from context, we will omit the arguments and write simply $D_\sigma$ or $D_{\sigma_1,\ldots,\sigma_\ell}$ .
Remark 2·11. It is sometimes convenient to view $D_\sigma$ locally as the inverse image of a Schubert variety. If $U \subset S$ is an open subscheme on which $\mathcal{H}$ is trivial, then we may choose completions of $\mathcal{P}^{\bullet}$ and $\mathcal{Q}^{\bullet}$ and locally trivialise $\mathcal{H}$ in a way that makes the completion of $\mathcal{Q}^{\bullet}$ constant. Then the completion of $\mathcal{P}^{\bullet}$ defines a morphism $p\;:\; S \rightarrow {\operatorname{Fl}}(d)$ (under which the completion of $\mathcal{P}^{\bullet}$ is the pullback of the tautological bundle), and we have, schemetheoretically,
Example 2·12. (Relative Schubert varieties) Let S be a scheme, $\mathcal{H}$ a rankd vector bundle on S, and $\mathcal{P}^{\bullet}$ a complete flag in $\mathcal{H}$ . Let $\pi\;:\; {\operatorname{Fl}}(\mathcal{H}) \rightarrow S$ denote the relative flag variety. For every $\sigma \in S_d$ , there is a relative Schubert subvariety $X_\sigma(\mathcal{P}^{\bullet}) \subseteq {\operatorname{Fl}}(\mathcal{H})$ . These subvarieties are important special cases of the degeneracy loci defined above, namely
where $\mathcal{V}^{\bullet}$ is the tautological flag bundle. Similarly, we obtain relative Schubert varieties in partial flag varieties:
3. Versality
In this subsection, we define versality of complete flags, and prove several criteria for it. We work exclusively with complete flags in this subsection; results for incomplete flags can be deduced from the case of complete flags.
Let $\mathcal{H}$ be a vector bundle of rank d on a base scheme S. Denote by ${\operatorname{Fl}}(d)={\operatorname{Fl}}(k^d)$ the variety of complete flags in the standard vector space $k^d$ , and denote by $\textrm{Fr}(\mathcal{H}) \rightarrow S$ the frame bundle of $\mathcal{H}$ . Then a complete flag $\mathcal{P}^{\bullet}$ in $\mathcal{H}$ uniquely determines a morphism of schemes $\textrm{Fr}(\mathcal{H}) \rightarrow {\operatorname{Fl}}(d)$ .
Definition 3·1. With the notation above, suppose that $\mathcal{P}^{\bullet}_1, \ldots, \mathcal{P}^{\bullet}_\ell$ are complete flags in $\mathcal{H}$ , inducing a morphism
Call the $\ell$ tuple of flags $(\mathcal{P}_1, \ldots, \mathcal{P}_\ell)$ versal if p is a smooth morphism. Call the flags versal at $x \in S$ if they are versal when restricted to some neighbourhood of x.
Observe that any subset of a versal $\ell$ tuple of flags is again versal, since the projection ${\operatorname{Fl}}(d)^\ell \rightarrow {\operatorname{Fl}}(d)^{\ell'}$ is smooth for all $\ell' \lt \ell$ .
When $\ell=1$ , versality is automatic. When $\ell = 2$ and $S = \textrm{Spec}\;k$ , two flags are versal if and only if they are transverse, as is explained in Example 3·4. When $\ell = 2$ but S is a more general scheme, Definition 3·1 is equivalent to a geometric condition (Lemma 3·7) that roughly says that the locus where $\mathcal{P}^{\bullet}, \mathcal{Q}^{\bullet}$ are nontransverse is stratified by smooth varieties of specific codimension. This stratification is indexed by permutations.
Our first goal is a linearalgebraic criterion for versality (Proposition 3·2), for which we need some preliminary notions. For complete flags $P^{\bullet}_1, \ldots, P^{\bullet}_\ell$ in a vector space H, let
where $\Delta$ is the diagonal map.
This vector space M is the space of relative firstorder deformations of the flags. Indeed, each factor $\textrm{End}\;H / \textrm{Fix}\;P^{\bullet}_i$ is naturally identified with the tangent space at $[P^{\bullet}_i]$ to the flag variety, while the image of $\Delta$ corresponds to simultaneous deformations arising from a change of basis for H.
Now given $x\in S$ , let
denote the natural linear map encoding the firstorder deformations of the $P^{\bullet}_i$ relative to each other induced by a firstorder deformation in S. A precise definition is as follows. Note the natural map $p\,\colon \textrm{Fr}(\mathcal{H})\to {\operatorname{Fl}}(d)^\ell$ induced by the flags $\mathcal{P}_1^{\bullet},\ldots, \mathcal{P}_\ell^{\bullet}$ . Shrink S so that $\mathcal{H}$ is trivial. Any section $s\,\colon S\to \textrm{Fr}(\mathcal{H})$ of $\textrm{Fr}(\mathcal{H})\to S$ induces a linear map
where the first arrow is the differential of $p\circ s$ at x, and the second is induced by s(x).
Moreover, any two sections s, s ^{′} are related by an element of $\textrm{GL}_d(S)$ . That is, there is a morphism $c\,\colon S\to \textrm{GL}_d$ with the following commuting diagram.
Passing to tangent spaces verifies that $\delta_x$ does not depend on choice of s.
Proposition 3·2. Let S be a scheme with a vector bundle $\mathcal{H}$ and complete flags $\mathcal{P}^{\bullet}_1, \ldots, \mathcal{P}^{\bullet}_\ell$ . For any $x \in S$ , these flags are versal at x if and only if S is smooth at x and $\delta_x$ is surjective.
Proof. Fix $x \in S$ and a point $y \in \textrm{Fr}(\mathcal{H})$ in the fiber over x. First, we claim that the map $\delta_x$ is surjective if and only if the differential $dp_y$ of the map $p\,\colon \textrm{Fr}(\mathcal{H}) \rightarrow {\operatorname{Fl}}(d)^\ell$ is surjective. Shrinking S if necessary, choose a section $s\;:\; S \rightarrow \textrm{Fr}(\mathcal{H})$ such that $y = s(x)$ . We use the description of $\delta_x$ in Equation 3·1. The kernel of the map $T_{(p \circ s)(x)} {\operatorname{Fl}}(d)^\ell \rightarrow M$ is equal to the tangent space to the $\textrm{GL}_d$ orbit of $(p \circ s)(x)$ . Since p is equivariant, this is the image under $dp_{s(x)}$ of the $\textrm{GL}_d$ orbit of s(x). Therefore the map $T_{s(x)} \textrm{Fr}(\mathcal{H}) \rightarrow M$ is surjective if and only if $dp_{s(x)}$ is surjective. Furthermore, the $\textrm{GL}_d$ orbit of s(x) is the fiber of x in $\textrm{Fr}(\mathcal{H})$ , so its tangent space is complementary to the image of $ds_x$ . Therefore the image of $\delta_x$ is equal to the image of $T_{s(x)} \textrm{Fr}(\mathcal{H}) \rightarrow M$ . Putting this together, $\delta_x$ is surjective if and only if $dp_{s(x)}$ is surjective.
Next, observe that since $\textrm{Fr}(\mathcal{H})$ is a $\textrm{GL}_d$ torsor, it is smooth at y if and only if S is smooth at x.
Suppose that the flags are versal at x. Since ${\operatorname{Fl}}(d)^\ell$ is a nonsingular variety, the structure map ${\operatorname{Fl}}(d)^\ell \rightarrow \textrm{Spec}\;k$ is smooth, hence the composition $\textrm{Fr}(\mathcal{H}) \rightarrow \textrm{Spec}\;k$ is smooth at y, i.e., y is a smooth point of $\textrm{Fr}(\mathcal{H})$ and x is a smooth point of S. Since p is a smooth morphism of nonsingular varieties in a neighbourhood of y, the differential $dp_y$ is surjective [ Reference HartshorneHar77 , 10·4]. It follows that $\delta_x$ is surjective as well.
Now suppose $x \in S$ is a smooth point and $\delta_x$ is surjective. Then y is a smooth point of $\textrm{Fr}(\mathcal{H})$ and $dp_y$ is surjective, so p is a morphism of nonsingular varieties with surjective differential around y. Hence p smooth at y, and the flags are versal at x.
Remark 3·3. The definition of versality and the criterion of Proposition 3·2 has a stacktheoretic description, as follows. A choice of $\ell$ complete flags on S is equivalent to a morphism $\overline{p}$ from S to the quotient stack $\left[ {\operatorname{Fl}}(d)^\ell / \textrm{GL}_d \right]$ , which may be regarded as the moduli stack of $\ell$ tuples of flags. This morphism, along with the induced morphism $p\;:\; \textrm{Fr}(\mathcal{H}) \rightarrow {\operatorname{Fl}}(d)^\ell$ discussed above, form a cartesian diagram as follows:
The vertical arrows are $\textrm{GL}_d$ torsors, and it follows that p is smooth if and only if $\overline{p}$ is smooth. So the tuple of flags is versal if and only if it determines a smooth morphism to the moduli stack; this accords with the usual use of “versal” in deformation theory. The differential of $\overline{p}$ at $x \in S$ may be identified with a map from $T_x S$ to a twoterm complex $\textrm{End}\;H \xrightarrow{\Delta} \prod_{i=1}^\ell \textrm{End}\;H / \textrm{Fix}\;P^{\bullet}_i$ , which is surjective if and only if the linear map $\delta_x$ is surjective. Hence Proposition 3·2 amounts to the fact that $\overline{p}$ is smooth if and only if it has smooth domain and surjective differential.
Example 3·4. (Versality of fixed flags) A pair of two complete flags $\mathcal{P}^{\bullet}, \mathcal{Q}^{\bullet}$ are versal in a neighbourhood of any smooth point $x \in S$ where $\mathcal{P}^{\bullet}_x$ and $\mathcal{Q}^{\bullet}_x$ are transverse. This is because $\textrm{Fix}\;P^{\bullet}_x + \textrm{Fix}\;Q^{\bullet}_x = \textrm{End}\;H$ by Fact 2·3, which implies (and is equivalent to) $M(H_x;\; P_x^{\bullet}, Q_x^{\bullet}) = 0$ . If $S=\textrm{Spec}\;k$ , the flags are transverse if and only if they are versal. Therefore versality is a generalisation of transversality.
When $\ell \gt 2$ and $d \gt 2$ , then $\ell$ flags over $S=\textrm{Spec}\;k$ are never versal since
so $\textrm{End}\;H \rightarrow \prod \textrm{End}\;H / \textrm{Fix}\;P^{\bullet}$ cannot be surjective because the kernel always contains the identity and is therefore nontrivial. When $d=2$ , the only way versality over $\textrm{Spec}\;k$ can occur is if $\ell \leq 3$ and the flags are distinct.
Adding a tautological flag bundle preserves versality:
Lemma 3·5. With $\mathcal{H}$ a vector bundle on a smooth scheme S, if $\mathcal{P}^{\bullet}_1,\ldots,\mathcal{P}^{\bullet}_\ell$ are versal complete flags on S, and $\pi\;:\;{\operatorname{Fl}}(\mathcal{H}) \rightarrow S$ is the flag variety of $\mathcal{H}$ with tautological bundle $\mathcal{V}^{\bullet}$ , then $\pi^\ast \mathcal{P}^{\bullet}_1, \ldots,\pi^\ast \mathcal{P}^{\bullet}_\ell, \mathcal{V}^{\bullet}$ are versal flags of $\pi^\ast \mathcal{H}$ on ${\operatorname{Fl}}(\mathcal{H})$ .
Proof. Fix $x\in S$ , and define $P^{\bullet}_i = (\mathcal{P}^{\bullet}_i)_x$ . Shrinking S, we may assume $\mathcal{H} = H\times S$ . For any point $y = [Q^{\bullet}] \in {\operatorname{Fl}}(H)$ , versality at $(x,y) \in {\operatorname{Fl}}(\mathcal{H})$ is equivalent to the surjectivity of the linear map
We have $T_{(x,y)}{\operatorname{Fl}}(\mathcal{H}) = T_x S \oplus T_y {\operatorname{Fl}}(H)$ . Then surjectivity of the above map follows from the fact that $T_x S \oplus \textrm{End}\;H \to \prod \textrm{End}\;H/\textrm{Fix}\;P^{\bullet}_i$ is surjective by the versality hypothesis, and $T_y {\operatorname{Fl}}(H) \to \textrm{End}\;H /\textrm{Fix}\;Q^{\bullet}$ is an isomorphism.
The linear maps $\delta_x$ provide a convenient description of tangent spaces to degeneracy loci $D_\sigma(\mathcal{P}^{\bullet};\; \mathcal{Q}^{\bullet})$ defined in Definition 2·8, and intersections thereof.
Lemma 3·6. Let $D_\sigma(\mathcal{P}^{\bullet};\;\mathcal{Q}^{\bullet})$ be as in Definition 2·8.

(i) At any point $x \in D_\sigma(\mathcal{P}^{\bullet};\; \mathcal{Q}^{\bullet})$ ,
\begin{align*}T_x D_\sigma(\mathcal{P}^{\bullet};\; \mathcal{Q}^{\bullet}) \supseteq \ker \delta_x (\mathcal{H};\; \mathcal{P}^{\bullet}, \mathcal{Q}^{\bullet}).\end{align*} 
(ii) Moreover, if $x \in \widetilde{D}_\sigma(\mathcal{P}^{\bullet};\; \mathcal{Q}^{\bullet})$ , then equality holds.
Proof. Start by verifying (ii) in the special case that $H=k^d$ and $S = {\operatorname{Fl}}(H)^2$ with $\mathcal{P}^{\bullet},\mathcal{Q}^{\bullet}$ the tautological flag bundles. For any $ x = (P^{\bullet},Q^{\bullet}) \in \widetilde{D}_\sigma(\mathcal{P}^{\bullet};\; \mathcal{Q}^{\bullet})$ , the scheme $\widetilde{D}_\sigma(\mathcal{P}^{\bullet};\; \mathcal{Q}^{\bullet})$ is equal to the $\textrm{GL}_d$ orbit of x, i.e. the schemetheoretic image of the map $ \textrm{GL}_d \to {\operatorname{Fl}}(d)^2$ taking $\textbf{1}$ to x. The differential of this map is the diagonal map $\Delta\,\colon \textrm{End}\;H\to \textrm{End}\;H/\textrm{Fix}\;P^{\bullet} \times \textrm{End}\;H /\textrm{Fix}\;Q^{\bullet},$ and $T_x D_\sigma(\mathcal{P}^{\bullet};\; \mathcal{Q}^{\bullet}) = T_x \widetilde{D}_\sigma(\mathcal{P}^{\bullet};\; \mathcal{Q}^{\bullet})= \operatorname{im} \Delta = \ker \delta_x$ as desired.
Now the general case of (ii) follows by pulling back: shrink S around x so that we may assume $\mathcal{H}$ is trivial, and then choose a section $s\,\colon S\to \textrm{Fr}(H)$ ; we get a composite map $S\to\textrm{Fr}(H)\to{\operatorname{Fl}}(d)^2$ taking x to $y=(P^{\bullet},Q^{\bullet})$ , say. Under the differential $ T_x S \to T_y {\operatorname{Fl}}(d)^2,$ $\ker \delta_x$ is the preimage of $\ker \delta_y = \operatorname{im}\Delta$ , by definition of $\delta_x$ . (Note this does not depend on the choice of section, as verified in the definition of $\delta_x$ ). And $\widetilde{D}_\sigma (\mathcal{P}^{\bullet};\;\mathcal{Q}^{\bullet})$ is the inverse image of $\widetilde{D}_\sigma(\mathcal{V}^{\bullet}_1;\mathcal{V}^{\bullet}_2)\subset {\operatorname{Fl}}(d)^2$ . This verifies (ii) in general.
Now (i) follows from (ii) by observing that if $x \in D_\sigma(\mathcal{P}^{\bullet};\;\mathcal{Q}^{\bullet})$ , then $x \in \widetilde{D}_{\sigma^{\prime}} (\mathcal{P}^{\bullet};\;\mathcal{Q}^{\bullet})$ for some $\sigma^{\prime} \leq \sigma$ in Bruhat order, so since $D_{\sigma^{\prime}}(\mathcal{P}^{\bullet};\;\mathcal{Q}^{\bullet})$ is a subscheme of $D_\sigma(\mathcal{P}^{\bullet};\;\mathcal{Q}^{\bullet})$ ,
Lemma 3·7. If $x \in \widetilde{D}_\sigma(\mathcal{P}^{\bullet};\;\mathcal{Q}^{\bullet})$ , where $\mathcal{P}^{\bullet},\mathcal{Q}^{\bullet}$ are complete flags, then the following are equivalent.

(i) The pair $(\mathcal{P}^{\bullet}, \mathcal{Q}^{\bullet})$ is versal at x.

(ii) The point x is a smooth point of S and $\delta_x$ is surjective.

(iii) The point x is a smooth point of both S and $D_\sigma(\mathcal{P}^{\bullet};\;\mathcal{Q}^{\bullet})$ and the local codimension of $D_\sigma(\mathcal{P}^{\bullet};\;\mathcal{Q}^{\bullet})$ in S is equal to $\operatorname{inv}\!(\omega \sigma)$ .
Proof. We first observe that in the twoflag case, we have the following isomorphism.
Together with Fact 2·3 and the assumption that $\sigma$ is the permutation associated to $P_x^{\bullet},Q^{\bullet}_x$ , this implies that $\dim M(H_x;\; P^{\bullet}_x, Q^{\bullet}_x) = \operatorname{inv}\!(\omega \sigma)$ . By Lemma 3·6, we deduce that
We now prove the Lemma. The equivalence of (i) and (ii) is part of Proposition 3·2, so it suffices to prove that (ii) is equivalent to (iii). Assume that x is a smooth point of S (since this is a hypothesis of both statements). Observe that
The first inequality follows from the local description of $D_\sigma(\mathcal{P}^{\bullet}, \mathcal{Q}^{\bullet})$ as the inverse image of a Schubert variety (Remark 2·11). Now, $\delta_x$ is surjective if and only if dim coker $\delta_x = 0$ , which holds if and only if both inequalities above hold with equality. This in turn is equivalent to $D_\sigma(\mathcal{P}^{\bullet};\; \mathcal{Q}^{\bullet})$ having local codimension $\operatorname{inv}\!(\omega \sigma)$ (first inequality) and x being a smooth point of it (second inequality). So indeed (ii) is equivalent to (iii).
Example 3·8. A simple example of all conditions in Lemma 3·7 being satisfied is two points in $\mathbb{P}^1$ moving above a smooth 1parameter base S, which come together over a reduced point x of S.
4. A Knutson–Woo–Yong theorem for degeneracy loci of versal flags
We turn our attention to intersections of degeneracy loci defined with respect to versal flags. We show that the singularities of these loci are completely controlled by the singularities of the individual degeneracy loci, and in turn by Schubert varieties. More precisely, we prove the following analog of the main theorem of [ Reference Knutson, Woo and YongKWY13 ]. The results of [ Reference Knutson, Woo and YongKWY13 ] concern general Schubert varieties, whereas we are concerned only with Schubert varieties of flag varieties. In the flag variety case, our result provides a generalisation to $\ell$ fold intersections, as well as to the relative setting.
Theorem 4·1. Let P be an étalelocal property of finitetype kschemes that is preserved by products with affine space. Suppose that there is an integer $\ell$ and a function $f_{P,\ell}$ such that for any finitetype kschemes $X_1, \ldots, X_\ell$ and point $x \in \prod X_i$ ,
Let $\mathcal{V}^{\bullet}, \mathcal{P}^{\bullet}_1, \mathcal{P}^{\bullet}_2, \ldots, \mathcal{P}^{\bullet}_\ell$ be a versal $(\ell+1)$ tuple of flags in a rankd vector bundle $\mathcal{H}$ on a smooth variety S, $\sigma_1,\ldots,\sigma_\ell \in S_d$ , and x a point in $D_{\sigma_1,\ldots,\sigma_\ell}(\mathcal{V}^{\bullet};\; \mathcal{P}^{\bullet}_1,\ldots,\mathcal{P}^{\bullet}_\ell)$ . Then
Throughout this section, assume that we have fixed a property P, denoted P(x, X) for a point $x\in X$ , and a function $f_{P,\ell}$ satisfying the hypotheses of Theorem 4·1.
Definition 4·2. Let X, Y be schemes with points $x \in X, y \in Y$ . Let $\mathcal{H},\mathcal{J}$ be rankd vector bundles on X, Y respectively, let $\mathcal{P}^{\bullet}_1, \ldots, \mathcal{P}^{\bullet}_\ell$ be flags in $\mathcal{H}$ and let $\mathcal{Q}^{\bullet}_1,\ldots, \mathcal{Q}^{\bullet}_\ell$ be flags in $\mathcal{J}$ .
We say that $(x,\mathcal{P}^{\bullet}_1,\,\ldots,\mathcal{P}^{\bullet}_\ell)$ is equivalent via smooth morphisms to $(y, \mathcal{Q}^{\bullet}_1,\ldots,\mathcal{Q}^{\bullet}_\ell)$ if there is a scheme Z with rankd vector bundle $\mathcal{K}$ , two smooth morphisms $\pi\;:\; Z \rightarrow X, \rho\;:\; Z \rightarrow Y$ and a point $z \in Z$ such that $\pi(z) = x, \rho(z) = y$ , $\mathcal{K} \cong \pi^\ast \mathcal{H} \cong \rho^\ast \mathcal{J}$ , and such that upon identifying both pullbacks with $\mathcal{K}$ , we have $\pi^\ast \mathcal{P}^{\bullet}_i = \rho^\ast \mathcal{Q}^{\bullet}_i$ for all i.
Equivalence via smooth morphisms is an equivalence relation. Reflexivity and symmetry are clear, and transitivity follows from standard facts about fiber products of smooth morphisms.
Lemma 4·3. If $(x, \mathcal{V}^{\bullet}, \mathcal{P}^{\bullet}_1, \ldots, \mathcal{P}^{\bullet}_\ell)$ is equivalent via smooth morphisms to $(y, \mathcal{W}^{\bullet}, \mathcal{Q}^{\bullet}_1, \ldots, \mathcal{Q}^{\bullet}_\ell)$ , and $\sigma_1, \ldots, \sigma_\ell$ are permutations such that $x \in D_{\sigma_1,\ldots,\sigma_\ell}(\mathcal{V}^{\bullet};\; \mathcal{P}^{\bullet}_1, \ldots, \mathcal{P}^{\bullet}_\ell)$ , then
and
Furthermore, the codimension at y of $D_{\sigma_1,\ldots,\sigma_\ell}(\mathcal{W}^{\bullet};\; \mathcal{Q}^{\bullet}_1, \ldots, \mathcal{Q}^{\bullet}_\ell)$ in Y is equal to the codimension at x of $D_{\sigma_1,\ldots,\sigma_\ell}(\mathcal{V}^{\bullet};\; \mathcal{P}^{\bullet}_1, \ldots, \mathcal{P}^{\bullet}_\ell)$ in X.
Proof. Let $\pi\;:\; Z \rightarrow X$ , $\rho\,\colon Z\to Y$ , and $z \in Z$ be as in Definition 4·2. Abbreviate $D_{\sigma_1,\ldots,\sigma_\ell}(\mathcal{V}^{\bullet};\; \mathcal{P}^{\bullet}_1,\ldots,\mathcal{P}^{\bullet}_\ell)$ by $D_X$ , $D_{\sigma_1,\ldots,\sigma_\ell}(\mathcal{W}^{\bullet};\; \mathcal{Q}^{\bullet}_1,\ldots,\mathcal{Q}^{\bullet}_\ell)$ by $D_Y$ , and abbreviate $D_{\sigma_1,\ldots,\sigma_\ell}(\pi^\ast \mathcal{V}^{\bullet};\; \pi^\ast \mathcal{P}^{\bullet}_1,\ldots,\pi^\ast \mathcal{P}^{\bullet}_\ell)$ by $D_Z$ . Observe that $D_Z = \pi^{1} (D_X) = \rho^{1}(D_Y)$ . Since $x \in D_X$ , it follows that $z \in D_Z$ and $y \in D_Y$ .
The restriction $D_Z \rightarrow D_X$ of $\pi$ is smooth. Let n be the relative dimension of this morphism at z. Then n is also the relative dimension of $\pi$ at z; it follows that the codimension of $D_Z$ in Z is equal to the codimension of $D_X$ at x.
There exist affine neighbourhoods $z \in U \subseteq D_Z$ and $x \in V \subseteq D_X$ and an étale morphism $e\;:\; U \rightarrow \mathbb{A}^n_V$ such that $U \rightarrow V$ factors through the projection $\mathbb{A}^n_V \rightarrow V$ [ Sta17 , tag 039P]. Since the property P is étalelocal and unaffected by products with affine space, it follows that $P(z,D_Z) = P(e(z), \mathbb{A}^n_V) = P(x, D_X)$ .
Applying the same logic to $\rho$ , it follows that the codimension of $D_Y$ in Y is equal to the codimension of $D_Z$ in Z, and $P(z,D_Z) = P(y,D_Y)$ . The result follows.
Proof of Theorem 4·1. The frame bundle $\textrm{Fr}(\mathcal{H}) \rightarrow S$ is surjective, so $x \in S$ lifts to a point $x' \in \textrm{Fr}(\mathcal{H})$ . The versal tuple $(\mathcal{V}^{\bullet}, \mathcal{P}^{\bullet}_1, \ldots, \mathcal{P}^{\bullet}_\ell)$ determines a smooth morphism $p\;:\; \textrm{Fr}(\mathcal{H}) \rightarrow {\operatorname{Fl}}(d)^{\ell+1}$ . Next, apply the same construction, with S replaced by ${\operatorname{Fl}}(d)^\ell$ , with $T = k^d \times {\operatorname{Fl}}(d)^\ell$ being the trivial rank d vector bundle, and with flags $(F^{\bullet}, \mathcal{V}^{\bullet}_1,\ldots, \mathcal{V}^{\bullet}_\ell)$ , where $\{\mathcal{V}^{\bullet}_i\}$ are the tautological flags and $F^{\bullet}$ is an arbitrary fixed flag. We obtain a morphism $v\;:\; \textrm{Fr}(T) \rightarrow {\operatorname{Fl}}(d)^{\ell+1}$ . The tuple $(F^{\bullet}, \mathcal{V}^{\bullet}_1,\ldots, \mathcal{V}^{\bullet}_\ell)$ is versal, by $\ell$ applications of Lemma 3·5 (and the straightforward observation that a single flag is versal), so v is smooth. It is straightforward to check that v is also surjective, so $p(x') \in {\operatorname{Fl}}(d)^{\ell+1}$ lifts to $x'' \in \textrm{Fr}(T)= \textrm{GL}_d \times {\operatorname{Fl}}(d)^\ell$ . Denote by y the image of x ^{′′} in ${\operatorname{Fl}}(d)^\ell$ . Denote by $\pi_1,\ldots,\pi_\ell$ the projection maps from ${\operatorname{Fl}}(d)^\ell$ to ${\operatorname{Fl}}(d)$ . The maps and points constructed are summarised in Figure 1. In this diagram, all morphisms are smooth.
The intuition behind the first four arrows of the diagram is that a family of $\ell+1$ versal flags can, after coordinate change, be regarded as a family of $\ell$ versal flags together with one fixed flag.
Denote the tautological flags in the trivial bundle on ${\operatorname{Fl}}(d)^{\ell+1}$ by $\mathcal{U}^{\bullet}_1,\ldots, \mathcal{U}^{\bullet}_{\ell+1}$ . By construction, $p^\ast \mathcal{U}^{\bullet}_1, \ldots, p^\ast \mathcal{U}^{\bullet}_{\ell+1}$ are equal to the pullbacks from S of $\mathcal{V}^{\bullet}, \mathcal{P}^{\bullet}_1, \ldots, \mathcal{P}^{\bullet}_\ell$ , respectively. Similarly, $v^\ast \mathcal{U}^{\bullet}_1, \ldots, v^\ast \mathcal{U}^{\bullet}_{\ell+1}$ are equal to the pullbacks from ${\operatorname{Fl}}(d)^{\ell+1}$ of $F^{\bullet}, \mathcal{V}^{\bullet}_1, \ldots, \mathcal{V}^{\bullet}_\ell$ , respectively. Finally, denoting the tautological and trivial flags over ${\operatorname{Fl}}(d)$ by $\mathcal{U}^{\bullet}, E^{\bullet}$ respectively, we have $\mathcal{V}^{\bullet}_i = \pi_i^\ast \mathcal{U}^{\bullet}$ and $F^{\bullet} = \pi_i^\ast E^{\bullet}$ . From this, we deduce the following equivalences via smooth morphisms.
Observe that for each i, $D_{\sigma_i}(F^{\bullet};\; \mathcal{V}^{\bullet}_i) = \pi^{1}_i ( D_{\sigma_i}(E^{\bullet};\; \mathcal{U}^{\bullet}))$ inside ${\operatorname{Fl}}(d)^\ell$ . Therefore
Putting this together and applying Lemma 4·3:
In fact, the proof of Theorem 4·1 shows that we can say slightly more: we can reduce completely to Schubert varieties in flag varieties.
Theorem 4·4. With the same hypotheses as Theorem 4·1, let $\sigma'_{\!\!1} \leq \sigma_1, \ldots, \sigma^{\prime}_\ell \leq \sigma_\ell$ be permutations such that $x \in \widetilde{D}_{\sigma'_{\!\!i}}(\mathcal{V}^{\bullet};\; \mathcal{P}^{\bullet}_i)$ for all i. Let $z_i$ be any point in the open Schubert cell $\widetilde{X}_{\sigma'_{\!\!i}} \subseteq {\operatorname{Fl}}(d)$ . Then
Proof. In the notation of the proof of Theorem 4·1, it suffices to prove that
Observe that $D_{\sigma_i}(E^{\bullet};\; \mathcal{U}^{\bullet}) = D_{\sigma_i^{1}}(\mathcal{U}^{\bullet};\; E^{\bullet}) = X_{\sigma_i^{1}}(E^{\bullet})$ . Similarly, $D_{\sigma_i'}(E^{\bullet},\mathcal{U}^{\bullet}) = X_{(\sigma_i')^{1}}(E^{\bullet})$ . Since Schubert cells are Borel orbits, it follows that for any $w \in \widetilde{X}_{(\sigma_i')^{1}}(E^{\bullet})$ ,
To see that the same result holds when $\sigma_i^{1}, (\sigma_i')^{1}$ are replaced with $\sigma_i, \sigma'_{\!\!i}$ , observe that we may apply the entire argument to the case $S = {\operatorname{Fl}}(d), x = w, \ell = 1, \mathcal{V}^{\bullet} = \mathcal{U}^{\bullet}, \mathcal{P}^{\bullet}_1 = E^{\bullet}$ , from which it follows that for any $z_i \in \widetilde{X}_{\sigma'_{\!\!i}}$ , $P(w,X_{\sigma_i^{1}}(E^{\bullet})) = P(z_i, X_{\sigma_i}(E^{\bullet}))$ , and the result follows.
We also point out another useful consequence of the proof of Theorem 4·1.
Proposition 4·5. If $\mathcal{V}^{\bullet}, \mathcal{P}^{\bullet}_1, \ldots, \mathcal{P}^{\bullet}_\ell$ is a versal $(\ell+1)$ tuple of flags in a vector bundle $\mathcal{H}$ over S, then $D_{\sigma_1,\ldots,\sigma_\ell}(\mathcal{V}^{\bullet};\; \mathcal{P}^{\bullet}_1, \ldots, \mathcal{P}^{\bullet}_\ell)$ has pure codimension $\operatorname{inv}\!(\omega \sigma_1) + \ldots + \operatorname{inv}\!(\omega \sigma_\ell)$ in S.
Proof. By the codimension statement in Lemma 4·3 and the equivalence via smooth morphisms in the proof of Theorem 4·1, we may assume that $S = {\operatorname{Fl}}(d)^\ell$ , $\mathcal{P}^{\bullet}_i = \mathcal{U}^{\bullet}_i$ , and $\mathcal{V}^{\bullet} = F^{\bullet}$ . The result now follows from the fact that, in ${\operatorname{Fl}}(d)$ , the codimension of $D_{\sigma_i}(\mathcal{V}^{\bullet};\; F^{\bullet})$ is equal to the codimension of $X_{\sigma_i}$ , which is $\operatorname{inv}\!(\omega \sigma_i)$ (see Section 2·4).
Compare Corollary 4·6 below with [ Reference Knutson, Woo and YongKWY13 , corollaries 1·2, 1·3, 1·4, 3·1]; note also the generalisation from $\ell=2$ to any $\ell$ .
Corollary 4·6. By making various choices of P and $f_{P,\ell}$ , we deduce the following about any degeneracy locus $D = D_{\sigma_1, \ldots, \sigma_\ell}$ for versal flags $\mathcal{V}^{\bullet},\mathcal{P}^{\bullet}_1,\ldots,\mathcal{P}^{\bullet}_\ell$ .

(i) The smooth locus of D is the intersection of the smooth loci of each $D_{\sigma_i}$ .

(ii) D is normal and Cohen–Macaulay.

(iii) D is Gorenstein at $x\in D$ if and only if each $X_{\sigma_i}$ is Gorenstein along $\widetilde{X}_{\sigma'_{\!\!i}}$ , where $\sigma_i'$ is as in the hypotheses of Theorem 4·4.

(iv) Recall that for $x\in X$ , the Hpolynomial $H_{x,X}(q)$ is defined by the equation
\begin{align*} \textrm{Hilb}(G_{\mathfrak{m}_x}(\mathcal{O}_{X,x});\;q) = \frac{H_{x,X}(q)}{(1q)^{\dim_x X}},\end{align*}where $G_{\mathfrak{m}_x}(\mathcal{O}_{X,x})$ denotes the associated graded ring of $\mathcal{O}_{X,x}$ . Recall the Hilbert–Samuel multiplicity is $\operatorname{mult}_{x,X} = H_{x,X}(1)$ . Then\begin{align*} H_{x,D}(q) = \prod_i H_{x,D_{\sigma_i}}(q),\end{align*}and hence $\operatorname{mult}_{x,D} = \prod_i \,\operatorname{mult}_{x,D_{\sigma_i}}.$
Proof. For (i), (ii) and (iii), recall that Cohen–Macaulayness, reducedness, normalness, regularity, and being Gorenstein are all étalelocal [ Sta17 , Tag 025L, Tag 0E12]; moreover all Schubert varieties are normal and Cohen–Macaulay. In all three cases, we take the function $f_{P,\ell}$ to be “logical and.” For (iv), the associated graded of $\mathcal{O}_{D,x}$ can be computed from its completion, and étale morphisms induce isomorphisms on completed local rings (recall we always work over an algebraically closed field). Hence the Hpolynomial is also an étalelocal invariant. The result follows by taking $f_{P,\ell}$ to be the usual multiplication of polynomials.
See [ Reference Woo and YongWY06 ] for a characterisation of which Schubert varieties, in type A, are Gorenstein in terms of permutation patternavoidance, and a conjectured general characterisation of the nonGorenstein locus. The conjecture is proven by Perrin for minuscule Schubert varieties [ Reference PerrinPer09 ]; it is open in general as far as we know.
We can now prove Theorem 1·5 from the introduction. This requires a short argument applying Theorem 4·1 to cases where one defining flag may not be a complete flag.
Proof of Theorem 1·5. Let $i_0, \ldots, i_s$ be the coranks of the nests of sets. Let $F = {\operatorname{Fl}}(i_0, \ldots, i_s;\; \mathcal{H})$ and $F' = {\operatorname{Fl}}(H)$ (the complete flag variety); denote the projections to S by $\pi, \pi'$ respectively. Let $\mathcal{V}^{\bullet}$ be the tautological complete flag in $\pi'^\ast \mathcal{H}$ . Since each essential set $\textrm{Ess}(\sigma(A^{\bullet}_i))$ is contained in $\{i_0, \ldots, i_s\} \times [d]$ , we see by comparing defining rank conditions that the inverse image of $X_{A^{\bullet}_1}(\mathcal{P}^{\bullet}_1) \cap \ldots X_{A^{\bullet}_\ell}(\mathcal{P}^{\bullet}_\ell)$ in F ^{′} is equal to $D_{\sigma(A^{\bullet}_1), \ldots, \sigma(A^{\bullet}_\ell)} (\mathcal{V}^{\bullet};\; \pi'^\ast \mathcal{P}^{\bullet}_1, \ldots, \pi'^\ast \mathcal{P}^{\bullet}_\ell)$ , to which Theorem 4·1 applies. The Theorem now follows from the fact that the forgetful map $F' \rightarrow F$ is a fiber bundle, with fibers étalelocally isomorphic to affine space.
5. Relative Richardson varieties
5·1. Definitions
We now define relative Richardson varieties and deduce their basic properties from the results of the previous section. In particular we take $\ell=2$ in this section, as we are not aware of a generalisation of the cohomological arguments below to higher $\ell$ .
Definition 5·1. Let S be an irreducible smooth variety, with a rank d vector bundle $\mathcal{H}$ and two complete versal flags $\mathcal{P}^{\bullet},\mathcal{Q}^{\bullet}$ . Let $0=i_0 \lt i_1 \lt \ldots \lt i_s = d$ be integers. For any two nests of sets $A^{\bullet},B^{\bullet}$ with coranks $i_0, \ldots, i_s$ , define the subvariety of ${\operatorname{Fl}}(i_0,\ldots,i_s;\;\mathcal{H})$
where $X_{A^{\bullet}}(\mathcal{P}^{\bullet})$ and $X_{B^{\bullet}}(\mathcal{Q}^{\bullet})$ are defined in section 2·5. Such a variety $R_{A^{\bullet},B^{\bullet}}$ is called a relative Richardson variety over S.
For any two permutations $\sigma,\tau$ , we also write $R_{\sigma,\tau}(\mathcal{P}^{\bullet},\mathcal{Q}^{\bullet})$ as alternate notation for $R_{A^{\bullet},B^{\bullet}}(\mathcal{P}^{\bullet},\mathcal{Q}^{\bullet})$ , where $A^{\bullet},B^{\bullet}$ are complete nests of sets with decreasing completions $\sigma,\tau$ , respectively. We write $\widetilde{R}_{A^{\bullet},B^{\bullet}}$ for the open subscheme where all the defining rank conditions hold with equality, and use the notation $\widetilde{R}_{\sigma,\tau}$ similarly.
We emphasise that we reserve the phrase “relative Richardson variety” for situations where S is smooth and irreducible and the flags $\mathcal{P}^{\bullet},\mathcal{Q}^{\bullet}$ are versal, so that relative Richardson varieties share the geometric properties enjoyed by Richardson varieties, as summarised in Theorem 1·1.
Example 5·2. Let $S=\textrm{Spec}\;k$ , let $d=5$ , and
Then $R_{A^{\bullet},B^{\bullet}}$ is isomorphic to a Schubert variety with respect to the flag $P^{\bullet}$ , parametrising 2dimensional subspaces $V^3$ with
The cohomological statements in Theorem 1·1 will be proved in Section 5·2. The rest of Theorem 1·1 follows readily from the results of the previous section, as summarised below.
Theorem 5·3. A relative Richardson variety $R_{A^{\bullet},B^{\bullet}}$ is normal and Cohen–Macaulay, of pure codimension $\operatorname{inv}\!(\omega \sigma(A^{\bullet})) + \operatorname{inv}\!(\omega \sigma(B^{\bullet}))$ in ${\operatorname{Fl}}(\mathcal{H};\; i_0, \ldots, i_s)$ , and the smooth locus of $R_{A^{\bullet},B^{\bullet}}$ is equal to the intersection of the smooth loci of the relative Schubert varieties $X_{A^{\bullet}}$ and $X_{B^{\bullet}}$ . The open subscheme $\widetilde{R}_{A^{\bullet},B^{\bullet}}$ is dense in the smooth locus of $R_{A^{\bullet},B^{\bullet}}$ .
Proof. Let $\sigma = \sigma(A^{\bullet})$ and $\tau = \sigma(B^{\bullet})$ . Observe that $R_{\sigma,\tau} = f^{1} ( R_{A^{\bullet},B^{\bullet}})$ , where $f\;:\; {\operatorname{Fl}}(\mathcal{H}) \rightarrow {\operatorname{Fl}}(i_0, \ldots, i_s;\; \mathcal{H})$ is the forgetful morphism from the complete flag variety. Since f is a fiber bundle with smooth irreducible fibers, we see that it suffices to prove the theorem for $R_{\sigma,\tau}$ , i.e., for the case of complete flags. Note that
where $\pi\;:\; {\operatorname{Fl}}(\mathcal{H}) \rightarrow S$ is the structure map and $\mathcal{V}^{\bullet}$ is the tautological bundle of ${\operatorname{Fl}}(\mathcal{H})$ . The flags $\mathcal{V}^{\bullet},\pi^\ast \mathcal{P}^{\bullet},$ and $\pi^\ast \mathcal{Q}^{\bullet}$ are versal by Lemma 3·5, so Proposition 4·5 and Corollary 4·6 imply that $R_{\sigma,\tau}$ is normal and Cohen–Macaulay of pure codimension $\operatorname{inv}\!(\omega \sigma)+\operatorname{inv}\!(\omega \tau)$ in ${\operatorname{Fl}}(\mathcal{H})$ , with smooth locus equal to the intersection of the smooth loci of $D_{\sigma}(\mathcal{V}^{\bullet};\; \pi^\ast \mathcal{P}^{\bullet}) = X_\sigma(\mathcal{P}^{\bullet})$ and $D_\tau(\mathcal{V}^{\bullet};\; \pi^\ast \mathcal{Q}^{\bullet}) = X_\tau(\mathcal{Q}^{\bullet})$ . Theorem 4·4 and the description in Section 2·4 of the singular locus of Schubert varieties show that the singular locus of $R_{\sigma,\tau}$ is a union of certain loci $R_{\sigma^{\prime},\tau^{\prime}}$ where $\sigma^{\prime} \lt \sigma$ or $\tau^{\prime} \lt \tau$ , and Proposition 4·5 shows that each such locus has positive codimension. In particular, $\widetilde{R}_{\sigma,\tau}$ is dense and contained in the smooth locus of $R_{\sigma,\tau}$ .
5·2. Cohomology of relative Richardson varieties
In order to understand the cohomology of the schemes $R_{A^{\bullet},B^{\bullet}}$ , we will relate them to each other, and to the base S, via morphisms for which the total pushforward of the structure sheaf is trivial. Call a proper morphism of kschemes $\pi\,\colon X\to Y$ $\mathcal{O}$ connected if $\mathcal{O}_Y \to \pi_* \mathcal{O}_X$ is an isomorphism, and call $\pi$ a cohomological equivalence if it is $\mathcal{O}$ connected and
We note that the term “cohomological equivalence” is sometimes used in the literature specifically for birational morphisms (e.g. in [ Reference KovácsKov17 ]), but we use it in a more general way. Note (see e.g. [ Reference HartshorneHar77 , exercise 8·1]) that if $\pi$ is a cohomological equivalence then it induces canonical isomorphisms $H^i(X,\mathcal{O}_X)\cong H^i (Y,\mathcal{O}_Y)$ for all $i\ge 0$ . In particular, we have $\chi(X,\mathcal{O}_X) = \chi(Y,\mathcal{O}_Y)$ in this situation. In what follows, we will make use of the following fact, which can be deduced from the Grothendieck spectral sequence: if $f\,\colon X' \to X$ is a cohomological equivalence and $\pi\,\colon X \to Y$ is any proper morphism, then $\pi$ is a cohomological equivalence if and only if $\pi\circ f$ is a cohomological equivalence. The purpose of this subsection is to prove the following theorem.
Theorem 5·4. Let $\mathcal{P}^{\bullet},\mathcal{Q}^{\bullet}$ be versal flags in a rankd vector bundle $\mathcal{H}$ on a scheme S, and let $A^{\bullet}, B^{\bullet}$ be any two nests of sets as defined in section 5·1. Denote by $R_{A^{\bullet}, B^{\bullet}}$ the resulting relative Richardson variety. Let $\sigma = \sigma(A^{\bullet})$ and $\tau = \sigma(B^{\bullet}).$ Then the image of the morphism $R_{A^{\bullet},B^{\bullet}} \rightarrow S$ is $D_{\tau \star \sigma^{1}}(\mathcal{P}^{\bullet};\; \mathcal{Q}^{\bullet})$ , and the morphism $R_{A^{\bullet},B^{\bullet}} \rightarrow D_{\tau \star \sigma^{1}}(\mathcal{P}^{\bullet};\; \mathcal{Q}^{\bullet})$ is a cohomological equivalence.
Our strategy for proving Theorem 5·4 is as follows. We first reduce to the case of complete flag varieties, i.e., varieties $R_{\sigma,\tau}$ (Corollary 5·9). We then show that the desired statement about $R_{\sigma,\tau}$ can be deduced from the statement for $R_{\sigma^{\prime}, \tau^{\prime}}$ , where $\sigma^{\prime},\tau^{\prime}$ is another pair of permutations with $\operatorname{inv}\!(\sigma^{\prime}) \lt \operatorname{inv}\!(\sigma)$ and $\tau^{\prime} \star \sigma^{\prime}{}^{1} = \tau \star \sigma^{1}$ (Lemma 5·11). This reduces by induction to the case of the morphism $R_{\textrm{id}, \tau \star \sigma^{1}} \to S$ , which we show (Lemma 5·12).
Throughout the section, we fix the choice of $S, \mathcal{H}, \mathcal{P}^{\bullet}, \mathcal{Q}^{\bullet}$ . We do not assume in general that $\mathcal{P}^{\bullet}, \mathcal{Q}^{\bullet}$ are versal, as several auxiliary results do not require this hypothesis; we will state it specifically when it is needed. We begin with three useful criteria for cohomological equivalences.
Fact 5·5. If $f\;:\; X \rightarrow Y$ is a Grassmannian bundle, then f is a cohomological equivalence.
Proof. This follows from the fact that the structure sheaf of the Grassmannian variety $\textrm{Gr}(t,n)$ has no higher cohomology. This in turn follows from the Borel–Weil–Bott theorem, or can be seen more directly by induction on t, by observing that both the forgetful morphisms ${\operatorname{Fl}}(t1,t;\;n) \to \textrm{Gr}(t1,n)$ and ${\operatorname{Fl}}(t1,t;\;n) \to \textrm{Gr}(t,n)$ are cohomological equivalences.
Fact 5·6. If $f\;:\; X \rightarrow Y$ is a birational morphism of normal, irreducible, projective varieties, then f is $\mathcal{O}$ connected.
Proof. See the proof of [ Reference HartshorneHar77 , corollary 11·4].
Fact 5·7. Suppose $X\xrightarrow{\pi} Y$ factors as $X\xrightarrow{j} Z\xrightarrow{\pi'} Y$ , where $X\to Z$ is a closed immersion with ideal sheaf $\mathcal{I}$ and $Z\to Y$ is a $\mathbb{P}^1$ bundle. Then $R^i \pi_* \mathcal{O}_X = 0$ for all $i>0.$
Proof. This argument may be found in [ Reference BrionBri05 , section 2·1]; we summarise it here for convenience. The statement holds for $i>1$ since all fibers of $\pi$ have dimension at most 1. For $i=1$ , the exact sequence $0\to \mathcal{I} \to \mathcal{O}_Z \to j_* \mathcal{O}_X \to 0$ yields the following portion of a long exact sequence.
The first term is 0 since $\pi'$ is a $\mathbb{P}^1$ bundle, and the third term is 0 since all fibers of $\pi'$ have dimension 1. So the middle term is 0.
In what follows, we fix the following notation. If $A,B \subseteq \mathbb{Z}$ are finite sets, we write $A \lt B$ to mean $\max A \lt \min B$ . If $A^{\bullet}, B^{\bullet}$ are two nests of sets, and j is an index with $0 \lt j \lt s$ , we denote the nested sets obtained by removing the jth set as follows.
Lemma 5·8. Let S be a smooth variety, with a rank d vector bundle $\mathcal{H}$ and two complete flags $\mathcal{P}^{\bullet},\mathcal{Q}^{\bullet}$ . Suppose that $A^{\bullet}, B^{\bullet}, j$ are as above, and that we have both
Then $R_{A^{\bullet},B^{\bullet}} \rightarrow R_{A^{\bullet}_j, B^{\bullet}_j}$ is a cohomological equivalence, and it is a fiber bundle with smooth irreducible fibers.
For example, let $A^{\bullet} = B^{\bullet} = (\{0,1,2,3\} \supset \{0,1\} \supset \emptyset)$ , and $j=1$ . Then $R_{A^{\bullet},B^{\bullet}} \rightarrow R_{A_j^{\bullet}, B_j^{\bullet}}$ is a Grassmannian $\mathbb{G}(1,\mathbb{P}^3)$ over a point.
Proof of Lemma 5·8. Observe that $\textrm{Ess}(\sigma(A^{\bullet}),\sigma(B^{\bullet}))$ does not contain $(i_j, b)$ for any value of b (see Remark 2·9). So $R_{A^{\bullet},B^{\bullet}}$ and $R_{A_j^{\bullet}, B_j^{\bullet}}$ are defined by the same rank conditions, and thus $R_{A^{\bullet},B^{\bullet}}$ is the inverse image of $R_{A_j^{\bullet}, B_j^{\bullet}}$ under a forgetful morphism of partial flag varieties. The Lemma now follows from Fact 5·5.
Applying Lemma 5·8 repeatedly gives the following.
Corollary 5·9. Let $\mathcal{P}^{\bullet}, \mathcal{Q}^{\bullet}$ be complete flags in a vector bundle $\mathcal{H}$ on a smooth scheme S. For any choice of $A^{\bullet}, B^{\bullet}$ , the forgetful morphism
is a cohomological equivalence with smooth irreducible fibers.
Lemma 5·10. Let $\mathcal{P}^{\bullet}, \mathcal{Q}^{\bullet}$ be versal flags in a vector bundle $\mathcal{H}$ on a smooth scheme S. Given $A^{\bullet}, B^{\bullet}$ , define $A^{\bullet}_j$ and $B^{\bullet}_j$ as in Lemma 5·8. Suppose further that $i_{j+1} = i_{j1}+2$ , and either
Then the forgetful morphism $\pi\,\colon R_{A^{\bullet},B^{\bullet}} \to R_{A^{\bullet}_j, B^{\bullet}_j}$ is a cohomological equivalence.
Proof. If both of these conditions hold, then the result follows from Lemma 5·8. Therefore we may assume without loss of generality that $i_{j+1} = i_{j1}+2$ and that
Writing $\{b\} = B^{i_{j1}}\setminus B^{i_{j}}$ and $\{c\} = B^{i_{j}}\setminus B^{i_{j+1}}$ , we have $b \lt c$ . Define $C^{\bullet}$ by “exchanging b and c,” in other words $C^{i_j} = C^{i_{j+1}} \cup \{b\}$ and $C^{\bullet}$ is otherwise the same as $B^{\bullet}$ . Notice that $\pi$ factors as $R_{A^{\bullet},B^{\bullet}} \to R_{A^{\bullet},C^{\bullet}} \to R_{A_j^{\bullet},B_j^{\bullet}},$ where the first morphism is a closed immersion, and the second is the structure map for a $\mathbb{P}^1$ bundle, by the argument in Lemma 5·8. This implies that $R^i \pi_* \mathcal{O}_{R_{A^{\bullet},B^{\bullet}}} = 0$ for $i>0$ (Fact 5·7). It remains to verify that $\pi$ is $\mathcal{O}$ connected. The statement is local in $R_{A^{\bullet}_j, B^{\bullet}_j}$ , so we assume that $R_{A^{\bullet}_j,B^{\bullet}_j}$ is connected. Since it is also normal (Theorem 5·3), we may assume that $R_{A^{\bullet}_j,B^{\bullet}_j}$ is irreducible. By Fact 5·6, it suffices to check that $\pi$ is birational. The open subscheme $\widetilde{R}_{A^{\bullet}, B^{\bullet}}$ is dense in $R_{A^{\bullet},B^{\bullet}}$ by Theorem 5·3, and likewise $\widetilde{R}_{A^{\bullet}_j,B^{\bullet}_j}$ is dense in $R_{A^{\bullet}_j,B^{\bullet}_j}$ . At any point of $\widetilde{R}_{A^{\bullet}_j,B^{\bullet}_j}$ , corresponding to flags $V^{\bullet}, P^{\bullet}, Q^{\bullet}$ in H, there is a unique choice of subspace $V^{i_j}$ strictly between $V^{i_{j1}}$ and $V^{i_{j+1}}$ which can be added to the flag $V^{\bullet}$ to produce a point of $R_{A^{\bullet},B^{\bullet}}$ . More precisely, over $\widetilde{R}_{A^{\bullet}_j, B^{\bullet}_j}$ , the morphism $\pi$ is a structure morphism for a relative Schubert subvariety of a $\mathbb{P}^1$ bundle consisting of all relative flags in this $\mathbb{P}^1$ bundle that coincide with a fixed flag. This shows that in fact $\pi$ restricts to an isomorphism $\widetilde{R}_{A^{\bullet}, B^{\bullet}} \rightarrow \widetilde{R}_{A^{\bullet}_j, B^{\bullet}_j}$ , which shows that $\pi$ is indeed birational, which completes the proof.
Lemma 5·11. Suppose $\sigma,\tau$ is a pair of permutations, and s is a simple transposition. Assume that $\mathcal{P}^{\bullet}, \mathcal{Q}^{\bullet}$ are versal. Then $R_{\sigma \star s, \tau} \to S$ and $R_{\sigma, \tau \star s} \to S$ have the same image S^{′}, and if one is a cohomological equivalence then so is the other.
Proof. First, consider the case where $\sigma \star s = \sigma$ . We may assume that $\tau \star s \neq \tau$ . Let j be the index such that s transposes j and $j1$ . By Fact 2·4, $\sigma_{j1} \gt \sigma_j$ , $\tau_{j1} \lt \tau_j$ , and $\tau \star s = \tau s$ . Let $A^{\bullet},B^{\bullet},C^{\bullet}$ be the complete nests of sets associated to $\sigma,\tau$ , and $\tau s$ , respectively.
Both $R_{\sigma,\tau} = R_{A^{\bullet},B^{\bullet}}$ and $R_{\sigma,\tau s} = R_{A^{\bullet},C^{\bullet}}$ have forgetful morphisms to $R_{A^{\bullet}_j,B^{\bullet}_j}$ ; we record the relevant morphisms in the commuting diagram below.
Here i is a closed immersion, and f ^{′} is a $\mathbb{P}^1$ bundle. The maps f and f ^{′} are known to be cohomological equivalences, by Lemmas 5·8 and 5·10. In particular, all three pushforwards $\pi_\ast \mathcal{O}_{R_{A^{\bullet},B^{\bullet}}}$ , $\pi^j_\ast \mathcal{O}_{R_{A^{\bullet}_j, B^{\bullet}_j}}, \pi'_\ast \mathcal{O}_{R_{A^{\bullet}, C^{\bullet}}}$ agree. It follows that the schemetheoretic image of all three has the same ideal sheaf on S (namely, the kernel of $\mathcal{O}_S \rightarrow \pi_\ast \mathcal{O}_{R_{A^{\bullet},B^{\bullet}}}$ ). Hence the image of all three morphisms $\pi, \pi^j, \pi'$ is the same; call this image S ^{′}.
All three morphisms $\pi, \pi^j, \pi'$ factor through S ^{′}. It follows from the Grothendieck spectral sequence that the morphism $R_{A^{\bullet},B^{\bullet}}\rightarrow S^{\prime}$ is a cohomological equivalence if and only the morphism $R_{A^{\bullet}_j,B^{\bullet}_j} \rightarrow S^{\prime}$ is a cohomological equivalence, if and only if the morphism $R_{A^{\bullet}, C^{\bullet}} \rightarrow S^{\prime}$ is a cohomological equivalence. This establishes the result in the case where $\sigma \star s = \sigma$ .
Next, the case where $\tau \star s = \tau$ follows from the first case by exchanging the flags. It remains to consider the case where $\tau \star s \neq \tau$ and $\sigma \star s \neq \sigma$ . In fact, this case follows from the first two: by Fact 2·4 we have $\sigma \star s = \sigma \star s \star s = \sigma s$ and $\tau \star s = \tau \star s \star s = \tau s$ , and the result follows by first relating $R_{\sigma \star s \star s, \tau}$ to $R_{\sigma \star s, \tau \star s}$ and then relating $R_{\sigma \star s, \tau \star s}$ to