On cutting blocking sets and their codes

Let PG ⁡ ( r , q ) {\operatorname{PG}(r,q)} be the r-dimensional projective space over the finite field GF ⁡ ( q ) {\operatorname{GF}(q)} . A set 𝒳 {\mathcal{X}} of points of PG ⁡ ( r , q ) {\operatorname{PG}(r,q)} is a cutting blocking set if for each hyperplane Π of PG ⁡ ( r , q ) {\operatorname{PG}(r,q)} the set Π ∩ 𝒳 {\Pi\cap\mathcal{X}} spans Π. Cutting blocking sets give rise to saturating sets and minimal linear codes, and those having size as small as possible are of particular interest. We observe that from a cutting blocking set obtained in [20], by using a set of pairwise disjoint lines, there arises a minimal linear code whose length grows linearly with respect to its dimension. We also provide two distinct constructions: a cutting blocking set of PG ⁡ ( 3 , q 3 ) {\operatorname{PG}(3,q^{3})} of size 3 ⁢ ( q + 1 ) ⁢ ( q 2 + 1 ) {3(q+1)(q^{2}+1)} as a union of three pairwise disjoint q-order subgeometries, and a cutting blocking set of PG ⁡ ( 5 , q ) {\operatorname{PG}(5,q)} of size 7 ⁢ ( q + 1 ) {7(q+1)} from seven lines of a Desarguesian line spread of PG ⁡ ( 5 , q ) {\operatorname{PG}(5,q)} . In both cases, the cutting blocking sets obtained are smaller than the known ones. As a byproduct, we further improve on the upper bound of the smallest size of certain saturating sets and on the minimum length of a minimal q-ary linear code having dimension 4 and 6.

Linear General Position (i.e. Arcs) for Zero-Dimensional Schemes Over a Finite Field

We extend some of the usual notions of projective geometry over a finite field (arcs and caps) to the case of zero-dimensional schemes defined over a finite field Fq. In particular we prove that for our type of zero-dimensional arcs the maximum degree in any r-dimensional projective space is r(q + 1) and (if either r = 2 or q is odd) all the maximal cases are projectively equivalent and come from a rational normal curve.

Diagonal groups and arcs over groups

In an earlier paper by three of the present authors and Csaba Schneider, it was shown that, for $$m\ge 2$$ m ≥ 2 , a set of $$m+1$$ m + 1 partitions of a set $$\Omega $$ Ω , any m of which are the minimal non-trivial elements of a Cartesian lattice, either form a Latin square (if $$m=2$$ m = 2 ), or generate a join-semilattice of dimension m associated with a diagonal group over a base group G. In this paper we investigate what happens if we have $$m+r$$ m + r partitions with $$r\ge 2$$ r ≥ 2 , any m of which are minimal elements of a Cartesian lattice. If $$m=2$$ m = 2 , this is just a set of mutually orthogonal Latin squares. We consider the case where all these squares are isotopic to Cayley tables of groups, and give an example to show the groups need not be all isomorphic. For $$m>2$$ m > 2 , things are more restricted. Any $$m+1$$ m + 1 of the partitions generate a join-semilattice admitting a diagonal group over a group G. It may be that the groups are all isomorphic, though we cannot prove this. Under an extra hypothesis, we show that G must be abelian and must have three fixed-point-free automorphisms whose product is the identity. (We describe explicitly all abelian groups having such automorphisms.) Under this hypothesis, the structure gives an orthogonal array, and conversely in some cases. If the group is cyclic of prime order p, then the structure corresponds exactly to an arc of cardinality $$m+r$$ m + r in the $$(m-1)$$ ( m - 1 ) -dimensional projective space over the field with p elements, so all known results about arcs are applicable. More generally, arcs over a finite field of order q give examples where G is the elementary abelian group of order q. These examples can be lifted to non-elementary abelian groups using p-adic techniques.

A direct proof that toric rank $2$ bundles on projective space split

The point of this paper is to give a short, direct proof that rank $2$ toric vector bundles on $n$-dimensional projective space split once $n$ is at least $3$. This result is originally due to Bertin and Elencwajg, and there is also related work by Kaneyama, Klyachko, and Ilten-Süss. The idea is that, after possibly twisting the vector bundle, there is a section which is a complete intersection.

Fibers of rational maps and Rees algebras of their base ideals

We consider a ratinonal map $\phi$ from m-dimensional projective space to n-dimensional projective space that is a parameterization of m-dimensional variety. Our main goal is to study the (m-1)-dimensional fibers of $\phi$ in relation with the m-th local cohomology modules of Rees algebra of its base ideal.

On Absolute Points of Correlations of $\mathrm{PG}(2,q^n)$

Let $V$ be a $(d+1)$-dimensional vector space over a field $\mathbb{F}$. Sesquilinear forms over $V$ have been largely studied when they are reflexive and hence give rise to a (possibly degenerate) polarity of the $d$-dimensional projective space $\mathrm{PG}(V)$. Everything is known in this case for both degenerate and non-degenerate reflexive forms if $\mathbb{F}$ is either ${\mathbb R}$, ${\mathbb C}$ or a finite field ${\mathbb F}_q$. In this paper we consider degenerate, non-reflexive sesquilinear forms of $V=\mathbb{F}_{q^n}^3$. We will see that these forms give rise to degenerate correlations of $\mathrm{PG}(2,q^n)$ whose set of absolute points are, besides cones, the (possibly degenerate) $C_F^m$-sets studied by Donati and Durante in 2014. In the final section we collect some results from the huge work of B.C. Kestenband regarding what is known for the set of the absolute points of correlations in $\mathrm{PG}(2,q^n)$ induced by a non-degenerate, non-reflexive sesquilinear form of $V=\mathbb{F}_{q^n}^3$.