The characteristic-rank conjecture for oriented Grassmannians

About 3 years old · traced to

Let Gr⁡~k(n)\widetilde{\operatorname{Gr}}_k(n) be the oriented Grassmannian and let S→Gr⁡~k(n)S\to\widetilde{\operatorname{Gr}}_k(n) be its tautological bundle. Write crk(S)\mathrm{crk}(S) for the characteristic rank of SS. For integers satisfying

5≤k≤2t−1<n≤2t,t≥5,5\leq k\leq 2^{t-1}<n\leq 2^t,\qquad t\geq 5,

Characteristic-rank conjecture. The characteristic rank is

crk(S)=min⁡(2t−2, k(n−2t−1)+2t−1−2).\mathrm{crk}(S)=\min\bigl(2^t-2,\,k(n-2^{t-1})+2^{t-1}-2\bigr).

The theorem immediately preceding the conjecture establishes the upper bound crk(S)≤2t−2\mathrm{crk}(S)\leq 2^t-2 when n=2tn=2^t and 2t−5≥k≥52^t-5\geq k\geq5, producing a nonzero anomalous class. The conjecture predicts the exact characteristic rank throughout the displayed range, while the general equality remains open.

References

Primary source

Ákos K. Matszangosz and Matthias Wendt, “The mod 2 cohomology rings of oriented Grassmannians via Koszul complexes”, arXiv:2310.11129 (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.