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.

A Note on Groups Definable in the P-Adic Field

One-dimensional subgroups and connected components in non-abelian $p$-adic definable groups

On Groups with Definable F-Generics Definable in P-Adically Closed Fields

Abelian Groups Definable in P-Adically Closed Fields

ON NON-COMPACT P-Adic DEFINABLE GROUPS

Definably Topological Dynamics of $P$-Adic Algebraic Groups

Open Subgroups of $P$-Adic Algebraic Groups

Definably semisimple groups interpretable in $p$-adically closed fields

Around definable types in $p$-adically closed fields

$P$-Adic $L$-FUNCTIONS FOR UNITARY GROUPS

Some Model Theory and Topological Dynamics of $P$-Adic Algebraic Groups

On Minimal Flows of Commutative P-Adic Groups

On Definable F-Generic Groups and Minimal Flows in P-Adically Closed Fields

A Note on the P-Deficiency Class of a Finite Group

One-dimensional subgroups and connected components in non-abelian p -adic definable groups

On definable groups and D -groups in certain fields with a generic derivation

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

Compactifications of pseudofinite and pseudo-amenable groups

Amenable actions of real and $p$-adic algebraic groups

Compact $p$-adic analytic groups in which centralizers are abelian

Groups of automorphisms of p-adic integers and the problem of the existence of fully homomorphic ciphers