The automorphism group of

Let H(n, q) be a non-degenerate Hermitian variety of PG(n, q), n ≥ 2. Let NU(n + 1, q) be the graph whose vertices are the points of PG(n, q) \H(n, q) and two vertices u, v are adjacent if the line joining u and v is tangent to H(n, q). Then NU(n + 1, q) is a strongly regular graph. In this paper we show that the automorphism group of the graph NU(3, q) is isomorphic either to PΓU(3, q), the automorphism group of the projective unitary group PGU(3, q), or to S3 S4, according as q = 2, or q = 2.


Introduction
A strongly regular graph with parameters (v, k, λ, μ) is a graph with v vertices where each vertex is incident with k edges, any two adjacent vertices have λ common neighbours, and any two non-adjacent vertices have μ common neighbours. Strongly regular graphs were introduced by R. C. Bose in [1] in 1963, and ever since they have intensively been investigated. In particular, the eigenvalues of the adjacency matrix of a strongly regular are known; see [2]: a strongly regular graph G with parameters (v, k, λ, μ) has exactly three eigenvalues: k, θ 1 and θ 2 of multiplicity, respectively, 1, m 1 and m 2 , where: The spectrum of a strongly regular graph is the triple (k, θ m1 1 , θ m2 2 ). Therefore, two strongly regular graphs with the same parameters are cospectral, that is, they have the same spectrum. Two isomorphic graphs are always cospectral, but the converse is not always true. Even in the family of strongly regular graphs there are examples with same parameters, but not isomorphic.
Several strongly regular graphs derive from finite polar spaces, in particular from collinearity graphs or incidence graphs. The tangent graph of a polar space P embedded in a projective space is defined to be the graph in which the vertices are the non-isotropic points with respect to the polarity defining P, and two vertices are adjacent if and only if they lie on the same tangent line to P. In [2] it is proved that tangent graphs are strongly regular.
The tangent graph NU(n + 1, q 2 ) of the classical Hermitian polar space associated to a non-degenerate Hermitian variety in P G(n, q 2 ) was studied in [5] and [2]. Moreover, F. Ihringer, F. Pavese and V. Smaldore in [8] pointed out that NU(n + 1, q 2 ) is not uniquely determined by its spectrum for n = 3. In particular, for n = 2, they constructed a strongly regular graph that is cospectral but non isomorphic to NU(n + 1, q 2 ). The construction relied on the existence of non-classical unitals embedded in P G(2, q 2 ) for q > 2. The goal in this paper is to determine the automorphism group of NU(3, q 2 ). Theorem 1.1. Let G 2 = Aut(NU(3, q 2 )) be the automorphism group of the graph NU(3, q 2 ): (3, q), the semilinear collineation group stabilizing the Hermitian variety H(2, q 2 );

Hermitian varieties and classical unitals
In design theory, an unital U is defined as a 2 − (a 3 + 1, a + 1, 1) block design, a ≥ 3, i.e. a set of a 3 +1 points arranged into blocks of size a+1, such that each pair of distinct points is contained in exactly one block. There exist unitals which are embedded in a projective plane of order a 2 . The incidence structure made of points and secants of the Hermitian curve H(2, q 2 ) in P G(2, q 2 ) is called the classical unital.
Our notation is standard, see [7]. In particular, P G(n, q 2 ) stands for the n-dimensional projective space over the finite field F q 2 , with homogeneous projective coordinates (X 0 , X 1 , . . . , X n ). The unitary polarity of P G(n, q 2 ) is induced by the sesquilinear non-degenerate Hermitian form on the vector space V (n + 1, q 2 ). A non-degenerate Hermitian variety H(n, q 2 ) consists of the isotropic points of a unitary polarity. A non-degenerate Hermitian variety H(n, q 2 ) has (q n+1 +(−1) n )(q n −(−1) n ) q 2 −1 points. For n = 2, a canonical form of the Hermitian curve H(2, q 2 ) is and the semilinear group stabilizing H(2, q 2 ) is the projective unitary group P ΓU (3, q), acting on the points of the curve as 2-transitive permutation group, as it was shown in [7].
The Hermitian curve H(2, q 2 ) has q 3 + 1 points and does not contain isotropic lines, i.e. line whose all points are isotropic. Lines of P G(2, q 2 ) are called either tangent or secant when they meet the curve in 1 or q + 1 points respectively. In design theory terminology, blocks of the classical unital are the sets of q + 1 collinear points in the unital. The automorphism group of the Hermitian unital acts on the points (as well a on the tangents) as P ΓU (3, q) in its unique 2-transitive permutation representation.

Background on the graph N U (n + 1, q 2 ), n ≥ 2
In this paper H = H(n, q 2 ) denotes a non-degenerate Hermitian variety in P G(n, q 2 ) with n ≥ 2. Then NU(n + 1, q 2 ) is the strongly regular with vertex set P G(n, q 2 ) \ H where two vertices are adjacent if they lie on the same tangent line to H. Set ε = (−1) n+1 and r = q 2 − q − 1. Then NU(n + 1, q 2 ) has the following parameters: Furthermore, its complementary graph NU(n + 1, q 2 ) is also strongly regular and has parameters: For further details and information about this graph see [2]. The following lemma is a straightforward consequence of the construction of NU(n + 1, q 2 ) since the group P ΓU (n + 1, q 2 ) is transitive on the external points of H(n, q 2 ) and it preserves the adjacency properties of the graph.
Lemma 2.2. If q = 2, Aut(NU(3, q 2 )) sends q 2 vertices on a tangent line in other q 2 vertices on a tangent line.
Proof. The q 2 non-isotropic points on a tangent line, form a maximal clique on the graph NU(3, q 2 ). From [3] we know that the maximal cliques of NU(3, q 2 ) are given by either q 2 points on a tangent line, or q + 2 points on two different lines. Since the automorphism group of a graph sends maximal cliques in maximal cliques then, if q = 2, i.e. q 2 = q + 2, the image of a set of q 2 non-isotropic aligned points consists on other q 2 non-isotropic aligned points.

The action of G n on isotropic points
To understand how the automorphism group of NU(n + 1, q 2 ) acts on the points of H(2, q 2 ), it is useful to introduce another graph Γ n , whose vertex set consists of all points in P G(n, q 2 ), and with the same vertex-edge incidence relation of NU(n + 1, q 2 ), namely two vertices are adjacent if the points are on the same tangent. Γ n has q 2n −1 q 2 −1 vertices, and its automorphism group has two orbits of vertices, one is the orbit O 1 consisting of the v = q n (q n+1 −ε) q+1 vertices of NU(n+1, q 2 ), each vertex of this type having k = (q n +ε)(q n−1 −ε) neighbours in NU(n + 1, q 2 ) and others in H(n, q 2 ), and the orbit O 2 comprises the points of the Hermitian variety H(n, q 2 ), each vertex of this type having neighbours in NU(n + 1, q 2 ) but no neighbour in H(n, q 2 ). In other words, we added an extra point, the (q 2 +1)-th, to each of the maximal cliques arising from tangent lines. In fact, since it is possible to prove that P ΓU (n + 1, q) ≤ Aut(Γ n ) with the same arguments of Lemma 2.1, the automorphism group of Γ n is transitive on both O 1 and O 2 , see [9]. However, it should be observed that the resulting graph is not strongly regular anymore.
Proof. From Lemma 2.2, maximal cliques corresponding to a tangent are fixed setwise under the action of G 2 . The projection π : is surjective since every automorphism λ in G 2 lifts to an element λ ∈ Aut(Γ 2 ) by extending the action in a natural way to the isotropic points (i.e. by considering the image of the tangent lines under the action of λ and mapping the corresponding tangency points into each other).
To prove the injectivity of the projection π, consider λ ∈ Aut(Γ 2 ) such that π(λ) is the identity on NU(3, q 2 ). When all the points of NU(3, q 2 ) are fixed, the tangency point is fixed as well, since it is adjacent in Γ 2 to each of the q 2 non-isotropic points on a tangent.
Therefore λ is the identity on Γ 2 , thus the kernel of the projection π is trivial, and π is a monomorphism. Proof. Since the action of P ΓU (3, q) is 2-transitive on the set of isotropic points of the Hermitian curve, the assertion follows from Lemma 2.1 and Lemma 3.1 taking into account the fact that every isotropic point is the tangency point of a unique tangent to H(2, q 2 ).

Lemma 3.3. G 2 does not act 3-transitively on the set of tangents of NU(3, q 2 ).
Proof. In P G(2, q 2 ) let us consider the following two different configurations of 3-tangent lines: three concurrent tangents or three tangents which intersect pairwise in three points P 1 , P 2 , P 3 on a self-polar triangle.
In the graph NU(3, q 2 ) the former set corresponds to three maximal cliques intersecting in their common vertex, whereas in the latter it corresponds to three maximal cliques intersecting pairwise in three different vertices. It is clear that any automorphism of the graph cannot map the former set to the latter.

Proof of Theorem 1.1 4.1. The case q > 2
From now on, assume that q > 2. Let M be the minimal normal subgroup of G 2 (it is unique by the 2-transitivity of G 2 ). Observe that M cannot be elementary abelian since its order is not a power of a prime (as it contains P ΓU (3, q) as its subgroup), so M must be a simple group.
We show that among the finite simple groups which are minimal normal subgroups of 2-transitive groups, only a few can actually occur in our case. For this purpose we refer to Cameron's list [4] reported in Table 1 and to [6] and [10] for the details about standard group theory arguments.
The Alternating Group A d is ruled out by Lemma 3.3, as it acts 3-transitively on the sets of tangents.
It is easily seen that G 2 is not any of the sporadic groups in Table 1 since their degree is different from q 3 + 1.  (2,11) 11 P SL (2,8) 28 Moreover, for the same reason, P SL(d, u), d > 2 has also to be excluded by Observe that u and q must be powers of the same prime p, and this would lead to a contradiction because the right side of the equation is still a power of p whereas for any k ∈ Z. Finally, when d = 2, a P SL (2, u) is not a subgroup of a P SU (3, q), and this dismiss P SL (2,8).
Before analysing the remaining candidates, take a normal subgroup M of G 2 . Then G 2 acts on M in its natural way: Proof. It is enough to show that Φ g = id ⇒ g = 1. From Φ g = id it follows g ∈ C G2 (M ) where C G2 (M ) is the centraliser of G 2 in M . Suppose by contradiction that C G2 (M ) is not trivial. Then it must be primitive since M is 2-transitive (see [6], Theorem 4.1B). Let t be a tangent line, and consider c ∈ C G2 (M ). Then, there exists α ∈ G 2 which fixes only t. In our case this implies that t is also fixed by c, that is, Therefore, every tangent line is fixed by c, and this implies that c fixes every point as tangent lines are the maximal cliques, so C G2 (M ) is trivial, a contradiction.
Lemma 4.1 shows that G 2 is a subgroup of Aut(M ).
Sz(u), Ree(u), PSp(2d, 2) cannot be the minimal normal subgroup of G 2 as their automorphism group does not contain P ΓU (3, q), we refer the reader to [10] for all the details.

The case q = 2
In the smallest case q = 2, consider the Hermitian curve H(2, 4) with q 3 + 1 = 9 isotropic points. The graph NU (3,4) has q 4 + q 2 + 1 − q 3 + 1 = 12 vertices. Through an external point P ∈ P G(2, 4) \ H (2,4) there are q + 1 = 3 tangent lines, and each line is incident with q 2 − 1 = 3 non-isotropic points other than P . Hence the graph is 9-regular. Now let P and Q be two non-adjacent vertices, then P Q is a (q + 1)-secant line. Through P there are q + 1 tangent lines, and the same number through Q, and they meet each other in (q + 1) 2 other common neighbours, i.e. μ = 9. Now let P and Q be two adjacent vertices. Then P Q is tangent to H at T . On P Q there are q 2 − 2 non-isotropic points other than P and Q, so that they have at least q 2 − 2 common neighbours. Moreover, through P there are q tangents other than P Q, and the same number through Q, and they meet each other in q 2 other common neighbours, i.e. λ = 6. The complementary graph NU (3,4) has parameters (v , k , λ , μ ) = (12, 2, 1, 0). Therefore it is a trivial strongly regular graph with four connected components isomorphic to the complete graph K 3 .
Since Aut(NU(3, 4)) = Aut (NU(3, 4)), it is enough to find the automorphism group of the complementary graph. Observe that Aut (NU(3, 4)) is the wreath product of four copies of the automorphism group of K 3 , which is the dihedral group D 3 ∼ = S 3 , by the Symmetric group of degree 4 acting as a permutation group on the four connected components: In particular, |G 2 | = 31104. It should be noted that in the graph Γ 2 we make distinction between the two idempotent kinds of maximal cliques, whether we add or do not the fifth point on the Hermitian curve H(2, 4), i.e. G 2 Aut(Γ 2 ) ∼ = P ΓU (3, 2).

Conclusion
To prove our main theorem, we used the strong hypothesis of the 2-transitivity of the automorphism group and the classification of finite simple groups. When the dimension n increases, this fundamental condition is no longer satisfied. With a computer aided search we noted that P ΓU (n + 1, q) may still be the automorphism group of the graph NU(n + 1, q 2 ), and this will be investigated in the future.
Moreover, it is known that cospectral strongly regular graphs arising from nonclassical unitals are not always isomorphic to NU(3, q 2 ). It would be interesting to determine their automorphism groups.
Funding Open access funding provided by Universitá degli Studi della Basilicata within the CRUI-CARE Agreement.
Data availability Data sharing not applicable to this article as no datasets were generated or analysed during the current study Open Access. This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons. org/licenses/by/4.0/.
Publisher's Note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.