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.

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

Semisimple groups interpretable in various valued fields

Abelian Groups Definable in P-Adically Closed Fields

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

A Note on Groups Definable in the P-Adic Field

On groups interpretable in various valued fields

Around definable types in $p$-adically closed fields

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

On Linear-Groups over Finite-Fields

ON NON-COMPACT P-Adic DEFINABLE GROUPS

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

On groups and fields interpretable in torsion-free hyperbolic groups

Definably Topological Dynamics of $P$-Adic Algebraic Groups

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

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

On Groups And Fields Definable In -H-Minimal Fields

Semi-group compactifications of Algebraic Groups

On the genera of semisimple groups defined over an integral domain of a global function field

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

The fundamental group of the $p$-subgroup complex

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