## ALGEBRAIC CURVES ADMITTING NON-COLLINEAR GALOIS POINTS

## SATORU FUKASAWA

Abstract. A criterion for the existence of a birational embedding into a projective plane with non-collinear Galois points for algebraic curves is presented. A new example of a plane curve with non-collinear Galois points as an application is described. Furthermore, a new characterization of the Fermat curve in terms of non-collinear Galois points is presented.

## 1. Introduction

Let X be a (reduced, irreducible) smooth projective curve over an algebraically closed field k of characteristic p ≥ 0 and let k X ( ) be its function field. We consider a morphism ϕ : X → P 2 , which is birational onto its image. A point P ∈ P 2 is called a Galois point , if the field extension k ϕ X ( ( )) /π ∗ P k ( P 1 ) of function fields induced by the projection π P from P is a Galois extension. This notion was introduced by Hisao Yoshihara in 1996, to investigate the function fields of algebraic curves ([3, 5]). The associated Galois group is denoted by G P , when P is a Galois point. Furthermore, a Galois point P is said to be inner (resp. outer), if P ∈ ϕ X ( ) \ Sing( ϕ X ( )) (resp. if P ∈ P 2 \ ϕ X ( )). It is a natural and interesting problem to determine the number of Galois points for any curve X and any birational embedding ϕ : X → P 2 . However, this problem is difficult in general.

Until recent years, it was not easy to construct a pair ( X,ϕ ) such that ϕ X ( ) admits two Galois points. In 2016, a criterion for the existence of a birational embedding with two Galois points was described by the present author ([1]), and by this criterion, a lot of new examples of plane curves with two Galois points were obtained ([1, 6]). We recall this criterion.

Fact 1. Let G 1 and G 2 be finite subgroups of Aut( X ) and let P 1 and P 2 be different points of X . Then, three conditions

2010 Mathematics Subject Classification. 14H50, 14H05, 14H37. Key words and phrases. Galois point, plane curve, Galois group, automorphism group.

The author was partially supported by JSPS KAKENHI Grant Number 19K03438.

- (a) X/G i ∼ = P 1 for i = 1 2 , ,
- (b) G 1 ∩ G 2 = { } 1 , and
- (c) P 1 + ∑ σ ∈ G 1 σ P ( 2 ) = P 2 + ∑ τ ∈ G 2 τ ( P 1 ) in Div( X )

are satisfied, if and only if there exists a birational embedding ϕ : X → P 2 of degree | G 1 | +1 such that ϕ P ( 1 ) and ϕ P ( 2 ) are different inner Galois points for ϕ X ( ) and the associated Galois group G ϕ P ( i ) coincides with G i for i = 1 2 , .

It is a natural problem to find a condition for the existence of non-collinear Galois points (see also [6]). This problem is solved as follows.

Theorem 1. Let G 1 , G 2 and G 3 ⊂ Aut( X ) be finite subgroups, and let P 1 , P 2 and P 3 be different points of X . Then, four conditions

- (a) X/G i ∼ = P 1 for i = 1 2 3 , , ,

/negationslash

- (b) G i ∩ G j = { } 1 for any i, j with i = j ,

/negationslash

/negationslash

- (c) P i + ∑ σ ∈ G i σ P ( j ) = P j + ∑ τ ∈ G j τ ( P i ) for any i, j with i = j , and
- (d) G P i j = G P i k for any i, j, k with { i, j, k } = { 1 2 3 , , }

are satisfied, if and only if there exists a birational embedding ϕ : X → P 2 of degree | G 1 | +1 such that ϕ P ( 1 ) , ϕ P ( 2 ) and ϕ P ( 3 ) are non-collinear inner Galois points for ϕ X ( ) and G ϕ P ( i ) = G i for i = 1 2 3 , , .

Theorem 2. Let G 1 , G 2 and G 3 ⊂ Aut( X ) be finite subgroups, and let Q 1 , Q 2 and Q 3 be different points of X . Then, four conditions

- (a) X/G i ∼ = P 1 for i = 1 2 3 , , ,

/negationslash

- (b) G i ∩ G j = { } 1 for any i, j with i = j ,
- (c') ∑ σ ∈ G i σ Q ( k ) = ∑ τ ∈ G j τ ( Q k ) for any i, j, k with { i, j, k } = { 1 2 3 , , } , and
- (d') G Q i j = G Q i k for any i, j, k with { i, j, k } = { 1 2 3 , , }

/negationslash are satisfied, if and only if there exists a birational embedding ϕ : X → P 2 of degree | G 1 | and non-collinear outer Galois points P , P 1 2 and P 3 exist for ϕ X ( ) such that G P i = G i and P P i j /owner ϕ Q ( k ) for any i, j, k with { i, j, k } = { 1 2 3 , , } , where P P i j is the line passing through P i and P j .

As an application, a new example of a plane curve with non-collinear outer Galois points is constructed as follows.

Theorem 3. Let p &gt; 0 , q be a power of p , and let X ⊂ P 2 be the Hermitian curve, which is (the projective closure of) the curve given by

$$x ^ { q } + x = y ^ { q + 1 }.$$

If a positive integer s divides q -1 , then there exists a plane model of X of degree s q ( +1) admitting non-collinear outer Galois points P , P 1 2 and P 3 .

/negationslash

/negationslash

A next task is to classify plane curves with non-collinear Galois points. We consider the group G := 〈 G P 1 , G P 2 , G P 3 〉 ⊂ Aut( X ) for non-collinear outer Galois points P , P 1 2 and P 3 . The case where the orbit GQ of Q is included in ϕ -1 ( ⋃ i = j P P i j ) for any Q ∈ ϕ -1 ( ⋃ i = j P P i j ) is determined as follows.

Theorem 4. Let ϕ : X → P 2 be a birational embedding of degree d ≥ 3 and let C = ϕ X ( ) . Then, the following conditions are equivalent.

/negationslash

/negationslash

- (b) p = 0 or d is prime to p , and C is projectively equivalent to the Fermat curve X d + Y d + Z d = 0 .
- (a) There exist non-collinear Galois points P , P 1 2 and P 3 ∈ P 2 \ C such that GQ ⊂ ϕ -1 ( ⋃ i = j P P i j ) for any Q ∈ ϕ -1 ( ⋃ i = j P P i j ) , where G = 〈 G P 1 , G P 2 , G P 3 〉 .

## 2. Proof of Theorems 1 and 2

Proof of Theorem 1. We consider the if-part. According to Fact 1, conditions (a), (b) and (c) are satisfied. Since points ϕ P ( 1 ) , ϕ ( P 2 ) and ϕ P ( 3 ) are not collinear, condition (d) is satisfied.

We consider the only-if part. By condition (d),

/negationslash

$$\sum _ { \sigma \in G _ { 1 } } \sigma ( P _ { 2 } ) \neq \sum _ { \sigma \in G _ { 1 } } \sigma ( P _ { 3 } ).$$

Then, by condition (a), there exists a function f ∈ k X ( ) \ k such that

$$k ( X ) ^ { G _ { 1 } } = k ( f ), \ ( f ) = \sum _ { \sigma \in G _ { 1 } } \sigma ( P _ { 3 } ) - \sum _ { \sigma \in G _ { 1 } } \sigma ( P _ { 2 } )$$

(see also [4, III.7.1, III.7.2, III.8.2]). Similarly, there exists g ∈ k X ( ) \ k such that

$$k ( X ) ^ { G _ { 2 } } = k ( g ), \ ( g ) = \sum _ { \tau \in G _ { 2 } } \tau ( P _ { 3 } ) - \sum _ { \tau \in G _ { 2 } } \tau ( P _ { 1 } ).$$

Considering condition (c), we take a divisor

$$D \coloneqq P _ { 1 } + \sum _ { \sigma \in G _ { 1 } } \sigma ( P _ { 2 } ) = P _ { 2 } + \sum _ { \tau \in G _ { 2 } } \tau ( P _ { 1 } ).$$

Then, f, g ∈ L ( D ) and the sublinear system of | D | corresponding to a linear space 〈 f, g, 1 〉 is base-point-free. Using condition (b), the induced morphism

$$\varphi \, \colon X \rightarrow \mathbb { P } ^ { 2 } ; \, ( f \, \colon g \, \colon 1 )$$

is birational onto its image, and points ϕ P ( 1 ) = (0 : 1 : 0) and ϕ P ( 2 ) = (1 : 0 : 0) are inner Galois points for ϕ X ( ) such that G ϕ P ( 1 ) = G 1 and G ϕ P ( 2 ) = G 2 (see [1, Proofs of Proposition 1 and of Theorem 1]). Furthermore, ϕ P ( 3 ) = (0 : 0 : 1). Using condition (c),

$$\text{condition} \ ( c ), \\ ( g / f ) \ & = \ \sum _ { \tau \in G _ { 2 } } \tau ( P _ { 3 } ) - \sum _ { \tau \in G _ { 2 } } \tau ( P _ { 1 } ) - \sum _ { \sigma \in G _ { 1 } } \sigma ( P _ { 3 } ) + \sum _ { \sigma \in G _ { 1 } } \sigma ( P _ { 2 } ) \\ & = \ ( P _ { 2 } + \sum _ { \tau \in G _ { 2 } } \tau ( P _ { 3 } ) ) - ( P _ { 2 } + \sum _ { \tau \in G _ { 2 } } \tau ( P _ { 1 } ) ) \\ & \quad - ( P _ { 1 } + \sum _ { \sigma \in G _ { 1 } } \sigma ( P _ { 3 } ) ) + ( P _ { 1 } + \sum _ { \sigma \in G _ { 1 } } \sigma ( P _ { 2 } ) ) \\ & = \ ( P _ { 3 } + \sum _ { \gamma \in G _ { 3 } } \gamma ( P _ { 2 } ) ) - ( P _ { 3 } + \sum _ { \gamma \in G _ { 3 } } \gamma ( P _ { 1 } ) ) \\ & = \ \sum _ { \gamma \in G _ { 3 } } \gamma ( P _ { 2 } ) - \sum _ { \gamma \in G _ { 3 } } \gamma ( P _ { 1 } ). \\ \text{Then, the subfield} \ k ( g / f ) \, \text{induced by the projection from} \ P _ { 3 } \, \text{coincides with} \ k ( X ) ^ { G _ { 3 } }$$

Then, the subfield k g/f ( ) induced by the projection from P 3 coincides with k X ( ) G 3 . Therefore, this point ϕ P ( 3 ) is inner Galois with G ϕ P ( 3 ) = G 3 . /square

The proof of Theorem 2 is very similar.

## 3. A new example

Let X ⊂ P 2 be the Hermitian curve of degree q + 1. The set of all F q 2 -rational points of X is denoted by X ( F q 2 ). See [2] for properties of the Hermitian curve.

/negationslash

Proof of Theorem 3. Let Q 1 = (1 : 0 : 0) and Q 2 = (0 : 0 : 1), and let Q 3 ∈ X ( F q 2 ) with Q 3 ∈ Q Q 1 2 = { Y = 0 . Then, the matrix }

$$A _ { a } \coloneqq \left ( \begin{array} { c c c } a ^ { q + 1 } & 0 & 0 \\ 0 & a & 0 \\ 0 & 0 & 1 \end{array} \right )$$

acts on X and fixes Q 1 and Q 2 , where a ∈ F q 2 \ { 0 } . Let sm = q -1 and let G 3 ⊂ Aut( X ) be the cyclic group of order s q ( + 1) consisting of all A a m . Note that each element of G 3 \ { 1 } does not fix Q 3 . Considering the Sylow p -group of Aut( X ) fixing Q 1 , it follows that there exists an automorphism Φ ∈ Aut( X ) such that Φ( Q 1 ) = Q 1 , Φ( Q 2 ) = Q 3 and Φ( Q 3 ) = Q 2 . Then, the group Φ G 3 Φ -1 fixes points Q 1 and Q 3 , and each element of this group different from identity does not fix Q 2 . Therefore, for each pair ( Q , Q i j ), there exists a cyclic group G k of order

s q ( +1) such that G k fixes points Q i and Q j and each element of G k \ { 1 } does not fix Q k . We would like to show that conditions (a), (b), (c') and (d') in Theorem 2 are satisfied for groups G , G 1 2 and G 3 .

Note that

$$( A _ { a ^ { m } } ) ^ { s } = A _ { a ^ { q - 1 } } = \left ( \begin{array} { c c c } 1 & 0 & 0 \\ 0 & a ^ { q - 1 } & 0 \\ 0 & 0 & 1 \end{array} \right ).$$

Let G ′ 3 ⊂ G 3 be a subgroup consisting of all A a q -1 . Since k X ( ) G 3 ⊂ k X ( ) G ′ 3 = k x ( ), by L¨ uroth's theorem, X/G 3 is rational. Condition (a) is satisfied. Since G 1 fixes Q 2 and the set G 2 \ { 1 } does not contain an element fixing Q 2 , G 1 ∩ G 2 = { } 1 . Condition (b) is satisfied. For any i, j, k with { i, j, k } = { 1 2 3 , , } ,

$$\sum _ { \sigma \in G _ { i } } \sigma ( Q _ { k } ) = s ( q + 1 ) Q _ { k } = \sum _ { \tau \in G _ { j } } \tau ( Q _ { k } ).$$

Condition (c') is satisfied. Since G Q i j = { Q j } /negationslash = { Q k } = G Q i k , condition (d') is satisfied. /square

## 4. A characterization of the Fermat curve

Proof of Theorem 4. (a) ⇒ (b). Let Q ∈ ϕ -1 ( P P 1 2 ). By the definition of outer Galois points, G P 1 Q ⊂ ϕ -1 ( P P 1 2 ), G P 2 Q ⊂ ϕ -1 ( P P 1 2 ) and G P 3 Q ⊂ ϕ -1 ( P ϕ Q 3 ( )). If γ Q ( ) ∈ ϕ -1 ( P P 2 3 ) for some γ ∈ G P 3 , then ϕ γ Q ( ( )) ∈ P ϕ Q 3 ( ) ∩ P P 2 3 = { P 3 } . This is a contradiction. Therefore, condition (a) implies that G P 3 Q ⊂ ϕ -1 ( P P 1 2 ). It follows that γ ∈ G P 3 induces a bijection of supp( ϕ P P ∗ 1 2 ). Since G P 1 acts on supp( ϕ P P ∗ 1 2 ) transitively,

$$\varphi ^ { * } \overline { P _ { 1 } P _ { 2 } } = \sum _ { Q \in \text{supp} ( \varphi ^ { * } \overline { P _ { 1 } P _ { 2 } } ) } m Q$$

for some integer m ≥ 1. Therefore,

$$\gamma ^ { * } \varphi ^ { * } ( \overline { P _ { 1 } P _ { 2 } } ) = \varphi ^ { * } ( \overline { P _ { 1 } P _ { 2 } } ).$$

Let D := ϕ P P ∗ 3 1 . We take a function f ∈ k X ( ) with k f ( ) = k X ( ) G 3 such that

$$( f ) = \varphi ^ { * } \overline { P _ { 3 } P _ { 2 } } - \varphi ^ { * } \overline { P _ { 3 } P _ { 1 } }.$$

Similarly, we can take a function g ∈ k X ( ) G 1 such that

$$( g ) = \varphi ^ { * } \overline { P _ { 1 } P _ { 2 } } - \varphi ^ { * } \overline { P _ { 1 } P _ { 3 } }.$$

/negationslash

Since P P 1 2 does not pass through P 3 , g ∈ 〈 f, 1 〉 ⊂ L ( D ). It follows from the condition γ ϕ ∗ ∗ ( P P 1 2 ) = ϕ ∗ ( P P 1 2 ) that γ g ∗ = a γ g ( ) for some a γ ( ) ∈ k . Therefore, a linear subspace 〈 f, 1 , g 〉 ⊂ L ( D ) is invariant under the action of γ ∈ G P 3 . Since ϕ is represented by ( f : 1 : g ), there exists an injective homomorphism

↦

$$G _ { P _ { 3 } } \hookrightarrow P G L ( 3, k ) ; \ \gamma \mapsto \left ( \begin{array} { c c c } 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & a ( \gamma ) \end{array} \right ).$$

↦

↦

↦

It follows that d is prime to p , and the map G P 3 → \{ } k 0 ; γ → a γ ( ) is an injective homomorphism. This implies that G P 3 is a cyclic group, and C is invariant under the linear transformation ( X : Y : Z ) → ( X : Y : ζZ ), where ζ is a primitive d -th root of unity. Similarly, G P 1 is generated by the automorphism given by the linear transformation ( X : Y : Z ) → ( ζX : Y : Z ). It follows that C is defined by X d + Y d + Z d = 0.

(b) ⇒ (a). This is derived from the fact that groups G P 1 , G P 2 and G P 3 fix all points on the lines { X = 0 , } { Y = 0 } and { Z = 0 } respectively for the Fermat curve, where P 1 = (1 : 0 : 0), P 2 = (0 : 1 : 0) and P 3 = (0 : 0 : 1). /square

## Acknowledgements

The author is grateful to Doctor Kazuki Higashine for helpful discussions.

## References

- [1] S. Fukasawa, A birational embedding of an algebraic curve into a projective plane with two Galois points, J. Algebra 511 (2018), 95-101.
- [2] J. W. P. Hirschfeld, G. Korchm´ros and F. Torres, a Algebraic curves over a finite field , Princeton Univ. Press, Princeton, 2008.
- [3] K. Miura and H. Yoshihara, Field theory for function fields of plane quartic curves, J. Algebra 226 (2000), 283-294.
- [4] H. Stichtenoth, Algebraic function fields and codes , Universitext, Springer-Verlag, Berlin, 1993.
- [5] H. Yoshihara, Function field theory of plane curves by dual curves, J. Algebra 239 (2001), 340-355.
- [6] H. Yoshihara and S. Fukasawa, List of problems, available at: http://hyoshihara.web.fc2.com/openquestion.html

Department of Mathematical Sciences, Faculty of Science, Yamagata University, Kojirakawa-machi 1-4-12, Yamagata 990-8560, Japan

E-mail address : s.fukasawa@sci.kj.yamagata-u.ac.jp
Satoru Fukasawa
Algebraic curves admitting non-collinear Galois points
A criterion for the existence of a birational embedding into a projective
plane with non-collinear Galois points for algebraic curves is presented. A new
example of a plane curve with non-collinear Galois points as an application is
described. Furthermore, a new characterization of the Fermat curve in terms of
non-collinear Galois points is presented.