arXiv++ Combinatorics

A $t$-fold packing of a projective space $\rm{PG}_n(q)$ is a collection $\mathcal{P}$ of line-spreads such that each line of $\rm{PG}_n(q)$ occurs in precisely $t$ spreads in $\mathcal{P}$. A $t$-fold packing $\mathcal{P}$ is transitive if a subgroup of $\rm{PΓL}_{n+1}(q)$ preserves and acts transitively on $\mathcal{P}$. We give a construction for a transitive $(q-1)$-fold packing of $\rm{PG}_n(q)$, where $q=2^k$, for any odd positive integers $n$ and $k$, such that $n\geq 3$. This generalises a construction of Baker from 1976 for the case $q=2$.

A numerical semigroup $S$ is an additively-closed set of non-negative integers, and a factorization of an element $n$ of $S$ is an expression of $n$ as a sum of generators of $S$. It is known that for a given numerical semigroup $S$, the number of factorizations of $n$ coincides with a quasipolynomial (that is, a polynomial whose coefficients are periodic functions of $n$). One of the standard methods for computing certain semigroup-theoretic invariants involves assembling a graph or simplicial complex derived from the factorizations of $n$. In this paper, we prove that for two such graphs (which we call the factorization support graph and the trade graph), the number of edges coincides with a quasipolynomial function of $n$, and identify the degree, period, and leading coefficient of each. In the process, we uncover a surprising geometric connection: a combinatorially-assembled cubical complex that is homeomorphic to real projective space.

In the literature, lines of the projective space $\mathrm{PG}(3,q)$ are partitioned into classes, each of which is a union of line orbits under the stabilizer group of the twisted cubic. The least studied class is named $\mathcal{O}_6$. This class contains lines external to the twisted cubic which are not its chords or axes and do not lie in any of its osculating planes. For even and odd $q$, we propose a new family of orbits of $\mathcal{O}_6$ and investigate in detail their stabilizer groups and the corresponding submatrices of the point-line and plane-line incidence matrices. To obtain these submatrices, we explored the number of solutions of cubic and quartic equations connected with intersections of lines (including the tangents to the twisted cubic), points, and planes in $\mathrm{PG}(3,q)$.

Additive one-weight codes over a finite field of non-prime order are equivalent to special subspace coverings of the points of a projective space, which we call multispreads. The current paper is devoted to the characterization of the parameters of multispreads, which is equivalent to the characterization of the parameters of additive one-weight codes and, via duality, of additive completely regular codes of covering radius 1 (intriguing sets). We characterize these parameters for the case of the prime-square order of the field and make a partial characterization for the prime-cube case and the case of the fourth degree of a prime, including a complete characterization for orders 8, 27, and 16. Keywords: spreads, multispreads, additive codes, one-weight codes, completely regular codes, intriguing sets

We study the problem of classifying the lines of the projective $3$-space $PG(3,q)$ over a finite field $GF(q)$ into orbits of the group $G=PGL(2,q)$ of linear symmetries of the twisted cubic $C$. A generic line neither intersects $C$ nor lies in any of its osculating planes. While the non-generic lines have been classified into $G$-orbits in literature, it has been an open problem to classify the generic lines into $G$-orbits. For a general field $F$ of characteristic different from $2$ and $3$, the twisted cubic determines a symplectic polarity on $\mathbb P^3$. In the Klein representation of lines of $\mathbb P^3$, the tangent lines of $C$ are represented by a degree $4$ rational normal curve in a hyperplane $\mathcal H$ of the second exterior power $\mathbb P^5$ of $\mathbb P^3$. Atiyah studied the lines of $\mathbb P^3$ with respect to $C$, in terms of the geometries of these two curves. Polar duality of lines on $\mathbb P^3$ corresponds to Hodge duality on $\mathbb P^5$, and $\mathcal H$ is the hyperplane of Hodge self-dual elements of $\mathbb P^5$. We show that $\mathcal H$ can be identified in a $PGL_2$-equivariant way with the space of binary quartic forms over $F$, and that pairs of polar dual lines of $\mathbb P^3$ correspond to binary quartic forms whose apolar invariant is a square. We first solve the open problem of classifying binary quartic forms over $GF(q)$ into $G$-orbits, and then use it to solve the main problem.

In this paper we study finite dimensional algebras, in particular finite semifields, through their correspondence with nonsingular threefold tensors. We introduce a alternative embedding of the tensor product space into a projective space. This model allows us to understand tensors and their contractions in a new geometric way, relating the contraction of a tensor with a natural subspace of a subgeometry. This leads us to new results on invariants and classifications of tensors and algebras and on nonsingular fourfold tensors. A detailed study of the geometry of this setup for the case of the threefold tensor power of a vector space of dimension two over a finite field surprisingly leads to a new construction of quasi-hermitian varieties in $\mathrm{PG}(3,q^2)$.

Hilbert polynomials have positivity properties under favorable conditions. We establish a similar "K-theoretic positivity" for matroids. As an application, for a multiplicity-free subvariety of a product of projective spaces such that the projection onto one of the factors has birational image, we show that a transformation of its K-polynomial is Lorentzian. This partially answers a conjecture of Castillo, Cid-Ruiz, Mohammadi, and Montano. As another application, we show that the h*-vector of a simplicially positive divisor on a matroid is a Macaulay vector, affirmatively answering a question of Speyer for a new infinite family of matroids.

Let $Γ$ be the graph whose vertices are the chambers of the finite projective $3$-space PG$(3,q)$, with two vertices being adjacent if and only if the corresponding chambers are in general position. We show that a maximal independent set of vertices of $Γ$ contains $q^4+3q^3+4q^2+3q+1$, or $3q^3+5q^2+3q+1$, or at most $3q^3+4q^2+3q+2$ elements. For $q\geq 4$ the structure of the largest maximal independent sets is described. For $q\geq 7$ the structure of the maximal independent sets of the three largest cardinalities is described. Using the cardinality of the second largest maximal independent sets, we show that the chromatic number of $Γ$ is $q^2+q$.

Cameron-Liebler sets of generators in polar spaces were introduced a few years ago as natural generalisations of the Cameron-Liebler sets of subspaces in projective spaces. In this article we present the first two constructions of non-trivial Cameron-Liebler sets of generators in polar spaces. Also regular m-ovoids of k-spaces are introduced as a generalization of m-ovoids of polar spaces. They are used in one of the aforementioned constructions of Cameron-Liebler sets.

We verify a construction which, for $\Bbb K$ the reals, complex numbers, quaternions, or octonions, builds a spherical $t$-design by placing a spherical $t$-design on each $\Bbb K$-projective or $\Bbb K$-Hopf fiber associated to the points of a $\lfloor t/2\rfloor$-design on a quotient projective space $\Bbb{KP}^n\neq\Bbb{OP}^2$ or sphere. This generalizes work of König and Kuperberg, who verified the $\Bbb K=\Bbb C$ case of the projective settings, and of Okuda, who (inspired by independent observation of this construction by Cohn, Conway, Elkies, and Kumar) verified the $\Bbb K=\Bbb C$ case of the generalized Hopf settings.

A detailed understanding of the moduli spaces $X(k,n)$ of $n$ points in projective $k-1$ space is essential to the investigation of generalized biadjoint scalar amplitudes, as discovered by Cachazo, Early, Guevara and Mizera (CEGM) in 2019. But in math, conventional wisdom says that it is completely hopeless due to the arbitrarily high complexity of realization spaces of oriented matroids. In this paper, we nonetheless find a path forward. We present a Lie-theoretic realization of color factors for color-dressed generalized biadjoint scalar amplitudes, formulated in terms of certain tilings of the real moduli space $X(k,n)$ and collections of logarithmic differential forms, resolving an important open question from recent work by Cachazo, Early and Zhang. The main idea is to replace the realization space decomposition of $X(k,n)$ with a large class of overlapping tilings whose topologies are individually relatively simple. So we obtain a collection of color-dressed amplitudes, each of which satisfies $U(1)$ decoupling separately. The essential complexity appears when they are all superposed.

Let $r$ and $q$ be positive integers and $n=qr+1.$ Let $G = SL(n, \mathbb{C})$ and $T$ be a maximal torus of $G.$ Let $P^{α_r}$ be the maximal parabolic subgroup of $G$ corresponding to the simple root $α_r.$ Let $ω_r$ be the fundamental weight corresponding to $α_r.$ Let $W$ be the Weyl group of $G$ and $W_{P^{α_r}}$ be the Weyl group of $P^{α_r}.$ Let $W^{P^{α_r}}$ be the set of all minimal coset representatives of $W/W_{P^{α_r}}$ in $W.$ Let $w_{r,n}$ (respectively, $v_{r,n}$) be the minimal (respectively, maximal) element in $W^{P^{α_{r}}}$ such that $w_{r,n}(nω_r) \leq 0$ (respectively, $v_{r,n}(nω_r) \geq 0$). Let $v \leq v_{r,n}$ and $X^v_{w_{r,n}}$ be the Richardson variety in $G_{r,n}$ corresponding to $v$ and $w_{r,n}.$ In this article, we give a sufficient condition on $v$ such that the GIT quotient of $X^{v}_{w_{r,n}}$ for the action of $T$ is the product of projective spaces with respect to the descent of the line bundle $\mathcal{L}(nω_r).$

Given a finite Lie incidence geometry which is either a polar space of rank at least $3$ or a strong parapolar space of symplectic rank at least $4$ and diameter at most $4$, or the parapolar space arising from the line Grassmannian of a projective space of dimension at least $4$, we show that its point graph is determined by its local structure. This follows from a more general result which classifies graphs whose local structure can vary over all local structures of the point graphs of the aforementioned geometries. In particular, this characterises the strongly regular graphs arising from the line Grassmannian of a finite projective space, from the half spin geometry related to the quadric $Q^+(10,q)$ and from the exceptional group of type $\mathsf{E_6}(q)$ by their local structure.

The length function $\ell_q(r,R)$ is the smallest possible length $n$ of a $ q $-ary linear $[n,n-r]_qR$ code with codimension (redundancy) $r$ and covering radius $R$. Let $s_q(N,ρ)$ be the smallest size of a $ρ$-saturating set in the projective space $\mathrm{PG}(N,q)$. There is a one-to-one correspondence between $[n,n-r]_qR$ codes and $(R-1)$-saturating $n$-sets in $\mathrm{PG}(r-1,q)$ that implies $\ell_q(r,R)=s_q(r-1,R-1)$. In this work, for $R\ge3$, new asymptotic upper bounds on $\ell_q(tR+1,R)$ are obtained in the following form: $\hspace{0.7cm} \bullet~\ell_q(tR+1,R) =s_q(tR,R-1)\le \sqrt[R]{\frac{R!}{R^{R-2}}}\cdot q^{(r-R)/R}\cdot\sqrt[R]{\ln q}+o(q^{(r-R)/R}), \hspace{0.3cm}r=tR+1,~t\ge1,~ q\text{ is an arbitrary prime power},~q\text{ is large enough};$ $\hspace{0.7cm} \bullet~\text{ if additionally }R\text{ is large enough, then }\sqrt[R]{\frac{R!}{R^{R-2}}}\thicksim\frac{1}{e}\thickapprox0.3679. $ The new bounds are essentially better than the known ones. For $t=1$, a new construction of $(R-1)$-saturating sets in the projective space $\mathrm{PG}(R,q)$, providing sets of small sizes, is proposed. The $[n,n-(R+1)]_qR$ codes, obtained by the construction, have minimum distance $R + 1$, i.e. they are almost MDS (AMDS) codes. These codes are taken as the starting ones in the lift-constructions (so-called "$q^m$-concatenating constructions") for covering codes to obtain infinite families of codes with growing codimension $r=tR+1$, $t\ge1$.

This paper considers generalizations of certain arithmetic complexes appearing in the work of Raicu and VandeBogert in connection with the study of stable sheaf cohomology on flag varieties. Defined over the ring of integer valued polynomials, we prove an isomorphism of these complexes as conjectured by Gao, Raicu, and VandeBogert. In particular, this shows that a previously made identification between the stable sheaf cohomology of hook and two column partition Schur functors applied to the cotangent sheaf of projective space can be made to be uniform with respect to these complexes. These results are extended to the projective space defined over the integers.

Following work by the first author and Banchoff, we investigate triangulations of real and complex projective spaces of real and complex dimension $k$ that are adapted to the decomposition into "zones of influence" around the points $[1,0,\ldots,0],$ $\ldots,$ $[0,\ldots,0,1]$ in homogeneous coordinates. The boundary of such a "zone of influence" must admit a simplicial version of the Hopf decomposition of a sphere into "solid tori" of various dimensions. We present such {\em Hopf triangulations} of $S^{2k-1}$ for $k \leq 4$, and give candidate triangulations for arbitrary $k$. In the complex case, a crucial role of this construction is the central $k$-torus as the intersection of all "zones of influence". Candidate triangulations of the $k$-torus with $2^{k+1}-1$, $k\geq 1$, vertices -- possibly the minimum numbers -- are well known. They admit an involution acting like complex conjugation and an automorphism of order $k+1$ realising the cyclic shift of coordinate directions in $\mathbb{C}P^k$. For $k=2$, this can be extended to what we call a {\em perfect equilibrium triangulation} of $\mathbb{C}P^2$, previously described in the literature. We prove that this is no longer possible for $k=3$, and no perfect equilibrium triangulation of $\mathbb{C}P^3$ exists. In the real case, the central torus is replaced by its fixed-point set under complex conjugation: the vertices of a $k$-dimensional cube. We revisit known equilibrium triangulations of $\mathbb{R}P^k$ for $k\leq 2$, and describe new equilibrium triangulations of $\mathbb{R}P^3$ and $\mathbb{R}P^4$. Finally, we discuss the most symmetric and vertex-minimal triangulation of $\mathbb{R}P^4$ and present a tight polyhedral embedding of $\mathbb{R}P^3$ into 6-space. No such embedding was known before.

The moduli space of stable rational curves with marked points has two distinguished families of maps: the forgetful maps, given by forgetting some of the markings, and the Kapranov maps, given by complete linear series of $ψ$-classes. The collection of all these maps embeds the moduli space into a product of projective spaces. We call the multidegrees of this embedding ``Kapranov degrees,'' which include as special cases the work of Witten, Silversmith, Gallet--Grasegger--Schicho, Castravet--Tevelev, Postnikov, Cavalieri--Gillespie--Monin, and Gillespie--Griffins--Levinson. We establish, in terms of a combinatorial matching condition, upper bounds for Kapranov degrees and a characterization of their positivity. The positivity characterization answers a question of Silversmith and gives a new proof of Laman's theorem characterizing generically rigid graphs in the plane. We achieve this by proving a recursive formula for Kapranov degrees and by using tools from the theory of error correcting codes.

We describe the wall and chamber structure of a special biserial algebra whose module category is equivalent to the category of (middle) perverse sheaves on the complex projective space $\mathbb{P}^n$. In particular, by the well known classification of indecomposable modules for special biserial algebras, we deduce that the algebra of interest is of finite representation type and we provide an explicit description of the walls of the structure. By a result of Bridgeland this wall and chamber structure coincides with the chamber structure in an open subset of the space of stability conditions on the bounded derived category of constructible sheaves on $\mathbb{P}^n$.

We study maps between projective spaces and flag varieties. Let $G = SL(n,\mathbb{C})$. We show that there is no map from $\mathbb{P}^2$ to full flag variety $G/B$. We classify the minimal parabolic subgroups $P$ for which there is a map from $\mathbb{P}^3$ to $G/P$.

In this paper we study geometric aspects of codes in the sum-rank metric. We establish the geometric description of generalised weights, and analyse the Delsarte and geometric dual operations. We establish a correspondence between maximum sum-rank distance codes and h-designs, extending the well-known correspondence between MDS codes and arcs in projective spaces and between MRD codes and h-scatttered subspaces. We use the geometric setting to construct new h-designs and new MSRD codes via new families of pairwise disjoint maximum scattered linear sets.