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.

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

Abelian Groups Definable in P-Adically Closed Fields

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

A Note on Groups Definable in the P-Adic Field

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

ON NON-COMPACT P-Adic DEFINABLE GROUPS

Around definable types in $p$-adically closed fields

Definably Topological Dynamics of $P$-Adic Algebraic Groups

Definable Topological Dynamics for Trigonalizable Algebraic Groups over Qp

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

Abelian and Non-Abelian Paley Type Group Schemes

On Minimal Flows of Commutative P-Adic Groups

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

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

Generic differentiability and $P$-minimal groups

The generic dual of p-adic groups and applications

Open Subgroups of $P$-Adic Algebraic Groups

On Minimal Flows and Definable Amenability in Some Distal NIP Theories

On even $K$-groups over $p$-adic Lie extensions of global function fields

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

A Jordan-Chevalley decomposition beyond algebraic groups