The Structure of Cycles in Projective Geometry over $\mathbb{F}_q$
A classical geometric result says that every nonzero cycle of the mod-$2$ incidence map from $d$-subsets to $(d-1)$-subsets of $[n]$ has support at least $d+1$, with equality attained by the boundary of a simplex on $d+1$ vertices. We prove an analogous result for the subspace lattice of $\mathbb{F}_q^n$, determining the minimum support size of a nonzero $d$-cycle over a field $K$ of characteristic $p \mid q+1$. Surprisingly, the boundary of a $(d+1)$-space is not always optimal. Shorter cycles occur for $d=1$, and for $d=2$ when $n\ge4$, and otherwise, the boundary of a $(d+1)$-space is…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.07683
curl -X POST /api/v1/records/arxiv/2608.07683/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.07683/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'