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

About 7 years old · traced to

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 h′⊂hh'\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))∣h′⊂h}\{[\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 An−1,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.

References

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.