All varieties are over $\mathbb{C}$.


Let $G$ be a connected reductive group, $B\subseteq G$ a Borel subgroup. 
Let $O\_w$ be a $B$-orbit in $G/B$. I.e., $O\_w$ is a Bruhat cell. In particular, it is simply connected. Write $IC(O\_w, \underline{\mathbb{C}})$ for the minimal perverse extension of the (shifted) constant rank 1 local system on $O\_w$ to all of $G/B$.


Let $i\_v\colon O\_v \hookrightarrow G/B$ be the inclusion of some (other) $B$-orbit.


**Fact**: if $O\_v \subseteq \overline{O\_w}$ (Zariski closure), then $i\_v^\*IC(O\_w, \underline{\mathbb{C}})\neq 0$.


Is there an elementary proof of this? The only way I know how to prove this is to use Kazhdan-Lusztig theory.


**Motivation**: If $B$-orbits are replaced by $K$-orbits (for some other closed subgroup $K\subseteq G$ acting on $G/B$ with finitely many orbits), then, in general, the `Fact' doesn't hold. Namely, if one takes the $IC$-extension $IC(Y\_w,\tau)$ corresponding to a $K$-orbit $Y\_w$ and an irreducible $K$-equivariant local system $\tau$ on $Y\_w$, then it is generally NOT true that 'if $Y\_v\subseteq \overline{Y\_w}$, then $i\_v^\*IC(\tau)\neq 0$' (I hope the notation is self explanatory). For instance, take $\mathbb{C}^\*$ acting on $\mathbb{P}^1 = \mathbb{C} \sqcup \{\infty\}$ by $t\cdot z = t^{-2}z$, and take $\tau$ to be the (only) non-trivial irreducible $\mathbb{C}^\*$-equivariant local system on the open orbit.


Consequently, one is led to asking for a classification of equivariant local systems $\tau$ on $K$-orbits whose $IC$-extension is simply the $!$-extension of $\tau$. I only know such a characterization (for $K$ a symmetric subgroup) in terms of combinatorics of a module for the Hecke algebra. It seems a bit too high powered to have to use the Hecke algebra (and secretly weights) for this (I am not asking for detailed multiplicity or $Ext$ information, just an irreducibility criterion for standard objects).



Stalks of intersection cohomology complexes of Schubert varieties and Bruhat order
The stalk of the IC sheaf you're interested in looking at is the intersection cohomology of an actual space, given by the intersection of the Schubert variety $\bar{O}\_w$ with an orbit of an opposite Borel (through the unique fixed point of the torus given by the intersection of the Borels in $O\_v$). This intersection cohomology is non-zero in degree 0. This fails for a non-trivial local system, so I think it's the triviality of the local system that's the important thing.


