Skip to content
Preprint

Projective Ore-Degree Conditions for Intersection Theorems in Vector Spaces

Jul 2026 · 0 citations · 18 references
Mathematics

Abstract

Let $V$ be an $n$-dimensional vector space over the finite field $\mathbb F_q$, and let $\mathcal F\subsetneq\genfrac{[}{]}{0pt}{}{V}{k}$. The \emph{projective Ore-degree} of $\mathcal F$ is the minimum, over all $k$-subspaces $S\notin\mathcal F$, of the sum of the $\mathcal F$-degrees of the projective points contained in $S$. We prove sharp projective Ore analogues of the vector-space Erd\H{o}s--Ko--Rado and Hilton--Milner theorems. The Ore--Erd\H{o}s--Ko--Rado theorem holds for $n\ge2k+1$, with equality only for a full point-star. For nontrivial intersecting families, we determine the sharp Ore--Hilton--Milner threshold, together with the complete equality classification, when $q\ge3$ and $n\ge2k+1$, or when $q\ge2$ and $n\ge2k+2$. We further determine a sharp projective Ore-degree threshold forcing a direct-sum matching of size $s$ when $s\ge3$ and $n\ge(2s-1)k-s+4$, and derive a multicolour Ramsey consequence.

View source

Similar papers

Preprint Sep 2026

Bernstein-Sato ideals for free hyperplane arrangements

Let $f=(f_1,\dots,f_r)$ be a complete factorization of a central hyperplane arrangement $D$ in $X=\mathbb{C}^n$. For a monoid ideal $K\subseteq \mathbb{N}^r$ we study the Bernstein-Sato ideal $B^K_f$ of $f$ along $K$, that is, the $\mathbb{C}[s]$-annihilator of $\mathcal{D}_X[s]f^s/\sum_{m\in K}\mathcal{D}_X[s]f^{s+m}$...

Wen-Zong Guo, Lei Wu, Fang-Han Xiang · 1 citation
Sep 2026

Planar rank-one sheaves on P3, obstruction bundles, and divisor-supported Donaldson–Thomas series

Let $X=\mathbb{P}^3$ and let \[ \alpha_n=(0,1,-\tfrac12,\tfrac16-n)\in H^{\mathrm{even}}(X,\mathbb{Q}) \] with respect to the basis $1,H,H^2,H^3$, where $H=c_1(\mathcal{O}_X(1))$. We prove that every Gieseker semistable sheaf on $X$ with Chern character $\alpha_n$ is stable and uniquely of the form $\iota_{P*}\mathcal{...

R. Anderson · 0 citations
Preprint Aug 2026

A $k$-Dimensional Version of the Largest Intersection Problem

Suppose we have $r$ linearly independent hypersurfaces of degree $d$ in $\mathbb{P}^m$ (or $\mathbb{A}^m$) defined over a finite field $\mathbb{F}_q$, whose intersection is at most $k$-dimensional. What is the largest possible number of $\mathbb{F}_q$-rational points in the intersection? We conjecture an exact formula...

Yu-Xin Lin · 0 citations
Preprint Aug 2026

A product theorem for $r$-cross intersecting families of subspaces

Let $V$ be an $n$-dimensional vector space over a finite field of order $q$. Let $r\geq 3$, $(r-1)n\geq rk$ and let $\mathcal F_1,\ldots,\mathcal F_r\subset \genfrac{[}{]}{0pt}{}{V}{k}$, where $\genfrac{[}{]}{0pt}{}{V}{k}$ denotes the set of $k$-dimensional subspaces of $V$. Suppose that $F_1\cap\cdots\cap F_r\neq\{0\}...

Toshihiro Shimizu, N. Tokushige · 1 citation
Preprint Aug 2026

Elliptic matroids and modular curves

For $n\geq 4$, let $T_n$ be the rank-3 matroid on $\mathbb{Z}/n\mathbb{Z}$ whose bases are the three-element non-zero-sum subsets. Let $X_1(n)^\circ$ denote the open subscheme of the modular curve $X_1(n)$ obtained by removing the cusps corresponding to reducible N\'eron polygons. For $n \geq 10$, we give a purely alge...

Matthew Baker · 0 citations
Preprint Sep 2026

Dimension-free estimates for the full discrete Euclidean ball maximal function

Let $M_t$ denote the normalized average over the lattice points in the Euclidean ball of radius $t$ in $\mathbb{Z}^d$. We prove that the full maximal operator $f\mapsto\sup_{t\geq0}\lvert M_t f\rvert$ is bounded on $\ell^p(\mathbb{Z}^d)$, for every $1<p\leq\infty$, with a constant independent of the dimension. In parti...

Sheng-Chen Mao · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.