Extension of Poincaré-dual independence to types E7 and E8

Let hh be a Hessenberg function and let Hess(N,h)\operatorname{Hess}(N,h) be the associated regular nilpotent Hessenberg variety. For a Hessenberg function hhh'\subset h, write [Hess(N,h)][\operatorname{Hess}(N,h')] for its Poincaré dual in H(Hess(N,h))H^*(\operatorname{Hess}(N,h)). Extension conjecture. The set of Poincaré duals

{[Hess(N,h)]H(Hess(N,h))hh}\{[\operatorname{Hess}(N,h')]\in H^*(\operatorname{Hess}(N,h))\mid h'\subset h\}

is linearly independent for regular nilpotent Hessenberg varieties of types E7E_7 and E8E_8. The corresponding linear-independence theorem is established in types An1,Bn,Cn,Dn,E6,F4,G2A_{n-1},B_n,C_n,D_n,E_6,F_4,G_2; the assertion for types E7E_7 and E8E_8 is presented as the remaining extension.

Sources & referencesView supporting material

Primary source

Makoto Enokizono, Tatsuya Horiguchi, Takahiro Nagaoka and Akiyoshi Tsuchiya, “An additive basis for the cohomology rings of regular nilpotent Hessenberg varieties”, arXiv:1912.11763 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.