Minimal relative Schubert modules - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T14:53:03Z http://mathoverflow.net/feeds/question/91786 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/91786/minimal-relative-schubert-modules Minimal relative Schubert modules Christopher Drupieski 2012-03-21T03:21:56Z 2012-03-22T16:02:19Z <p>I am trying to better understand the definition of certain objects called <em>minimal relative Schubert modules</em>. My primary reference is Chapters 1 and 2 of Wilberd van der Kallen's <a href="http://wilberdk.home.xs4all.nl/publications_files/bmod.pdf" rel="nofollow">Lectures on Frobenius splittings and B-modules</a>.</p> <p>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$.</p> <p>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$.</p> <p>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.</p> <p>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</p> <p>$H_w(-) = \text{ind}_B^{P_1} \circ \text{ind}_B^{P_2} \circ \cdots \circ \text{ind}_B^{P_t}(-)$,</p> <p>where $P_i = P_{\alpha_i}$ is the minimal parabolic corresponding to the simple root $\alpha_i$.</p> <p>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 <code>$P(\mu) = H_{w^{-1}}(w\mu) = H^0(X_{w^{-1}},\mathcal{L}(w\mu))$</code>. Assume now that $w$ was chosen to be of minimal length with the property that <code>$-w\mu \in X(T)_+$</code>. Then the minimal relative Schubert module $Q(\mu)$ is defined by</p> <p>$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)))$.</p> <p>So $Q(\mu) \subset P(\mu)$.</p> <blockquote> <p>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$ ?</p> </blockquote> <p>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 <em>Representations of Algebraic Groups</em>).</p> http://mathoverflow.net/questions/91786/minimal-relative-schubert-modules/91841#91841 Answer by Chuck Hague for Minimal relative Schubert modules Chuck Hague 2012-03-21T17:52:57Z 2012-03-22T16:02:19Z <p>This is not really an answer to your question -- more of a long comment, I suppose -- but there is a somewhat intuitive way to understand what these modules look like, representation-theoretically speaking. It's easier to describe what the duals to these modules look like, so let me do that. First, for any weight $\mu$, let $\mu^+$ denote the unique dominant element in the Weyl group orbit of $-\mu$ and let $V(\mu^+)$ denote the Weyl module for $G$ of highest weight $\mu^+$ (i.e., $V(\mu^+) = H^0(-w_0\mu^+)^*$). Then the Joseph module <code>$P(\mu)^*$</code> is just the $B$-submodule of $V(\mu^+)$ generated by any nonzero weight vector of weight $-\mu$. (Dually, this now describes the surjection $H^0(-w_0\mu^+) \twoheadrightarrow P(\mu)$).</p> <p>Now set $$\lbrace \mu_1, \ldots, \mu_r \rbrace := \lbrace s \mu : s \in W \textrm{ is a simple reflection and } s \mu &lt; \mu \rbrace .$$ Let $I(\mu)$ be the $B$-submodule of $V(\mu^+)$ generated by $P(\mu_i)^*$, $1 \leq i \leq r$. Equivalently, $I(\mu)$ is the $B$-submodule of $V(\mu^+)$ generated by nonzero weight vectors of weights $-\mu_1, \ldots, -\mu_r$. Then $Q(\mu)^*$ fits into an exact sequence <code>$$0 \to I(\mu) \to P(\mu)^* \to Q(\mu)^* \to 0 .$$</code> Remark that we can also describe $I(\mu)$ as the submodule of <code>$V(\mu^+)$</code> generated by all Joseph modules properly contained in <code>$P(\mu)^*$</code>.</p> <p>As for the evaluation map $\varepsilon$, it can be described as follows. Let <code>$V \subseteq V(\mu^+)$</code> denote the highest weight subspace of weight <code>$\mu^+$</code>. Then <code>$\varepsilon : P(\mu) \twoheadrightarrow k_{-\mu^+}$</code> is dual to the inclusion <code>$V \hookrightarrow P(\mu)^*$</code> of the highest weight subspace. (Remark also that <code>$V = P(-\mu^+)^*$</code>).</p>