Unital (geometry)

In geometry, a unital is a set of n³ + 1 points arranged into subsets of size n + 1 so that every pair of distinct points of the set are contained in exactly one subset. n ≥ 3 is required by some authors to avoid small exceptional cases.[lower-alpha 1] This is equivalent to saying that a unital is a 2-(n³ + 1, n + 1, 1) block design. Some unitals may be embedded in a projective plane of order n² (the subsets of the design become sets of collinear points in the projective plane). In this case of embedded unitals, every line of the plane intersects the unital in either 1 or n + 1 points. In the Desarguesian planes, PG(2,q²), the classical examples of unitals are given by nondegenerate Hermitian curves. There are also many non-classical examples. The first and the only known unital with non prime power parameters, n=6, was constructed by Bhaskar Bagchi and Sunanda Bagchi.[1] It is still unknown if this unital can be embedded in a projective plane of order 36, if such a plane exists.

Classical unitals

We review some terminology used in projective geometry.

A correlation of a projective geometry is a bijection on its subspaces that reverses containment. In particular, a correlation interchanges points and hyperplanes.[2]

A correlation of order two is called a polarity.

A polarity is called a unitary polarity if its associated sesquilinear form s with companion automorphism α satisfies:

s(u,v) = s(v,u)^α for all vectors u, v of the underlying vector space.

A point is called an absolute point of a polarity if it lies on the image of itself under the polarity.

The absolute points of a unitary polarity of the projective geometry PG(d,F), for some d ≥ 2, is a nondegenerate Hermitian variety, and if d = 2 this variety is called a nondegenerate Hermitian curve.[3]

In PG(2,q²) for some prime power q, the set of points of a nondegenerate Hermitian curve form a unital,[4] which is called a classical unital.

Let ${\displaystyle {\mathcal {H}}={\mathcal {H}}(2,q^{2})}$ be a nondegenerate Hermitian curve in ${\displaystyle PG(2,q^{2})}$ for some prime power ${\displaystyle q}$. As all nondegenerate Hermitian curves in the same plane are projectively equivalent, ${\displaystyle {\mathcal {H}}}$ can be described in terms of homogeneous coordinates as follows:[5]

${\displaystyle {\mathcal {H}}=\{(x_{0},x_{1},x_{2})\colon x_{0}^{q+1}+x_{1}^{q+1}+x_{2}^{q+1}=0\}.}$

Ree unitals

Another family of unitals, based on Ree groups was constructed by H. Lüneburg.[6] Let Γ = R(q) be the Ree group of type ²G₂ of order (q³ + 1)q³(q − 1) where q = 3^2m+1. Let P be the set of all q³ + 1 Sylow 3-subgroups of Γ. Γ acts doubly transitively on this set by conjugation (it will be convenient to think of these subgroups as points that Γ is acting on.) For any S and T in P, the pointwise stabilizer, Γ_S,T is cyclic of order q - 1, and thus contains a unique involution, μ. Each such involution fixes exactly q + 1 points of P. Construct a block design on the points of P whose blocks are the fixed point sets of these various involutions μ. Since Γ acts doubly transitively on P, this will be a 2-design with parameters 2-(q³ + 1, q + 1, 1) called a Ree unital.[7]

Lüneburg also showed that the Ree unitals can not be embedded in projective planes of order q² (Desarguesian or not) such that the automorphism group Γ is induced by a collineation group of the plane.[8] For q = 3, Grüning[9] proved that a Ree unital can not be embedded in any projective plane of order 9.[10]

Isomorphic versus equivalent unitals

Since unitals are block designs, two unitals are said to be isomorphic if there is a design isomorphism between them, that is, a bijection between the point sets which maps blocks to blocks. This concept does not take into account the property of embeddability, so to do so we say that two unitals, embedded in the same ambient plane, are equivalent if there is a collineation of the plane which maps one unital to the other.[10]

Embeddable versus non-embeddable

There are precisely four projective planes of order 9: the Desarguesian plane PG(2,9), the Hall plane of order 9, the dual Hall plane of order 9 and the Hughes plane of order 9.[lower-alpha 2] An exhaustive computer search by Penttila and Royle found 18 unitals (up to equivalence) with n = 3 in these four planes.[11] Two in PG(2,9), four in the Hall plane, and so another four in the dual Hall plane, and eight in the Hughes plane. However, one of the unitals in the Hall plane is self-dual, and so, gets counted again in the dual Hall plane. Thus, there are 17 distinct embeddable unitals with n = 3. On the other hand, a nonexhaustive computer search found over 900 mutually nonisomorphic designs which are unitals with n = 3.[12]

Notes

1. In particular, Barwick & Ebert 2008, p. 28
2. PG(2,9) and the Hughes plane are both self-dual.

Citations

1. Bagchi & Bagchi 1989, pp. 51–61.
2. Barwick & Ebert 2008, p. 15.
3. Barwick & Ebert 2008, p. 18.
4. Dembowski 1968, p. 104.
5. Barwick & Ebert 2008, p. 21.
6. Lüneburg 1966, pp. 256–259.
7. Assmus & Key 1992, p. 209.
8. Dembowski 1968, p. 105.
9. Grüning 1986, pp. 473–480.
10. Barwick & Ebert 2008, p. 29.
11. Penttila & Royle 1995, pp. 229–245.
12. Betten, Betten & Tonchev 2003, pp. 23–33.

Sources

• Assmus, E. F. Jr; Key, J. D. (1992), Designs and Their Codes, Cambridge Tracts in Mathematics #103, Cambridge University Press, ISBN 0-521-41361-3
• Bagchi, S.; Bagchi, B. (1989), "Designs from pairs of finite fields. A cyclic unital U(6) and other regular steiner 2-designs", Journal of Combinatorial Theory, Series A, 52: 51–61, doi:10.1016/0097-3165(89)90061-7
• Barwick, Susan; Ebert, Gary (2008), Unitals in Projective Planes, Springer, doi:10.1007/978-0-387-76366-8, ISBN 978-0-387-76364-4
• Betten, A.; Betten, D.; Tonchev, V.D. (2003), "Unitals and codes", Discrete Mathematics, 267: 23–33, doi:10.1016/s0012-365x(02)00600-3
• Dembowski, Peter (1968), Finite geometries, Ergebnisse der Mathematik und ihrer Grenzgebiete, Band 44, Berlin, New York: Springer-Verlag, ISBN 3-540-61786-8, MR 0233275 – via Internet Archive
• Grüning, K. (1986), "Das Kleinste Ree-Unital", Archiv der Mathematik, 46: 473–480, doi:10.1007/bf01210788
• Lüneburg, H. (1966), "Some remarks concerning the Ree group of type (G₂)", Journal of Algebra, 3: 256–259, doi:10.1016/0021-8693(66)90014-7
• Penttila, T.; Royle, G.F. (1995), "Sets of type (m,n) in the affine and projective planes of order nine", Designs, Codes and Cryptography, 6: 229–245, doi:10.1007/bf01388477