The cardinal-invariant lower-bound conjecture for mad families of subspaces

About 9 years old · traced to

Let FF be a countable field, let non(M) \mathrm{non}(\mathcal{M}) denote the uniformity of the meager ideal, and let avec,F\mathfrak{a}_{\mathrm{vec},F} be the least cardinality of a mad family of subspaces over FF. Lower-bound conjecture.

non(M)≤avec,F.\mathrm{non}(\mathcal{M})\leq\mathfrak{a}_{\mathrm{vec},F}.

Consequently, it is consistent that a<avec,F\mathfrak{a}<\mathfrak{a}_{\mathrm{vec},F}, where a\mathfrak{a} is the least cardinality of a mad family on ω\omega. The conjecture would remove the block-subspace assumption from the corresponding result and would yield a consistency separation between these cardinal characteristics.

References

Primary source

Iian B. Smythe, “Madness in vector spaces”, arXiv:1712.00057 (2019).

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.