Simplices in $t$-intersecting families for vector spaces (2503.06498v1)

Abstract: Let $V$ be an $n$-dimensional vector space over the finite field $\mathbb{F}q$ and ${V\brack k}$ denote the family of all $k$-dimensional subspaces of $V$. A family $\mathcal{F}\subseteq {V\brack k}$ is called $k$-uniform $r$-wise $t$-intersecting if for any $F_1, F_2, \dots, F_r \in \mathcal{F}$, we have $\dim\left(\bigcap{i=1}^r F_i \right) \geq t$. An $r$-wise $t$-intersecting family ${X_1, X_2, \dots, X_{r+1}}$ is called a $(r+1,t)$-simplex if $\dim\left(\bigcap_{i=1}^{r+1} X_i \right) < t$, denoted by $\Delta_{r+1,t}$. Notice that it is usually called triangle when $r=2$ and $t=1$. For $k \geq t \geq 1$, $r \geq 2$ and $n \geq 3kr^2 + 3krt$, we prove that the maximal number of $\Delta_{r+1,t}$ in a $k$-uniform $r$-wise $t$-intersecting subspace family of $V$ is at most $n_{t+r,k}$, and we describe all the extreme families. Furthermore, we have the extremal structure of $k$-uniform intersecting families maximizing the number of triangles for $n\geq 2k+9$ as a corollary.