Designs in finite classical polar spaces

Combinatorial designs have been studied for nearly 200 years. 50 years ago, Cameron, Delsarte, and Ray-Chaudhury started investigating their $q$-analogs, also known as subspace designs or designs over finite fields. Designs can be defined analogously in finite classical polar spaces, too. The definition includes the $m$-regular systems from projective geometry as the special case where the blocks are generators of the polar space. The first nontrivial such designs for $t > 1$ were found by De Bruyn and Vanhove in 2012, and some more designs appeared recently in the PhD thesis of Lansdown. In this article, we investigate the theory of classical and subspace designs for applicability to designs in polar spaces, explicitly allowing arbitrary block dimensions. In this way, we obtain divisibility conditions on the parameters, derived and residual designs, intersection numbers and an analog of Fisher's inequality. We classify the parameters of symmetric designs. Furthermore, we conduct a computer search to construct designs of strength $t=2$, resulting in designs for more than 140 previously unknown parameter sets in various classical polar spaces over $\mathbb{F}_2$ and $\mathbb{F}_3$.