Torus fixed point sets of Hessenberg Schubert varieties in regular semisimple Hessenberg varieties (Q6171987)

The main result of this note is a characterization of the \(T\)-fixed point sets of Hessenberg Schubert varieties in terms of Bruhat order. Hessenberg varieties Hess\((S,h)\) are subvarieties of the full flag variety defined by a Hessenberg function \(h\) and a linear transformation \(S\). It is well-known that the \(T\)-fixed points of a Schubert variety in the flag variety \(GL_n(\mathbb{C})/B\) can be characterized purely combinatorially in terms of Bruhat order on the symmetric group \(S_n\). In [\textit{S. Cho} et al., Adv. Math. 423, Article ID 109018, 81 p. (2023; Zbl 1523.14080)], it is analyzed the Białynicki-Birula decomposition of a regular semisimple Hessenberg variety, and it is introduced the notion of reachability to give an explicit description of the \(T\)-fixed points of a given Hessenberg Schubert variety (namely the closure of a Białynicki-Birula cell). This work an interpretation of reachability in terms of Bruhat order by making use of a partition of the symmetric group defined using so-called subsets of Weyl type. Doing so the authors obtains a characterization of the \(T\)-fixed point sets of Hessenberg Schubert varieties in terms of Bruhat order. Let \(\Omega^\circ_{w,h}=\Omega^\circ_{w}\cap Hess(S,h)\) be the Hessenberg Schubert cell associated to the Schubert cell \(\Omega^\circ_{w}\) (\(w\in S_n\)) and let \(\Omega_{w,h}=\overline{\Omega^\circ_{w,h}}\) be its closure. The authors' main tool is a partition of \(S_n\) into sets \(W(S,h)\) defined by particular subsets in the type A root system, called subsets of Weyl type. This partition was introduced in [\textit{E. Sommers} and \textit{J. Tymoczko}, Trans. Am. Math. Soc. 358, No. 8, 3493--3509 (2006; Zbl 1105.20036)]. The Appendix, written by Michael Zeng, proves that each \(W(S,h)\) is a weak Bruhat interval. Let \(w_S\in W(S,h)\) denote the maximal element in this interval. The authors prove that \(\Omega_{w,h}^T=\Omega_{w}^T\). The authors show that \(\Omega_{w,h}\) is not simply a union of the Hessenberg Schubert cells indexed by \(u\geq w_S\). In other words, their main theorem does not yield a complete description of the Hessenberg Schubert variety \(\Omega_{w,h}\).