arXiv++ Combinatorics

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.

We investigate the topological structures of Galois covers of surfaces of minimal degree (i.e., degree n) in n+1 dimensional complex projective space. We prove that for n is greater than or equal to 5, the Galois covers of any surfaces of minimal degree are simply-connected surfaces of general type.

Saturating sets are combinatorial objects in projective spaces over finite fields that have been intensively investigated in the last three decades. They are related to the so-called covering problem of codes in the Hamming metric. In this paper, we consider the recently introduced linear version of such sets, which is, in turn, related to the covering problem in the rank metric. The main questions in this context are how small the rank of a saturating linear set can be and how to construct saturating linear sets of small rank. Recently, Bonini, Borello, and Byrne provided a lower bound on the rank of saturating linear sets in a given projective space, which is shown to be tight in some cases. In this paper, we provide construction of saturating linear sets meeting the lower bound and we develop a link between the saturating property and the scatteredness of linear sets. The last part of the paper is devoted to show some parameters for which the bound is not tight.

By using the notion of $d$-embedding $Γ$ of a (canonical) subgeometry $Σ$ and of exterior set with respect to the $h$-secant variety $Ω_{h}(\mathcal{A})$ of a subset $\mathcal{A}$, $ 0 \leq h \leq n-1$, in the finite projective space $\mathrm{PG}(n-1,q^n)$, $n \geq 3$, in this article we construct a class of non-linear $(n,n,q;d)$-MRD codes for any $ 2 \leq d \leq n-1$. A code $\mathcal{C}_{σ,T}$ of this class, where $1\in T \subset \mathbb{F}_q^*$ and $σ$ is a generator of $\mathrm{Gal}(\mathbb{F}_{q^n}|\mathbb{F}_q)$, arises from a cone of $\mathrm{PG}(n-1,q^n)$ with vertex an $(n-d-2)$-dimensional subspace over a maximum exterior set $\mathcal{E}$ with respect to $Ω_{d-2}(Γ)$. We prove that the codes introduced in [Cossidente, A., Marino, G., Pavese, F.: Non-linear maximum rank distance codes. Des. Codes Cryptogr. 79, 597--609 (2016); Durante, N., Siciliano, A.: Non-linear maximum rank distance codes in the cyclic model for the field reduction of finite geometries. Electron. J. Comb. (2017); Donati, G., Durante, N.: A generalization of the normal rational curve in $\mathrm{PG}(d,q^n)$ and its associated non-linear MRD codes. Des. Codes Cryptogr. 86, 1175--1184 (2018)] are appropriate punctured ones of $\mathcal{C}_{σ,T}$ and solve completely the inequivalence issue for this class showing that $\mathcal{C}_{σ,T}$ is neither equivalent nor adjointly equivalent to the non-linear MRD code $\mathcal{C}_{n,k,σ,I}$, $I \subseteq \mathbb{F}_q$, obtained in [Otal, K., Özbudak, F.: Some new non-additive maximum rank distance codes. Finite Fields and Their Applications 50, 293--303 (2018).].

A strong blocking set in a finite projective space is a set of points that intersects each hyperplane in a spanning set. We provide a new graph theoretic construction of such sets: combining constant-degree expanders with asymptotically good codes, we explicitly construct strong blocking sets in the $(k-1)$-dimensional projective space over $\mathbb{F}_q$ that have size $O( q k )$. Since strong blocking sets have recently been shown to be equivalent to minimal linear codes, our construction gives the first explicit construction of $\mathbb{F}_q$-linear minimal codes of length $n$ and dimension $k$, for every prime power $q$, for which $n = O (q k)$. This solves one of the main open problems on minimal codes.