I am trying to better understand the definition of certain objects called *minimal relative Schubert modules*. My primary reference is Chapters 1 and 2 of Wilberd van der Kallen's Lectures on Frobenius splittings and B-modules.

Here is the setup: $G$ is a reductive algebraic group over an algebraically closed field $k$, $B$ is a Borel subgroup of $G$, $T$ is a maximal torus of $B$, $X(T)$ is the character group of $T$, and $W = N_G(T)/C_G(T)$ is the associated Weyl group. In van der Kallen's notes, the Borel subgroup is assumed to correspond to the set of positive roots of $T$ in $G$.

Given an element $w \in W$, one has the Bruhat cell $(BwB)/B \subset G/B$, and its closure in $G/B$ is the Schubert variety $X_w$. We also have the boundary $\partial X_w$.

Given a $B$-module $M$, one has an associated $G$-vector bundle $\mathcal{L}(M)$ over $G/B$. We can restrict the vector bundle to the Schubert varietiy $X_w$, and then consider the space $H^0(X_w,\mathcal{L}(M))$ of global sections. van der Kallen denotes this space by $H_w(M)$, and calls it a dual Joseph module.

It follows from Remark 2.2.3 and Corollary 2.2.7 in van der Kallen's notes that the functor $H_w(-)$ can be realized as a composition of induction (and restriction) functors $\text{ind}_B^{P_s}(-)$, where $P_s$ is a minimal parabolic subgroup of $G$. Specifically, if $w = s_{\alpha_1} s_{\alpha_2} \ldots s_{\alpha_t}$ is a reduced expression for $w$, then

$H_w(-) = \text{ind}_B^{P_1} \circ \text{ind}_B^{P_2} \circ \cdots \circ \text{ind}_B^{P_t}(-)$,

where $P_i = P_{\alpha_i}$ is the minimal parabolic corresponding to the simple root $\alpha_i$.

Now to the definitions I am grappling with: Let $\mu \in X(T)$, and let $w \in W$ such that $-w\mu \in X(T)_+$ (i.e., $w\mu$ is an antidominant weight). Then the dual Joseph module $P(\mu)$ is defined by $P(\mu) = H_{w^{-1}}(w\mu) = H^0(X_{w^{-1}},\mathcal{L}(w\mu))$. Assume now that $w$ was chosen to be of minimal length with the property that $-w\mu \in X(T)_+$. Then the minimal relative Schubert module $Q(\mu)$ is defined by

$Q(\mu) = \text{ker}(\text{res}: H^0(X_{w^{-1}},\mathcal{L}(w\mu)) \rightarrow H^0(\partial X_{w^{-1}},\mathcal{L}(w\mu)))$.

So $Q(\mu) \subset P(\mu)$.

Is there a way to understand $Q(\mu)$ in terms of the homological properties of the induction functors $\text{ind}_B^{P_i}(-)$ and their evaluation maps $\varepsilon:\text{ind}_B^{P_i}(M) \rightarrow M$ ?

I am not familiar or comfortable at this point with the geometric notions involved in the above definitions, but am much more comfortable with the homological properties of the induction functors, since these can be defined much more algebraically (say, as given in Chapter I.3 of Jantzen's *Representations of Algebraic Groups*).