Components of Springer fibers associated to closed orbits for the symmetric pairs \((Sp(2n), GL(n))\) and \((O(n), O(p) \times O(q))\). II (Q408504)

This is the second of two papers aimed to describe the structure of certain (irreducible) components of Springer fibers associated to closed \(K\)-orbits in the flag variety \(\mathcal B\) of a complex classical group \(G\) for the pairs NEWLINE\[NEWLINE(G,K) = (Sp\;\!(2n),GL(n)) \quad \text{and} \quad (G,K) = (O(n),O(p)\times O(q)), \, \text{where} \; p + q = n.NEWLINE\]NEWLINE Here we use the terminology and notation of the first paper [\textit{L. Barchini} and \textit{R. Zierau}, J. Algebra 345, No. 1, 109--136 (2011; Zbl 1254.22007)], in which it was proved that, if \(\mathcal Q = K\cdot\mathfrak b\) with \(\mathfrak b = \mathfrak h + \mathfrak n^-\) is a closed orbit in \(\mathcal B\) and \(f\) is generic in \(\mathfrak n^-\cap\,\mathfrak p\), then \(C_f = L_{m,e}\cdots L_{1,e}L_{0,e}\cdot\mathfrak b = Q_{m,e}\cdots Q_{1,e}Q_{0,e}\cdot\mathfrak b\) is a component of the Springer fiber \(\mu^{-1}(f)\) that is contained in \(\gamma_{\mathcal Q}^{-1}(f)\) and every component of \(\mu^{-1}(f)\) contained in \(\gamma_{\mathcal Q}^{-1}(f)\) is an \(A_K(f)\) translate of \(C_f\). In this second paper, the authors define an iterated bundle \(X = Q_{m,e}\times_{R_m} Q_{m-1,e}\times_{R_{m-1}}\cdots\times_{R_1} Q_{0,e}/R_0\), where \(R_i = Q_{i,e}\cap Q_{i-1,e} \, (1\leqslant i\leqslant m)\) and \(R_0 = Q_{0,e}\cap N_G(\mathfrak b)\) with \(N_G(\mathfrak b)\) the normalizer of \(\mathfrak b\) in \(G\); then they show that \(C_f\) and \(X\) are isomorphic as algebraic varieties. These results are applied to compute the Poincaré polynomials of \(C_f\), to prove a vanishing theorem for the sheaf cohomology of \(C_f\) with coefficients in the sheaf of local sections of a well-defined line bundle on \(C_f\) and, if \((G,K) = (Sp\;\!(2n),GL(n))\), to show that \(C_f\) is stable under the action on \(\mathcal B\) of the diagonal torus in \(G\).