Unique Extendability of Arcs

• Unique extendability of arcs is a phenomenon where sets of points in projective spaces admit a unique maximal extension under specific combinatorial and algebraic constraints.
• The concept relies on sharp divisibility conditions, such as (s+2)|q, to ensure a single nucleus point exists that unambiguously extends an arc across dimensions.
• Connections to coding theory and representation theory reveal that unique arc extensions correspond to optimal error-correcting codes and well-classified exceptional sequences.

Unique extendability of arcs encompasses a collection of phenomena and theorems wherein certain sets of points (arcs) in algebraic or combinatorial geometries possess a unique, maximally-large extension subject to explicit combinatorial or algebraic constraints. These results connect finite projective geometry, algebra (especially in the context of modules over preprojective algebras), and coding theory, particularly codes of maximal or almost-maximal length. This exposition surveys the major strands of the unique extendability problem for arcs, consolidating core definitions, classical results, high-dimensional generalizations, combinatorial-algebraic techniques, and connections to error-correcting codes.

1. Classical and Higher-Dimensional Definitions

Let $\mathbb{F}_q$ denote a finite field of order $q$.

• In projective geometry, $PG(k-1, q)$ is the projective space of dimension $k-1$, whose points are $1$-dimensional subspaces of $\mathbb{F}_q^k$. Hyperplanes correspond to $(k-2)$-dimensional subspaces.
• An $(n, r)$-arc in $PG(k-1, q)$ is a set $K$ of $q$0 points such that every hyperplane meets $q$1 in at most $q$2 points, and at least one hyperplane meets $q$3 in exactly $q$4 points. One may write $q$5 for defect $q$6.
• Maximal arcs fit the equality $q$7. Arcs for which $q$8 are said to be incomplete.

A correspondence arises in algebra: for $q$9, an arc (in the sense where each $PG(k-1, q)$0-subset is a basis) is the column set of a generator for a linear MDS code. In the representation theory of preprojective algebras of type $PG(k-1, q)$1, arcs are specific combinatorial objects encoding the morphism and extension data between bricks.

2. Unique Extension: The Plane and Barlotti's Theorem

Barlotti established a foundational result for arcs in $PG(k-1, q)$2 with the following content (Alderson, 9 Nov 2025):

• For $PG(k-1, q)$3 and $PG(k-1, q)$4, if $PG(k-1, q)$5 is a $PG(k-1, q)$6-arc, then there exists exactly one point $PG(k-1, q)$7 outside $PG(k-1, q)$8 lying on every tangent line and on no secant. Equivalently, $PG(k-1, q)$9 uniquely extends to a maximal $k-1$0-arc.

This demonstrates sharp combinatorial control: only for very special $k-1$1 and $k-1$2, and under field divisibility conditions, does unique extendability arise. In other situations, extension is either impossible beyond a smaller maximal arc, or multiple non-equivalent extensions may occur.

3. Generalization to Higher Dimensions

Alderson (Alderson, 9 Nov 2025) proves that Barlotti's phenomenon persists in all projective dimensions, under analogous divisibility and size conditions. The generalized theorem states:

Given $k-1$3, $k-1$4, $k-1$5 a prime power, and $k-1$6:

• If $k-1$7 is an $k-1$8-arc of size $k-1$9, $1$0, and $1$1, then there exists a unique point $1$2 incident with all tangents to $1$3 and no secants. Thus $1$4 admits a unique extension to the maximal arc of size $1$5.

Outline of proof:

• Induction on $1$6 via quotient geometries reduces the problem to Barlotti's base case $1$7.
• The divisibility hypothesis $1$8 ensures a unique "nucleus" point can be defined.
• Copunctality arguments imply this nucleus extends $1$9 uniquely to maximality.
• A plausible implication is that the non-existence of multi-arcs and specific behaviour of $\mathbb{F}_q^k$0-flats are necessary.

This result is sharp: if $\mathbb{F}_q^k$1 exceeds or falls short of the threshold, or the divisibility fails, uniqueness can fail dramatically.

4. Algebraic and Combinatorial Matrices in Unique Completion

Ball (Ball, 2016) introduces a matrix-theoretic approach to the extension problem for arcs in $\mathbb{F}_q^k$2, especially for odd $\mathbb{F}_q^k$3:

• For an arc $\mathbb{F}_q^k$4, construct a family of matrices $\mathbb{F}_q^k$5 (rows: $\mathbb{F}_q^k$6-subsets of $\mathbb{F}_q^k$7, columns: pairs $\mathbb{F}_q^k$8 with $\mathbb{F}_q^k$9, $(k-2)$0 of size $(k-2)$1; entries involve products of determinants).
• The smallest $(k-2)$2 such that $(k-2)$3 has a weight-1 column-space vector yields an upper bound $(k-2)$4 on the size of any arc extending $(k-2)$5.
• If the rank of $(k-2)$6 is one less than the maximum possible, the collection of co-secant hyperplanes (containing exactly $(k-2)$7 points of the extension arc and only from $(k-2)$8) is determined by $(k-2)$9.

When these co-secant hyperplanes, as cut out by an algebraic hypersurface $(n, r)$0, determine a unique arc, then $(n, r)$1 is uniquely completable:

• If $(n, r)$2 is irreducible of correct degree, unique extendability follows.
• If $(n, r)$3 factors, or if multiple sets of arcs share co-secant data, uniqueness may fail.

This suggests the singularity and factorization behaviour of $(n, r)$4 is key to identifying unique extension.

5. Unique Extendability in Representation Theory: Bricks and Arcs

The theory of preprojective algebras of type $(n, r)$5 gives a categorical interpretation (Hanson et al., 2023). Bricks correspond bijectively to arcs in a certain combinatorial model, and their extension spaces are classified:

• For two arcs $(n, r)$6, $(n, r)$7, set $(n, r)$8, $(n, r)$9. The extension space $PG(k-1, q)$0 is one-dimensional if and only if $PG(k-1, q)$1 and $PG(k-1, q)$2 have exactly one Ext-crossing (either a contested endpoint or an interior crossing) and no other intersection.
• The general formula is $PG(k-1, q)$3.
• When exactly one Ext-crossing occurs, the non-split extension is unique up to scalars, and an explicit basis of short exact sequences can be constructed.
• The unique-extendability criterion enables the classification of all weak exceptional sequences in type $PG(k-1, q)$4 via the combinatorics of arcs.
• The combinatorial model encodes $PG(k-1, q)$5, yielding a perfect dictionary between extension dimension and arc configuration.

6. Connections to Coding Theory: A$PG(k-1, q)$6MDS Codes

The geometric theory of arc extension translates directly to projective codes of maximal length and prescribed Singleton defect. Given a projective $PG(k-1, q)$7 code represented by $PG(k-1, q)$8 columns (points) in $PG(k-1, q)$9, with Singleton defect $K$0:

• The length-maximal bound for $K$1MDS codes is $K$2.
• The unique-extendability theorem for arcs implies that if $K$3 is $K$4MDS with $K$5 and $K$6, $K$7, then $K$8 admits a unique extension to a length-maximal $K$9MDS $q$00 code (Alderson, 9 Nov 2025).
• When these conditions are not met, codes may admit several inequivalent maximal extensions or no extension at all.

This geometric criterion offers a powerful tool for the classification and construction of optimal and almost-optimal linear codes.

7. Examples and Open Problems

Examples

Paper/Setting	Setup	Unique Extension?
$q$01 (Alderson, 9 Nov 2025)	5-arcs (non-degenerate conic), $q$02, $q$03	Yes, to unique hyperoval
$q$04 (Alderson, 9 Nov 2025)	20-arc (Denniston), $q$05, $q$06	Yes, to unique 21-arc
$q$07 (Ball, 2016)	$q$08 satisfies Property W, $q$09	Yes, to unique conic
$q$10 (Ball, 2016)	$q$11 with $q$12, $q$13 has weight-1 col	No, at most size 10

Outstanding Questions

• Can the $q$14 divisibility condition be removed or relaxed in higher dimensions?
• What are the combinatorial-geometric obstructions to unique extension for arcs of shorter length?
• What is the full classification of length-maximal $q$15MDS codes for $q$16?
• In Ball's framework, does co-secant data always suffice, or can distinct extension arcs have identical co-secant hyperplanes in higher dimensions?

The unique extendability of arcs remains at the intersection of combinatorial geometry, coding theory, and representation theory, where the existence and uniqueness of maximal structures are controlled by sharp algebraic and combinatorial invariants.