Abstract:Let $G$ be a finite subgroup of $\operatorname{PGL}_3(\mathbb{C})$, and let $\sigma$ be the generator of $\operatorname{Gal}(\mathbb{C}/\mathbb{R})$. We say that $G$ has a \emph{real field of moduli} if $^{\sigma}G$ and $G$ are $\operatorname{PGL}_3(\mathbb{C})$-conjugates, that is, if $\exists\,\phi\in\operatorname{PGL}_3(\mathbb{C})$ such that $\phi^{-1}\,G\,\phi=\,^{\sigma}G$. Furthermore, we say that $\mathbb{R}$ is \emph{a field of definition for $G$} or that \emph{$G$ is definable over $\mathbb{R}$} if $G$ is $\operatorname{PGL}_3(\mathbb{C})$-conjugate to some $G'\subset\operatorname{PGL}_3(\mathbb{R})$. In this situation, we call $G'$ \emph{a model for $G$ over $\mathbb{R}$}. If $G$ has $\mathbb{R}$ as a field of definition but is not definable over $\mathbb{R}$, then we call $G$ \emph{pseudo-real}. In this paper, we first show that any finite cyclic subgroup $G=\mathbb{Z}/n\mathbb{Z}$ in $\operatorname{PGL}_3(\mathbb{C})$ has {a real field of moduli} and we provide a necessary and sufficient condition for $G=\mathbb{Z}/n\mathbb{Z}$ to be definable over $\mathbb{R}$; see Theorems 2.1, 2.2, and 2.3. We also prove that any dihedral group $\operatorname{D}_{2n}$ with $n\geq3$ in $\operatorname{PGL}_3(\mathbb{C})$ is definable over $\mathbb{R}$; see Theorem 2.4. Furthermore, we study all six classes of finite primitive subgroups of $\operatorname{PGL}_3(\mathbb{C})$, and show that all of them except the icosahedral group $\operatorname{A}_5$ are pseudo-real; see Theorem 2.5, whereas $\operatorname{A}_5$ is definable over $\mathbb{R}$. Finally, we explore the connection of these notions in group theory with their analogues in arithmetic geometry; see Theorem 2.6 and Example 2.7.

Finite imprimitive rank $3$ affine groups -- I

On finite permutation groups of rank three

Fixed Subgroups of 3-Manifold Group Automorphisms

Finite semiprimitive permutation groups of rank $3$

The automorphism groups of small affine rank 3 graphs

Finite p-groups with three character codegrees

The finite groups with three automorphism orbits

Finite abelian groups acting on rationally connected threefolds I: Groups of product type

On the classification of extremely primitive affine groups

On the $p$-ranks of class groups of certain Galois extensions

Primitive permutation groups of finite Morley rank and affine type

Irreducible spin representations of symmetric and alternating groups which remain irreducible in characteristic 3

Extremely Line-Primitive Automorphism Groups of Finite Linear Spaces

Finite groups in which every irreducible character has either $p'$-degree or $p'$-codegree

On multivalued groups of order 3

Every finite abelian group is the group of rational points of an ordinary abelian variety over $\mathbb{F}_2$, $\mathbb{F}_3$ and $\mathbb{F}_5$

Primitive Deformations of Quantum $p$-groups

Finite simple groups with some abelian Sylow subgroups

On the P-Local Rank of Finite Groups

Finite Groups with Some ?-Quasinormal Minimal Subgroups

On pseudo-real finite subgroups of $\operatorname{PGL}_3(\mathbb{C})$