Modular and fractional \(L\)-intersecting families of vector spaces (Q2121787)

Summary: This paper is divided into two logical parts. In the first part of this paper, we prove the following theorem which is the \(q\)-analogue of a generalized modular Ray-Chaudhuri-Wilson Theorem shown in [\textit{N. Alon} et al., J. Comb. Theory, Ser. A 58, No. 2, 165--180 (1991; Zbl 0751.05009)]. It is also a generalization of the main theorem in [\textit{P. Frankl} and \textit{R. L. Graham}, Eur. J. Comb. 6, 183--187 (1985; Zbl 0577.15002)] under certain circumstances. Let \(V\) be a vector space of dimension \(n\) over a finite field of size \(q\). Let \(K = \{k_1, \ldots , k_r\},L = \{\mu_1, \ldots , \mu_s\}\) be two disjoint subsets of \(\{0,1, \ldots , b-1\}\) with \(k_1 < \cdots < k_r\). Let \(\mathcal{F} = \{V_1,V_2,\ldots,V_m\}\) be a family of subspaces of \(V\) such that (a) for every \(i \in [m]\), \(\dim (V_i) \pmod b = k_t\), for some \(k_t \in K\), and (b) for every distinct \(i, j \in [m]\), \(\dim (V_i \cap V_j) \pmod b = \mu_t\), for some \(\mu_t \in L\). Moreover, it is given that neither of the following two conditions hold: \par (i) \(q+1\) is a power of 2, and \(b=2\) \par (ii) \(q=2, b=6\). Then, \[ |\mathcal{F}| \leqslant \begin{cases} N(n, s, r, q), & \text{if } (s+k_r \leqslant n \text{ and } r(s-r+1) \leqslant b-1) \text{ or } (s < k_1 + r) \\ N(n,s,r,q) + \sum_{t \in [r]}\begin{bmatrix} n \\ k \end{bmatrix}_q, & \text{ otherwise, } \end{cases} \] where \(N(n,s,r,q) := \begin{bmatrix} n \\ s \end{bmatrix}_q + \begin{bmatrix} n \\ s-1 \end{bmatrix}_q + \cdots + \begin{bmatrix} n \\ s-r+1 \end{bmatrix}_q\). In the second part of this paper, we prove \(q\)-analogues of results on a recent notion called fractional \(L\)-intersecting family of sets for families of subspaces of a given vector space over a finite field of size \(q\). We use the above theorem to obtain a general upper bound to the cardinality of such families. We give an improvement to this general upper bound in certain special cases.